Search NASA⌕ Search

SEARCH · Search NASA

Results for “Modeling software”

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 613 records · Page 34
All sourcesNASA NTRSDOE OSTI
NASA NTRS2007

Modeling Carbon and Hydrocarbon Molecular Structures in EZTB

A software module that models the electronic and mechanical aspects of hydrocarbon molecules and carbon molecular structures on the basis of first principles has been written for incorporation into, and execution within, the Easy (Modular) Tight-Binding (EZTB) software infrastructure, which is summarized briefly in the immediately preceding article. Of particular interest, this module can model carbon crystals and nanotubes characterized by various coordinates and containing defects, without need to adjust parameters of the physical model. The module has been used to study the changes in electronic properties of carbon nanotubes, caused by bending of the nanotubes, for potential utility as the basis of a nonvolatile, electriccharge- free memory devices. For example, in one application of the module, it was found that an initially 50-nmlong carbon, (10,10)-chirality nanotube, which is a metallic conductor when straight, becomes a semiconductor with an energy gap of .3 meV when bent to a lateral displacement of 4 nm at the middle.

Lee, Seungwon↗
NASA NTRS2009

From Verified Models to Verifiable Code

Declarative specifications of digital systems often contain parts that can be automatically translated into executable code. Automated code generation may reduce or eliminate the kinds of errors typically introduced through manual code writing. For this approach to be effective, the generated code should be reasonably efficient and, more importantly, verifiable. This paper presents a prototype code generator for the Prototype Verification System (PVS) that translates a subset of PVS functional specifications into an intermediate language and subsequently to multiple target programming languages. Several case studies are presented to illustrate the tool's functionality. The generated code can be analyzed by software verification tools such as verification condition generators, static analyzers, and software model-checkers to increase the confidence that the generated code is correct.

Lensink, Leonard↗
NASA NTRS2010

Digital Reconstruction Supporting Investigation of Mishaps

In support of investigations of mishaps like the crash of the space shuttle Columbia, a process based on digital reconstruction from recovered components has been developed. The process is expected to reduce the need for physical reconstruction from recovered parts, reduce the time and cost of determining the cause of a mishap, and provide information useful in redesigning to prevent future mishaps. The process involves utilization of pre-existing techniques, hardware, and software to capture sizes and shapes of recovered parts in sets of digital data. The data are manipulated to enable rendering of captured geometric information by use of computer-aided design (CAD) and viewing software. The digitization of a part and study of its spatial relationship with other parts is taken to one of three levels of successively greater detail, depending on its importance to the investigation. The process includes a trajectory-analysis subprocess in which information from the digital reconstruction is combined with locations of recovered parts to reduce the area that must be searched to find other specified parts that have not yet been recovered. The digital product of the process is compatible with preexisting CAD and solid-model-rendering software.

Macy, William D.↗
NASA NTRS1991

Solar-terrestrial models at the National Space Science Data Center

The National Space Science Data Center (NSSDC) and World Data Center A for Rockets and Satellites (WDC-A-R&S) has a long record of participation in the worldwide efforts to establish and improve empirical models for the different regions of the solar-terrestrial environment. The center maintains a unique archive of solar-terrestrial models and related applications software, described in a recently published models catalog. The software packages are distributed on tape, diskette, and on-line on the Space Physics Analysis Network (SPAN). Four of the most frequently requested models (IRI, MSIS/CIRA, IGRF, AE-8/AP-8) can also be accessed and run on the NSSDC Online Documentation and Information Service (NODIS) account, which can be reached from any SPAN node.

Bilitza, D.↗
NASA NTRS2002

Structural Modeling of a Five-Meter Thin Film Inflatable Antenna/Concentrator

Inflatable structures have been the subject of renewed interest in recent years for space applications such as communications antennas, solar thermal propulsion, and space solar power. A major advantage of using inflatable structures in space is their extremely light weight. An obvious second advantage is on-orbit deployability and related space savings in the launch configuration. A recent technology demonstrator flight for inflatable structures was the Inflatable Antenna Experiment (IAE) that was deployed on orbit from the Shuttle Orbiter. Although difficulty was encountered in the inflation/deployment phase, the flight was successful overall and provided valuable experience in the use of such structures. Several papers on static structural analysis of inflated cylinders have been written, describing different techniques such as linear shell theory, and nonlinear and variational methods, but very little work had been done in dynamics of inflatable structures until recent years. In 1988 Leonard indicated that elastic beam bending modes could be utilized in approximating lower-order frequencies of inflatable beams. Main, et al. wrote a very significant 1995 paper describing results of modal tests of inflated cantilever beams and the determination of effective material properties. Changes in material properties for different pressures were also discussed, and the beam model was used in a more complex structure. The paper demonstrated that conventional finite element analysis packages could be very useful in the analysis of complex inflatable structures. The purposes of this paper are to discuss the methodology for dynamically characterizing a large 5-meter thin film inflatable reflector, and to discuss the test arrangement and results. Nonlinear finite element modal results are compared to modal test data. The work is significant and of considerable interest to researchers because of 1) the large size of the structure, making it useful for scaling studies, and 2) application of commercially available finite element software for modeling pressurized thin-film structures.

Smalley, Kurt B.↗
NASA NTRS1994

Multirate flutter suppression system design for the Benchmark Active Controls Technology Wing

To study the effectiveness of various control system design methodologies, the NASA Langley Research Center initiated the Benchmark Active Controls Project. In this project, the various methodologies will be applied to design a flutter suppression system for the Benchmark Active Controls Technology (BACT) Wing (also called the PAPA wing). Eventually, the designs will be implemented in hardware and tested on the BACT wing in a wind tunnel. This report describes a project at the University of Washington to design a multirate flutter suppression system for the BACT wing. The objective of the project was two fold. First, to develop a methodology for designing robust multirate compensators, and second, to demonstrate the methodology by applying it to the design of a multirate flutter suppression system for the BACT wing. The contributions of this project are (1) development of an algorithm for synthesizing robust low order multirate control laws (the algorithm is capable of synthesizing a single compensator which stabilizes both the nominal plant and multiple plant perturbations; (2) development of a multirate design methodology, and supporting software, for modeling, analyzing and synthesizing multirate compensators; and (3) design of a multirate flutter suppression system for NASA's BACT wing which satisfies the specified design criteria. This report describes each of these contributions in detail. Section 2.0 discusses our design methodology. Section 3.0 details the results of our multirate flutter suppression system design for the BACT wing. Finally, Section 4.0 presents our conclusions and suggestions for future research. The body of the report focuses primarily on the results. The associated theoretical background appears in the three technical papers that are included as Attachments 1-3. Attachment 4 is a user's manual for the software that is key to our design methodology.

Berg, Martin C.↗
NASA NTRS1993

Expanding the KATE toolbox

KATE (Knowledge-based Autonomous Test Engineer) is a model-based software system developed in the Artificial Intelligence Laboratory at the Kennedy Space Center for monitoring, fault detection, and control of launch vehicles and ground support systems. In order to bring KATE to the level of performance, functionality, and integratability needed for firing room applications, efforts are underway to implement KATE in the C++ programming language using an X-windows interface. Two programs which were designed and added to the collection of tools which comprise the KATE toolbox are described. The first tool, called the schematic viewer, gives the KATE user the capability to view digitized schematic drawings in the KATE environment. The second tool, called the model editor, gives the KATE model builder a tool for creating and editing knowledge base files. Design and implementation issues having to do with these two tools are discussed. It will be useful to anyone maintaining or extending either the schematic viewer or the model editor.

Thomas, Stan J.↗
NASA NTRS1998

A Fuzzy Expert System for Fault Management of Water Supply Recovery in the ALSS Project

Modeling with a new software is a challenge. CONFIG is a challenge and is design to work with many types of systems in which discrete and continuous processes occur. The CONFIG software was used to model the two subsystem of the Water Recovery system: ICB and TFB. The model worked manually only for water flows with further implementation to be done in the future. Activities in the models are stiff need to be implemented based on testing of the hardware for phase III. More improvements to CONFIG are in progress to make it a more user friendly software.

Tohala, Vapsi J.↗
NASA NTRS2008

Lagrangian Trajectory Modeling of Lunar Dust Particles

Apollo landing videos shot from inside the right LEM window, provide a quantitative measure of the characteristics and dynamics of the ejecta spray of lunar regolith particles beneath the Lander during the final 10 [m] or so of descent. Photogrammetry analysis gives an estimate of the thickness of the dust layer and angle of trajectory. In addition, Apollo landing video analysis divulges valuable information on the regolith ejecta interactions with lunar surface topography. For example, dense dust streaks are seen to originate at the outer rims of craters within a critical radius of the Lander during descent. The primary intent of this work was to develop a mathematical model and software implementation for the trajectory simulation of lunar dust particles acted on by gas jets originating from the nozzle of a lunar Lander, where the particle sizes typically range from 10 micron to 500 micron. The high temperature, supersonic jet of gas that is exhausted from a rocket engine can propel dust, soil, gravel, as well as small rocks to high velocities. The lunar vacuum allows ejected particles to travel great distances unimpeded, and in the case of smaller particles, escape velocities may be reached. The particle size distributions and kinetic energies of ejected particles can lead to damage to the landing spacecraft or to other hardware that has previously been deployed in the vicinity. Thus the primary motivation behind this work is to seek a better understanding for the purpose of modeling and predicting the behavior of regolith dust particle trajectories during powered rocket descent and ascent.

Lane, John E.↗
NASA NTRS1997

Characterizing and Modeling the Cost of Rework in a Library of Reusable Software Components

In this paper we characterize and model the cost of rework in a Component Factory (CF) organization. A CF is responsible for developing and packaging reusable software components. Data was collected on corrective maintenance activities for the Generalized Support Software reuse asset library located at the Flight Dynamics Division of NASA's GSFC. We then constructed a predictive model of the cost of rework using the C4.5 system for generating a logical classification model. The predictor variables for the model are measures of internal software product attributes. The model demonstrates good prediction accuracy, and can be used by managers to allocate resources for corrective maintenance activities. Furthermore, we used the model to generate proscriptive coding guidelines to improve programming, practices so that the cost of rework can be reduced in the future. The general approach we have used is applicable to other environments.

Basili, Victor R.↗
NASA NTRS1988

Software engineering and Ada (Trademark) training: An implementation model for NASA

The choice of Ada for software engineering for projects such as the Space Station has resulted in government and industrial groups considering training programs that help workers become familiar with both a software culture and the intricacies of a new computer language. The questions of how much time it takes to learn software engineering with Ada, how much an organization should invest in such training, and how the training should be structured are considered. Software engineering is an emerging, dynamic discipline. It is defined by the author as the establishment and application of sound engineering environments, tools, methods, models, principles, and concepts combined with appropriate standards, guidelines, and practices to support computing which is correct, modifiable, reliable and safe, efficient, and understandable throughout the life cycle of the application. Neither the training programs needed, nor the content of such programs, have been well established. This study addresses the requirements for training for NASA personnel and recommends an implementation plan. A curriculum and a means of delivery are recommended. It is further suggested that a knowledgeable programmer may be able to learn Ada in 5 days, but that it takes 6 to 9 months to evolve into a software engineer who uses the language correctly and effectively. The curriculum and implementation plan can be adapted for each NASA Center according to the needs dictated by each project.

Legrand, Sue↗
NASA NTRS1998

Compositional Specification of Software Architecture

This paper describes our experience using parameterized algebraic specifications to model properties of software architectures. The goal is to model the decomposition of requirements independent of the style used to implement the architecture. We begin by providing an overview of the role of architecture specification in software development. We then describe how architecture specifications are build up from component and connector specifications and give an overview of insights gained from a case study used to validate the method.

Penix, John↗
NASA NTRS1981

Climate model postprocessing

The development of new postprocessing software of the climate modeling group is summarized. Code, test, and perform simulations with global general circulation models are described. The models improve understanding and ability to predict the vagaries of weather and climate. To learn from and utilize the model results, it is necessary to create elaborate postprocessing software to allow analysis of the large volume of data produced. The models produce sigma history tapes. The sigma history records are interpolated to pressure history records, which are written on a pressure history tape. The model results are analyzed on pressure surfaces, with snap shots or time averages.

Abeles, J.↗
NASA NTRS2021

PEM Fuel Cell MODEL for Conceptual Design of Hydrogen eVTOL Aircraft

A model and software for design and analysis of a Proton Exchange Membrane fuel cell (PEMFC) system are developed for hydrogen eVTOL aircraft. Examples are provided of stacks designed for 80 kWe and 500 kWe net electrical power. Examples are provided of eVTOL designed for 250 and 400 lb payload. The trade-offs included stack characteristics, hydrogen storage characteristics, and aircraft payload and range. The objectives were to identify the key technology drivers of a hydrogen rotorcraft, establish technology targets for a viable aircraft, and recommend research to address the fundamental pre-competitive barriers. The current U.S. infrastructure on hydrogen informed the targets and recommendations. The key conclusion is that the advances made in cell electrochemical power density over the last decade might allow a PEMFC system to meet, or even beat, piston engine powered light-utility rotorcraft. The development must focus on the key drivers of a hydrogen eVTOL. The drivers are ultra-light stack cooling and short-term hydrogen storage. A stack system of net electrical power 100−150 kWe with specific power 1.1 kWe/kg including air, cooling, and electrical subsystems, and a tank storage of 15% weight fraction hydrogen are the minimum targets to meet the performance of a modern piston-engine rotorcraft, with a range of 180 nautical miles, payload of 400 lb, and gross weight of about 1400 lb. This is defined as the objective aircraft. If only one target is met, an aircraft of half the range could be produced, with a 30% greater gross take-off weight. This is defined as an intermediate aircraft. Because definitive conclusions are premature without weights and loads data on a flight-worthy stack system, it is recommended that a fuel cell powered hydrogen eVTOL demonstrator be built and flown. The existing hydrogen infrastructure for cars provide ample opportunity to create a pilot program. About 12 metric tons of retail hydrogen are available for cars every day in California, which is less than 0.05% of the yearly hydrogen production in the U.S.. A hypothetical fleet of 100 aircraft, operating 3 flights a day, would increase the demand by 2.25 tons per day and require 140 MWh of renewable electricity for green hydrogen.

PEM↗
NASA NTRS1975

Automatic documentation system extension to multi-manufacturers' computers and to measure, improve, and predict software reliability

The DOMONIC system has been modified to run on the Univac 1108 and the CDC 6600 as well as the IBM 370 computer system. The DOMONIC monitor system has been implemented to gather data which can be used to optimize the DOMONIC system and to predict the reliability of software developed using DOMONIC. The areas of quality metrics, error characterization, program complexity, program testing, validation and verification are analyzed. A software reliability model for estimating program completion levels and one on which to base system acceptance have been developed. The DAVE system which performs flow analysis and error detection has been converted from the University of Colorado CDC 6400/6600 computer to the IBM 360/370 computer system for use with the DOMONIC system.

Simmons, D. B.↗
NASA NTRS1981

New results on antenna arraying, part 1

Baseband combining with and without combined carrier referencing for antenna arrays are compared under two scenarios for the Voyager 2 Uranus encounter. The combined carrier reference scheme is estimated to outperform the baseband only scheme by less than 0.3 dB E (sub b)/N (sub 0) at a bit error probability of 0.005. These results were attained both with mathematical modeling and software Viterbi decoder simulations.

Deutsch, L. J.↗
NASA NTRS1982

Production of Reliable Flight Crucial Software: Validation Methods Research for Fault Tolerant Avionics and Control Systems Sub-Working Group Meeting

The state of the art in the production of crucial software for flight control applications was addressed. The association between reliability metrics and software is considered. Thirteen software development projects are discussed. A short term need for research in the areas of tool development and software fault tolerance was indicated. For the long term, research in format verification or proof methods was recommended. Formal specification and software reliability modeling, were recommended as topics for both short and long term research.

Dunham, J. R.↗