Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “automated experiments”

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 775 records · Page 43
All sourcesNASA NTRSDOE OSTI
NASA NTRS2004

An Empirical Evaluation of Automated Theorem Provers in Software Certification

We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligations which are then processed by an automated first-order theorem prover (ATP). We discuss the unique requirements this application places on the ATPs, focusing on automation, proof checking, and usability. For full automation, however, the obligations must be aggressively preprocessed and simplified, and we demonstrate how the individual simplification stages, which are implemented by rewriting, influence the ability of the ATPs to solve the proof tasks. Our results are based on 13 certification experiments that lead to more than 25,000 proof tasks which have each been attempted by Vampire, Spass, e-setheo, and Otter. The proofs found by Otter have been proof-checked by IVY.

Denney, Ewen↗
NASA NTRS2007

Analysis of Thermal Control Coatings on MISSE for Aerospace Applications

Many different passive thermal control materials were flown as part of the Materials on International Space Station Experiment. Engineers and scientists at the Marshall Space Flight Center have analyzed a number of these materials, including: Zinc oxide/potassium silicate coating, Zinc oxide/potassium silicate/silicone coating, Zinc orthotitanate/potassium silicate coating, Electrically conductive thermal control coatings and Various coatings for part marking, automated rendezvous and capture, and astronaut visual aids These and other material samples were exposed to the low Earth orbital environment of atormc oxygen, ultraviolet radiation, thermal cycling, and hard vacuum, though atomic oxygen exposure was very limited for some samples. Solar absorptance, infrared emittance, and mass measurements indicate the durability of these materials to withstand the space environment. The effect of contamination from an active space station on the performance of white thermal control coatings is discussed.

Finckenor, Miria↗
NASA NTRS2009

Detecting Phase Boundaries in Hard-Sphere Suspensions

A special image-data-processing technique has been developed for use in experiments that involve observation, via optical microscopes equipped with electronic cameras, of moving boundaries between the colloidal-solid and colloidal-liquid phases of colloidal suspensions of monodisperse hard spheres. During an experiment, it is necessary to adjust the position of a microscope to keep the phase boundary within view. A boundary typically moves at a speed of the order of microns per hour. Because an experiment can last days or even weeks, it is impractical to require human intervention to keep the phase boundary in view. The present image-data-processing technique yields results within a computation time short enough to enable generation of automated-microscope-positioning commands to track the moving phase boundary

McDowell, Mark↗
NASA NTRS1985

Space Station crew workload - Station operations and customer accommodations

The features of the Space Station which permit crew members to utilize work time for payload operations are discussed. The user orientation, modular design, nonstressful flight regime, in space construction, on board control, automation and robotics, and maintenance and servicing of the Space Station are examined. The proposed crew size, skills, and functions as station operator and mission specialists are described. Mission objectives and crew functions, which include performing material processing, life science and astronomy experiments, satellite and payload equipment servicing, systems monitoring and control, maintenance and repair, Orbital Maneuvering Vehicle and Mobile Remote Manipulator System operations, on board planning, housekeeping, and health maintenance and recreation, are studied.

Shinkle, G. L.↗
NASA NTRSDate not supplied

Open e2e Testing Initiative with Open MCT

Open MCT (Open Mission Control Technologies) is a next-generation mission control framework for visualization of data on desktop and mobile devices. It is developed at NASA’s Ames Research Center, and is being used by NASA for data analysis of spacecraft missions, as well as planning and operation of experimental rover systems. This advanced application needs an advanced battery of tests… and you! In this talk, we’ll outline how the Open MCT project is leveraging the testing community to write mission critical e2e tests. We’ll start with the unique (and not so unique) requirements of Open MCT test automation and how they’re addressed with Playwright. Next, we’ll detail the approach to open sourcing the tests and associated challenges. We’ll end with some lessons learned and detail how you can get started testing NASA Open MCT — no previous experience with javascript or web testing required!

John Hill↗
NASA NTRS1969

Experience factors in performing periodic physical evaluations

The lack of scientific basis in the so-called periodic health examinations on military personnel inclusive of the Executive Health Program is outlined. This latter program can well represent a management tool of the company involved in addition to being a status symbol. A multiphasic screening technique is proposed in conjunction with an automated medical history questionnaire for preventive occupational medicine methodology. The need to collate early sickness consultation or clinic visit histories with screening techniques is emphasized.

Hoffman, A. A.↗
NASA NTRS1987

Artificial intelligence and space power systems automation

Various applications of artificial intelligence to space electrical power systems are discussed. An overview is given of completed, on-going, and planned knowledge-based system activities. These applications include the Nickel-Cadmium Battery Expert System (NICBES) (the expert system interfaced with the Hubble Space Telescope electrical power system test bed); the early work with the Space Station Experiment Scheduler (SSES); the three expert systems under development in the space station advanced development effort in the core module power management and distribution system test bed; planned cooperation of expert systems in the Core Module Power Management and Distribution (CM/PMAD) system breadboard with expert systems for the space station at other research centers; and the intelligent data reduction expert system under development.

Weeks, David J.↗
NASA NTRS1999

On Orbit Testing of the Video Guidance Sensor

The Video Guidance Sensor (VGS), part of NASA's Automated Rendezvous and Capture program, was flown on Shuttle mission STS-95 in October of 1998 to orbitally test the functional characteristics of the VGS. This was the second flight of the VGS (the first flight was in 1997 on STS-87), and this time long-range tracking data was gathered during the experiment. The flight experiment sensor was designed to operate from 1.5 meter range out to 110 meter range, with a field-of-view of 16 X 21 degrees. The VGS tracked its target at a 5 Hz rate and returned 6-degree-of-freedom information on the target's position and attitude relative to the sensor. The VGS was mounted in the Shuttle cargo bay, and its target was mounted on the Spartan spacecraft being carried on this mission. The orbital testing of the VGS included operations with the target on the Shuttle's Remote Manipulator System (RMS) at the start of the 10-day mission, long-range data during the Shuttle rendezvous with the Spartan two days later, and some more RMS operations later in the mission. The data returned from the orbital testing included VGS diagnostics, acquisition, and tracking data, RMS positions, hand-held laser range data, tapes of the data from the VGS video camera, and orbital positioning data from the Spartan and the Shuttle to allow correlation of the VGS data with orbital best-estimate-of-truth data. The Video Guidance Sensor performed well in all phases of the testing, and the VGS is being incorporated into the ground testing of a complete automated rendezvous and docking system. Work on the development of the next generation VGS is continuing

Howard, Richard T.↗
NASA NTRS1988

Ground operation of space-based telerobots will enhance productivity

Due to the limited human resources which will be available on the U.S. Space Station, automation and robotics technologies are being developed to enhance the productivity on the Space Station. The need for space telerobots which can be operated from the ground is explored, taking into consideration the resulting time delay, the technology involved, and some currently planned experiments. The proposed experiments include a remote link with the Kennedy Space Center robotics laboratory and the Telerobot Intelligent Interface Flight Experiment (TRIIFEX). It is concluded that there is a need to develop and implement ground-remote telerobotics technology which can effectively operate in the time-delay environment. This capability will enable servicing operations in polar and geosynchronous orbits and assist EVA astronauts on the Space Station.

Schober, Wayne R.↗
NASA NTRS1995

Results from GROCSE I: A real-time search for gamma ray burst optical counterparts

The GROCSE I experiment (Gamma-Ray Optical Counterpart Search Experiment) is a rapid slewing wide field of view optical telescope at Lawrence Livermore National Laboratory which responds to triggers from the BATSE GRB data telemetry stream that have been processed and distributed by the BACODINE network. GROCSE 1 has been in continuous automated operation since January 1994. As of October 1995, sky images for 22 GRB triggers have been recorded, in some cases while the burst was still emitting gamma rays. The preliminary analysis of eight of these events are presented here. No optical counterparts have yet been detected. Limits for optical emission are given.

Lee, B.↗
NASA NTRS1997

BATSE imaging survey of the Galactic plane

The burst and transient source experiment (BATSE) onboard the Compton Gamma Ray Observatory (CGRO) provides all sky monitoring capability, occultation analysis and occultation imaging which enables new and fainter sources to be searched for in relatively crowded fields. The occultation imaging technique is used in combination with an automated BATSE image scanner, allowing an analysis of large data sets of occultation images for detections of candidate sources and for the construction of source catalogs and data bases. This automated image scanner system is being tested on archival data in order to optimize the search and detection thresholds. The image search system, its calibration results and preliminary survey results on archival data are reported on. The aim of the survey is to identify a complete sample of black hole candidates in the galaxy and constrain the number of black hole systems and neutron star systems.

Grindlay, J. E.↗
NASA NTRS2003

Intelligent Machines in the 21st Century: Automating the Processes of Inference and Inquiry

The last century saw the application of Boolean algebra toward the construction of computing machines, which work by applying logical transformations to information contained in their memory. The development of information theory and the generalization of Boolean algebra to Bayesian inference have enabled these computing machines. in the last quarter of the twentieth century, to be endowed with the ability to learn by making inferences from data. This revolution is just beginning as new computational techniques continue to make difficult problems more accessible. However, modern intelligent machines work by inferring knowledge using only their pre-programmed prior knowledge and the data provided. They lack the ability to ask questions, or request data that would aid their inferences. Recent advances in understanding the foundations of probability theory have revealed implications for areas other than logic. Of relevance to intelligent machines, we identified the algebra of questions as the free distributive algebra, which now allows us to work with questions in a way analogous to that which Boolean algebra enables us to work with logical statements. In this paper we describe this logic of inference and inquiry using the mathematics of partially ordered sets and the scaffolding of lattice theory, discuss the far-reaching implications of the methodology, and demonstrate its application with current examples in machine learning. Automation of both inference and inquiry promises to allow robots to perform science in the far reaches of our solar system and in other star systems by enabling them to not only make inferences from data, but also decide which question to ask, experiment to perform, or measurement to take given what they have learned and what they are designed to understand.

Knuth, Kevin H.↗
NASA NTRS2004

Using Automated Theorem Provers to Certify Auto-Generated Aerospace Software

We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligations which are then processed by an automated first-order theorem prover (ATP). For full automation, however, the obligations must be aggressively preprocessed and simplified We describe the unique requirements this places on the ATP and demonstrate how the individual simplification stages, which are implemented by rewriting, influence the ability of the ATP to solve the proof tasks. Experiments on more than 25,000 tasks were carried out using Vampire, Spass, and e-setheo.

Denney, Ewen↗
NASA NTRS2011

Role of the Controller in an Integrated Pilot-Controller Study for Parallel Approaches

Closely spaced parallel runway operations have been found to increase capacity within the National Airspace System but poor visibility conditions reduce the use of these operations [1]. Previous research examined the concepts and procedures related to parallel runways [2][4][5]. However, there has been no investigation of the procedures associated with the strategic and tactical pairing of aircraft for these operations. This study developed and examined the pilot s and controller s procedures and information requirements for creating aircraft pairs for closely spaced parallel runway operations. The goal was to achieve aircraft pairing with a temporal separation of 15s (+/- 10s error) at a coupling point that was 12 nmi from the runway threshold. In this paper, the role of the controller, as examined in an integrated study of controllers and pilots, is presented. The controllers utilized a pairing scheduler and new pairing interfaces to help create and maintain aircraft pairs, in a high-fidelity, human-in-the loop simulation experiment. Results show that the controllers worked as a team to achieve pairing between aircraft and the level of inter-controller coordination increased when the aircraft in the pair belonged to different sectors. Controller feedback did not reveal over reliance on the automation nor complacency with the pairing automation or pairing procedures.

Verma, Savvy↗
NASA NTRSDate not supplied

AMO-EXPRESS-2.5: Crew Autonomy Onboard the International Space Station

NASA is committed to landing American astronauts, including the first woman and the next man, on the Moon by 2024. Currently, the crew cannot take on all functions performed by the ground today, so the future crews will need more automation to reduce the crew workload for future missions. Of significant importance for these missions is the balance between crew autonomy and vehicle automation. The Advanced Exploration Systems (AES) Autonomous Systems and Operations (ASO) Project has been investigating the ability to evaluate crew self-scheduling and activity monitoring for future space missions. The ASO project designed the Autonomous Mission and Operations- EXpedite the PRocessing of Experiments to Space Station Rack-2.5 (AMO-EXPRESS-2.5) payload to evaluate crew self-scheduling and activity monitoring. The AMO-EXPRESS-2.5 builds on the previous AMO-EXPRESS and AMO-EXPRESS-2.0 demonstrations on ISS. The AMO-EXPRESS-2.5 demonstration goals are to prove crew self-scheduling by planning through diagnosing systems expertise, failure detection, procedure recommendation and situational awareness. This paper will describe the development, test and execution results of the AMO-EXPRESS-2.5 demonstration, and will also outline the future planned development and operational efforts to enable autonomy for future deep space manned missions.

Brooke C. Allen↗
NASA NTRS1987

A controlled experiment on the impact of software structure on maintainability

The impact of software structure on maintainability aspects including comprehensibility, locality, modifiability, and reusability in a distributed system environment is studied in a controlled maintenance experiment involving six medium-size distributed software systems implemented in LADY (language for distributed systems) and six in an extended version of sequential PASCAL. For all maintenance aspects except reusability, the results were quantitatively given in terms of complexity metrics which could be automated. The results showed LADY to be better suited to the development of maintainable software than the extension of sequential PASCAL. The strong typing combined with high parametrization of units is suggested to improve the reusability of units in LADY.

Rombach, Dieter H.↗
NASA NTRS1994

Customizing the JPL Multimission Ground Data System: Lessons learned

The Multimission Ground Data System (MGDS) at NASA's Jet Propulsion Laboratory has brought improvements and new technologies to mission operations. It was designed as a generic data system to meet the needs of multiple missions and avoid re-inventing capabilities for each new mission and thus reduce costs. It is based on adaptable tools that can be customized to support different missions and operations scenarios. The MGDS is based on a distributed client/server architecture, with powerful Unix workstations, incorporating standards and open system architectures. The distributed architecture allows remote operations and user science data exchange, while also providing capabilities for centralized ground system monitor and control. The MGDS has proved its capabilities in supporting multiple large-class missions simultaneously, including the Voyager, Galileo, Magellan, Ulysses, and Mars Observer missions. The Operations Engineering Lab (OEL) at JPL has been leading Customer Adaptation Training (CAT) teams for adapting and customizing MGDS for the various operations and engineering teams. These CAT teams have typically consisted of only a few engineers who are familiar with operations and with the MGDS software and architecture. Our experience has provided a unique opportunity to work directly with the spacecraft and instrument operations teams and understand their requirements and how the MGDS can be adapted and customized to minimize their operations costs. As part of this work, we have developed workstation configurations, automation tools, and integrated user interfaces at minimal cost that have significantly improved productivity. We have also proved that these customized data systems are most successful if they are focused on the people and the tasks they perform and if they are based upon user confidence in the development team resulting from daily interactions. This paper will describe lessons learned in adapting JPL's MGDS to fly the Voyager, Galileo, and Mars Observer missions. We will explain how powerful, existing ground data systems can be adapted and packaged in a cost effective way for operations of small and large planetary missions. We will also describe how the MGDS was adapted to support operations within the Galileo Spacecraft Testbed. The Galileo testbed provided a unique opportunity to adapt MGDS to support command and control operations for a small autonomous operations team of a handful of engineers flying the Galileo Spacecraft flight system model.

Murphy, Susan C.↗
NASA NTRS1998

Space Manufacturing: The Next Great Challenge

Space manufacturing encompasses the research, development and manufacture necessary for the production of any product to be used in near zero gravity, and the production of spacecraft required for transporting research or production devices to space. Manufacturing for space, and manufacturing in space will require significant breakthroughs in materials and manufacturing technology, as well as in equipment designs. This report reviews some of the current initiatives in achieving space manufacturing. The first initiative deals with materials processing in space, e.g., processing non-terrestrial and terrestrial materials, especially metals. Some of the ramifications of the United States Microgravity Payloads fourth (USMP-4) mission are discussed. Some problems in non-terrestrial materials processing are mentioned. The second initiative is structures processing in space. In order to accomplish this, the International Space Welding Experiment was designed to demonstrate welding technology in near-zero gravity. The third initiative is advancements in earth-based manufacturing technologies necessary to achieve low cost access to space. The advancements discussed include development of lightweight material having high specific strength, and automated fabrication and manufacturing methods for these materials.

Whitaker, Ann F.↗