Design examples using µ-synthesis: Space shuttle lateral axis FCS during reentry

This paper studies the application of Structured Singular Values (SSV or µ) for analysis and synthesis of the Space Shuttle lateral axis flight control system (FCS) during reentry. While this is a fairly standard FCS problem in most respects, the aircraft model is highly uncertain due to the poorly known aerodynamic characteristics (e.g. aero coefficients). Comparisons are made of the conventional FCS with alternatives based on H∞ optimal control and µ-synthesis. The problem as formulated is particularly interesting and challenging because the uncertainty is large and highly structured

Visuospatial working memory and obstacle crossing in young and older people

Obstacle crossing requires visuospatial working memory to guide the trailing leg trajectory when vision in unavailable. Visuospatial working memory, as assessed with neuropsychological tests, declines with age, however, this remains to be investigated functionally in obstacle crossing. There is also evidence that visuospatial encoding during a secondary task interferes with balance control during stepping and walking in older people. Here, we studied the interaction effects of age by delay (study 1) and age by secondary visuospatial task (study 2) conditions on obstacle clearance in a visuospatial working memory -guided obstacle crossing task. Healthy young adults aged 19 to 36 years (n = 20 in study 1 and n = 17 in study 2) and healthy older adults aged 66 to 83 years (n = 29 in study 1 and n = 21 in study 2) were instructed to step over an obstacle with their leading leg and straddle it for a delay period before completing the crossing with their trailing leg. In study 1, two obstacle height conditions (12 cm, 18 cm) and two delay durations (20 s, 60 s) were presented in random order. In study 2, participants were required to attend to either no secondary task (control), a visuospatial secondary (star movement) task, or a nonspatial secondary (arithmetic) task, while straddling the obstacle for a delay duration of 20 s, at obstacle heights of 12 cm and 18 cm, randomly presented. Trailing leg kinematics (mean and variability of maximum toe clearance over the obstacle) were determined via motion capture. There were no statistically significant age by delay or age by secondary task interactions. In study 1, toe clearance variability was significantly greater in young adults and increased with increasing delay duration in both groups. In study 2, compared with the control condition, toe clearance variability was significantly greater in the non-spatial secondary task condition but not in the visuospatial condition. Contrary to our hypotheses, these findings suggest that young and older adults alike can store an obstacle representation via visuospatial working memory for durations of at least 60 s and use this information to safely scale their trailing leg over an obstacle. However, the increase in trailing leg toe clearance variability with delay duration suggests that obstacle representation starts to deteriorate even within the first 20 s regardless of age. The finding that undertaking a concurrent arithmetic task impaired visuospatial working memory-guided obstacle clearance suggests a potential increased risk of tripping during obstacle crossing while dual-tasking in both young and older people

Symbolic Partial-Order Execution for Testing Multi-Threaded Programs

We describe a technique for systematic testing of multi-threaded programs. We combine Quasi-Optimal Partial-Order Reduction, a state-of-the-art technique that tackles path explosion due to interleaving non-determinism, with symbolic execution to handle data non-determinism. Our technique iteratively and exhaustively finds all executions of the program. It represents program executions using partial orders and finds the next execution using an underlying unfolding semantics. We avoid the exploration of redundant program traces using cutoff events. We implemented our technique as an extension of KLEE and evaluated it on a set of large multi-threaded C programs. Our experiments found several previously undiscovered bugs and undefined behaviors in memcached and GNU sort, showing that the new method is capable of finding bugs in industrial-size benchmarks.Comment: Extended version of a paper presented at CAV'2

Hardness, yield strength, and plastic flow in thin film metallic-glass

2011-2012 > Academic research: refereed > Publication in refereed journalVersion of RecordPublishe

A vine copula mixed effect model for trivariate meta-analysis of diagnostic test accuracy studies accounting for disease prevalence

A bivariate copula mixed model has been recently proposed to synthesize diagnostic test accuracy studies and it has been shown that it is superior to the standard generalized linear mixed model in this context. Here, we call trivariate vine copulas to extend the bivariate meta-analysis of diagnostic test accuracy studies by accounting for disease prevalence. Our vine copula mixed model includes the trivariate generalized linear mixed model as a special case and can also operate on the original scale of sensitivity, specificity, and disease prevalence. Our general methodology is illustrated by re-analyzing the data of two published meta-analyses. Our study suggests that there can be an improvement on trivariate generalized linear mixed model in fit to data and makes the argument for moving to vine copula random effects models especially because of their richness, including reflection asymmetric tail dependence, and computational feasibility despite their three dimensionality

Role of polymorphisms of the inflammatory response genes and DC-SIGNR in genetic susceptibility to SARS and other infections.

Research Fund for the Control of Infectious Diseases: Research Dissemination Reports (Series 2)1. A genetic risk-association study involving more than 1200 subjects showed individuals homozygous for L-SIGN tandem repeats are less susceptible to SARS infection. 2. This was supported by in vitro binding studies that demonstrated homozygous L-SIGN, compared to heterozygous, had higher binding capacity for SARS coronavirus (SARS-CoV), with higher proteasome-dependent viral degradation. In contrast, homozygous L-SIGN demonstrated lower binding capacity for HIV1-gp120.3. Genetic-association studies for single nucleotide polymorphisms of the inflammatory response genes, namely TNF-alpha, INF-alpha, INF-beta, INF-gamma, IL1-alpha, IL1-beta, IL-4, IL-6 and iNOS, failed to show a significant association with SARS clinical outcomes or susceptibility.published_or_final_versio

The evaluation of renal ischaemic damage: the value of CD10 monoclonal antibody staining and of biochemical assessments of tissue viability

<p>Abstract</p> <p>Background</p> <p>It is well recognised that there is often a disparity between the structural changes observed in the kidney following renal injury and the function of the organ. For this reason, we carried out studies to explore possible means of studying and quantifying the severity of renal ischaemic damage using a laboratory model.</p> <p>Methods</p> <p>To do this, freshly isolated rabbit kidney tissue was subjected to warm (37°C) or cold (1°C) ischaemia for 20 hours. Following this, the tissue was stained using Haematoxylin and Eosin (H+E), Periodic Schiff reagent (PAS) and the novel monoclonal antibody CD10 stain. Additionally, ischaemic damage to the kidneys was assessed by biochemical tests of tissue viability using formazan-based colorimetry.</p> <p>Results</p> <p>CD 10 antibody intensely stained the brush border of control kidney tissue with mild or no cytoplasmic staining. Cell injury was accompanied by a redistribution of CD10 into the lumen and cell cytoplasm. There was good correlation between a score of histological damage using the CD 10 monoclonal antibody stain and the biochemical assessment of viability. Similarly, a score of histological damage using traditional PAS staining correlated well with that using the CD10 antibody stain.</p> <p>In particular, the biochemical assay and the monoclonal antibody staining techniques were able to demonstrate the efficacy of Soltran (this solution is used cold to preserve freshly isolated human kidneys prior to transplantation) in preserving renal tissue at cold temperatures compared to other randomly selected solutions.</p> <p>Conclusion</p> <p>We conclude that the techniques described using the CD10 monoclonal antibody stain may be helpful in the diagnosis and assessment of ischaemic renal damage. In addition, biochemical tests of viability may have an important role in routine histopathological work by giving additional information about cellular viability which may have implications on the function of the organ.</p

Transcriptional regulation of the IGF signaling pathway by amino acids and insulin-like growth factors during myogenesis in Atlantic salmon

The insulin-like growth factor signalling pathway is an important regulator of skeletal muscle growth. We examined the mRNA expression of components of the insulin-like growth factor (IGF) signalling pathway as well as Fibroblast Growth Factor 2 (FGF2) during maturation of myotubes in primary cell cultures isolated from fast myotomal muscle of Atlantic salmon (Salmo salar). The transcriptional regulation of IGFs and IGFBP expression by amino acids and insulin-like growth factors was also investigated. Proliferation of cells was 15% d(-1) at days 2 and 3 of the culture, increasing to 66% d(-1) at day 6. Three clusters of elevated gene expression were observed during the maturation of the culture associated with mono-nucleic cells (IGFBP5.1 and 5.2, IGFBP-6, IGFBP-rP1, IGFBP-2.2 and IGF-II), the initial proliferation phase (IGF-I, IGFBP-4, FGF2 and IGF-IRb) and terminal differentiation and myotube production (IGF2R, IGF-IRa). In cells starved of amino acids and serum for 72 h, IGF-I mRNA decreased 10-fold which was reversed by amino acid replacement. Addition of IGF-I and amino acids to starved cells resulted in an 18-fold increase in IGF-I mRNA indicating synergistic effects and the activation of additional pathway(s) leading to IGF-I production via a positive feedback mechanism. IGF-II, IGFBP-5.1 and IGFBP-5.2 expression was unchanged in starved cells, but increased with amino acid replacement. Synergistic increases in expression of IGFBP5.2 and IGFBP-4, but not IGFBP5.1 were observed with addition of IGF-I, IGF-II or insulin and amino acids to the medium. IGF-I and IGF-II directly stimulated IGFBP-6 expression, but not when amino acids were present. These findings indicate that amino acids alone are sufficient to stimulate myogenesis in myoblasts and that IGF-I production is controlled by both endocrine and paracrine pathways. A model depicting the transcriptional regulation of the IGF pathway in Atlantic salmon muscle following feeding is proposed.Publisher PDFPeer reviewe

Studies on the clinical significance of nonesterified and total cholesterol in urine

Gas-liquid chromatographic determinations of nonesterified and total urinary cholesterol were performed in 137 normals, 264 patients with various internal diseases without evidence of neoplasias or diseases of the kidney or urinary tract, 497 patients with malignancies and 236 patients with diseases of the kidney, urinary tract infections or prostatic adenoma with residual urine. A normal range (mean±2 SD) of 0.2–2.2 mg/24 hours nonesterified cholesterol (NEC) and of 0.3–3.0 mg/24 hours total cholesterol (TC) was calculated. Values of urinary cholesterol excretion were independent of age and sex and did not correlate with cholesterol levels in plasma. Patients with various internal diseases, without evidence of neoplasias nor diseases of the kidney or obstruction of the urinary tract, showed normal urinary cholesterol excretions, as did patients with infections of the urinary tract. However, elevated urinary cholesterol was found in patients with diseases of the kidney or urinary tract obstruction (prostatic adenoma with residual urine), malignant diseases of the urogenital tract and metastasing carcinoma of the breast. In patients with other malignant diseases urinary cholesterol was usually normal. Lesions of the urothelial cell membranes are considered to be the most likely cause of urinary cholesterol hyperexcretion. The clinical value of urinary cholesterol determinations as a possible screening test for urogenital carcinomas in unselected populations is limited by lacking specificity, expensive methodology and low prevalence of the mentioned carcinomas, although elevated urinary cholesterol excretions have been observed in early clinical stages of urogenital cancers