Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “prototype specifications”

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 559 records · Page 31
All sourcesNASA NTRSDOE OSTI
NASA NTRSDate not supplied

A Formal Verification Framework for Runtime Assurance

The simplex architecture is an instance of Runtime Assurance (RTA) where a trusted component takes control of a safety-critical system when an untrusted component violates a safety property. This paper presents a formalization of the simplex RTA framework in the language of hybrid programs. A feature of this formal verification framework is that, for a given system, a specific instantiation can be created and its safety properties are guaranteed by construction. Instantiations may be kept at varying levels of generality, allowing for black box components, such as ML/AI-based controllers, to be modeled. The framework is written in the Prototype Verification System (PVS) using Plaidypvs, an embedding of differential dynamic logic in PVS. As a proof of concept, the framework is illustrated on an automatic vehicle braking system.

Runtime assurance↗
NASA NTRSDate not supplied

A Formal Verification Framework for Runtime Assurance

The simplex architecture is an instance of Runtime Assurance (RTA) where a trusted component takes control of a safety-critical system when an untrusted component violates a safety property. This paper presents a formalization of the simplex RTA framework in the language of hybrid programs. A feature of this formal verification framework is that, for a given system, a specific instantiation can be created and its safety properties are guaranteed by construction. Instantiations may be kept at varying levels of generality, allowing for black box components, such as ML/AI-based controllers, to be modeled. The framework is written in the Prototype Verification System (PVS) using Plaidypvs, an embedding of differential dynamic logic in PVS. As a proof of concept, the framework is illustrated on an automatic vehicle braking system.

Runtime assurance↗
NASA NTRS1975

Processor architectures utilizing magnetic bubble and semi-conductor memories

To aid work being conducted on the feasibility of a low cost Omega navigational receiver, a control panel was designed and constructed according to supplied specifications. Since the proposed Omega receiver is designed around a microprocessor, software engineering necessary for control panel operation is included in the design. The control panel is to be used as an operational model for use in the design of a prototype receiver. A detailed description of the hardware design is presented along with a description of the software needed to operate the panel. A complete description of the operating procedures for the panel are also included.

Parrish, E. A., Jr.↗
NASA NTRS1985

A parameterization technique for nonlinear spectral models

An objective parameterization technique is developed for general nonlinear hydrodynamical systems. The typical structure of hydrodynamical systems, regardless of their complexity, is one in which the rates of change of the dependent variables depend on homogeneous quadratic and linear forms, as well as on inhomogeneous forcing terms. As a prototype of the generic problem containing this typical structure, the parameterization technique is applied to various three component subsets of a five component nonlinear spectral model of forced, dissipative quasi-geostrophic flow in a channel. The results obtained lead to specification of the necessary data coverage requirements for applying the technique in general.

Gelaro, R.↗
NASA NTRS1986

A parameterization technique for nonlinear spectral models

An objective parameterization technique is developed for general nonlinear hydrodynamical systems. The typical structure of hydrodynamical systems, regardless of their complexity, is one in which the rates of change of the dependent variables depend on homogeneous quadratic and linear forms, as well as on inhomogeneous forcing terms. As a prototype of the generic problem containing this typical structure, the parameterization technique is applied to various three component subsets of a five component nonlinear spectral model of forced, dissipative quasi-geostrophic flow in a channel. The results obtained lead to specification of the necessary data coverage requirements for applying the technique in general.

Gelaro, R.↗
NASA NTRS1997

Database Development for Electrical, Electronic, and Electromechanical (EEE) Parts for the International Space Station Alpha

More effective electronic communication processes are needed to transfer contractor and international partner data into NASA and prime contractor baseline database systems. It is estimated that the International Space Station Alpha (ISSA) parts database will contain up to one million parts each of which may require database capabilities for approximately one thousand bytes of data for each part. The resulting gigabyte database must provide easy access to users who will be preparing multiple analyses and reports in order to verify as-designed, as-built, launch, on-orbit, and return configurations for up to 45 missions associated with the construction of the ISSA. Additionally, Internet access to this data base is strongly indicated to allow multiple user access from clients located in many foreign countries. This summer's project involved familiarization and evaluation of the ISSA Electrical, Electronic, and Electromechanical (EEE) Parts data and the process of electronically managing these data. Particular attention was devoted to improving the interfaces among the many elements of the ISSA information system and its global customers and suppliers. Additionally, prototype queries were developed to facilitate the identification of data changes in the data base, verifications that the designs used only approved parts, and certifications that the flight hardware containing EEE parts was ready for flight. This project also resulted in specific recommendations to NASA for further development in the area of EEE parts database development and usage.

Wassil-Grimm, Andrew D.↗
NASA NTRS2001

Production of Bulk and Fiber Glass in Space

The production of bulk glass and fiber glass in space and on the moon and Mars should lead to superior products. Specifically glass plates for windows and optical elements could be produced with theoretical strengths by production in vacuum. Water vapor is known to decrease glass strength by up to two orders of magnitude from theoretical. A low gravity glass plate apparatus prototype has been designed and built which uses centrifugal force to shape the glass and solar energy to melt the glass. Glass fiber could be produced on the moon or Mars from in-situ materials using standard technologies. This material could then be used as reinforcement in composite materials in construction of bases. Also, it has been shown that processing in reduced gravity suppresses crystallization in certain heavy metal fluoride glasses. It is proposed to reprocess optical fiber preforms on the space station and then pull these into optical fiber. It is estimated that the attenuation coefficient should be reduced by two orders of magnitude.

Tucker, Dennis S.↗
NASA NTRS2003

Rapid Prototyping of an Aircraft Model in an Object-Oriented Simulation

A team was created to participate in the Mars Scout Opportunity. Trade studies determined that an aircraft provided the best opportunity to complete the science objectives of the team. A high fidelity six degree of freedom flight simulation was required to provide credible evidence that the aircraft design fulfilled mission objectives and to support the aircraft design process by providing performance evaluations. The team created the simulation using the Langley Standard Real-Time Simulation in C++ (LaSRS++) application framework. A rapid prototyping approach was necessary because the team had only three months to both develop the aircraft simulation model and evaluate aircraft performance as the design and mission parameters matured. The design of LaSRS++ enabled rapid-prototyping in several ways. First, the framework allowed component models to be designed, implemented, unit-tested, and integrated quickly. Next, the framework provides a highly reusable infrastructure that allowed developers to maximize code reuse while concentrating on aircraft and mission specific features. Finally, the framework reduces risk by providing reusable components that allow developers to build a quality product with a compressed testing cycle that relies heavily on unit testing of new components.

Kenney, P. Sean↗
NASA NTRS2000

FACET: Future ATM Concepts Evaluation Tool

FACET (Future ATM Concepts Evaluation Tool) is an Air Traffic Management research tool being developed at the NASA Ames Research Center. This paper describes the design, architecture and functionalities of FACET. The purpose of FACET is to provide E simulation environment for exploration, development and evaluation of advanced ATM concepts. Examples of these concepts include new ATM paradigms such as Distributed Air-Ground Traffic Management, airspace redesign and new Decision Support Tools (DSTs) for controllers working within the operational procedures of the existing air traffic control system. FACET is currently capable of modeling system-wide en route airspace operations over the contiguous United States. Airspace models (e.g., Center/sector boundaries, airways, locations of navigation aids and airports) are available from databases. A core capability of FACET is the modeling of aircraft trajectories. Using round-earth kinematic equations, aircraft can be flown along flight plan routes or great circle routes as they climb, cruise and descend according to their individual aircraft-type performance models. Performance parameters (e.g., climb/descent rates and speeds, cruise speeds) are obtained from data table lookups. Heading, airspeed and altitude-rate dynamics are also modeled. Additional functionalities will be added as necessary for specific applications. FACET software is written in Java and C programming languages. It is platform-independent, and can be run on a variety of computers. FACET has been designed with a modular software architecture to enable rapid integration of research prototype implementations of new ATM concepts. There are several advanced ATM concepts that are currently being implemented in FACET airborne separation assurance, dynamic density predictions, airspace redesign (re-sectorization), benefits of a controller DST for direct-routing, and the integration of commercial space transportation system operations into the U.S. National Airspace System (NAS).

Bilmoria, Karl D.↗
NASA NTRS2006

A Roadmap for Using Agile Development in a Traditional Environment

One of the newer classes of software engineering techniques is called 'Agile Development'. In Agile Development software engineers take small implementation steps and, in some cases they program in pairs. In addition, they develop automatic tests prior to implementing their small functional piece. Agile Development focuses on rapid turnaround, incremental planning, customer involvement and continuous integration. Agile Development is not the traditional waterfall method or even a rapid prototyping method (although this methodology is closer to Agile Development). At Jet Propulsion Laboratory (JPL) a few groups have begun Agile Development software implementations. The difficulty with this approach becomes apparent when Agile Development is used in an organization that has specific criteria and requirements handed down for how software development is to be performed. The work at the JPL is performed for the National Aeronautics and Space Agency (NASA). Both organizations have specific requirements, rules and procedure for developing software. This paper will discuss the some of the initial uses of the Agile Development methodology, the spread of this method and the current status of the successful incorporation into the current JPL development policies.

Agile Development↗
NASA NTRS2009

A Novel Method for Quantifying Helmeted Field of View of a Space Suit - And What it Means for Constellation

Field of view has always been a design feature paramount to helmet design, and in particular spacesuit design, where the helmet must provide an adequate field of view for a large range of activities, environments, and body positions. Historically, suited field of view has been evaluated either qualitatively in parallel with design or quantitatively using various test methods and protocols. As such, oftentimes legacy suit field of view information is either ambiguous for lack of supporting data or contradictory to other field of view tests performed with different subjects and test methods. This paper serves to document a new field of view testing method that is more reliable and repeatable than its predecessors. It borrows heavily from standard field of vision tests such as the Goldmann kinetic perimetry test, but is designed specifically for evaluating field of view of a spacesuit helmet. In this test, three suits utilizing three different helmet designs were tested for field of view. Not only do these tests provide more reliable field of view data for legacy and prototype helmet designs, they also provide insight into how helmet design impacts field of view and what this means for the Constellation Project spacesuit helmet, which must meet stringent field of view requirements that are more generous to the crewmember than legacy designs.

McFarland, Shane M.↗
NASA NTRS2010

A Novel Method for Quantifying Helmeted Field of View of a Spacesuit - And What It Means for Constellation

Field of view has always been a design feature paramount to helmet design, and in particular spacesuit design, where the helmet must provide an adequate field of view for a large range of activities, environments, and body positions. Historically, suited field of view has been evaluated either qualitatively in parallel with design or quantitatively using various test methods and protocols. As such, oftentimes legacy suit field of view information is either ambiguous for lack of supporting data or contradictory to other field of view tests performed with different subjects and test methods. This paper serves to document a new field of view testing method that is more reliable and repeatable than its predecessors. It borrows heavily from standard ophthalmologic field of vision tests such as the Goldmann kinetic perimetry test, but is designed specifically for evaluating field of view of a spacesuit helmet. In this test, four suits utilizing three different helmet designs were tested for field of view. Not only do these tests provide more reliable field of view data for legacy and prototype helmet designs, they also provide insight into how helmet design impacts field of view and what this means for the Constellation Project spacesuit helmet, which must meet stringent field of view requirements that are more generous to the crewmember than legacy designs.

McFarland, Shane M.↗
NASA NTRS2005

Hexagonal and Pentagonal Fractal Multiband Antennas

Multiband dipole antennas based on hexagonal and pentagonal fractals have been analyzed by computational simulations and functionally demonstrated in experiments on prototypes. These antennas are capable of multiband or wide-band operation because they are subdivided into progressively smaller substructures that resonate at progressively higher frequencies by virtue of their smaller dimensions. The novelty of the present antennas lies in their specific hexagonal and pentagonal fractal configurations and the resonant frequencies associated with them. These antennas are potentially applicable to a variety of multiband and wide-band commercial wireless-communication products operating at different frequencies, including personal digital assistants, cellular telephones, pagers, satellite radios, Global Positioning System receivers, and products that combine two or more of the aforementioned functions. Perhaps the best-known prior multiband antenna based on fractal geometry is the Sierpinski triangle antenna (also known as the Sierpinski gasket), shown in the top part of the figure. In this antenna, the scale length at each iteration of the fractal is half the scale length of the preceding iteration, yielding successive resonant frequencies related by a ratio of about 2. The middle and bottom parts of the figure depict the first three iterations of the hexagonal and pentagonal fractals along with typical dipole-antenna configuration based on the second iteration. Successive resonant frequencies of the hexagonal fractal antenna have been found to be related by a ratio of about 3, and those of the pentagonal fractal antenna by a ratio of about 2.59.

Tang, Philip W.↗
NASA NTRS2014

Advanced Extravehicular Activity Pressure Garment Requirements Development

The NASA Johnson Space Center advanced pressure garment technology development team is addressing requirements development for exploration missions. Lessons learned from the Z‐2 high fidelity prototype development have reiterated that clear low‐level requirements and verification methods reduce risk to the government, improve efficiency in pressure garment design efforts, and enable the government to be a smart buyer. The expectation is to provide requirements at the specification level that are validated so that their impact on pressure garment design is understood. Additionally, the team will provide defined verification protocols for the requirements. However, in reviewing exploration space suit high level requirements there are several gaps in the team's ability to define and verify related lower level requirements. This paper addresses the efforts in requirement areas such as mobility/fit/comfort and environmental protection (dust, radiation, plasma, secondary impacts) to determine the by what method the requirements can be defined and use of those methods for verification. Gaps exist at various stages. In some cases component level work is underway, but no system level effort has begun, in other cases no effort has been initiated to close the gap. Status of ongoing efforts and potential approaches to open gaps are discussed.

Ross, Amy↗
NASA NTRS2009

Fast and Adaptive Lossless On-Board Hyperspectral Data Compression System for Space Applications

Efficient on-board lossless hyperspectral data compression reduces the data volume necessary to meet NASA and DoD limited downlink capabilities. The techniques also improves signature extraction, object recognition and feature classification capabilities by providing exact reconstructed data on constrained downlink resources. At JPL a novel, adaptive and predictive technique for lossless compression of hyperspectral data was recently developed. This technique uses an adaptive filtering method and achieves a combination of low complexity and compression effectiveness that far exceeds state-of-the-art techniques currently in use. The JPL-developed 'Fast Lossless' algorithm requires no training data or other specific information about the nature of the spectral bands for a fixed instrument dynamic range. It is of low computational complexity and thus well-suited for implementation in hardware, which makes it practical for flight implementations of pushbroom instruments. A prototype of the compressor (and decompressor) of the algorithm is available in software, but this implementation may not meet speed and real-time requirements of some space applications. Hardware acceleration provides performance improvements of 10x-100x vs. the software implementation (about 1M samples/sec on a Pentium IV machine). This paper describes a hardware implementation of the JPL-developed 'Fast Lossless' compression algorithm on a Field Programmable Gate Array (FPGA). The FPGA implementation targets the current state of the art FPGAs (Xilinx Virtex IV and V families) and compresses one sample every clock cycle to provide a fast and practical real-time solution for Space applications.

image compression↗
NASA NTRS2019

Design, Prototyping, and Testing of a Novel Flowpath with an Array of Six 3D Matrix Vitvo Bioreactors for the NASA Bioculture System

The NASA Bioculture System is an advanced cell culture closed-loop system containing highly automated flowpaths designed to conduct long term biology experiments on ISS with earth remote controllable medium flow, temperature, gas composition, medium exchange, cell sampling and fixation. This technology was already demonstrated with successful cardiomyocyte and osteocyte cultures experiments onboard the ISS and is now supporting NASA PI science. The Bioculture System, however, can only support 10 cassettes with disposable flowpaths, each containing a single hollow fiber bioreactor with a culture capacity of about 2ml. This constraint not only severely limits the number of investigators that can conduct experiments in space, but also subjects the experiments to limitations in the number of replicates and conditions that can be studied. To address these limitations, we sought a novel design solution to maximize the number of separate bioreactor cultures and volume that can be conducted simultaneously. To this end we designed, prototyped, and are now testing a six-Vitvo 3D Matrix 2ml bioreactor insert that replaces the conventional Bioculture System hollow fiber bioreactor. This design will allow the Bioculture System to support up to 60 different bioreactors and samples at once. Specifically, the novel gas-tight containment housing insert contains six COTS Rigenerand VITVO bioreactors stacked on each side of a heat sink powered by the existing heating element and pair of temperature sensors. Medium will be distributed into each bioreactor's cell-free chamber via its built-in Luer connector, then across the 3D matrix to the cell chamber, dissipating laminar flow and limiting fluid shear stresses that might mechanostimulate cell cultures. Gas (5% CO2 in air) will be supplied directly to the bioreactor gas-tight housing for exchange via the bioreactor flat-surface gas-permeable membranes, eliminating the need for the existing Bioculture System cassette oxygenator. If successfully implemented on ISS, this new multi-bioreactor insert for the Bioculture System has the potential to make real-time cell science experimentation in space more efficient and accessible to more investigators.

Ma, Kristin R.↗
NASA NTRS2022

Towards an Implementation of Differential Dynamic Logic in PVS

This paper describes an ongoing effort to embed and verify differential dynamic logic (dL) in the Prototype Verification System (PVS). dL is a logic for specifying and formally reasoning about hybrid systems, which employ both continuous and discrete dynamics. There are several benefits of this effort. First, the embedding of dL in PVS offers an independent formal verification of the semantics and rules of dL. Second, the embedding is fully operational within PVS, giving PVS practitioners the ability to use dL in the formal specification and verification process. Third, the rich specification language, type system, and powerful interactive prover of PVS can be used on dL objects. In addition to the embedding and verification of dL, a custom extension for Visual Studio Code has been developed, so that a stylized dL syntax can be used to specify hybrid programs and their properties.

Differential Dynamic Logic↗
NASA NTRS1978

System design package for SIMS prototype system 4, solar heating and domestic hot water

The system consisted of a modular designed prepackaged solar unit, containing solar collectors, a rock storage container, blowers, dampers, ducting, air-to-water heat exchanger, DHW preheat tank, piping, and system controls. The system was designed to be installed adjacent to a small single family dwelling. The description, performance specification, subsystem drawings, verification plan/procedure, and hazard analysis of the system were packaged for evaluation.

Source record↗