Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “conditionally specified models”

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 271 records · Page 15
All sourcesNASA NTRSDOE OSTI
NASA NTRS2002

Motion Planning in a Society of Intelligent Mobile Agents

The majority of the work on this grant involved formal modeling of human-computer integration. We conceptualize computer resources as a multiagent system so that these resources and human collaborators may be modeled uniformly. In previous work we had used modal for this uniform modeling, and we had developed a process-algebraic agent abstraction. In this work, we applied this abstraction (using CSP) in uniformly modeling agents and users, which allowed us to use tools for investigating CSP models. This work revealed the power of, process-algebraic handshakes in modeling face-to-face conversation. We also investigated specifications of human-computer systems in the style of algebraic specification. This involved specifying the common knowledge required for coordination and process-algebraic patterns of communication actions intended to establish the common knowledge. We investigated the conditions for agents endowed with perception to gain common knowledge and implemented a prototype neural-network system that allows agents to detect when such conditions hold. The literature on multiagent systems conceptualizes communication actions as speech acts. We implemented a prototype system that infers the deontic effects (obligations, permissions, prohibitions) of speech acts and detects violations of these effects. A prototype distributed system was developed that allows users to collaborate in moving proxy agents; it was designed to exploit handshakes and common knowledge Finally. in work carried over from a previous NASA ARC grant, about fifteen undergraduates developed and presented projects on multiagent motion planning.

Esterline, Albert C.↗
NASA NTRSDate not supplied

Lessons Learned and Best Practices for Utilizing a Generalized Composite Impact Model

A material model which incorporates several key capabilities which have been identified as lacking in currently available composite impact models has been developed. The material model utilizes experimentally based tabulated input to define the evolution of plasticity and damage as opposed to specifying discrete input parameters (such as modulus and strength). It has been implemented into the commercially available transient dynamic finite element code LS-DYNA® as MAT_213. The model can simulate the nonlinear deformation, damage and failure that take place in a composite under dynamic loading conditions. As MAT_213 is now being used by a general user community that did not participate in the model development process, a number of issues have been identified that caused uncertainty in assembling a MAT_213 input deck and conducting a MAT_213 analysis. The overall goal of this effort is to develop a quantified set of lessons learned and best practices which will permit a new user to conduct useful MAT_213 simulations without needing to have detailed expert knowledge of the material model and its theoretical underpinnings.

Micromechanics↗
NASA NTRS2004

Visualizing ultrasound through computational modeling

The Doppler Ultrasound Hematocrit Project (DHP) hopes to find non-invasive methods of determining a person s blood characteristics. Because of the limits of microgravity and the space travel environment, it is important to find non-invasive methods of evaluating the health of persons in space. Presently, there is no well developed method of determining blood composition non-invasively. This projects hopes to use ultrasound and Doppler signals to evaluate the characteristic of hematocrit, the percentage by volume of red blood cells within whole blood. These non-invasive techniques may also be developed to be used on earth for trauma patients where invasive measure might be detrimental. Computational modeling is a useful tool for collecting preliminary information and predictions for the laboratory research. We hope to find and develop a computer program that will be able to simulate the ultrasound signals the project will work with. Simulated models of test conditions will more easily show what might be expected from laboratory results thus help the research group make informed decisions before and during experimentation. There are several existing Matlab based computer programs available, designed to interpret and simulate ultrasound signals. These programs will be evaluated to find which is best suited for the project needs. The criteria of evaluation that will be used are 1) the program must be able to specify transducer properties and specify transmitting and receiving signals, 2) the program must be able to simulate ultrasound signals through different attenuating mediums, 3) the program must be able to process moving targets in order to simulate the Doppler effects that are associated with blood flow, 4) the program should be user friendly and adaptable to various models. After a computer program is chosen, two simulation models will be constructed. These models will simulate and interpret an RF data signal and a Doppler signal.

Guo, Theresa W.↗
NASA NTRS1976

A postprocessor system for the data reduction and post analysis of NASTRAN results

NASTRAN analysis results are scanned to determine maximum and minimum displacements, forces and stresses. Allowables and margins of safety are computed, and in the case of multiple loading conditions, envelopes for displacements, forces, stresses and margins of safety are also produced for specified element sets. Graphical plots of the reduced or the regular NASTRAN results may be obtained superimposed either of a developed fuselage strip or on a projection of any specified part of the finite element model. The use of the data reduction, post analysis and graphical plotting capabilities provide the analyst with a fast and convenient tool for the study of NASTRAN analysis results and their presentation for project documentation.

Raibstein, A. I.↗
NASA NTRS1984

Formal verification of mathematical software

Methods are investigated for formally specifying and verifying the correctness of mathematical software (software which uses floating point numbers and arithmetic). Previous work in the field was reviewed. A new model of floating point arithmetic called the asymptotic paradigm was developed and formalized. Two different conceptual approaches to program verification, the classical Verification Condition approach and the more recently developed Programming Logic approach, were adapted to use the asymptotic paradigm. These approaches were then used to verify several programs; the programs chosen were simplified versions of actual mathematical software.

Sutherland, D.↗
NASA NTRS1987

Radiatively driven winds from magnetic, fast-rotating stars - Wolf-Rayet stars?

An analytical procedure is developed to solve the MHD equations for a stellar wind in the strong-magnetic-field, optically thick limit for hot stars. The slow-mode, Alfven, and fast-mode critical points are modified by the radiation terms in the force equation but in a manner that can be easily treated. Once the velocities and distances are known at the critical points, the streamline constants are determined in a straight-forward manner. This shows the structure of the wind with a relatively simple numerical scheme. The magnetic field and a radiation parameter specify the terminal wind velocity. High rotation rates and a modified slow-mode critical point close to the stellar surface determine the high mass-loss rates. Wolf-Rayet stars are modeled with 1000-G fields but require stellar rotational velocities approaching breakup values. The physical conditions that correspond to Wolf-Rayet models are so rare that another mechanism must be operating in these winds.

Nerney, Steven↗
NASA NTRS1990

Strategies for concurrent processing of complex algorithms in data driven architectures

The performance modeling and enhancement for periodic execution of large-grain, decision-free algorithms in data flow architectures is examined. Applications include real-time implementation of control and signal processing algorithms where performance is required to be highly predictable. The mapping of algorithms onto the specified class of data flow architectures is realized by a marked graph model called ATAMM (Algorithm To Architecture Mapping Model). Performance measures and bounds are established. Algorithm transformation techniques are identified for performance enhancement and reduction of resource (computing element) requirements. A systematic design procedure is described for generating operating conditions for predictable performance both with and without resource constraints. An ATAMM simulator is used to test and validate the performance prediction by the design procedure. Experiments on a three resource testbed provide verification of the ATAMM model and the design procedure.

Stoughton, John W.↗
NASA NTRS1990

Strategies for concurrent processing of complex algorithms in data driven architectures

Performance modeling and performance enhancement for periodic execution of large-grain, decision-free algorithms in data flow architectures are discussed. Applications include real-time implementation of control and signal processing algorithms where performance is required to be highly predictable. The mapping of algorithms onto the specified class of data flow architectures is realized by a marked graph model called algorithm to architecture mapping model (ATAMM). Performance measures and bounds are established. Algorithm transformation techniques are identified for performance enhancement and reduction of resource (computing element) requirements. A systematic design procedure is described for generating operating conditions for predictable performance both with and without resource constraints. An ATAMM simulator is used to test and validate the performance prediction by the design procedure. Experiments on a three resource testbed provide verification of the ATAMM model and the design procedure.

Som, Sukhamoy↗
NASA NTRS2000

Modeling and Characterization of Geometric Effects on the Performance of Rainbow and Thunder Actuators

Dome formation in Rainbow and Thunder actuators occurs to relieve thermal expansion mismatch stress between the metallic and piezoelectric layers during cooling from device fabrication temperatures. Accompanying this process is the generation of an internal stress profile within the devices and the development of significant tensile stresses within the surface region of the piezoelectric. These tensile stresses affect the domain configuration (ratio of c-to-a domains), and improve the 90 deg. domain wall movement response of the device in this region of the piezoelectric. This results in improved electromechanical performance compared to standard direct extensional and flextensional devices, presumably because of the contributions of stress to the non-linearity of the piezoelectric d-coefficients. 1 Interestingly, this improvement in response seems counterintuitive; a stress perpendicular to the direction of the applied electric field should impede, not contribute to 90' domain switching. Further consideration of the lower region of the piezoelectric that is under compressive stress thus appears warranted. The specified objectives of the research were to: 1. Conduct finite element and equivalent circuit simulation-based investigations to understand the effects of actuator geometry on internal stress distribution and actuator performance (displacement and load-bearing capabilities). 2. Use the results of the modeling studies to predict the processing conditions (geometry and thickness ratio) required for the fabrication of Rainbow ceramics with optimized performance.

Schwartz, Robert W.↗
NASA NTRS2019

Adjoint-Based Mesh Adaptation and Shape Optimization for Simulations with Propulsion

We demonstrate a well-posed formulation of permeable boundary conditions and mass- flow-rate functionals for adjoint-based mesh refinement and shape optimization governed by the steady Euler equations. The boundary conditions are used to model propulsion- system effects of inlets and nozzles. A two-shock diffuser with an analytic solution is used to verify the implementation. Numerical examples show that the adjoint solution is smooth at the boundary, indicating that the discretization is adjoint consistent when exit pressure is specified at subsonic outflow, and stagnation temperature and pressure at subsonic inflow. The results focus on improving simulation techniques for low-boom aircraft analysis and design. By including mass-flow-rate outputs, we obtain reliable estimates of engine flow rates concurrently with nearfield pressure signatures without increasing simulation cost. We also demonstrate the importance of mass-flow-rate constraints in shape optimization by examining trade-offs between maximizing performance of a shrouded supersonic nozzle and minimizing shocks in its nearfield.

Nemec, Marian↗
NASA NTRS2005

Monitoring Agents for Assisting NASA Engineers with Shuttle Ground Processing

The Spaceport Processing Systems Branch at NASA Kennedy Space Center has designed, developed, and deployed a rule-based agent to monitor the Space Shuttle's ground processing telemetry stream. The NASA Engineering Shuttle Telemetry Agent increases situational awareness for system and hardware engineers during ground processing of the Shuttle's subsystems. The agent provides autonomous monitoring of the telemetry stream and automatically alerts system engineers when user defined conditions are satisfied. Efficiency and safety are improved through increased automation. Sandia National Labs' Java Expert System Shell is employed as the agent's rule engine. The shell's predicate logic lends itself well to capturing the heuristics and specifying the engineering rules within this domain. The declarative paradigm of the rule-based agent yields a highly modular and scalable design spanning multiple subsystems of the Shuttle. Several hundred monitoring rules have been written thus far with corresponding notifications sent to Shuttle engineers. This chapter discusses the rule-based telemetry agent used for Space Shuttle ground processing. We present the problem domain along with design and development considerations such as information modeling, knowledge capture, and the deployment of the product. We also present ongoing work with other condition monitoring agents.

Semmel, Glenn S.↗
NASA NTRS2003

High Energy Boundary Conditions for a Cartesian Mesh Euler Solver

Inlets and exhaust nozzles are common place in the world of flight. Yet, many aerodynamic simulation packages do not provide a method of modelling such high energy boundaries in the flow field. For the purposes of aerodynamic simulation, inlets and exhausts are often fared over and it is assumed that the flow differences resulting from this assumption are minimal. While this is an adequate assumption for the prediction of lift, the lack of a plume behind the aircraft creates an evacuated base region thus effecting both drag and pitching moment values. In addition, the flow in the base region is often mis-predicted resulting in incorrect base drag. In order to accurately predict these quantities, a method for specifying inlet and exhaust conditions needs to be available in aerodynamic simulation packages. A method for a first approximation of a plume without accounting for chemical reactions is added to the Cartesian mesh based aerodynamic simulation package CART3D. The method consists of 3 steps. In the first step, a components approach where each triangle is assigned a component number is used. Here, a method for marking the inlet or exhaust plane triangles as separate components is discussed. In step two, the flow solver is modified to accept a reference state for the components marked inlet or exhaust. In the third step, the flow solver uses these separated components and the reference state to compute the correct flow condition at that triangle. The present method is implemented in the CART3D package which consists of a set of tools for generating a Cartesian volume mesh from a set of component triangulations. The Euler equations are solved on the resulting unstructured Cartesian mesh. The present methods is implemented in this package and its usefulness is demonstrated with two validation cases. A generic missile body is also presented to show the usefulness of the method on a real world geometry.

Pandya, Shishir↗
NASA NTRS1980

Estimating probabilities of cloud-free fields-of-view from the earth through the atmosphere

The paper is an extension of previous papers by Lund and Shanklin (1972, 1973). It presents probabilities of cloud-free fields-of-view (CFFOV) to supplement probabilities of cloud-free lines-of-sight (CFLOS) contained in the earlier papers. A model is developed for estimating the probability of obtaining a CFFOV as a function of ground-observer-reported total sky cover for earth-to-space applications. The development of the model and examples of its application are described. A comparison of CFFOV and CFLOS results is made. In conclusion, climatic probabilities of CFFOV overhead through the entire atmosphere between the surface of the earth and space can be estimated for any desired geographical location through the use of a specified equation and conditional probabilities contained in the paper, if the frequency distribution of total sky cover categories for the desired location is known.

Lund, I. A.↗
NASA NTRS1987

Simulation and analysis of a geopotential research mission

Methods for the determination of the initial conditions for the two satellites that will satisfy Geopotential Research Mission (GRM) requirements are investigated. For certain gravitational recovery techniques, the satellites must remain close to a specified separation distance and their groundtracks must repeat after a specified interval of time. Since the objective of the GRM mission is to improve the gravity model, any pre-mission orbit predicted using existing gravity models will be in error. A technique has been developed to eliminate the drift between the two satellites caused by gravitational modeling errors and return them to repeating groundtracks. The concept of frozen orbits, which minimize altitude variations over given latitudes, was investigated. Finally, the effects of temporal perturbations on the relative range-rate signal were studied. At the proposed altitude of 160 km, the range-rate signal produced by perturbations other than the static geopotential field are dominated by the luni-solar effect. This study demonstrates that the combined effects of all the temporal perturbations does not prevent the orbit from being frozen or the satellites from obtaining a repeating groundtrack to within a specified closure distance.

White, Lisa K.↗
NASA NTRS1990

Precipitating cloud vertical structure derived from passive microwave radiometry

A procedure for the retrieval of cloud vertical structure from passive microwave radiometry is demonstrated by using passive microwave radiometry observations made during the Tropical Rainfall Measuring Mission. The procedure uses a set of cloud radiative models, with each model consisting of five vertical layers, specifying a distinct cloud vertical structure in terms of the near-surface parameters. The retrieval procedure is separated into two tasks (1) retrieving a set of geophysical parameters for each cloud radiative model and (2) finding which of the cloud radiative models and its associated retrieved parameters best fit the observed geophysical conditions. It is shown that this retrieval technique can detect differences and similarities between precipitating systems.

Kummerow, Christian D.↗
NASA NTRS1999

Multiphysics Simulation of Active Hypersonic Lip Cooling

This article describes the application of the Multidisciplinary Analysis (MDA) solver, Spectrum, in analyzing a hydrogen-cooled hypersonic cowl leading-edge structure. Spectrum, a multiphysics simulation code based on the finite element method, addresses compressible and incompressible fluid flow, structural, and thermal modeling, as well as the interactions between these disciplines. Fluid-solid-thermal interactions in a hydrogen impingement-cooled leading edge are predicted using Spectrum. Two- and semi-three-dimensional models are considered for a leading edge impingement coolant, concept under either specified external heat flux or aerothermodynamic heating from a Mach 5 external flow interaction. The solution accuracy is demonstrated from mesh refinement analysis. With active cooling, the leading edge surface temperature is drastically reduced from 1807 K of the adiabatic condition to 418 K. The internal coolant temperature profile exhibits a sharp gradient near channel/solid interface. Results from two different cooling channel configurations are also presented to illustrate the different behavior of alternative active cooling schemes.

Melis, Matthew E.↗
NASA NTRS2015

Integrated Medical Model (IMM) Project Verification, Validation, and Credibility (VVandC)

The Integrated Medical Model (IMM) Project supports end user requests by employing the Integrated Medical Evidence Database (iMED) and IMM tools as well as subject matter expertise within the Project. The iMED houses data used by the IMM. The IMM is designed to forecast relative changes for a specified set of crew health and mission success risk metrics by using a probabilistic model based on historical data, cohort data, and subject matter expert opinion. A stochastic approach is taken because deterministic results would not appropriately reflect the uncertainty in the IMM inputs. Once the IMM was conceptualized, a plan was needed to rigorously assess input information, framework and code, and output results of the IMM, and ensure that end user requests and requirements were considered during all stages of model development and implementation, as well as lay the foundation for external review and application. METHODS: In 2008, the Project team developed a comprehensive verification and validation (VV) plan, which specified internal and external review criteria encompassing 1) verification of data and IMM structure to ensure proper implementation of the IMM, 2) several validation techniques to confirm that the simulation capability of the IMM appropriately represents occurrences and consequences of medical conditions during space missions, and 3) credibility processes to develop user confidence in the information derived from the IMM. When the NASA-STD-7009 (7009) [1] was published, the Project team updated their verification, validation, and credibility (VVC) project plan to meet 7009 requirements and include 7009 tools in reporting VVC status of the IMM. Construction of these tools included meeting documentation and evidence requirements sufficient to meet external review success criteria. RESULTS: IMM Project VVC updates are compiled recurrently and include updates to the 7009 Compliance and Credibility matrices. Reporting tools have evolved over the lifetime of the IMM Project to better communicate VVC status. This has included refining original 7009 methodology with augmentation from the HRP NASA-STD-7009 Guidance Document working group and the NASA-HDBK-7009 [2]. End user requests and requirements are being satisfied as evidenced by ISS Program acceptance of IMM risk forecasts, transition to an operational model and simulation tool, and completion of service requests from a broad end user consortium including operations, science and technology planning, and exploration planning. IMM v4.0 is slated for operational release in the FY015 and current VVC assessments illustrate the expected VVC status prior to the completion of customer lead external review efforts. CONCLUSIONS: The VVC approach established by the IMM Project of incorporating Project-specific recommended practices and guidelines for implementing the 7009 requirements is comprehensive and includes the involvement of end users at every stage in IMM evolution. Methods and techniques used to quantify the VVC status of the IMM Project represented a critical communication tool in providing clear and concise suitability assessments to IMM customers. These processes have not only received approval from the local NASA community but have also garnered recognition by other federal agencies seeking to develop similar guidelines in the medical modeling community.

Walton, M.↗
NASA NTRS1978

Prediction of hydrodynamics and chemistry of confined turbulent methane-air frames in a two concentric tube combustor

A formulation of the governing partial differential equations for fluid flow and reacting chemical species in a two-concentric-tube combustor is presented. A numerical procedure for the solution of the governing differential equations is described and models for chemical-equilibrium and chemical-kinetics calculations are presented. The chemical-equilibrium model is used to characterize the hydrocarbon reactions. The chemical-kinetics model is used to predict the concentrations of the oxides of nitrogen. The combustor considered consists of two coaxial ducts. Concentric streams of gaseous fuel and air enter the inlet duct at one end; the flow then reverses and flows out through the outer duct. Two sample cases with specified inlet and boundary conditions are considered and the results are discussed.

Markatos, N. C.↗