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 829 records · Page 46
All sourcesNASA NTRSDOE OSTI
NASA NTRS1995

Introduction to Penelope

A formal program verification is a (mathematical) proof that a program executed according to its intended model meets some specification. This proves that the algorithm defined by the program is correct in the precise technical sense of being consistent with a particular specification. A program correct in this sense is free from a large and important class of errors, even though its behavior may still produce unintended results--either because the implementation of the programming language itself does not match the model of execution, or because the specification does not correctly express the user's intentions. Penelope is a prototype system for interactively developing and verifying programs that are written in a rich subset of sequential Ada. Penelope can be used to develop a program and its correctness proof incrementally, and in concert with one another. Incrementality is used in a number of ways to help make verification more tractable and more productive. For example, if an already-verified program is modified, one can attempt to prove the modified version by replaying and modifying the original verification. Penelope's specification language, Larch/Ada, belongs to the family of Larch interface languages. Larch/Ada scales up properly, in the sense that it is demonstrably sound to decompose a system hierarchically and reason locally about the implementation of each piece. Penelope has been applied in various demonstration projects--for specification (guidance control, distributed operating systems), verification (of off-the-shelf code), and formal development (by non-expert as well as expert users). Some features of Penelope have been embodied in Ada Wise, a lint-like non-interactive tool that warns of the potential for certain dynamic semantic errors in Ada programs.

Guaspari, David↗
NASA NTRS1961

An Analytical Approach to the Design of an Automatic Discontinuous Control System

An analytical investigation was conducted concerning the design of an attitude-stabilization system for stabilizing a vehicle experiencing negligible external moments. The system studied was an automatic discontinuous control system employing a linear switching function including effects of pure time delays, rise and decay time, and neutral zone. Equations were developed which generalize the transient and limit-cycle performance of the control system. understanding of how the physical constants of the system affect its performance, the equations enable the optimization of the system with regard to most considerations that can be expressed mathematically. Design charts are presented which enable rapid calculation of the best thrust level and switching-function coefficient for minimizing power required to stabilize the vehicle within some amplitude, minimizing attitude error, and minimizing angular-velocity error after a period of operation.

Taylor, Lawrence W., Jr.↗
DOE OSTI2021

Generation of Pseudomonas putida KT2440 Strains with Efficient Utilization of Xylose and Galactose via Adaptive Laboratory Evolution

While Pseudomonas putida KT2440 has great potential for biomass-converting processes, its inability to utilize the biomass abundant sugars xylose and galactose has limited its applications. Here, in this study, we utilized Adaptive Laboratory Evolution (ALE) to optimize engineered KT2440 with heterologous expression of xylD encoding xylonate dehydratase from Caulobacter crescentus and galETKM encoding UDP-glucose 4-epimerase, galactose-1-phosphate uridylyltransferase, galactokinase, and galactose-1-epimerase from Escherichia coli K-12 MG1655. Poor starting strain growth (<0.1 h –1 or none) was evolutionarily optimized to rates of up to 0.25 h –1 on xylose and 0.52 h –1 on galactose. Whole-genome sequencing, transcriptomic analysis, and growth screens revealed significant roles of kguT encoding a 2-ketogluconate operon repressor and 2-ketogluconate transporter, and gtsABCD encoding an ATP-binding cassette (ABC) sugar transporting system in xylose and galactose growth conditions, respectively. Finally, we expressed the heterologous indigoidine production pathway in the evolved and unevolved engineered strains and successfully produced 3.2 g/L and 2.2 g/L from 10 g/L of either xylose or galactose in the evolved strains whereas the unevolved strains did not produce any detectable product. Thus, the generated KT2440 strains have the potential for broad application as optimized platform chassis to develop efficient microorganism-based biomass-utilizing bioprocesses.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2020

Software-Defined Network for End-to-end Networked Science at the Exascale

Domain science applications and workflow processes are currently forced to view the network as an opaque infrastructure into which they inject data and hope that it emerges at the destination with an acceptable Quality of Experience. There is little ability for applications to interact with the network to exchange information, negotiate performance parameters, discover expected performance metrics, or receive status/troubleshooting information in real time. The work we presen here is motivated by a vision for a new smart network and smart application ecosystem that will provide a more deterministic and interactive environment for domain science workflows. The Software-Defined Network for End-to-end Networked Science at Exascale (SENSE) system includes a model-based architecture, implementation, and deployment which enables automated end-to-end network service instantiation across administrative domains. An intent based interface allows applications to express their high-level service requirements, an intelligent orchestrator and resource control systems allow for custom tailoring of scalability and real-time responsiveness based on individual application and infrastructure operator requirements. This allows the science applications to manage the network as a first-class schedulable resource as is the current practice for instruments, compute, and storage systems. Deployment and experiments on production networks and testbeds have validated SENSE functions and performance. Emulation based testing verified the scalability needed to support research and education infrastructures. Key contributions of this work include an architecture definition, reference implementation, and deployment. This provides the basis for further innovation of smart network services to accelerate scientific discovery in the era of big data, cloud computing, machine learning and artificial intelligence.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2020

Software-defined network for end-to-end networked science at the exascale

Domain science applications and workflow processes are currently forced to view the network as an opaque infrastructure into which they inject data and hope that it emerges at the destination with an acceptable Quality of Experience. There is little ability for applications to interact with the network to exchange information, negotiate performance parameters, discover expected performance metrics, or receive status/troubleshooting information in real time. The work presented here is motivated by a vision for a new smart network and smart application ecosystem that will provide a more deterministic and interactive environment for domain science workflows. The Software-Defined Network for End-to-end Networked Science at Exascale (SENSE) system includes a model-based architecture, implementation, and deployment which enables automated end- to-end network service instantiation across administrative domains. An intent based interface allows applications to express their high-level service requirements, an intelligent orchestrator and resource control systems allow for custom tailoring of scalability and real-time responsiveness based on individual application and infrastructure operator requirements. This allows the science applications to manage the network as a first-class schedulable resource as is the current practice for instruments, compute, and storage systems. Deployment and experiments on production networks and testbeds have validated SENSE functions and performance. Emulation based testing verified the scalability needed to support research and education infrastructures. Key contributions of this work include an architecture definition, reference implementation, and deployment. This provides the basis for further innovation of smart network services to accelerate scientific discovery in the era of big data, cloud computing, machine learning and artificial intelligence.

47 OTHER INSTRUMENTATION↗
NASA NTRS1961

Applicability of Mixing Length Theory to a Turbulent Vortex System

The ability of mixing length theory to correlate vortex data is evaluated. Expressions are derived for eddy diffusivity by applying the techniques of von Karman and Prandtl which have been established for pipe flow. Total and static pressures were measured from the outer radius to the exhaust-nozzle radius of a vortex generator for a range of mass flows. These data are combined with Navier-Stokes solutions for this region of a compressible vortex to determine turbulent Reynolds numbers. The Reynolds number is related to Prandtl and Karman functions for various assumed boundary conditions, and the experimental data are used to determine the usefulness of these expressions. The following conclusions were reached: (1) Mixing length functions developed by applying von Karman's similarity hypothesis to vortex motion correlate the data better than do Prandtl functions obtained with the assumption that mixing length is proportional to radius. (2) Some of the expressions developed do not adequately represent the experimental data. (3) The data are correlated with acceptable scatter by evaluating the fluid radial inertia at the outer boundary and the shear stress at the inner boundary. The universal constant K was found to be 0.04 to 0.08, rather than the value of 0.4 which is accepted for rectilinear flow. (4) The data are best correlated by a modified Karman expression which includes an effect of radial inertia, as well as shear stress, on eddy diffusivity.

Ragsdale, Robert G.↗
NASA NTRS1993

Computational strategies in the dynamic simulation of constrained flexible MBS

This research focuses on the computational dynamics of flexible constrained multibody systems. At first a recursive mapping formulation of the kinematical expressions in a minimum dimension as well as the matrix representation of the equations of motion are presented. The method employs Kane's equation, FEM, and concepts of continuum mechanics. The generalized active forces are extended to include the effects of high temperature conditions, such as creep, thermal stress, and elastic-plastic deformation. The time variant constraint relations for rolling/contact conditions between two flexible bodies are also studied. The constraints for validation of MBS simulation of gear meshing contact using a modified Timoshenko beam theory are also presented. The last part deals with minimization of vibration/deformation of the elastic beam in multibody systems making use of time variant boundary conditions. The above methodologies and computational procedures developed are being implemented in a program called DYAMUS.

Amirouche, F. M. L.↗
NASA NTRS1980

Shuttle Global Positioning (GPS) System design study

Investigations of certain aspects and problems of the shuttle global positioning system GPS, are presented. Included are: test philosophy and test outline; development of a phase slope specification for the shuttle GPS antenna; an investigation of the shuttle jamming vulnerability; and an expression for the GPS signal to noise density ratio for the thermal protection system.

Nilsen, P.↗
NASA NTRS1993

The 20 kWe NEP flight system

A low-power, near-term nuclear electric propulsion (NEP) system was proposed as a useful interim system for near-term space exploration. Although the ultimate goal of a 100 kWe class, low specific mass for planetary exploration remains, application of the technologies that are currently mature to earlier missions of interest has grown at the higher levels of NASA. In response to this interest, a study of low-power system and mission options was initiated, with the Nuclear Propulsion Office serving to coordinate system activities. A nominal 20 kWe system using Brayton power conversion was selected by the joint NASA/DOE Space Nuclear Power and Propulsion team; however, other power levels and system options will be considered. NASA's Office of Space Science and Applications has expressed interest in exploiting NEP's mission capabilities, both in the near-term and for more difficult, later missions. Technologies considered mature for this type of system are the SP-100 reactor, Brayton dynamic power conversion, and 30 cm ion thrusters, all of which have extensive ground demonstration backgrounds.

Gilland, Jim↗
NASA NTRS2005

A Probabilistic Software System Attribute Acceptance Paradigm for COTS Software Evaluation

Standard software requirement formats are written from top-down perspectives only, that is, from an ideal notion of a client s needs. Despite the exactness of the standard format, software and system errors in designed systems have abounded. Bad and inadequate requirements have resulted in cost overruns, schedule slips and lost profitability. Commercial off-the-shelf (COTS) software components are even more troublesome than designed systems because they are often provided as is and subsequently delivered with unsubstantiated validation of described capabilities. For COTS software, there needs to be a way to express the client s software needs in a consistent and formal manner using software system attributes derived from software quality standards. Additionally, the format needs to be amenable to software evaluation processes that integrate observable evidence garnered from historical data. This paper presents a paradigm that effectively bridges the gap between what a client desires (top-down) and what has been demonstrated (bottom-up) for COTS software evaluation. The paradigm addresses the specification of needs before the software evaluation is performed and can be used to increase the shared understanding between clients and software evaluators about what is required and what is technically possible.

Morris, A. Terry↗
NASA NTRS1992

Assessing repository technology. Where do we go from here?

Three sample information retrieval systems, archie, autoLib, and Wide Area Information Service (WAIS), are compared with regard to their expressiveness and usefulness, first in the general context of information retrieval, and then as prospective software reuse repositories. While the representational capabilities of these systems are limited, they provide a useful foundation for future repository efforts, particularly from the perspective of repository distribution and coherent user interface design.

Eichmann, David↗
NASA NTRS1992

Assessing repository technology: Where do we go from here?

Three sample information retrieval systems, archie, autoLib, and Wide Area Information Service (WAIS), are compared with regard to their expressiveness and usefulness, first in the general context of information retrieval, and then as perspective software reuse repositories. While the representational capabilities of these systems are limited, they provide a useful foundation for future repository efforts, particularly from the perspective of repository distribution and coherent user interface design.

Eichmann, David A.↗
DOE OSTI2025

Feynman path integrals for discrete-variable systems: Walks on Hamiltonian graphs

We propose a natural, parameter-free, discrete-variable formulation of Feynman path integrals. We show that for discrete-variable quantum systems, Feynman path integrals take the form of walks on the graph whose weighted adjacency matrix is the Hamiltonian. By working out expressions for the partition function and transition amplitudes of discretized versions of continuous-variable quantum systems, and then taking the continuum limit, we explicitly recover Feynman's continuous-variable path integrals. We also discuss the implications of our result.

Feynman diagrams↗
NASA NTRS1974

Evaluation of approximate relations for Delta /Q/ using a numerical solution of the Boltzmann equation

Data obtained from a numerical solution of the Boltzmann equation for shock-wave structure are used to test the accuracy of accepted approximate expressions for the two moments of the collision integral Delta (Q) for general intermolecular potentials in systems with a large translational nonequilibrium. The accuracy of the numerical scheme is established by comparison of the numerical results with exact expressions in the case of Maxwell molecules. They are then used in the case of hard-sphere molecules, which are the furthest-removed inverse power potential from the Maxwell molecule; and the accuracy of the approximate expressions in this domain is gauged. A number of approximate solutions are judged in this manner, and the general advantages of the numerical approach in itself are considered.

Nathenson, M.↗
DOE OSTI2023

Developing VSC-HVDC Oscillation Damping Control Constraints in Unit Commitment

High-voltage direct current (HVDC) systems within the existing power grids will play a pivotal role in enabling high share of renewable power integration and transportation electrification. There is a need for transmission planning models to accurately capture the impact of VSC-HVDC oscillation damping control on the system planning and model the constraints in the security constrained unit commitment (SCUC) problem. In this paper, the SCUC problem in a hybrid DC-AC grid considering damping on electromechanical inter-area oscillation is studied. An electromechanical oscillation-driven transmission capability constraints are derived from system swing equation and incorporated into the SCUC. Multiple system damping control scenarios are set based on the extracted plausible bounds of damping coefficient and inertia constant to linearize the nonlinear expressions. The SCUC problem with proposed constraints is tested on the IEEE 73-bus reliability test system (RTS) case via PLEXOS. The impact of the proposed constraints on regional generation, inertia, power flow, annual system cost, and renewable energy curtailment are fully assessed.

damping control↗
NASA NTRS1995

Wigner distribution function and entropy of the damped harmonic oscillator within the theory of the open quantum systems

The harmonic oscillator with dissipation is studied within the framework of the Lindblad theory for open quantum systems. By using the Wang-Uhlenbeck method, the Fokker-Planck equation, obtained from the master equation for the density operator, is solved for the Wigner distribution function, subject to either the Gaussian type or the delta-function type of initial conditions. The obtained Wigner functions are two-dimensional Gaussians with different widths. Then a closed expression for the density operator is extracted. The entropy of the system is subsequently calculated and its temporal behavior shows that this quantity relaxes to its equilibrium value.

Isar, Aurelian↗
DOE OSTI2024

CD46-Targeted Theranostics for PET and 225 Ac-Radiopharmaceutical Therapy of Multiple Myeloma

Multiple myeloma is a plasma cell malignancy with an unmet clinical need for improved imaging methods and therapeutics. Recently, we identified CD46 as an overexpressed therapeutic target in multiple myeloma and developed the antibody YS5, which targets a cancer-specific epitope on this protein. We further developed the CD46-targeting PET probe [ 89 Zr]Zr-DFO-YS5 for imaging and [ 225 Ac]Ac-DOTA-YS5 for radiopharmaceutical therapy of prostate cancer. These prior studies suggested the feasibility of the CD46 antigen as a theranostic target in multiple myeloma. Herein, we validate [ 89 Zr]Zr-DFO-YS5 for immunoPET imaging and [ 225 Ac]Ac-DOTA-YS5 for radiopharmaceutical therapy of multiple myeloma in murine models. In vitro saturation binding was performed using the CD46 expressing MM.1S multiple myeloma cell line. ImmunoPET imaging using [ 89 Zr]Zr-DFO-YS5 was performed in immunodeficient (NSG) mice bearing subcutaneous and systemic multiple myeloma xenografts. For radioligand therapy, [ 225 Ac]Ac-DOTA-YS5 was prepared, and both dose escalation and fractionated dose treatment studies were performed in mice bearing MM1.S-Luc systemic xenografts. Tumor burden was analyzed using BLI, and body weight and overall survival were recorded to assess antitumor effect and toxicity. [ 89 Zr]Zr-DFO-YS5 demonstrated high affinity for CD46 expressing MM.1S multiple myeloma cells (K d = 16.3 nmol/L). In vitro assays in multiple myeloma cell lines demonstrated high binding, and bioinformatics analysis of human multiple myeloma samples revealed high CD46 expression. [ 89 Zr]Zr-DFO-YS5 PET/CT specifically detected multiple myeloma lesions in a variety of models, with low uptake in controls, including CD46 knockout (KO) mice or multiple myeloma mice using a nontargeted antibody. In the MM.1S systemic model, localization of uptake on PET imaging correlated well with the luciferase expression from tumor cells. A treatment study using [ 225 Ac]Ac-DOTA-YS5 in the MM.1S systemic model demonstrated a clear tumor volume and survival benefit in the treated groups. Our study showed that the CD46-targeted probe [ 89 Zr]Zr-DFO-YS5 can successfully image CD46-expressing multiple myeloma xenografts in murine models, and [ 225 Ac]Ac-DOTA-YS5 can effectively inhibit the growth of multiple myeloma. These results demonstrate that CD46 is a promising theranostic target for multiple myeloma, with the potential for clinical translation.

59 BASIC BIOLOGICAL SCIENCES↗
NASA NTRS1976

The computer simulation of automobile use patterns for defining battery requirements for electric cars

The modeling process of a complex system, based on the calculation and optimization of the system parameters, is complicated in that some parameters can be expressed only as probability distributions. In the present paper, a Monte Carlo technique was used to determine the daily range requirements of an electric road vehicle in the United States from probability distributions of trip lengths, frequencies, and average annual mileage data. The analysis shows that a daily range of 82 miles meets to 95% of the car-owner requirements at all times with the exception of long vacation trips. Further, it is shown that the requirement of a daily range of 82 miles can be met by a (intermediate-level) battery technology characterized by an energy density of 30 to 50 Watt-hours per pound. Candidate batteries in this class are nickel-zinc, nickel-iron, and iron-air. These results imply that long-term research goals for battery systems should be focused on lower cost and longer service life, rather than on higher energy densities

Schwartz, H.-J.↗