3,598 research outputs found
Baseline Assessment and Prioritization Framework for IVHM Integrity Assurance Enabling Capabilities
Fundamental to vehicle health management is the deployment of systems incorporating advanced technologies for predicting and detecting anomalous conditions in highly complex and integrated environments. Integrated structural integrity health monitoring, statistical algorithms for detection, estimation, prediction, and fusion, and diagnosis supporting adaptive control are examples of advanced technologies that present considerable verification and validation challenges. These systems necessitate interactions between physical and software-based systems that are highly networked with sensing and actuation subsystems, and incorporate technologies that are, in many respects, different from those employed in civil aviation today. A formidable barrier to deploying these advanced technologies in civil aviation is the lack of enabling verification and validation tools, methods, and technologies. The development of new verification and validation capabilities will not only enable the fielding of advanced vehicle health management systems, but will also provide new assurance capabilities for verification and validation of current generation aviation software which has been implicated in anomalous in-flight behavior. This paper describes the research focused on enabling capabilities for verification and validation underway within NASA s Integrated Vehicle Health Management project, discusses the state of the art of these capabilities, and includes a framework for prioritizing activities
New and improved demonstrations, each illustrating a single scientific paper
Thesis (Ed.M.)--Boston Universit
Scientific questions for the exploration of the terrestrial planets and Jupiter - Advanced planetary missions technology program Progress report
Scientific questions and experimental design for planetary exploration of Jupiter, Mars, Mercury, and Venu
Solar-driven variation in the atmosphere of Uranus
Long-term measurements (1972-2015) of the reflectivity of Uranus at 472 and 551 nm display variability that is incompletely explained by seasonal effects. Spectral analysis shows this non-seasonal variability tracks the 11-year solar cycle. Two mechanisms could cause solar modulation, (a) nucleation onto ions or electrons created by galactic cosmic rays (GCR), or (b) UV-induced aerosol colour changes. Ion-aerosol theory is used to identify
expected relationships between reflectivity fluctuations and GCR flux, tested with multiple regression and compared to the linear response predicted between reflectivity and solar UV flux. The statistics show that 24% of the variance in reflectivity fluctuations at 472 nm is explained by GCR ion-induced nucleation, compared to 22% for a UV-only mechanism. Similar GCR-related variability exists in Neptune’s atmosphere, hence the effects found at Uranus provide the first example of common variability in two planetary atmospheres driven
through energetic particle modulation by their host star
Test-Retest Reliability of Postural Control Assessment on Biodex BioSwayâ„¢
Background. Recent protocols for posturographic assessment of postural control and balance have included head shake test conditions to challenge the vestibular contributions of postural control in an effort to increase the diagnostic accuracy of identifying individuals with impaired balance. However, evidence is limited regarding the test-retest reliability of such assessment protocols. Purpose. The purpose of this study was twofold: to determine the test-retest reliability of postural control assessment on the Biodex Bioswayâ„¢, an accessible and field expedient tool for posturographic assessment, and to determine the test-retest reliability of the Head Shake Sensory Interaction and Balance Test (HS-SIB), an adaptation of the modified Clinical Test of Sensory Interaction and Balance (mCTSIB) which adds two head shake conditions to challenge the vestibular contributions to postural control. Study Design. This was a correlational time series cohort study completed in a biomechanics laboratory. Methods. The sample consisted of nineteen healthy adults (10 females, 9 males). Sway Index, Equilibrium Score, and the area of the ellipse enclosing 95% of the anterior-posterior (AP) and medial-lateral (ML) center of gravity (COG) displacement (AREA95) are the 3 summary variables. Standard Error of Measurement (SEM) and Minimum Detectable Change (MDC) are also reported. Results. Test-retest reliability was generally poor with limited exceptions. Moderate to good reliability was observed for the more challenging stance conditions (ICC range 0.58-0.81), including those with head shake. Conclusions. Field-expedient systems, such as the Biodex BioSwayâ„¢, may offer reliable posturographic testing where gold-standard methods are not available. Clinicians should be aware that less demanding test conditions have limited reliability; however, test-retest reliability of this assessment tool is improved with more challenged stance conditions and the inclusion of a head shake task
New measures to capture end of life concerns in Huntington disease: Meaning and Purpose and Concern with Death and Dying from HDQLIFE (a patient-reported outcomes measurement system).
PURPOSE: Huntington disease (HD) is an incurable terminal disease. Thus, end of life (EOL) concerns are common in these individuals. A quantitative measure of EOL concerns in HD would enable a better understanding of how these concerns impact health-related quality of life. Therefore, we developed new measures of EOL for use in HD.
METHODS: An EOL item pool of 45 items was field tested in 507 individuals with prodromal or manifest HD. Exploratory and confirmatory factor analyses (EFA and CFA, respectively) were conducted to establish unidimensional item pools. Item response theory (IRT) and differential item functioning analyses were applied to the identified unidimensional item pools to select the final items.
RESULTS: EFA and CFA supported two separate unidimensional sets of items: Concern with Death and Dying (16 items), and Meaning and Purpose (14 items). IRT and DIF supported the retention of 12 Concern with Death and Dying items and 4 Meaning and Purpose items. IRT data supported the development of both a computer adaptive test (CAT) and a 6-item, static short form for Concern with Death and Dying.
CONCLUSION: The HDQLIFE Concern with Death and Dying CAT and corresponding 6-item short form, and the 4-item calibrated HDQLIFE Meaning and Purpose scale demonstrate excellent psychometric properties. These new measures have the potential to provide clinically meaningful information about end-of-life preferences and concerns to clinicians and researchers working with individuals with HD. In addition, these measures may also be relevant and useful for other terminal conditions
A Survey on Retrieval of Mathematical Knowledge
We present a short survey of the literature on indexing and retrieval of
mathematical knowledge, with pointers to 72 papers and tentative taxonomies of
both retrieval problems and recurring techniques.Comment: CICM 2015, 20 page
Improving BDD Based Symbolic Model Checking with Isomorphism Exploiting Transition Relations
Symbolic model checking by using BDDs has greatly improved the applicability
of model checking. Nevertheless, BDD based symbolic model checking can still be
very memory and time consuming. One main reason is the complex transition
relation of systems. Sometimes, it is even not possible to generate the
transition relation, due to its exhaustive memory requirements. To diminish
this problem, the use of partitioned transition relations has been proposed.
However, there are still systems which can not be verified at all. Furthermore,
if the granularity of the partitions is too fine, the time required for
verification may increase. In this paper we target the symbolic verification of
asynchronous concurrent systems. For such systems we present an approach which
uses similarities in the transition relation to get further memory reductions
and runtime improvements. By applying our approach, even the verification of
systems with an previously intractable transition relation becomes feasible.Comment: In Proceedings GandALF 2011, arXiv:1106.081
Gender Differences in Acute and Chronic Pain in the Emergency Department: Results of the 2014 Academic Emergency Medicine Consensus Conference Pain Section
Pain is a leading public health problem in the United States, with an annual economic burden of more than $630 billion, and is one of the most common reasons that individuals seek emergency department (ED) care. There is a paucity of data regarding sex differences in the assessment and treatment of acute and chronic pain conditions in the ED. The Academic Emergency Medicine consensus conference convened in Dallas, Texas, in May 2014 to develop a research agenda to address this issue among others related to sex differences in the ED. Prior to the conference, experts and stakeholders from emergency medicine and the pain research field reviewed the current literature and identified eight candidate priority areas. At the conference, these eight areas were reviewed and all eight were ratified using a nominal group technique to build consensus. These priority areas were: 1) gender differences in the pharmacological and nonpharmacological interventions for pain, including differences in opioid tolerance, side effects, or misuse; 2) gender differences in pain severity perceptions, clinically meaningful differences in acute pain, and pain treatment preferences; 3) gender differences in pain outcomes of ED patients across the life span; 4) gender differences in the relationship between acute pain and acute psychological responses; 5) the influence of physician-patient gender differences and characteristics on the assessment and treatment of pain; 6) gender differences in the influence of acute stress and chronic stress on acute pain responses; 7) gender differences in biological mechanisms and molecular pathways mediating acute pain in ED populations; and 8) gender differences in biological mechanisms and molecular pathways mediating chronic pain development after trauma, stress, or acute illness exposure. These areas represent priority areas for future scientific inquiry, and gaining understanding in these will be essential to improving our understanding of sex and gender differences in the assessment and treatment of pain conditions in emergency care settings
STING gain-of-function disrupts lymph node organogenesis and innate lymphoid cell development in mice
STING gain-of-function causes autoimmunity and immunodeficiency in mice and STING-associated vasculopathy with onset in infancy (SAVI) in humans. Here, we report that STING gain-of-function in mice prevents development of lymph nodes and Peyer\u27s patches. We show that the absence of secondary lymphoid organs is associated with diminished numbers of innate lymphoid cells (ILCs), including lymphoid tissue inducer (LTi) cells. Although wild-type (WT) α4β
- …