Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Guarded”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 253 records · Page 14
All sourcesNASA NTRSDOE OSTI
NASA NTRS2004

Secure, Mobile, Wireless Network Technology Designed, Developed, and Demonstrated

The inability to seamlessly disseminate data securely over a high-integrity, wireless broadband network has been identified as a primary technical barrier to providing an order-of-magnitude increase in aviation capacity and safety. Secure, autonomous communications to and from aircraft will enable advanced, automated, data-intensive air traffic management concepts, increase National Air Space (NAS) capacity, and potentially reduce the overall cost of air travel operations. For the first time ever, secure, mobile, network technology was designed, developed, and demonstrated with state-ofthe- art protocols and applications by a diverse, cooperative Government-industry team led by the NASA Glenn Research Center. This revolutionary technology solution will make fundamentally new airplane system capabilities possible by enabling secure, seamless network connections from platforms in motion (e.g., cars, ships, aircraft, and satellites) to existing terrestrial systems without the need for manual reconfiguration. Called Mobile Router, the new technology autonomously connects and configures networks as they traverse from one operating theater to another. The Mobile Router demonstration aboard the Neah Bay, a U.S. Coast Guard vessel stationed in Cleveland, Ohio, accomplished secure, seamless interoperability of mobile network systems across multiple domains without manual system reconfiguration. The Neah Bay was chosen because of its low cost and communications mission similarity to low-Earth-orbiting satellite platforms. This technology was successfully advanced from technology readiness level (TRL) 2 (concept and/or application formation) to TRL 6 (system model or prototype demonstration in a relevant environment). The secure, seamless interoperability offered by the Mobile Router and encryption device will enable several new, vehicle-specific and systemwide technologies to perform such things as remote, autonomous aircraft performance monitoring and early detection and mitigation of potential equipment malfunctions. As an additional benefit, team advancements were incorporated into open standards, ensuring technology transfer. Low-cost, commercial products incorporating the new technology are already available. Furthermore, these products are fully interoperable with legacy network technology equipment currently being used throughout the world.

Ivancic, William D.↗
NASA NTRS2006

Evaluation Of Risk And Possible Mitigation Schemes For Previously Unidentified Hazards

This report presents the results of arc track testing conducted to determine if such a transfer of power to un-energized wires is possible and/or likely during an arcing event, and to evaluate an array of protection schemes that may significantly reduce the possibility of such a transfer. The results of these experiments may be useful for determining the level of protection necessary to guard against spurious voltage and current being applied to safety critical circuits. It was not the purpose of these experiments to determine the probability of the initiation of an arc track event only if an initiation did occur could it cause the undesired event: an inadvertent thruster firing. The primary wire insulation used in the Orbiter is aromatic polyimide, or Kapton , a construction known to arc track under certain conditions [3]. Previous Boeing testing has shown that arc tracks can initiate in aromatic polyimide insulated 28 volts direct current (VDC) power circuits using more realistic techniques such as chafing with an aluminum blade (simulating the corner of an avionics box or lip of a wire tray), or vibration of an aluminum plate against a wire bundle [4]. Therefore, an arc initiation technique was chosen that provided a reliable and consistent technique of starting the arc and not a realistic simulation of a scenario on the vehicle. Once an arc is initiated, the current, power and propagation characteristics of the arc depend on the power source, wire gauge and insulation type, circuit protection and series resistance rather than type of initiation. The initiation method employed for these tests was applying an oil and graphite mixture to the ends of a powered twisted pair wire. The flight configuration of the heater circuits, the fuel/oxider (or ox) wire, and the RCS jet solenoid were modeled in the test configuration so that the behavior of these components during an arcing event could be studied. To determine if coil activation would occur with various protection wire schemes, 145 tests were conducted using various fuel/ox wire alternatives (shielded and unshielded) and/or different combinations of polytetrafuloroethylene (PTFE), Mystik tape and convoluted wraps to prevent unwanted coil activation. Test results were evaluated along with other pertinent data and information to develop a mitigation strategy for an inadvertent RCS firing. The SSP evaluated civilian aircraft wiring failures to search for aging trends in assessing the wire-short hazard. Appendix 2 applies Weibull statistical methods to the same data with a similar purpose.

Linzey, William↗
NASA NTRS2005

GPS World, Innovation: Autonomous Navigation at High Earth Orbits

Calculating a spacecraft's precise location at high orbital altitudes-22,000 miles (35,800 km) and beyond-is an important and challenging problem. New and exciting opportunities become possible if satellites are able to autonomously determine their own orbits. First, the repetitive task of periodically collecting range measurements from terrestrial antennas to high altitude spacecraft becomes less important-this lessens competition for control facilities and saves money by reducing operational costs. Also, autonomous navigation at high orbital altitudes introduces the possibility of autonomous station keeping. For example, if a geostationary satellite begins to drift outside of its designated slot it can make orbit adjustments without requiring commands from the ground. Finally, precise onboard orbit determination opens the door to satellites flying in formation-an emerging concept for many scientific space applications. The realization of these benefits is not a trivial task. While the navigation signals broadcast by GPS satellites are well suited for orbit and attitude determination at lower altitudes, acquiring and using these signals at geostationary (GEO) and highly elliptical orbits is much more difficult. The light blue trace describes the GPS orbit at approximately 12,550 miles (20,200 km) altitude. GPS satellites were designed to provide navigation signals to terrestrial users-consequently the antenna array points directly toward the earth. GEO and HE0 orbits, however, are well above the operational GPS constellation, making signal reception at these altitudes more challenging. The nominal beamwidth of a Block II/IIA GPS satellite antenna array is approximately 42.6 degrees. At GEO and HE0 altitudes, most of these primary beam transmissions are blocked by the Earth, leaving only a narrow region of nominal signal visibility near opposing limbs of the earth. This region is highlighted in gray. If GPS receivers at GEO and HE0 orbits were designed to use these higher power signals only, precise orbit determination would not be practical. Fortunately, the GPS satellite antenna array also produces side lobe signals at much lower power levels. NASA has designed and tested the Navigator, a new GPS receiver that can acquire and track these weaker signals, thereby dramatically increasing the signal visibility at these altitudes. While using much weaker signals is a fundamental requirement for a high orbital altitude GPS receiver, it is certainly not the only challenge. There are other unique characteristics of this application that must also be considered. For example, Position Dilution of Precision (PDOP) figures are much higher at GEO and HE0 altitudes because visible GPS satellites are concentrated in a much smaller area with respect to the spacecraft antenna. These poor PDOP values contribute considerable error to the point solutions calculated by the spacecraft GPS receiver. Finally, spacecraft GPS receivers must be designed to withstand a variety of extreme environmental conditions. Variations in acceleration between launch and booster separation are extreme. Temperature gradients in the space environment are also severe. Furthermore, radiation effects are a major concern-spacecraft-borne GPS receivers must be designed with radiation-hardened electronics to guard against this phenomenon, otherwise they simply will not work. Perhaps most importantly, there are no opportunities to repair or modify any space-borne GPS receiver after it has been launched. Great care must be taken to ensure all performance characteristics have been analyzed prior to liftoff.

Bamford, William↗
NASA NTRS2006

Oceanic Low Blows Hitting Ice Sheets Where It Hurts

The recent acceleration, thinning and retreat of large outlet glaciers in both Antarctica and Greenland is altering the mass balance of these two large ice sheets and increasing their contribution to rising sea level. In this short Perspective solicited by Science for a special March 24th issue on sea level change, I argue that the cause of these bihemispheric changes is that warmer water has gained access to the undersides of these glaciers where they come afloat from the continent. This process is particularly effective at accelerating glaciers because the beds of the large outlet glaciers are well below sea level (1000 meters or more) but "guarded" downstream by a shallow moraine formed when the glacier was more advanced. Once warmer water can breach this moraine, it sinks in the colder, fresh water behind the moraine and reaches the submarine front of the glacier. The pressure melting effect lowers the melting point of this deep ice allowing the warmer water to melt ice at rates of many tens of meters per year. This melting reduces . the frictional hold of the bed on the ice, allowing the ice to accelerate in agreement with the observations, Hansen has discussed the likelihood that approximately half of the Earth's radiation imbalance is manifesting in warmer ocean waters and Levitus et al. have seen warming in ocean temperature measurements at mid and low latitudes. The behavior of these outlet glaciers indicates this ocean warmth is reaching polar waters. The prognosis is for a continuation of this process, more negative ice sheet mass balances and increased rates of sea level rise.

Bindschadler, Robert↗
NASA NTRS2006

The Suzaku High Resolution X-ray Spectrometer

The high resolution X-Ray Spectrometer (XRS) has been designed to provide the Suzaku Observatory with very high spectral resolution, non-dispersive spectroscopy from 0.3 to 12 keV. This energy range encompasses the most diagnostically-rich part of the x-ray band. The sensor consists of a 32 channel array of x-ray of microcalorimeters, each with an energy resolution of about 6 eV. The very low temperature required for operation of the array (60 mK) is provided by a four-stage cooling system containing a single stage ADR, superfluid He Cryostat, solid Ne Dewar, and a single-stage Stirling-cycle cooler. The Suzaku/XRS is the first orbiting x-ray microcalorimeter spectrometer and has been designed to last more than three years in orbit. The early verification phase of the mission demonstrated that the instrument was working properly and that the cryogen consumption rate was low enough to ensure a mission lifetime exceeding 3 years. However, the liquid He cryogen was completely vaporized two weeks after opening the dewar guard vacuum vent. The problem has been traced to inadequate venting of the dewar He and Ne gases out of the spacecraft into space. In this paper we present the design of the XRS instrument and describe the in-flight performance.

Kelley, Richard L.↗
NASA NTRS1978

Intruder Detector

The shadowy prowler is attempting a break-in, unaware that his presence has already been detected and reported by the device in the lower left corner of the photo. It is part of a three-element ntruder Detecti on System developed by NASA's Ames Research Center from technology acquired in the Apollo lunar exploration program. Apollo astronauts left behind on the moon small portable seismic (shock) detectors to record subsurface vibrations and transmit to Earth data on the moon's density and thickness. A similar seismic detector is the key component of the lntruder Detection System. Encased in a stainless steel tube, the detector is implanted in the ground outside the facility being protected-home, bank, industrial or other facilities. The vibration-sensing detector picks up the footstep of anyone within a preset range. The detector is connected by cable to the transmitter, which relays the warning to a portable radio receiver. The radio alerts plant guards or home occupants by emitting an audible tone burst for each footstep.

Source record↗
NASA NTRS1977

Personal Alarm System

Trouble in the classroom is an unpleasant fact of modern life. Space technology can't stop the trouble from occurring, but it can prevent it from spreading. In recognition of this, NASA and the Sacramento, Cal. Unified School District developed a personal security system based on space telemetry technology. The first application was for schools, but the simplicity and reliability of the system has made it more widely applicable. The heart of the system is an ultrasonic pen-size transmitter. It can be used by prison guards, teachers, or others such as the handicapped and the elderly.

Source record↗
NASA NTRS1985

Trace water sensor

A solid electrolytic type hygrometer is described, which operates with high reliability while providing rapid and sensitive response. A gold foil electrode (16) is wrapped about a hollow glass cylinder (18), a sheet (12) of hygroscopic-electrolytic material is wrapped about the foil, and a wire (14) is wound around the outside of the electrolytic sheet. Moisture passing between wire turns can be absorbed by the electrolytic material (12), and then dissociated by current passed by the electrodes (14, 16) through the electrolytic material. The cylinder has a slit (20) extending along its length, to allow resilient expansion to press the sheet of electrolytic material firmly against the electrodes. The wire turns lie against one another to cause rapid dissociation of moisture throughout the electrolytic material. Additional guard wires (42,44, FIG. 2) lie at opposite ends of the electrolytic sheet, and currents pass through them to avoid moisture buildup at the ends of the main wire coil. The electrical current through the sheet or membrane is proportional to the partial pressure of the water-vapor.

Stephens, James B.↗
NASA NTRS2006

Eastern European Science Needs Sweeping Changes

Sir - Two years ago your Editorial "Eastern Promise" (vol. 426, p.369, 2003) and the News Feature "Dreaming on Danube" (vol. 427, p.94-95,2004) as well as several subsequent correspondence letters (vol. 427, pp. 196 and 677, vol. 428, p.17) touched on the situation and potential growth in scientific research in the former Soviet block countries. I would like to revisit this topic. Right now the facts are sobering: while the average GNP per capita in those countries is a few times lower than the average for the rest of Europe, their average university ranking is another order of magnitude poorer (in the latest ARWU, of the first 123 European universities only 4, and that in the second half of the list only, are from the former Soviet block). That situation calls for drastic measures. Pumping extra money into the system would change little. The only real hope is in a new generation of young dynamic scientists setting the pace for academic life. That requires selection and promotion of the best of the best. Unfortunately much of the old guard, who is not up to scientific challenges of today and who attained their positions and influence under the old regime (often due to other than professional qualifications) resist any real changes. I believe that a major change for better could be achieved by implementation into law two key requirements: transparency and competitiveness. That means a transparency of every scientist achievements (particularly in terms of publications), and wide open and fair competition for academic positions. Those two conditions should be complemented by implementation of the position of academic ombudsman (to encourage/facilitate open discussions), special grant opportunities for young scientists, and transparency of the process of awarding research grants. I, as well as a number of my colleagues concerned with the future of science and higher education in Poland, discussing many important academic issues at the Independent Academic Forum (an Association with a non-commercial website, http://www.naukaedukacia. tubaza.pl/, with tens of thousands of visits last year), strongly believe that the above postulated changes in the academic environment would lead to a major improvement in the quality and standing of scientific research and higher education in Poland and other post-communist countries (which suffer similar problems). It is symptomatic that the voice of at least hundreds of the most active and usually younger scientists heard at our NFA forum is totally ignored by the old establishment and their decision making representatives who "know better". Major political and legislative decisions are called for. We are doing our best to press for such changes.

Palosz, Witold↗
NASA NTRS2008

An Overview of Starfish: A Table-Centric Tool for Interactive Synthesis

Engineering is an interactive process that requires intelligent interaction at many levels. My thesis [1] advances an engineering discipline for high-level synthesis and architectural decomposition that integrates perspicuous representation, designer interaction, and mathematical rigor. Starfish, the software prototype for the design method, implements a table-centric transformation system for reorganizing control-dominated system expressions into high-level architectures. Based on the digital design derivation (DDD) system a designer-guided synthesis technique that applies correctness preserving transformations to synchronous data flow specifications expressed as co- recursive stream equations Starfish enhances user interaction and extends the reachable design space by incorporating four innovations: behavior tables, serialization tables, data refinement, and operator retiming. Behavior tables express systems of co-recursive stream equations as a table of guarded signal updates. Developers and users of the DDD system used manually constructed behavior tables to help them decide which transformations to apply and how to specify them. These design exercises produced several formally constructed hardware implementations: the FM9001 microprocessor, an SECD machine for evaluating LISP, and the SchemEngine, garbage collected machine for interpreting a byte-code representation of compiled Scheme programs. Bose and Tuna, two of DDD s developers, have subsequently commercialized the design derivation methodology at Derivation Systems, Inc. (DSI). DSI has formally derived and validated PCI bus interfaces and a Java byte-code processor; they further executed a contract to prototype SPIDER-NASA's ultra-reliable communications bus. To date, most derivations from DDD and DRS have targeted hardware due to its synchronous design paradigm. However, Starfish expressions are independent of the synchronization mechanism; there is no commitment to hardware or globally broadcast clocks. Though software back-ends for design derivation are limited to the DDD stream-interpreter, targeting synchronous or real-time software is not substantively different from targeting hardware.

Tsow, Alex↗
NASA NTRS2005

Primary Disaster Field Office (DFO), Lufkin, Texas

On February 1, 2003, the Space Shuttle Columbia broke apart during atmospheric re-entry on mission STS-107; the complexity of such an event cannot be underestimated. The Lufkin Disaster Field Office (DFO) served as the primary DFO for all operations, including staging assets and deploying field teams for search, recovery and security. There were many organizations that had operational experience with disaster recovery. Offers to help came from many groups including the White House Liaison Office, the Department of Defense (DOD), branches of local, state and federal government, the Federal Bureau of Investigation (FBI), the Federal Emergency Management Agency (FEMA), the Environmental Protection Agency (EPA), state police, fire departments, the Texas Forestry Service, the Texas Army National Guard, medical groups, various rescue forces, contractor companies, the Salvation Army, local businesses, and citizens of our country and especially East Texas. The challenge was to know how much help to accept and how to efficiently incorporate their valuable assistance into a comprehensive and cohesive operational plan. There were more than 2,000 people involved with search and recovery.

Wetherbee, James D.↗
NASA NTRS2008

Nano-Multiplication-Region Avalanche Photodiodes and Arrays

Nano-multiplication-region avalanche photodiodes (NAPDs), and imaging arrays of NAPDs integrated with complementary metal oxide/semiconductor (CMOS) active-pixel-sensor integrated circuitry, are being developed for applications in which there are requirements for high-sensitivity (including photoncounting) detection and imaging at wavelengths from about 250 to 950 nm. With respect to sensitivity and to such other characteristics as speed, geometric array format, radiation hardness, power demand of associated circuitry, size, weight, and robustness, NAPDs and arrays thereof are expected to be superior to prior photodetectors and arrays including CMOS active-pixel sensors (APSs), charge-coupled devices (CCDs), traditional APDs, and microchannelplate/ CCD combinations. Figure 1 depicts a conceptual NAPD array, integrated with APS circuitry, fabricated on a thick silicon-on-insulator wafer (SOI). Figure 2 presents selected aspects of the structure of a typical single pixel, which would include a metal oxide/semiconductor field-effect transistor (MOSFET) integrated with the NAPD. The NAPDs would reside in silicon islands formed on the buried oxide (BOX) layer of the SOI wafer. The silicon islands would be surrounded by oxide-filled insulation trenches, which, together with the BOX layer, would constitute an oxide embedding structure. There would be two kinds of silicon islands: NAPD islands for the NAPDs and MOSFET islands for in-pixel and global CMOS circuits. Typically, the silicon islands would be made between 5 and 10 m thick, but, if necessary, the thickness could be chosen outside this range. The side walls of the silicon islands would be heavily doped with electron-acceptor impurities (p+-doped) to form anodes for the photodiodes and guard layers for the MOSFETs. A nanoscale reach-through structure at the front (top in the figures) central position of each NAPD island would contain the APD multiplication region. Typically, the reach-through structure would be about 0.1 microns in diameter and between 0.3 and 0.4 nm high. The top layer in the reach-through structure would be heavily doped with electron-donor impurities (n+-doped) to make it act as a cathode. A layer beneath the cathode, between 0.1 and 0.2 nm thick, would be p-doped to a concentration .10(exp 17)cu cm. A thin n+-doped polysilicon pad would be formed on the top of the cathode to protect the cathode against erosion during a metal-silicon alloying step that would be part of the process of fabricating the array.

Zheng, Xinyu↗
NASA NTRS2009

Pneumatic Haptic Interfaces

An instrumentation system for direct measurement of the thermal conductivity of a small sample of a highly insulating material has been devised. As used here, (1) "small" signifies having dimensions of the order of two centimeters - significantly less than the sizes of specimens for which prior devices for direct measurement of thermal conductivity have been designed; and (2) "highly insulating" signifies having thermal conductivity of the order of that of air. The heart of the system is an assembly that includes two copper disks - one electrically heated, the other cooled with chilled water. The disks are separated by a guard ring made of strong, thermally insulating polymethacrylamide foam. The sample fits between the copper disks and within the ring (see figure). Matched thermocouples are used to measure the temperatures of the heated and cooled disks. The heated and cooled disks are affixed to larger foam disks, and the essentially still air in the gap between the larger disks insulates the sides of the specimen. This air gap region can be further divided by extending the foam ring into the gap region. The entire assembly as described thus far is lightly clamped together by means of nylon threaded rods and is placed inside a cylindrical chamber wherein the temperature is maintained at a set value (typically, 25 C).

Bae, Sam Y.↗
NASA NTRS2009

NASA Tech Briefs, July 2009

Topics covered include: Dual Cryogenic Capacitive Density Sensor; Hail Monitor Sensor; Miniature Six-Axis Load Sensor for Robotic Fingertip; Improved Blackbody Temperature Sensors for a Vacuum Furnace; Wrap-Around Out-the-Window Sensor Fusion System; Wide-Range Temperature Sensors with High-Level Pulse Train Output; Terminal Descent Sensor Simulation; A Robust Mechanical Sensing System for Unmanned Sea Surface Vehicles; Additive for Low-Temperature Operation of Li-(CF)n Cells; Li/CFx Cells Optimized for Low-Temperature Operation; Number Codes Readable by Magnetic-Field-Response Recorders; Determining Locations by Use of Networks of Passive Beacons; Superconducting Hot-Electron Submillimeter-Wave Detector; Large-Aperture Membrane Active Phased-Array Antennas; Optical Injection Locking of a VCSEL in an OEO; Measuring Multiple Resistances Using Single-Point Excitation; Improved-Bandwidth Transimpedance Amplifier; Inter-Symbol Guard Time for Synchronizing Optical PPM; Novel Materials Containing Single-Wall Carbon Nanotubes Wrapped in Polymer Molecules; Light-Curing Adhesive Repair Tapes; Thin-Film Solid Oxide Fuel Cells; Zinc Alloys for the Fabrication of Semiconductor Devices; Small, Lightweight, Collapsible Glove Box; Radial Halbach Magnetic Bearings; Aerial Deployment and Inflation System for Mars Helium Balloons; Steel Primer Chamber Assemblies for Dual Initiated Pyrovalves; Voice Coil Percussive Mechanism Concept for Hammer Drill; Inherently Ducted Propfans and Bi-Props; Silicon Nanowire Growth at Chosen Positions and Orientations; Detecting Airborne Mercury by Use of Gold Nanowires; Detecting Airborne Mercury by Use of Palladium Chloride; Micro Electron MicroProbe and Sample Analyzer; Nanowire Electron Scattering Spectroscopy; Electron-Spin Filters Would Offer Spin Polarization Greater than 1; Subcritical-Water Extraction of Organics from Solid Matrices; A Model for Predicting Thermoelectric Properties of Bi2Te3; Integrated Miniature Arrays of Optical Biomolecule Detectors; A Software Rejuvenation Framework for Distributed Computing; Kurtosis Approach to Solution of a Nonlinear ICA Problem; Robust Software Architecture for Robots; R4SA for Controlling Robots; Bio-Inspired Neural Model for Learning Dynamic Models; Evolutionary Computing Methods for Spectral Retrieval; Monitoring Disasters by Use of Instrumented Robotic Aircraft; Complexity for Survival of Living Systems; Using Drained Spacecraft Propellant Tanks for Habitation; Connecting Node; and Electrolytes for Low-Temperature Operation of Li-CFx Cells.

Source record↗
NASA NTRS2009

Formal methods for modeling and analysis of hybrid systems

A technique based on the use of a quantifier elimination decision procedure for real closed fields and simple theorem proving to construct a series of successively finer qualitative abstractions of hybrid automata is taught. The resulting abstractions are always discrete transition systems which can then be used by any traditional analysis tool. The constructed abstractions are conservative and can be used to establish safety properties of the original system. The technique works on linear and non-linear polynomial hybrid systems: the guards on discrete transitions and the continuous flows in all modes can be specified using arbitrary polynomial expressions over the continuous variables. An exemplar tool in the SAL environment built over the theorem prover PVS is detailed. The technique scales well to large and complex hybrid systems.

Tiwari, Ashish↗
NASA NTRS2010

Insulation-Testing Cryostat With Lifting Mechanism

The figure depicts selected aspects of an apparatus for testing thermal-insulation materials for cryogenic systems at temperatures and under vacuum or atmospheric conditions representative of those encountered in use. This apparatus, called "Cryostat-100," is based on the established cryogen-boil-off calorimeter method, according to which the amount of heat that passes through an insulation specimen to a cryogenic fluid in a container, and thus the effective thermal conductance of the specimen, is taken to be proportional to the amount of the cryogenic fluid that boils off from the container. The design of Cryostat-100 is based partly on, and incorporates improvements over, the design of a similar prior apparatus called "Cryostat-1" described in "Improved Methods of Testing Cryogenic Insulation Materials" (KSC-12107 & KSC- 12108), NASA Tech Briefs, Vol. 24, No. 12 (December 2000), page 46. The design of Cryostat-100 also incorporates the best features of two other similar prior apparatuses called "Cryostat-2" (also described in the cited prior article) and "Cryostat- 4." Notable among the improvements in Cryostat-100 is the addition of a lifting mechanism that enables safe, rapid, reliable insertion and removal of insulation specimens and facilitates maintenance operations that involve lifting. As in Cryostat-1, the cold mass is a vertical stainless-steel cylindrical vessel subdivided into a larger measurement vessel with smaller thermal-guard vessels at both ends. During operation, all three vessels are kept filled with liquid nitrogen near saturation at ambient pressure (temperature .77.4 K). The cold mass of Cryostat-100 has a length of 1 m and diameter of 168 mm. Each specimen has a corresponding nominal length and inner diameter and a nominal thickness of 25.4 mm. Specimens that are shorter and have thicknesses between 0 and 50 mm are also acceptable. Bulk-fill, foam, clam-shell, multilayer insulation, and layered materials can be tested over a very wide range of thermal transmission: apparent thermal conductivity from 0.01 to 60 mW/m-K and heat flux from 0.1 to 500 W/sq m. A test in Cryostat-100 can be conducted at any desired gas pressure between ambient atmospheric pressure at one extreme and a vacuum with residual pressure <10(exp -5) torr (<1.33 10(exp -3) Pa) at the other extreme. The residual gas (and purge gas) is typically nitrogen, but can be any suitable purge gas (e.g., helium, argon, or carbon dioxide). Usually, the temperature on the warm boundary of the insulation specimen is maintained near the ambient value (approximately 293 K), while the boiling of liquid nitrogen at atmospheric pressure in the cold mass maintains the temperature on the cold boundary of the specimen at approximately 77 K.

Fesmire, James↗
NASA NTRS2010

Electrical Capacitance Volume Tomography with High-Contrast Dielectrics

The Electrical Capacitance Volume Tomography (ECVT) system has been designed to complement the tools created to sense the presence of water in nonconductive spacecraft materials, by helping to not only find the approximate location of moisture but also its quantity and depth. The ECVT system has been created for use with a new image reconstruction algorithm capable of imaging high-contrast dielectric distributions. Rather than relying solely on mutual capacitance readings as is done in traditional electrical capacitance tomography applications, this method reconstructs high-resolution images using only the self-capacitance measurements. The image reconstruction method assumes that the material under inspection consists of a binary dielectric distribution, with either a high relative dielectric value representing the water or a low dielectric value for the background material. By constraining the unknown dielectric material to one of two values, the inverse math problem that must be solved to generate the image is no longer ill-determined. The image resolution becomes limited only by the accuracy and resolution of the measurement circuitry. Images were reconstructed using this method with both synthetic and real data acquired using an aluminum structure inserted at different positions within the sensing region. The cuboid geometry of the system has two parallel planes of 16 conductors arranged in a 4 4 pattern. The electrode geometry consists of parallel planes of copper conductors, connected through custom-built switch electronics, to a commercially available capacitance to digital converter. The figure shows two 4 4 arrays of electrodes milled from square sections of copper-clad circuit-board material and mounted on two pieces of glass-filled plastic backing, which were cut to approximately square shapes, 10 cm on a side. Each electrode is placed on 2.0-cm centers. The parallel arrays were mounted with the electrode arrays approximately 3 cm apart. The open ends were surrounded by a metal guard to reduce the sensitivity of the electrodes to outside interference and to help maintain the spacing between the arrays. Other uses for this innovation potentially include quantifying the amount of commodity remaining in the fuel and oxidizer tanks while on-orbit without having to fire spacecraft engines. Another orbit application is moisture sensing in plant-growth experiments because microgravity causes moisture in soil to distribute itself in unusual ways. At the moment, the hardware and image reconstruction technique may only be of interest to people involved in nondestructive evaluation. The reconstructed image takes almost a full week to reproduce with existing computer power. However, because computer power and speeds follows Moore s Law, execution times are likely to become acceptable within the next five to eight years. The code was written in Mathematica for dedicated use with the ECVT system. In its present form, it is not suitable to be used directly as a consumer product. However, the code could be likely improved by rewriting it in a compiled language such as C or Fortran.

Nurge, Mark↗
NASA NTRS2010

A Prototype Embedding of Bluespec System Verilog in the PVS Theorem Prover

Bluespec SystemVerilog (BSV) is a Hardware Description Language based on the guarded action model of concurrency. It has an elegant semantics, which makes it well suited for formal reasoning. To date, a number of BSV designs have been verified with hand proofs, but little work has been conducted on the application of automated reasoning. We present a prototype shallow embedding of BSV in the PVS theorem prover. Our embedding is compatible with the PVS model checker, which can automatically prove an important class of theorems, and can also be used in conjunction with the powerful proof strategies of PVS to verify a broader class of properties than can be achieved with model checking alone.

Richards, Dominic↗