Investigation of a Verification and Validation Tool with a Turbofan Aircraft Engine Application

The development of more advanced control architectures for turbofan aircraft engines can yield gains in performance and efficiency over the lifetime of an engine. However, the implementation of these increasingly complex controllers is contingent on their ability to provide safe, reliable engine operation. Therefore, having the means to verify the safety of new control algorithms is crucial. As a step towards this goal, CoCoSim, a publicly available verification tool for Simulink, is used to analyze C-MAPSS40k, a 40,000 lbf class turbo-fan engine model developed at NASA for testing new control algorithms. Due to current limitations of the verification software, several modifications are made to C-MAPSS40k to achieve compatibility with CoCoSim. Some of these modifications sacrifice fidelity to the original model. Several safety and performance requirements typical for turbofan engines are identified and constructed into a verification framework. Preliminary results using an industry standard baseline controller for these requirements are presented. While verification capabilities are demonstrated, a truly comprehensive analysis will require further development of the verification tool

Effects of recreational soccer in men with prostate cancer undergoing androgen deprivation therapy:study protocol for the 'FC Prostate' randomized controlled trial

BACKGROUND: Androgen deprivation therapy (ADT) is a cornerstone in the treatment of advanced prostate cancer. Adverse musculoskeletal and cardiovascular effects of ADT are widely reported and investigations into the potential of exercise to ameliorate the effects of treatment are warranted. The ‘Football Club (FC) Prostate’ study is a randomized trial comparing the effects of soccer training with standard treatment approaches on body composition, cardiovascular function, physical function parameters, glucose tolerance, bone health, and patient-reported outcomes in men undergoing ADT for prostate cancer. METHODS/DESIGN: Using a single-center randomized controlled design, 80 men with histologically confirmed locally advanced or disseminated prostate cancer undergoing ADT for 6 months or more at The Copenhagen University Hospital will be enrolled on this trial. After baseline assessments eligible participants will be randomly assigned to a soccer training group or a control group receiving usual care. The soccer intervention will consist of 12 weeks of training 2–3 times/week for 45–60 min after which the assessment protocol will be repeated. Soccer training will then continue bi-weekly for an additional 20 weeks at the end of which all measures will be repeated to allow for additional analyses of long-term effects. The primary endpoint is changes in lean body mass from baseline to 12 weeks assessed by dual X-ray absorptiometry scan. Secondary endpoints include changes of cardiovascular, metabolic, and physical function parameters, as well as markers of bone metabolism and patient-reported outcomes. DISCUSSION: The FC Prostate trial will assess the safety and efficacy of a novel soccer-training approach to cancer rehabilitation on a number of clinically important health outcomes in men with advanced prostate cancer during ADT. The results may pave the way for innovative, community-based interventions in the approach to treating prostate cancer. TRIAL REGISTRATION: ClinicalTrials.gov: NCT0171189

Exercise for men with prostate cancer : a systematic review and meta-analysis

Context: Exercise could be beneficial for prostate cancer survivors. However, no systematic review across cancer stages and treatment types addressing potential benefits and harms exists to date. Objective: To assess the effects of exercise on cancer-specific quality of life and adverse events in prostate cancer trials. Evidence acquisition: We searched the Cochrane Central Register of Controlled Trials, MEDLINE, EMBASE, AMED, CINAHL, PsycINFO, SPORTDiscus, and PEDro. We also searched grey literature databases, including trial registers. Searches were from database inception to March 2015. Standardised mean differences (SMDs) were calculated for meta-analysis. Evidence synthesis: We included 16 randomised controlled trials (RCTs) involving 1574 men with prostate cancer. Follow-up varied from 8 wk to 12 mo. RCTs involved men with stage I–IV cancers. A high risk of bias was frequently due to problematic intervention adherence. Seven trials involving 912 men measured cancer-specific quality of life. Pooling of the data from these seven trials revealed no significant effect on this outcome (SMD 0.13, 95% confidence interval [CI] –0.08 to 0.34, median follow-up 12 wk). Sensitivity analysis of studies that were judged to be of high quality indicated a moderate positive effect estimate (SMD 0.33, 95% CI 0.08–0.58; median follow-up 12 wk). Similar beneficial effects were seen for cancer-specific fatigue, submaximal fitness, and lower body strength. We found no evidence of benefit for disease progression, cardiovascular health, or sexual function. There were no deaths attributable to exercise interventions. Other serious adverse events (eg, myocardial infarction) were equivalent to those seen in controls. Conclusions: These results support the hypothesis that exercise interventions improve cancer-specific quality of life, cancer-specific fatigue, submaximal fitness, and lower body strength. Patient summary: This review shows that exercise/physical activity interventions can improve quality of life, fatigue, fitness, and function for men with prostate cancer

Stability-Based Hybrid Automata for Safety Verification Using Continuation Methods

Thesis (Master's)--University of Washington, 2017-06The rapid development of increasingly autonomous systems has advanced the challenge of safety assurance beyond the capabilities of existing methods. Therefore, new means of verification and validation are required to ensure the safe operation of emerging systems. Numerical continuation characterizes system behavior as parameters are varied and can be used to facilitate a bifurcation analysis, where equilibria and their stability properties are identified. This paper introduces hybrid stability automata -- system models constructed using numerical continuation that capture stability properties within a series of dynamic modes. These automata readily support safety analyses by explicitly defining stable, i.e. safe, regions of the operational envelope. The processes to create hybrid stability automata for one-dimensional and multi-dimensional systems are discussed and prototypical examples are presented. Example safety analyses using hybrid stability automata are demonstrated on the space shuttle reentry dynamics

Does vitamin-D intake during resistance training improve the skeletal muscle hypertrophic and strength response in young and elderly men? – a randomized controlled trial

INTRODUCTION: Recent studies have shown that vitamin-D intake can improve skeletal muscle function and strength in frail vitamin-D insufficient individuals. We investigated whether vitamin-D intake can improve the muscular response to resistance training in healthy young and elderly individuals, respectively. METHODS: Healthy untrained young (n = 20, age 20–30) and elderly (n = 20, age 60–75) men were randomized to 16 weeks of daily supplementary intake of either 48 μg of vitamin-D + 800 mg calcium (Vitamin-D-group) or 800 mg calcium (Placebo-group) during a period and at a latitude of low sunlight (December-April, 56°N). During the last 12 weeks of the supplementation the subjects underwent progressive resistance training of the quadriceps muscle. Muscle hypertrophy, measured as changes in cross sectional area (CSA), and isometric strength of the quadriceps were determined. Muscle biopsies were analyzed for fiber type morphology changes and mRNA expression of vitamin-D receptor (VDR), cytochrome p450 27B1 (CYP27B1) and Myostatin. RESULTS: In the vitamin-D groups, serum 25(OH)D concentration increased significantly and at week 12 was significantly different from placebo in both young men (71.6 vs. 50.4 nmol/L, respectively) and elderly men (111.2 vs. 66.7 nmol/L, respectively). After 12 weeks of resistance training, quadriceps CSA and isometric strength increased compared to baseline in young (CSA p < 0.0001, strength p = 0.005) and elderly (CSA p = 0.001, strength p < 0.0001) with no difference between vitamin-D and placebo groups. Vitamin-D intake and resistance training increased strength/CSA in elderly compared to young (p = 0.008). In the young vitamin-D group, the change in fiber type IIa percentage was greater after 12 weeks training (p = 0.030) and Myostatin mRNA expression lower compared to the placebo group (p = 0.006). Neither resistance training nor vitamin-D intake changed VDR mRNA expression. CONCLUSION: No additive effect of vitamin-D intake during 12 weeks of resistance training could be detected on either whole muscle hypertrophy or muscle strength, but improved muscle quality in elderly and fiber type morphology in young were observed, indicating an effect of vitamin-D on skeletal muscle remodeling. TRIAL REGISTRATION: ClinicalTrials with nr. NCT01252381 ELECTRONIC SUPPLEMENTARY MATERIAL: The online version of this article (doi:10.1186/s12986-015-0029-y) contains supplementary material, which is available to authorized users