Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “System dependency”

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 127 records · Page 7
All sourcesNASA NTRSDOE OSTI
NASA NTRS1993

Satellite signatures in SLR observations

We examine the evidence for the detection of satellite-dependent signatures in the laser range observations obtained by the UK single-photon Satellite Laser Ranging (SLR) System models of the expected observation distributions from Ajisai and Lageos are developed from the published satellite spread functions and from the characteristics of the SLR System and compared with the observations. The effects of varying return strengths are discussed using the models and by experimental observations of Ajisai, during which a range of return levels from single to multiple photons is achieved. The implications of these results for system-dependent center for mass corrections are discussed.

Appleby, G. M.↗
DOE OSTI2023

Correlations between flow and transverse momentum in Xe + Xe and Pb + Pb collisions at the LHC with the ATLAS detector: A probe of the heavy-ion initial state and nuclear deformation

The correlations between flow harmonics v n for n = 2, 3, and 4 and mean transverse momentum [p T ] in 129 Xe + 129 Xe and 208 Pb + 208 Pb collisions at $\sqrt{s}$ = 5.44 and 5.02 TeV, respectively, are measured using charged particles with the ATLAS detector. The correlations are potentially sensitive to the shape and size of the initial geometry, nuclear deformation, and initial momentum anisotropy. The effects from nonflow and centrality fluctuations are minimized, respectively, via a subevent cumulant method and an event-activity selection based on particle production at very forward rapidity. The v n -[p T ] correlations show strong dependencies on centrality, harmonic number n, p T , and pseudorapidity range. Current models qualitatively describe the overall centralityand system-dependent trends but fail to quantitatively reproduce all features of the data. In central collisions, where models generally show good agreement, the v 2 -[p T ] correlations are sensitive to the triaxiality of the quadruple deformation. Comparison of the model with the Pb + Pb and Xe + Xe data confirms that the 129 Xe nucleus is a highly deformed triaxial ellipsoid that has neither a prolate nor oblate shape. This provides strong evidence for a triaxial deformation of the 129 Xe nucleus from high-energy heavy-ion collisions.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
NASA NTRS1989

Considerations for a design and operations knowledge support system for Space Station Freedom

Engineering and operations of modern engineered systems depend critically upon detailed design and operations knowledge that is accurate and authoritative. A design and operations knowledge support system (DOKSS) is a modern computer-based information system providing knowledge about the creation, evolution, and growth of an engineered system. The purpose of a DOKSS is to provide convenient and effective access to this multifaceted information. The complexity of Space Station Freedom's (SSF's) systems, elements, interfaces, and organizations makes convenient access to design knowledge especially important, when compared to simpler systems. The life cycle length, being 30 or more years, adds a new dimension to space operations, maintenance, and evolution. Provided here is a review and discussion of design knowledge support systems to be delivered and operated as a critical part of the engineered system. A concept of a DOKSS for Space Station Freedom (SSF) is presented. This is followed by a detailed discussion of a DOKSS for the Lyndon B. Johnson Space Center and Work Package-2 portions of SSF.

Erickson, Jon D.↗
DOE OSTI2024

A Typing Discipline for High-Assurance Control Systems

This poster describes a typing discipline for high-assurance industrial systems based on three novel type systems. The first type system, information flow control (IFC), controls the flow of data through the system. The second system, dependent session types, restricts messages exchanged during the execution of a communication protocol to avoid dangerous states. The third system uses dimensional analysis to avoid subtle bugs that adversaries can exploit to cause the system to enter a dangerous state. This poster describes how a combination of these approaches can prevent sophisticated cyber attacks, such as the infamous Stuxnet incident, from occurring. In addition, we provide experimental evidence to support the claim that these approaches can be applied in control systems that are resource-constrained.

42 - ENGINEERING↗
DOE OSTI2022

Uptake and speciation of trace metal inputs to Wetland Soils from Illinois and South Carolina and Stream Sediments from Tennessee

Metals occur in all ecosystems, although their concentrations vary depending on their natural geologic conditions and surrounding human activities. In addition to metals intrinsically present from the geology of a particular system, metals can enter environmental systems from a wide variety of natural and anthropogenic sources, such as sediment re-suspension, mining operations, industrial processes, agricultural activities, and atmospheric deposition. While metals can be toxic at high concentrations, some metals serve as essential micronutrients for biogeochemical processes. Metal transport and availability in engineered and natural water systems depend on processes of adsorption/desorption, oxidation/reduction, dissolution/precipitation, and ligand complexation. Insights into the speciation of metals and their bioavailability will also help advance understanding of the roles of metals in the biogeochemical cycling of nutrients. We conducted batch experiments under anoxic conditions on soils and sediments collected from three different natural aquatic systems to understand their response to influxes of dissolved Cu, Ni and Zn. While soils and sediments from all sites could strongly bind added trace metals, there were substantial differences in trace metal uptake trends between different sites, especially for Cu. There was no distinct correlation between trace metal uptake and the total organic matter, iron, and sulfur content present in the samples. X-ray absorption spectroscopy indicated that the speciation of the freshly added metals taken up by the solids differs substantially from the speciation of the metals originally present in unamended samples. Cu sulfides dominated speciation at low loadings (1 µmol/g), whereas complexation to thiol groups and formation of metallic Cu governed speciation at high loadings (10 µmol/g). For Ni and Zn, adsorption to mineral surfaces and organic matter governed their speciation in materials from most sites. This study suggests that the background speciation of metals in natural aquatic systems is a poor predictor of the speciation and lability of metals introduced to terrestrial aquatic systems from anthropogenic or natural processes. Our findings imply that geochemical processes controlling trace metal speciation may vary considerably with metal loading in different natural systems. Data are provided for marsh wetland soils at Argonne National Laboratory (Marsh 1 and Marsh 2), riparian wetland soils (Riparian 1 and Riparian 2) in the Tims Branch watershed at Savannah River National Laboratory, and stream bed sediments (Stream 1 and Stream 2) from East Fork Poplar Creek near Oak Ridge National Laboratory. Data package includes the results of trace metal uptake experiments conducted on the selected sites for determining their capacity to immobilize metals under different loadings. XANES spectra for Cu, Ni, ad Zn at different loadings are included in the package. The abundance of different trace metal species obtained using linear combination fitting in ATHENA are also included in the data.

54 ENVIRONMENTAL SCIENCES↗
NASA NTRS1987

Cost effective use of liquid nitrogen in cryogenic wind tunnels

A method of reliquefying from 12 to 19% of the nitrogen exhaust gas from a cryogenic wind tunnel has been developed. Technical feasibility and cost effectiveness of the system depends on performance of an innovative positive displacement expander which requires scale model testing to confirm design studies. The existing cryogenic system at the 0.3-m transonic cryogenic tunnel has been surveyed and extensive upgrades proposed. Upgrades are generally cost effective and may be implemented immediately since they are based on established technology.

Mcintosh, Glen E.↗
NASA NTRS1990

Interpretation of the optical and morphological properties of Cirrus clouds from lidar measurements

Lidar measurements can provide a great deal of information about the structure, location, and scattering properties of cirrus clouds. However, caution must be used when interpreting raw lidar backscatter profiles in terms of relative or absolute extinction distribution, internal cloud structure, and, at times, cloud location. The problem arises because the signal measured from a range by any monostatic lidar system depends on the backscatter cross section at that range and the 2-way optical thickness to the scattering volume. Simple lidar systems, however, produce only one measurement of attenuated backscatter from each range. The general FIRE research community is given aid in interpretation of lidar measurements, and the special capabilities of the High Spectral Resolution Lidar (HSRL) is explained. Some examples are given of conditions under which direct interpretation of cirrus cloud morphology from simple lidar profiles could be misleading.

Grund, Christian John↗
NASA NTRS1991

Intelligent systems technology infrastructure for integrated systems

A system infrastructure must be properly designed and integrated from the conceptual development phase to accommodate evolutionary intelligent technologies. Several technology development activities were identified that may have application to rendezvous and capture systems. Optical correlators in conjunction with fuzzy logic control might be used for the identification, tracking, and capture of either cooperative or non-cooperative targets without the intensive computational requirements associated with vision processing. A hybrid digital/analog system was developed and tested with a robotic arm. An aircraft refueling application demonstration is planned within two years. Initially this demonstration will be ground based with a follow-on air based demonstration. System dependability measurement and modeling techniques are being developed for fault management applications. This involves usage of incremental solution/evaluation techniques and modularized systems to facilitate reuse and to take advantage of natural partitions in system models. Though not yet commercially available and currently subject to accuracy limitations, technology is being developed to perform optical matrix operations to enhance computational speed. Optical terrain recognition using camera image sequencing processed with optical correlators is being developed to determine position and velocity in support of lander guidance. The system is planned for testing in conjunction with Dryden Flight Research Facility. Advanced architecture technology is defining open architecture design constraints, test bed concepts (processors, multiple hardware/software and multi-dimensional user support, knowledge/tool sharing infrastructure), and software engineering interface issues.

Lum, Henry↗
NASA NTRS1994

Characterizing parallel file-access patterns on a large-scale multiprocessor

Rapid increases in the computational speeds of multiprocessors have not been matched by corresponding performance enhancements in the I/O subsystem. To satisfy the large and growing I/O requirements of some parallel scientific applications, we need parallel file systems that can provide high-bandwidth and high-volume data transfer between the I/O subsystem and thousands of processors. Design of such high-performance parallel file systems depends on a thorough grasp of the expected workload. So far there have been no comprehensive usage studies of multiprocessor file systems. Our CHARISMA project intends to fill this void. The first results from our study involve an iPSC/860 at NASA Ames. This paper presents results from a different platform, the CM-5 at the National Center for Supercomputing Applications. The CHARISMA studies are unique because we collect information about every individual read and write request and about the entire mix of applications running on the machines. The results of our trace analysis lead to recommendations for parallel file system design. First the file system should support efficient concurrent access to many files, and I/O requests from many jobs under varying load conditions. Second, it must efficiently manage large files kept open for long periods. Third, it should expect to see small requests predominantly sequential access patterns, application-wide synchronous access, no concurrent file-sharing between jobs appreciable byte and block sharing between processes within jobs, and strong interprocess locality. Finally, the trace data suggest that node-level write caches and collective I/O request interfaces may be useful in certain environments.

Purakayastha, Apratim↗
NASA NTRS2004

Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation

A general-purpose method to mechanically transform system requirements into a provably equivalent model has yet to appear. Such a method represents a necessary step toward high-dependability system engineering for numerous possible application domains, including sensor networks and autonomous systems. Currently available tools and methods that start with a formal model of a system and mechanically produce a provably equivalent implementation are valuable but not sufficient. The gap that current tools and methods leave unfilled is that their formal models cannot be proven to be equivalent to the system requirements as originated by the customer. For the classes of systems whose behavior can be described as a finite (but significant) set of scenarios, we offer a method for mechanically transforming requirements (expressed in restricted natural language, or in other appropriate graphical notations) into a provably equivalent formal model that can be used as the basis for code generation and other transformations.

Hinchey, Michael G.↗
NASA NTRS2005

A Formal Approach to Requirements-Based Programming

No significant general-purpose method is currently available to mechanically transform system requirements into a provably equivalent model. The widespread use of such a method represents a necessary step toward high-dependability system engineering for numerous application domains. Current tools and methods that start with a formal model of a system and mechanically produce a provably equivalent implementation are valuable but not sufficient. The "gap" unfilled by such tools and methods is that the formal models cannot be proven to be equivalent to the requirements. We offer a method for mechanically transforming requirements into a provably equivalent formal model that can be used as the basis for code generation and other transformations. This method is unique in offering full mathematical tractability while using notations and techniques that are well known and well trusted. Finally, we describe further application areas we are investigating for use of the approach.

Hinchey, Michael G.↗
NASA NTRS2005

Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation

A general-purpose method to mechanically transform system requirements into a provably equivalent model has yet to appear. Such a method represents a necessary step toward high-dependability system engineering for numerous possible application domains, including distributed software systems, sensor networks, robot operation, complex scripts for spacecraft integration and testing, and autonomous systems. Currently available tools and methods that start with a formal model of a system and mechanically produce a provably equivalent implementation are valuable but not sufficient. The gap that current tools and methods leave unfilled is that their formal models cannot be proven to be equivalent to the system requirements as originated by the customer. For the classes of systems whose behavior can be described as a finite (but significant) set of scenarios, we offer a method for mechanically transforming requirements (expressed in restricted natural language, or in other appropriate graphical notations) into a provably equivalent formal model that can be used as the basis for code generation and other transformations.

Hinchey, Michael G.↗
NASA NTRS2005

Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation

A general-purpose method to mechanically transform system requirements into a provably equivalent model has yet to appear. Such a method represents a necessary step toward high-dependability system engineering for numerous possible application domains, including distributed software systems, sensor networks, robot operation, complex scripts for spacecraft integration and testing, and autonomous systems. Currently available tools and methods that start with a formal model of a: system and mechanically produce a provably equivalent implementation are valuable but not sufficient. The "gap" that current tools and methods leave unfilled is that their formal models cannot be proven to be equivalent to the system requirements as originated by the customer. For the ciasses of systems whose behavior can be described as a finite (but significant) set of scenarios, we offer a method for mechanically transforming requirements (expressed in restricted natural language, or in other appropriate graphical notations) into a provably equivalent formal model that can be used as the basis for code generation and other transformations.

Hinchey, Michael G.↗
DOE OSTI2026

Trajectory-independent speed limits for controlled open quantum systems

Existing quantum speed limits for controlled open quantum systems depend on the specified trajectory. For example, lower bounds on quantum annealing times in the presence of dissipation depend explicitly on the chosen annealing schedule. Recently, schedule-independent speed limits have been derived for annealing in the closed quantum system setting [L. P. García-Pintos et al ., SciPost Phys. 18 , 159 (2025)]. In this work, we generalize these results to open quantum systems, deriving schedule-independent lower bounds for quantum annealing times in systems described by a Lindblad master equation. We analyze the interplay between coherent control and dissipation in single- and two-qubit examples, demonstrating that the derived lower bounds capture key scaling behavior with respect to the strength of the dissipator. Finally, we apply the bound to thermal state preparation and show that the bound matches the expected asymptotic behavior for an Ising model in the high-temperature limit.

open quantum systems & decoherence↗
NASA NTRS1995

Characterizing parallel file-access patterns on a large-scale multiprocessor

High-performance parallel file systems are needed to satisfy tremendous I/O requirements of parallel scientific applications. The design of such high-performance parallel file systems depends on a comprehensive understanding of the expected workload, but so far there have been very few usage studies of multiprocessor file systems. This paper is part of the CHARISMA project, which intends to fill this void by measuring real file-system workloads on various production parallel machines. In particular, we present results from the CM-5 at the National Center for Supercomputing Applications. Our results are unique because we collect information about nearly every individual I/O request from the mix of jobs running on the machine. Analysis of the traces leads to various recommendations for parallel file-system design.

Purakayastha, A.↗
NASA NTRS1999

A Novel Technique for Performing Space Based Radiation Dosimetry Using DNA: Results from GRaDEx-I and the Design of GRaDEx-II

Because of the large amounts of cosmic radiation in the space environment relative to that on earth, the effects of radiation on the physiology of astronauts is of major concern. Doses of radiation which can cause acute or chronic biological effects are to be avoided, therefore determination of the amount of radiation exposure encountered during space flight and assessment of its impact on biological systems is critical. Quantifying the radiation dosage and damage to biological systems, especially to humans during repetitive high altitude flight and during long duration space flight is important for several reasons. Radiation can cause altered biosynthesis and long term genotoxicity resulting in cancer and birth defects, etc. Radiation damage to biological systems depends in a complex way on incident radiation species and their energy spectra. Typically non-biological, i.e. film or electronic monitoring systems with narrow energy band sensitivity are used to perform dosimetry and then results are extrapolated to biological models. For this reason it may be desirable to perform radiation dosimetry by using biological molecules e.g. DNA or RNA strands as passive sensors. A lightweight genotoxicology experiment was constructed to determine the degree to which in-vitro naked DNA extracted from tissues of a variety of vertebrate organisms is damaged by exposure to radiation in a space environment. The DNA is assayed by means of agarose gel electrophoresis to determine damage such as strand breakage caused by high momentum particles and photons, and base oxidation caused by free radicals. The length distribution of DNA fragments is directly correlated with the radiation dose. It is hoped that a low mass, low cost, passive biological system to determine dose-response relationship (increase in strand breaks with increase in exposure) can be developed to perform radiation dosimetry in support of long duration space flight, and to predict negative effects on biological systems (e.g. astronauts and greenhouses) in space. The payload was flown in a 2.5 cubic foot Get Away Special (GAS) container through NASA's GAS program. It was subjected to the environment of the space shuttle cargo bay for the duration of the STS-91 mission (9 days). Results of the genotoxicology and radiation dosimetry experiment (GRaDEx-I) as well as the design of an improved follow on payload are presented.

Ritter, Joe↗
NASA NTRS1999

A Novel Technique for Performing Space Based Radiation Dosimetry Using DNA-Results from GRaDEx-I and the Design of GRaDEx-II

Because of the large amounts of cosmic radiation in the space environment relative to that on earth, the effects of radiation on the physiology of astronauts is of major concern. Doses of radiation which can cause acute or chronic biological effects are to be avoided, therefore determination of the amount of radiation exposure encountered during space flight and assessment of its impact on biological systems is critical. Quantifying the radiation dosage and damage to biological systems, especially to humans during repetitive high altitude flight and during long duration space flight is important for several reasons. Radiation can cause altered biosynthesis and long term genotoxicity resulting in cancer and birth defects etc. Radiation damage to biological systems depends in a complex way on incident radiation species and their energy spectra. Typically non-biological, i.e. film or electronic monitoring systems with narrow energy band sensitivity are used to perform dosimetry and then results are extrapolated to biological models. For this reason it may be desirable to perform radiation dosimetry by using biological molecules e.g. DNA or RNA strands as passive sensors. A lightweight genotoxicology experiment was constructed to determine the degree to which in vitro naked DNA extracted from tissues of a variety of vertebrate organisms is damaged by exposure to radiation in a space environment. The DNA is assayed by means of agarose gel electrophoresis to determine damage such as strand breakage caused by high momentum particles and photons, and base oxidation caused by free radicals. The length distribution of DNA fragments is directly correlated with the radiation dose. It is hoped that a low mass, low cost, passive biological system to determine dose response relationship (increase in strand breaks with increase in exposure) can be developed to perform radiation dosimetry in support of long duration space flight, and to predict negative effects on biological systems (e.g. astronauts and greenhouses) in space. The payload was flown in a 2.5 cubic foot Get Away Special (GAS) container through NASA's GAS program. It was subjected to the environment of the space shuttle cargo bay for the duration of the STS-91 mission (9 days). Results of the genotoxicology and radiation dosimetry experiment (GRaDEx-1) as well as the design of an improved follow on payload are presented.

Ritter, Joe↗
DOE OSTI2024

Dynamical instability in multi-orbiter systems with gas friction

ABSTRACT Closely packed multiplanet systems are known to experience dynamical instability if the spacings between the planets are too small. Such instability can be tempered by the frictional forces acting on the planets from gaseous discs. A similar situation applies to stellar-mass black holes embedded in active galactic nuclei discs around supermassive black holes. We use N-body integrations to evaluate how the frictional damping of orbital eccentricity affects the growth of dynamical instability for a wide range of K (the difference in the planetary semimajor axes in units of the mutual Hill radius) and (unequal) planet masses. We find that, in general, the stable region (large K) and unstable region (small K) are separated by a “grey zone”, where the (in)stability is not guaranteed. We report the numerical values of the critical spacing for stability Kcrit and the “grey zone” range in different systems, and provide fitting formulae for arbitrary frictional forcing strength. We show that the stability of a system depends on the damping time-scale τ relative to the zero-friction instability growth time-scale tinst: two-planet systems are stable if tinst ≳ τ; three-planet systems require tinst ≳ 10τ−100τ. When K is sufficiently small, tinst can be less than the synodic period between the planets, which makes frictional stabilization unlikely to occur. As K increases, tinst tends to grow exponentially, but can also fluctuate by a few orders of magnitude. We also devise a linear map to analyse the dynamical instability of the “planet + test mass” system, and find qualitative agreement with N-body simulations.

Li, Jiaru (ORCID:0000000155507421)↗