SEARCH · Engineering Papers

Results for “interface problems”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 1,225 records · Page 68

All sources NASA NTRS DOE OSTI

NASA NTRS2007

Model Checker for Java Programs

Java Pathfinder (JPF) is a verification and testing environment for Java that integrates model checking, program analysis, and testing. JPF consists of a custom-made Java Virtual Machine (JVM) that interprets bytecode, combined with a search interface to allow the complete behavior of a Java program to be analyzed, including interleavings of concurrent programs. JPF is implemented in Java, and its architecture is highly modular to support rapid prototyping of new features. JPF is an explicit-state model checker, because it enumerates all visited states and, therefore, suffers from the state-explosion problem inherent in analyzing large programs. It is suited to analyzing programs less than 10kLOC, but has been successfully applied to finding errors in concurrent programs up to 100kLOC. When an error is found, a trace from the initial state to the error is produced to guide the debugging. JPF works at the bytecode level, meaning that all of Java can be model-checked. By default, the software checks for all runtime errors (uncaught exceptions), assertions violations (supports Java s assert), and deadlocks. JPF uses garbage collection and symmetry reductions of the heap during model checking to reduce state-explosion, as well as dynamic partial order reductions to lower the number of interleavings analyzed. JPF is capable of symbolic execution of Java programs, including symbolic execution of complex data such as linked lists and trees. JPF is extensible as it allows for the creation of listeners that can subscribe to events during searches. The creation of dedicated code to be executed in place of regular classes is supported and allows users to easily handle native calls and to improve the efficiency of the analysis.

Visser, Willem↗

NASA NTRS2013

Cryogenic Liquid Sample Acquisition System for Remote Space Applications

There is a need to acquire autonomously cryogenic hydrocarbon liquid sample from remote planetary locations such as the lakes of Titan for instruments such as mass spectrometers. There are several problems that had to be solved relative to collecting the right amount of cryogenic liquid sample into a warmer spacecraft, such as not allowing the sample to boil off or fractionate too early; controlling the intermediate and final pressures within carefully designed volumes; designing for various particulates and viscosities; designing to thermal, mass, and power-limited spacecraft interfaces; and reducing risk. Prior art inlets for similar instruments in spaceflight were designed primarily for atmospheric gas sampling and are not useful for this front-end application. These cryogenic liquid sample acquisition system designs for remote space applications allow for remote, autonomous, controlled sample collections of a range of challenging cryogenic sample types. The design can control the size of the sample, prevent fractionation, control pressures at various stages, and allow for various liquid sample levels. It is capable of collecting repeated samples autonomously in difficult lowtemperature conditions often found in planetary missions. It is capable of collecting samples for use by instruments from difficult sample types such as cryogenic hydrocarbon (methane, ethane, and propane) mixtures with solid particulates such as found on Titan. The design with a warm actuated valve is compatible with various spacecraft thermal and structural interfaces. The design uses controlled volumes, heaters, inlet and vent tubes, a cryogenic valve seat, inlet screens, temperature and cryogenic liquid sensors, seals, and vents to accomplish its task.

Mahaffy, Paul↗

NASA NTRS1983

Reflection of electromagnetic waves at a biaxial-isotropic interface

The reflection of electromagnetic waves at a plane boundary between isotropic and biaxial media has been investigated using the kDB approach. The general case has been considered in which the principal dielectric axes of the biaxial medium are oriented at an arbitrary angle to the normal of the plane boundary. In general, two characteristic waves propagate in the biaxial medium, leading to coupling of vertical and horizontal polarizations in the reflected waves. Some special cases are illustrated. The results have applications to problems in remote sensing and integrated optics.

Njoku, E. G.↗

NASA NTRS1972

Level 12 NASTRAN experiences at General Dynamics, Convair Aerospace Division, Fort Worth Operations

The level 12 NASTRAN was used to support the NASA/LaRC advanced transport technology study, a predesign, short response time effort. Aeroelastic analyses were performed. NASTRAN calculated the vibration modes for the supported airfoil components and the entire unsupported vehicle. Other procedures were then used for the aeroelastic analysis, with procedure interfacing accomplished through use of the NASTRAN-produced restart tape. Stiffness matrices were used in static aeroelastic analyses; natural vibration modes were used for flutter and flight control system definition. Various level 12 NASTRAN characteristics were discovered and are discussed; e.g., the ability to solve singular matrices in rigid format 1, run times using multipoint constraints, restart tape problems, and the inaccurate stresses from the quad membrane when used with anisotropic materials.

Allen, M.↗

NASA NTRS1985

Crystal Melts Under Reduced Gravity

To date, fluid motion due to thermocapillary convection and centrifugal buoyancy has been studied theoretically and numerically, by adapting specialized programs for rotating viscous fluids. It has been shown that by rotating the crystal melt, thermocapillary flow can be confined to a thin layer at the melt-gas interface even when the interfacial velocity is large enough for non-linear effects to be important. Theoretical analysis of the basic processes proceeds, but a much larger effort is now being devoted to the numerical simulation of the actual motion in a rotating crystal melt. A numerical program is under development for the study of the fully nonlinear problem. Although the flow is viewed, to start, as one of rapid rotation (in order that certain boundary layer simplifications can be invoked), a more general approach will allow consideration of the situations and conditions of real practical interest.

Greenspan, H. P.↗

NASA NTRS1990

Design of an optically controlled Ka-band GaAs MMIC phased-array antenna

Phased array antennas long were investigated to support the agile, multibeam radiating apertures with rapid reconfigurability needs of radar and communications. With the development of the Monolithic Microwave Integrated Circuit (MMIC), phased array antennas having the stated characteristics are becoming realizable. However, at K-band frequencies (20 to 40 GHz) and higher, the problem of controlling the MMICs using conventional techniques either severely limits the array size or becomes insurmountable due to the close spacing of the radiating elements necessary to achieve the desired antenna performance. Investigations were made that indicate using fiber optics as a transmission line for control information for the MMICs provides a potential solution. By adding an optical interface circuit to pre-existing MMIC designs, it is possible to take advantage of the small size, lightweight, mechanical flexibility and RFI/EMI resistant characteristics of fiber optics to distribute MMIC control signals. The architecture, circuit development, testing and integration of optically controlled K-band MMIC phased array antennas are described.

Kunath, Richard R.↗

NASA NTRS1990

Design of an optically controlled Ka-band GaAs MMIC phased-array antenna

Kunath, Richard R.↗

NASA NTRS1992

Performance data of the new free-piston shock tunnel at GALCIT

The new free-piston shock tunnel has been partially calibrated, and a range of operating conditions has been found. A large number of difficulties were encountered during the shake-down period, of which the ablation of various parts was the most severe. Solutions to these problems were found. The general principles of high-enthalpy simulation are outlined, and the parameter space covered by T5 is given. Examples of the operating data show that, with care, excellent repeatability may be obtained. The temporal uniformity of the reservoir pressure is very good, even at high enthalpy, because it is possible to operate at tailored-interface and tuned-piston conditions over the whole enthalpy range. Examples of heat transfer and Pitot-pressure measurements are also presented.

Hornung, Hans G.↗

NASA NTRS1994

A CLIPS-based expert system for the evaluation and selection of robots

This paper describes the development of a prototype expert system for intelligent selection of robots for manufacturing operations. The paper first develops a comprehensive, three-stage process to model the robot selection problem. The decisions involved in this model easily lend themselves to an expert system application. A rule-based system, based on the selection model, is developed using the CLIPS expert system shell. Data about actual robots is used to test the performance of the prototype system. Further extensions to the rule-based system for data handling and interfacing capabilities are suggested.

Nour, Mohamed A.↗

NASA NTRS2006

Design and Modelling of a Microfluidic Electro-Lysis Device with Controlling Plates

Many Lab-on-Chip applications require sample pre-treatment systems. Using electric fields to perform cell-lysis in bio-MEMS systems has provided a powerful tool which can be integrated into Lab-on-a-Chip platforms. The major design considerations for electro-lysis devices include optimal geometry and placement of micro-electrodes, cell concentration, flow rates, optimal electric field (e.g. pulsed DC vs. AC), etc. To avoid electrolysis of the flowing solution at the exposed electrode surfaces, magnitudes and the applied voltages and duration of the DC pulse, or the AC frequency of the AC, have to be optimized for a given configuration. Using simulation tools for calculation of electric fields has proved very useful, for exploring alternative configurations and operating conditions for achieving electro cell-lysis. To alleviate the problem associated with low electric fields within the microfluidics channel and the high voltage demand on the contact electrode strips, two "control plates" are added to the microfluidics configuration. The principle of placing the two controlling plate-electrodes is based on the electric fields generated by a combined insulator/dielectric (gladwater) media. Surface charges are established at the insulator/dielectric interface. This paper discusses the effects of this interface charge on the modification of the electric field of the flowing liquid/cell solution.

Jenkins, A.↗

NASA NTRS1975

Crack growth in bonded elastic half planes

Two solutions were developed for the two dimensional problem of bonded linearly elastic half-planes. For each solution, numerical results are presented for the stress intensity factors, strain energy release rate, stresses, and displacements. The behavior predicted by the studies was investigated experimentally using polymers for the material pairs. Close agreement was found for the critical stress intensity factor at fracture for the perpendicular crack near the interface. Fracture along the interface proved to be inconclusive due to difficulties in obtaining a brittle bond. Some interesting and predictable behavior regarding the potential for the crack to cross the interface was observed and is discussed.

Goree, J. G.↗

NASA NTRS1976

Early Spacelab physics and astronomy missions

Some of the scientific problems which will be investigated during the early Spacelab physics and astronomy missions are reviewed. The Solar Terrestrial Programs will include the Solar Physics Spacelab Payloads (SPSP) and the Atmospheres, Magnetospheres and Plasmas in Space (AMPS) missions. These missions will study the sun as a star and the influence of solar phenomena on the earth, including sun-solar wind interface, the nature of the solar flares, etc. The Astrophysics Spacelab Payloads (ASP) programs are divided into the Ultraviolet-Optical Astronomy and the High Energy Astrophysics areas. The themes of astrophysics Spacelab investigations will cover the nature of the universe, the fate of matter and the life cycles of stars. The paper discusses various scientific experiments and instruments to be used in the early Spacelab missions.

Chapman, R. D.↗

NASA NTRS1982

A method for determining the flight readiness of the integrated Space Shuttle system

The Space Shuttle Dynamic Integrated Test (DIT) system is described. The DIT is an open-loop system which makes no attempt to simulate Shuttle sensors, and by which the Shuttle redundancy management system is left unmodified. Open-loop operation is shown to inherently require less computing capacity during a test than the closed-loop alternative. DIT tests have generated a high degree of confidence in the Shuttle hardware, allowing the identification of such problems as a sluggish main fuel valve, which caused a countdown hold seconds before the simulated T-zero, and Main Engine Controller software malfunctions. Attention is given to the combination and substitution of sensor data, the modification of nominal flight software, and the preparation of simulation data. It is noted that greater performance would have been achieved if the interface with DIT had been a design requirement from the outset of Space Shuttle development.

Bacon, I.↗

NASA NTRS1990

Graphical explanation in an expert system for Space Station Freedom rack integration

The rationale and methodology used to incorporate graphics into explanations provided by an expert system for Space Station Freedom rack integration is examined. The rack integration task is typical of a class of constraint satisfaction problems for large programs where expertise from several areas is required. Graphically oriented approaches are used to explain the conclusions made by the system, the knowledge base content, and even at more abstract levels the control strategies employed by the system. The implemented architecture combines hypermedia and inference engine capabilities. The advantages of this architecture include: closer integration of user interface, explanation system, and knowledge base; the ability to embed links to deeper knowledge underlying the compiled knowledge used in the knowledge base; and allowing for more direct control of explanation depth and duration by the user. The graphical techniques employed range from simple statis presentation of schematics to dynamic creation of a series of pictures presented motion picture style. User models control the type, amount, and order of information presented.

Craig, F. G.↗

NASA NTRS1989

Adhesive bond evaluation using phase sensitive detection techniques

Quadrature phase detection techniques have been used to monitor the amplitude and phase of a toneburst ultrasonic wave normally reflected from adhesively-bonded steel/rubber interface. The measured phase change values of the reflected signals were found to correlate with variations in sample preparation. It was determined that measured phase shift changes were larger for samples with weaker bonds as manifested by smaller measured values of the applied tensile loads at failure. A model calculation which incorporates the concept of interfacial strength into the usual problem of wave propagation in multi-layered isotropic elastic media was used to deduce a bond-quality parameter from an experimentally measured phase shift.

Smith, Alphonso C.↗

NASA NTRS1991

Development of an intelligent diagnostic system for reusable rocket engine control

A description of an intelligent diagnostic system for the Space Shuttle Main Engines (SSME) is presented. This system is suitable for incorporation in an intelligent controller which implements accommodating closed-loop control to extend engine life and maximize available performance. The diagnostic system architecture is a modular, hierarchical, blackboard system which is particularly well suited for real-time implementation of a system which must be repeatedly updated and extended. The diagnostic problem is formulated as a hierarchical classification problem in which the failure hypotheses are represented in terms of predefined data patterns. The diagnostic expert system incorporates techniques for priority-based diagnostics, the combination of analytical and heuristic knowledge for diagnosis, integration of different AI systems, and the implementation of hierarchical distributed systems. A prototype reusable rocket engine diagnostic system (ReREDS) has been implemented. The prototype user interface and diagnostic performance using SSME test data are described.

Anex, R. P.↗

NASA NTRS1990

Knowledge acquisition and representation for the Systems Test and Operations Language (STOL) Intelligent Tutoring System (ITS)

This presentation concentrates on knowledge acquisition and its application to the development of an expert module and a user interface for an Intelligent Tutoring System (ITS). The Systems Test and Operations Language (STOL) ITS is being developed to assist NASA control center personnel in learning a command and control language as it is used in mission operations rooms. The objective of the tutor is to impart knowledge and skills that will permit the trainee to solve command and control problems in the same way that the STOL expert solves those problems. The STOL ITS will achieve this object by representing the solution space in such a way that the trainee can visualize the intermediate steps, and by having the expert module production rules parallel the STOL expert's knowledge structures.

Seamster, Thomas L.↗

NASA NTRS2001

Aspect-Oriented Programming

Computer science has experienced an evolution in programming languages and systems from the crude assembly and machine codes of the earliest computers through concepts such as formula translation, procedural programming, structured programming, functional programming, logic programming, and programming with abstract data types. Each of these steps in programming technology has advanced our ability to achieve clear separation of concerns at the source code level. Currently, the dominant programming paradigm is object-oriented programming - the idea that one builds a software system by decomposing a problem into objects and then writing the code of those objects. Such objects abstract together behavior and data into a single conceptual and physical entity. Object-orientation is reflected in the entire spectrum of current software development methodologies and tools - we have OO methodologies, analysis and design tools, and OO programming languages. Writing complex applications such as graphical user interfaces, operating systems, and distributed applications while maintaining comprehensible source code has been made possible with OOP. Success at developing simpler systems leads to aspirations for greater complexity. Object orientation is a clever idea, but has certain limitations. We are now seeing that many requirements do not decompose neatly into behavior centered on a single locus. Object technology has difficulty localizing concerns invoking global constraints and pandemic behaviors, appropriately segregating concerns, and applying domain-specific knowledge. Post-object programming (POP) mechanisms that look to increase the expressiveness of the OO paradigm are a fertile arena for current research. Examples of POP technologies include domain-specific languages, generative programming, generic programming, constraint languages, reflection and metaprogramming, feature-oriented development, views/viewpoints, and asynchronous message brokering. (Czarneclu and Eisenecker s book includes a good survey of many of these technologies).

Elrad, Tzilla↗