Reliability models for dataflow computer systems

The demands for concurrent operation within a computer system and the representation of parallelism in programming languages have yielded a new form of program representation known as data flow (DENN 74, DENN 75, TREL 82a). A new model based on data flow principles for parallel computations and parallel computer systems is presented. Necessary conditions for liveness and deadlock freeness in data flow graphs are derived. The data flow graph is used as a model to represent asynchronous concurrent computer architectures including data flow computers

Ocean feature recognition using genetic algorithms with fuzzy fitness functions (GA/F3)

A model for genetic algorithms with semantic nets is derived for which the relationships between concepts is depicted as a semantic net. An organism represents the manner in which objects in a scene are attached to concepts in the net. Predicates between object pairs are continuous valued truth functions in the form of an inverse exponential function (e sub beta lxl). 1:n relationships are combined via the fuzzy OR (Max (...)). Finally, predicates between pairs of concepts are resolved by taking the average of the combined predicate values of the objects attached to the concept at the tail of the arc representing the predicate in the semantic net. The method is illustrated by applying it to the identification of oceanic features in the North Atlantic

A survey of compiler development aids

A theoretical background was established for the compilation process by dividing it into five phases and explaining the concepts and algorithms that underpin each. The five selected phases were lexical analysis, syntax analysis, semantic analysis, optimization, and code generation. Graph theoretical optimization techniques were presented, and approaches to code generation were described for both one-pass and multipass compilation environments. Following the initial tutorial sections, more than 20 tools that were developed to aid in the process of writing compilers were surveyed. Eight of the more recent compiler development aids were selected for special attention - SIMCMP/STAGE2, LANG-PAK, COGENT, XPL, AED, CWIC, LIS, and JOCIT. The impact of compiler development aids were assessed some of their shortcomings and some of the areas of research currently in progress were inspected

SSL: A software specification language

SSL (Software Specification Language) is a new formalism for the definition of specifications for software systems. The language provides a linear format for the representation of the information normally displayed in a two-dimensional module inter-dependency diagram. In comparing SSL to FORTRAN or ALGOL, it is found to be largely complementary to the algorithmic (procedural) languages. SSL is capable of representing explicitly module interconnections and global data flow, information which is deeply imbedded in the algorithmic languages. On the other hand, SSL is not designed to depict the control flow within modules. The SSL level of software design explicitly depicts intermodule data flow as a functional specification

System support software for the Space Ultrareliable Modular Computer (SUMC)

The highly transportable programming system designed and implemented to support the development of software for the Space Ultrareliable Modular Computer (SUMC) is described. The SUMC system support software consists of program modules called processors. The initial set of processors consists of the supervisor, the general purpose assembler for SUMC instruction and microcode input, linkage editors, an instruction level simulator, a microcode grid print processor, and user oriented utility programs. A FORTRAN 4 compiler is undergoing development. The design facilitates the addition of new processors with a minimum effort and provides the user quasi host independence on the ground based operational software development computer. Additional capability is provided to accommodate variations in the SUMC architecture without consequent major modifications in the initial processors

Field evidence for the upwind velocity shift at the crest of low dunes

Wind topographically forced by hills and sand dunes accelerates on the upwind (stoss) slopes and reduces on the downwind (lee) slopes. This secondary wind regime, however, possesses a subtle effect, reported here for the first time from field measurements of near-surface wind velocity over a low dune: the wind velocity close to the surface reaches its maximum upwind of the crest. Our field-measured data show that this upwind phase shift of velocity with respect to topography is found to be in quantitative agreement with the prediction of hydrodynamical linear analysis for turbulent flows with first order closures. This effect, together with sand transport spatial relaxation, is at the origin of the mechanisms of dune initiation, instability and growth.Comment: 13 pages, 6 figures. Version accepted for publication in Boundary-Layer Meteorolog

Performance Improvements to the Neutron Imaging System at the National Ignition Facility

A team headed by LANL and including many members from LLNL and NSTec LO and NSTec LAO fielded a neutron imaging system (NIS) at the National Ignition Facility at the start of 2011. The NIS consists of a pinhole array that is located 32.5 cm from the source and that creates an image of the source in a segmented scintillator 28 m from the source. The scintillator is viewed by two gated, optical imaging systems: one that is fiber coupled, and one that is lens coupled. While there are a number of other pieces to the system related to pinhole alignment, collimation, shielding and data acquisition, those pieces are discussed elsewhere and are not relevant here. The system is operational and has successfully obtained data on more that ten imaging shots. This remainder of this whitepaper is divided in five main sections. In Section II, we identify three critical areas of improvement that we believe should be pursued to improve the performance of the system for future experiments: spatial resolution, temporal response and signal-to-noise ratio. In Section III, we discuss technologies that could be used to improve these critical performance areas. In Section IV, we describe a path to evolve the current system to achieve improved performance with minimal impact on the ability of the system to operate on shots. In Section V, we discuss the abilities, scope and timescales of the current teams and the Commissariat energie atomique (CEA). In Section VI, we summarize and make specific recommendations for collaboration on improvements to the NIS

Enhanced Temporal but Not Attentional Processing in Expert Tennis Players

In tennis, as in many disciplines of sport, fine spatio-temporal resolution is required to reach optimal performance. While many studies on tennis have focused on anticipatory skills or decision making, fewer have investigated the underlying visual perception abilities. In this study, we used a battery of seven visual tests that allowed us to assess which kind of visual information processing is performed better by tennis players than other athletes (triathletes) and non-athletes. We found that certain time-related skills, such as speed discrimination, are superior in tennis players compared to non-athletes and triathletes. Such tasks might be used to improve tennis performance in the future

Clinical and biomarker changes in dominantly inherited Alzheimer\u27s disease

BACKGROUND: The order and magnitude of pathologic processes in Alzheimer\u27s disease are not well understood, partly because the disease develops over many years. Autosomal dominant Alzheimer\u27s disease has a predictable age at onset and provides an opportunity to determine the sequence and magnitude of pathologic changes that culminate in symptomatic disease. METHODS: In this prospective, longitudinal study, we analyzed data from 128 participants who underwent baseline clinical and cognitive assessments, brain imaging, and cerebrospinal fluid (CSF) and blood tests. We used the participant\u27s age at baseline assessment and the parent\u27s age at the onset of symptoms of Alzheimer\u27s disease to calculate the estimated years from expected symptom onset (age of the participant minus parent\u27s age at symptom onset). We conducted cross-sectional analyses of baseline data in relation to estimated years from expected symptom onset in order to determine the relative order and magnitude of pathophysiological changes. RESULTS: Concentrations of amyloid-beta (Aβ) 42 in the CSF appeared to decline 25 years before expected symptom onset. Aβ deposition, as measured by positron-emission tomography with the use of Pittsburgh compound B, was detected 15 years before expected symptom onset. Increased concentrations of tau protein in the CSF and an increase in brain atrophy were detected 15 years before expected symptom onset. Cerebral hypometabolism and impaired episodic memory were observed 10 years before expected symptom onset. Global cognitive impairment, as measured by the Mini-Mental State Examination and the Clinical Dementia Rating scale, was detected 5 years before expected symptom onset, and patients met diagnostic criteria for dementia at an average of 3 years after expected symptom onset. CONCLUSIONS: We found that autosomal dominant Alzheimer\u27s disease was associated with a series of pathophysiological changes over decades in CSF biochemical markers of Alzheimer\u27s disease, brain amyloid deposition, and brain metabolism as well as progressive cognitive impairment. Our results require confirmation with the use of longitudinal data and may not apply to patients with sporadic Alzheimer\u27s disease. (Funded by the National Institute on Aging and others; DIAN ClinicalTrials.gov number, NCT00869817.

Awareness of genetic risk in the Dominantly Inherited Alzheimer Network (DIAN)

Introduction: Although some members of families with autosomal dominant Alzheimer's disease mutations learn their mutation status, most do not. How knowledge of mutation status affects clinical disease progression is unknown. This study quantifies the influence of mutation awareness on clinical symptoms, cognition, and biomarkers. / Methods: Mutation carriers and non‐carriers from the Dominantly Inherited Alzheimer Network (DIAN) were stratified based on knowledge of mutation status. Rates of change on standard clinical, cognitive, and neuroimaging outcomes were examined. / Results: Mutation knowledge had no associations with cognitive decline, clinical progression, amyloid deposition, hippocampal volume, or depression in either carriers or non‐carriers. Carriers who learned their status mid‐study had slightly higher levels of depression and lower cognitive scores. / Discussion: Knowledge of mutation status does not affect rates of change on any measured outcome. Learning of status mid‐study may confer short‐term changes in cognitive functioning, or changes in cognition may influence the determination of mutation status