Strong Hall voltage modulation in hybrid ferromagnet/semiconductor microstructures

We present a new magnetoelectronic device consisting of a µm-scale semiconductor cross junction and a patterned, electrically isolated, ferromagnetic overlayer with in-plane magnetization. The large local magnetic field emanating from the edge of the thin ferromagnetic film has a strong perpendicular magnetic component, B[perpendicular](r), which induces a Hall resistance, RH, in the microjunction. External application of a weak in-plane magnetic field reverses the magnetization of the ferromagnet and with it B[perpendicular](r), thus modulating RH. Our data demonstrate that this strong "local" Hall effect is operative at both cryogenic and room temperatures, and is promising for device applications such as field sensors or integrated nonvolatile memory cells

Putting formal specifications under the magnifying glass: Model-based testing for validation

A software development process is effectively an abstract form of model transformation, starting from an end-user model of requirements, through to a system model for which code can be automatically generated. The success (or failure) of such a transformation depends substantially on obtaining a correct, well-formed initial model that captures user concerns. Model-based testing automates black box testing based on the model of the system under analysis. This paper proposes and evaluates a novel model-based testing technique that aims to reveal specification/requirement-related errors by generating test cases from a test model and exercising them on the design model. The case study outlined in the paper shows that a separate test model not only increases the level of objectivity of the requirements, but also supports the validation of the system under test through test case generation. The results obtained from the case study support the hypothesis that there may be discrepancies between the formal specification of the system modeled at developer end and the problem to be solved, and using solely formal verification methods may not be sufficient to reveal these. The approach presented in this paper aims at providing means to obtain greater confidence in the design model that is used as the basis for code generation

LOX/hydrocarbon auxiliary propulsion system study

Liquid oxygen (LOX)/hydrocarbon propulsion concepts for a "second generation' orbiter auxiliary propulsion system was evaluated. The most attractive fuel and system design approach identified, and the technology advancements that are needed to provide high confidence for a subsequent system development were determined. The fuel candidates were ethanol, methane, propane, and ammonia. Even though ammonia is not a hydrocarbon, it was included for evaluation because it is clean burning and has a good technology base. The major system design options were pump versus pressure feed, cryogenic versus ambient temperature RCS propellant feed, and the degree of OMS-RCS integration. Ethanol was determined to be the best fuel candidate. It is an earth-storable fuel with a vapor pressure slightly higher than monomethyl hydrazine. A pump-fed OMS was recommended because of its high specific impulse, enabling greater velocity change and greater payload capability than a pressure fed system

Thermal effects on cephalopod energy metabolism - A case study for Sepia officinalis

Cephalopods are the largest, most active invertebrates and there is considerable evidence for their convergent evolution with fishes. However, most active cephalopods display standard and active metabolic rates that are several-fold higher than comparably sized fishes. Shifting habitat temperatures due to climate change will therefore affect a cephalopods energy metabolism much more than that of a fish. Prediction of the probable outcome of cephalopod-fish competition thus requires quantitative information concerning whole animal energetics and corresponding efficiencies. Migrating cephalopods such as squid and cuttlefish grow rapidly to maturity, carry few food reserves and have little overlap of generations. This "live fast, die young" life history strategy means that they require niches capable of sustaining high power requirements and rapid growth. This presentation aims to draw a bottom-up picture of the cellular basis of energy metabolism of the cuttlefish Sepia officinalis, from its molecular basis to whole animal energetics based on laboratory experiments and field data. We assessed the proportionality of standard vs active metabolic rate and the daily energetic requirements using field tracking data in combination with lab based respirometry and video analysis. Effects of environmental temperature on mitochondrial energy coupling were investigated in whole animals using in vivo 31P-NMR spectroscopy. As efficient energy turnover needs sufficient oxygen supply, also thermal effects on the blood oxygen-binding capacities of the respiratory pigment haemocyanin and the differential expression of its isoforms were investigated.Supported by NERC grant NERC/A/S/2002/00812