A Formal Approach to Verification and Validation of Guidance, Navigation, and Control Algorithms

The traditional Monte Carlo based approaches to Verification & Validation (V&V) of Guidance Navigation and Control (GN&C) algorithms suffers from drawbacks, including typically requiring a significant amount of computational resources to guarantee a candidate algorithm’s appropriateness. Formal approaches to V&V of GN&C algorithms can help address these is-sues as they are not based on simulation. Therefore, we are investigating and developing an innovative formal V&V algorithm for spacecraft GN&C, specifically in the determination of safety of maneuvers for satellite Remote Proximity Operations and Docking (RPOD). Formal V&V methods could provide rigorous and quantifiable assurances of safety for a given satellite maneuver without the need to perform extensive simulations, enhancing the autonomous decision-making capability of a spacecraft with limited computational resources. The research leverages a novel approach to the forward stochastic reachability analysis problem utilizing Fourier transforms. Initial results indicate quantifiable assurance of safety for a maneuvering satellite reach and reach-avoid problem can be achieved that match (sometimes conservatively) the Monte Carlo runs but use up to three or more orders of magnitude less computation resources

The heterodyne sensing system for the ALPS II search for sub-eV weakly interacting particles

ALPS II, the Any Light Particle Search, is a second-generation Light Shining through a Wall experiment that hunts for axion-like particles. The experiment is currently transitioning from the design and construction phase to the commissioning phase, with science runs expected to start in 2021. ALPS II plans to use two different sensing schemes to confirm the potential detection of axion-like particles or to verify an upper limit on their coupling strength to two photons of $g_{a\gamma\gamma}\leq2\times10^{-11}\text{GeV}^{-1}$. This paper discusses a heterodyne sensing scheme (HET) which will be the first scheme deployed to detect the regenerated light. It presents critical details of the optical layout, the length and alignment sensing scheme, design features to minimize spurious signals from stray light, as well as several control and veto channels specific to HET which are needed to commission and operate the instrument and to calibrate the detector sensitivity.Comment: 12 pages, 5 figure

Using Low-Dose Radiation to Potentiate the Effect of Induction Chemotherapy in Head and Neck Cancer: Results of a Prospective Phase 2 Trial

Purpose: Low-dose fractionated radiation therapy (LDFRT) induces effective cell killing through hyperradiation sensitivity and potentiates effects of chemotherapy. We report our second investigation of LDFRT as a potentiator of the chemotherapeutic effect of induction carboplatin and paclitaxel in locally advanced squamous cell cancer of the head and neck (SCCHN). Experimental Design: Two cycles of induction therapy were given every 21 days: paclitaxel (75 mg/m2) on days 1, 8, and 15; carboplatin (area under the curve 6) day 1; and LDFRT 50 cGy fractions (2 each on days 1, 2, 8, and 15). Objectives included primary site complete response rate; secondary included overall survival, progression-free survival (PFS), disease-specific survival, and toxicity. Results: A total of 24 evaluable patients were enrolled. Primary sites included oropharynx (62.5%), larynx (20.8%), oral cavity (8.3%), and hypopharynx (8.3%). Grade 3/4 toxicities included neutropenia (20%), leukopenia (32%), dehydration/hypotension (8%), anemia (4%), infection (4%), pulmonary/allergic rhinitis (4%), and diarrhea (4%). Primary site response rate was 23/24 (95.8%): 15/24 (62.5%) complete response, 8/24 (33.3%) partial response, and 1/24 (4.2%) stable disease. With median follow-up of 7.75 years, 9-year rates for overall survival were 49.4% (95% confidence interval [CI], 30.5-79.9), PFS was 72.2% (CI, 55.3-94.3), and disease-specific survival was 65.4% (44.3-96.4). Conclusion: Chemopotentiating LDFRT combined with paclitaxel and carboplatin is effective in SCCHN and provided an excellent median overall survival of 107.2 months, with median PFS not yet reached in this locally advanced SCCHN cohort. This compares favorably to prior investigations and caused fewer grade 3 and 4 toxicities than more intensive, 3-drug induction regimens. This trial demonstrates the innovative use of LDFRT as a potentiator of chemotherapy

Wheeze is an unreliable endpoint for bronchial methacholine challenges in preschool children

Background: Onset of wheeze is the endpoint often used in the determination of a positive bronchial challenge test (BCT) in young children who cannot perform spirometry. We sought to assess several clinical endpoints at the time of a positive BCT in young children with recurrent wheeze compared to findings in school-aged children with asthma. Methods: Positive BCT was defined in: (1) preschool children (n = 22) as either persistent cough, wheeze, fall in oxygen saturation (SpO2 ) of ≥5%, or ≥50% increase in respiratory rate (RR) from baseline; and (2) school-aged children (n = 22) as the concentration of methacholine (MCh) required to elicit a 20% decline in FEV1 (PC20 ). Results: All preschool children (mean age 3.4 years) had a positive BCT (median provocative MCh concentration 1.25 mg/ml [IQR, 0.62, 1.25]). Twenty (91%) school-aged children (mean age 11.3 years) had a positive BCT (median PC20 1.25 mg/ml [IQR, 0.55, 2.5]). At the time of the positive BCT, the mean fall in SpO2 (6.9% vs. 3.8%; p = .001) and the mean % increase in RR (61% vs. 22%; p < .001) were greater among preschool-aged than among school-aged children. A minority of children developed wheeze at time of positive BCT (23% preschool- vs. 15% school-aged children; p = .5). Conclusions: The use of wheeze as an endpoint for BCT in preschool children is unreliable, as it rarely occurs. The use of clinical endpoints, such as ≥25% increase in RR or fall in SpO2 of ≥3%, captured all of our positive BCT in preschool children, while minimizing undue respiratory distress

Effects of resistance training on depression and cardiovascular disease risk in black men: Protocol for a randomized controlled trial

Background Depression is severely undertreated in Black men. This is primarily because Black men are less likely to seek traditional psychiatric treatment, have less access and more barriers to treatment, and perceive more stigma associated with treatment. Depression contributes to cardiovascular disease (CVD), and Black men have the highest rate of mortality from CVD. Resistance training (RT) can have beneficial effects on both depression and CVD. This study will be the first randomized controlled trial to test the effects of RT on depression and cardiovascular health in a sample of depressed Black men. Method Fifty Black men with clinically significant symptoms of depression will be randomized to either (a) a 12-week RT or (b) an attention control group. Behavioral Activation techniques will be used to support adherence to home-based RT goals. Both groups will meet on-site twice/week during the 12-week program, and follow-up assessments will occur at the end-of-treatment and 3 months post-treatment. Qualitative interviews will be conducted after the 3-month follow-up. The objectives of this study are (1) to assess the feasibility and acceptability of recruitment, retention, and intervention procedures, (2) to obtain preliminary evidence of efficacy, and (3) to explore potential mediators of the effects of RT on depression. Discussion This study will advance the field of minority men\u27s health by producing new data on the effects of RT for depression, the potential mechanisms of action that may support its use, and its effects on markers of CVD risk in Black men

Type III collagen modulates fracture callus bone formation and early remodeling

Type III collagen (Col3) has been proposed to play a key role in tissue repair based upon its temporospatial expression during the healing process of many tissues, including bone. Given our previous finding that Col3 regulates the quality of cutaneous repair, as well as our recent data supporting its role in regulating osteoblast differentiation and trabecular bone quantity, we hypothesized that mice with diminished Col3 expression would exhibit altered long‐bone fracture healing. To determine the role of Col3 in bone repair, young adult wild‐type (Col3+/+) and haploinsufficent (Col3+/−) mice underwent bilateral tibial fractures. Healing was assessed 7, 14, 21, and 28 days following fracture utilizing microcomputed tomography (microCT), immunohistochemistry, and histomorphometry. MicroCT analysis revealed a small but significant increase in bone volume fraction in Col3+/− mice at day 21. However, histological analysis revealed that Col3+/− mice have less bone within the callus at days 21 and 28, which is consistent with the established role for Col3 in osteogenesis. Finally, a reduction in fracture callus osteoclastic activity in Col3+/− mice suggests Col3 also modulates callus remodeling. Although Col3 haploinsufficiency affected biological aspects of bone repair, it did not affect the regain of mechanical function in the young mice that were evaluated in this study. These findings provide evidence for a modulatory role for Col3 in fracture repair and support further investigations into its role in impaired bone healing. © 2015 Orthopaedic Research Society. Published by Wiley Periodicals, Inc. J Orthop Res 33:675–684, 2015.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/111249/1/jor22838.pd