Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Touch”

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 847 records · Page 47

Interfacing with USSTRATCOM and UTTR during Stardust Earth Return

The Stardust Sample Return Capsule separated from the main spacecraft four hours prior to atmospheric entry. Between this time and the time at which the SRC touched down at the Utah Test and Training Range, two organizations external to JPL were involved in tracking the Sample Return Capsule. Orbit determination for the Stardust spacecraft during deep space cruise, the encounters of asteroid Annefrank and comet Wild 2, and the final approach to Earth used X-band radio metric Doppler and range data obtained through the Deep Space Network. The SRC lacked the electronics needed for coherently transponded radio metric tracking, so the DSN was not able to track the SRC after it separated from the main spacecraft. Although the expected delivery accuracy at atmospheric entry was well within the capability needed to target the SRC to the desired ground location, it was still desirable to obtain direct knowledge of the SRC trajectory in case of anomalies. For this reason U.S. Strategic Command was engaged to track the SRC between separation and atmospheric entry. Once the SRC entered the atmosphere, ground sensors at UTTR were tasked to acquire the descending SRC and maintain track during the descent in order to determine the landing location, to which the ground recovery team was then directed. This paper discusses organizational interfaces, data products, and delivery schedules, and the actual tracking operations are described.

Utah Test and Training Range (UTTR)↗

Particle-Charge Spectrometer

An instrument for rapidly measuring the electric charges and sizes (from approximately 1 to approximately 100 micrometers) of airborne particles is undergoing development. Conceived for monitoring atmospheric dust particles on Mars, instruments like this one could also be used on Earth to monitor natural and artificial aerosols in diverse indoor and outdoor settings for example, volcanic regions, clean rooms, powder-processing machinery, and spray-coating facilities. The instrument incorporates a commercially available, low-noise, ultrasensitive charge-sensing preamplifier circuit. The input terminal of this circuit--the gate of a field-effect transistor--is connected to a Faraday-cage cylindrical electrode. The charged particles of interest are suspended in air or other suitable gas that is made to flow along the axis of the cylindrical electrode without touching the electrode. The flow can be channeled and generated by any of several alternative means; in the prototype of this instrument, the gas is drawn along a glass capillary tube (see upper part of figure) coaxial with the electrode. The size of a particle affects its rate of acceleration in the flow and thus affects the timing and shape of the corresponding signal peak generated by the charge-sensing amplifier. The charge affects the magnitude (and thus also the shape) of the signal peak. Thus, the signal peak (see figure) conveys information on both the size and electric charge of a sensed particle. In experiments thus far, the instrument has been found to be capable of measuring individual aerosol particle charges of magnitude greater than 350 e (where e is the fundamental unit of electric charge) with a precision of +/- 150 e. The instrument can sample particles at a rate as high as several thousand per second.

Fuerstenau, Stephen↗

Space-Dynamically Responding Ultrasonic Matrix System

Space-Dynamically Responding Ultrasonic Matrix System (SpaceDRUMS) comprises a suite of hardware that enables containerless processing (samples of experimental materials can be processed without ever touching a container wall). Using a collection of 20 acoustic beam emitters, SpaceDRUMS can completely suspend a baseball-sized solid or liquid sample during combustion or heat-based synthesis. Because the samples never contact the container walls, materials can be produced in microgravity with an unparalleled quality of shape and composition. The ultimate goal of the SpaceDRUMS hardware is to assist with the development of advanced materials of a commercial quantity and quality, using the space-based experiments to guide development of manufacturing processes on Earth. T

Guigne, Jacques↗

Objectives and Progress on Ground Vibration Testing for the Ares Launch Vehicles

NASA has conducted dynamic tests on each of its major launch vehicles during the past 45 years. Each test has provided invaluable data to correlate and correct analytical models used to predict structural responses to differing dynamics for these vehicles. With both Saturn V and Space Shuttle, hardware changes were also required to the flight vehicles to ensure crew and vehicle safety. The Ares I IVGVT will undoubtedly provide similar valuable test data to support successful flights of the Constellation Program. The IVGVT will provide test determined natural frequencies, mode shapes and damping for the Ares I. This data will be used to support controls analysis by providing this test data to reduce uncertainty in the models. The value of this testing has been proven by past launch vehicle successes and failures. Performing dynamic testing on the Ares vehicles will provide confidence that the launch vehicles will be safe and successful in their missions. In addition, IVGVT will provide the following benefits for the Ares rockets: a) IVGVT data along with Ares development flights like Ares I-X, Ares I-Y, Ares I-X Prime, and Orion-1 or others will reduce the risk to the Orion-2 crew. IVGVT will permit anchoring the various analytical and operational models used in so many different aspects of Ares operations. b) IVGVT data will permit better understanding of the structural and GN&C margins of the spacecraft and may permit mass savings or expanded day-of-launch opportunities or fewer constraints to launch. c) Undoubtedly IVGVT will uncover some of the "unknown unknowns" so often seen in developing, launching, and flying new spacecraft vehicles and data from IVGVT may help prevent a loss of vehicle or crew. d) IVGVT also will be the first time Ares I flight-like hardware is transported, handled, rotated, mated, stacked, and integrated. e) Furthermore, handling and stacking the IVGVT launch vehicle stacks will be an opportunity to understand certain aspects of vehicle operability much better (for example, handling procedures, touch-labor time to accomplish tasks, access at interfaces, access to stage mating bolts, access to avionics boxes, access to the Interstage, GSE functionality, and many other important aspects of Ares I operability). All of these results will provide for better vehicle safety and better stewardship of national resources as NASA begins its next phase of human space exploration.

Tuma, Margaret L.↗

Deployable Wireless Camera Penetrators

A lightweight, low-power camera dart has been designed and tested for context imaging of sampling sites and ground surveys from an aerobot or an orbiting spacecraft in a microgravity environment. The camera penetrators also can be used to image any line-of-sight surface, such as cliff walls, that is difficult to access. Tethered cameras to inspect the surfaces of planetary bodies use both power and signal transmission lines to operate. A tether adds the possibility of inadvertently anchoring the aerobot, and requires some form of station-keeping capability of the aerobot if extended examination time is required. The new camera penetrators are deployed without a tether, weigh less than 30 grams, and are disposable. They are designed to drop from any altitude with the boost in transmitting power currently demonstrated at approximately 100-m line-of-sight. The penetrators also can be deployed to monitor lander or rover operations from a distance, and can be used for surface surveys or for context information gathering from a touch-and-go sampling site. Thanks to wireless operation, the complexity of the sampling or survey mechanisms may be reduced. The penetrators may be battery powered for short-duration missions, or have solar panels for longer or intermittent duration missions. The imaging device is embedded in the penetrator, which is dropped or projected at the surface of a study site at 90 to the surface. Mirrors can be used in the design to image the ground or the horizon. Some of the camera features were tested using commercial "nanny" or "spy" camera components with the charge-coupled device (CCD) looking at a direction parallel to the ground. Figure 1 shows components of one camera that weighs less than 8 g and occupies a volume of 11 cm3. This camera could transmit a standard television signal, including sound, up to 100 m. Figure 2 shows the CAD models of a version of the penetrator. A low-volume array of such penetrator cameras could be deployed from an aerobot or a spacecraft onto a comet or asteroid. A system of 20 of these penetrators could be designed and built in a 1- to 2-kg mass envelope. Possible future modifications of the camera penetrators, such as the addition of a chemical spray device, would allow the study of simple chemical reactions of reagents sprayed at the landing site and looking at the color changes. Zoom lenses also could be added for future use.

Badescu, Mircea↗

Aerobot Autonomy Architecture

An architecture for autonomous operation of an aerobot (i.e., a robotic blimp) to be used in scientific exploration of planets and moons in the Solar system with an atmosphere (such as Titan and Venus) is undergoing development. This architecture is also applicable to autonomous airships that could be flown in the terrestrial atmosphere for scientific exploration, military reconnaissance and surveillance, and as radio-communication relay stations in disaster areas. The architecture was conceived to satisfy requirements to perform the following functions: a) Vehicle safing, that is, ensuring the integrity of the aerobot during its entire mission, including during extended communication blackouts. b) Accurate and robust autonomous flight control during operation in diverse modes, including launch, deployment of scientific instruments, long traverses, hovering or station-keeping, and maneuvers for touch-and-go surface sampling. c) Mapping and self-localization in the absence of a global positioning system. d) Advanced recognition of hazards and targets in conjunction with tracking of, and visual servoing toward, targets, all to enable the aerobot to detect and avoid atmospheric and topographic hazards and to identify, home in on, and hover over predefined terrain features or other targets of scientific interest. The architecture is an integrated combination of systems for accurate and robust vehicle and flight trajectory control; estimation of the state of the aerobot; perception-based detection and avoidance of hazards; monitoring of the integrity and functionality ("health") of the aerobot; reflexive safing actions; multi-modal localization and mapping; autonomous planning and execution of scientific observations; and long-range planning and monitoring of the mission of the aerobot. The prototype JPL aerobot (see figure) has been tested extensively in various areas in the California Mojave desert.

Elfes, Alberto↗

Patterning of Indium Tin Oxide Films

A relatively rapid, economical process has been devised for patterning a thin film of indium tin oxide (ITO) that has been deposited on a polyester film. ITO is a transparent, electrically conductive substance made from a mixture of indium oxide and tin oxide that is commonly used in touch panels, liquid-crystal and plasma display devices, gas sensors, and solar photovoltaic panels. In a typical application, the ITO film must be patterned to form electrodes, current collectors, and the like. Heretofore it has been common practice to pattern an ITO film by means of either a laser ablation process or a photolithography/etching process. The laser ablation process includes the use of expensive equipment to precisely position and focus a laser. The photolithography/etching process is time-consuming. The present process is a variant of the direct toner process an inexpensive but often highly effective process for patterning conductors for printed circuits. Relative to a conventional photolithography/ etching process, this process is simpler, takes less time, and is less expensive. This process involves equipment that costs less than $500 (at 2005 prices) and enables patterning of an ITO film in a process time of less than about a half hour.

Immer, Christopher↗

Particle Ejection and Levitation Technology (PELT)

Each of the six Apollo landers touched down at unique sites on the lunar surface. Aside from the Apollo 12 landing site located 180 meters from the Surveyor III lander, plume impingement effects on ground hardware during the landings were not a problem. The planned return to the Moon requires numerous landings at the same site. Since the top few centimeters of lunar soil are loosely packed regolith, plume impingement from the lander will eject the granular material at high velocities. A picture shows what the astronauts viewed from the window of the Apollo 14 lander. There was tremendous dust excavation beneath the vehicle. With high-vacuum conditions on the Moon (10 (exp -14) to 10 (exp -12) torr), motion of all particles is completely ballistic. Estimates derived from damage to Surveyor III caused by the Apollo 12 lander show that the speed of the ejected regolith particles varies from 100 m/s to 2,000 m/s. It is imperative to understand the physics of plume impingement to safely design landing sites for future Moon missions. Aerospace scientists and engineers have examined and analyzed images from Apollo video extensively in an effort to determine the theoretical effects of rocket exhaust impingement. KSC has joined the University of Central Florida (UCF) to develop an instrument that will measure the 3-D vector of dust flow caused by plume impingement during descent of landers. The data collected from the instrument will augment the theoretical studies and analysis of the Apollo videos.

Source record↗

Science Missions Enabled by the Ares V

NASA's planned heavy-lift Ares V rocket is a centerpiece of U.S. Space Exploration Policy. With approximately 30% more capacity to Trans-Lunar Injection (TLI) than the Saturn V, Ares V could also enable additional science and exploration missions currently unachievable or extremely unworkable under current launch vehicle architectures. During the spring and summer of 2008, NASA held two workshops dedicated to the discussion of these new mission concepts for the Ares V rocket. The first workshop dealt with astronomy and astrophysics, and the second dealt primarily with planetary science and exploration, but did touch on Earth science and heliophysics. We present here the summary results and outcomes of these meetings, including a discussion of specific mission concepts and ideas, as well as suggestions on design for the Ares V fairing and flight configurations that improve science return.

Worden, Simon Peter↗

NASA Tech Briefs, September 2009

opics covered include: Filtering Water by Use of Ultrasonically Vibrated Nanotubes; Computer Code for Nanostructure Simulation; Functionalizing CNTs for Making Epoxy/CNT Composites; Improvements in Production of Single-Walled Carbon Nanotubes; Progress Toward Sequestering Carbon Nanotubes in PmPV; Two-Stage Variable Sample-Rate Conversion System; Estimating Transmitted-Signal Phase Variations for Uplink Array Antennas; Board Saver for Use with Developmental FPGAs; Circuit for Driving Piezoelectric Transducers; Digital Synchronizer without Metastability; Compact, Low-Overhead, MIL-STD-1553B Controller; Parallel-Processing CMOS Circuitry for M-QAM and 8PSK TCM; Differential InP HEMT MMIC Amplifiers Embedded in Waveguides; Improved Aerogel Vacuum Thermal Insulation; Fluoroester Co-Solvents for Low-Temperature Li+ Cells; Using Volcanic Ash to Remove Dissolved Uranium and Lead; High-Efficiency Artificial Photosynthesis Using a Novel Alkaline Membrane Cell; Silicon Wafer-Scale Substrate for Microshutters and Detector Arrays; Micro-Horn Arrays for Ultrasonic Impedance Matching; Improved Controller for a Three-Axis Piezoelectric Stage; Nano-Pervaporation Membrane with Heat Exchanger Generates Medical-Grade Water; Micro-Organ Devices; Nonlinear Thermal Compensators for WGM Resonators; Dynamic Self-Locking of an OEO Containing a VCSEL; Internal Water Vapor Photoacoustic Calibration; Mid-Infrared Reflectance Imaging of Thermal-Barrier Coatings; Improving the Visible and Infrared Contrast Ratio of Microshutter Arrays; Improved Scanners for Microscopic Hyperspectral Imaging; Rate-Compatible LDPC Codes with Linear Minimum Distance; PrimeSupplier Cross-Program Impact Analysis and Supplier Stability Indicator Simulation Model; Integrated Planning for Telepresence With Time Delays; Minimizing Input-to-Output Latency in Virtual Environment; Battery Cell Voltage Sensing and Balancing Using Addressable Transformers; Gaussian and Lognormal Models of Hurricane Gust Factors; Simulation of Attitude and Trajectory Dynamics and Control of Multiple Spacecraft; Integrated Modeling of Spacecraft Touch-and-Go Sampling; Spacecraft Station-Keeping Trajectory and Mission Design Tools; Efficient Model-Based Diagnosis Engine; and DSN Simulator.

Source record↗

Tiny Devices Project Sharp, Colorful Images

Displaytech Inc., based in Longmont, Colorado and recently acquired by Micron Technology Inc. of Boise, Idaho, first received a Small Business Innovation Research contract in 1993 from Johnson Space Center to develop tiny, electronic, color displays, called microdisplays. Displaytech has since sold over 20 million microdisplays and was ranked one of the fastest growing technology companies by Deloitte and Touche in 2005. Customers currently incorporate the microdisplays in tiny pico-projectors, which weigh only a few ounces and attach to media players, cell phones, and other devices. The projectors can convert a digital image from the typical postage stamp size into a bright, clear, four-foot projection. The company believes sales of this type of pico-projector may exceed $1.1 billion within 5 years.

Source record↗

Apollo-Era Life Rafts Save Hundreds of Sailors

The space shuttle is unique among spacecraft in that it glides back to Earth and lands like an airplane, usually touching ground near where it launched at Kennedy Space Center, but sometimes, in poor weather, gliding into the back-up landing site at Dryden Flight Research Center and then catching a ride back to the Cape on the back of a modified Boeing 747. Before NASA began flying the shuttle, though, astronauts had a longer, more involved trip back to base after a mission. Their capsule, called the command module, would plunge through the atmosphere before releasing a series of parachutes that would slow the craft enough for it to land on the water without too significant of an impact. Called a splashdown, this type of landing put the astronauts out in the ocean, where a specially designated U.S. Navy ship would then deploy a helicopter to retrieve the space travelers. Waiting for the rescue, the astronauts would release a highly visible marker dye into the water, then leave the command module and climb aboard a life raft. These early space pioneers had traveled thousands of miles and then landed safely back on Earth. The journey s end was in sight, but they had one more obstacle. The rotor downdraft from the helicopter coming to retrieve them, reaching sometimes as much as 100 knots per hour, was enough to flip a typical flat-bottomed life raft. Not willing to be thwarted after coming so far, NASA engineers began devising a solution. They knew they needed a highly stable inflatable raft capable of riding out the rough winds, and the solution was to make use of the most abundant resource available: water. Engineers at NASA s Johnson Space Center went to work designing and patenting a hydrodynamically stabilized ballast system that would prevent a life raft from tipping in choppy seas and fierce winds.

Source record↗

Telemetry Boards Interpret Rocket, Airplane Engine Data

For all the data gathered by the space shuttle while in orbit, NASA engineers are just as concerned about the information it generates on the ground. From the moment the shuttle s wheels touch the runway to the break of its electrical umbilical cord at 0.4 seconds before its next launch, sensors feed streams of data about the status of the vehicle and its various systems to Kennedy Space Center s shuttle crews. Even while the shuttle orbiter is refitted in Kennedy s orbiter processing facility, engineers constantly monitor everything from power levels to the testing of the mechanical arm in the orbiter s payload bay. On the launch pad and up until liftoff, the Launch Control Center, attached to the large Vehicle Assembly Building, screens all of the shuttle s vital data. (Once the shuttle clears its launch tower, this responsibility shifts to Mission Control at Johnson Space Center, with Kennedy in a backup role.) Ground systems for satellite launches also generate significant amounts of data. At Cape Canaveral Air Force Station, across the Banana River from Kennedy s location on Merritt Island, Florida, NASA rockets carrying precious satellite payloads into space flood the Launch Vehicle Data Center with sensor information on temperature, speed, trajectory, and vibration. The remote measurement and transmission of systems data called telemetry is essential to ensuring the safe and successful launch of the Agency s space missions. When a launch is unsuccessful, as it was for this year s Orbiting Carbon Observatory satellite, telemetry data also provides valuable clues as to what went wrong and how to remedy any problems for future attempts. All of this information is streamed from sensors in the form of binary code: strings of ones and zeros. One small company has partnered with NASA to provide technology that renders raw telemetry data intelligible not only for Agency engineers, but also for those in the private sector.

Source record↗

Improved High-Voltage Gas Isolator for Ion Thruster

A report describes an improved high-voltage isolator for preventing electrical discharge along the flow path of a propellant gas being fed from a supply at a spacecraft chassis electrical potential to an ion thruster at a potential as high as multiple kilovolts. The isolator must survive launch vibration and must remain electrically nonconductive for thousands of hours under conditions that, in the absence of proper design, would cause formation of electrically conductive sputtered metal, carbon, and/or decomposed hydrocarbons on its surfaces. The isolator includes an alumina cylinder containing a spiral channel filled with a porous medium made from alumina microbeads fired together with an alumina slurry. Connections to gas-transport tubes are made at both ends of the alumina cylinder by means of metal caps containing fine-mesh screens to prevent passage of loose alumina particles. The outer surface of the alumina cylinder is convoluted to lengthen the electrical path between the metal caps and to afford shadow shielding to minimize the probability of formation of a continuous deposit that would electrically connect the ends. A flanged cylindrical metal cap that surrounds the alumina cylinder without touching one of the ends provides additional shadow shielding.

Banks, Bruce↗

Gratings Fabricated on Flat Surfaces and Reproduced on Non-Flat Substrates

A method has been developed for fabricating gratings on flat substrates, and then reproducing the groove pattern on a curved (concave or convex) substrate and a corresponding grating device. First, surface relief diffraction grating grooves are formed on flat substrates. For example, they may be fabricated using photolithography and reactive ion etching, maskless lithography, holography, or mechanical ruling. Then, an imprint of the grating is made on a deformable substrate, such as plastic, polymer, or other materials using thermoforming, hot or cold embossing, or other methods. Interim stamps using electroforming, or other methods, may be produced for the imprinting process or if the same polarity of the grating image is required. The imprinted, deformable substrate is then attached to a curved, rigid substrate using epoxy or other suitable adhesives. The imprinted surface is facing away from the curved rigid substrate. As an alternative fabrication method, after grating is imprinted on the deformable substrate as described above, the grating may be coated with thin conformal conductive layer (for example, using vacuum deposition of gold). Then the membrane may be mounted over an opening in a pressured vessel in a manner of a membrane on a drum, grating side out. The pressure inside of the vessel may be changed with respect to the ambient pressure to produce concave or convex membrane surface. The shape of the opening may control the type of the surface curvature (for example, a circular opening would create spherical surface, oval opening would create toroidal surface, etc.). After that, well-known electroforming methods may be used to create a replica of the grating on the concave or convex membrane. For example, the pressure vessel assembly may be submerged into an electro-forming solution and negative electric potential applied to the metal coated membrane using an insulated wire. Positive electric potential may be then applied to a nickel or other metal plate submerged into the same solution. Metal ions would transfer from the plate through the solution into the membrane, producing high fidelity metal replica of the grating on the membrane. In one variation, an adhesive may be deposited on the deformable substrate, and then cured without touching the rigid, curved substrate. Edges of the deformable substrate may be attached to the rigid substrate to ensure uniform deformation of the deformable substrate. The assembly may be performed in vacuum, and then taken out to atmospheric pressure conditions to ensure that no air is trapped between the deformable and rigid substrates. Alternatively, a rigid surface with complementary curvature to the rigid substrate may be used to ensure uniform adhesion of the deformable substrate to the rigid substrate. Liquid may be applied to the surface of the deformable substrate to uniformly distribute pressure across its surface during the curing or hardening of the adhesive, or the film may be pressed into the surface using a deformable object or surface. After the attachment is complete, the grooves may be coated with reflective or dielectric layers to improve diffraction efficiency.

Content, David↗

Human Research Program Space Human Factors Engineering (SHFE) Standing Review Panel (SRP)

The Space Human Factors Engineering (SHFE) Standing Review Panel (SRP) evaluated 22 gaps and 39 tasks in the three risk areas assigned to the SHFE Project. The area where tasks were best designed to close the gaps and the fewest gaps were left out was the Risk of Reduced Safety and Efficiency dire to Inadequate Design of Vehicle, Environment, Tools or Equipment. The areas where there were more issues with gaps and tasks, including poor or inadequate fit of tasks to gaps and missing gaps, were Risk of Errors due to Poor Task Design and Risk of Error due to Inadequate Information. One risk, the Risk of Errors due to Inappropriate Levels of Trust in Automation, should be added. If astronauts trust automation too much in areas where it should not be trusted, but rather tempered with human judgment and decision making, they will incur errors. Conversely, if they do not trust automation when it should be trusted, as in cases where it can sense aspects of the environment such as radiation levels or distances in space, they will also incur errors. This will be a larger risk when astronauts are less able to rely on human mission control experts and are out of touch, far away, and on their own. The SRP also identified 11 new gaps and five new tasks. Although the SRP had an extremely large quantity of reading material prior to and during the meeting, we still did not feel we had an overview of the activities and tasks the astronauts would be performing in exploration missions. Without a detailed task analysis and taxonomy of activities the humans would be engaged in, we felt it was impossible to know whether the gaps and tasks were really sufficient to insure human safety, performance, and comfort in the exploration missions. The SRP had difficulty evaluating many of the gaps and tasks that were not as quantitative as those related to concrete physical danger such as excessive noise and vibration. Often the research tasks for cognitive risks that accompany poor task or information design addressed only part, but not all, of the gaps they were programmed to fill. In fact the tasks outlined will not close the gap but only scratch the surface in many cases. In other cases, the gap was written too broadly, and really should be restated in a more constrained way that can be addressed by a well-organized and complementary set of tasks. In many cases, the research results should be turned into guidelines for design. However, it was not clear whether the researchers or another group would construct and deliver these guidelines.

Wichansky, Anna↗

Large Solar-Rejection Filter

NASA utilized Image Intensified Video Cameras for ATV data acquisition from a jet flying at 12.8 km. Afterwards the video was digitized and then analyzed with a modified commercial software package, Image Systems Trackeye. Astrometric results were limited by saturation, plate scale, and imposed linear plate solution based on field reference stars. Time-dependent fragment angular trajectories, velocities, accelerations, and luminosities were derived in each video segment. It was evident that individual fragments behave differently. Photometric accuracy was insufficient to confidently assess correlations between luminosity and fragment spatial behavior (velocity, deceleration). Use of high resolution digital video cameras in future should remedy this shortcoming. A scenically accurate description of matter interpreted as a substance made up of corpuscular constituents was established during the course of the 19th century. In this description, atoms--the building blocks of the matter--form molecules. The properties of the molecules were described by chemistry or thermodynamics depending on what characteristics of the matter were investigated. In both theories, the molecules can dissociate to atoms when the kinetic energies of the atoms exceed the strength of the chemical bonds. The number of atoms is always preserved in a closed system. This is not true, however, when the matter takes up much higher energies at relativistic scales. New particles can be produced at the expense of the kinetic energy. The number of particles is no longer preserved. There are other conserved quantities, however, these quantities, the charge, baryon number, lepton number, are associated with particles that are considered elementary today. The properties and behavior of these elementary particles is the subject of Particle Physics or High Energy Physics. Practice Page: A crewmember touching a positively charged surface was thought to be galvanically isolated from the vehicle ground analogous to a bird on a high voltage power wire. Recent analysis confirms that positive floating potentials, ionospheric currents to the EVA suit, can be hazardous. The analysis is wrong in that the ionospheric plasma itself can close the circuit. Parametric analysis of very low voltage exposures (2 to 15 volts) could cause pain and/or involuntary muscle tetani or spinal cord shock. NASA worked with the Naval Health Research Center Detachment Directed Energy Bioeffects Laboratory to examine the affects electrical hazards could have on extravehicular activity using two models. The results of the two computational models were combined to predict areas of the body in which neurons of different diameters would be excited. They predicted that physiologically active current could be conducted across the crew member causing catastrophic hazards. Future work to analyze additional current paths was proposed. The FUSE spectrum of BB Dor, observed in a high state, is modeled with an accretion disk with a very low inclination (possibly lower than 10 degrees). Assuming an average WD mass of 0.8 solar mass leads to a distance of the order of approximately 650pc, consistent with the extremely low galactic reddening in its direction, and a mass accretion rate of 10 (exp -9) solar mass a year. The spectrum presents some broad and deep silicon and sulfur absorption lines, indicating that these elements are over-abundant: silicon is 3 times solar, and sulfur is 20 times solar. The FUSE spectrum of BB Dor, observed in a high state, is modeled with an accretion disk with a very low inclination (possibly lower than 10 degrees). Assuming an average WD mass of 0.8 solar mass leads to a distance of the order of approximately 650pc, consistent with the extremely low galactic reddening in its direction, and a mass accretion rate of 10 (exp -9) solar mass a year. The spectrum presents some broad and deep silicon and sulfur absorption lines, indicating that these elements are over-abundant: silicon is times solar, and sulfur is 20 times solar. From its previously observed optical emission lines, P831-57 (WD 0334 6400 or Ret 1 in A Catalog and Atlas of Cataclysmic Variables: Living Edition) has been suspected to contain an accretion disk associated with a companion star in orbit around a subdwarf star with a temperature T is greater than 21,000K. P831-57 has therefore been classified as a nova-like. However, our present observations show it to be a DA + dMe binary. The analysis of its Far Ultraviolet Spectroscopic Explorer (FUSE) spectrum (continuum and lines) reveal an average mass white dwarf (Log(g) approximately equals 7.8 plus or minus 0.1)with a temperature T approximately equals 37,000 plus or minus 500K, an extremely low projected rotational velocity, and a distance of about 115 plus or minus 5pc. The photosphere contains C, N, Si, and S (at about 1% of solar abundances). The dMe star is seen as a flux excess in near-infrared photometry and appears to show occasional flaring of about one magnitude as seen in the Harvard plates. There is no evidence of periodic variability in the spectroscopic or photometric data. We find no evidence of a an accretion disk, instead we find evidence of wind accretion as the stellar carbon abundance (N(C)/N(H) = 2.5 x 10 (exp -6) is about ten times larger than predicted by radiative levitation for such a gravity and temperature. The power needs and solutions for the space exploration and lunar mobility program are discussed. Long term missions in space and on the lunar surface require high energy batteries. Rechargeable batteries for mobility systems and portable utility pallet are needed for successful exploration missions. Nanomaterial usage increases the energy density of the cells apart from increasing the power density. The symptoms and threats from acute mountain sickness (AMS) are discussed. The underlying assumptions concerning spacecraft atmosphere mean there is a potential risk to astronauts. The baseline worst case scenario is about 25% based on direct ascent to 8.0 psia with 32% O2. The practical mitigation approach is a staged depressurization scheme. Due to the uncertainty about potential AMS risk the flight surgeon should prepare, focused research should proceed, and current analytical efforts should continue. This slide presentation reviews the threat astronauts face from acute mountain sickness (AMS). The incidence of AMS is highly variable and the risk to astronauts is unclear. However, the potential risk is higher than current EAAs suggest and precautions should be implemented. Due to the uncertain nature of the risk flight surgeons should prepare, and focused research should proceed. Quasiparticle tunneling can be understood at low temperatures using a non-equilibrium kinetic theory. Low-temperature tunneling can be suppressed using existing techniques: island-lead gap engineering, lead cooling with SIN junctions, and quasiparticle traps. The slide presentation reviews the science goals and mission planning for the proposed Jupiter System Observer (JSO). The spacecraft would accommodate 9 instruments making the instrument payload more capable than any previously flown to Jupiter. The would-be mission includes study programs for Jupiter's satellites, interior, magnetosphere and atmosphere. The power needs and solutions for the space exploration and lunar mobility program are discussed. Long term missions in space and on the lunar surface require high energy batteries. Rechargeable batteries for mobility systems and portable utility pallet are needed for successful exploration missions. Nanomaterial usage increases the energy density of the cells apart from increasing the power density. This slide presentation reviews the power requirements for the space exploration and the lunar surface mobility programs. It includes information about the specifications for high energy batteries and the power requirements for lunar rovers,

Roberts, William↗

Decision Engines for Software Analysis Using Satisfiability Modulo Theories Solvers

The area of software analysis, testing and verification is now undergoing a revolution thanks to the use of automated and scalable support for logical methods. A well-recognized premise is that at the core of software analysis engines is invariably a component using logical formulas for describing states and transformations between system states. The process of using this information for discovering and checking program properties (including such important properties as safety and security) amounts to automatic theorem proving. In particular, theorem provers that directly support common software constructs offer a compelling basis. Such provers are commonly called satisfiability modulo theories (SMT) solvers. Z3 is a state-of-the-art SMT solver. It is developed at Microsoft Research. It can be used to check the satisfiability of logical formulas over one or more theories such as arithmetic, bit-vectors, lists, records and arrays. The talk describes some of the technology behind modern SMT solvers, including the solver Z3. Z3 is currently mainly targeted at solving problems that arise in software analysis and verification. It has been applied to various contexts, such as systems for dynamic symbolic simulation (Pex, SAGE, Vigilante), for program verification and extended static checking (Spec#/Boggie, VCC, HAVOC), for software model checking (Yogi, SLAM), model-based design (FORMULA), security protocol code (F7), program run-time analysis and invariant generation (VS3). We will describe how it integrates support for a variety of theories that arise naturally in the context of the applications. There are several new promising avenues and the talk will touch on some of these and the challenges related to SMT solvers. Proceedings

Bjorner, Nikolaj↗