Towards composition of verified hardware devices

Computers are being used where no affordable level of testing is adequate. Safety and life critical systems must find a replacement for exhaustive testing to guarantee their correctness. Through a mathematical proof, hardware verification research has focused on device verification and has largely ignored system composition verification. To address these deficiencies, we examine how the current hardware verification methodology can be extended to verify complete systems

Static Feed Water Electrolysis Subsystem Testing and Component Development

A program was carried out to develop and test advanced electrochemical cells/modules and critical electromechanical components for a static feed (alkaline electrolyte) water electrolysis oxygen generation subsystem. The accomplishments were refurbishment of a previously developed subsystem and successful demonstration for a total of 2980 hours of normal operation; achievement of sustained one-person level oxygen generation performance with state-of-the-art cell voltages averaging 1.61 V at 191 ASF for an operating temperature of 128F (equivalent to 1.51V when normalized to 180F); endurance testing and demonstration of reliable performance of the three-fluid pressure controller for 8650 hours; design and development of a fluid control assembly for this subsystem and demonstration of its performance; development and demonstration at the single cell and module levels of a unitized core composite cell that provides expanded differential pressure tolerance capability; fabrication and evaluation of a feed water electrolyte elimination five-cell module; and successful demonstration of an electrolysis module pressurization technique that can be used in place of nitrogen gas during the standby mode of operation to maintain system pressure and differential pressures

Prognostic factors in seminomas with special respect to HCG: Results of a prospective multicenter study

Objective: In a prospective multicenter trial, it was our intention to elucidate clinical prognostic factors of seminomas with special reference to the importance of human chorionic gonadotropin (HCG) elevations in histologically pure seminomas. Methods: Together with 96 participating urological departments in Germany, Austria, and Switzerland, we recruited 803 seminoma patients between 1986 and 1991. Out of 726 evaluable cases, 378 had elevated, while 348 had normal HCG values in the cubital vein. Histology was reviewed by two reference pathologists. HCG levels were determined in local laboratories and in a study laboratory. Standard therapy was defined as radiotherapy in stages I (30 Gy) and IIA/B (36 Gy) to the paraaortal and the ispilateral (stage I) and bilateral (stage IIA/B) iliac lymph nodes; higher stages received polychemotherapy and surgery in case of residual tumor masses. Statistics included chi-square tests, linear Cox regression, and log-rank test. Results: The HCG elevation is associated with a larger tumor mass (primary tumor and/or metastases). HCG-positive and HCG-negative seminomas had no different prognostic outcome after standard therapy. The overall relapse rate of 6% and the survival rate of 98% after 36 months (median) indicate an excellent prognosis. The calculation of the relative risk of developing a relapse discovered only stage of the disease and elevation of the lactate dehydrogenase concentration and its prolonged marker decay as independent prognostic factors for seminomas. A more detailed analysis of the prognostic significance of the stage revealed that the high relapse rate in stage IIB seminomas after radiotherapy (24%) is responsible for this result. Conclusions: We conclude that HCG-positive seminomas do not represent a special entity. Provided standard therapy is applied, HCG has no influence on the prognosis. Patients with stage IIB disease should be treated with chemotherapy because of the demonstrated higher relapse rate outside the retroperitoneum. Copyright (C) 1999 S. Karger AG. Basel

Weak Localization Thickness Measurements of Si:P Delta-Layers

We report on our results for the characterization of Si:P delta-layers grown by low temperature molecular beam epitaxy. Our data shows that the effective thickness of a delta-layer can be obtained through a weak localization analysis of electrical transport measurements performed in perpendicular and parallel magnetic fields. An estimate of the diffusivity of phosphorous in silicon is obtained by applying this method to several samples annealed at 850 Celsius for intervals of zero to 15 minutes. With further refinements, this may prove to be the most precise method of measuring delta-layer widths developed to date, including that of Secondary Ion Mass Spectrometry analysis

Analysis of tethered balloon, ceilometer and class sounding data taken on San Nicolas Island during the FIRE project

During the FIRE Marine Stratocumulus Program on San Nicolas Island, Colorado State University (CSU) and the British Meteorological Office (BMO) operated separate instrument packages on the NASA tethered balloon. The CSU package contained instrumentation for the measurement of temperature, pressure, humidity, cloud droplet concentration, and long and short wave radiation. Eight research flights, performed between July 7 and July 14, are summarized. An analysis priority to the July 7, 8 and 11 flights was assigned for the purposes of comparing the CSU and BMO data. Results are presented. In addition, CSU operated a laser ceilometer for the determination of cloud base, and a CLASS radiosonde site which launched 69 sondes. Data from all of the above systems are being analyzed

Constellation Design of a Lunar Global Positioning System Using CubeSats and Chip-Scale Atomic Clocks

Abstract — Accurate navigation on the moon, Mars, or any other astronomical body is essential to scientific investigation. The research presented in this paper covers the constellation design of a Lunar Global Positioning System (GPS) using the CubeSat platform. Since CubeSats have significantly smaller dimensions than most current satellites, their associated cost is much less to place into orbit. This creates a compelling reason to use them for a Lunar GPS. However, CubeSats require a much smaller atomic clock, which has not been available. Fortunately, there have been recent advancements in chip-scale atomic clocks (CSAC) which can fit within the CubeSat platform. We propose a Rider constellations of two orbital planes and eight satellites per plane for minimum position determination, or fifteen satellites per plane for redundancy at an altitude of 3.34x10 4 km. The CSAC considered is estimated to have an update interval of almost an hour with a ten meter distance error

Scattering Mechanisms in a High Mobility Low Density Carbon-Doped (100) GaAs Two-Dimensional Hole System

We report on a systematic study of the density dependence of mobility in a low-density Carbon-doped (100) GaAs two-dimensional hole system (2DHS). At T= 50 mK, a mobility of 2.6 x 10^6 cm^2/Vs at a density p=6.2 x 10^10 cm^- was measured. This is the highest mobility reported for a 2DHS to date. Using a back-gated sample geometry, the density dependence of mobility was studied from 2.8 x 10^10 cm^-2 to 1 x 10^11 cm^-2. The mobility vs. density cannot be fit to a power law dependence of the form mu ~ p^alpha using a single exponent alpha. Our data indicate a continuous evolution of the power law with alpha ranging from ~ 0.7 at high density and increasing to ~ 1.7 at the lowest densities measured. Calculations specific to our structure indicate a crossover of the dominant scattering mechanism from uniform background impurity scattering at high density to remote ionized impurity scattering at low densities. This is the first observation of a carrier density-induced transition from background impurity dominated to remote dopant dominated transport in a single sample.Comment: 4 pages, 5 figures, prepared with LaTex2