Results for “Chemical security” — Page 2

NASA NTRS1978

Electric propulsion for communications satellites

Electric propulsion systems derive their low overall mass, relative to chemical propulsion systems, from an optimized mix of independently controlled power and mass flow rate. A significant reduction in mass can be secured by substituting electric propulsion for conventional hydrazine systems for all the major propulsion tasks of a communications satellite. Additional advantages for all electric propulsion maneuvers are precision location and higher pointing accuracy. Three auxiliary electric propulsion systems are now available for application on communications satellites: the electrically augmented hydrazine system, the Teflon pulsed plasma system, and the mercury ion thruster system. Primary electric propulsion will be available in the mid to late 1980s as a spin-off of NASA's program of interplanetary exploration.

Free, B. A.↗

NASA NTRS2006

Should We Enhance the Observing Systems or Improve Coordination Among the Operating Agencies: What is Needed the Most for Security--A Philosophical Discussion

As an integrated observing strategy, the concept of sensorweb for Earth observations is appealing in many aspects. For instance, by increasing the spatial and temporal coverage of observations from space and other vantage points, one can eventually aid in increasing the accuracy of the atmospheric models which are precursor to hurricane track prediction, volcanic eruption forecast, and trajectory path of transcontinental transport of dust, harmful nuclear and chemical plumes. In reality, there is little analysis available in terms of benefits, costs and optimized set of sensors needed to make these necessary observations. This is a complex problem that must be carefully studied and balanced over many boundaries such as science, defense, early warning, security, and surveillance. Simplistically, the sensorweb concept from the technological point of view alone has a great appeal in the defense, early warning and security applications. In fact, it can be relatively less expensive in per unit cost as opposed to building and deploying it for the scientific use. However, overall observing approach should not be singled out and aligned somewhat orthogonally to serve a particular need. On the other hand, the sensorweb should be designed and deployed to serve multiple subject areas and customers simultaneously; and can behave as directed measuring systems for both science and operational entities. Sensorweb can be designed to act as expert systems, and/or also provide a dedicated integrated surveillance network. Today, there is no system in the world that is fully integrated in terms of reporting timely multiple hazards warnings, computing the loss of life and property damage estimates, and is also designed to cater to everyone's needs. It is not an easier problem to undertake and more so is not practically solvable. At this time due to some recent events in the world, the scientific community, social scientists, and operational agencies are more cognizant and getting together to address such colossal problems. Increasing our knowledge of the home planet, via amplified set of observations, is certainly a right step in a right direction. Furthermore, this is a pre-requisite in understanding multiple hazard phenomenas. This paper examines various sensorweb options and observing architectures that can be useful specifically in addressing some of these complex issues. The ultimate goal is to serve the society by providing potential natural hazards information to the decision makers in the most expeditious manner so they can prepare themselves to mitigate potential risks to human life, livestock and property.

Habib, Shahid↗

NASA NTRS2009

Configuring a Graphical User Interface for Managing Local HYSPLIT Model Runs Through AWIPS

Responding to incidents involving the release of harmful airborne pollutants is a continual challenge for Weather Forecast Offices in the National Weather Service. When such incidents occur, current protocol recommends forecaster-initiated requests of NOAA's Hybrid Single-Particle Lagrangian Integrated Trajectory (HYSPLIT) model output through the National Centers of Environmental Prediction to obtain critical dispersion guidance. Individual requests are submitted manually through a secured web site, with desired multiple requests submitted in sequence, for the purpose of obtaining useful trajectory and concentration forecasts associated with the significant release of harmful chemical gases, radiation, wildfire smoke, etc., into local the atmosphere. To help manage the local HYSPLIT for both routine and emergency use, a graphical user interface was designed for operational efficiency. The interface allows forecasters to quickly determine the current HYSPLIT configuration for the list of predefined sites (e.g., fixed sites and floating sites), and to make any necessary adjustments to key parameters such as Input Model. Number of Forecast Hours, etc. When using the interface, forecasters will obtain desired output more confidently and without the danger of corrupting essential configuration files.

Wheeler, mark M.↗

NASA NTRS2006

Semiautonomous Avionics-and-Sensors System for a UAV

Unmanned Aerial Vehicles (UAVs) autonomous or remotely controlled pilotless aircraft have been recently thrust into the spotlight for military applications, for homeland security, and as test beds for research. In addition to these functions, there are many space applications in which lightweight, inexpensive, small UAVS can be used e.g., to determine the chemical composition and other qualities of the atmospheres of remote planets. Moreover, on Earth, such UAVs can be used to obtain information about weather in various regions; in particular, they can be used to analyze wide-band acoustic signals to aid in determining the complex dynamics of movement of hurricanes. The Advanced Sensors and Electronics group at Langley Research Center has developed an inexpensive, small, integrated avionics-and-sensors system to be installed in a UAV that serves two purposes. The first purpose is to provide flight data to an AI (Artificial Intelligence) controller as part of an autonomous flight-control system. The second purpose is to store data from a subsystem of distributed MEMS (microelectromechanical systems) sensors. Examples of these MEMS sensors include humidity, temperature, and acoustic sensors, plus chemical sensors for detecting various vapors and other gases in the environment. The critical sensors used for flight control are a differential- pressure sensor that is part of an apparatus for determining airspeed, an absolute-pressure sensor for determining altitude, three orthogonal accelerometers for determining tilt and acceleration, and three orthogonal angular-rate detectors (gyroscopes). By using these eight sensors, it is possible to determine the orientation, height, speed, and rates of roll, pitch, and yaw of the UAV. This avionics-and-sensors system is shown in the figure. During the last few years, there has been rapid growth and advancement in the technological disciplines of MEMS, of onboard artificial-intelligence systems, and of smaller, faster, and smarter wireless telemetry systems. The major attraction of MEMS lies in orders-of-magnitude reductions of power requirements relative to traditional electronic components that perform equivalent functions. In addition, the compactness of MEMS, relative to functionally equivalent traditional electronics systems, makes MEMS attractive for UAV applications. Recent advances in MEMS have made it possible to produce pressure, acceleration, humidity, and temperature sensors having masses in subgram range and possessing sensitivities and accuracies comparable to those of larger devices.

Shams, Qamar↗

NASA NTRS1991

Space Station Freedom environmental database system (FEDS) for MSFC testing

The Water Recovery Test (WRT) at Marshall Space Flight Center (MSFC) is the first demonstration of integrated water recovery systems for potable and hygiene water reuse as envisioned for Space Station Freedom (SSF). In order to satisfy the safety and health requirements placed on the SSF program and facilitate test data assessment, an extensive laboratory analysis database was established to provide a central archive and data retrieval function. The database is required to store analysis results for physical, chemical, and microbial parameters measured from water, air and surface samples collected at various locations throughout the test facility. The Oracle Relational Database Management System (RDBMS) was utilized to implement a secured on-line information system with the ECLSS WRT program as the foundation for this system. The database is supported on a VAX/VMS 8810 series mainframe and is accessible from the Marshall Information Network System (MINS). This paper summarizes the database requirements, system design, interfaces, and future enhancements.

Story, Gail S.↗

NASA NTRS1972

The Apollo 15 X-ray fluorescence experiment

The objectives of Apollo 15 X-ray fluorescence experiment were to obtain a partial chemical map of a large portion of the moon. Gamma ray and alpha particle experiments were also performed. Mapping information from approximately 150 deg east on the moon to about 50 deg west was secured. Secondary X-rays characteristic of silicon, aluminum, and magnesium were measured.

Adler, I.↗

NASA NTRS2013

Affordable Development and Qualification Strategy for Nuclear Thermal Propulsion

Nuclear Thermal Propulsion (NTP) is a concept which uses a nuclear reactor to heat a propellant to high temperatures without combustion and can achieve significantly greater specific impulse than chemical engines. NTP has been considered many times for human and cargo missions beyond low earth orbit. A lot of development and technical maturation of NTP components took place during the Rover/NERVA program of the 60's and early 70's. Other NTP programs and studies followed attempting to further mature the NTP concept and identify a champion customer willing to devote the funds and support the development schedule to a demonstration mission. Budgetary constraints require the use of an affordable development and qualification strategy that takes into account all the previous work performed on NTP to construct an existing database, and include lessons learned and past guidelines followed. Current guidelines and standards NASA uses for human rating chemical rocket engines is referenced. The long lead items for NTP development involve the fuel elements of the reactor and ground testing the engine system, subsystem, and components. Other considerations which greatly impact the development plans includes the National Space Policy, National Environmental Policy Act, Presidential Directive/National Security Council Memorandum #25 (Scientific or Technological Experiments with Possible Large-Scale Adverse Environmental Effects and Launch of Nuclear Systems into Space), and Safeguards and Security. Ground testing will utilize non-nuclear test capabilities to help down select components and subsystems before testing in a nuclear environment to save time and cost. Existing test facilities with minor modifications will be considered to the maximum extent practical. New facilities will be designed to meet minimum requirements. Engine and test facility requirements are based on the driving mission requirements with added factors of safety for better assurance and reliability. Emphasis will be placed on small engines, since the smaller the NTP engine, the easier it is to transport, assemble/disassemble, and filter the exhaust during tests. A new ground test concept using underground bore holes (modeled after the underground nuclear test program) to filter the NTP engine exhaust is being considered. The NTP engine system design, development, test, and evaluation plan includes many engine components and subsystems, which are very similar to those used in chemical engines, and can be developed in conjunction with them Other less mature NTP engine components and subsystems (e.g., reactor) will be thoroughly analyzed and tested to acceptable levels recommended by the referenced standards and guidelines. The affordable development strategy also considers a prototype flight test, as a final step in the development process. Preliminary development schedule estimates show that an aggressive development schedule (without much margin) will be required to be flight ready for a 2033 human mission to Mars.

Gerrish, Harold P., Jr.↗

NASA NTRS2013

Affordable Development and Qualification Strategy for Nuclear Thermal Propulsion

Nuclear Thermal Propulsion (NTP) is a concept which uses a nuclear reactor to heat a propellant to high temperatures without combustion and can achieve significantly greater specific impulse than chemical engines. NTP has been considered many times for human and cargo missions beyond low earth orbit. A lot of development and technical maturation of NTP components took place during the Rover/NERVA program of the 60's and early 70's. Other NTP programs and studies followed attempting to further mature the NTP concept and identify a champion customer willing to devote the funds and support the development schedule to a demonstration mission. Budgetary constraints require the use of an affordable development and qualification strategy that takes into account all the previous work performed on NTP to construct an existing database, and include lessons learned and past guidelines followed. Current guidelines and standards NASA uses for human rating chemical rocket engines is referenced. The long lead items for NTP development involve the fuel elements of the reactor and ground testing the engine system, subsystem, and components. Other considerations which greatly impact the development plans includes the National Space Policy, National Environmental Policy Act, Presidential Directive/National Security Council Memorandum #25 (Scientific or Technological Experiments with Possible Large-Scale Adverse Environmental Effects and Launch of Nuclear Systems into Space), and Safeguards and Security. Ground testing will utilize non-nuclear test capabilities to help down select components and subsystems before testing in a nuclear environment to save time and cost. Existing test facilities with minor modifications will be considered to the maximum extent practical. New facilities will be designed to meet minimum requirements. Engine and test facility requirements are based on the driving mission requirements with added factors of safety for better assurance and reliability. Emphasis will be placed on small engines, since the smaller the NTP engine, the easier it is to transport, assemble/disassemble, and filter the exhaust during tests. A new ground test concept using underground bore holes (modeled after the underground nuclear test program) to filter the NTP engine exhaust is being considered. The NTP engine system design, development, test, and evaluation plan includes many engine components and subsystems, which are very similar to those used in chemical engines, and can be developed in conjunction with them Other less mature NTP engine components and subsystems (e.g., reactor) will be thoroughly analyzed and tested to acceptable levels recommended by the referenced standards and guidelines. The affordable development strategy also considers a prototype flight test, as a final step in the development process. Preliminary development schedule estimates show that an aggressive development schedule (without much margin) will be required to be flight ready for a 2033 human mission to Mars.

Gerrish, Harold P., Jr.↗

NASA NTRS2017

Spectral Characterization of Analog Samples in Anticipation of OSIRIS-REx's Arrival at Bennu

NASA's Origins, Spectral Interpretation, Resource Identification, and Security-Regolith Explorer (OSIRIS-REx) mission successfully launched on September 8th, 2016. During its rendezvous with near-Earth asteroid (101955) Bennu beginning in 2018, OSIRIS-REx will characterize the asteroid's physical, mineralogical, and chemical properties in an effort to globally map the properties of Bennu, a primitive carbonaceous asteroid, and choose a sampling location [e.g. 1]. In preparation for these observations, we spectrally characterized a suite of analog samples across visible, near- and thermal-infrared wavelengths and used these in initial tests of phase detection and abundance determination software algorithms. Here we present the thermal infrared laboratory measurements of the analog sample suite measured under asteroidlike conditions, which are relevant to the interpretation of spectroscopic observations by the OSIRIS-REx Thermal Emission Spectrometer (OTES) [2, 3]. This suite of laboratory measurements of asteroid analogs under asteroid-like conditions is the first of their kind.

Donaldson Hanna, K. L.↗

NASA NTRS2017

Spectral Characterization of Analog Samples in Anticipation of OSIRIS-REx's Arrival at Bennu

NASA's Origins, Spectral Interpretation, Resource Identification, and Security-Regolith Explorer (OSIRIS-REx) mission successfully launched on September 8th, 2016. During its rendezvous with near-Earth asteroid (101955) Bennu beginning in 2018, OSIRIS-REx will characterize the asteroid's physical, mineralogical, and chemical properties in an effort to globally map the properties of Bennu, a primitive carbonaceous asteroid, and choose a sampling location]. In preparation for these observations, analog samples were spectrally characterized across visible, near- and thermal-infrared wavelengths and were used in initial tests on mineral-phase-detection and abundance-determination software algorithms.

Donaldson Hanna, K. L.↗

NASA NTRS1994

SLR 2000

SLR 2000 is a concept for a totally automated subcentimeter SLR system presently being studied at GSFC. If funding permits, a prototype would be installed and tested at the Goddard Geophysical and Astronomical Observatory (GCAO) in FY98 and a small number of automated stations would be fielded by the year 2000. Unlike present systems, the "SLR 2000" system is being designed to: 1) operate autonomously without the need for onsite operators; 2) present no hazards (i.e., optical, electrical, and/or chemical) to personnel in the vicinity or to overflying aircraft; and 3) have a mean time between failures (MTBF) of at least three months. It is assumed that the systems are located at "friendly" sites where some level of security is provided and where certain low level service functions (e.g. commercial power, communications, heat pump service cleaning, etc.) are available or can be contracted for locally on an as-needed basis. The main system consists of two parts - an optical head and electronics rack. The optical head contains the laser transmitter and power supply, transmit/receive switch, optical telescope, tracking angle sensor (intensified CCD camera), detector and power supply, two angular encoders, azimuth and elevation motors, and a protective dome. The optical head mounts directly to the top of a concrete pier which contains the geodetic monument and forms part of the environmental housing for the hardware and servicing personnel. It is equipped with electronic levels for leveling the mount and monitoring its stability.

Degnan, John J.↗

NASA NTRS2011

Dielectric Covered Planar Antennas at Submillimeter Wavelengths for Terahertz Imaging

Most optical systems require antennas with directive patterns. This means that the physical area of the antenna will be large in terms of the wavelength. When non-cooled systems are used, the losses of microstrip or coplanar waveguide lines impede the use of standard patch or slot antennas for a large number of elements in a phased array format. Traditionally, this problem has been solved by using silicon lenses. However, if an array of such highly directive antennas is to be used for imaging applications, the fabrication of many closely spaced lenses becomes a problem. Moreover, planar antennas are usually fed by microstrip or coplanar waveguides while the mixer or the detector elements (usually Schottky diodes) are coupled in a waveguide environment. The coupling between the antenna and the detector/ mixer can be a fabrication challenge in an imaging array at submillimeter wavelengths. Antennas excited by a waveguide (TE10) mode makes use of dielectric superlayers to increase the directivity. These antennas create a kind of Fabry- Perot cavity between the ground plane and the first layer of dielectric. In reality, the antenna operates as a leaky wave mode where a leaky wave pole propagates along the cavity while it radiates. Thanks to this pole, the directivity of a small antenna is considerably enhanced. The antenna consists of a waveguide feed, which can be coupled to a mixer or detector such as a Schottky diode via a standard probe design. The waveguide is loaded with a double-slot iris to perform an impedance match and to suppress undesired modes that can propagate on the cavity. On top of the slot there is an air cavity and on top, a small portion of a hemispherical lens. The fractional bandwidth of such antennas is around 10 percent, which is good enough for heterodyne imaging applications.The new geometry makes use of a silicon lens instead of dielectric quarter wavelength substrates. This design presents several advantages when used in the submillimeter-wave and terahertz bands: a) Antenna fabrication compatible with lithographic techniques. b) Much simpler fabrication of the lens. c) A simple quarter-wavelength matching layer of the lens will be more efficient if a smaller portion of the lens is used. d) The directivity is given by the lens diameter instead of the leaky pole (the bandwidth will not depend anymore on the directivity but just on the initial cavity). The feed is a standard waveguide, which is compatible with proven Schottky diode mixer/detector technologies. The development of such technology will benefit applications where submillimeter- wave heterodyne array designs are required. The main fields are national security, planetary exploration, and biomedicine. For national security, wideband submillimeter radars could be an effective tool for the standoff detection of hidden weapons or bombs concealed by clothing or packaging. In the field of planetary exploration, wideband submillimeter radars can be used as a spectrometer to detect trace concentrations of chemicals in atmospheres that are too cold to rely on thermal imaging techniques. In biomedicine, an imaging heterodyne system could be helpful in detecting skin diseases.

Chattopadhyay, Goutam↗

NASA NTRS2006

Applying Advanced and Existing Sensors in Dealing with Potential Natural Disasters

As an integrated observing strategy, the concept of sensorweb for Earth observations is appealing in many aspects. For instance, by increasing the spatial and temporal coverage of observations from space and other vantage points, one can eventually aid in increasing the accuracy of the atmospheric models which are precursor to hurricane track prediction, volcanic eruption forecast, and trajectory path of transcontinental transport of dust, harmful nuclear and chemical plumes. In reality, there is little analysis available in terms of benefits, costs and optimized set of sensors needed to make these necessary observations. This is a complex problem that must be carefully studied and balanced over many boundaries such as science, defense, early warning, security, and surveillance. Simplistically, the sensorweb concept from the technological point of view alone has a great appeal in the defense, early warning and security applications. In fact, it can be relatively less expensive in per unit cost as opposed to building and deploying it for the scientific use. However, overall observing approach should not be singled out and aligned somewhat orthogonally to serve a particular need. On the other hand, the sensorweb should be designed and deployed to serve multiple subject areas and customers simultaneously; and can behave as directed measuring systems for both science and operational entities. Sensorweb can be designed to act as expert systems, and/or also provide a dedicated integrated surveillance network. Today, there is no system in the world that is fully integrated in terms of reporting timely multiple hazards warnings, computing the loss of life and property damage estimates, and is also designed to cater to everyone s needs. It is not an easier problem to undertake and more so is not practically solvable. At this time due to some recent events in the world, the scientific community, social scientists, and operational agencies are more cognizant and getting together to address such colossal problems. Increasing our knowledge of the home planet, via amplified set of observations, is certainly a right step in a right direction. Furthermore, this is a prerequisite in understanding multiple hazard phenomena's. This paper examines various sensorweb options and observing architectures that can be useful specifically in addressing some of these complex issues. The ultimate goal is to serve the society by providing potential natural hazards information to the decision makers in the most expeditious manner so they can prepare themselves to mitigate potential risks to human life, livestock and property.

Habib, Shahid↗

NASA NTRS2006

Acquiring Comprehensive Observations using an Integrated Sensorweb for Early Warning

As an integrated observing strategy, the concept of sensorweb for Earth observations is appealing in many aspects. For instance, by increasing the spatial and temporal coverage of observations from space and other vantage points, one can eventually aid in increasing the accuracy of the atmospheric models which are precursor to hurricane track prediction, volcanic eruption forecast, and trajectory path of transcontinental transport of dust, harmful nuclear and chemical plumes. In reality, there is little analysis'available in terms of benefits, costs and optimized set of sensors needed to make these necessary observations. This is a complex problem that must be carefully studied and balanced over many boundaries such as science, defense, early warning security, and surveillance. Simplistically, the sensorweb concept from the technological point of view alone has a great appeal in the defense, early warning and security applications. In fact, it can be relatively less expensive in per unit cost as opposed to building and deploying it for the scientific use. However, overall observing approach should not be singled out and aligned somewhat . orthogonally to serve a particular need. On the other hand, the sensorweb should be designed and deployed to serve multiple subject areas and customers simultaneously; and can behave as directed measuring systems for both science and operational entities. Sensorweb can be designed to act as expert systems, and/or also provide a dedicated integrated surveillance network. Today, there is no system in the world that is fully integrated in terms of reporting timely multiple hazards warnings, computing the lass of life and property damage estimates, and is also designed to cater to everyone's needs. It is not an easier problem to undertake and more so is not practically solvable. At this time due to some recent events in the world, the scientific community, social scientists, and operational agencies are more cognizant and getting together to address such colossal problems. Increasing our knowledge of the home planet, via amplified set of observations, is certainly a right step in a right direction. Furthermore, this is a pre-requisite in understanding multiple hazard phenomena's. This paper examines various sensorweb options and observing architectures that can be useful specifically in addressing some of these complex issues. The ultimate goal is to serve the society by providing potential natural hazards information to the decision makers in the most expeditious manner so they can prepare themselves to mitigate potential risks to human life, livestock and property.

Habib, Shahid↗

NASA NTRS2006

Acquiring Comprehensive Observations using an integrated Sensorweb for Early Warning

As an integrated observing strategy, the concept of sensorweb for Earth observations is appealing in many aspects. For instance, by increasing the spatial and temporal coverage of observations from space and other vantage points, one can eventually aid in increasing the accuracy of the atmospheric models which are precursor to hurricane track prediction, volcanic eruption forecast, and trajectory path of transcontinental transport of dust, harmful nuclear and chemical plumes. In reality, there is little analysis'available in terms of benefits, costs and optimized set of sensors needed to make these necessary observations. This is a complex problem that must be carefully studied and balanced over many boundaries such as science, defense, early warning, security, and surveillance. Simplistically, the sensorweb concept from the technological point of view alone has a great appeal in the defense, early warning and security applications. In fact, it can be relatively less expensive in per unit cost as opposed to building and deploying it for the scientific use. However, overall observing approach should not be singled out and aligned somewhat orthogonally to serve a particular need. On the other hand, the sensorweb should be designed and deployed to serve multiple subject areas and customers simultaneously; and can behave as directed measuring systems for both science and operational entities. Sensorweb can be designed to act as expert systems, and/or also provide a dedicated integrated surveillance network. Today, there is no system in the world that is fully integrated in terms of reporting timely multiple hazards warnings, computing the loss of life and property damage estimates, and is also designed to cater to everyone's needs. It is not an easier problem to undertake and more so is not practically solvable. At this time due to some recent events in the world, the scientific community, social scientists, and operational agencies are more cognizant and getting together to address such colossal problems. Increasing our knowledge of the home planet, via amplified set of observations, is certainly a right step in a right direction. Furthermore, this is a pre-requisite in understanding multiple hazard phenomena's. This paper examines various sensorweb options and observing architectures that can be useful specifically in addressing some of these complex issues. The ultimate goal is to serve the society by providing potential natural hazards information to the decision makers in the most expeditious manner so they can prepare themselves to mitigate potential risks to human life, livestock and property.

Habib, Shahid↗

NASA NTRS2024

Search for Presolar Materials and Isotopically Anomalous Diffuse Insoluble Organic Matter in Samples From Asteroid 101955 Bennu

Carbonaceous asteroids allow us to study the original materials that formed the planets in the protoplanetary disk. They contain organic matter and (sub-)micrometer-size dust grains, called presolar grains, that condensed in the circumstellar envelopes of evolved stars and the ejecta of stellar explosions, such as novae and supernovae, before the formation of our Solar System. The isotopically anomalous organics are thought to have formed in the interstellar medium and the early Solar System. Whereas presolar grains provide insight into the building blocks of our Solar System, studying organics can help us understand the origin of life on Earth. These organics might have contributed to ingredients that helped life emerge. The return of samples from asteroid 101955 Bennu by NASA’s Origins, Spectral Interpretation, Resource Identification, and Security–Regolith Explorer (OSIRIS-REx) mission gives us a new opportunity to elucidate the formation mechanism(s) and evolution of organics, as well as the abundance and distribution presolar grains in carbonaceous asteroids. Here, we report on our ongoing work to characterize the isotopic and chemical compositions, microstructure, distribution, and abundance of insoluble organic matter (IOM) and presolar grains in Bennu samples. This work supports hypotheses 2 and 3 of the OSIRIS-REx Sample Analysis Plan.

P. Haenecour↗

NASA NTRS2008

Design and Build a Compact Raman Sensor for Identification of Chemical Composition

A compact remote Raman sensor system was developed at NASA Langley Research Center. This sensor is an improvement over the previously reported system, which consisted of a 532 nm pulsed laser, a 4-inch telescope, a spectrograph, and an intensified charge-coupled devices (CCD) camera. One of the attractive features of the previous system was its portability, thereby making it suitable for applications such as planetary surface explorations, homeland security and defense applications where a compact portable instrument is important. The new system was made more compact by replacing bulky components with smaller and lighter components. The new compact system uses a smaller spectrograph measuring 9 x 4 x 4 in. and a smaller intensified CCD camera measuring 5 in. long and 2 in. in diameter. The previous system was used to obtain the Raman spectra of several materials that are important to defense and security applications. Furthermore, the new compact Raman sensor system is used to obtain the Raman spectra of a diverse set of materials to demonstrate the sensor system's potential use in the identification of unknown materials.

Garcia, Christopher S.↗

NASA NTRS2001

Automated Theorem Proving in High-Quality Software Design

The amount and complexity of software developed during the last few years has increased tremendously. In particular, programs are being used more and more in embedded systems (from car-brakes to plant-control). Many of these applications are safety-relevant, i.e. a malfunction of hardware or software can cause severe damage or loss. Tremendous risks are typically present in the area of aviation, (nuclear) power plants or (chemical) plant control. Here, even small problems can lead to thousands of casualties and huge financial losses. Large financial risks also exist when computer systems are used in the area of telecommunication (telephone, electronic commerce) or space exploration. Computer applications in this area are not only subject to safety considerations, but also security issues are important. All these systems must be designed and developed to guarantee high quality with respect to safety and security. Even in an industrial setting which is (or at least should be) aware of the high requirements in Software Engineering, many incidents occur. For example, the Warshaw Airbus crash, was caused by an incomplete requirements specification. Uncontrolled reuse of an Ariane 4 software module was the reason for the Ariane 5 disaster. Some recent incidents in the telecommunication area, like illegal "cloning" of smart-cards of D2GSM handies, or the extraction of (secret) passwords from German T-online users show that also in this area serious flaws can happen. Due to the inherent complexity of computer systems, most authors claim that only a rigorous application of formal methods in all stages of the software life cycle can ensure high quality of the software and lead to real safe and secure systems. In this paper, we will have a look, in how far automated theorem proving can contribute to a more widespread application of formal methods and their tools, and what automated theorem provers (ATPs) must provide in order to be useful.

Schumann, Johann↗