Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Expression systems”

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,153 records · Page 64

LogScope

LogScope is a software package for analyzing log files. The intended use is for offline post-processing of such logs, after the execution of the system under test. LogScope can, however, in principle, also be used to monitor systems online during their execution. Logs are checked against requirements formulated as monitors expressed in a rule-based specification language. This language has similarities to a state machine language, but is more expressive, for example, in its handling of data parameters. The specification language is user friendly, simple, and yet expressive enough for many practical scenarios. The LogScope software was initially developed to specifically assist in testing JPL s Mars Science Laboratory (MSL) flight software, but it is very generic in nature and can be applied to any application that produces some form of logging information (which almost any software does).

Havelund, Klaus↗

Identifying and Documenting Expert Knowledge, A Practical Study of Design Patterns

Globalization, powered by digitization, is increasing technology growth and knowledge transfer rates to levels not seen in the previous 3500 years, obscuring absolute truth and accelerating rates of innovation and production. Competing,or remaining competitive, in this global marketplace requires a learning organization adopt a method of capture, retention, and reuse for demonstrated tacit knowledge to accelerate the development of increasingly complex systems of high quality at a reasonable cost. The architectural theory of Patterns and Pattern Language is a validated methodology for mining tacit domain knowledge from a proven system. This work applies architectural theory to a multi-year development experiment and captures exposed knowledgeas a design patternin a model based systems engineering tool, demonstrating applicability ofdigital engineering initiativesin thedescription and reuse of expert design knowledge.By creating and archiving model based expressions of expert knowledge,a learning organization canimprovepractical decision making and avoid uninformed concept phase decision making

systems engineering↗

Formal specification and mechanical verification of SIFT - A fault-tolerant flight control system

The paper describes the methodology being employed to demonstrate rigorously that the SIFT (software-implemented fault-tolerant) computer meets its requirements. The methodology uses a hierarchy of design specifications, expressed in the mathematical domain of multisorted first-order predicate calculus. The most abstract of these, from which almost all details of mechanization have been removed, represents the requirements on the system for reliability and intended functionality. Successive specifications in the hierarchy add design and implementation detail until the PASCAL programs implementing the SIFT executive are reached. A formal proof that a SIFT system in a 'safe' state operates correctly despite the presence of arbitrary faults has been completed all the way from the most abstract specifications to the PASCAL program.

Melliar-Smith, P. M.↗

Hall Effect Thruster Interactions Data From the Russian Express-A2 and Express-A3 Satellites: Express/T-160 Project Express A2 and A3 Sensors Operations Procedures Document - Part 12

This 12-part report documents the data obtained from various sensor measurements taken aboard the Russian Express-A2 and Express-A3 spacecraft in Geosynchronous Earth Orbit (GEO). These GEO communications satellites, which were designed and built by NPO Prikladnoy Mekhaniki (NPO PM) of Zheleznogorsk, Russia, utilize Hall thruster propulsion systems for north-south and east-west stationkeeping and as of June 2002, were still operating at 80 deg. E. and 11 deg. W respectively. Express-A2 was launched on March 12, 2000, while Express-A3 was launched on June 24, 2000. The diagnostic equipment from which these data were taken includes electric field strength sensors, ion current and energy sensors, and pressure sensors. The diagnostics and the Hall thruster propulsion systems are described in detail along with lists of tabular data from those diagnostics and propulsion system and other satellite systems. Space Power, Inc., now part of Pratt & Whitney's Chemical Systems Division, under contract NAS3 99151 to the NASA Glenn Research Center, obtained these data over several periods from March 12, 2000, through September 30, 2001. Each of the 12 individual reports describe, in detail, the propulsion systems as well as the diagnostic sensors utilized. Finally, parts 11 and 12 include the requirements to which NPO PM prepared and delivered these data.

Dunning, John↗

Hall Effect Thruster Interactions Data From the Russian Express-A2 and Express-A3 Satellites

This 12-part report documents the data obtained from various sensor measurements taken aboard the Russian Express-A2 and Express-A3 spacecraft in Geosynchronous Earth Orbit (GEO). These GEO communications satellites, which were designed and built by NPO Prikladnoy Mekhaniki (NPO PM) of Zheleznogorsk, Russia, utilize Hall thruster propulsion systems for north-south and east-west stationkeeping and as of June 2002, were still operating at 80 deg E and 11 deg W, respectively. Express-A2 was launched on March 12, 2000, while Express-A3 was launched on June 24, 2000. The diagnostic equipment from which these data were taken includes electric field strength sensors, ion current and energy sensors, and pressure sensors. The diagnostics and the Hall thruster propulsion systems are described in detail along with lists of tabular data from those diagnostics and propulsion system and other satellite systems. Space Power, Inc., now part of Pratt & Whitney's Chemical Systems Division, under contract NAS3-99151 to the NASA Glenn Research Center, obtained these data over several periods from March 12, 2000, through September 30, 2001. Each of the 12 individual reports describe, in detail, the propulsion systems as well as the diagnostic sensors utilized. Finally, parts 11 and 12 include the requirements to which NPO PM prepared and delivered these data.

Sitnikova, N.↗

Robust control with structured perturbations

Two important problems in the area of control systems design and analysis are discussed. The first is the robust stability using characteristic polynomial, which is treated first in characteristic polynomial coefficient space with respect to perturbations in the coefficients of the characteristic polynomial, and then for a control system containing perturbed parameters in the transfer function description of the plant. In coefficient space, a simple expression is first given for the l(sup 2) stability margin for both monic and non-monic cases. Following this, a method is extended to reveal much larger stability region. This result has been extended to the parameter space so that one can determine the stability margin, in terms of ranges of parameter variations, of the closed loop system when the nominal stabilizing controller is given. The stability margin can be enlarged by a choice of better stabilizing controller. The second problem describes the lower order stabilization problem, the motivation of the problem is as follows. Even though the wide range of stabilizing controller design methodologies is available in both the state space and transfer function domains, all of these methods produce unnecessarily high order controllers. In practice, the stabilization is only one of many requirements to be satisfied. Therefore, if the order of a stabilizing controller is excessively high, one can normally expect to have a even higher order controller on the completion of design such as inclusion of dynamic response requirements, etc. Therefore, it is reasonable to have a lowest possible order stabilizing controller first and then adjust the controller to meet additional requirements. The algorithm for designing a lower order stabilizing controller is given. The algorithm does not necessarily produce the minimum order controller; however, the algorithm is theoretically logical and some simulation results show that the algorithm works in general.

Keel, Leehyun↗

Proximity Operations and Docking Sensor Development

The Next Generation Advanced Video Guidance Sensor (NGAVGS) has been under development for the last three years as a long-range proximity operations and docking sensor for use in an Automated Rendezvous and Docking (AR&D) system. The first autonomous rendezvous and docking in the history of the U.S. Space Program was successfully accomplished by Orbital Express, using the Advanced Video Guidance Sensor (AVGS) as the primary docking sensor. That flight proved that the United States now has a mature and flight proven sensor technology for supporting Crew Exploration Vehicles (CEV) and Commercial Orbital Transport Systems (COTS) Automated Rendezvous and Docking (AR&D). NASA video sensors have worked well in the past: the AVGS used on the Demonstration of Autonomous Rendezvous Technology (DART) mission operated successfully in spot mode out to 2 km, and the first generation rendezvous and docking sensor, the Video Guidance Sensor (VGS), was developed and successfully flown on Space Shuttle flights in 1997 and 1998. 12 Parts obsolescence issues prevent the construction of more AVGS units, and the next generation sensor was updated to allow it to support the CEV and COTS programs. The flight proven AR&D sensor has been redesigned to update parts and add additional capabilities for CEV and COTS with the development of the Next Generation AVGS at the Marshall Space Flight Center. The obsolete imager and processor are being replaced with new radiation tolerant parts. In addition, new capabilities include greater sensor range, auto ranging capability, and real-time video output. This paper presents some sensor hardware trades, use of highly integrated laser components, and addresses the needs of future vehicles that may rendezvous and dock with the International Space Station (ISS) and other Constellation vehicles. It also discusses approaches for upgrading AVGS to address parts obsolescence, and concepts for minimizing the sensor footprint, weight, and power requirements. In addition, the testing of the brassboard and proto-type NGAVGS units will be discussed along with the use of the NGAVGS as a proximity operations and docking sensor.

Howard, Richard T.↗

The Next Generation Advanced Video Guidance Sensor: Flight Heritage and Current Development

The Next Generation Advanced Video Guidance Sensor (NGAVGS) is the latest in a line of sensors that have flown four times in the last 10 years. The NGAVGS has been under development for the last two years as a long-range proximity operations and docking sensor for use in an Automated Rendezvous and Docking (AR&D) system. The first autonomous rendezvous and docking in the history of the U.S. Space Program was successfully accomplished by Orbital Express, using the Advanced Video Guidance Sensor (AVGS) as the primary docking sensor. That flight proved that the United States now has a mature and flight proven sensor technology for supporting Crew Exploration Vehicles (CEV) and Commercial Orbital Transport Systems (COTS) Automated Rendezvous and Docking (AR&D). NASA video sensors have worked well in the past: the AVGS used on the Demonstration of Autonomous Rendezvous Technology (DART) mission operated successfully in "spot mode" out to 2 km, and the first generation rendezvous and docking sensor, the Video Guidance Sensor (VGS), was developed and successfully flown on Space Shuttle flights in 1997 and 1998. This paper presents the flight heritage and results of the sensor technology, some hardware trades for the current sensor, and discusses the needs of future vehicles that may rendezvous and dock with the International Space Station (ISS) and other Constellation vehicles. It also discusses approaches for upgrading AVGS to address parts obsolescence, and concepts for minimizing the sensor footprint, weight, and power requirements. In addition, the testing of the various NGAVGS development units will be discussed along with the use of the NGAVGS as a proximity operations and docking sensor.

Howard, Richard T.↗

Trade Studies of Space Launch Architectures using Modular Probabilistic Risk Analysis

A top-down risk assessment in the early phases of space exploration architecture development can provide understanding and intuition of the potential risks associated with new designs and technologies. In this approach, risk analysts draw from their past experience and the heritage of similar existing systems as a source for reliability data. This top-down approach captures the complex interactions of the risk driving parts of the integrated system without requiring detailed knowledge of the parts themselves, which is often unavailable in the early design stages. Traditional probabilistic risk analysis (PRA) technologies, however, suffer several drawbacks that limit their timely application to complex technology development programs. The most restrictive of these is a dependence on static planning scenarios, expressed through fault and event trees. Fault trees incorporating comprehensive mission scenarios are routinely constructed for complex space systems, and several commercial software products are available for evaluating fault statistics. These static representations cannot capture the dynamic behavior of system failures without substantial modification of the initial tree. Consequently, the development of dynamic models using fault tree analysis has been an active area of research in recent years. This paper discusses the implementation and demonstration of dynamic, modular scenario modeling for integration of subsystem fault evaluation modules using the Space Architecture Failure Evaluation (SAFE) tool. SAFE is a C++ code that was originally developed to support NASA s Space Launch Initiative. It provides a flexible framework for system architecture definition and trade studies. SAFE supports extensible modeling of dynamic, time-dependent risk drivers of the system and functions at the level of fidelity for which design and failure data exists. The approach is scalable, allowing inclusion of additional information as detailed data becomes available. The tool performs a Monte Carlo analysis to provide statistical estimates. Example results of an architecture system reliability study are summarized for an exploration system concept using heritage data from liquid-fueled expendable Saturn V/Apollo launch vehicles.

Mathias, Donovan L.↗

A new method for solving the linearized 1D Vlasov–Poisson system yielding a new class of solutions

We describe a new method for solving the linearized 1D Vlasov–Poisson system by using properties of Cauchy-type integrals. Our method remedies critical flaws of the two standard methods, reveals a previously unrecognized Gaussian-in-time-like decay, and can also account for an externally applied electric field. The Landau approximation involves deforming the Bromwich contour around the poles closest to the real axis due to the analytically continued dielectric function, finding the long-time behavior for a stable system: Landau damping. Jackson's generalization encircles all poles while sending the contour to infinity, assuming its contribution vanishes, which is not true in general. This gives incorrect solutions for physically reasonable configurations and can exhibit pathological behavior, of which we show examples. The van Kampen method expresses the solution for a stable equilibrium as a continuous superposition of waves, resulting in an opaque integral. Case's generalization includes unstable systems and predicts a decaying discrete mode for each growing discrete mode, an apparent contradiction to both the Jackson solution and ours. We show, without imposing additional constraints, that the decaying modes are never present in the time evolution due to an exact cancellation with part of the continuum. Our solution is free of integral expressions, is obtained using algebra and Laurent series expansions, does not rely on analytic continuations, and results in a correct asymptotically convergent form in the case of infinite sums. The analysis used can be readily applied in higher-dimensional, electromagnetic systems and also provides a new technique for evaluating certain inverse Laplace transforms.

Physics↗

A Trajectory-Driven Algorithm for Differentiating SRB Measures on Unstable Manifolds

Sinai-Ruelle-Bowen (SRB) measures are limiting stationary distributions describing the statistical behavior of chaotic dynamical systems. Directional derivatives of SRB measure densities conditioned on unstable manifolds are critical in the sensitivity analysis of hyperbolic chaos. These derivatives, known as the SRB density gradients, are by-products of the regularization of Lebesgue integrals appearing in the original linear response expression. In this paper, we propose a novel trajectory- driven algorithm for computing the SRB density gradient defined for systems with high-dimensional unstable manifolds. We apply the concept of measure preservation together with the chain rule on smooth manifolds. Due to the recursive one-step nature of our derivations, the proposed procedure is memory-efficient and can be naturally integrated with existing Monte Carlo schemes widely used in computational chaotic dynamics. Here, we numerically show the exponential convergence of our scheme, analyze the computational cost, and present its use in the context of Monte Carlo integration.

97 MATHEMATICS AND COMPUTING↗

The Friendly Argument Notation (FAN)

This document defines and explains through examples the Friendly Argument Notation (FAN). FAN builds on previous work investigating text-based ways to express arguments [2, 3]. Its primary intended use is for creating and evaluating arguments about safety-critical systems, especially the types of arguments common within safety and assurance cases [4], but nothing in its design constrains its use to that domain. Compared to existing notations commonly used within this domain (for example [6]), FAN corresponds more closely to traditional argument concepts (for example [1]), allows greater flexibility in expression, provides for including counter-arguments, and requires less knowledge of computer-science-specific concepts. Only time and use will determine how beneficial these differences are in practice. This paper concentrates on showing how FAN looks to someone who is using it manually to develop or assess arguments. A later document will concentrate on providing the information necessary for software tools to be created for FAN.

arugment↗

Magnetic resonance control of spin-correlated radical pair dynamics in vivo

Magnetic fields can influence reactions involving spin-correlated radical pairs (SCRPs). This provides a mechanism by which both static and time-varying magnetic fields can affect living systems at the biomolecular level. However, an engineered SCRP system conferring magnetic sensitivity to a non-native biochemical process in a multicellular organism has not yet been demonstrated. Here, in this study, we demonstrate control of SCRP dynamics using magnetic resonance in a live transgenic animal. We show that the emission of various red fluorescent proteins (RFPs), in the presence of a flavin cofactor, can be modified by a combination of static and radiofrequency magnetic fields applied near the electron spin resonance frequency. This effect was measured at room temperature both in vitro and in the nematode Caenorhabditis elegans, genetically modified to express the RFP mScarlet. These observations suggest that the magnetic field effects measured in RFP-flavin systems are due to quantum-correlated radical pairs with a coherence time larger than 4 ns. Our experiments demonstrate that radiofrequency magnetic fields can influence dynamics of reactions involving SCRPs in vivo, potentially enabling new methods for remotely controlling biomolecular processes, such as gene expression, and suggest broader potential for quantum tools in biology.

Burd, Shaun C. [Stanford Univ., CA (United States)↗

Skeletal Micro-RNA Responses to Simulated Weightlessness

Astronauts lose bone structure during long-duration spaceflight. These changes are due, in part, to insufficient bone formation by the osteoblast cells. Little is known about the role that small (approximately 22 nucleotides), non-coding micro-RNAs (miRNAs) play in the osteoblast response to microgravity. We hypothesize that osteoblast-lineage cells alter their miRNA status during microgravity exposure, contributing to impaired bone formation during weightlessness. To simulate weightlessness, female mice (C57BL/6, Charles River, 10 weeks of age, n = 7) were hindlimb unloaded up to 12 days. Age-matched and normally ambulating mice served as controls (n=7). To assess the expression of miRNAs in skeletal tissue, the tibia was collected ex vivo and cleaned of soft-tissue and marrow. Total RNA was collected from tibial bone and relative abundance was measured for miRNAs of interest using quantitative real time PCR array looking at 372 unique and well-characterized mature miRNAs using the delta-delta Ct method. Transcripts of interest were normalized to an average of 6 reference RNAs. Preliminary results show that hindlimb unloading decreased the expression of 14 miRNAs to less than 0.5 times that of the control levels and increased the expression of 5 miRNAs relative to the control mice between 1.2-1.5-fold (p less than 0.05, respectively). Using the miRSystem we assessed overlapping target genes predicted to be regulated by multiple members of the 19 differentially expressed miRNAs as well as in silico predicted targets of our individual miRNAs. Our miRsystem results indicated that a number of our differentially expressed miRNAs were regulators of genes related to the Wnt-Beta Catenin pathway-a known regulator of bone health-and, interestingly, the estrogen-mediated cell-cycle regulation pathway, which may indicate that simulated weightlessness modulated systemic hormonal levels or hormonal transduction that additionally contributed to bone loss. We plan to follow up these findings by measuring gene expression of miRNA-regulated genes within these two pathways with the aim of furthering our understanding of the function of miRNAs in the skeletal response to spaceflight.

musculoskeletal system↗

Mars: A Planet with a Dynamic Climate System

Mars is a well-observed planet. Since the 1960s orbiters, landers, rovers, and earth-based telescopic observations show that its climate system is dynamic. Its dynamic nature, largely the result of atmosphere-surface interactions, is most obvious in the seasonal cycles of dust, water, and carbon dioxide that define the planet's climate system. These cycles are linked through the global circulation and MGS, Odyssey, Phoenix, MER, Mars Express, MRO, and now MSL have continuously observed them at Mars for the past 16 years. Their observations show that while the seasonal cycles are largely annually repeatable, there are interannual variations. Planet-encircling dust storms, for example, are quasi-triennial and originate over a broader range of seasons and locations than previously thought. Water moves from pole-to-pole each year in a largely, but not precisely, repeatable pattern that suggests but does not demand non-polar surface reservoirs. And the seasonal CO2 polar caps grow and retreat in a very predictable way with only minor deviations from year-to-year in spite of significant differences in atmospheric dust content. These behaviors suggest a complicated but robust coupled system in which these cycles interact to produce the greatest interannual variability in the dust cycle and least variability in the CO2 cycle. The nature of these interactions is the subject of ongoing research, but clouds, both water ice and CO2 ice, now appear to play a bigger role than believed at the end of the 20th century. There may also be some long-term trends in these cycles as there is evidence from imaging data, for example, that the south polar residual cap may not be stable on decadal to centennial time scales. On even longer time scales, the discovery of as much as 5 mb global equivalent of buried CO2 ice near the south pole, the detection of vast quantities of subsurface water ice at very shallow depths in midlatitudes of both hemispheres, and the presence of remnant glacial features at almost all latitudes, strongly suggests the possibility of significant climate change associated with orbital variations. Some of the major questions these data raise concern how closed the seasonal cycles are and which reservoirs are gaining or loosing, the cause of the large interannual variability of the dust cycle and how it couples to the water and CO2 cycles, and the mechanisms for the origin of past glacial activity and the emplacement and removal of subsurface ice. While many of these questions can be addressed with continued research based on existing data, new observations focused on atmosphere surface-interactions would provide valuable constraints on how dust, water, and CO2 move between the surface and atmosphere.

CO2 cycles↗

On the Origin of Chaos in the Asteroid Belt

We consider the effect of gravitational perturbations from Jupiter on the dynamics of asteroids, when Jupiter is itself perturbed by Saturn. The presence of Saturn introduces a number of additional frequencies into Jupiters orbit. These frequencies in turn produce chaos in narrow regions on either side of the chaotic zones associated with the mean motion resonances between the asteroids and Jupiter. The resonant arguments of these three-body resonances contain the longitudes of Jupiter and the asteroid together with either the secular frequency 9-6, or the longitude of Saturn. Resonances involving the longitude of Saturn are analogs of the Laplace resonance in the Jovian satellite system. We show that many three-body resonances involving the longitude of Saturn are chaotic. We give simple expressions for the width of the chaotic region and the associated Lyapunov time. In some cases the chaos can produce a diffusive growth in the 4 eccentricity of the asteroid that leads to ejection of the asteroid on times shorter than the age of the solar system. We give simple estimates for the diffusion time. Finally, we present the results of numerical integrations testing the theory.

Murray, N.↗

Analytical model for laser-induced transient grating measurements of thermal diffusivity in non-opaque materials

The thermal transport and elastic properties of materials are often measured using the laser-induced transient grating spectroscopy (TGS) technique. The analysis of the TGS signal usually involves fitting well-known expressions, derived assuming the limiting cases of opaque or transparent materials, to the measured data. In this paper, the system of thermoelastic equations is analytically solved for an isotropic homogeneous material assuming finite laser penetration depth, which is an important consideration when the penetration depth is on the order of the acoustic wavelength. The need to use such a solution is discussed and compared to the expression for opaque material. The solution is benchmarked against TGS signal measured on single-crystal silicon with {100} surface orientation and is found to significantly improve the accuracy of the calculated thermal diffusivity as compared to using the expression for opaque material.

36 MATERIALS SCIENCE↗

CRISPR/Cas9-based gene activation and base editing in Populus

The genus Populus has long been used for environmental, agroforestry and industrial applications worldwide. Today Populus is also recognized as a desirable crop for biofuel production and a model tree for physiological and ecological research. As such, various modern biotechnologies, including CRISPR/Cas9-based techniques, have been actively applied to Populus for genetic and genomic improvements for traits such as increased growth rate and tailored lignin composition. However, CRISPR/Cas9 has been primarily used as the active Cas9 form to create knockouts in the hybrid poplar clone “717-1B4” (P. tremula x P. alba clone INRA 717-1B4). Alternative CRISPR/Cas9-based technologies, e.g. those involving modified Cas9 for gene activation and base editing, have not been evaluated in most Populus species for their efficacy. Here we employed a deactivated Cas9 (dCas9)-based CRISPR activation (CRISPRa) technique to fine-tune the expression of two target genes, TPX2 and LecRLK-G which play important roles in plant growth and defense response, in hybrid poplar clone “717-1B4” and poplar clone “WV94” (P. deltoides “WV94”), respectively. We observed that CRISPRa resulted in 1.2-fold to 7.0-fold increase in target gene expression through transient expression in protoplasts and Agrobacterium-mediated stable transformation, demonstrating the effectiveness of dCas9-based CRISPRa system in Populus. In addition, we applied Cas9 nickase (nCas9)-based cytosine base editor (CBE) to precisely introduce premature stop codons via C-to-T conversion, with an efficiency of 13%–14%, in the target gene PLATZ which encodes a transcription factor involved in plant fungal pathogen response in hybrid poplar clone “717-1B4”. Overall, we showcase the successful application of CRISPR/Cas-based technologies in gene expression regulation and precise gene engineering in two Populus species, facilitating the adoption of emerging genome editing tools in woody species.

59 BASIC BIOLOGICAL SCIENCES↗