Search NASA⌕ Search

SEARCH · Search NASA

Results for “Check Standard”

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 73 records · Page 4

Exotic Molecules in Space: A Coordinated Astronomical Laboratory and Theoretical Study

The past three years have been a period of great progress in our laboratory investigation of molecules of astrophysical interest-the most productive by far in the 20-year history of a research program which has led to the discovery of over 20% of the 123 known interstellar and circumstellar molecules. Most of the discoveries made during this period have been the result of the construction in late 1995 and early 1996 of a Fourier transform microwave spectrometer working in the centimeter-wave band. The sensitivity of this instrument from the moment that it was turned on has exceeded our expectations by an order of magnitude. The Table below shows the 46 new molecules which have been discovered. Most are carbon chains, the dominant type of molecule which has been found in space. Several comments with respect to these molecules should be made: 1. There are probably no mistakes in any of the identifications, since these have been confirmed by the standard, powerful assays and tests used to check spectroscopic identifications: isotopic substitution, quantum calculations of the expected molecular structures, detection of hyperfine structure, Zeeman effect, etc. 2. The radio laboratory astrophysics of the entire set is complete for the time being, in the sense that essentially all the astronomically interesting radio transitions (including hfs when present) are either directly measured or can now be calculated from the derived spectroscopic constants to better than 1 part per million (or 0.3 km s-1 in radial velocity, and often much better than that). 3. Six of the forty six new molecules have already been identified in space, in every case but one on the basis of our laboratory measurements. 4. Sensitive as they are, our laboratory techniques are far from fundamental limits on sensitivity, and 5. One of the principal motivations of our research is to close the fairly small mass and size gap, now only a factor of a few, between the smallest postulated interstellar grains and the largest identified interstellar molecules.

Thaddeus, Patrick↗

Pressure-Application Device for Testing Pressure Sensors

A portable pressure-application device has been designed and built for use in testing and calibrating piezoelectric pressure transducers in the field. The device generates pressure pulses of known amplitude. A pressure pulse (in contradistinction to a steady pressure) is needed because in the presence of a steady pressure, the electrical output of a piezoelectric pressure transducer decays rapidly with time. The device includes a stainless- steel compressed-air-storage cylinder of 500 cu cm volume. A manual hand pump with check valves and a pressure gauge are located at one end of the cylinder. A three-way solenoid valve that controls the release of pressurized air is located at the other end of the cylinder. Power for the device is provided by a 3.7-V cordless-telephone battery. The valve is controlled by means of a pushbutton switch, which activates a 5 V to +/-15 V DC-to-DC converter that powers the solenoid. The outlet of the solenoid valve is connected to the pressure transducer to be tested. Before the solenoid is energized, the transducer to be tested is at atmospheric pressure. When the solenoid is actuated by the push button, pressurized air from inside the cylinder is applied to the transducer. Once the pushbutton is released, the cylinder pressure is removed from the transducer and the pressurized air applied to the transducer is vented, bringing the transducer back to atmospheric pressure. Before this device was used for actual calibration, its accuracy was checked with a NIST (National Institute of Standards and Technology) traceable calibrator and commercially calibrated pressure transducers. This work was done by Wanda Solano of Stennis Space Center and Greg Richardson of Lockheed Martin Corp.

Source record↗

Formalization of the Integral Calculus in the PVS Theorem Prover

The PVS Theorem prover is a widely used formal verification tool used for the analysis of safety-critical systems. The PVS prover, though fully equipped to support deduction in a very general logic framework, namely higher-order logic, it must nevertheless, be augmented with the definitions and associated theorems for every branch of mathematics and Computer Science that is used in a verification. This is a formidable task, ultimately requiring the contributions of researchers and developers all over the world. This paper reports on the formalization of the integral calculus in the PVS theorem prover. All of the basic definitions and theorems covered in a first course on integral calculus have been completed.The theory and proofs were based on Rosenlicht's classic text on real analysis and follow the traditional epsilon-delta method. The goal of this work was to provide a practical set of PVS theories that could be used for verification of hybrid systems that arise in air traffic management systems and other aerospace applications. All of the basic linearity, integrability, boundedness, and continuity properties of the integral calculus were proved. The work culminated in the proof of the Fundamental Theorem Of Calculus. There is a brief discussion about why mechanically checked proofs are so much longer than standard mathematics textbook proofs.

Butler, Ricky W.↗

New Developments in NASA's Rodent Research Hardware for Conducting Long Duration Biomedical and Basic Research in Space

Animal models, particularly rodents, are the foundation of pre-clinical research to understand human diseases and evaluate new therapeutics, and play a key role in advancing biomedical discoveries both on Earth and in space. The National Research Councils Decadal survey emphasized the importance of expanding NASA's life sciences research to perform long duration, rodent experiments on the International Space Station (ISS) to study effects of the space environment on the musculoskeletal and neurological systems of mice as model organisms of human health and disease, particularly in areas of muscle atrophy, bone loss, and fracture healing. To accomplish this objective, flight hardware, operations, and science capabilities were developed at NASA Ames Research Center (ARC) to enhance science return for both commercial (CASIS) and government-sponsored rodent research. The Rodent Research Project at NASA ARC has pioneered a new research capability on the International Space Station and has progressed toward translating research to the ISS utilizing commercial rockets, collaborating with academia and science industry, while training crewmembers to assist in performing research on orbit. The Rodent Research Habitat provides a living environment for animals on ISS according to standard animal welfare requirements, and daily health checks can be performed using the habitats camera system. Results from these studies contribute to the science community via both the primary investigation and banked samples that are shared in publicly available data repository such as GeneLab. Following each flight, through the Biospecimen Sharing Program (BSP), numerous tissues and thousands of samples will be harvested, and distributed from the Space Life and Physical Sciences (SLPS) to Principal Investigators (PIs) through the Ames Life Science Data Archive (ALSDA). Every completed mission sets a foundation to build and design greater complexity into future research and answer questions about common human diseases. Together, the hardware improvements (enrichment, telemetry sensors, cameras), new capabilities (live animal return), and experience that the Rodent Research team has gained working with principal investigator teams and ISS crew to conduct complex experiments on orbit are expanding capabilities for long duration rodent research on the ISS to achieve both basic science and biomedical research objectives.

Shirazi, Yasaman↗

Citizen Science Data Quality: The GLOBE Program

The Global Learning and Observations to Benefit the Environment (GLOBE) Program is an international program that provides a way for students and the public to contribute Earth system observations. Currently 122 countries, more than 40,000 schools, and 200,000 citizen scientists are participating in GLOBE. Since 1995, participants have contributed 195 million observations. Modes of data collection and data entry have evolved with technology over the lifetime of the program, including the launch of the GLOBE Observer mobile app in 2016 to broaden access and public participation in data collection. GLOBE must meet the data needs of a diverse range of stakeholders, from elementary school classrooms to scientists across the globe, including NASA scientists. Operational quality assurance measures include participant training, adherence to standardized data collection protocols, range and logic checks, and an approval process for photos submitted with an observation. In this presentation, we will discuss the current state of operational data QA/QC, as well as additional QA/QC processes recently explored and future directions.

Amos, Helen↗

Tube-shape verifier

Inexpensive apparatus checks accuracy of bent tubes. Assortment of slotted angles and clamps is bolted down to flat aluminum plate outlining shape of standard tube bent to desired configuration. Newly bent tubes are then checked against this outline. Because parts are bolted down, tubes can be checked very rapidly without disturbing outline. One verifier per tube-bending machine can really speed up production in tube-bending shop.

Anderson, A. N.↗

Checking AIRS nonlinearity in flight

Radiances from the Atmospheric Infrared Sounder (AIRS) show excellent stability and are traceable to SI standards through the On-Board Calibrator (OBC) blackbody. The OBC can be used to check the nonlinearity by turning off the heater and letting the target float from 308K to roughly 261K while acquiring data. The OBC Float test was performed once prior to launch, and again shortly after launch. Until now, the OBC Float test did not produce accurate nonlinearity results.

Aumann, Hartmut↗

Coded Modulation in C and MATLAB

This software, written separately in C and MATLAB as stand-alone packages with equivalent functionality, implements encoders and decoders for a set of nine error-correcting codes and modulators and demodulators for five modulation types. The software can be used as a single program to simulate the performance of such coded modulation. The error-correcting codes implemented are the nine accumulate repeat-4 jagged accumulate (AR4JA) low-density parity-check (LDPC) codes, which have been approved for international standardization by the Consultative Committee for Space Data Systems, and which are scheduled to fly on a series of NASA missions in the Constellation Program. The software implements the encoder and decoder functions, and contains compressed versions of generator and parity-check matrices used in these operations.

Hamkins, Jon↗

Fault-tolerant computer system

More reliable computers could be assembled by connecting four proposed VSLI "building block" circuits with built-in error detection to standard microprocessors and memory devices to form self checking computer module. Each building block detects its own malfunctions and single bit errors found in memory.

Avizienis, A. A.↗

Certification of the concentrating solar collector

Report describes procedures and results of extensive testing of concentrating solar collector performed for certification of systems compliance with government performance standards. Test includes operational, electrical, mechanical, and thermal checks, as well as structural integrity.

Source record↗

Improving NAVFAC's total quality management of construction drawings with CLIPS

A diagnostic expert system to improve the quality of Naval Facilities Engineering Command (NAVFAC) construction drawings and specification is described. C Language Integrated Production System (CLIPS) and computer aided design layering standards are used in an expert system to check and coordinate construction drawings and specifications to eliminate errors and omissions.

Antelman, Albert↗

Automating a human factors evaluation of graphical user interfaces for NASA applications: An update on CHIMES

Capturing human factors knowledge about the design of graphical user interfaces (GUI's) and applying this knowledge on-line are the primary objectives of the Computer-Human Interaction Models (CHIMES) project. The current CHIMES prototype is designed to check a GUI's compliance with industry-standard guidelines, general human factors guidelines, and human factors recommendations on color usage. Following the evaluation, CHIMES presents human factors feedback and advice to the GUI designer. The paper describes the approach to modeling human factors guidelines, the system architecture, a new method developed to convert quantitative RGB primaries into qualitative color representations, and the potential for integrating CHIMES with user interface management systems (UIMS). Both the conceptual approach and its implementation are discussed. This paper updates the presentation on CHIMES at the first International Symposium on Ground Data Systems for Spacecraft Control.

Jiang, Jian-Ping↗

Aura Atmospheric Data Products and Their Availability from NASA Goddard Earth Sciences DAAC

NASA's EOS-Aura spacecraft was launched successfully on July 15, 2004. The four instruments onboard the spacecraft are the Microwave Limb Sounder (MLS), the Ozone Monitoring Instrument (OMI), the Tropospheric Emission Spectrometer (TES), and the High Resolution Dynamics Limb Sounder (HBDLS). The Aura instruments are designed to gather earth sciences measurements across the ultraviolet, visible, infra-red, thermal and microwave regions of the electromagnetic spectrum. Aura will provide over 70 distinct standard atmospheric data products for use in ozone layer and surface UV-B monitoring, air quality forecast, and atmospheric chemistry and climate change studies (http://eosaura.gsfc.nasa.gov/). These products include earth-atmosphere radiances and solar spectral irradiances; total column, tropospheric, and profiles of ozone and other trace gases, surface W-B flux; clouds and aerosol characteristics; and temperature, geopotential height, and water vapor profiles. The MLS, OMI, and HIRDLS data products will be archived at the NASA Goddard Earth Sciences (GES) Distributed Active Archive Center (DAAC), while data from TES will be archived at NASA Langley Research Center DAAC. Some of the standard products which have gone through quick preliminary checks are already archived at the GES DAAC (http://daac.nsfc.nasa.gov/) and are available to the Aura science team and data validation team members for data validation; and to the application and visualization software developers, for testing their application modules. Once data are corrected for obvious calibration problems and partially validated using in-situ observations, they would be made available to the broader user community. This presentation will provide details of the whole suite of Aura atmospheric data products, and the time line of the availability of the rest of the preliminary products and of the partially validated provisional products. Software and took available for data access, visualization, and data mining will also be discussed.

Ahmad, S.↗

Aerospace Ground Equipment for model 4080 sequence programmer. A standard computer terminal is adapted to provide convenient operator to device interface

The Aerospace Ground Equipment (AGE) provides an interface between a human operator and a complete spaceborne sequence timing device with a memory storage program. The AGE provides a means for composing, editing, syntax checking, and storing timing device programs. The AGE is implemented with a standard Hewlett-Packard 2649A terminal system and a minimum of special hardware. The terminal's dual tape interface is used to store timing device programs and to read in special AGE operating system software. To compose a new program for the timing device the keyboard is used to fill in a form displayed on the screen.

Nissley, L. E.↗

Spectral radiance calibrations between 165-300 nm - An interlaboratory comparison

The spectral radiance of deuterium lamps calibrated by the Max-Planck-Institut fuer Astronomie (MPI), by the U.S. National Bureau of Standards (NBS), and by the Physikalisch-Technische Bundesanstalt (PTB) are compared to check the agreement of UV radiometric scales. The NBS group used the optically thin continuum radiation from a wall-stabilized hydrogen arc as its fundamental radiometric standard, while the MPI and PTB groups used the synchrotron radiation facility in DESY. It is found that the spectral radiance scales based upon the DESY synchrotron and the NBS hydrogen arc are consistent, at least for one wavelength relative to another.

Bridges, J. M.↗

Progress through precedent: Going where no helicopter simulator has gone before

Helicopter simulators have been approved by means of special exemption; there are no FAA standards for simulators used in training or airmen Certification checking. The fixed-wing industry provides a precedent which can be used for expediting implementation of helicopter simulators. The analysis in this paper is founded on the experience with that precedent and is driven by a clear definition of helicopter user needs for (1) improved training at lower cost, (2) more comprehensive emergency training at lower risk, (3) increased fidelity of transition and instrument training compared with low-cost aircraft alternatives, and (4) certification credit for improved simulator training.

Adams, Richard J.↗

HDU Pressurized Excursion Module (PEM) Prototype Systems Integration

The Habitat Demonstration Unit (HDU) project team constructed an analog prototype lunar surface laboratory called the Pressurized Excursion Module (PEM). The prototype unit subsystems were integrated in a short amount of time, utilizing a skunk-works approach that brought together over 20 habitation-related technologies from a variety of NASA centers. This paper describes the system integration strategies and lessons learned, that allowed the PEM to be brought from paper design to working field prototype using a multi-center team. The system integration process included establishment of design standards, negotiation of interfaces between subsystems, and scheduling fit checks and installation activities. A major tool used in integration was a coordinated effort to accurately model all the subsystems using CAD, so that conflicts were identified before physical components came together. Some of the major conclusions showed that up-front modularity that emerged as an artifact of construction, such as the eight 45 degree "pie slices" making up the module whose steel rib edges defined structural mounting and loading points, dictated much of the configurational interfaces between the major subsystems and workstations. Therefore, 'one of the lessons learned included the need to use modularity as a tool for organization in advance, and to work harder to prevent non-critical aspects of the platform from dictating the modularity that may eventually inform the fight system.

Gill, Tracy R.↗

Model Checking Degrees of Belief in a System of Agents

Reasoning about degrees of belief has been investigated in the past by a number of authors and has a number of practical applications in real life. In this paper we present a unified framework to model and verify degrees of belief in a system of agents. In particular, we describe an extension of the temporal-epistemic logic CTLK and we introduce a semantics based on interpreted systems for this extension. In this way, degrees of beliefs do not need to be provided externally, but can be derived automatically from the possible executions of the system, thereby providing a computationally grounded formalism. We leverage the semantics to (a) construct a model checking algorithm, (b) investigate its complexity, (c) provide a Java implementation of the model checking algorithm, and (d) evaluate our approach using the standard benchmark of the dining cryptographers. Finally, we provide a detailed case study: using our framework and our implementation, we assess and verify the situational awareness of the pilot of Air France 447 flying in off-nominal conditions.

MAS Verification↗