Publications

SrCo{sub 0.5}FeO{sub x} (SCF) is an attractive material for oxygen separation membranes and for use in catalytic membrane reactors. While tubes of this material have been prepared by extrusion, further improvements in oxygen transport performance may be gained by preparing thinner membranes on porous supports. In this paper, we will discuss the deposition of thick films by spray deposition and centrifugal casting, and thin films by pyrolysis of chemical precursors. For the chemically derived thin films, porous MgO supports were used as membrane supports. Three types of precursor solutions were employed for dipcoating: a Pechini type solution, a nitrate-based solution, and a citrate-based solution. To prevent the infiltration of the precursor into the support, the support was backfilled with a material that decomposed at higher temperatures than the precursors. Cracking due to the volume changes during drying and pyrolysis of the precursors is discussed. Thick films were prepared by spray coating and centrifugal casting. Spray deposition of thick film membranes was accomplished by air brushing SCF from a water-based suspension onto the surface of a porous MgO support. Films on the interior surface of the supports were prepared by centrifugal casting using a xylene/butanol-based SCF suspension. Unlike extruded tubes, thick films undergo constrained sintering due to the presence of the support, which greatly reduces the densification rate. For membranes prepared by both approaches, we will discuss the effects of heating schedules on membrane microstructure, densification behavior, and cracking.

Plasma-induced-damage often degrades the electrical and optical properties of compound semiconductor devices. Despite the fact that the binding energy of GaN is larger than that for more conventional III--V compounds, etch damage is still a concern. Photoluminescence measurements and atomic force microscopy have been used to determine the damage induced in GaN by exposure to both electron cyclotron resonance (ECR) and inductively coupled plasmas (ICP) generated Ar plasmas.

This paper presents a portion of the work on specification, design, and implementation of safety-critical systems such as reactor control systems. A natural approach to this problem, once all the requirements are captured, would be to state the requirements formally and then either to prove (preferably via automated tools) that the system conforms to spec (program verification), or to try to simultaneously generate the system and a mathematical proof that the requirements are being met (program derivation). An obstacle to this is frequent presence of partially defined operations within the software and its specifications. Indeed, the usual proofs via first order logic presuppose everywhere defined operations. Recognizing this problem, David Gries, in ``The Science of Programming,`` 1981, introduced the concept of partial functions into the mainstream of program correctness and gave hints how his treatment of partial functions could be formalized. Still, however, existing theorem provers and software verifiers have difficulties in checking software with partial functions, because of absence of uniform first order treatment of partial functions within classical 2-valued logic. Several rigorous mechanisms that took partiality into account were introduced [Wirsing 1990, Breu 1991, VDM 1986, 1990, etc.]. However, they either did not discuss correctness proofs or departed from first order logic. To fill this gap, the authors provide a semantics for software correctness proofs with partial functions within classical 2-valued 1st order logic. They formalize the Gries treatment of partial functions and also cover computations of functions whose argument lists may be only partially available. An example is nuclear reactor control relying on sensors which may fail to deliver sense data. This approach is sufficiently general to cover correctness proofs in various implementation languages.

The US Department of Energy (DOE) uses sensitive or classified parts and material that must be protected and accounted for. The authors believe there is a need for an automated system that can help protect and monitor these parts and material. In response to this need Sandia National Laboratories (SNL) has developed a real-time personnel and material tracking system called PAMTRAK that has been installed at selected DOE facilities. PAMTRAK safeguards sensitive parts and material by tracking tags worn by personnel and by monitoring sensors attached to the parts or material. This paper describes the goals when designing PAMTRAK, the PAMTRAK system components, the current installations, and the benefits a site can expect when using PAMTRAK.

Planar, surface micromachined pressure sensors have been fabricated by an extension of the chemical-mechanical polishing (CMP) process. CMP eliminates many of the fabrication problems associated with the photolithography, dry etch, and metallization of non-planar devices. Furthermore, CMP adds additional design flexibility. The sensors are based upon deformable, silicon nitride diaphragms with polysilicon piezoresistors. Absolute pressure is detected by virtue of reference pressure cavities underneath the diaphragms. Process details are discussed and characteristics from many devices are presented.

Phosphorus diffusions are used in the fabrication process for nearly all crystalline-silicon (c-Si) photovoltaic solar cells to form the emitter of the solar cell. These phosphorous diffusions are also well known to have beneficial gettering benefits, i.e., deleterious metallic impurities are gettered from the bulk of the c-Si substrate into the phosphorous doped layer. In this study, we examined the effect of oxidations performed after the phosphorus diffusion. We were particularly interested in using the oxidation to passivate the surface of the phosphorus diffusion. Post-diffusion oxidations or moderate temperature steps in oxidizing ambients are also commonly found in commercial fabrication sequences of c-Si solar cells. we found that the bulk lifetime was degraded in Czochralski (Cz) silicon due to the post-diffusion oxidation unless there was a gettering agent present during the oxidation. Possible explanations for these results are presented at the end of the paper.

The dehydrogenation of propane and isobutane was studied in hydrogen permselective packed bed membrane reactors and conventional packed bed reactors. Two different types of developmental membranes were investigated: sol-gel derived silica-based membranes and a pure palladium thin film supported by a porous ceramic substrate. The palladium membranes deactivated and eventually failed when exposed to both isobutane and propane dehydrogenation temperatures above 773 K. Moderate improvements in propylene and isobutylene yields were obtained with the silica-based membrane reactors. An isobutylene yield of 48 mole percent was obtained at a liquid hourly space velocity (LHSV) of 1.8 and temperature of 798 K compared to a yield of 39 percent in a conventional reactor operated with the same flow rate. Similar improvements in propylene yield were obtained when the silica-based membranes were tested in propane dehydrogenation experiments. There was no significant difference in the reaction selectivities for the desired olefin products when the membrane and conventional reactors were operated with the scone LHSV However, for a constant value of the olefin yield, the membrane reactors had a higher reaction selectivity since the desired yield was achieved at a higher LHSV where there was less time for side products to form. Catalyst deactivation rates were generally greater in the membrane reactors, especially when the reactors were operated with high hydrogen removal rates at temperatures of 773 K and above.

GaAs Junction Field Effect Transistors (JFETs) have attracted renewed attention for low-power, low-voltage electronics. JFETs have a significant advantage over MESFETs for low-power operation due to their higher gate barrier to current flow resulting from p/n junction gate. This paper reports recent advances in an all ion implanted self-aligned GaAs JFET with a gate length down to 0.3 {mu}m. By employing shallopw SiF implants next to the gate, dielectric sidewall spacers, and 50 keV source and drain implants, JFETs with a f{sub t} up to 49 GHz with good pinchoff and subthreshold characteristics have been realized. In addition, the JFET benefits from the use of shallow Zn or Cd implantation to form abrupt p{sup +}/n gate profiles.

Deep etching of GaAs is a critical process step required for many device applications including fabrication of through-substrate via holes for monolithic microwave integrated circuits (MMICs). Use of high-density plasmas, including inductively coupled plasmas (ICP), offers an alternative approach to etching vias as compared to more conventional parallel plate reactive ion etch systems. This paper reports ICP etching of GaAs vias at etch rates of about 5.3 {mu}m/min with via profiles ranging from highly anistropic to conical.

In this study, 33 different conversion coatings were applied to 5 different Al alloy substrates. Salt spray exposure testing and EIS (electrochemical impedance spectroscopy) were conducted for comparison. A relation was developed.

With the demonstration of implant doping of GaN and the resulting need to perform the activation anneal at 1100 C, details of thermal stability of the GaN surface needs to be understood. This work reports on the use of a sputtered AlN encapsulant to preserve the surface of GaN during such annealing. The surface was characterized by formation of Pt/Au Schottky contacts and by AES. Schottky contacts deposited an GaN annealed wtih the AlN encapsulant displayed good rectification properties while those formed on GaN annealed uncapped approached ohmic behavior. AES analysis supports the hypothesis that the uncapped sample has lost N from the very near surface which creates N-vacancies that act as donors and thereby form an n{sup +}-surface layer.

This paper presents design, analysis, and first results of the high brightness electron beam experiments currently under investigation at Sandia. Anticipated beam parameters are: energy 12 MeV, current 35-40 kA, rms radius 0.5 mm, pulse duration 40 ns FWHM. The accelerator is SABRE, a pulsed LIVA modified to higher impedance, and the electron source is a magnetically immersed foilless electron diode. 20 to 30 Tesla solenoidal magnets are required to insulate the diode and contain the beam to its extremely small sized (1 mm) envelope. These experiments are designed to push the technology to produce the highest possible electron current in a submillimeter radius beam. Design, numercial simulations, and first experimental results are presented.

Development of a complementary heterostructure field effect transistor (CHFET) technology for low-power, mixed-mode digital-microwave applications is presented. Digital CHFET technology with independently optimizable transistors has been shown to operate with 319 ps loaded gate delays at 8.9 fJ. Power consumption is dominated by leakage currents of the p-channel FET, while performance is determined by the characteristics of 0.7 {mu}m gate length devices. As a microwave technology, the nJFET forms the basis of low-power cirucitry without any modification to the digital process. Narrow band amplification with a 0.7x100 {mu}m nJFET has been demonstrated at 2.1-2.4 GHz with gains of 8-10 dB at 1 mW power. These amplifiers showed a minimum noise figure of 2.5 dB. Next generation CHFET transistors with sub 0.5 {mu}m gate lengths have also been developed. Cutoff frequencies of 49 and 11.5 GHz were achieved for n- and p-channel FETs with 0.3 and 0.4 {mu}m gates, respectively. These FETs will enable enhancements in both digital and microwave circuits.

Extracting information from unstructured text has become an important research area in recent years due to the large amount of text now electronically available. This status report describes the findings and work done during the second year of a two-year Laboratory Directed Research and Development Project. Building on the first-year`s work of identifying important entities, this report details techniques used to group words into semantic categories and to output templates containing selective document content. Using word profiles and category clustering derived during a training run, the time-consuming knowledge-building task can be avoided. Though the output still lacks in completeness when compared to systems with domain-specific knowledge bases, the results do look promising. The two approaches are compatible and could complement each other within the same system. Domain-independent approaches retain appeal as a system that adapts and learns will soon outpace a system with any amount of a priori knowledge.

This paper provides an overview of the history and process of establishing a cooperative research and development agreement (CRADA) between Sandia National Laboratories and Magnavox Electronic Systems Company for the design, development, and testing of a 360-degree scanning, imaging, intrusion detection sensor. The subject of the CRADA is the Advanced Exterior Sensor (AES). It is intended for exterior use at ranges from 50 to 1,500 meters and uses a combination of three sensing technologies (infrared, visible, and radar) and a new data processing method to provide low false-alarm intrusion detection and tracking combined with immediate visual assessment. The establishment of this CRADA represents a new paradigm in the cooperation between the Department of Defense, the Department of Energy, the National Laboratories and Private Industry. Although a formal document has now been executed, a CRADA is, nonetheless, primarily an agreement to work with each other to achieve goals that might otherwise be unattainable.

In this paper, the authors explore the feasibility of using the distributed Bragg reflector, grown on the substrate for a VCSEL (Vertical Cavity Surface Emitting Laser), to provide waveguiding within the substrate. This waveguiding could serve as an interconnection among VCSELs in an array. Before determining the feasibility of waveguide interconnected VCSELs, two analysis methods are presented and evaluated for their applicability to this problem. The implementations in Mathematica of both these methods are included. Results of the analysis show that waveguiding in VCSEL structures is feasible. Some of the many possible uses of waveguide interconnected VCSELs are also briefly discussed. The tools and analysis presented in this report can be used to evaluate such system concepts and to do detailed design calculations.

This is the final report of a one-year, Laboratory-Directed Research and Development (LDRD) project at the Los Alamos National Laboratory (LANL). If a beam-chopping system could be developed for the Los Alamos Meson Physics Facility low-energy beam line, there would be potential to operate the Los Alamos Neutron Scattering Center (LANSCE) at much higher power and duty factor and enable such operation with a radio-frequency quadrapole (RFQ) injector. This would greatly extend the capability of the facility. To accommodate LANSCE operation in the new configuration, a chopped beam must be created in the low-energy transport line before the RFQ. Chopping in this region has never been demonstrated and constitutes the major uncertainty of the proposal and determines the critical path for project completion. This study produces a better understanding of the physics involved in chopping an H-beam in a dilute plasma background, and in transporting a chopped H-beam through a neutralized or partially neutralized plasma channel, as well as an estimate for the optimum neutralization strategy for the beam chopping and transport between the ion source and the RFQ.

This 1995 report contains data from routine radiological and non-radiological environmental monitoring activities. Summaries of significant environmental compliance programs in progress, such as National Environmental Policy Act documentation, environmental permits, environmental restoration and various waste management programs at Sandia National Laboratories in Albuquerque, New Mexico, are included.

DOE installations possessing sufficient quantities of fissile material to potentially constitute a critical mass, such that the excessive exposure of personnel to radiation from a nuclear accident is possible, are required to provide nuclear accident dosimetry services. This document describes the personal nuclear accident dosimeter (PNAD) used by SNL and prescribes methodologies to initially screen, and to process PNAD results. In addition, this report describes PNAD dosimetry results obtained during the Nuclear Accident Dosimeter Intercomparison Study (NAD23), held during 12-16 June 1995, at Los Alamos National Laboratories. Biases for reported neutron doses ranged from -6% to +36% with an average bias of +12%.

Ten commercial MgO powders were evaluated for their suitability to act as a binder in the separator of thermal batteries to immobilize the electrolyte when it is molten. One brand in particular, Maglite S from Calgon, outperformed all the others. This report describes the results of a characterization study of this MgO as well as similar materials from other commercial vendors. The study objective was to define the critical properties of Maglite S MgO that are responsible for its superior performance in thermal-battery separators. Separator mixes were prepared with the various MgO powders and the resulting powders and pellets were characterized, to correlate key physical properties of these materials to select physical and chemical properties of the MgO powders used in their preparation. The MgO pore-size distribution was the only parameter that could be related to the deformation and electrolyte-leakage behavior of separator pellets. A potential replacement for the Maglite S is currently being qualified, since Maglite S MgO is no longer available.

This report summarizes the environmental surveillance activities conducted by Sandia National Laboratories. Sandia National Laboratories` responsibility for environmental surveillance results extends to those activities performed by Sandia National Laboratories or under its direction. Results from other organizations environmental surveillance activities are included to provide a measure of completeness. Other environmental compliance programs such as the National Environmental Policy Act of 1969, environmental permits, and environmental restoration and waste management programs are also included in this report, prepared for the U.S. Department of Energy (DOE) in compliance with DOE Order 5400.1.

Capillary barriers consisting of tilted fine-over-coarse layers have been suggested as landfill covers as a means to divert water infiltration away from sensitive underground regions under unsaturated flow conditions, especially for arid and semi-arid regions. Typically, the HELP code is used to evaluate landfill cover performance and design. Unfortunately, due to its simplified treatment of unsaturated flow and its essentially one-dimensional nature, HELP is not adequate to treat the complex multidimensional unsaturated flow processes occurring in a tilted capillary barrier. In order to develop the necessary mechanistic code for the performance evaluation of tilted capillary barriers, an efficient and comprehensive unsaturated flow code needs to be selected for further use and modification. The present study evaluates a number of candidate mechanistic unsaturated flow codes for application to tilted capillary barriers. Factors considered included unsaturated flow modeling, inclusion of evapotranspiration, nodalization flexibility, ease of modification, and numerical efficiency. A number of unsaturated flow codes are available for use with different features and assumptions. The codes chosen for this evaluation are TOUGH2, FEHM, and SWMS{_}2D. All three codes chosen for this evaluation successfully simulated the capillary barrier problem chosen for the code comparison, although FEHM used a reduced grid. The numerical results are a strong function of the numerical weighting scheme. For the same weighting scheme, similar results were obtained from the various codes. Based on the CPU time of the various codes and the code capabilities, the TOUGH2 code has been selected as the appropriate code for tilted capillary barrier performance evaluation, possibly in conjunction with the infiltration, runoff, and evapotranspiration models of HELP. 44 refs.

An oblique penetration modeling procedure is evaluated by correlation with onboard acceleration data from a series of six penetration tests into Antelope Dry Lake soil at Tonopah Test Range, Nevada. The modeling represents both the loading which is coupled to the penetrator bending and the penetrator structure including connections between the major subsections. Model results show reasonable agreement with the data which validates the modeling procedure within a modest uncertainty related to accelerometer clipping and rattling of the telemetry package. The experimental and analytical results provide design guidance for the location and lateral restraint of components to reduce their shock environment.

CHEM{_}MACCS has been developed from the radiological accident consequence code, MACCS, to perform probabilistic calculations of potential off-site consequences of the accidental atmospheric release of hazardous chemicals. The principal phenomena considered in CHEM{_}MACCS are atmospheric transport, mitigative actions based on dose projection, dose accumulation by a number of pathways, and early and latent health effects. CHEM{_}MACCS provides the following capabilities: (1) statistical weather sampling data (8,760 hourly data points per year), (2) population dose and health effect risk calculations based on site-specific population data, (3) health effects calculations including the consideration of potential site specific mitigative actions (evacuation and shielding), and (4) modeling of multiple release segments. Three different sample problems are contained in this report to show how to use CHEM{_}MACCS. Three test problems are run to compare CHEM{_}MACCS and D2PC. The doses versus the downwind centerline distances from the source for the given doses are in very close agreement.

An autonomous gas chromatograph system was designed and built to support the Thermal Enhanced Vapor Extraction System (TEVES) demonstration. TEVES is a remediation demonstration that seeks to enhance an existing technology (vacuum extraction) by adding a new technology (soil heating). A pilot scale unit was set up at one of the organic waste disposal pits at the Sandia National Laboratories Chemical Waste Landfill (CWL) in Tech Area 3. The responsibility for engineering a major part of the process instrumentation for TEVES belonged to the Manufacturing Control Subsystems Department. The primary mission of the one-of-a-kind hardware/software system is to perform on-site gas sampling and analysis to quantify a variety of volatile organic compounds (VOCs) from various sources during TEVES operations. The secondary mission is to monitor a variety of TEVES process physical parameters such as extraction manifold temperature, pressure, humidity, and flow rate, and various subsurface pressures. The system began operation in September 1994 and was still in use on follow-on projects when this report was published.