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 109 records · Page 6

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↗

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↗

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↗

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.↗

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↗

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↗

Highly Absorptive Pupil Mask Fabricated with Black Silicon

Many of NASA’s direct imaging of exoplanet missions and projects require fabricated coronagraph masks to control scattering and diffraction of light. The designed, patterned mask intended for the coronagraphic testbeds are highly absorptive in the visible range on non-metallic regions. In this work, we employed the cryogenic etching process to fabricate black silicon (BSi) to achieve a high aspect ratio (HAR) structures with higher etch rate than conventional reactive ion etching (REI). Recent bidirectional reflectance distribution function (BRDF) measurements of uniformly etched BSi on silicon wafer show highly diffusive BSi with a specular reflective component in the orders of seven magnitudes lower than the total hemispherical reflectance when the polarized or non-polarized incident beam is used.

black-silicon↗

Highly Absorptive Pupil Mask Fabricated with Black Silicon

Many of NASA’s direct imaging of exoplanet missions and projects require fabricated coronagraph masks to control scattering and diffraction of light. The designed, patterned mask intended for the coronagraphic testbeds are highly absorptive in the visible range on non-metallic regions. In this work, we employed the cryogenic etching process to fabricate black silicon (BSi) to achieve a high aspect ratio (HAR) structures with higher etch rate than conventional reactive ion etching (REI). Recent bidirectional reflectance distribution function (BRDF) measurements of uniformly etched BSi on silicon wafer show highly diffusive BSi with a specular reflective component in the orders of seven magnitudes lower than the total hemispherical reflectance when the polarized or non-polarized incident beam is used.

BRDF↗

Integrated Modeling and Development of Component-Based Embedded Software in Scala

Programming of embedded systems is challenging due to the low-level design patterns normally applied in the implementation of such systems. Furthermore, programming languages normally considered suitable for this level of programming, such as C and C++, are themselves low-level compared to more modern programming languages. We report on an effort exploring modeling and programming of embedded systems in modern high-level programming languages combining object-oriented and functional programming. We present an integration of four separate internal DSLs (libraries), considered useful for embedded program- ming, in the Scala programming language, for programming and testing component-based systems. These include a DSL for defining components and their connections, and a DSL for programming the individual components as hierarchical state machines. Two additional DSLs support testing, and include a DSL for writing temporal logic flavored test oracles for monitoring program executions, and a DSL for rule-based test input generation. The paper discusses the gap between Scala as used here and the needs for embedded systems programming.

Bocchino, Robert↗

Enabling Interconnected Science Workflows through an Adapter Approach

The INTERSECT Software framework project aims to create an open federated library that connects, coordinates, and controls systems in the scientific domain. It features the Adapter, a flexible and extensible interface inspired by the Adapter design pattern in object-oriented programming. By utilizing Adapters, the INTERSECT SDK enables effective communication and coordination within a diverse ecosystem of systems. This adaptability facilitates the execution of complex operations within the framework, promoting collaboration and efficient workflow management in scientific research. Additionally, the generalizability of Adapters and their patterns enhances their utility in other scientific software projects and challenges.

McGaha, Jesse↗

Rosette-scan video-rate atomic force microscopy: Trajectory patterning and control design

We introduce an analysis and a systematic design methodology for a novel nonraster scan method based on a rosette pattern and demonstrate its application in video-rate atomic force microscopy. This pattern is traced when the lateral axes of a parallel kinematic scanner are commanded to follow a combination of two sinusoids with identical amplitudes and different frequencies. We create an internal-model-based controller to enhance the tracking performance of this pattern and implement the scheme on a microelectromechanical system scanner. The conclusions reveal high-precision tracking of the rosette pattern in order to acquire time-lapsed atomic force microscope images at the rate of 10 frames/s.

42 ENGINEERING↗

Patterned dielectric back contact design for GaAs thermophotovoltaic devices

-Patterned-dielectric back contact structures in optoelectronic devices are designed to boost the reflectance of light from the device back surface while retaining a low-resistance pathway for electrical conductance. Their reduced light absorption at near- and sub-bandgap photon energies leads to improved luminescence in light-emitting diodes, greater photon recycling, voltage, and efficiency in photovoltaic cells, and greater recuperation of unabsorbed sub-bandgap light in thermophotovoltaic (TPV) systems. However, diffraction from the patterned features can deflect incident light in propagation directions that lead to light trapping and parasitic absorption in the cell. Here, in this article, we use rigorous coupled-wave analysis (RCWA) to study three-dimensional diffractive scattering of electromagnetic waves by periodic metal point-contact gratings on 1.42-eV GaAs TPV cells, to analyze their effect on unwanted sub-bandgap absorption in order to achieve higher TPV system efficiency. Solutions of Maxwell's equations calculated using RCWA are compared to measured sub-bandgap reflectance in experimental GaAs TPV devices with varying metal point-contact diameters and spacing. Modeling and experiments indicate decreased total reflectance due to these diffractive effects for a small point contact diameter of 1 μm, and this effect is much stronger at higher contact coverage fractions.

14 SOLAR ENERGY↗

Pattern Recognition Control Design

Spacecraft control algorithms must know the expected spacecraft response to any command to the available control effectors, such as reaction thrusters or torque devices. Spacecraft control system design approaches have traditionally relied on the estimated vehicle mass properties to determine the desired force and moment, as well as knowledge of the effector performance to efficiently control the spacecraft. A pattern recognition approach can be used to investigate the relationship between the control effector commands and the spacecraft responses. Instead of supplying the approximated vehicle properties and the effector performance characteristics, a database of information relating the effector commands and the desired vehicle response can be used for closed-loop control. A Monte Carlo simulation data set of the spacecraft dynamic response to effector commands can be analyzed to establish the influence a command has on the behavior of the spacecraft. A tool developed at NASA Johnson Space Center (Ref. 1) to analyze flight dynamics Monte Carlo data sets through pattern recognition methods can be used to perform this analysis. Once a comprehensive data set relating spacecraft responses with commands is established, it can be used in place of traditional control laws and gains set. This pattern recognition approach can be compared with traditional control algorithms to determine the potential benefits and uses.

Gambone, Elisabeth↗

Pattern Recognition Control Design

Spacecraft control algorithms must know the expected vehicle response to any command to the available control effectors, such as reaction thrusters or torque devices. Spacecraft control system design approaches have traditionally relied on the estimated vehicle mass properties to determine the desired force and moment, as well as knowledge of the effector performance to efficiently control the spacecraft. A pattern recognition approach was used to investigate the relationship between the control effector commands and spacecraft responses. Instead of supplying the approximated vehicle properties and the thruster performance characteristics, a database of information relating the thruster ring commands and the desired vehicle response was used for closed-loop control. A Monte Carlo simulation data set of the spacecraft dynamic response to effector commands was analyzed to establish the influence a command has on the behavior of the spacecraft. A tool developed at NASA Johnson Space Center to analyze flight dynamics Monte Carlo data sets through pattern recognition methods was used to perform this analysis. Once a comprehensive data set relating spacecraft responses with commands was established, it was used in place of traditional control methods and gains set. This pattern recognition approach was compared with traditional control algorithms to determine the potential benefits and uses.

Gambone, Elisabeth A.↗

Automatic processing system for shadowgraph and interference patterns

The design and operation of an automatic system for the processing of shadowgraph and interference images are described. The system includes a two-coordinate processing table with an optical system for the projection of transparent images onto the photodetector, an image filter in the photodetector field, and a device for controlling the movement of the table and transmitting information to the minicomputer.

Vereninov, I. A.↗

The Spatial Vision Tree: A Generic Pattern Recognition Engine- Scientific Foundations, Design Principles, and Preliminary Tree Design

New foundational ideas are used to define a novel approach to generic visual pattern recognition. These ideas proceed from the starting point of the intrinsic equivalence of noise reduction and pattern recognition when noise reduction is taken to its theoretical limit of explicit matched filtering. This led us to think of the logical extension of sparse coding using basis function transforms for both de-noising and pattern recognition to the full pattern specificity of a lexicon of matched filter pattern templates. A key hypothesis is that such a lexicon can be constructed and is, in fact, a generic visual alphabet of spatial vision. Hence it provides a tractable solution for the design of a generic pattern recognition engine. Here we present the key scientific ideas, the basic design principles which emerge from these ideas, and a preliminary design of the Spatial Vision Tree (SVT). The latter is based upon a cryptographic approach whereby we measure a large aggregate estimate of the frequency of occurrence (FOO) for each pattern. These distributions are employed together with Hamming distance criteria to design a two-tier tree. Then using information theory, these same FOO distributions are used to define a precise method for pattern representation. Finally the experimental performance of the preliminary SVT on computer generated test images and complex natural images is assessed.

Rahman, Zia-ur↗

Extracting Grain Orientations from EBSD Patterns of Polycrystalline Materials Using Convolutional Neural Networks

Abstract We present a deep learning approach to the indexing of electron backscatter diffraction (EBSD) patterns. We design and implement a deep convolutional neural network architecture to predict crystal orientation from the EBSD patterns. We design a differentiable approximation to the disorientation function between the predicted crystal orientation and the ground truth; the deep learning model optimizes for the mean disorientation error between the predicted crystal orientation and the ground truth using stochastic gradient descent. The deep learning model is trained using 374,852 EBSD patterns of polycrystalline nickel from simulation and evaluated using 1,000 experimental EBSD patterns of polycrystalline nickel. The deep learning model results in a mean disorientation error of 0.548° compared to 0.652° using dictionary based indexing.

Materials Science↗