Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Application Development”

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 1,135 records · Page 63

Determining structural performance

An overview is given of the methods and concepts developed to enhance and predict structural dynamic characteristics of advanced aeropropulsion systems. Aeroelasticity, Vibration Control, Dynamic Systems, and Computational Structural Methods are four disciplines that make up the research program at NASA/Lewis Research Center. The Aeroelasticity program develops analytical and experimental methods to minimize flutter and forced vibration of aerospace propulsion systems. Both frequency domain and time domain methods have been developed for applications on the turbofan, turbopump, and advanced turboprop. To improve life and performance, the Vibration Control program conceives, analyzes, develops, and demonstrates new methods to control vibrations in aerospace systems. Active and passive vibration control is accomplished with electromagnetic dampers, magnetic bearings, and piezoelectric crystals to control rotor vibrations. The Dynamic Systems program analyzes and verifies the dynamics of interacting systems, as well as develops concepts and methods for high-temperature dynamic seals. The Computational Structural Methods program uses computer science to improve solutions of structural problems.

Ernst, Michael A.↗

Utility of Emulation and Simulation Computer Modeling of Space Station Environmental Control and Life Support Systems

Over the years, computer modeling has been used extensively in many disciplines to solve engineering problems. A set of computer program tools is proposed to assist the engineer in the various phases of the Space Station program from technology selection through flight operations. The development and application of emulation and simulation transient performance modeling tools for life support systems are examined. The results of the development and the demonstration of the utility of three computer models are presented. The first model is a detailed computer model (emulation) of a solid amine water desorbed (SAWD) CO2 removal subsystem combined with much less detailed models (simulations) of a cabin, crew, and heat exchangers. This model was used in parallel with the hardware design and test of this CO2 removal subsystem. The second model is a simulation of an air revitalization system combined with a wastewater processing system to demonstrate the capabilities to study subsystem integration. The third model is that of a Space Station total air revitalization system. The station configuration consists of a habitat module, a lab module, two crews, and four connecting nodes.

Yanosy, James L.↗

Interactive access and management for four-dimensional environmental data sets using McIDAS

Significant accomplishments in the past year are presented and include the following: (1) enhancements to VIS-5D; (2) Implementation of the VIS AD System; and (3) numerical modeling applications. Focus of current research and plans for next year in the following areas are briefly discussed: (1) continued development and application of the VIS-AD system; (2) further enhancements to VIS-5D; and (3) plans for modeling applications.

Hibbard, William L.↗

The Pixon Method for Data Compression Image Classification, and Image Reconstruction

As initially proposed, this program had three goals: (1) continue to develop the highly successful Pixon method for image reconstruction and support other scientist in implementing this technique for their applications; (2) develop image compression techniques based on the Pixon method; and (3) develop artificial intelligence algorithms for image classification based on the Pixon approach for simplifying neural networks. Subsequent to proposal review the scope of the program was greatly reduced and it was decided to investigate the ability of the Pixon method to provide superior restorations of images compressed with standard image compression schemes, specifically JPEG-compressed images.

Puetter, Richard↗

A View from Above Without Leaving the Ground

In order to deliver accurate geospatial data and imagery to the remote sensing community, NASA is constantly developing new image-processing algorithms while refining existing ones for technical improvement. For 8 years, the NASA Regional Applications Center at Florida International University has served as a test bed for implementing and validating many of these algorithms, helping the Space Program to fulfill its strategic and educational goals in the area of remote sensing. The algorithms in return have helped the NASA Regional Applications Center develop comprehensive semantic database systems for data management, as well as new tools for disseminating geospatial information via the Internet.

Source record↗

Environment Modeling Using Runtime Values for JPF-Android

Software applications are developed to be executed in a specific environment. This environment includes external native libraries to add functionality to the application and drivers to fire the application execution. For testing and verification, the environment of an application is simplified abstracted using models or stubs. Empty stubs, returning default values, are simple to generate automatically, but they do not perform well when the application expects specific return values. Symbolic execution is used to find input parameters for drivers and return values for library stubs, but it struggles to detect the values of complex objects. In this work-in-progress paper, we explore an approach to generate drivers and stubs based on values collected during runtime instead of using default values. Entry-points and methods that need to be modeled are instrumented to log their parameters and return values. The instrumented applications are then executed using a driver and instrumented libraries. The values collected during runtime are used to generate driver and stub values on- the-fly that improve coverage during verification by enabling the execution of code that previously crashed or was missed. We are implementing this approach to improve the environment model of JPF-Android, our model checking and analysis tool for Android applications.

Verification↗

Unified constitutive materials model development and evaluation for high-temperature structural analysis applications

Unified constitutive material models were developed for structural analyses of aircraft gas turbine engine hot section components with particular application to an isotropic material used for combustor liners. Differential forms of models independently developed were considered in this study. These models combine the interactions of time-dependent (creep) and time-independent (plasticity) inelastic behavior of a material. Predicted stress-strain responses from these models were evaluated against cyclic isothermal and nonisothermal test results for uniaxial specimens of a nickel-base superalloy. The unified models were implemented in a nonlinear structural analysis code. Two unique NASA Lewis test facilities were used in the evaluation of the models for complex geometry specimens and evaluation of advanced temperature and high-temperature strain measurement instrumentation. Predicted nonlinear structural responses from one of the models for a flat plate and a segment of a conventional combustor liner are presented.

Thompson, R. L.↗

Development of porcelain enamel passive thermal control coatings

A white porcelain enamel coating was developed for application to high temperature metallic alloy substrates on spacecraft. The coating consists of an optically opacifying zirconia pigment, a lithia-zirconia-silica frit, and an inorganic pigment dispersant. The coating is fired at 1000 to 1150 C to form the enamel. The coating has a solar absorptance of 0.22 and a total normal emittance of 0.82 for a 0.017 cm thick coating. The coating exhibits excellent adhesion, cleanability, and integrity and is thermal shock resistant to 900 C. Capability to coat large panels has been demonstrated by successful coating of 30 cm x 30 cm Hastelloy X alloy panels. Preliminary development of low temperature enamels for application to aluminum and titanium alloy substrates was initiated. It was determined that both leaded and leadless frits were feasible when applied with appropriate mill fluxes. Indications were that opacification could be achieved at firing temperatures below 540 C for extended periods of time.

Levin, H.↗

Interoperability through standardization: Electronic mail, and X Window systems

Since the introduction of computing machines, there has been continual advances in computer and communication technologies and approaching limits. The user interface has evolved from a row of switches, character based interface using teletype terminals and then video terminals, to present day graphical user interface. It is expected that next significant advances will come in the availability of services, such as electronic mail and directory services, as the standards for applications are developed and in the 'easy to use' interfaces, such as Graphical User Interface for example Window and X Window, which are being standardized. Various proprietary electronic mail (email) systems are in use within organizations at each center of NASA. Each system provides email services to users within an organization, however the support for email services across organizations and across centers exists at centers to a varying degree and is often easy to use. A recent NASA email initiative is intended 'to provide a simple way to send email across organizational boundaries without disruption of installed base.' The initiative calls for integration of existing organizational email systems through gateways connected by a message switch, supporting X.400 and SMTP protocols, to create a NASA wide email system and for implementation of NASA wide email directory services based on OSI standard X.500. A brief overview of MSFC efforts as a part of this initiative are described. Window based graphical user interfaces make computers easy to use. X window protocol has been developed at Massachusetts Institute of Technology in 1984/1985 to provide uniform window based interface in a distributed computing environment with heterogenous computers. It has since become a standard supported by a number of major manufacturers. Z Windows systems, terminals and workstations, and X Window applications are becoming available. However impact of its use in the Local Area Network environment on the network traffic are not well understood. It is expected that the use of X Windows systems will increase at MSFC especially for Unix based systems. An overview of X Window protocol is presented and its impact on the network traffic is examined. It is proposed that an analytical model of X Window systems in the network environment be developed and validated through the use of measurements to generate application and user profiles.

Amin, Ashok T.↗

Overview of Advanced Stirling and Gas Turbine Engine Development Programs and Implications for Solar Thermal Electrical Applications

The DOE automotive advanced engine development projects managed by the NASA Lewis Research Center were described. These included one Stirling cycle engine development and two air Brayton cycle development. Other engine research activities included: (1) an air Brayton engine development sponsored by the Gas Research Institute, and (2) plans for development of a Stirling cycle engine for space use. Current and potential use of these various engines with solar parabolic dishes were discussed.

Alger, D.↗

Development of an improved mirror facet for space applications

A fabrication technique was successfully developed for a metallic aluminum honeycomb, high-accuracy, lightweight, and long-life solar concentrator (mirror) for Advanced Solar Dynamic Space Power Systems. The program scope was limited to the development, fabrication, evaluation, and delivery of a solar concentrator facet (petal) that was sized for a 2-meter deployable solar concentrator. A surface accuracy of 1.0 mrad was achieved. The development incorporated tooling design, material selection, facet forming, adhesive selection, testing, and analysis. Techniques for applying levelizing, reflective, and protective optical coatings were also developed.

Schertz, Paul↗

Fiber optic TV direct

The objective of the operational television (OTV) technology was to develop a multiple camera system (up to 256 cameras) for NASA Kennedy installations where camera video, synchronization, control, and status data are transmitted bidirectionally via a single fiber cable at distances in excess of five miles. It is shown that the benefits (such as improved video performance, immunity from electromagnetic interference and radio frequency interference, elimination of repeater stations, and more system configuration flexibility) can be realized if application of the proven fiber optic transmission concept is used. The control system will marry the lens, pan and tilt, and camera control functions into a modular based Local Area Network (LAN) control network. Such a system does not exist commercially at present since the Television Broadcast Industry's current practice is to divorce the positional controls from the camera control system. The application software developed for this system will have direct applicability to similar systems in industry using LAN based control systems.

Kassak, John E.↗

Probability approach for strength calculations

The use of probabilistic structural analysis methods (PSAM) to predict structural reliability is the subject of an on-going NASA research program. The elements of the new technology developed to date is reported. Applications of the developed software to structural problems are demonstrated for simple validation problems and for large scale application problems. On-going research to support component and system reliability predictions suitable for analytical certification of aerospace structures is briefly reviewed.

Chamis, Christos C.↗

Formal design specification of a Processor Interface Unit

This report describes work to formally specify the requirements and design of a processor interface unit (PIU), a single-chip subsystem providing memory-interface bus-interface, and additional support services for a commercial microprocessor within a fault-tolerant computer system. This system, the Fault-Tolerant Embedded Processor (FTEP), is targeted towards applications in avionics and space requiring extremely high levels of mission reliability, extended maintenance-free operation, or both. The need for high-quality design assurance in such applications is an undisputed fact, given the disastrous consequences that even a single design flaw can produce. Thus, the further development and application of formal methods to fault-tolerant systems is of critical importance as these systems see increasing use in modern society.

Fura, David A.↗

Storage needs in future supercomputer environments

As the computing capacity of the Lawrence Livermore National Laboratory (LLNL) systems is increased and new applications are developed, the need for archival capacity will increase. The hardware and software architectures that will be needed to support advanced applications are discussed. Viewgraphs are included.

Coleman, Sam↗

In-Space Manufacturing: Pioneering a Sustainable Path to Mars

In order to provide meaningful impacts to exploration technology needs, the In-Space Manufacturing (ISM) Initiative must influence exploration systems design now. In-space manufacturing offers: dramatic paradigm shift in the development and creation of space architectures; efficiency gain and risk reduction for low Earth orbit and deep space exploration; and "pioneering" approach to maintenance, repair, and logistics leading to sustainable, affordable supply chain model. In order to develop application-based capabilities in time to support NASA budget and schedule, ISM must be able to leverage the significant commercial developments, which requires innovative, agile collaborative mechanisms (contracts, challenges, SBIR's, etc.); and NASA-unique investments to focus primarily on adapting the technologies and processes to the microgravity environment. We must do the foundational work - it is the critical path for taking these technologies from lab curiosities to institutionalized capabilities: characterize, certify, institutionalize, design for Additive Manufacturing (AM). Ideally, International Space Station (ISS) U.S. lab rack or partial rack space should be identified for in-space manufacturing utilization in order to continue technology development of a suite of capabilities required for exploration missions, as well as commercialization on ISS.

Werkheiser, Niki↗

Formal Methods in the Development of Highly Assured Software for Unmanned Aircraft Systems

In traditional software development methodologies, operational and functional requirements of systems are often specified in structured natural language notations. These restricted notations provide good documentation support, but only provide limited support for semantic analysis. These notations are generally not rich enough to unambiguously specify the requirements of safety-critical systems that, for example, involve complex numerical computations or that interact with the physical environment. Examples of these safety-critical systems are autonomous vehicles such as unmanned aircraft systems. This talk advocates the use of expressive formal logics, such as higher-order logic, to specify the operational and functional requirement of unmanned systems and to prove the correctness of these requirements. Semantic analysis of requirements written in higher-order logic is supported through the use of interactive theorem provers. Formal models serve as ideal reference implementations of functional requirements. Hence, formal logics enable software validation techniques where software implementations can be checked against functional requirements in a mechanical way. The Formal Methods group in the Safety-Critical Avionics Systems Branch at NASA Langley Research Center has conducted research on the development and application of formal verification techniques to safety-critical applications of interest to NASA for more than 30 years. This talk illustrates the use of formal methods in the development of highly-assured autonomous unmanned aircraft systems.

Formal Methods↗

The selection of materials technologies for full-scale development

Candidate material technologies offering the largest application payoff for the least development costs and the least risk should be selected for full-scale development funding. A cost/benefit methodology is developed to rate candidate material and process opportunities for future aircraft engine applications. A development cost estimate and risk analysis is compared with the economic benefit to establish a ranking of the candidate advanced technologies. Also included are examples of this methodology as applied to high-strength HIP turbine disks, advanced oxide dispersion strengthened burner liners, and ceramic first-stage high-pressure turbine vanes.

Aronstamm, G. A.↗