Search NASA⌕ Search

SEARCH · Search NASA

Results for “Design Basis”

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 235 records · Page 13

Integrated performance and reliability specification for digital avionics systems

This paper describes an automated tool for performance and reliability assessment of digital avionics systems, called the Automated Design Tool Set (ADTS). ADTS is based on an integrated approach to design assessment that unifies traditional performance and reliability views of system designs, and that addresses interdependencies between performance and reliability behavior via exchange of parameters and result between mathematical models of each type. A multi-layer tool set architecture has been developed for ADTS that separates the concerns of system specification, model generation, and model solution. Performance and reliability models are generated automatically as a function of candidate system designs, and model results are expressed within the system specification. The layered approach helps deal with the inherent complexity of the design assessment process, and preserves long-term flexibility to accommodate a wide range of models and solution techniques within the tool set structure. ADTS research and development to date has focused on development of a language for specification of system designs as a basis for performance and reliability evaluation. A model generation and solution framework has also been developed for ADTS, that will ultimately encompass an integrated set of analytic and simulated based techniques for performance, reliability, and combined design assessment.

Brehm, Eric W.↗

Imaging spectrometers for terrestrial and planetary remote sensing - A progress report

Attention is given to two major design approaches, the 'whiskbroom' and the 'pushbroom', in the present consideration of imaging spectroscopy for both planetary and terrestrial missions. A near-IR mapping spectrometer has been developed for the Galileo Jupiter Orbiter Mission; on the basis of this design, and incorporating focal plane array technology improvements, a family of imaging spectrometers exemplified by the Visual and IR Mapping Spectrometer is under development for other planetary missions.

Wellman, John B.↗

Design, Formalization, and Verification of Decision Making for Intelligent Systems

The development of autonomous systems requires a rigorous process that can guarantee a system’s reliability in critical applications. At its core, an autonomous system bases its behavior on a well-defined decision making system. In this paper, we present a methodological basis for the design, formalization and formal verification of Decision Making systems for autonomous agents. The approach is generally applicable to operational objectives that can be functionally decomposed and subsequently represented as Hierarchical Finite State Machines. As a case study, we present the application of this method to implement a Decision Making model in Simulink. Furthermore, we present how we use NASA’s FRET tool to write requirements in structured natural language and generate formal specifications that can be automatically digested by NASA’s CoCoSim tool. Finally, we present how, by leveraging CoCoSim, we perform formal verification against the Simulink model and present analysis results.

Model-based development↗

Design, Formalization, and Verification of Decision Making for Intelligent Systems

The development of autonomous systems requires a rigorous process that can guarantee a system’s reliability in critical applications. At its core, an autonomous system bases its behavior on a well-defined decision making system. In this paper, we present a methodological basis for the design, formalization and formal verification of Decision Making systems for autonomous agents. The approach is generally applicable to operational objectives that can be functionally decomposed and subsequently represented as Hierarchical Finite State Machines. As a case study, we present the application of this method to implement a Decision Making model in Simulink. Furthermore, we present how we use NASA’s FRET tool to write requirements in structured natural language and generate formal specifications that can be automatically digested by NASA’s CoCoSim tool. Finally, we present how, by leveraging CoCoSim, we perform formal verification against the Simulink model and present analysis results.

Model-based development↗

A computer model of the electrostatic positioning system

Positioning systems based upon electrstatic forces are being developed for the containerless processing of materials that cannot use acoustic or electromagnetic positioning techniques. Currently, electrode configurations for these electrostatic systems are designed on the basis of approximate analytical calculations and past experience. A three dimensional computer model is being developed that will predict the electrostatic fields and forces for a given electrode configuration and will allow for a more rapid evaluation of proposed designs. Early results of this model are presented.

Gutt, G. M.↗

Developmental problems and their solution for the Space Shuttle main engine alternate liquid oxygen high-pressure turbopump: Anomaly or failure investigation the key

The Space Shuttle main engine (SSME) alternate high-pressure liquid oxygen pump experienced synchronous vibration and ball bearing life problems that were program threatening. The success of the program hinged on the ability to solve these development problems. The design and solutions to these problems are engirded in the lessons learned and experiences from prior programs, technology programs, and the ability to properly conduct failure or anomaly investigations. The failure investigation determines the problem cause and is the basis for recommending design solutions. For a complex problem, a comprehensive solution requires that formal investigation procedures be used, including fault trees, resolution logic, and action items worked through a concurrent engineering-multidiscipline team. The normal tendency to use an intuitive, cut-and-try approach will usually prove to be costly, both in money and time and will reach a less than optimum, poorly understood answer. The SSME alternate high-pressure oxidizer turbopump development has had two complex problems critical to program success: (1) high synchronous vibrations and (2) excessive ball bearing wear. This paper will use these two problems as examples of this formal failure investigation approach. The results of the team's investigation provides insight into the complexity of the turbomachinery technical discipline interacting/sensitivities and the fine balance of competing investigations required to solve problems and guarantee program success. It is very important to the solution process that maximum use be made of the resources that both the contractor and Government can bring to the problem in a supporting and noncompeting way. There is no place for the not-invented-here attitude. The resources include, but are not limited to: (1) specially skilled professionals; (2) supporting technologies; (3) computational codes and capabilities; and (4) test and manufacturing facilities.

Ryan, R.↗

ARC physics basis–magnetohydrodynamics

ARC is designed to produce 400 ⁢MW of net electricity and prove the commercial feasibility of a fusion power plant. In order to achieve this goal ARC has to operate with optimal core performance in a stationary scenario that minimises wear on the first wall and divertor. This requires avoiding or mitigating magnetohydrodynamic (MHD) instabilities which have the potential to not only degrade the plasma core but also lead to deleterious transient heat loads on plasma facing components. Therefore, this work aims at characterising the MHD stability of the high performance ARC scenario and inform the design of error field correction coils. Firstly, simulations of vertical displacement events show that an in-vessel coil is not needed and instead the poloidal shaping coils can be used to control vertical stability. These simulations also inform the demands on the corresponding coil power supplies. Stability analysis of the ideal kink mode with or without a conducting wall and kinetic effects suggests that the ARC baseline scenario operates deeply in the stable region. Using RDCON, tearing modes at the 𝑚/𝑛 =2/1 and 3/2 surfaces (with poloidal mode number 𝑚, and toroidal mode number 𝑛) are shown to be linearly stable, and including thermal transport effects in the rational surfaces lead to further stabilisation. However, other transient plasma instabilities can seed neoclassical tearing modes (NTMs). The marginally stable width of NTMs in ARC strongly depends on the internal inductance and can fall below 0.1% of the normalised poloidal flux. Furthermore, an empirical cross-machine model of the 𝑛 =1 error field leading to a disruption predicts a critical error field larger than SPARC but smaller than ITER. Three-dimensional coils can be designed with the Generalised Purturbed Equilbium Code based on a simple model that calculates the maximum correctable error field that is limited by the neoclassical toroidal viscosity torque. Broad scans of different coil geometries identify a set of 2 rows of off-midplane coils to be a suitable solution. It is also determined that such a set of three-dimensional coils is capable of correcting 𝑛 =2 error fields to some degree and creating strong enough 𝑛 =2 or 𝑛 =3 edge resonant perturbation fields for the suppression of edge-localised modes at reasonable coil currents. The final design of the first ARC will be further informed by results from SPARC.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

Slimmer Geminals For Accurate F12 Electronic Structure Models

The Slater-type F12 geminal length scales originally tuned for the second-order Mo̷ller-Plesset F12 method are too large for higher-order F12 methods formulated using the SP (diagonal fixed-coefficient spin-adapted) F12 ansatz. The new geminal parameters reported herein reduce the basis set incompleteness errors (BSIEs) of absolute coupled-cluster singles and doubles F12 correlation energies by a significant─and increase with the cardinal number of the basis─margin. The effect of geminal reoptimization is especially pronounced for the cc-pVXZ-F12 basis sets (specifically designed for use with F12 methods) relative to their conventional aug-cc-pVXZ counterparts. The BSIEs of relative energies are less affected, but substantial reductions can be obtained, especially for atomization energies and ionization potentials with the cc-pVXZ-F12 basis sets. The new geminal parameters are therefore recommended for all applications of high-order F12 methods, such as coupled-cluster F12 methods and transcorrelated F12 methods.

Powell, Samuel R. [Virginia Polytechnic Inst. and ↗

The design of propeller blade roots

Predicated on the assumption of certain normal conditions for engine and propeller, simple expressions for the static and dynamic stresses of propeller blade roots are evolved. They, in combination with the fatigue strength diagram of the employed material, afford for each engine power one certain operating point by which the state of stress serving as a basis for the design of the root is defined. Different stress cases must be analyzed, depending on the vibration tendency of engine and use of propeller. The solution affords an insight into the possible introduction of different size classes of propeller.

Cordes, G↗

Optimization of Designs for Nanotube-based Scanning Probes

Optimization of designs for nanotube-based scanning probes, which may be used for high-resolution characterization of nanostructured materials, is examined. Continuum models to analyze the nanotube deformations are proposed to help guide selection of the optimum probe. The limitations on the use of these models that must be accounted for before applying to any design problem are presented. These limitations stem from the underlying assumptions and the expected range of nanotube loading, end conditions, and geometry. Once the limitations are accounted for, the key model parameters along with the appropriate classification of nanotube structures may serve as a basis for the design optimization of nanotube-based probe tips.

Harik, V. M.↗

Large Scale Cryogenic Storage with Active Refrigeration

Storage and transfer of cryogenic liquefied gases on volume scales from under 10 liters for lab use, up to hundreds of millions of liters for industrial applications is of paramount importance across a vast range of industries. Traditionally, these commodities have been stored at or near the normal boiling point due to relative ease of operation and safety-related considerations; however, this also means that some percentage will always be lost due to environmental heat leaking into the vessel and causing boil-off. These losses become more concerning as scales increase, and are of particular importance for high-cost commodities such helium and hydrogen. Additionally, the normal boiling point marks the highest liquid density achievable; which becomes a strong driver of end-use system designs such as space launch vehicles. Recent development and testing of an Integrated Refrigeration and Storage (IRAS) system for liquid hydrogen has proven that next generation cryogenic storage operations such as zero boil-off and densification are feasible on a large scale. This IRAS system married an 850 Watt at 20 Kelvin reverse-Brayton cycle commercial cryogenic refrigerator with a 125,000 liter LH2 storage tank via and internal tubular heat exchanger. This allowed heat to be removed directly from the hydrogen, and by extension, provided a means to control the bulk thermodynamic state. Zero boil-off, in-situ liquefaction, and densification down to the triple point was performed during testing, and data such as fluid temperature profiles and tank pressure were gathered. Details regarding the design, setup, and testing of the IRAS system are discussed herein, and the data used to anchor various physics models created to predict the behavior of the system during transient and steady state operation. It is hoped that these efforts will provide a useful basis for the design and implementation of future large scale IRAS systems across numerous industries.

Swanger, Adam M.↗

Design of a fuel-efficient guidance system for a STOL aircraft

In the predictive mode, the system synthesizes a horizontal path from an initial aircraft position and heading to a desired final position and heading and then synthesizes a fuel-efficient speed-altitude profile along the path. In the track mode, the synthesized trajectory is reconstructed and tracked automatically. An analytical basis for the design of the system is presented and a description of the airborne computer implementation is given. A detailed discussion of the software, which should be helpful to those who use the actual software developed for these tests, is also provided.

Mclean, J. D.↗

Data acquisition/reduction system for flight testing general aviation aircraft

The development of a data acquisition/reduction system for use in the flight testing of general aviation aircraft is described. Design objectives for the system are adequate accuracy, ease of installation and removal from aircraft, simplicity of operation, and low cost. A 16-channel working system has been constructed, and tested in the collection of flight test data from a Cessna 172 aircraft, which uses as the basis of its design an AIM65 microcomputer. Data is reduced with a MINC minicomputer system. Attention is given to the onboard installation of computer, battery and transducer modules incorporated by the system.

Rummer, D. I.↗

The 'Silicon Solar Cell Design Handbook.'

The design activities are divided in the handbook into three parts, which are concerned with the light-generated current, the open-circuit voltage, and the fill factor. Each of these parts is further divided into sections, which take into account the individual regions of the device. The basis of the design data for light-generated current and of the design data related to the current-voltage characteristic is discussed together with sample design curves.

Wolf, M.↗

Simple formulas for designing an offset multibeam parabolic reflector

Theoretical methods (computer programs) which are available for analyzing reflector performance are of the 'forward' type. Performance parameters can be calculated after the configuration of the reflector is given. In many practical applications, however, the problem is often of the 'inverse' type. The reflector has to be designed on the basis of a given set of performance parameters. Attention is given to a systematic procedure based on simple formulas for solving such an inverse problem. Because of the simplicity of the formulas, the final results obtained from the procedure do not have great accuracy. Thus, they represent only a preliminary design, which can be refined by repeatedly using the forward-type programs.

Lee, S.-W.↗

The new family of JPL planetary surface vehicles

A new type of vehicle design named 'rocker-bogie' and later nicknamed 'Rocky', which has a free rocking bogie at the front of a master bogie, is presented. All Rocky design vehicles have the following in common: there are no springs or elastic members other than those used with tires; there is a single rigid body; they have very high ground clearence; all wheels are capable of being steered; the body is differentially connected between the left and right sides on a transverse axis. The basis of the design, a linkage system that distributes the weight among the wheels over a wide range of individual wheel elevations, and how this leads to superior obstacle climbing ability and superior bump performance, are explained.

Bickler, Donald B.↗

Main Chamber Injectors for Advanced Hydrocarbon Booster Engines

Achieving the highest possible specific impulse has long been a key driver for space launch systems. Recently, more importance has been placed on the need for increased reliability and streamlined launch operations. These general factors along with more specific mission requirements have provided a new focus that is centered on the oxidizer rich staged combustion (ORSC) cycle. Despite a history of use in Russia that extends back to the 1960's, a proven design methodology for ORSC cycle engines does not exist in the West. This lack of design expertise extends to the main chamber injector, a critical subcomponent that largely determines the engine performance and main chamber life. The goals of the effort described here are to establish an empirical knowledge base to provide a fundamental understanding of main chamber injectors and for verification of an injector design methodology for the ORSC cycle. The design of a baseline injector element, derived from information on Russian engines in the open literature, is presented. The baseline injector comprises a gaseous oxidizer core flow and an annular swirling fuel flow. Sets of equations describing the steady-state and the dynamic characteristics of the injector are presented; these equations, which form the basis of the design analysis methodology, will be verified in tests later this year. On-going cold flow studies, using nitrogen and water as simulants, are described which indicate highly atomized and symmetric sprays.

Long, Matthew R.↗