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 145 records · Page 8

A graphically oriented specification language for automatic code generation. GRASP/Ada: A Graphical Representation of Algorithms, Structure, and Processes for Ada, phase 1

The first phase of a three-phase effort to develop a new graphically oriented specification language which will facilitate the reverse engineering of Ada source code into graphical representations (GRs) as well as the automatic generation of Ada source code is described. A simplified view of the three phases of Graphical Representations for Algorithms, Structure, and Processes for Ada (GRASP/Ada) with respect to three basic classes of GRs is presented. Phase 1 concentrated on the derivation of an algorithmic diagram, the control structure diagram (CSD) (CRO88a) from Ada source code or Ada PDL. Phase 2 includes the generation of architectural and system level diagrams such as structure charts and data flow diagrams and should result in a requirements specification for a graphically oriented language able to support automatic code generation. Phase 3 will concentrate on the development of a prototype to demonstrate the feasibility of this new specification language.

Cross, James H., II↗

Developing a Prototype ALHAT Human System Interface for Landing

The goal of the Autonomous Landing and Hazard Avoidance Technology (ALHAT) project is to safely execute a precision landing anytime/anywhere on the moon. This means the system must operate in any lighting conditions, operate in the presence of any thruster generated regolith clouds, and operate without the help of redeployed navigational aids or prepared landing site at the landing site. In order to reach this ambitious goal, computer aided technologies such as ALHAT will be needed in order to permit these landings to be done safely. Although there will be advanced autonomous capabilities onboard future landers, humans will still be involved (either onboard as astronauts or remotely from mission control) in any mission to the moon or other planetary body. Because many time critical decisions must be made quickly and effectively during the landing sequence, the Descent and Landing displays need to be designed to be as effective as possible at presenting the pertinent information to the operator, and allow the operators decisions to be implemented as quickly as possible. The ALHAT project has established the Human System Interface (HSI) team to lead in the development of these displays and to study the best way to provide operators enhanced situational awareness during landing activities. These displays are prototypes that were developed based on multiple design and feedback sessions with the astronaut office at NASA/ Johnson Space Center. By working with the astronauts in a series of plan/build/evaluate cycles, the HSI team has obtained astronaut feedback from the very beginning of the design process. In addition to developing prototype displays, the HSI team has also worked to provide realistic lunar terrain (and shading) to simulate a "out the window" view that can be adjusted to various lighting conditions (based on a desired date/time) to allow the same terrain to be viewed under varying lighting terrain. This capability will be critical to determining the effect of terrain/lighting on the human pilot, and how they use windows and displays during landing activities. The Apollo missions were limited to about 28 possible launch days a year due to lighting and orbital constraints. In order to take advantage of more landing opportunities and venture to more challenging landing locations, future landers will need to utilize sensors besides human eyes for scanning the surface. The ALHAT HSI system must effectively convey ALHAT produced information to the operator, so that landings can occur during less "optimal" conditions (lighting, surface terrain, slopes, etc) than was possible during Apollo missions. By proving this capability, ALHAT will simultaneously provide more flexible access to the moon, and greater safety margins for future landers. This paper will specifically focus on the development of prototype displays (the Trajectory Profile Display (TPD), Landing Point Designation (LPD), and Crew Camera View (CCV) ), implementation of realistic planetary terrain, human modeling, and future HSI plans.

Hirsh, Robert L.↗

Formal Verification of Termination Criteria for First-Order Recursive Functions

This paper presents a formalization of several termination criteria for first-order recursive functions. The formalization, which is developed in the Prototype Verification System (PVS), includes the specification and proof of equivalence of semantic termination, Turing termination, size change principle, calling context graphs, and matrix-weighted graphs. These termination criteria are defined on a computational model that consists of a basic functional language called PVS0, which is an embedding of recursive first-order functions. Through this embedding, the native mechanism for checking termination of recursive functions in PVS could be soundly extended with semi-automatic termination criteria such as calling contexts graphs. As a proof of concept, this paper illustrates how such an extension can be implemented using proof strategies based on computational reflection.

Formal Verification↗

Data Analysis with Graphical Models: Software Tools

Probabilistic graphical models (directed and undirected Markov fields, and combined in chain graphs) are used widely in expert systems, image processing and other areas as a framework for representing and reasoning with probabilities. They come with corresponding algorithms for performing probabilistic inference. This paper discusses an extension to these models by Spiegelhalter and Gilks, plates, used to graphically model the notion of a sample. This offers a graphical specification language for representing data analysis problems. When combined with general methods for statistical inference, this also offers a unifying framework for prototyping and/or generating data analysis algorithms from graphical specifications. This paper outlines the framework and then presents some basic tools for the task: a graphical version of the Pitman-Koopman Theorem for the exponential family, problem decomposition, and the calculation of exact Bayes factors. Other tools already developed, such as automatic differentiation, Gibbs sampling, and use of the EM algorithm, make this a broad basis for the generation of data analysis software.

Buntine, Wray L.↗

Electromagnetic Mass and Efficiency of Magnetic Gears for Electrified Aircraft

Magnetic gears are currently being developed for use in a variety of industries such as wind and automotive, because of their higher reliability and lower maintenance cost than their mechanical counterparts. The bulk of magnetic gear development to date has focused on maximizing the technology's volumetric torque density. In contrast, the primary performance metrics for an aircraft's gear box are its mass and efficiency. To that end this paper presents a study of the achievable electromagnetic specific torque and efficiency of concentric magnetic gears. NASA's second magnetic gear prototype is used as the baseline for this study. Achievable electromagnetic specific torque and efficiency trends are presented with respect to higher level design variables such as gear ratio and radius.

Tallerico, Thomas F.↗

Assessing the Impact of Cybersecurity Attacks on Energy Systems

This paper investigates the cyber resiliency of future power systems with high penetration of distributed energy resources using advanced distributed and (or) hierarchical control architectures. Specifically, we simulate cyberattacks on three prototypical use cases, and we identify attack scenarios that are the most damaging to the overall system performance. We show that these attacks can have a significant impact on grid operation. Results provide additional insights into the robustness of the system to the most common cyberattacks.

buildings↗

Novel materials irradiation and pre-characterization plans for high-power targetry applications

The multi-megawatt proton beams that will be employed at future accelerator complexes introduce many new challenges for next-generation targetry systems, primarily due to the increased levels of beam-induced radiation damage combined with thermal shock effects during a beam pulse. Novel material classes, such as high-entropy alloys and electro-spun nanofibers are currently being investigated as materials that will be more tolerant of these effects in high beam power applications. Low-energy ion irradiation will be used for pre-screening and down selecting candidate novel materials prior to prototypic high-energy irradiation studies. Specific nano and micro-scale characterization techniques will be used to evaluate the radiation damage and thermal shock resistance of the new materials. Irradiation induced lattice spacing alteration and defect concentrations, as well as mechanical and thermal properties of the novel materials will be measured and compared to those of conventional targetry materials. This poster will detail plans for initial low-energy ion irradiation tests, and the post-irradiation examination techniques that will be used to develop and screen these novel target materials.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Umbilical connect systems.

Umbilical connect systems were studied for the purpose of developing techniques, specifications, and hardware design concepts for prototype systems to be used in the space shuttle program. New techniques are described which permit rapid and reliable mating, connection, and checkout of umbilical carrier assemblies and couplings for vehicle services (cryogenic, electrical, pneumatic, and hydraulic systems).

Valkema, D.↗

Automated Iodine Monitoring System Development (AIMS)

The operating principle of the automated iodine monitoring/controller system (AIMS) is described along with several design modifications. The iodine addition system is also discussed along with test setups and calibration; a facsimile of the optical/mechanical portion of the iodine monitor was fabricated and tested. The appendices include information on shuttle prototype AIMS, preliminary prime item development specifications, preliminary failure modes and effects analysis, and preliminary operating and maintenance instructions.

Source record↗

Multipole gas thruster design

The development of a low field strength multipole thruster operating on both argon and xenon is described. Experimental results were obtained with a 15-cm diameter multipole thruster and are presented for a wide range of discharge-chamber configurations. Minimum discharge losses were 300-350 eV/ion for argon and 200-250 eV/ion for xenon. Ion beam flatness parameters in the plane of the accelerator grid ranged from 0.85 to 0.93 for both propellants. Thruster performance is correlated for a range of ion chamber sizes and operating conditions as well as propellant type and accelerator system open area. A 30-cm diameter ion source designed and built using the procedure and theory presented here-in is shown capable of low discharge losses and flat ion-beam profiles without optimization. This indicates that by using the low field strength multipole design, as well as general performance correlation information provided herein, it should be possible to rapidly translate initial performance specifications into easily fabricated, high performance prototypes.

Isaacson, G. C.↗

Air-liquid solar collector for solar heating, combined heating and cooling, and hot water subsystems

A collection of quarterly reports consisting of the installation and layout design of the air collector system for commercial applications, completion of the preliminary design review, detailed design efforts, and preparation of the verification test plan are given. Performance specifications and performance testing of a prototype model of a two manifold, 144 tube air collector array is presented.

Source record↗

Cosmic ray detectors

Work on the MSFC emulsion laboratory microscopes in which mechanical modifications previously made were verified is reviewed, as is a design study of a large area hybrid electronic/emulsion chamber balloon flight detector system. This design is built upon the experience obtained with the highly successful MSFC/UAH hybrid instrument flown by the JACEE consortium. The design included overall system design and specification, design and fabrication of a prototype large light diffusion for Cerenkov charge detector or scintillator, design of a multiwire proportional counter array and design of the gondola or flight support system.

Gregory, John C.↗

Kernel structures for Clouds

An overview of the internal structure of the Clouds kernel was presented. An indication of how these structures will interact in the prototype Clouds implementation is given. Many specific details have yet to be determined and await experimentation with an actual working system.

Spafford, Eugene H.↗

Using hybrid expert system approaches for engineering applications

In this paper, the use of hybrid expert system shells and hybrid (i.e., algorithmic and heuristic) approaches for solving engineering problems is reported. Aspects of various engineering problem domains are reviewed for a number of examples with specific applications made to recently developed prototype expert systems. Based on this prototyping experience, critical evaluations of and comparisons between commercially available tools, and some research tools, in the United States and Australia, and their underlying problem-solving paradigms are made. Characteristics of the implementation tool and the engineering domain are compared and practical software engineering issues are discussed with respect to hybrid tools and approaches. Finally, guidelines are offered with the hope that expert system development will be less time consuming, more effective, and more cost-effective than it has been in the past.

Allen, R. H.↗

Stand Alone Pressure Measurement Device (SAPMD) for the space shuttle Orbiter, part 1

The specifications for the Stand Alone Pressure Measurement Device (SAPMD) are as follows: the SAPMD shall measure ambient pressure at the surface of the Orbiter TPS in the range of 0 to 15 pounds per square inch absolute (PSIA). Measurement will begin at solid rocket booster (SRB) ignition as sensed by appropriate vibration sensing elements in the SAPMD. Pressure and corresponding real-time data are to be recorded every one tenth second for 140 seconds and at the end of the recording period, the operation will be discontinued with the data preserved for interrogation subsequent to Orbiter re-entry and landing. The type and size of the battery shall be such as to allow the vibration sensing elements and a real-time clock to be initialized a minimum of 30 day prior to launch and still provide power as necessary to perform the 140 second data recording period after SRB ignition. Battery installation shall be in such a manner as to allow battery replacement without removing the SAPMD from its position or removing more than one TPS tile. The SAPMD must be mounted in specific locations under tile of the TPS. To accommodate such mounting, the absolute maximum physical dimensions much not exceed 6.0 inches in length, 1.5 inches in width, and 0.4 inches in height, and the device shall be of such configuration that it can be bonded to the Orbiter skin at the joint line of two TPS tiles with the pressure sensing port at the surface of the tile. The SAPMD must remain operational in the temperature range of -40 to +85 C and survive storage temperature of -55 to +125 C. The pressure port must withstand 934 C without causing damage to the TPS during entry and must remain functional at 262 C during ascent. The accuracy of the pressure measurement must be plus or minus one-half PSIA over a temperature range of 0 to +36 C. All the specifications were met and verified by prototype testing and documented in the enclosed test data. Four flight-qualified models were fabricated and of these, two were delivered and successfully flown in the cargo bay of STS-26.

Tomlinson, Bill↗

Laser ignition application in a space experiment

A laser ignition system is proposed for the Combustion Experiment Module on an orbiting spacecraft. The results of a design study are given using the scheduled 'Flame Ball Experiment' as the design guidelines. Three laser ignition mechanisms and wavelengths are evaluated. A prototype laser is chosen and its specifications are given, followed by consideration of the beam optical arrangement, the ignition power requirement, the laser ignition system weight, size, reliability, and laser cooling and power consumption. Electromagnetic interference to the onboard electronics caused by the laser ignition process is discussed. Finally, ground tests are suggested.

Liou, Larry C.↗

Fabry-Perot Interferometer for Column CO2: Airborne

Global atmospheric CO2 measurements are essential to resolving significant discrepancies in our understanding of the global carbon budget and, hence, humankind's role in global climate change. The science measurement requirements for CO2 are, however, extremely demanding (precision approximately 0.3%). We are developing a novel application of a Fabry-Perot interferometer to detect spectral absorption of reflected sunlight by CO2 and O2 in the atmosphere that should be able to achieve sufficient sensitivity and signal-to-noise to measure column CO2 at the target specification. We are currently constructing a prototype instrument for deployment on aircraft. The aircraft version will measure total column CO2 and CO2 below the aircraft as well as O2, which allows normalization of CO2 column amounts for varying surface height and pressure. This instrument will be a valuable asset in carbon budget field studies as well as a useful tool for evaluating existing and future space-based CO2 measurements. We will present the instrument concept, sensitivity calculations, and the results of testing a bench system in the laboratory and outdoors on the ground. We will also discuss our plan for deployment on the aircraft and potential flight applications to the CO2 budget problem.

Kawa, S. R.↗

Rapid Prototyping in PVS

PVSio is a conservative extension to the PVS prelude library that provides basic input/output capabilities to the PVS ground evaluator. It supports rapid prototyping in PVS by enhancing the specification language with built-in constructs for string manipulation, floating point arithmetic, and input/output operations.

Munoz, Cesar A.↗