5,621 research outputs found
Conceptual design study of a 1985 commercial STOL tilt rotor transport
Results of conceptual engineering design studies of a STOL tilt rotor commercial aircraft for the 1985 time frame are presented. The details of aircraft size, performance, flying qualities, noise, and cost are included. The savings in terms of fuel economy resulting from STOL operations compared with VTOL vehicles are determined
Fluent temporal logic for discrete-time event-based models
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-based and state-based formalisms is defined through fluents which are state predicates whose value are determined by the occurrences of initiating and terminating events that make the fluents values become true or false, respectively. The existing fluent temporal logic is convenient for reasoning about untimed event-based models but difficult to use for timed models. The paper extends fluent temporal logic with temporal operators for modelling timed properties of discrete-time event-based models. It presents two approaches that differ on whether the properties model the system state after the occurrence of each event or at a fixed time rate. Model checking of timed properties is made possible by translating them into the existing untimed framework. Copyright 2005 ACM
Evaluation of the Effect of Myocardial Localisation Errors on Myocardial Blood Flow Estimates from Myocardial Perfusion MRI
Flame Spreading over the Surface of Double Base Propellants at High Pressure Annual Report
Flame spreading over igniting surface of double base propellants in high pressure quiescent environmen
Dynamic Mechanical Properties and Fracture Surface Morphologies of Core-Shell Rubber (CSR) Toughened Epoxy at Liquid Nitrogen (Ln2) Temperatures
The dynamic mechanical properties and fracture surface morphologies were evaluated for a commercial epoxy resin toughened with two types of core-shell rubber (CSR) toughening agents (Kane Ace(Registered TradeMark) MX130 and MX960). The impact resistance (R) was evaluated by the resulting breaking energy measured in Charpy impact tests conducted on an instrumented drop tower. The resulting fracture surface morphologies were examined using Scanning Electron Microscopy (SEM). Fractographic observations of the CSR toughened epoxy tested at ambient temperature, showed a fracture as characterized by slender dendrite textures with large voids. The increasing number of dendrites and decreasing size of scale-like texture with more CSR particles corresponded with increased R. As the temperature decreased to Liquid Nitrogen (LN 2), the fracture surfaces showed a fracture characterized by a rough, torn texture containing many river markings and deep furrows
Developmental stage-specific changes in protein synthesis differentially sensitize hematopoietic stem cells and erythroid progenitors to impaired ribosome biogenesis
Adult hematopoietic stem cell (HSC) self-renewal requires precise control of protein synthesis, but fetal and adult HSCs have distinct self-renewal mechanisms and lineage outputs. This raises the question of whether protein synthesis rates change with age. Here, we show that protein synthesis rates decline during HSC ontogeny, yet erythroid protein synthesis rates increase. A ribosomal mutation that impairs ribosome biogenesis (Rpl2
Multisensory training for postural sway control in non-injured elderly females
Elderly adults demonstrate increased postural sway, which may ultimately lead to falls. The present study used a randomized controlled intervention to investigate whether the three-week multisensory training program lead to a decreased postural sway. A total of 24 non-injured elderly females (60-80 years) volunteered to participate. They were randomly assigned to either a training group (ETG) who received one hour of training twice weekly for three weeks or to a control group (ECG) who received no training. At post-training, the results showed significant improvement in the trained ETG when compared to the untrained ECG for all three postural sway measures for all six training factors. The findings demonstrated that the trained ETG improved in their total Berg Balance Test (BBT) scores indicated that the training program successfully improved postural sway control for non-injured elderly females.Keywords: multisensory training, postural sway control, balance ability, visual input;vestibular input, somatosensory inpu
Aerosol physical properties in the stratosphere (APPS) radiometer design
The measurement concepts and radiometer design developed to obtain earth-limb spectral radiance measurements for the Aerosol Physical Properties in the Stratosphere (APPS) measurement program are presented. The measurements made by a radiometer of this design can be inverted to yield vertical profiles of Rayleigh scatterers, ozone, nitrogen dioxide, aerosol extinction, and aerosol physical properties, including a Junge size-distribution parameter, and a real and imaginary index of refraction. The radiometer design provides the capacity for remote sensing of stratospheric constituents from space on platforms such as the space shuttle and satellites, and therefore provides for global measurements on a daily basis
The Volatile Composition of the Split Ecliptic comet 73P/Schwassmann-Wachmann 3: A Comparison of Fragments C and B
The composition of fragments C and B of the Jupiter-family comet 73P/Schwassmann-Wachmann 3 (SW3) was investigated in early April of 2006 at IR wavelengths using high-dispersion echelle spectroscopy. Both fragments were depleted in ethane, and C was depleted in most forms of volatile carbon. In particular, fragment C shows a severe depletion of CH_(3)OH but a "normal" abundance of HCN (which has a similar volatility). Thermal processing is a possible explanation, but since fragment B is perhaps sublimating fresher material because of the frequent outbursts and fragmentation, the observed depletions might have cosmogonic implications. The chemistry of the volatile ices in SW3, like in the Oort Cloud comet C/1999 S4 (LINEAR), may be associated with sublimation of icy mantles from precometary grains followed by subsequent gas-phase chemistry and recondensation
- …