Working group written presentation: Trapped radiation effects

The results of the Trapped Radiation Effects Panel for the Space Environmental Effects on Materials Workshop are presented. The needs of the space community for new data regarding effects of the space environment on materials, including electronics are listed. A series of questions asked of each of the panels at the workshop are addressed. Areas of research which should be pursued to satisfy the requirements for better knowledge of the environment and better understanding of the effects of the energetic charged particle environment on new materials and advanced electronics technology are suggested

A Tool for Intersecting Context-Free Grammars and Its Applications

This paper describes a tool for intersecting context-free grammars. Since this problem is undecidable the tool follows a refinement-based approach and implements a novel refinement which is complete for regularly separable grammars. We show its effectiveness for safety verification of recursive multi-threaded programs

Co-operative Versus Independent Transport of Different Cargoes by Kinesin-1

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/72137/1/j.1600-0854.2008.00722.x.pd

In vivo MRI Characterization of Progressive Cardiac Dysfunction in the mdx Mouse Model of Muscular Dystrophy

Aims The mdx mouse has proven to be useful in understanding the cardiomyopathy that frequently occurs in muscular dystrophy patients. Here we employed a comprehensive array of clinically relevant in vivo MRI techniques to identify early markers of cardiac dysfunction and follow disease progression in the hearts of mdx mice. Methods and Results Serial measurements of cardiac morphology and function were made in the same group of mdx mice and controls (housed in a non-SPF facility) using MRI at 1, 3, 6, 9 and 12 months after birth. Left ventricular (LV) and right ventricular (RV) systolic and diastolic function, response to dobutamine stress and myocardial fibrosis were assessed. RV dysfunction preceded LV dysfunction, with RV end systolic volumes increased and RV ejection fractions reduced at 3 months of age. LV ejection fractions were reduced at 12 months, compared with controls. An abnormal response to dobutamine stress was identified in the RV of mdx mice as early as 1 month. Late-gadolinium-enhanced MRI identified increased levels of myocardial fibrosis in 6, 9 and 12-month-old mdx mice, the extent of fibrosis correlating with the degree of cardiac remodeling and hypertrophy. Conclusions MRI could identify cardiac abnormalities in the RV of mdx mice as young as 1 month, and detected myocardial fibrosis at 6 months. We believe these to be the earliest MRI measurements of cardiac function reported for any mice, and the first use of late-gadolinium-enhancement in a mouse model of congenital cardiomyopathy. These techniques offer a sensitive and clinically relevant in vivo method for assessment of cardiomyopathy caused by muscular dystrophy and other diseases

Analyzing Array Manipulating Programs by Program Transformation

We explore a transformational approach to the problem of verifying simple array-manipulating programs. Traditionally, verification of such programs requires intricate analysis machinery to reason with universally quantified statements about symbolic array segments, such as "every data item stored in the segment A[i] to A[j] is equal to the corresponding item stored in the segment B[i] to B[j]." We define a simple abstract machine which allows for set-valued variables and we show how to translate programs with array operations to array-free code for this machine. For the purpose of program analysis, the translated program remains faithful to the semantics of array manipulation. Based on our implementation in LLVM, we evaluate the approach with respect to its ability to extract useful invariants and the cost in terms of code size

Evaluation of Extent and Bioavailability of Chromium Contamination Near an Abandoned Strip Mine

Chromium is a potentially toxic element to plants and animals commonly associated with serpentine and anthropogenic sources. An abandoned Cr strip-mine at US National Guard Camp SLO, CA containing serpentinitic parent material was tested for total and bioavailable Cr in the soil and overlying vegetation via US EPA Methods 3050a (Total Cr) and 1311 (Total Characteristic Leaching Procedure, TCLP) (US EPA, 1995), respectively. The analysis of total and bioavailable Cr was used to assess the risk of nearby surface and groundwater contamination and to evaluate the site’s need for remediation. In addition, trends in soil Cr levels with respect to slope position and sampling transect were identified. Total and most bioavailable Cr concentrations in plants were below the method detection limits (TotalMDL = 0.12 mg L-1; TCLPMDL = 0.04 mg L-1), suggesting the Cr was immobile and not bioavailable. The average total Cr level was 403.5 +/- 177.6 mg kg-1, significantly below the background total Cr level of 829.4 +/- 213.6 mg kg-1. Based on Chromium’s immobility, and its low levels in the site relative to background concentrations, remediation practices were not recommended. No significant trends were observed in total soil Cr levels along any transect or between sampled slope positions. The information gained from this was used by Camp SLO officers to assess the threat of Cr mobility and bioavailability in the soils at this site, as well as in nearby waterways and ground water