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 325 records · Page 18
All sourcesNASA NTRSDOE OSTI
NASA NTRSDate not supplied

Numerical Investigation of the Effect of Cooling Airflow inside High-Pressure Turbine using the Source Term Approach

In this study, the Open National Combustion code (OpenNCC) is applied to simulate the airflow inside the high-pressure turbine (HPT) of the energy efficient engine (EEE). The main objective of this study is to compare the characteristics of the HPT performance obtained by using three different approaches (Case 1: the realistic combustion products are considered at the HPT inlet, but the cooling airflows are not included, Case 2: the working fluid is assumed to be a single gas (i.e., air), and the cooling airflows are considered, Case 3: the cooling airflow and the combustion products at the HPT inlet are included). To mimic the cooling airflows at the HPT surface, we use the surface source team approach, in which we impose the source term at a specific area of a cooling airflow hole at the solid surfaces by specifying an injection angle, temperature, turbulent intensity, and mass flowrate of each cooling airflow. For the validation of the model, the data for the EEE model was obtained from the General Electric (GE) test campaign (RDG10), and the full scale warm-air rig test condition representing a test point close to the integrated core/low spool design condition was considered. This validation test was done using the stationary uniform inflow condition (i.e., the reported total temperature and total pressure). Secondly, we considered the Sea-Level Take-off (SLTO) engine condition and separately performed the combustor simulation to obtain a more realistic time-averaged, spatially-nonuniform HPT inflow condition. This work provides a better understanding the effect of the cooling airflow model with different assumptions on the HPT performance. It is found that using different working gas have a minor effect on the performance metric, however the presence of the cooling airflows significantly affects the HPT performance such as the turbine efficiency.

CFD Hot-streaks↗
NASA NTRS1999

Engineering Overview of a Multidisciplinary HSCT Design Framework Using Medium-Fidelity Analysis Codes

An objective of the HPCC Program at NASA Langley has been to promote the use of advanced computing techniques to more rapidly solve the problem of multidisciplinary optimization of a supersonic transport configuration. As a result, a software system has been designed and is being implemented to integrate a set of existing discipline analysis codes, some of them CPU-intensive, into a distributed computational framework for the design of a High Speed Civil Transport (HSCT) configuration. The proposed paper will describe the engineering aspects of integrating these analysis codes and additional interface codes into an automated design system. The objective of the design problem is to optimize the aircraft weight for given mission conditions, range, and payload requirements, subject to aerodynamic, structural, and performance constraints. The design variables include both thicknesses of structural elements and geometric parameters that define the external aircraft shape. An optimization model has been adopted that uses the multidisciplinary analysis results and the derivatives of the solution with respect to the design variables to formulate a linearized model that provides input to the CONMIN optimization code, which outputs new values for the design variables. The analysis process begins by deriving the updated geometries and grids from the baseline geometries and grids using the new values for the design variables. This free-form deformation approach provides internal FEM (finite element method) grids that are consistent with aerodynamic surface grids. The next step involves using the derived FEM and section properties in a weights process to calculate detailed weights and the center of gravity location for specified flight conditions. The weights process computes the as-built weight, weight distribution, and weight sensitivities for given aircraft configurations at various mass cases. Currently, two mass cases are considered: cruise and gross take-off weight (GTOW). Weights information is obtained from correlations of data from three sources: 1) as-built initial structural and non-structural weights from an existing database, 2) theoretical FEM structural weights and sensitivities from Genesis, and 3) empirical as-built weight increments, non-structural weights, and weight sensitivities from FLOPS. For the aeroelastic analysis, a variable-fidelity aerodynamic analysis has been adopted. This approach uses infrequent CPU-intensive non-linear CFD to calculate a non-linear correction relative to a linear aero calculation for the same aerodynamic surface at an angle of attack that results in the same configuration lift. For efficiency, this nonlinear correction is applied after each subsequent linear aero solution during the iterations between the aerodynamic and structural analyses. Convergence is achieved when the vehicle shape being used for the aerodynamic calculations is consistent with the structural deformations caused by the aerodynamic loads. To make the structural analyses more efficient, a linearized structural deformation model has been adopted, in which a single stiffness matrix can be used to solve for the deformations under all the load conditions. Using the converged aerodynamic loads, a final set of structural analyses are performed to determine the stress distributions and the buckling conditions for constraint calculation. Performance constraints are obtained by running FLOPS using drag polars that are computed using results from non-linear corrections to the linear aero code plus several codes to provide drag increments due to skin friction, wave drag, and other miscellaneous drag contributions. The status of the integration effort will be presented in the proposed paper, and results will be provided that illustrate the degree of accuracy in the linearizations that have been employed.

Weston, R. P.↗
NASA NTRS2009

Determining Surface Roughness in Urban Areas Using Lidar Data

An automated procedure has been developed to derive relevant factors, which can increase the ability to produce objective, repeatable methods for determining aerodynamic surface roughness. Aerodynamic surface roughness is used for many applications, like atmospheric dispersive models and wind-damage models. For this technique, existing lidar data was used that was originally collected for terrain analysis, and demonstrated that surface roughness values can be automatically derived, and then subsequently utilized in disaster-management and homeland security models. The developed lidar-processing algorithm effectively distinguishes buildings from trees and characterizes their size, density, orientation, and spacing (see figure); all of these variables are parameters that are required to calculate the estimated surface roughness for a specified area. By using this algorithm, aerodynamic surface roughness values in urban areas can then be extracted automatically. The user can also adjust the algorithm for local conditions and lidar characteristics, like summer/winter vegetation and dense/sparse lidar point spacing. Additionally, the user can also survey variations in surface roughness that occurs due to wind direction; for example, during a hurricane, when wind direction can change dramatically, this variable can be extremely significant. In its current state, the algorithm calculates an estimated surface roughness for a square kilometer area; techniques using the lidar data to calculate the surface roughness for a point, whereby only roughness elements that are upstream from the point of interest are used and the wind direction is a vital concern, are being investigated. This technological advancement will improve the reliability and accuracy of models that use and incorporate surface roughness.

Holland, Donald↗
NASA NTRS2014

Evaluating the Dominant Components of Warming in Pliocene Climate Simulations

The Pliocene Model Intercomparison Project (PlioMIP) is the first coordinated climate model comparison for a warmer palaeoclimate with atmospheric CO2 significantly higher than pre-industrial concentrations. The simulations of the mid-Pliocene warm period show global warming of between 1.8 and 3.6 C above pre-industrial surface air temperatures, with significant polar amplification. Here we perform energy balance calculations on all eight of the coupled ocean-atmosphere simulations within PlioMIP Experiment 2 to evaluate the causes of the increased temperatures and differences between the models. In the tropics simulated warming is dominated by greenhouse gas increases, with the cloud component of planetary albedo enhancing the warming in most of the models, but by widely varying amounts. The responses to mid-Pliocene climate forcing in the Northern Hemisphere midlatitudes are substantially different between the climate models, with the only consistent response being a warming due to increased greenhouse gases. In the high latitudes all the energy balance components become important, but the dominant warming influence comes from the clear sky albedo, only partially offset by the increases in the cooling impact of cloud albedo. This demonstrates the importance of specified ice sheet and high latitude vegetation boundary conditions and simulated sea ice and snow albedo feedbacks. The largest components in the overall uncertainty are associated with clouds in the tropics and polar clear sky albedo, particularly in sea ice regions. These simulations show that albedo feedbacks, particularly those of sea ice and ice sheets, provide the most significant enhancements to high latitude warming in the Pliocene.

climate models↗
DOE OSTI2021

Coupling of CTF and TRACE for Modeling of Transients

This report documents the improvements that have been made to the capabilities for coupling CTF to systems codes-specifically, the US Nuclear Regulatory Commission (NRC) TRACE code. An initial systems coupling capability had been set up previously using a nonoverlapping domain approach with the codes exchanging data at the core boundaries. The present work adds a new approach using overlapping domains, in which the system code models the core as well. A new input format has been added to allow the user to specify the physical quantities to be exchanged and their location in the system model, which gives the flexibility of applying one-way or two-way coupling between the codes using the desired data exchanges. In addition to applying thermal-hydraulics (T/H) boundary condition (BC) values obtained from TRACE, a capability was added to allow CTF to apply flow resistance feedback to TRACE to match the CTF core pressure drop. Support was added for executing parallel CTF models within the CTF-systems coupling. The system coupling capability was successfully applied to a parallel MSLB transient, demonstrating that both the one-way and two-way coupling behaved as expected and provided substantial improvements to numerical stability and routine compared to the previous nonoverlapping domain coupling. An initial capability was also developed for performing restart calculations in CTF which will be used in the future for restarting CTF-TRACE simulations at specific points in the transient simulation.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
NASA NTRS1973

Development of a uninterrupted power system: ac and dc to dc converter

This program covered the design, fabrication and testing of an advanced development model uninterrupted power system. The input and output requirements imposed on the power processor were specified such that the unit is electrically interchangeable with existing power systems used by the Federal Aviation Administration in installations which have a history of failure due to electrical transient conditions. Input power is from either of two single-phase ac power sources or batteries with electronic selection and transfer between power sources. Battery reconditioning is automatic when either ac source is present. The output power is rated at 84OW; the nominal output is 24V at 35A. Within the 84OW limit, the regulated output voltage is adjustable from 22V to 30Vdc. Protection against continuous overloading or short circuit is provided. The unit is packaged in a standard 19-inch rack mount configuration with 7-inch panel height. Controls are on the front panel with power input and output through connectors on the rear surface. Cooling is by free convection from fin areas located on the side and rear panels. The packaged unit weighs 52.8 lbs., which can be reduced significantly if a three-phase ac power source is used.

Cronin, D. L.↗
NASA NTRS1975

Developments in convective heat transfer models featuring seamless and selected detail surfaces, employing electroless plating

Several model/instrument concepts employing electroless metallic skin were considered for improvement of surface condition, accuracy, and cost of contoured-geometry convective heat transfer models. A plated semi-infinite slab approach was chosen for development and evaluation in a hypersonic wind tunnel. The plated slab model consists of an epoxy casting containing fine constantan wires accurately placed at specified surface locations. An electroless alloy was deposited on the plastic surface that provides a hard, uniformly thick, seamless skin. The chosen alloy forms a high-output thermocouple junction with each exposed constantan wire, providing means of determining heat transfer during tunnel testing of the model. A selective electroless plating procedure was used to deposit scaled heatshield tiles on the lower surface of a 0.0175-scale shuttle orbiter model. Twenty-five percent of the tiles were randomly selected and plated to a height of 0.001-inch. The purpose was to assess the heating effects of surface roughness simulating misalignment of tiles that may occur during manufacture of the spacecraft.

Stalmach, C. J., Jr.↗
NASA NTRS1977

Prediction of hydrodynamics and chemistry of confined turbulent methane-air flames with attention to formation of oxides of nitrogen

A formulation of the governing partial differential equations for fluid flow and reacting chemical species in a tubular 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 consists of a cylindrical duct of varying cross sections with concentric streams of gaseous fuel and air entering the duct at one end. Four sample cases with specified inlet and boundary conditions are considered, and the results are discussed

Elghobashi, S.↗
NASA NTRS1994

Numerical simulation of receptivity and transition in a boundary layer on a flat plate with a suction hole

A Navier-Stokes solver has been modified to allow for unsteady boundary conditions to be imposed at the inflow boundary. Because the streamwise derivatives are discretized with three-point compact differences, there is no need for special treatment of the points adjacent to the inflow boundary, provided that all necessary derivatives are properly specified at the boundary points. The unsteady boundary conditions can be obtained from a previous computation, from a solution of the parabolized stability equations (PSE), or from an analytical exact or approximate solution of the Navier-Stokes equations, e.g. an asymptotic expansion solution to model a sound wave interacting with the boundary layer.

Fasel, Hermann F.↗
NASA NTRS2014

Integrated Medical Model Verification, Validation, and Credibility

The Integrated Medical Model (IMM) was designed to forecast relative changes for a specified set of crew health and mission success risk metrics by using a probabilistic (stochastic process) model based on historical data, cohort data, and subject matter expert opinion. A probabilistic approach is taken since exact (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. METHODS: In 2008, the IMM 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) was published, the IMM 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. RESULTS: IMM VVC updates are compiled recurrently and include 7009 Compliance and Credibility matrices, IMM VV Plan status, and a synopsis of any changes or updates to the IMM during the reporting period. 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 NASA-STD-7009 Guidance Document. 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. CONCLUSIONS: The VVC approach established by the IMM project of combining the IMM VV Plan with 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 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.

Validation↗
NASA NTRS2000

Geometry Modeling and Grid Generation for "Icing Effects" and "Ice Accretion" Simulations on Airfoils

There are two distinct icing-related problems for airfoils that can be simulated. One is predicting the effects of ice on the aerodynamic performance of airfoils when ice geometry is known ("icing effects" study). The other is simulating ice accretion under specified icing conditions ("ice accretion" simulation). This paper will address development of two different software packages for two-dimensional geometry preparation and grid generation for both "icing effects" and "ice accretion" studies.

Choo, Yung↗
DOE OSTI2022

Progress on Demonstration of a MOOSE-Based Coupled Capability for Hot Channel Factors in Fast Reactors

Hot channel factors (HCFs) are computed values that account for the impact on predicted peak fuel, cladding, and coolant temperatures due to uncertainties in the as-built reactor’s material properties and geometry as well as uncertainties due to modeling approximations. Reduction in computed HCF values via reduction or elimination of modeling approximations may translate to significant economic savings if the reactor power can be raised due to the extra temperature margin gained. While limited historical datasets exist for sodium-cooled fast reactors (SFRs), there are no available HCF data for lead-cooled fast reactors (LFRs) outside of work generated previously within NEAMS. The computation of HCFs involves insights from reactor physics, thermal fluids and heat conduction calculations to determine how the peak temperatures respond to various uncertainties in the design. Due to the significant advantages for multi-physics coupling offered by the MOOSE framework, Griffin (MOOSE-based reactor physics code), MOOSE Heat Conduction Module, and Cardinal (MOOSE-wrapped multi-physics application which includes the NekRS thermal fluids code) are being coupled together using the MOOSE MultiApp System to develop a highfidelity multi-physics modeling capability for HCF simulations. This high-fidelity coupling workflow may also be beneficial for other fast reactor applications in the future. In previous work, Griffin and NekRS were individually assessed to ensure the necessary capabilities were in place. This work describes initial efforts to couple the codes (including folding in the MOOSE Heat Conduction Module) and determining the workflow for the perturbed calculations which will leverage the Stochastic Tools Module (STM). To our knowledge, this is the first coupling of Griffin and NekRS as well as the first exploratory use of Stochastic Tools Module for Cardinal. In this report, the neutronics code Griffin, the heat conduction solver in MOOSE, and the MOOSE-wrapped application containing NekRS (Cardinal) are linked together to demonstrate the coupled capability. Griffin and Cardinal are linked dynamically by specifying shared libraries. Different coupling hierarchies are tested for selecting the most appropriate coupling strategy. A coupling scheme is selected based on the efficiency of calculation and ease of data communication. Multiple tests are performed to choose suitable mesh structure, model configurations, scheme setup and boundary conditions to avoid loss of energy due to data interpolation between different modules or weak imposition of fluxes in finite element codes. Computational experiments are performed to study the tolerance control of each type of iteration to avoid false convergence. The coupled capability is demonstrated in both single pin and 7-pin models based on LFR materials and geometry. The study finds that the use of too large a time step size in the heat conduction module can lead to temperature oscillation even though the heat conduction equation does not have a time-derivative kernel, but only the time-dependent boundary condition. A 7-pin model without duct region achieved good convergence in the coupled calculation while a 7 pin model with duct region experienced data communication issues which need to be resolved.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗
NASA NTRS1976

A higher order panel method for general analysis and design applications in subsonic flow

A higher-order panel method is described for numerical solution of boundary-value problems relating to steady inviscid irrotational incompressible subsonic fluid flow in a domain. Both Neumann and Dirichlet boundary conditions are treated; two types of auxiliary conditions are used to remove the degrees of freedom that arise from specifying only the derivative of the perturbation velocity potential. Four general network types and two expansions of the induced potential kernel are employed in the numerical solution. Some results are presented which illustrate the modeling options and numerical characteristics of the method.

Johnson, F. T.↗
NASA NTRS1982

Constitutive model development for isotropic materials

The objective is to develop a unified constitutive model for finite-element structural analysis of turbine engine hot section components. This effort constitutes a different approach for nonlinear finite-element computer codes which were heretofore based on classical inelastic methods. A unified constitutive theory will avoid the simplifying assumptions of classical theory and should more accurately represent the behavior of superalloy materials under cyclic loading conditions and high temperature environments. Model development will be directed toward isotropic, cast nickel-base alloys used for aircooled turbine blades and vanes. The contractor will select a base material for model development and an alternate material for verification purposes from a list of three alloys specified by NASA. The candidate alloys represent a cross-section of turbine blade and vane materials of interest to both large and small size engine manufacturers. Material stock for the base and alternate materials will be supplied to the Contractor by the government.

Kaufman, A.↗
NASA NTRS1994

Passive microwave remote sensing of rainfall with SSM/I: Algorithm development and implementation

A physically based algorithm sensitive to emission and scattering is used to estimate rainfall using the Special Sensor Microwave/Imager (SSM/I). The algorithm is derived from radiative transfer calculations through an atmospheric cloud model specifying vertical distributions of ice and liquid hydrometeors as a function of rain rate. The algorithm is structured in two parts: SSM/I brightness temperatures are screened to detect rainfall and are then used in rain-rate calculation. The screening process distinguishes between nonraining background conditions and emission and scattering associated with hydrometeors. Thermometric temperature and polarization thresholds determined from the radiative transfer calculations are used to detect rain, whereas the rain-rate calculation is based on a linear function fit to a linear combination of channels. Separate calculations for ocean and land account for different background conditions. The rain-rate calculation is constructed to respond to both emission and scattering, reduce extraneous atmospheric and surface effects, and to correct for beam filling. The resulting SSM/I rain-rate estimates are compared to three precipitation radars as well as to a dynamically simulated rainfall event. Global estimates from the SSM/I algorithm are also compared to continental and shipboard measurements over a 4-month period. The algorithm is found to accurately describe both localized instantaneous rainfall events and global monthly patterns over both land and ovean. Over land the 4-month mean difference between SSM/I and the Global Precipitation Climatology Center continental rain gauge database is less than 10%. Over the ocean, the mean difference between SSM/I and the Legates and Willmott global shipboard rain gauge climatology is less than 20%.

Ferriday, James G.↗
NASA NTRS2010

4-D Cloud Water Content Fields Derived from Operational Satellite Data

In order to improve operational safety and efficiency, the transportation industry, including aviation, has an urgent need for accurate diagnoses and predictions of clouds and associated weather conditions. Adverse weather accounts for 70% of all air traffic delays within the U.S. National Airspace System. The Federal Aviation Administration has determined that as much as two thirds of weather-related delays are potentially avoidable with better weather information and roughly 20% of all aviation accidents are weather related. Thus, it is recognized that an important factor in meeting the goals of the Next Generation Transportation System (NexGen) vision is the improved integration of weather information. The concept of a 4-D weather cube is being developed to address that need by integrating observed and forecasted weather information into a shared 4-D database, providing an integrated and nationally consistent weather picture for a variety of users and to support operational decision support systems. Weather analyses and forecasts derived using Numerical Weather Prediction (NWP) models are a critical tool that forecasters rely on for guidance and also an important element in current and future decision support systems. For example, the Rapid Update Cycle (RUC) and the recently implemented Rapid Refresh (RR) Weather Research and Forecast (WRF) models provide high frequency forecasts and are key elements of the FAA Aviation Weather Research Program. Because clouds play a crucial role in the dynamics and thermodynamics of the atmosphere, they must be adequately accounted for in NWP models. The RUC, for example, cycles at full resolution five cloud microphysical species (cloud water, cloud ice, rain, snow, and graupel) and has the capability of updating these fields from observations. In order to improve the models initial state and subsequent forecasts, cloud top altitude (or temperature, T(sub c)) derived from operational satellite data, surface observations of cloud base altitude, radar reflectivity, and lightning data are used to help build and remove clouds in the models assimilation system. Despite this advance and the many recent advances made in our understanding of cloud physical processes and radiative effects, many problems remain in adequately representing clouds in models. While the assimilation of cloud top information derived from operational satellite data has merit, other information is available that has not yet been exploited. For example, the vertically integrated cloud water content (CWC) or cloud water path (CWP) and cloud geometric thickness (delta Z) are standard products being derived routinely from operational satellite data. These and other cloud products have been validated under a variety of conditions. Since the uncertainties have generally been found to be less than those found in model analyses and forecasts, the satellite products should be suitable for data assimilation, provided an appropriate strategy can be developed that links the satellite-derived cloud parameters with cloud parameters specified in the model. In this paper, we briefly outline such a strategy and describe a methodology to retrieve cloud water content profiles from operational satellite data. Initial results and future plans are presented. It is expected that the direct assimilation of this new product will provide the most accurate depiction of the vertical distribution of cloud water ever produced at the high spatial and temporal resolution needed for short term weather analyses and forecasts.

Smith, William L., Jr.↗
DOE OSTI2021

Testing to Evaluate Processes Expected to Occur during MSR Salt Spill Accidents

Obtaining a license for a new nuclear reactor requires the identification and assessment of the potential consequences of specified accident scenarios, which are achieved using accident progression models. Those models need to be parameterized and validated using experimental data, but existing experimental data addressing processes relevant to molten salt reactor accidents are sparse. Specifically, experimental data that quantify the sensitives of important processes to the initial conditions of the spill, the ambient environment, and the containment features are needed to parameterize individual process models. Integrated experiments that simulate accident scenarios are also needed to provide data for model validation, but these experiments will require the use of proven methods to quantify the processes under evaluation. The overarching objectives of this work are to develop the methods for simulating the targeted processes, to determine the effectiveness of the methods in producing the data required for model development, to generate data that can be used to parameterize individual process models, and to provide key insights into the behavior of spilled molten salt that should be considered in models. Experimental methods were designed to quantify aspects of individual processes expected to occur during or after a molten salt spill accident that will affect the fate of spilled molten salt and the radionuclides within. These processes include 1) molten salt spreading and heat transfer, 2) molten salt flowing and freezing in tubing, 3) stainless steel corrosion kinetics in molten salt, and 4) molten salt splashing and aerosol generation. The initial tests described in this report were conducted using eutectic FLiNaK to demonstrate the test methods, the data that are generated, and the analyses of the data to derive values needed for modeling. The primary variables that were tested include initial salt temperature and the presence of volatile surrogate fission products (e.g., cesium and iodine). The developed methods are shown to be effective in quantifying the desired processes and can be applied to study more complex salt compositions of interest to molten salt reactor developers, a wide range of environmental conditions of interest to modelers, and additional variables relevant to salt spill accidents. The developed methods and insights gained from laboratory tests can also be incorporated in future large-scale integrated tests used to simulate molten salt spill accidents.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗
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.↗