SEARCH · Search NASA
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.
The topics are covered in viewgraph form and include the following: objectives; current initiatives; the Space Research Initiative Program; the Cape San Blas Launch Program; and Spaceport Florida Laboratories.
Explore the source record for details and available documents.
This paper is intended to demonstrate the feasibility of a solution to a fault tolerant control problem. It explains, through a numerical example, the design and the operation of a novel scheme for fault tolerant control. The fundamental principle of the scheme was formalized in [5] based on the notion of normalized nonspecificity. The novelty lies with the use of a reliability criterion for redundancy management, and therefore leads to a high overall system reliability.
The Wide-Field Infrared Explorer (WIRE) Archive and Research Facility (WARF) is operated and maintained by the Department of Physics, USAF Academy. The lab is located in Fairchild Hall, 2354 Fairchild Dr., Suite 2A103, USAF Academy, CO 80840. The WARF will be used for research and education in support of the NASA Wide Field Infrared Explorer (WIRE) satellite, and for related high-precision photometry missions and activities. The WARF will also contain the WIRE preliminary and final archives prior to their delivery to the National Space Science Data Center (NSSDC). The WARF consists of a suite of equipment purchased under several NASA grants in support of WIRE research. The core system consists of a Red Hat Linux workstation with twin 933 MHz PIII processors, 1 GB of RAM, 133 GB of hard disk space, and DAT and DLT tape drives. The WARF is also supported by several additional networked Linux workstations. Only one of these (an older 450 Mhz PIII computer running Red Hat Linux) is currently running, but the addition of several more is expected over the next year. In addition, a printer will soon be added. The WARF will serve as the primary research facility for the analysis and archiving of data from the WIRE satellite, together with limited quantities of other high-precision astronomical photometry data from both ground- and space-based facilities. However, the archive to be created here will not be the final archive; rather, the archive will be duplicated at the NSSDC and public access to the data will generally take place through that site.
The prediction of noise generation and radiation by turbulence has been the subject of continuous research for over fifty years. The essential problem is how to model the noise sources when one s knowledge of the detailed space-time properties of the turbulence is limited. We attempted to provide a comparison of models based on acoustic analogies and recent alternative models. Our goal was to demonstrate that the predictive capabilities of any model are based on the choice of the turbulence property that is modeled as a source of noise. Our general definition of an acoustic analogy is a rearrangement of the equations of motion into the form L(u) = Q, where L is a linear operator that reduces to an acoustic propagation operator outside a region upsilon; u is a variable that reduces to acoustic pressure (or a related linear acoustic variable) outside upsilon; and Q is a source term that can be meaningfully estimated without knowing u and tends to zero outside upsilon.
Explore the source record for details and available documents.
This position paper is intended to recommend the minimum certificate and rating requirements for a pilot to operate an Unmanned Aircraft System (UAS) in the National Airspace System. The paper will recommend the minimum requirements based on the Knowledge, Skills, and Abilities (KSA) required of a UAS pilot and show how those compare to the KSAs required by regulation for manned-aircraft pilots. The paper will provide substantiation based on studies conducted using analyses, simulation and flight experience. The paper is not yet complete; only initial working material is included. The material provided describes the body of work completed thus far and the plan for remaining tasks to complete the recommendation. The HSI Pilot KSA document provides an analysis of the knowledge, skills, and abilities required for UAS operation in the NAS. It is the source document used for the position paper.
1.HMTA responsibilities: a) Assure program/project compliance with Agency health and medical requirements at identified key decision points. b) Certify that programs/projects comply with Agency health and medical requirements prior to spaceflight missions. c) Assure technical excellence. 2. Designation of applicable NASA Centers for HMTA implementation and Chief Medical Officer (CMO) appointment. 3. Center CMO responsible for HMTA implementation for programs and projects at the center. JSC HMTA captured in "JSC HMTA Implementation Plan". 4. Establishes specifics of dissenting opinion process consistent with NASA procedural requirements.
The following presentation describes three out of numerous documents that the Safety and Mission Assurance organization utilizes to mitigate possible hazards that can be present in Exploration Ground Systems.
The focus of the NRA contract is to develop a What-if Analysis Tool for planning Departure Management Programs (DMP) at airports. This final report summarizes the work conducted throughout the base year, with a focus on use case specification for the what-if analysis capability and the implementation of the What-if Analysis Tool and its application to traffic and weather scenarios at Charlotte Douglas International Airport (CLT).
The focus of the NRA contract is to develop a What-if Analysis Tool for planning Departure Management Programs (DMP) at airports. This final report summarizes the work conducted throughout the option year, with a focus on use case specification for the what-if analysis capability and the implementation of the What-if Analysis Tool and its application to traffic and weather scenarios at Charlotte Douglas International Airport (CLT).
Correction to: Scientific Reports https://doi.org/10.1038/s41598-018-37304-0, published online 30 January 2019
Correction to: Scientific Reports https://doi.org/10.1038/s41598-018-37304-0, published online 30 January 2019
Upon arrival at Saturn, Cassini will execute numerous low-altitude flybys of Titan and a few targeted icy satellite flybys. At the closest approach altitudes, the spacecraft must use its thrusters in order to overcome the external torques, maintain attitude control, and perform the required science slews.
Explore the source record for details and available documents.
Explore the source record for details and available documents.
Requirements specification and analysis is widely applied to ensure the correctness of industrial systems in safety critical domains. Requirements are often initially written in natural language, which is highly ambiguous, and as a second step transformed into a language with rigorous semantics for formal analysis. [Question/problem] In this paper, we report on our experience in requirements creation and analysis, as well as run-time monitor generation using the Formal Requirement Elicitation Tool (FRET), on an industrial case study for a Lift-Plus-Cruise concept aircraft. [Principal ideas/results] We study the creation of requirements directly in the structured language of FRET without a prior definition of the same requirements in natural language. We focus on requirements describing state machines and discuss the challenges that we faced, in terms of creating requirements and generating monitors. We demonstrate how realizability, i.e., checking whether a requirements specification can be implemented, is crucial for understanding temporal interdependencies among requirements. [Contribution] Our study is the first complete attempt at using FRET to create industrial, realizable requirements and generate run-time monitors. Insight from lessons learned was materialized into new features in the FRET and JKind analysis frameworks.