Search NASA⌕ Search

SEARCH · Search NASA

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 577 records · Page 32
All sourcesNASA NTRSDOE OSTI
NASA NTRS1990

Model reduction by weighted Component Cost Analysis

Component Cost Analysis considers any given system driven by a white noise process as an interconnection of different components, and assigns a metric called 'component cost' to each component. These component costs measure the contribution of each component to a predefined quadratic cost function. A reduced-order model of the given system may be obtained by deleting those components that have the smallest component costs. The theory of Component Cost Analysis is extended to include finite-bandwidth colored noises. The results also apply when actuators have dynamics of their own. Closed-form analytical expressions of component costs are also derived for a mechanical system described by its modal data. This is very useful to compute the modal costs of very high order systems. A numerical example for MINIMAST system is presented.

Kim, Jae H.↗
NASA NTRSDate not supplied

Development Status of Powered Descent for High-Mass Mars Entry, Descent, and Landing Systems

Retropropulsion, initiated at supersonic conditions, provides both deceleration and control authority as an enabling capability for the delivery of human-scale payloads to the surface of Mars. There are no other presently viable approaches to the descent phase of flight for vehicles of such scales. NASA continues to dedicate investment in the maturation of powered descent in atmospheric environments, for the express application to large-scale entry, descent, and landing systems. Efforts focus on parametric, subscale, inert gas ground testing, rigorous validation of computational modeling approaches against these data, and the implementation of highly efficient, scalable simulation tools. This paper summarizes the current maturity of retropropulsion in a free-flight, atmospheric environment for vehicles with significant aerodynamic surface area, as well as the current status of efforts within NASA for ground testing, computational simulation, and flight testing.

Mars↗
NASA NTRSDate not supplied

Development Status of Powered Descent for High-Mass Mars Entry, Descent, and Landing Systems

Retropropulsion, initiated at supersonic conditions, provides both deceleration and control authority as an enabling capability for the delivery of human-scale payloads to the surface of Mars. There are no other presently viable approaches to the descent phase of flight for vehicles of such scales. NASA continues to dedicate investment in the maturation of powered descent in atmospheric environments, for the express application to large-scale entry, descent, and landing systems. Efforts focus on parametric, subscale, inert gas ground testing, rigorous validation of computational modeling approaches against these data, and the implementation of highly efficient, scalable simulation tools. This paper summarizes the current maturity of retropropulsion in a free-flight, atmospheric environment for vehicles with significant aerodynamic surface area, as well as the current status of efforts within NASA for ground testing, computational simulation, and flight testing.

Ashley Korzun↗
NASA NTRS2013

Mission Data System Java Edition Version 7

The Mission Data System framework defines closed-loop control system abstractions from State Analysis including interfaces for state variables, goals, estimators, and controllers that can be adapted to implement a goal-oriented control system. The framework further provides an execution environment that includes a goal scheduler, execution engine, and fault monitor that support the expression of goal network activity plans. Using these frameworks, adapters can build a goal-oriented control system where activity coordination is verified before execution begins (plan time), and continually during execution. Plan failures including violations of safety constraints expressed in the plan can be handled through automatic re-planning. This version optimizes a number of key interfaces and features to minimize dependencies, performance overhead, and improve reliability. Fault diagnosis and real-time projection capabilities are incorporated. This version enhances earlier versions primarily through optimizations and quality improvements that raise the technology readiness level. Goals explicitly constrain system states over explicit time intervals to eliminate ambiguity about intent, as compared to command-oriented control that only implies persistent intent until another command is sent. A goal network scheduling and verification process ensures that all goals in the plan are achievable before starting execution. Goal failures at runtime can be detected (including predicted failures) and handled by adapted response logic. Responses can include plan repairs (try an alternate tactic to achieve the same goal), goal shedding, ignoring the fault, cancelling the plan, or safing the system.

Reinholtz, William K.↗
DOE OSTI2024

Comparison of Machine Learning Approaches for Prediction of the Equivalent Alkane Carbon Number for Microemulsions Based on Molecular Properties

The chemical properties of oils are vital in the design of microemulsion systems. The hydrophilic–lipophilic difference equation used to predict microemulsions’ phase behavior expresses the oils’ physiochemical properties as the equivalent alkane carbon number (EACN). The experimental determination of EACN requires knowledge of the temperature dependence of the microemulsion system and the effects of different surfactant concentrations. Thus, the experimental determination is time-intensive and tedious, requiring days to months for proper separations. Furthermore, the experiments require high purity of chemicals because microemulsions are sensitive to impurities. Our work focuses on the quick and reliable predictions of the EACN with machine learning (ML) models. Due to the immaturity of ML chemical predictions, we compare three graph neural networks (GNNs) and a gradient-boosted tree algorithm, known as XGBoost. The GNNs use the molecular structures represented as simplified molecular-input line-entry system (SMILES) codes for the initial input, which allows us to assess whether geometry optimization is necessary for reliable results. The XGBoost model also begins with the SMILES representations of the molecules but uses molecular descriptors instead of geometry optimizations. As a result, the best model tested (crystal graph convolutional neural network with Merck molecular force field-94) has an error of 1.15 EACN units of the true EACN for unknown data with the errors skewed toward zero and an R² score of 0.9

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
NASA NTRS1992

The relationship between pressure-based and density-based algorithms

The PISO, pressure-based algorithm, is compared with implicit time-marching systems to ascertain their similarities and differences. Both methods are expressed in vector form for comparison purposes. The vector form of the PISO method is triangular, allowing an uncoupled solution procedure, while the Euler implicit method requires the simultaneous solution of all equations. Upwind differencing is performed according to the direction of the eigenvalues in both systems, but this is the particle velocity in the PISO method and the acoustic velocity in the Euler method. Vector stability calculations show that the PISO method is conditionally stable depending on the time step, but that it provides adequate damping at small time steps to enable good convergence. Unconditional stability can be provided by retaining the energy coupling terms in the time derivative. Transforming the Euler implicit equations to the PISO variables along with a modification of the time derivatives gives the density-based method the same amplification factors at low speeds as the pressure-based method without affecting their behavior at high speeds.

Merkle, Charles L.↗
NASA NTRS1992

System/observer/controller identification toolbox

System Identification is the process of constructing a mathematical model from input and output data for a system under testing, and characterizing the system uncertainties and measurement noises. The mathematical model structure can take various forms depending upon the intended use. The SYSTEM/OBSERVER/CONTROLLER IDENTIFICATION TOOLBOX (SOCIT) is a collection of functions, written in MATLAB language and expressed in M-files, that implements a variety of modern system identification techniques. For an open loop system, the central features of the SOCIT are functions for identification of a system model and its corresponding forward and backward observers directly from input and output data. The system and observers are represented by a discrete model. The identified model and observers may be used for controller design of linear systems as well as identification of modal parameters such as dampings, frequencies, and mode shapes. For a closed-loop system, an observer and its corresponding controller gain directly from input and output data.

Juang, Jer-Nan↗
NASA NTRSDate not supplied

Uneven Inflation Load Share Trends in Clusters

The use of parachute clusters for payload recovery is still seeing widespread use ever since the early days of WWII. By involving the (near) simultaneous deployment of several smaller and identical canopies connected to the payload, cluster systems offer flexibility in tailoring to needed descent rates and load management, as well as providing robustness against individual canopy deployment or opening failure. Their downside, of course, resides in the possibility of differing inflation rates by each cluster member as caused by deployment variability, canopy-to-canopy interference, etc. Such variability leads to the lead-lag phenomenon, which causes uneven loading among the parachutes, often times leaving a single canopy to take up a significant portion of the system’s inflation loads. Herein we investigate how serious such an effect can be in terms of the number N of cluster members, underinflation drag of the lagging canopies, inflation swiftness of the leader in comparison to the laggards’, disreefing cutter activation staggering and pre-disreefing drag area. Two new metrics are used to highlight load share unevenness, namely, the peak and average leader canopy riser load in comparison to the leader’s drag during no-lead-lag; and leader peak load, as compared to total peak load. Results are calculated from data collected in NASA’s Orion/CPAS test program, as well as from simple algebraic expressions informing leader drag as sustained in different cluster systems (i.e., of different N) and varying leader inflation time relative to the laggards. Generally, using large-N cluster systems confers better load sharing among canopies. However, and in deployments where significant lead-lag occur, large-N systems may feature greater leader overload excursions, oftentimes in excess of 50% the no-lead-lag levels. These excursions are particularly made worse when cutter activation among the members are far from simultaneous and the laggards’ pre-disreefing drag area is small in comparison to the leader’s.

parachutes↗
NASA NTRS2004

Meeting the Deadline: Why, When and How

A normative system is defined as any set of interacting agents whose behavior can usefully be regarded as norm-directed. Most organizations, and more specifically institutions, fall under this definition. Interactions in these normative systems are regulated by normative templates that describe desired behavior in terms of deontic concepts (obligations, prohibitions and permissions), deadlines, violations and sanctions. Agreements between agents, and between an agent and the society, can then be specified by means of contracts. Contracts provide flexible but verifiable means to integrate society requirements and agent autonomy. and are an adequate means for the explicit specification of interactions. From the society perspective, it is important that these contracts adhere to the specifications described in the model of the organization. If we want to automate such verifications, we have to formalize the languages used for contracts and for the specification of organizations. The logic LCR is based on deontic temporal logic. LCR is an expressive language for describing interaction in multi-agent systems, including obligations with deadlines. Deadlines are important norms in most interactions between agents. Intuitively, a deadline states that an agent should perform an action before a certain point in time. The obligation to perform the action starts at the moment the deadline becomes active. E.g. when a contract is signed or approved. If the action is not performed in time a violation of the deadline occurs. It can be specified independently what measure has to be taken in this case. In this paper we investigate the deadline concept in more detail. The paper is organized as follows. Section 2 defines the variant of CTL we use. In section 3, we discuss the basic intuitions of deadlines. Section 4 presents a first intuitive formalization for deadlines. In section 5, we look at a more complex model for deadlines trying to catch some more practical aspects. Finally, in section 6 we present issues for future work and our conciusions.

Dignum, Frank↗
NASA NTRS1972

An engineering optimization method with application to STOL-aircraft approach and landing trajectories

An optimization method has been developed that computes the optimal open loop inputs for a dynamical system by observing only its output. The method reduces to static optimization by expressing the inputs as series of functions with parameters to be optimized. Since the method is not concerned with the details of the dynamical system to be optimized, it works for both linear and nonlinear systems. The method and the application to optimizing longitudinal landing paths for a STOL aircraft with an augmented wing are discussed. Noise, fuel, time, and path deviation minimizations are considered with and without angle of attack, acceleration excursion, flight path, endpoint, and other constraints.

Jacob, H. G.↗
NASA NTRS1975

Identification and interpretation of tectonic features from ERTS-1 imagery: Southwestern North America and the Red Sea area

The author has identified the following significant results. The ERTS-1 imagery was utilized to study major fault and tectonic lines and their intersections in southwestern North America. A system of transverse shear faults was recognized in the California Coast Ranges, the Sierra Nevada, the Great Basin, and Mexico. They are interpreted as expressions of a major left-lateral shear which predated the San Andreas system, the opening of the Gulf of California and Basin and Range rift development. Tectonic models for Basin and Range, Coast Ranges, and Texas-Parras shears were developed. Geological structures and Precambrian metamorphic trend lines of schistosity were studied across the Red Sea rift.

Abdel-Gawad, M.↗
NASA NTRS1992

Propagation effects for land mobile satellite systems: Overview of experimental and modeling results

Models developed and experiments performed to characterize the propagation environment associated with land mobile communication using satellites are discussed. Experiments were carried out with transmitters on stratospheric balloons, remotely piloted aircraft, helicopters, and geostationary satellites. This text is comprised of compiled experimental results for the expressed use of communications engineers, designers of planned Land Mobile Satellite Systems (LMSS), and modelers of propagation effects. The results presented here are mostly derived from systematic studies of propagation effects for LMSS geometries in the United States associated with rural and suburban regions. Where applicable, the authors also draw liberally from the results of other related investigations in Canada, Europe, and Australia. Frequencies near 1500 MHz are emphasized to coincide with frequency bands allocated for LMSS by the International Telecommunication Union, although earlier experimental work at 870 MHz is also included.

Goldhirsh, Julius↗
NASA NTRS2008

Expressions Module for the Satellite Orbit Analysis Program

The Expressions Module is a software module that has been incorporated into the Satellite Orbit Analysis Program (SOAP). The module includes an expressions- parser submodule built on top of an analytical system, enabling the user to define logical and numerical variables and constants. The variables can capture output from SOAP orbital-prediction and geometric-engine computations. The module can combine variables and constants with built-in logical operators (such as Boolean AND, OR, and NOT), relational operators (such as >, <, or =), and mathematical operators (such as addition, subtraction, multiplication, division, modulus, exponentiation, differentiation, and integration). Parentheses can be used to specify precedence of operations. The module contains a library of mathematical functions and operations, including logarithms, trigonometric functions, Bessel functions, minimum/ maximum operations, and floating- point-to-integer conversions. The module supports combinations of time, distance, and angular units and has a dimensional- analysis component that checks for correct usage of units. A parser based on the Flex language and the Bison program looks for and indicates errors in syntax. SOAP expressions can be built using other expressions as arguments, thus enabling the user to build analytical trees. A graphical user interface facilitates use.

Edmonds, Karina↗
NASA NTRS1982

Bandwidth limitations on noiseless optical channel capacity

The channel capacity of an optical communications link utilizing direct photon detection can be substantially larger than the heterodyne detection quantum limit. In the limit of a noiseless channel the capacity per received photon can even be infinite. In most communications systems the real constraint is to deliver a certain throughput capacity measured in nats/second. The current investigation has the objective to show that due to physical limitations on the minimum time resolution which can be achieved, and for any given throughput capacity in nats/second, there exists an optimum PPM word size which maximizes the 'power efficiency capacity' expressed in nats/photon. Such an optimization will allow the system-designer to minimize the amount of power needed to achieve the desired throughput without violating his bandwidth constraint.

Butman, S. A.↗
NASA NTRS1990

A computational procedure for multibody systems including flexible beam dynamics

A computational procedure suitable for the solution of equations of motions for flexible multibody systems has been developed. A fully nonlinear continuum approach capable of accounting for both finite rotations and large deformations has been used to model a flexible beam component. The beam kinematics are referred directly to an inertial reference frame such that the degrees of freedom embody both the rigid and flexible deformation motions. As such, the beam inertia expression is identical to that of rigid body dynamics. The nonlinear coupling between gross body motion and elastic deformation is contained in the internal force expression. Numerical solution procedures for the integration of spatial kinematic systems can be directily applied to the generalized coordinates of both the rigid and flexible components. An accurate computation of the internal force term which is invariant to rigid motions is incorporated into the general solution procedure.

Downer, J. D.↗
NASA NTRS1973

Nonlinear transient analysis of multi-mass flexible rotors - theory and applications

The equations of motion necessary to compute the transient response of multi-mass flexible rotors are formulated to include unbalance, rotor acceleration, and flexible damped nonlinear bearing stations. A method of calculating the unbalance response of flexible rotors from a modified Myklestad-Prohl technique is discussed in connection with the method of solution for the transient response. Several special cases of simplified rotor-bearing systems are presented and analyzed for steady-state response, stability, and transient behavior. These simplified rotor models produce extensive design information necessary to insure stable performance to elastic mounted rotor-bearing systems under varying levels and forms of excitation. The nonlinear journal bearing force expressions derived from the short bearing approximation are utilized in the study of the stability and transient response of the floating bush squeeze damper support system. Both rigid and flexible rotor models are studied, and results indicate that the stability of flexible rotors supported by journal bearings can be greatly improved by the use of squeeze damper supports. Results from linearized stability studies of flexible rotors indicate that a tuned support system can greatly improve the performance of the units from the standpoint of unbalanced response and impact loading. Extensive stability and design charts may be readily produced for given rotor specifications by the computer codes presented in this analysis.

Kirk, R. G.↗
NASA NTRS1986

Static shape control for flexible structures

An integrated methodology is described for defining static shape control laws for large flexible structures. The techniques include modeling, identifying and estimating the control laws of distributed systems characterized in terms of infinite dimensional state and parameter spaces. The models are expressed as interconnected elliptic partial differential equations governing a range of static loads, with the capability of analyzing electromagnetic fields around antenna systems. A second-order analysis is carried out for statistical errors, and model parameters are determined by maximizing an appropriate defined likelihood functional which adjusts the model to observational data. The parameter estimates are derived from the conditional mean of the observational data, resulting in a least squares superposition of shape functions obtained from the structural model.

Rodriguez, G.↗