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 757 records · Page 42

A crew-centered flight deck design philosophy for High-Speed Civil Transport (HSCT) aircraft

Past flight deck design practices used within the U.S. commercial transport aircraft industry have been highly successful in producing safe and efficient aircraft. However, recent advances in automation have changed the way pilots operate aircraft, and these changes make it necessary to reconsider overall flight deck design. The High Speed Civil Transport (HSCT) mission will likely add new information requirements, such as those for sonic boom management and supersonic/subsonic speed management. Consequently, whether one is concerned with the design of the HSCT, or a next generation subsonic aircraft that will include technological leaps in automated systems, basic issues in human usability of complex systems will be magnified. These concerns must be addressed, in part, with an explicit, written design philosophy focusing on human performance and systems operability in the context of the overall flight crew/flight deck system (i.e., a crew-centered philosophy). This document provides such a philosophy, expressed as a set of guiding design principles, and accompanied by information that will help focus attention on flight crew issues earlier and iteratively within the design process. This document is part 1 of a two-part set.

Palmer, Michael T.↗

Stability of Capillary Surfaces in Rectangular Containers: The Right Square Cylinder

The linearized governing equations for an ideal fluid are presented for numerical analysis for the stability of free capillary surfaces in rectangular containers against unfavorable disturbances (accelerations,i.e. Rayleigh-Taylor instability). The equations are solved for the case of the right square cylinder. The results are expressed graphically in term of a critical Bond number as a function of system contact angle. A critical wetting phenomena in the corners is shown to significantly alter the region of stability for such containers in contrast to simpler geometries such as the right circular cylinder or the infinite rectangular slot. Such computational results provide additional constraints for the design of fluids systems for space-based applications.

Weislogel, M. M.↗

Number Partitioning via Quantum Adiabatic Computation

We study both analytically and numerically the complexity of the adiabatic quantum evolution algorithm applied to random instances of combinatorial optimization problems. We use as an example the NP-complete set partition problem and obtain an asymptotic expression for the minimal gap separating the ground and exited states of a system during the execution of the algorithm. We show that for computationally hard problem instances the size of the minimal gap scales exponentially with the problem size. This result is in qualitative agreement with the direct numerical simulation of the algorithm for small instances of the set partition problem. We describe the statistical properties of the optimization problem that are responsible for the exponential behavior of the algorithm.

Smelyanskiy, Vadim N.↗

An analysis of particle track effects on solid mammalian tissues

Relative biological effectiveness (RBE) and quality factor (Q) at extreme values of linear energy transfer (LET) have been determined on the basis of experiments with single-cell systems and specific tissue responses. In typical single-cell systems, each heavy particle (Ar or Fe) passes through a single cell or no cell. In experiments on animal tissues, however, each heavy particle passes through several cells, and the LET can exceed 200 keV micrometers-1 in every cell. In most laboratory animal tissue systems, however, only a small portion of the hit cells are capable of expressing the end-point being measured, such as cell killing, mutation or carcinogenesis. The following question was therefore addressed: do RBEs and Q factors derived from single-cell experiments properly account for the damage at high LET when multiple cells are hit by HZE tracks? A review is offered in which measured radiation effects and known tissue properties are combined to estimate on the one hand, the number of cells at risk, p3n, per track, where n is the number of cells per track based on tissue and organ geometry, and p3 is the probability that a cell in the track is capable of expressing the experimental end-point. On the other hand, the tissue and single-cell responses are compared by determining the ratio RBE in tissue/RBE in corresponding single cells. Experimental data from the literature indicate that tissue RBEs at very high LET (Fe and Ar ions) are higher than corresponding single-cell RBEs, especially in tissues in which p3n is high.

Non-NASA Center↗

Grid Enabled Geospatial Catalogue Web Service

Geospatial Catalogue Web Service is a vital service for sharing and interoperating volumes of distributed heterogeneous geospatial resources, such as data, services, applications, and their replicas over the web. Based on the Grid technology and the Open Geospatial Consortium (0GC) s Catalogue Service - Web Information Model, this paper proposes a new information model for Geospatial Catalogue Web Service, named as GCWS which can securely provides Grid-based publishing, managing and querying geospatial data and services, and the transparent access to the replica data and related services under the Grid environment. This information model integrates the information model of the Grid Replica Location Service (RLS)/Monitoring & Discovery Service (MDS) with the information model of OGC Catalogue Service (CSW), and refers to the geospatial data metadata standards from IS0 19115, FGDC and NASA EOS Core System and service metadata standards from IS0 191 19 to extend itself for expressing geospatial resources. Using GCWS, any valid geospatial user, who belongs to an authorized Virtual Organization (VO), can securely publish and manage geospatial resources, especially query on-demand data in the virtual community and get back it through the data-related services which provide functions such as subsetting, reformatting, reprojection etc. This work facilitates the geospatial resources sharing and interoperating under the Grid environment, and implements geospatial resources Grid enabled and Grid technologies geospatial enabled. It 2!so makes researcher to focus on science, 2nd not cn issues with computing ability, data locztic~, processir,g and management. GCWS also is a key component for workflow-based virtual geospatial data producing.

Chen, Ai-Jun↗

Reusable, Extensible High-Level Data-Distribution Concept

A framework for high-level specification of data distributions in data-parallel application programs has been conceived. [As used here, distributions signifies means to express locality (more specifically, locations of specified pieces of data) in a computing system composed of many processor and memory components connected by a network.] Inasmuch as distributions exert a great effect on the performances of application programs, it is important that a distribution strategy be flexible, so that distributions can be adapted to the requirements of those programs. At the same time, for the sake of productivity in programming and execution, it is desirable that users be shielded from such error-prone, tedious details as those of communication and synchronization. As desired, the present framework enables a user to refine a distribution type and adjust it to optimize the performance of an application program and conceals, from the user, the low-level details of communication and synchronization. The framework provides for a reusable, extensible, data-distribution design, denoted the design pattern, that is independent of a concrete implementation. The design pattern abstracts over coding patterns that have been found to be commonly encountered in both manually and automatically generated distributed parallel programs. The following description of the present framework is necessarily oversimplified to fit within the space available for this article. Distributions are among the elements of a conceptual data-distribution machinery, some of the other elements being denoted domains, index sets, and data collections (see figure). Associated with each domain is one index set and one distribution. A distribution class interface (where "class" is used in the object-oriented-programming sense) includes operations that enable specification of the mapping of an index to a unit of locality. Thus, "Map(Index)" specifies a unit, while "LocalLayout(Index)" specifies the local address within that unit. The distribution class can be extended to enable specification of commonly used distributions or novel user-defined distributions. A data collection can be defined over a domain. The term "data collection" in this context signifies, more specifically, an abstraction of mappings from index sets to variables. Since the index set is distributed, the addresses of the variables are also distributed.

James, Mark↗

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

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↗

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↗