Search NASA⌕ Search

SEARCH · Search NASA

Results for “Design Patterns”

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 55 records · Page 3
All sourcesNASA NTRSDOE OSTI
NASA NTRS1972

Applications technology satellite advanced missions study, volume 1

Four different spacecraft configurations were developed for geostationary service as a high power communications satellite. The first configuration is a Thor-Delta launch into a low orbit with a spiral ascent to synchronous altitude by ion engine propulsion. The spacecraft is earth oriented with rotating solar arrays. Configuration 2 is a direct injection Atlas/Centaur/Burner II vehicle which when in orbit is sun-oriented with a rotating transponder tower. Configurations 3 and 4 are Titan IIIC launches, and are therefore larger and heavier than Configuration 2. They are both sun-oriented, with rotating transponder towers and are directly injected into orbit. Technology discussed includes high power (up to 2 kW) transmitters with collectors radiating heat directly into space, and contoured antenna patterns designed to illuminate particular earth regions. There is also a review of potential users of the services which can be performed by this type satellite in such areas as information networking, public broadcasting and educational television.

Robinson, D. L.↗
NASA NTRS1975

On development of an inexpensive, lightweight thermal micrometeroid garment for space suits

A lightweight and inexpensive coverlayer developed for space suits is described. Material selection, procurement, and testing, pattern design, and prototype fabrication are discussed. By using the minimum required cross section necessary for earth orbital mission, by utilizing the lightest weight materials possible, and by decreasing the use of weight costly taping a lightweight and economical thermal micrometeroid garment was developed. Simplification of manufacturing techniques and use of off-the-shelf materials helped to reduce costs.

Source record↗
NASA NTRS1975

A method for the determination of potentially profitable service patterns for commuter air carriers

A methodology for estimating market conception was developed as a part of the short-haul air transportation program. It is based upon an analysis of actual documents which provide a record of known travel history. Applying this methodology a forecast was made of the demand for an air feeder service between Charlottesville, Virginia and Dulles International Airport. Local business travel vouchers and local travel agent records were selected to provide the documentation. The market was determined to be profitable for an 8-passenger Cessna 402B aircraft flying a 2-hour daily service pattern designed to mesh to the best extent possible with the connecting schedules at Dulles. The Charlottesville - Dulles air feeder service market conception forecast and its methodology are documented.

Ransone, R. K.↗
NASA NTRS1976

Contamination control in hybrid microelectronic modules

Thin and thick film test specimens were utilized to study the effects of silicone and epoxy hybrid microcircuit coatings on 0.025 mm diameter aluminum and gold ultrasonic bonds, and 0.051 diameter gold pulsed-thermocompression bonds. Chip-to-substrate and substrate-to-substrate geometries were included. Because sealed packages were utilized, a test pattern design was incorporated that allowed the determination of bond failures by making resistance measurements external to the package after the various environmental tests. All wire bonds were non-destructively pull tested prior to sealing. Tests included the PIN test, temperature cycling, and high temperature storage.

Himmel, R. P.↗
NASA NTRS1976

Collimators for soft X-ray measurements

The development of X-ray grid collimators at the Los Alamos Scientific Laboratory is considered with attention given to grid design (patterns and artwork for masters, materials, layout of grid patterns), mounting techniques (index housings, L-bar and T-bar housings, U-housings, rectangular housings). Alignment techniques (adjustable frames and alignment telescope, adjustable frames and on-axis and off-axis telescopes) are considered along with test procedures (plane parallel X-ray beam, convolved response).

Blake, R. L.↗
NASA NTRS1997

Enhancement of Nucleate Boiling Heat Flux on Macro/Micro-Structured Surfaces Cooled by Multiple Impinging Jets

An experimental investigation of nucleate boiling heat transfer from modified surfaces cooled by multiple in-line impinging circular jets is reported and found to agree with single jet results. A copper block is heated from the back by two electrical arcs, and cooled on the opposite side by three identical liquid jets of distilled water at subcoolings of 25 C 50 C and 77 C and Freon 113 at 24 C subcooling. Liquid flow rates are held constant at 5, 10, and 15 GPH for each of the three jets with jet velocities ranging from 1.4 m/s to 1 1.2 m/s and jet diameters from 0.95 mm to 2.2 mm. To increase the maximum heat flux (CHF) and heat removal rate, the boiling surface was modified by both macro and micro enhancements. Macro modification consists of machined radial grooves in the boiling surface arranged in an optimally designed pattern to allow better liquid distribution along the surface. These grooves also reduce splashing of liquid droplets, and provide 'channels' to sweep away bubbles. Micro modification was achieved by flame spraying metal powder on the boiling surface, creating a porous, sintered surface. With the addition of both micro and macro structured enhancements, maximum heat flux and nucleate boiling can be enhanced by more than 200%. Examination of each surface modification separately and together indicates that at lower superheats, the micro structure provides the enhanced heat transfer by providing more nucleation sites, while for higher superheats the macro structure allows better liquid distribution and bubble removal. A correlation is presented to account for liquid subcoolings and surface enhancements, in addition to the geometrical and fluid properties previously reported in the literature.

Kugler, Scott Lee↗
NASA NTRS1999

Electrostatic Discharge (ESD) Failures in Thin Film Resistors

Field failures of nichrome thin film resistors have been investigated recently for several pieces of space flight hardware. These failures have involved resistance shifts ranging from a few percent to complete open circuits. Failure analysis and duplication of these failures have revealed that the failures were caused by electrostatic discharge. The failure characteristics and the circuit conditions necessary for failure have been studied for several types of thin film resistors including nichrome and tantalum nitride resistive elements. The effects of latent damage and resistive pattern design will also be discussed.

Hull, Scott M.↗
NASA NTRS2004

Applying Jlint to Space Exploration Software

Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly efficient static analyzer that checks a Java program for several common errors, such as null pointer exceptions, and overflow errors. It also includes checks for multi-threading problems, such as deadlocks and data races. The case study described here shows the effectiveness of Jlint in find-false positives in the multi-threading warnings gives an insight into design patterns commonly used in multi-threaded code. The results show that a few analysis techniques are sufficient to avoid almost all false positives. These techniques include investigating all possible callers and a few code idioms. Verifying the correct application of these patterns is still crucial, because their correct usage is not trivial.

Artho, Cyrille↗
NASA NTRS2001

Onyx-Advanced Aeropropulsion Simulation Framework Created

The Numerical Propulsion System Simulation (NPSS) project at the NASA Glenn Research Center is developing a new software environment for analyzing and designing aircraft engines and, eventually, space transportation systems. Its purpose is to dramatically reduce the time, effort, and expense necessary to design and test jet engines by creating sophisticated computer simulations of an aerospace object or system (refs. 1 and 2). Through a university grant as part of that effort, researchers at the University of Toledo have developed Onyx, an extensible Java-based (Sun Micro-systems, Inc.), objectoriented simulation framework, to investigate how advanced software design techniques can be successfully applied to aeropropulsion system simulation (refs. 3 and 4). The design of Onyx's architecture enables users to customize and extend the framework to add new functionality or adapt simulation behavior as required. It exploits object-oriented technologies, such as design patterns, domain frameworks, and software components, to develop a modular system in which users can dynamically replace components with others having different functionality.

Reed, John A.↗
NASA NTRS2003

Superalloy Lattice Block Developed for Use in Lightweight, High-Temperature Structures

Successful development of advanced gas turbine engines for aircraft will require lightweight, high-temperature components. Currently titanium-aluminum- (TiAl) based alloys are envisioned for such applications because of their lower density (~4 g/cm3) in comparison to superalloys (~8.5 g/cm3), which have been utilized for hot turbine engine parts for over 50 years. However, a recently developed concept (lattice block) by JAMCORP, Inc., of Willmington, Massachusetts, would allow lightweight, high-temperature structures to be directly fabricated from superalloys and, thus, take advantage of their well-known, characterized properties. In its simplest state, lattice block is composed of thin ligaments arranged in a three dimensional triangulated trusslike configuration that forms a structurally rigid panel. Because lattice block can be fabricated by casting, correctly sized hardware is produced with little or no machining; thus very low cost manufacturing is possible. Together, the NASA Glenn Research Center and JAMCORP have extended their lattice block methodology for lower melting materials, such as Al alloys, to demonstrate that investment casting of superalloy lattice block is possible. This effort required advances in lattice block pattern design and assembly, higher temperature mold materials and mold fabrication technology, and foundry practice suitable for superalloys (ref. 1). Lattice block panels have been cast from two different Ni-base superalloys: IN 718, which is the most commonly utilized superalloy and retains its strength up to 650 C; and MAR M247, which possesses excellent mechanical properties to at least 1100 C. In addition to the open-cell lattice block geometry, same-sized lattice block panels containing a thin (~1-mm-thick) solid face on one side have also been cast from both superalloys. The elevated-temperature mechanical properties of the open cell and face-sheeted superalloy lattice block panels are currently being examined, and the microstructure is being characterized in terms of casting defects. In addition, a small study (ref. 3) is being undertaken with GE Aircraft Engines to determine the suitability of superalloy lattice block for engine components.

Hebsur, Mohan G.↗
NASA NTRS2005

Decision Facilitator for Launch Operations using Intelligent Agents

Launch operations require millions of micro-decisions which contribute to the macro decision of 'Go/No-Go' for a launch. Knowledge workers"(such as managers and technical professionals) need information in a timely precise manner as it can greatly affect mission success. The intelligent agent (web search agent) uses the words of a hypertext markup language document which is connected through the internet. The intelligent agent's actions are to determine if its goal of seeking a website containing a specified target (e.g., keyword or phrase), has been met. There are few parameters that should be defined for the keyword search like "Go" and "No-Go". Instead of visiting launch and range decision making servers individually, the decision facilitator constantly connects to all servers, accumulating decisions so the final decision can be decided in a timely manner. The facilitator agent uses the singleton design pattern, which ensures that only a single instance of the facilitator agent exists at one time. Negotiations could proceed between many agents resulting in a final decision. This paper describes details of intelligent agents and their interaction to derive an unified decision support system.

Thirumalainambi, Rajkumar↗
NASA NTRS2006

General Aviation Data Framework

The Flight Research Services Directorate at the NASA Langley Research Center (LaRC) provides development and operations services associated with three general aviation (GA) aircraft used for research experiments. The GA aircraft includes a Cessna 206X Stationair, a Lancair Colombia 300X, and a Cirrus SR22X. Since 2004, the GA Data Framework software was designed and implemented to gather data from a varying set of hardware and software sources as well as enable transfer of the data to other computers or devices. The key requirements for the GA Data Framework software include platform independence, the ability to reuse the framework for different projects without changing the framework code, graphics display capabilities, and the ability to vary the interfaces and their performance. Data received from the various devices is stored in shared memory. This paper concentrates on the object oriented software design patterns within the General Aviation Data Framework, and how they enable the construction of project specific software without changing the base classes. The issues of platform independence and multi-threading which enable interfaces to run at different frame rates are also discussed in this paper.

Blount, Elaine M.↗
NASA NTRS2009

Perl Modules for Constructing Iterators

The Iterator Perl Module provides a general-purpose framework for constructing iterator objects within Perl, and a standard API for interacting with those objects. Iterators are an object-oriented design pattern where a description of a series of values is used in a constructor. Subsequent queries can request values in that series. These Perl modules build on the standard Iterator framework and provide iterators for some other types of values. Iterator::DateTime constructs iterators from DateTime objects or Date::Parse descriptions and ICal/RFC 2445 style re-currence descriptions. It supports a variety of input parameters, including a start to the sequence, an end to the sequence, an Ical/RFC 2445 recurrence describing the frequency of the values in the series, and a format description that can refine the presentation manner of the DateTime. Iterator::String constructs iterators from string representations. This module is useful in contexts where the API consists of supplying a string and getting back an iterator where the specific iteration desired is opaque to the caller. It is of particular value to the Iterator::Hash module which provides nested iterations. Iterator::Hash constructs iterators from Perl hashes that can include multiple iterators. The constructed iterators will return all the permutations of the iterations of the hash by nested iteration of embedded iterators. A hash simply includes a set of keys mapped to values. It is a very common data structure used throughout Perl programming. The Iterator:: Hash module allows a hash to include strings defining iterators (parsed and dispatched with Iterator::String) that are used to construct an overall series of hash values.

Tilmes, Curt↗
NASA NTRS2010

An Assessment of the Potential Predictability of Drought Over the United States Based on Climate Model Simulations with Specified SST

The USCLIV AR working group on drought recently initiated a series of global climate model simulations forced with idealized SST anomaly patterns, designed to address a number of uncertainties regarding the impact of SST forcing and the role of land-atmosphere feedbacks on regional drought. The runs were done with several global atmospheric models including NASA/NSIPP-l, NCEP/GFS, GFDLlAM2, and NCAR CCM3 and CAM3.5. Specific questions that the runs are designed to address include: What are mechanisms that maintain drought across the seasonal cycle and from one year to the next. To what extent can droughts develop independently of ocean variability due to year-to-year memory that may be inherent to the land. What is the role of the different ocean basins? Here we focus on the potential predictability of drought conditions over the United States. Specific issues addressed include the seasonality and regionality of the signal-to-noise ratios associated with Pacific and Atlantic SST forcing, and the sensitivity of the results to the climatological stationary waves simulated by the different AGCMs.

Schubert, Siegfried↗
NASA NTRS2009

Proceedings of the First NASA Formal Methods Symposium

Topics covered include: Model Checking - My 27-Year Quest to Overcome the State Explosion Problem; Applying Formal Methods to NASA Projects: Transition from Research to Practice; TLA+: Whence, Wherefore, and Whither; Formal Methods Applications in Air Transportation; Theorem Proving in Intel Hardware Design; Building a Formal Model of a Human-Interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering; Model Checking for Autonomic Systems Specified with ASSL; A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process; Software Model Checking Without Source Code; Generalized Abstract Symbolic Summaries; A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing; Component-Oriented Behavior Extraction for Autonomic System Design; Automated Verification of Design Patterns with LePUS3; A Module Language for Typing by Contracts; From Goal-Oriented Requirements to Event-B Specifications; Introduction of Virtualization Technology to Multi-Process Model Checking; Comparing Techniques for Certified Static Analysis; Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder; jFuzz: A Concolic Whitebox Fuzzer for Java; Machine-Checkable Timed CSP; Stochastic Formal Correctness of Numerical Algorithms; Deductive Verification of Cryptographic Software; Coloured Petri Net Refinement Specification and Correctness Proof with Coq; Modeling Guidelines for Code Generation in the Railway Signaling Context; Tactical Synthesis Of Efficient Global Search Algorithms; Towards Co-Engineering Communicating Autonomous Cyber-Physical Systems; and Formal Methods for Automated Diagnosis of Autosub 6000.

Denney, Ewen↗
NASA NTRS2011

The Effect of Boundary Support and Reflector Dimensions on Inflatable Parabolic Antenna Performance

For parabolic antennas with sufficient surface accuracy, more power can be radiated with a larger aperture size. This paper explores the performance of antennas of various size and reflector depth. The particular focus is on a large inflatable elastic antenna reflector that is supported about its perimeter by a set of elastic tendons and is subjected to a constant hydrostatic pressure. The surface accuracy of the antenna is measured by an RMS calculation, while the reflector phase error component of the efficiency is determined by computing the power density at boresight. In the analysis, the calculation of antenna efficiency is not based on the Ruze Equation. Hence, no assumption regarding the distribution of the reflector surface distortions is presumed. The reflector surface is modeled as an isotropic elastic membrane using a linear stress-strain constitutive relation. Three types of antenna reflector construction are considered: one molded to an ideal parabolic form and two different flat panel design patterns. The flat panel surfaces are constructed by seaming together panels in a manner that the desired parabolic shape is approximately attained after pressurization. Numerical solutions of the model problem are calculated under a variety of conditions in order to estimate the accuracy and efficiency of these antenna systems. In the case of the flat panel constructions, several different cutting patterns are analyzed in order to determine an optimal cutting strategy.

Coleman, Michael J.↗
NASA NTRS2014

Data Automata in Scala

The field of runtime verification has during the last decade seen a multitude of systems for monitoring event sequences (traces) emitted by a running system. The objective is to ensure correctness of a system by checking its execution traces against formal specifications representing requirements. A special challenge is data parameterized events, where monitors have to keep track of the combination of control states as well as data constraints, relating events and the data they carry across time points. This poses a challenge wrt. efficiency of monitors, as well as expressiveness of logics. Data automata is a form of automata where states are parameterized with data, supporting monitoring of data parameterized events. We describe the full details of a very simple API in the Scala programming language, an internal DSL (Domain-Specific Language), implementing data automata. The small implementation suggests a design pattern. Data automata allow transition conditions to refer to other states than the source state, and allow target states of transitions to be inlined, offering a temporal logic flavored notation. An embedding of a logic in a high-level language like Scala in addition allows monitors to be programmed using all of Scala's language constructs, offering the full flexibility of a programming language. The framework is demonstrated on an XML processing scenario previously addressed in related work.

runtime verification↗
NASA NTRS2017

Developing a General Framework for Human Autonomy Teaming

Automation has entered nearly every aspect of our lives, but it often remains hard to understand. Why is this? Automation is often brittle, requiring constant human oversight to assure it operates as intended. This oversight has become harder as automation has become more complicated. To resolve this problem, Human-Autonomy Teaming (HAT) has been proposed. HAT looks to make automation act as more of a teammate, by having it communicate with human operators in a more human, goal-directed, manner which provides transparency into the reasoning behind automated recommendations and actions. This, in turn, permits more trust in the automation when it is appropriate, and less when it is not, allowing a more targeted supervision of automated functions. This paper proposes a framework for HAT, incorporating two key tenets: bi-directional communication, and operator directed authority. We have successfully applied these tenets to integrating the autonomous constrained flight planner (an aide for planning diverts) into a dispatch station. We propose the development of general design patterns that may allow these results to be generalized to domains such as photography and automotive navigation. While these domains are very different, we find application of our HAT tenets provides a number of opportunities for improving interaction between human operators and automation.

human factors↗