Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “error detection”

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 685 records · Page 38

Test and evaluation of the 2.4-micron photorefractor ocular screening system

An improved 2.4-m photorefractor ocular screening system was tested and evaluated. The photorefractor system works on the principal of obtaining a colored photograph of both human eyes; and, by analysis of the retinal reflex images, certain ocular defects can be detected such a refractive error, strabismus, and lens obstructions. The 2.4-m photorefractory system uses a 35-mm camera with a telephoto lens and an electronic flash attachment. Retinal reflex images obtained from the new 2.4-m system are significantly improved over earlier systems in image quality. Other features were also improved, notably portability and reduction in mass. A total of 706 school age children were photorefracted, 211 learning disabled and 495 middle school students. The total students having abnormal retinal reflexes were 156 or 22 percent, and 133 or 85 percent of the abnormal had refractive error indicated. Ophthalmological examination was performed on 60 of these students and refractive error was verified in 57 or 95 percent of those examined. The new 2.4-m system has a NASA patent pending and is authorized by the FDA. It provides a reliable means of rapidly screening the eyes of children and young adults for vision problems. It is especially useful for infants and other non-communicative children who cannot be screened by the more conventional methods such as the familiar E chart.

Richardson, J. R.↗

Application of ultraviolet reflectivity measurements from Nimbus-7 to determine cloud amount

A technique is described that uses scene reflectivity derived from the Total Ozone Mapping Spectrometer (TOMS) measurements from aboard the Nimbus-7 satellite to improve the estimation of cloud amounts from the data taken by the Temperature Humidity IR Radiometer (THIR) onboard the same satellite. TOMS operates in six 1 nm wide spectral bands in the UV (380, 360, 340, 331, 318, and 313 nm) and provides information for inference of directional albedos. Moreover, the features of the TOMS images are paralleled with those obtained by the Geostationary Operational Environmental Satellite (GEOS) visible images. It is noted that by use of such a multisensor approach relatively thin or broken low clouds (below 2 km) can be detected with an rms error of about 10 percent when compared to the GOES visible and IR images.

Bhartia, P. K.↗

Performance of the ICAO standard core service modulation and coding techniques

Aviation binary phase shift keying (A-BPSK) is described and simulated performance results are given that demonstrate robust performance in the presence of hardlimiting amplifiers. The performance of coherently-detected A-BPSK with rate 1/2 convolutional coding are given. The performance loss due to the Rician fading was shown to be less than 1 dB over the simulated range. A partially coherent detection scheme that does not require carrier phase recovery was described. This scheme exhibits similiar performance to coherent detection, at high bit error rates, while it is superior at lower bit error rates.

Lodge, John↗

Monitoring solar-type stars for luminosity variations

Since 1984, researchers have made more than 1500 differential photometric b (471 nm) and y (551 nm) measurements of three dozen solar-like lower main sequence stars whose chromospheric activity was previosly studied by O. C. Wilson. Here, researchers describe their methodology and the statistical tests used to distinguish intrinsic stellar variability from observational and instrument errors. The incidence of detected variability among the program and comparison stars is summarized. Among the 100 plus pairs of stars measured differentially, only a dozen were found that were unusually constant, with peak-to-peak amplitudes of seasonal mean brightness smaller than 0.3 percent (0.003 mag) over a two-to-three-year interval.

Lockwood, G. W.↗

Finding the rarest objects in the universe: A new, efficient method for discovering BL Lacertae objects

We present a new, efficient method for discovering new BL Lac Objects based upon the results of the Einstein Extended Medium Sensitivity Survey (EMSS). We have found that all x-ray selected BL Lacs are radio emitters, and further, that in a 'color-color' diagram (radio/optical and optical/x-ray) the BL Lac Objects occupy an area distinct from both radio loud quasars and the radio quiet QSOs and Seyferts which dominate x-ray selected samples. After obtaining radio counterparts via VLA 'snapshot' observations of a large sample of unidentified x-ray sources, the list of candidates is reduced. These candidates then can be confirmed with optical spectroscopy and/or polarimetry. Since greater than 70 percent of these sources are expected to be BL Lacs, the optical observations are very efficient. We have tested this method using unidentified sources found in the Einstein Slew Survey. The 162 Slew Survey x-ray source positions were observed with the VLA in a mixed B/C configuration at 6 cm resulting in 60 detections within 1.5 position error circle radii. These x-ray/optical/radio sources were then plotted, and 40 BL Lac candidates were identified. To date, 10 candidates have been spectroscopically observed resulting in 10 new BL Lac objects! Radio flux, optical magnitude, and polarization statistics (obtained in white light with the Steward Observatory 2.3 m CCD polarimeter) for each are given.

Stocke, John↗

Using Penelope to assess the correctness of NASA Ada software: A demonstration of formal methods as a counterpart to testing

Life-critical applications warrant a higher level of software reliability than has yet been achieved. Since it is not certain that traditional methods alone can provide the required ultra reliability, new methods should be examined as supplements or replacements. This paper describes a mathematical counterpart to the traditional process of empirical testing. ORA's Penelope verification system is demonstrated as a tool for evaluating the correctness of Ada software. Grady Booch's Ada calendar utility package, obtained through NASA, was specified in the Larch/Ada language. Formal verification in the Penelope environment established that many of the package's subprograms met their specifications. In other subprograms, failed attempts at verification revealed several errors that had escaped detection by testing.

Eichenlaub, Carl T.↗

Applying formal methods and object-oriented analysis to existing flight software

Correctness is paramount for safety-critical software control systems. Critical software failures in medical radiation treatment, communications, and defense are familiar to the public. The significant quantity of software malfunctions regularly reported to the software engineering community, the laws concerning liability, and a recent NRC Aeronautics and Space Engineering Board report additionally motivate the use of error-reducing and defect detection software development techniques. The benefits of formal methods in requirements driven software development ('forward engineering') is well documented. One advantage of rigorously engineering software is that formal notations are precise, verifiable, and facilitate automated processing. This paper describes the application of formal methods to reverse engineering, where formal specifications are developed for a portion of the shuttle on-orbit digital autopilot (DAP). Three objectives of the project were to: demonstrate the use of formal methods on a shuttle application, facilitate the incorporation and validation of new requirements for the system, and verify the safety-critical properties to be exhibited by the software.

Cheng, Betty H. C.↗

Quality Control of Meteorological Observations

For the first time, a problem of the meteorological observation quality control (QC) was formulated by L.S. Gandin at the Main Geophysical Observatory in the 70's. Later in 1988 L.S. Gandin began adapting his ideas in complex quality control (CQC) to the operational environment at the National Centers for Environmental Prediction. The CQC was first applied by L.S.Gandin and his colleagues to detection and correction of errors in rawinsonde heights and temperatures using a complex of hydrostatic residuals.Later, a full complex of residuals, vertical and horizontal optimal interpolations and baseline checks were added for the checking and correction of a wide range of meteorological variables. some other of Gandin's ideas were applied and substantially developed at other meteorological centers. A new statistical QC was recently implemented in the Goddard Data Assimilation System. The central component of any quality control is a buddy check which is a test of individual suspect observations against available nearby non-suspect observations. A novel feature of this test is that the error variances which are used for QC decision are re-estimated on-line. As a result, the allowed tolerances for suspect observations can depend on local atmospheric conditions. The system is then better able to accept extreme values observed in deep cyclones, jet streams and so on. The basic statements of this adaptive buddy check are described. Some results of the on-line QC including moisture QC are presented.

Collins, William↗

Flexible Wing Base Micro Aerial Vehicles: Vision-Guided Flight Stability and Autonomy for Micro Air Vehicles

Substantial progress has been made recently towards design building and test-flying remotely piloted Micro Air Vehicle's (MAVs). We seek to complement this progress in overcoming the aerodynamic obstacles to.flight at very small scales with a vision stability and autonomy system. The developed system based on a robust horizon detection algorithm which we discuss in greater detail in a companion paper. In this paper, we first motivate the use of computer vision for MAV autonomy arguing that given current sensor technology, vision may he the only practical approach to the problem. We then briefly review our statistical vision-based horizon detection algorithm, which has been demonstrated at 30Hz with over 99.9% correct horizon identification. Next we develop robust schemes for the detection of extreme MAV attitudes, where no horizon is visible, and for the detection of horizon estimation errors, due to external factors such as video transmission noise. Finally, we discuss our feed-back controller for self-stabilized flight, and report results on vision autonomous flights of duration exceeding ten minutes.

Ettinger, Scott M.↗

Heat Flow Measurement

Heat gauges are used to measure heat flow in industrial activities. They must periodically be certified by instruments designed to provide a heat flux measurement standard. CSTAR, a NASA CCDS, and REMTECH have developed a portable heat flux checker/calibrator. The Q-CHEC can be carried to the heat gauge for certification, reducing out of service time for the gauge and eliminating the need for a replacement gauge during certification. It can provide an "end-to-end" check of the instrumentation measurement system or be used as a standalone calibrator. Because Q-CHEC offers on-site capability to detect and eliminate measurement errors, measurements do not have to be repeated, and money is saved.

Source record↗

Sonoluminescence Bubble Measurements using Vision-Based Algorithms

Vision-based measurement methods were used to measure bubble sizes in this sonoluminescence experiment. Bubble imaging was accomplished by placing the bubble between a bright light source and a microscope-CCD camera system. A collimated light-emitting diode was operated in a pulsed model with an adjustable time delay with respect to the piezo-electric transducer drive signal. The light-emitting diode produced a bubble shadowgraph consisting of a multiple exposure made by numerous light pulses imaged onto a charge-couple device camera. Each image was transferred from the camera to a computer-controlled machine vision system via a frame grabber. The frame grabber was equipped with on-board memory to accomodate sequential image buffering while images were transferred to the host processor and analyzed. This configuration allowed the host computer to perform diameter measurements, centroid position measurements and shape estimation in "real-time" as the next image was being acquired. Bubble size measurement accuracy with an uncertainty of 3 microns was achieved using standard lenses and machine vision algorithms. Bubble centroid position accuracy was also within the 3 micron tolerance of the vision system. This uncertainty estimation accounted for the optical spatial resolution, digitization errors and the edge detection algorithm accuracy. The vision algorithms include camera calibration, thresholding, edge detection, edge position determination, distance between two edges computations and centroid position computations.

Hall, Nancy R.↗

Mars Exploration Rovers orbit determination filter strategy

The successful delivery of the Mars Exploration Rover (MER) landers to well with in the boundaries of their surface target areas in January of 2004 was the culmination of years of orbit determination analysis. The process began with a careful consideration of the filter parameters used for pre-launch covariance studies, and continued with the refinement of the filter after launch based on operational experience. At the same time, tools were developed to run a plethora of variations around the nominal filter and anlyze the results in ways that had never been previously attempted for an interplanetary mission. In addition to the achieved sub-kilometer Mars B plane orbit determination knowledge, the filter strategy and process responded to unexpected error sources by both detecting them and proving robust. All these facets of the MER orbit determination filter strategy are described in this paper.

orbit determination↗

Survey of Verification and Validation Techniques for Small Satellite Software Development

The purpose of this paper is to provide an overview of the current trends and practices in small-satellite software verification and validation. This document is not intended to promote a specific software assurance method. Rather, it seeks to present an unbiased survey of software assurance methods used to verify and validate small satellite software and to make mention of the benefits and value of each approach. These methods include simulation and testing, verification and validation with model-based design, formal methods, and fault-tolerant software design with run-time monitoring. Although the literature reveals that simulation and testing has by far the longest legacy, model-based design methods are proving to be useful for software verification and validation. Some work in formal methods, though not widely used for any satellites, may offer new ways to improve small satellite software verification and validation. These methods need to be further advanced to deal with the state explosion problem and to make them more usable by small-satellite software engineers to be regularly applied to software verification. Last, it is explained how run-time monitoring, combined with fault-tolerant software design methods, provides an important means to detect and correct software errors that escape the verification process or those errors that are produced after launch through the effects of ionizing radiation.

Small Satellite Technology↗

Apparatus and Method to Enable Precision and Fast Laser Frequency Tuning

An apparatus and method is provided to enable precision and fast laser frequency tuning. For instance, a fast tunable slave laser may be dynamically offset-locked to a reference laser line using an optical phase-locked loop. The slave laser is heterodyned against a reference laser line to generate a beatnote that is subsequently frequency divided. The phase difference between the divided beatnote and a reference signal may be detected to generate an error signal proportional to the phase difference. The error signal is converted into appropriate feedback signals to phase lock the divided beatnote to the reference signal. The slave laser frequency target may be rapidly changed based on a combination of a dynamically changing frequency of the reference signal, the frequency dividing factor, and an effective polarity of the error signal. Feed-forward signals may be generated to accelerate the slave laser frequency switching through laser tuning ports.

Chen, Jeffrey R.↗

Automated ISS Flight Utilities

During my internship at NASA Johnson Space Center, I worked in the Space Radiation Analysis Group (SRAG), where I was tasked with a number of projects focused on the automation of tasks and activities related to the operation of the International Space Station (ISS). As I worked on a number of projects, I have written short sections below to give a description for each, followed by more general remarks on the internship experience. My first project is titled "General Exposure Representation EVADOSE", also known as "GEnEVADOSE". This project involved the design and development of a C++/ ROOT framework focused on radiation exposure for extravehicular activity (EVA) planning for the ISS. The utility helps mission managers plan EVAs by displaying information on the cumulative radiation doses that crew will receive during an EVA as a function of the egress time and duration of the activity. SRAG uses a utility called EVADOSE, employing a model of the space radiation environment in low Earth orbit to predict these doses, as while outside the ISS the astronauts will have less shielding from charged particles such as electrons and protons. However, EVADOSE output is cumbersome to work with, and prior to GEnEVADOSE, querying data and producing graphs of ISS trajectories and cumulative doses versus egress time required manual work in Microsoft Excel. GEnEVADOSE automates all this work, reading in EVADOSE output file(s) along with a plaintext file input by the user providing input parameters. GEnEVADOSE will output a text file containing all the necessary dosimetry for each proposed EVA egress time, for each specified EVADOSE file. It also plots cumulative dose versus egress time and the ISS trajectory, and displays all of this information in an auto-generated presentation made in LaTeX. New features have also been added, such as best-case scenarios (egress times corresponding to the least dose), interpolated curves for trajectories, and the ability to query any time in the EVADES output. As mentioned above, GEnEVADOSE makes extensive use of ROOT version 6, the data analysis framework developed at the European Organization for Nuclear Research (CERN), and the code is written to the C++11 standard (as are the other projects). My second project is the Automated Mission Reference Exposure Utility (AMREU).Unlike GEnEVADOSE, AMREU is a combination of three frameworks written in both Python and C++, also making use of ROOT (and PyROOT). Run as a combination of daily and weekly cron jobs, these macros query the SRAG database system to determine the active ISS missions, and query minute-by-minute radiation dose information from ISS-TEPC (Tissue Equivalent Proportional Counter), one of the radiation detectors onboard the ISS. Using this information, AMREU creates a corrected data set of daily radiation doses, addressing situations where TEPC may be offline or locked up by correcting doses for days with less than 95% live time (the total amount time the instrument acquires data) by averaging the past 7 days. As not all errors may be automatically detectable, AMREU also allows for manual corrections, checking an updated plaintext file each time it runs. With the corrected data, AMREU generates cumulative dose plots for each mission, and uses a Python script to generate a flight note file (.docx format) containing these plots, as well as information sections to be filled in and modified by the space weather environment officers with information specific to the week. AMREU is set up to run without requiring any user input, and it automatically archives old flight notes and information files for missions that are no longer active. My other projects involve cleaning up a large data set from the Charged Particle Directional Spectrometer (CPDS), joining together many different data sets in order to clean up information in SRAG SQL databases, and developing other automated utilities for displaying information on active solar regions, that may be used by the space weather environment officers to monitor solar activity. I consulted my mentor Dr. Ryan Rios and Dr. Kerry Lee for project requirements and added features, and ROOT developer Edmond Offermann for advice on using the ROOT library. I also received advice and feedback from Dr. Janet Barzilla of SRAG, who tested my code. Besides these inputs, I worked independently, writing all of the code by myself. The code for all these projects is documented throughout, and I have attempted to write it in a modular format. Assuming that ROOT is updated accordingly, these codes are also Y2038-compliant (and Y10K-compliant). This allows the code to be easily referenced, modified and possibly repurposed for non-ISS missions in the future, should the necessary inputs exist. These projects have taught me a lot about coding and software design - I have become a much more skilled C++ programmer and ROOT user, and I also learned to code in Python and PyROOT (and its advantages and disadvantages compared to C++/ ROOT). Furthermore, I have learned about space radiation and radiation modeling, topics that greatly interest me as I pursue a degree in physics. Working alongside experimental physicists like Dr. Rios, I have developed a greater understanding and appreciation for experimental science, something I have always leaned towards but to which I lacked significant exposure. My work in SRAG has also given me the invaluable opportunity to witness the work environment for physicists at NASA, and what a career in academia may look like at a government laboratory such as NASA Johnson Space Center. As I continue my studies and look forward to graduate school and a future career, this experience at NASA has given me a meaningful and enjoyable opportunity to put my skills to use and see what my future career path might hold.

Offermann, Jan Tuzlic↗

Error Budgets for the Exoplanet Starshade (exo-s) Probe-Class Mission Study

Exo-S is a probe-class mission study that includes the Dedicated mission, a 30 millimeters starshade co-launched with a 1.1 millimeter commercial telescope in an Earth-leading deep-space orbit, and the Rendezvous mission, a 34 millimeter starshade intended to work with a 2.4 millimeters telescope in an Earth-Sun L2 orbit. A third design, referred to as the Rendezvous Earth Finder mission, is based on a 40 millimeter starshade and is currently under study. This paper presents error budgets for the detection of Earth-like planets with each of these missions. The budgets include manufacture and deployment tolerances, the allowed thermal fluctuations and dynamic motions, formation flying alignment requirements, surface and edge reflectivity requirements, and the allowed transmission due to micrometeoroid damage.

high-contrast imaging↗

Meteorological Inventory of Rain-On-Snow Events in the Canadian Arctic Archipelago and Satellite Detection Assessment Using Passive Microwave Data

The spatial and temporal distributions of rain-on-snow (ROS) events across the Canadian Arctic Archipelago (CAA) remain poorly understood owing to their sporadic nature in time and space. This situation motivated the development of remote sensing detection algorithms. This paper uses a large meteorological dataset across the CAA to adapt an existing ROS-detection algorithm developed in a previous study by our group. Results highlight the spatial distribution and evolution of ROS occurrences reported since 1985 at 14 weather stations across the CAA. Results show that >600 ROS events were inventoried since 1985, for which >70% were classified as pure rain (liquid form) and 30% as mixed precipitation (solid/liquid). Of the pure rain events, 75% occurred during spring, 14% during fall, 8% during summer and <1% during winter. Such events can have significant impacts on ungulate grazing conditions through the creation of ice layers, causing serious problems for caribou calf survival, especially during the migration period. This paper introduces an adaptation for larger scale Arctic application of a detection algorithm (sensitivity analysis on the detection threshold) with an error of ~5%. The validation, however, remains limited due to a short study period and limited number of sites.

Canadian Arctic Archipelago (CAA)↗

Characterization of How CO2 Level May Impact Crew Performance Related to the HSIA Risk

Safety and mission critical anomalies are inevitable on NASA exploration missions. Delays and interruptions in communication with Earth-experts drives the requirement that crew resolve these anomalies on their own. The Human Factors and Behavioral Performance (HFBP) element of the NASA Human Research Program (HRP) recently stood-up the Human-System Integration Architecture (HSIA) risk. The specific risk statement is: “Given decreasing real-time ground support for execution of complex operations during future exploration missions, there is a possibility of adverse performance outcomes including that crew are unable to adequately respond to unanticipated critical malfunctions or detect safety critical procedural errors.” Reliable, on-board capabilities will need to support the crew - not only to resolve anomalies, but also to promote situation awareness (SA) and to reduce workload. Unfortunately, the present level of technological advancement limits the range of achievable intelligent support (Wu & Vera, 2019). The Human Capabilities Assessment for Autonomous Missions (HCAAM) projects were devised to identify how technology may benefit crew situation awareness and enhance crew trust in the intelligent systems. A suite of time-critical and complex exploration tasks have been identified (Holden et al., 2019) that may advance human-integration Concept of Operations (ConOps) development. This ConOps (a future HFBP directed task) along with standards and guidelines (Holden et al., 2019) may be used as the foundation for human-system requirements for a self-reliant crew. Spaceflight CO2 levels are elevated relative to terrestrial levels. Above 2.5 mmHg there is an increase in the incidence of crew headaches (Law et al., 2014) and Mission Control reports of mood and performance changes in the crew. The concern is that elevated CO2 effects may exacerbate the HSIA risk. Unfortunately, effects of higher concentrations of CO2 on performance decrements are not well established. The main goal of the current report is to identify how elevated CO2 impacts the HSIA risk. The approach taken is to trace the relationship between cognitive and motor abilities required for anomaly response with critical mission tasks and the level of technological advancement to support anomaly resolution to identify how elevated CO2 may impact the HSIA risk. The conclusion is that elevated CO2 could exacerbate the HSIA risk. Several research gaps are identified.

cognition↗