Results for “Check Standard” — Page 4

NASA NTRS2002

Automated Code Standard Checker 2002

Coding standards are typically levied on flight software in order to help ensure that the code is testable, maintainable, and modifiable. Visually checking software source against a set of coding standards is time consuming and may be prone to error. Software inspection is typically costly and may require large amounts of highly skilled labor. The objective of this center initiative is to develop an automated method to ensure that mission critical software follows the required coding practices and standards.

Trevino, Luis↗

NASA NTRS1994

A complex symbol signal-to-noise ratio estimator and its performance

This article presents an algorithm for estimating the signal-to-noise ratio (SNR) of signals that contain data on a downconverted suppressed carrier or the first harmonic of a square-wave subcarrier. This algorithm can be used to determine the performance of the full-spectrum combiner for the Galileo S-band (2.2- to 2.3-GHz) mission by measuring the input and output symbol SNR. A performance analysis of the algorithm shows that the estimator can estimate the complex symbol SNR using 10,000 symbols at a true symbol SNR of -5 dB with a mean of -4.9985 dB and a standard deviation of 0.2454 dB, and these analytical results are checked by simulations of 100 runs with a mean of -5.06 dB and a standard deviation of 0.2506 dB.

Feria, Y.↗

NASA NTRS1971

A thermal conductivity cell for small powdered samples.

A thermal conductivity cell is described for making measurements of the thermal conductivity and thermal diffusivity of small samples of powdered dielectric materials. The principle used is that of the line heat source. A novel way is described for applying this method so that much smaller samples than normal may be tested. This size requirement is necessary for investigations involving limited samples as does the Lunar Science Program. The method is checked by measuring the conductivity of standard samples and comparing the results with those found in the literature.

Cremers, C. J.↗

NASA NTRS1994

Improvements to the Airborne Visible/Infrared Imaging Spectrometer (AVIRIS) Calibration System

As a continuing effort to increase the calibration accuracy of the AVIRIS data a number of recent improvements have been implemented and are in the process of being tested during the 1994 flight season. These include the following innovations: A direct observation of a laboratory radiance standard is now used to double check the wide field-of-view calibration via an integrating sphere source. Launch site field calibration of the AVIRIS sensor is now being planned to augment the laboratory and inflight calibration. Modification to a dry air conditioning unit has been made to enable ground calibration at flight operating temperatures. One hundred lines of dark imagery has been added to the end of each flight line to assist in the analysis and removal of residual coherent noise. The intensity of the onboard calibration lamp has been modified to improve response in the blue end of the spectrum. Novel spectral filters have been installed in the onboard calibration source.

Airborne Visible/Infrared Imaging Spectrometer Cal↗

NASA NTRS2010

Analysis, Simulation, and Verification of Knowledge-Based, Rule-Based, and Expert Systems

Mathematically sound techniques are used to view a knowledge-based system (KBS) as a set of processes executing in parallel and being enabled in response to specific rules being fired. The set of processes can be manipulated, examined, analyzed, and used in a simulation. The tool that embodies this technology may warn developers of errors in their rules, but may also highlight rules (or sets of rules) in the system that are underspecified (or overspecified) and need to be corrected for the KBS to operate as intended. The rules embodied in a KBS specify the allowed situations, events, and/or results of the system they describe. In that sense, they provide a very abstract specification of a system. The system is implemented through the combination of the system specification together with an appropriate inference engine, independent of the algorithm used in that inference engine. Viewing the rule base as a major component of the specification, and choosing an appropriate specification notation to represent it, reveals how additional power can be derived from an approach to the knowledge-base system that involves analysis, simulation, and verification. This innovative approach requires no special knowledge of the rules, and allows a general approach where standardized analysis, verification, simulation, and model checking techniques can be applied to the KBS.

Hinchey, Mike↗

NASA NTRSDate not supplied

Acquisition of and Access to Research Omics Data

Omics data are essential for understanding the myriad and complex effects of space environments on humans. To assure maximum benefit from these kinds of data, the NASA Human Research Program Data Management Plan stipulates that human omics data should be archived within and accessed through the NASA Life Sciences Portal (NLSP). The NLSP has the capability to acquire and provision access to omics (and other kinds of) research results for individual and ad-hoc groups of subjects at the direction of institutional review boards, or other authorizing bodies or individuals, per institutional, program and investigation-specific policies and procedures. However, because some single-subject omics data, like CT scans and other kinds of large, complex biomedical data, could be used to identify heretofore unknown risks to the subject’s health, or, in certain cases, be used to identify a subject, NASA Policy Directive 7170.1 describes various policies regarding the management of and access to “research genetic testing” data, which includes many kinds of omics data. For example, NPD 7170.1 prohibits access to human research genetic data by NASA personnel who make employment decisions for the subjects from whom the data were obtained. To meet the objective of acquiring research omics data for NLSP in compliance with the policies in NPD 7170.1 and other applicable NASA policies, we designed NOMADS (the NLSP Omics Multimodal Acquisition of Data System), a new component that supports the transfer of large research data files, including research genetic testing data, using one of several different transfer mechanisms. The choice of mechanism is made by the submitter of the data, with guiding information from the system, and is likely to often be determined in large part by the nature and source location of the data. For example, for small files where the source data files are not already stored in a cloud storage system, users are likely to prefer to transfer their data to the NLSP via a web browser. Conversely, for large sets of files already organized and stored in a cloud storage system, users may opt for NOMAD’s cloud-to-cloud transfer method. All omics datasets targeted for the NASA Life Sciences Data Archive must pass a variety of quality checks to ensure data integrity and adherence to the standards defined by the LSDA Data Submission Guidelines (DSG) (see https://nlsp.nasa.gov/explore/lsdahome/datasubmit). These include requirements that data are consistent with open standards established by the omics community. Non-compliant data will not be accepted however archivists are available to advise submitters on how to revise data submissions and re-submit until compliance is achieved. Following compliance with the LSDA DSG, omics data next undergo a variety of additional quality checks to ensure the data meet omics community standards. Domain specific Omics data quality control tools and techniques are continually evolving and linked to the advancements in omics assays utilized and thus, the tools and techniques utilized by the LSDA for data quality control and validation will need to be sustained accordingly. All human omics data will be access controlled according to the policies described above, and requiring IRB approval for any additional access grants once the data are acquired (including access for analysis using the NLSP workspace tools).

Omics↗

NASA NTRS2024

Acquisition of and Access to Research Omics Data

Omics data are essential for understanding the myriad and complex effects of space environments on humans. To assure maximum benefit from these kinds of data, the NASA Human Research Program Data Management Plan stipulates that human omics data should be archived within and accessed through the NASA Life Sciences Portal (NLSP). The NLSP has the capability to acquire and provision access to omics (and other kinds of) research results for individual and ad-hoc groups of subjects at the direction of institutional review boards, or other authorizing bodies or individuals, per institutional, program and investigation-specific policies and procedures. However, because some single-subject omics data, like CT scans and other kinds of large, complex biomedical data, could be used to identify heretofore unknown risks to the subject’s health, or, in certain cases, be used to identify a subject, NASA Policy Directive 7170.1 describes various policies regarding the management of and access to “research genetic testing” data, which includes many kinds of omics data. For example, NPD 7170.1 prohibits access to human research genetic data by NASA personnel who make employment decisions for the subjects from whom the data were obtained. To meet the objective of acquiring research omics data for NLSP in compliance with the policies in NPD 7170.1 and other applicable NASA policies, we designed NOMADS (the NLSP Omics Multimodal Acquisition of Data System), a new component that supports the transfer of large research data files, including research genetic testing data, using one of several different transfer mechanisms. The choice of mechanism is made by the submitter of the data, with guiding information from the system, and is likely to often be determined in large part by the nature and source location of the data. For example, for small files where the source data files are not already stored in a cloud storage system, users are likely to prefer to transfer their data to the NLSP via a web browser. Conversely, for large sets of files already organized and stored in a cloud storage system, users may opt for NOMAD’s cloud-to-cloud transfer method. All omics datasets targeted for the NASA Life Sciences Data Archive must pass a variety of quality checks to ensure data integrity and adherence to the standards defined by the LSDA Data Submission Guidelines (DSG) (see https://nlsp.nasa.gov/explore/lsdahome/datasubmit). These include requirements that data are consistent with open standards established by the omics community. Non-compliant data will not be accepted however archivists are available to advise submitters on how to revise data submissions and re-submit until compliance is achieved. Following compliance with the LSDA DSG, omics data next undergo a variety of additional quality checks to ensure the data meet omics community standards. Domain specific Omics data quality control tools and techniques are continually evolving and linked to the advancements in omics assays utilized and thus, the tools and techniques utilized by the LSDA for data quality control and validation will need to be sustained accordingly. All human omics data will be access controlled according to the policies described above, and requiring IRB approval for any additional access grants once the data are acquired (including access for analysis using the NLSP workspace tools).

Omics↗

NASA NTRS1979

Concurrent error detecting codes for arithmetic processors

A method of concurrent error detection for arithmetic processors is described. Low-cost residue codes with check-length l and checkbase m = 2 to the l power - 1 are described for checking arithmetic operations of addition, subtraction, multiplication, division complement, shift, and rotate. Of the three number representations, the signed-magnitude representation is preferred for residue checking. Two methods of residue generation are described: the standard method of using modulo m adders and the method of using a self-testing residue tree. A simple single-bit parity-check code is described for checking the logical operations of XOR, OR, and AND, and also the arithmetic operations of complement, shift, and rotate. For checking complement, shift, and rotate, the single-bit parity-check code is simpler to implement than the residue codes.

Lim, R. S.↗

NASA NTRS2010

Software Model Checking of ARINC-653 Flight Code with MCP

The ARINC-653 standard defines a common interface for Integrated Modular Avionics (IMA) code. In particular, ARINC-653 Part 1 specifies a process- and partition-management API that is analogous to POSIX threads, but with certain extensions and restrictions intended to support the implementation of high reliability flight code. MCP is a software model checker, developed at NASA Ames, that provides capabilities for model checking C and C++ source code. In this paper, we present recent work aimed at implementing extensions to MCP that support ARINC-653, and we discuss the challenges and opportunities that consequentially arise. Providing support for ARINC-653 s time and space partitioning is nontrivial, though there are implicit benefits for partial order reduction possible as a consequence of the API s strict interprocess communication policy.

Thompson, Sarah J.↗

NASA NTRS1992

The production and escape of nitrogen atoms on Mars

The lack of agreement between our previously computed values and those measured by Viking of the N-15:N-14 isotope enhancement ratio has led us to reevaluate our model of the Martian ionosphere. In previous models, we were unable to reproduce the ion profiles measured by the RPA on Viking using electron temperatures that were higher that the ion temperatures. When we increased the electron temperatures to 2500-3000 K and with a zero flux upper boundary condition, the ion densities at high altitudes exceeded the measured values by a large factor. We found that we can better fit the observed profiles if we impose a loss process at the upper boundary of our model. If the horizontal fluxes of ions do not constitute a net loss of ions, then the escape of N due to dissociative recombination is also inhibited and better agreement with the measured isotope ratio is found. The production of escaping nitrogen atoms is closely related to the production of thermospheric odd nitrogen; therefore, the densities of NO measured by Viking provide a convenient check on our nitrogen escape model. Our standard model NO densities are less that the measured values by a factor of 2-3, as are those of previous models. We find that reasonable agreement can be obtained by assuming that the rate coefficient for loss of odd nitrogen in the reaction of N with NO is smaller at temperatures that prevail in the lower Martian thermosphere than the standard value, which applies to temperatures of 200-400 K. Other aspects of this investigation are presented.

Fox, J. L.↗

NASA NTRS1990

Hardware independence checkout software

ACSI has developed a program utilizing CLIPS to assess compliance with various programming standards. Essentially the program parses C code to extract the names of all function calls. These are asserted as CLIPS facts which also include information about line numbers, source file names, and called functions. Rules have been devised to establish functions called that have not been defined in any of the source parsed. These are compared against lists of standards (represented as facts) using rules that check intersections and/or unions of these. By piping the output into other processes the source is appropriately commented by generating and executing parsed scripts.

Cameron, Barry W.↗

NASA NTRS1999

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↗

NASA NTRS2002

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↗

NASA NTRS2004

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.↗

NASA NTRS2017

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↗

NASA NTRS2019

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↗

NASA NTRS1980

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.↗

NASA NTRS2019

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↗