Parts application analysis - Array D Redundant Command Receiver

summarized by T. W. Fox

Reliability prediction - Array D Redundant Command Receiver

A reliability prediction was performed on the ALSEP Redundant Command Receiver for Bendix Aerospace Systems.Contract Number: NAS 9-5829. Subcontract Number: SC-0721summarized by T. W. Fox.Introduction -- Requirements -- Summary of Analysis and Conclusions -- Analysis Details -- Functional Description -- Reliability Block Diagram -- Logic Diagrams and Math Model -- Multiple Failure Probabilit

Results of A-2 Schjeldahl connector "green crud" investigation

This ATM presents the results of the investigation into the Array A-2 "green crud" problems.prepared by T. W. Fox

Materials for Biomedical Applications

This paper discusses two ceramic material systems for selective laser sintering (SLS) that are being developed for biomedical applications for use in repair of bone defects. SLS is the preferred method of fabricating ceramic implants that exhibit well defined porous microstructures. Implants fabricated in this. manner have proven effective in-vivo showing excellent biocompatibility as well as considerable osseous integration and remodeling of the imp'ant materialMechanical Engineerin

Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties

In this paper, we formally verify security properties of the ARMv7 Instruction Set Architecture (ISA) for user mode executions. To obtain guarantees that arbitrary (and unknown) user processes are able to run isolated from privileged software and other user processes, instruction level noninterference and integrity properties are provided, along with proofs that transitions to privileged modes can only occur in a controlled manner. This work establishes a main requirement for operating system and hypervisor verification, as demonstrated for the PROSPER separation kernel. The proof is performed in the HOL4 theorem prover, taking the Cambridge model of ARM as basis. To this end, a proof tool has been developed, which assists the verification of relational state predicates semi-automatically

European Preferences for Beef Steak Attributes

A choice experiment is used to evaluate how consumers in London, Frankfurt, and Paris value beef steaks with attributes such as: "hormone-free," "GM-free," farm-specific source verification, and domestic origin. The effect of various consumer characteristics on steak selection is also evaluated. Results suggest that European consumers are significantly heterogeneous in their preferences for beef steak attributes. French and German consumers have a higher willingness to pay to avoid genetically modified feed use than British consumers, while German and British consumers would pay more for growth hormone-free beef. French and German consumers are willing to pay for farm-specific source verification.beef, choice experiment, country of origin, genetically modified, hormones, preference heterogeneity, random parameters, source verification, Consumer/Household Economics,

Near-Terminator Venus Ionosphere: Evidence for a Dawn/Dusk Asymmetry in the Thermosphere

Recent models of the near-terminator ionosphere of Venus constructed using neutral density profiles from the VTS3 model of Hedin et al. (1983) have shown that altitudes of the electron density peaks are in agreement with those measured by Pioneer Venus (PV) Orbiter Radio Occultation (ORO) and other radio occultation profiles in the solar zenith angle (SZA) range 60 to 70°, where they are near 140 km (Fox, 2007). The model peaks in the 75–85° range, however, do not decrease in altitude to near 135 km, as do the PV ORO electron density peaks shown in the study of Cravens et al. (1981). We investigate here possible reasons for this decrease. The PV Orbiter Neutral Mass Spectrometer (ONMS) measured densities of CO2, O, CO, N2, N, and He for many of the first 600 orbits. We have chosen 10 orbits in the dawn sector and 12 orbits in the dusk sector for which the solar zenith angles at periapsis were in the 75–85° range, and we have examined the ONMS density profiles reported in the PV Unified Abstract Data System. We find that for most of the orbits, the appropriately normalized ONMS measured densities for CO2 and O are, however, either similar to or larger than those generated from the VTS3 model for the same solar zenith angle and F 10.7 flux, and the use of these densities in our models would therefore produce a higher, rather than a lower, peak. The VTS3 models are, however, not expected to be accurate in the terminator region because of the small number of spherical harmonics used in the models and the large density changes that are expected near the terminators. We have also investigated a possible dawn/dusk asymmetry in the ionosphere. All the low-altitude PV radio occultation electron density peaks reported in the study of Cravens et al. (1981) in the 70 to 85° range were in the dawn sector at high latitudes. In the VTS3 models, the exospheric temperatures are predicted to be smaller at dawn that at dusk, but the asymmetries are confined to the region above ∼165 km. Thus use of the VTS3 model densities and temperatures in the near-terminator dawn sector models cannot produce electron density peaks that are lower in altitude than those in the dusk sector. We suggest that there is a high-latitude asymmetry between the dawn and dusk neutral densities that extends down to within ∼20 km above the expected altitude of the electron density peaks, and that produces a significantly asymmetrical ionosphere

Potentialities of proteinoids for nutritional investigation

Simultaneous synthesis of amino acids and proteinoid production for nutritional investigatio