Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “behavior modeling”

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 613 records · Page 34
All sourcesNASA NTRSDOE OSTI
NASA NTRS2018

The OpenSE Cookbook: A Practical, Recipe Based Collection of Patterns, Procedures, and Best Practices for Executable Systems Engineering for the Thirty Meter Telescope

The OpenSE Cookbook is an open-sourced collection of patterns, procedures, and best practices targeted for systems engineers who seek guidance on applying model-based and executable systems engineering (MBSE) using SysML. Its content has emerged from the system level modeling effort on the European Framework Program 6 (FP6) and the Thirty Meter Telescope (TMT). The TMT MBSE approach applied the Executable Systems Engineering Method (ESEM) and the open-source Engineering Environment (OpenMBEE) to specify, analyze, and verify requirements of TMT’s Alignment and Phasing System (APS) and the Narrow Field Infrared Adaptive Optics System (NFIRAOS). In these applications, implicit dependencies are made explicit in a formal model through the use of ESEM, OpenMBEE, and SysML modeling constructs. The value proposition for applying this MBSE approach was to establish precise requirements and fine-grained traceability to system designs, and to verify key requirements beginning early in development. The integration of ESEM and the OpenMBEE tooling infrastructure (providing linked-data and web-operability) is a significant added value for the MBSE approach. The APS is responsible for the overall pre-adaptive optics wavefront quality, using starlight to measure wavefront errors and align the TMT optics. In the formally integrated and executable SysML model, simulations are performed to analyze the impact of changed requirements and verify specified constraints for various operational scenarios. The APS team used several modeling patterns to capture information such as the requirements, the operational scenarios, involved subsystems and their interaction points, the estimated or required time durations, and the mass and power consumption. Adaptive optics systems are designed to sense real-time atmospheric turbulence and correct the telescope’s optical beam to remove its effect. The system model for the adaptive optics operational modes was developed to capture sequence behaviors and operational scenarios to run Monte-Carlo simulations for verifying acquisition time, observing efficiency, and operational behavior requirements. The model is particularly useful for investigating the effect of parallelization, identifying interface issues, and re-ordering sequence acquisition tasks. A former version of the Cookbook (which is now updated to MBSE challenges, goals, and lessons learned) included modeling guidelines and conventions for all system aspects, hierarchy levels, and views, which were developed during for the Active Phasing Experiment (APE), an opto-mechatronical system technology demonstrator for the Extremely Large Telescope (ELT). The Cookbook utilizes the above mentioned system models as real-world case-studies to demonstrate and document the applications of the recipes, providing also instructional examples and addressing the available tooling support. The Cookbook is accompanied by a number of SysML models and aodel libraries which facilitate model authoring and maintenance. The Cookbook covers the different aspects of Systems Engineering such as management of Requirements, Design (behavior and structure), Interfaces, Interdisciplinary Integration, Analysis, Trade Studies, and Technical Resources. This paper presents the background, motivation, architecture, and highlights some key content of the Cookbook. For example, interface management, error budget management, requirements verification, Monte Carlo driven analysis, and timing analysis of operational scenarios. The paper discusses how the capabilities of OpenMBEE contributed significantly to the adoption of executable systems engineering.

Brower, Eric↗
NASA NTRS1967

Mercury's microwave phase effect.

Incompatibility of microwave phase effects measurements in Mercury thermal emission with simple model for thermal behavior of planet surface

ASTRONOMICAL MODEL↗
NASA NTRS1993

Reactive system verification case study: Fault-tolerant transputer communication

A reactive program is one which engages in an ongoing interaction with its environment. A system which is controlled by an embedded reactive program is called a reactive system. Examples of reactive systems are aircraft flight management systems, bank automatic teller machine (ATM) networks, airline reservation systems, and computer operating systems. Reactive systems are often naturally modeled (for logical design purposes) as a composition of autonomous processes which progress concurrently and which communicate to share information and/or to coordinate activities. Formal (i.e., mathematical) frameworks for system verification are tools used to increase the users' confidence that a system design satisfies its specification. A framework for reactive system verification includes formal languages for system modeling and for behavior specification and decision procedures and/or proof-systems for verifying that the system model satisfies the system specifications. Using the Ostroff framework for reactive system verification, an approach to achieving fault-tolerant communication between transputers was shown to be effective. The key components of the design, the decoupler processes, may be viewed as discrete-event-controllers introduced to constrain system behavior such that system specifications are satisfied. The Ostroff framework was also effective. The expressiveness of the modeling language permitted construction of a faithful model of the transputer network. The relevant specifications were readily expressed in the specification language. The set of decision procedures provided was adequate to verify the specifications of interest. The need for improved support for system behavior visualization is emphasized.

Crane, D. Francis↗
NASA NTRS2012

Towards Validation of an Adaptive Flight Control Simulation Using Statistical Emulation

Traditional validation of flight control systems is based primarily upon empirical testing. Empirical testing is sufficient for simple systems in which a.) the behavior is approximately linear and b.) humans are in-the-loop and responsible for off-nominal flight regimes. A different possible concept of operation is to use adaptive flight control systems with online learning neural networks (OLNNs) in combination with a human pilot for off-nominal flight behavior (such as when a plane has been damaged). Validating these systems is difficult because the controller is changing during the flight in a nonlinear way, and because the pilot and the control system have the potential to co-adapt in adverse ways traditional empirical methods are unlikely to provide any guarantees in this case. Additionally, the time it takes to find unsafe regions within the flight envelope using empirical testing means that the time between adaptive controller design iterations is large. This paper describes a new concept for validating adaptive control systems using methods based on Bayesian statistics. This validation framework allows the analyst to build nonlinear models with modal behavior, and to have an uncertainty estimate for the difference between the behaviors of the model and system under test.

He, Yuning↗
NASA NTRS1974

Plastic buckling

The present article is concerned mainly with the post-bifurcation and imperfection-sensitivity aspects of plastic buckling. A simple two-degree-of-freedom model is used to introduce post-bifurcation behavior and a second model illustrates features of the behavior of continuous solids and structures. Hill's bifurcation criterion for a class of three-dimensional solids is applied to the Donnell-Mushtari-Vlasov (DMV) theory of plates and shells. A general treatment of the initial post-bifurcation behavior of plates and shells is given within the context of the DMV theory. This is illustrated by problems involving columns and circular plates under radial compression. Numerical results are given for a column under axial compression, a circular plate under radial compression, and spherical and cylindrical shells.

Hutchinson, J. W.↗
NASA NTRS1985

Thermal-vacuum testing and in-situ optical alignment measurements of the HALOE telescope/sun sensor assembly

Design features, test data and projected performance levels of the telescope/sun sensor assembly for the Halogen Occultation Experiment (HALOE) on board the Upper Atmosphere Research Satellite are described. HALOE will gather data on stratospheric chemical species with an IR telescope pointed through the atmosphere at the sun during occultation periods. The pointing accuracy will need to be 1 arcmin elevation and 1.6 arcmin azimuthal. Adjustments of the gimbaled instrument are guided by a sun sensor and its associated electronics. The components were subjected to thermal-vacuum, optical boresight stability tests and the data generated were compared with a finite element model of the telescope and sun sensor. The tests consisted of exposure to various thermal gradients while the telescope and sun sensor alignments were tracked by optical deflectometry. The thermal behavior was compared with predictions made with a finite difference model. Alignments were within tolerable ranges and the thermal behavior model was concluded valid for predicting the thermal behavior of orbiting instruments.

Foss, R. A.↗
NASA NTRS2024

Solar FTIR Measurements of NOx Vertical Distributions – Part 2: Experiment-Based Scaling Factors Describing the Daytime Variation in Stratospheric NOx

Long-term experimental stratospheric NO2 and NO partial columns measured by means of solar Fourier-transform infrared (FTIR) spectrometry at Zugspitze (47.42° N, 10.98° E; 2964 m a.s.l.), Germany, were used to create a set of experiment-based monthly scaling factors (SFexp). The underlying data set is published in a companion paper (Nürnberg et al., 2024) and comprises over 25 years of measurements depicting the daytime variability of stratospheric NO2 and NO partial columns with respect to local solar time (LST). In accordance with simulation-based scaling factors recently published by Strode et al. (2022), we created SFexp normalized to SZA =72° for NO2 and NO for every month of the year as a function of solar zenith angle (SZA). Apart from a boundary value problem at minimum SZA values originating from averaging over different times of the month, the obtained scaling factors SFexp(NO2) and SFexp(NO) as a function of SZA represent the daytime behavior already shown in model simulations and experiments in the literature very well. This shows a well-pronounced increase in the NO2 and NO stratospheric partial column with the time of the day and a flattening of this increase after noon. In addition to the discussion of SFexp, we validate the simulation-based scaling factors SFsim(NO2) (Strode et al., 2022) and present simulation-based scaling factors for NO SFsim(NO). The simulation-based scaling factors show excellent agreement with the experiment-based ones; i.e., for NO2 and NO the mean value of the modulus between the experiment and simulation over all SZAs and months is only 0.02 %. We show that recently used model simulations can describe the real behavior of nitrogen oxide (NOx) variability in the stratosphere very well. Furthermore, we conclude that ground-based FTIR measurements can be used for validation of the output of photochemistry models and for creating experiment-based data sets describing the daytime stratospheric NOx variability as a function of SZA. This is a contribution to improved satellite validation and a better understanding of stratospheric photochemistry.

FTIR, nitrogen oxides, diurnal variability↗
NASA NTRS1986

Tidal dissipation in a viscoelastic planet

Tidal dissipation is examined using Maxwell standard liner solid (SLS), and Kelvin-Voigt models, and viscosity parameters are derived from the models that yield the amount of dissipation previously calculated for a moon model with QW = 100 in a hypothetical orbit closer to the earth. The relevance of these models is then assessed for simulating planetary tidal responses. Viscosities of 10 exp 14 and 10 ex 18 Pa s for the Kelvin-Voigt and Maxwell rheologies, respectively, are needed to match the dissipation rate calculated using the Q approach with a quality factor = 100. The SLS model requires a short time viscosity of 3 x 10 exp 17 Pa s to match the Q = 100 dissipation rate independent of the model's relaxation strength. Since Q = 100 is considered a representative value for the interiors of terrestrial planets, it is proposed that derived viscosities should characterize planetary materials. However, it is shown that neither the Kelvin-Voigt nor the SLS models simulate the behavior of real planetary materials on long time scales. The Maxwell model, by contrast, behaves realistically on both long and short time scales. The inferred Maxwell viscosity, corresponding to the time scale of days, is several times smaller than the longer time scale (greater than or equal to 10 exp 14 years) viscosity of the earth's mantle.

Ross, M.↗
NASA NTRS1988

A comparison of the various helicopter mathematical models used in the methodology assessment

Various features of the computer codes used in the helicopter industry and by government agencies for rotorcraft aeroelastic stability analysis are compared. Mathematical rigor in modeling rotorcraft is given primarily to the rotor-system dynamic behavior; the aerodynamic modeling is still limited to strip theory and to uneven application of corrections for stall, reversed flow, yawed flow, radial flow, and unsteady aerodynamic effects. The forward-flight regime analysis is included in five of the 11 codes surveyed. However, only two of these codes are capable of a Floquet analysis for aeroelastic stability. For the hover regime, nine of the 11 codes use eigen-analysis approach. The remaining codes perform a harmonic analysis of the transient response of system.

Stephens, Wendell B.↗
NASA NTRS1991

On the thermodynamics of stress rate in the evolution of back stress in viscoplasticity

A thermodynamic foundation using the concept of internal state variables is presented for the kinematic description of a viscoplastic material. Three different evolution equations for the back stress are considered. The first is that of classical, nonlinear, kinematic hardening. The other two include a contribution that is linear in stress rate. Choosing an appropriate change in variables can remove this stress rate dependence. As a result, one of these two models is shown to be equivalent to the classical, kinematic hardening model; while the other is a new model, one which seems to have favorable characteristics for representing ratchetting behavior. All three models are thermodynamically admissible.

Freed, Alan D.↗
NASA NTRS1991

Segregation parameters and pair-exchange mixing models for turbulent nonpremixed flames

The progress of chemical reactions in nonpremixed turbulent flows depends on the coexistence of reactants, which are brought together by mixing. The degree of mixing can strongly influence the chemical reactions and it can be quantified by segregation parameters. In this paper, the relevance of segregation parameters to turbulent mixing and chemical reactions is explored. An analysis of the pair-exchange mixing models is performed and an explanation is given for the peculiar behavior of such models in homogeneous turbulence. The nature of segregation parameters in a H2/Ar-air nonpremixed jet flame is investigated. The results show that Monte Carlo simulation with the modified Curl's mixing model predicts segregation parameters in close agreement with the experimental values, providing an indirect validation for the theoretical model.

Chen, J.-Y.↗
NASA NTRS1999

Remote Sensing of Rain

The first problem addressed concerns passive-microwave rain retrievals. Most current approaches start by building off-line a cloud-model-derived database. Given data, the retrieval algorithms search the database for the microwave temperatures "closest" to the observed data, then after some fine-tuning (performed in different ways by different implementations) the rain is estimated to be that which corresponds to the selected (and fine-tuned) set of database temperatures. These approaches have three drawbacks: they cannot properly take into account the ambiguities which arise from the fact that several rain scenarios can produce the same observed temperatures; they are quite inefficient since they require manipulating a large database along with often complex "fine-tuning" procedures; and they cannot refine their estimates if additional data is available. This past year we have derived closed formulae relating observed microwave brightness temperatures, T(sub b), and the underlying rain rates, R: average T(sub b) =f (rain) and average rain = g (T(sub b)), along with the corresponding covariance matrices. These results are sufficient to describe the conditional probabilities p(R/T(sub b)) and p(T(sub b)/R) to second order. Progress has also been made towards deriving a robust description of the rain drop size distribution (DSD). The widespread approach consisting in parameterizing the DSD as a gamma-distribution in terms of the drop diameter D suffers from the facts that, in reality, the DSD is not a smooth function of D and that the largely arbitrary Gamma model imposes unintended behavior, which has implications on any quantities derived from the DSD model. We have therefore developed a non-parametric yet practical description of the DSD, which is particularly well-suited for use in remote-sensing applications. The diagram on the left shows a comparison between an actual DSD sample and the truncated non-parametric representation. One figure shows the relation between radar reflectivity and rain rate derived using this representation. Validation of the Tropical Rainfall Measuring Mission (TRMM) radar-radiometer combined R and DSD algorithm is underway. This algorithm was designed to make optimal use of the instantaneous reflectivity profiles measured by the TRMM radar and the microwave brightness temperatures measured by the TRMM passive radiometer. So far, it appears to be the most reliable TRMM rain algorithm.

Haddad, Ziad S.↗
NASA NTRS2007

Symbolic LTL Compilation for Model Checking: Extended Abstract

In Linear Temporal Logic (LTL) model checking, we check LTL formulas representing desired behaviors against a formal model of the system designed to exhibit these behaviors. To accomplish this task, the LTL formulas must be translated into automata [21]. We focus on LTL compilation by investigating LTL satisfiability checking via a reduction to model checking. Having shown that symbolic LTL compilation algorithms are superior to explicit automata construction algorithms for this task [16], we concentrate here on seeking a better symbolic algorithm.We present experimental data comparing algorithmic variations such as normal forms, encoding methods, and variable ordering and examine their effects on performance metrics including processing time and scalability. Safety critical systems, such as air traffic control, life support systems, hazardous environment controls, and automotive control systems, pervade our daily lives, yet testing and simulation alone cannot adequately verify their reliability [3]. Model checking is a promising approach to formal verification for safety critical systems which involves creating a formal mathematical model of the system and translating desired safety properties into a formal specification for this model. The complement of the specification is then checked against the system model. When the model does not satisfy the specification, model-checking tools accompany this negative answer with a counterexample, which points to an inconsistency between the system and the desired behaviors and aids debugging efforts.

Rozier, Kristin Y.↗
NASA NTRS2002

Automating CPM-GOMS

CPM-GOMS is a modeling method that combines the task decomposition of a GOMS analysis with a model of human resource usage at the level of cognitive, perceptual, and motor operations. CPM-GOMS models have made accurate predictions about skilled user behavior in routine tasks, but developing such models is tedious and error-prone. We describe a process for automatically generating CPM-GOMS models from a hierarchical task decomposition expressed in a cognitive modeling tool called Apex. Resource scheduling in Apex automates the difficult task of interleaving the cognitive, perceptual, and motor resources underlying common task operators (e.g. mouse move-and-click). Apex's UI automatically generates PERT charts, which allow modelers to visualize a model's complex parallel behavior. Because interleaving and visualization is now automated, it is feasible to construct arbitrarily long sequences of behavior. To demonstrate the process, we present a model of automated teller interactions in Apex and discuss implications for user modeling. available to model human users, the Goals, Operators, Methods, and Selection (GOMS) method [6, 21] has been the most widely used, providing accurate, often zero-parameter, predictions of the routine performance of skilled users in a wide range of procedural tasks [6, 13, 15, 27, 28]. GOMS is meant to model routine behavior. The user is assumed to have methods that apply sequences of operators and to achieve a goal. Selection rules are applied when there is more than one method to achieve a goal. Many routine tasks lend themselves well to such decomposition. Decomposition produces a representation of the task as a set of nested goal states that include an initial state and a final state. The iterative decomposition into goals and nested subgoals can terminate in primitives of any desired granularity, the choice of level of detail dependent on the predictions required. Although GOMS has proven useful in HCI, tools to support the construction of GOMS models have not yet come into general use.

GOMS↗
NASA NTRS1980

Continuum modeling of the mechanical and thermal behavior of discrete large structures

In the present paper we introduce a rather straightforward construction procedure in order to derive continuum equivalence of discrete truss-like repetitive structures. Once the actual structure is specified, the construction procedure can be outlined by the following three steps: (a) all sets of parallel members are identified, (b) unidirectional 'effective continuum' properties are derived for each of these sets and (c) orthogonal transformations are finally used to determine the contribution of each set to the 'overall effective continuum' properties of the structure. Here the properties includes mechanical (stiffnesses), thermal (coefficients of thermal expansions) and material densities. Once expanded descriptions of the steps (b) and (c) are done, the construction procedure will be applied to a wide variety of discrete structures and the results will be compared with those of other existing methods.

Nayfeh, A. H.↗