SEARCH · Engineering Papers
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.
We describe a genome compiler which complies s-expressions to machine code, resulting in significant speedup of individual evaluations over standard GP systems.
Winters with frequent atmospheric blocking, in a band of latitudes from Greenland to Western Europe, are found to persist over several decades and correspond to a warm North Atlantic Ocean. This is evident in atmospheric reanalysis data, both modern and for the full 20th century. Blocking is approximately in phase with Atlantic multidecadal ocean variability (AMV). Wintertime atmospheric blocking involves a highly distorted jetstream, isolating large regions of air from the westerly circulation. It influences the ocean through windstress-curl and associated air/sea heat flux. While blocking is a relatively high-frequency phenomenon, it is strongly modulated over decadal timescales. The blocked regime (weaker ocean gyres, weaker air-sea heat flux, paradoxically increased transport of warm subtropical waters poleward) contributes to the warm phase of AMV. Atmospheric blocking better describes the early 20thC warming and 1996-2010 warm period than does the NAO index. It has roots in the hemispheric circulation and jet stream dynamics. Subpolar Atlantic variability covaries with distant AMOC fields: both these connections may express the global influence of the subpolar North Atlantic ocean on the global climate system.
The environment of space results in a multitude of challenges to the human physiology that present barriers to extended habitation and exploration. Over 40 years of investigation to define countermeasures to address space flight adaptation has left gaps in our knowledge regarding mitigation strategies partly due to the lack of investigative tools, monitoring strategies, and real time diagnostics to understand the central causative agent(s) responsible for physiologic adaptation and maintaining homeostasis. Spaceflight-adaptation syndrome is the combination of space environmental conditions and the synergistic reaction of the human physiology. Our work addresses the role of oxidative stress and damage (OSaD) as a negative and contributing Risk Factor (RF) in the following areas of combined spaceflight related dysregulation: i) radiation induced cellular damage [1], [2] ii) immune impacts and the inflammatory response [3], [4] and iii) varicella zoster virus (VZV) reactivation [5]. Varicella-zoster (VZV)/Chicken Pox virus is a neurotropic human alphaherpesvirus resulting in varicella upon primary infection, suppressed by the immune system becomes latent in ganglionic neurons, and reactivates under stress events to re-express in zoster and possibly shingles. Our laboratory has developed a complex threedimensional (3D) normal human neural tissue model that emulates several characteristics of the human trigeminal ganglia (TG) and allows the study of combinatorial experimentation which addresses, simultaneously, OSaD associated with Spaceflight adaptation and habitation [6].
This paper documents a study that drove the development of a mathematical expression in the minimum operational performance standards (MOPS) of detect-and-avoid (DAA) systems for unmanned aircraft systems (UAS). This equation describes the conditions under which vertical maneuver guidance could be provided during recovery of well clear separation with a non-cooperative VFR aircraft in addition to horizontal maneuver guidance. Although suppressing vertical maneuver guidance in these situations increased the minimum horizontal separation from 500 to 800 feet, the maximum severity of loss of well clear increased in about 35 of the encounters compared to when a vertical maneuver was preferred and allowed. Additionally, analysis of individual cases led to the identification of a class of encounter where vertical rate error had a large effect on horizontal maneuvers due to the difficulty of making the correct left-right turn decision: crossing conflict with intruder changing altitude. These results supported allowing vertical maneuvers when UAS vertical performance exceeds the relative vertical position and velocity accuracy of the DAA tracker given the current velocity of the UAS and the relative vertical position and velocity estimated by the DAA tracker. Looking ahead, these results indicate a need to improve guidance algorithms by utilizing maneuver stability and near mid-air collision risk when determining maneuver guidance to regain well clear separation.
Formal verification and simulation are powerful tools for the verification of requirements against complex systems. Requirements are developed in early stages of the software lifecycle and are typically expressed in natural language. There is a gap between such requirements and their software implementations.We present a framework that bridges this gap by supporting a tight integration and feedback loop between high-level requirements and their analysis against software artifacts. Our framework implements an analysis portal within the fret requirements elicitation tool, thus forming an end-to-end, open-source environment where requirements are written in an intuitive, structured natural language, and are verified automatically against Simulink models.
Formal veri fication and simulation are powerful tools for the veri fication of requirements against complex systems. Requirements are developed in early stages of the software lifecycle and are typically expressed in natural language. There is a gap between such requirements and their software implementations. We present a framework that bridges this gap by supporting a tight integration and feedback loop between high-level requirements and their analysis against software artifacts. Our framework implements an analysis portal within the fret requirements elicitation tool, thus forming an end-to-end, open-source environment where requirements are written in an intuitive, structured natural language, and are veri fied automatically against Simulink models.
An analytical/numerical approach to identifying and correcting the aberrations introduced by a general displacement of the feed from the focal point of a single offset paraboloid antenna used in deployable radiometer systems is developed. A 15 meter reflector with 18 meter focal length is assumed for the analysis, which considers far field radiation pattern quality, focal region fields, and aberrations appearing in the aperture plane. The latter are obtained by ray tracing in the transmit mode and are expressed in terms of optical notation. Attention is given to the physical restraints imposed on corrective elements by real microwave systems and to the intermediate near field aspects of the problem in three dimensions. The subject of wave fronts and caustics in the receive mode is introduced for comparative purposes. Several specific examples are given for aberration reduction at eight beamwidths of scan at a frequency of 1.414 GHz.
MARSIS is a radar sounder operating in the HF frequency range to sound the surface of Mars, which will operate from the ESA Mars Express spacecraft. It is scheduled for launch from Baikonour, Russia in June 2003 and arrives in orbit around Mars in early 2004 for a two-year mission. This system is the result of an international collaboration between NASA, the Italian Space Agency (ASI), and European Space Agency (ESA). The MARSIS instrument is a 17 Kilogram total mass sounder consisting of a 40 meter tip-to-tip dipole antenna, a 7 meter long monopole antenna and the electronics module. This design of MARSIS is a tradeoff between the expected penetration into the Martian subsurface that is proportional to the wavelength of the system and the desire to operate at a short wavelength in order to minimize the effects of the ionosphere. Additional information is contained in the original extended abstract.
Digital twins, created by generating a virtual replica of a building, enable safe evaluation of operational scenarios and applications like fault detection and diagnosis and advanced controls. However, a prerequisite is the creation of a machine-readable digital representation of a building, currently hindered by fragmented information scattered across mechanical drawings, point lists, and natural language sequences. As a result, digital twin development remains labor-intensive, error-prone, and difficult to validate. To address these challenges, two efforts from ASHRAE aim to support the digitalization of buildings. ASHRAE s223 establishes a semantic model of buildings, representing system components, configuration, and data sources. ASHRAE s231 defines a vendor-neutral programming language for expressing their control logic. As the industry evaluates implementing them in their products, understanding the challenges that vendors and implementers may face is crucial. In this paper, we present findings and lessons learned from field demonstrations in five buildings that implemented control applications using ASHRAE s223 and s231. The demonstrations highlight how semantic modeling and formalized control descriptions can significantly reduce software development time, manual point mapping, and hard-coding. Beyond time efficiency, they enable reliable automation by minimizing human interpretation and providing a means for consistency across projects. We describe the processes and best practices for model creation and model usage, from translating heterogeneous building documentation into semantic representations to implementing control logic in real-world systems. Finally, we discuss the challenges that persist, including integration with legacy software environments, gaps in interoperability, and the level of expertise still required to effectively leverage semantic models.
The alpha1- and beta1-subunits of human soluble guanylate cyclase (sGC) were coexpressed in the Sf9 cells/baculovirus system. In addition to the native enzyme, constructs with hexahistidine tag at the amino and carboxyl termini of each subunit were coexpressed. This permitted the rapid and efficient purification of active recombinant enzyme on a nickel-affinity column. The enzyme has one heme per heterodimer and was readily activated with the NO donor sodium nitroprusside or 3-(5'-hydroxymethyl-2'furyl)-1-benzyl-indazole (YC-1). Sodium nitroprusside and YC-1 treatment potentiated each other in combination and demonstrated a remarkable 2,200-fold stimulation of the human recombinant sGC. The effects were inhibited with 1H-(1,2, 4)oxadiazole(4,3-a)quinoxalin-1one (ODQ). The kinetics of the recombinant enzyme with respect to GTP was examined. The products of the reaction, cGMP and pyrophosphate, inhibited the enzyme. The extent of inhibition by cGMP depended on the activation state of the enzyme, whereas inhibition by pyrophosphate was not affected by the enzyme state. Both reaction products displayed independent binding and cooperativity with respect to enzyme inhibition. The expression of large quantities of active enzyme will facilitate structural characterization of the protein.
The use of plants as integral components of life support systems remains a cornerstone of strategies for long-term human habitation of space and extraterrestrial colonization. Spaceflight experiments over the past few decades have refined the hardware required to grow plants in low-earth orbit and have illuminated fundamental issues regarding spaceflight effects on plant growth and development. Potential incipient hypoxia, resulting from the lack of convection-driven gas movement, has emerged as a possible major impact of microgravity. We developed transgenic Arabidopsis containing the alcohol dehydrogenase (Adh) gene promoter linked to the beta-glucuronidase (GUS) reporter gene to address specifically the possibility that spaceflight induces the plant hypoxia response and to assess whether any spaceflight response was similar to control terrestrial hypoxia-induced gene expression patterns. The staining patterns resulting from a 5-d mission on the orbiter Columbia during mission STS-93 indicate that the Adh/GUS reporter gene was activated in roots during the flight. However, the patterns of expression were not identical to terrestrial control inductions. Moreover, although terrestrial hypoxia induces Adh/GUS expression in the shoot apex, no apex staining was observed in the spaceflight plants. This indicates that either the normal hypoxia response signaling is impaired in spaceflight or that spaceflight inappropriately induces Adh/GUS activity for reasons other than hypoxia.
Insulin-like growth factor-1 (IGF-1) is known to have anabolic effects on skeletal muscle cells. This study examined the time course of muscle hypertrophy and associated IGF-1 peptide and mRNA expression. Data were collected at 3, 7, 14, and 28 days after surgical removal of synergistic muscles of both normal and hypophysectomized (HX) animals. Overloading increased the plantaris (Plant) mass, myofiber size, and protein-to-body weight ratio in both groups (normal and HX; P < 0.05). Muscle IGF-1 peptide levels peaked at 3 (normal) and 7 (HX) days of overloading with maximum 4.1-fold (normal) and 6.2-fold (HX) increases. Increases in muscle IGF-1 preceded the hypertrophic response. Total DNA content of the overloaded Plant increased in both groups. There was a strong positive relationship between IGF-1 peptide and DNA content in the overloaded Plant from both groups. These results indicate that 1) the muscles from rats with both normal and severely depressed systemic levels of IGF-1 respond to functional overload with an increase in local IGF-1 expression and 2) this elevated IGF-1 may be contributing to the hypertrophy response, possibly via the mobilization of satellite cells to provide increases in muscle DNA.
The development of a two dimensional analytical model that describes the dynamics of an n-mass vertical tethered system is reported. Two different approaches are described: in the first one the control quantities are the independent variables while in the second one the Cartesian coordinates of each mass expressed in the orbiting reference frame are the independent variables. The latter model was used in the 3-mass version to simulate the dynamics of the tethered system in applications involving the displacement of the middle mass along the tether. In particular, issues related to reproducing predetermined acceleration profiles and g-tuning are reported.
Theoretical investigation of the possibility of obtaining systematic corrections to star catalogs from observations of artificial satellites. A model is established to represent the system of equations formed when such corrections are determined simultaneously with corrections to the geocentric position of the observer. An analytical expression for the covariance matrix is set up for the two-dimensional (planar) case. The resulting correlations and weights are discussed. Since this method presents an independent way of obtaining the systematic errors in star catalogs, apart from the orientation to the equatorial system, it is related to the measurement of all quantities which depend on star positions. This institutes a completely new principle of obtaining systematic corrections to star catalogs. It is based not on rotation, but on comparing the angle subtended at the satellite by two stars to the angle subtended at the satellite by two points on the surface of the earth.
The purpose of this paper is to investigate the effects of small parameter variations on the performance index of minimum-fuel systems with initial and final manifolds. The pulse-shaped variations produced by the parameter change on the piecewise-constant control are taken into account in order to derive the trajectory sensitivity equation. It is proved that the variation of the performance index is related to those of the trajectory and the parameter by a simple expression. This expression extends, to the class of minimum-fuel problems, a re sult obtained by Kokotovic et al. for systems with continuous, unconstrained controls.
A specification language is a medium for expressing what is computed rather than how it is computed. Specification languages share some features with programming languages but are also different in several important ways. For our purpose, a specification language is a logic within which the behavior of computational systems can be formalized. Although a specification can be used to simulate the behavior of such systems, we mainly use specifications to state and prove system properties with mechanical assistance. We present the formal semantics of the specification language of SRI's Prototype Verification System (PVS). This specification language is based on the simply typed lambda calculus. The novelty in PVS is that it contains very expressive language features whose static analysis (e.g., typechecking) requires the assistance of a theorem prover. The formal semantics illuminates several of the design considerations underlying PVS, the interaction between theorem proving and typechecking.
In recent years there has been a considerable drive towards data-driven analysis, discovery and control of dynamical systems. To this end, operator theoretic methods, namely, Koopman operator methods have gained a lot of interest. In general, the Koopman operator is obtained as a solution to a least-squares problem, and as such, the Koopman operator can be expressed as a closed-form solution that involves the computation of Moore-Penrose inverse of a matrix. For high dimensional systems and also if the size of the obtained data-set is large, the computation of the Moore-Penrose inverse becomes computationally challenging. In this paper, we provide an algorithm for computing the Koopman operator for high dimensional systems in a time-efficient manner. We further demonstrate the efficacy of the proposed approach on two different systems, namely a network of coupled oscillators (with state-space dimension up to 2500) and IEEE 68 bus system (with state-space dimension 204 and up to 24,000 time-points).
Computer programs are often viewed as collections of functions – each function has parameters (inputs) and computes a return value, and each has potential side effects that modify program state (outputs). In this research, a Sandia symbolic execution tool designed to support “human-in-the-loop” analysis was modified to automatically create “function summaries,” and a new tool, “diaboolical,” was created to support enhancing readability of the summary using a novel approach to bit-vector simplification that leverages logic synthesis and tautologies. For this effort, students at Auburn University created several finite state machines (FSMs) to serve as exemplars for high-consequence systems. Function summaries for each of the machines were obtained, and then portions of the summaries were simplified using both diaboolical and the simplification procedure of a popular SMT solver. A comparison of the results shows that diaboolical can often produce smaller function summaries, with expression length improvements over the unsimplified function summaries ranging from 0% to 90% for diaboolical and 0% to 65% for the SMT solver, though diaboolical had a significantly greater cost in time. Diaboolical was evaluated against a collection of “arbitrary” C-code as well as FSM exemplars, and for both datasets it achieved an approximately 10% improvement in expression length compared to simplifications that could be obtained using existing techniques. Function summaries can assist assurance efforts that evaluate existing systems and their executable code. A smaller function summary is likely easier for humans to understand and could thus increase the ability and efficacy of assurance practices centered around the analysis of executable artifacts.