Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “NONLINEAR PROGRAMMING”

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 1,801 records · Page 100

Fuzzy Adaptive Control for Intelligent Autonomous Space Exploration Problems

The principal objective of the research reported here is the re-design, analysis and optimization of our newly developed neural network fuzzy adaptive controller model for complex processes capable of learning fuzzy control rules using process data and improving its control through on-line adaption. The learned improvement is according to a performance objective function that provides evaluative feedback; this performance objective is broadly defined to meet long-range goals over time. Although fuzzy control had proven effective for complex, nonlinear, imprecisely-defined processes for which standard models and controls are either inefficient, impractical or cannot be derived, the state of the art prior to our work showed that procedures for deriving fuzzy control, however, were mostly ad hoc heuristics. The learning ability of neural networks was exploited to systematically derive fuzzy control and permit on-line adaption and in the process optimize control. The operation of neural networks integrates very naturally with fuzzy logic. The neural networks which were designed and tested using simulation software and simulated data, followed by realistic industrial data were reconfigured for application on several platforms as well as for the employment of improved algorithms. The statistical procedures of the learning process were investigated and evaluated with standard statistical procedures (such as ANOVA, graphical analysis of residuals, etc.). The computational advantage of dynamic programming-like methods of optimal control was used to permit on-line fuzzy adaptive control. Tests for the consistency, completeness and interaction of the control rules were applied. Comparisons to other methods and controllers were made so as to identify the major advantages of the resulting controller model. Several specific modifications and extensions were made to the original controller. Additional modifications and explorations have been proposed for further study. Some of these are in progress in our laboratory while others await additional support. All of these enhancements will improve the attractiveness of the controller as an effective tool for the on line control of an array of complex process environments.

Esogbue, Augustine O.↗

Leveraging FPGA Advantages for Quicker Data Processing for LBNF

The Long Baseline Neutrino Facility (LBNF) will deliver a 2.4 MW muon neutrino beam from Fermilab to the Deep Underground Neutrino Experiment (DUNE), requiring unprecedented precision in beamline alignment to achieve DUNE's neutrino oscillation measurement goals. Vertical misalignments of beamline components as small as 0.5 mm can contribute 6-7\% uncertainty in predicted neutrino flux, necessitating sub-0.1 mm alignment monitoring capabilities. The Horn Location Sensor (HLS) system employs frequency sweep interferometry (FSI) in a distributed hydrostatic leveling network to achieve the required precision under harsh radiation conditions up to 5000 kRad/year. Traditional FSI implementations suffer from laser sweep nonlinearities that degrade resolution and require computationally intensive post-processing corrections using gas reference cells. This work presents a real-time FPGA-based implementation of the HLS data acquisition and processing system using a sweep tracker interferometer for dynamic sweep linearization. The system utilizes a PYNQ-Z2 FPGA with programmable logic implementing parallel 16k-point FFT processing across four channels, synchronized by the sweep tracker signal to eliminate post-processing requirements. Spectral performance testing demonstrates significant improvements in peak sharpness compared to traditional fixed-frequency digitization. The FPGA implementation enables real-time displacement monitoring with processing speeds orders of magnitude faster than software-based approaches, essential for the operational requirements of LBNF's eventual distributed sensor network. This advancement in real-time FSI processing directly supports DUNE's precision neutrino physics program by providing the rapid feedback necessary for maintaining stringent beamline alignment tolerances during high-power beam operations.

Rossel, Jacob↗

Real-Time FPGA Implementation For Frequency Sweep Interferometry In The LBNF Complex

The Long Baseline Neutrino Facility (LBNF) will deliver a 2.4 MW muon neutrino beam from Fermilab to the Deep Underground Neutrino Experiment (DUNE), requiring unprecedented precision in beamline alignment to achieve DUNE's neutrino oscillation measurement goals. Vertical misalignments of beamline components as small as 0.5 mm can contribute 6-7\% uncertainty in predicted neutrino flux, necessitating sub-0.1 mm alignment monitoring capabilities. The Horn Location Sensor (HLS) system employs frequency sweep interferometry (FSI) in a distributed hydrostatic leveling network to achieve the required precision under harsh radiation conditions up to 5000 kRad/year. Traditional FSI implementations suffer from laser sweep nonlinearities that degrade resolution and require computationally intensive post-processing corrections using gas reference cells. This work presents a real-time FPGA-based implementation of the HLS data acquisition and processing system using a sweep tracker interferometer for dynamic sweep linearization. The system utilizes a PYNQ-Z2 FPGA with programmable logic implementing parallel 16k-point FFT processing across four channels, synchronized by the sweep tracker signal to eliminate post-processing requirements. Spectral performance testing demonstrates significant improvements in peak sharpness compared to traditional fixed-frequency digitization. The FPGA implementation enables real-time displacement monitoring with processing speeds orders of magnitude faster than software-based approaches, essential for the operational requirements of LBNF's eventual distributed sensor network. This advancement in real-time FSI processing directly supports DUNE's precision neutrino physics program by providing the rapid feedback necessary for maintaining stringent beamline alignment tolerances during high-power beam operations.

Rossel, A. Jacob [Fermilab; Unlisted]↗

Modal Analysis of the Orion Capsule Two Parachute System

As discussed in Ref [1], it is apparent from flight tests that the system made up of two main parachutes and a capsule can undergo several distinct dynamical behaviors. The most significant and problematic of these is the pendulum mode in which the system develops a pronounced swinging motion with an amplitude of up to 24 deg. Large excursions away from vertical by the capsule could cause it to strike the ground at a large horizontal or vertical speed and jeopardize the safety of the astronauts during a crewed mission. In reference [1], Ali et al. summarized a series of efforts taken by the Capsule Parachute Assembly System (CPAS) Program to understand and mitigate the pendulum issue. The period of oscillation and location of the system's pivot point are determined from post-flight analysis. Other noticeable but benign modes include: 1) flyout (scissors) mode, where the parachutes move back and forth symmetrically with respect to the vertical axis similar to the motion of a pair of scissors; 2) maypole mode, where the two parachutes circle around the vertical axis at a nearly constant radius and period; and 3) breathing mode, in which deformation of the non-rigid canopies affects the axial acceleration of the system in an oscillatory manner. Because these modes are relatively harm- less, little effort has been devoted to analyzing them in comparison with the pendulum motion. Motions of the actual system made up of two parachutes and a capsule are extremely complicated due to nonlinearities and flexibility effects. Often it is difficult to obtain insight into the fundamental dynamics of the system by examining results from a multi-body simulation based on nonlinear equations of motion (EOMs). As a part of this study, the dynamics of each mode observed during flight is derived from first principles on an individual basis by making numerous simplifications along the way. The intent is to gain a better understanding into the behavior of the complex multi-body system by studying the reduced set of differential equations associated with each mode. This approach is analogous to the traditional modal analysis technique used to study airplane flight dynamics, in which the full nonlinear behavior of the airframe is decomposed into the phugoid and short period modes for the longitudinal dynamics and the spiral, roll-subsidence, and dutch-roll modes for the lateral dynamics. It is important to note that the study does not address the mechanisms that cause the system to transition from one mode to another, nor does it discuss motions during which two or more modes occur simultaneously.

Pei, J.↗

Comparison between PARFUME and Bison Using the AGR-2 Irradiation Experiment

This report documents comparisons between Fuel Model (PARFUME) model predictions versus Bison for selected compacts from the second irradiation test of the Advanced Gas Reactor (AGR) program that occurred from June 2010 to October 2013 in the Advanced Test Reactor (ATR) at Idaho National Laboratory (INL). PARFUME is a fuel performance analysis and modeling code, used for evaluating gas-reactor tristructural isotropic (TRISO) coated particle fuel for prismatic, pebble bed, plate, and cylindrical type fuel geometries. PARFUME is an integrated mechanistic computer code that evaluates the thermal, mechanical, and physico-chemical behavior of TRISO coated-fuel particles and the probability for fuel failure given the particle-to-particle statistical variations in physical dimensions and material properties that arise during the fuel fabrication process. Bison is a nuclear fuel performance application built using the Multiphysics Object-Oriented Simulation Environment (MOOSE) finite element library (Permann 2020). Bison is capable of modeling multiple fuel forms in a wide variety of dimensions and geometries. It solves coupled nonlinear partial differential equations, including heat conduction, mechanics, fission product species transport etc., in a fully implicit manner. Comparisons between PARFUME and Bison were performed using four compacts from the AGR-2 experiment. Selected outputs were chosen based on their impact on the probability of the SiC layer failing. In general there was good agreement between PARFUME and Bison with the exception of predicting the gap formed between the buffer and IPyC. Further comparisons between PARFUME and Bison are planned to further develop Bison’s capabilities.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

[Kelvin-Helmholtz instability in protostellar jets]

NASA grant NAG 5 2866, funded by the Astrophysics Theory Program, enabled the study the Kelvin-Helmholtz instability in protostellar jets. In collaboration with co-investigator Philip Hardee, the PI derived the analytic dispersion relation for the instability in including a cooling term in the energy equation which was modeled as one of two different power laws. Numerical solutions to this dispersion relation over a wide range of perturbation frequencies, and for a variety of parameter values characterizing the jet (such as Mach number, and density ratio) were found It was found that the growth rates and wavelengths associated with unstable roots of the dispersion relation in cooling jets are significantly different than those associated with adiabatic jets, which have been studied previously. In collaboration with graduate student Jianjun Xu (funded as a research associate under this grant), hydrodynamical simulations were used to follow the growth of the instability into the nonlinear regime. It was found that asymmetric surface waves lead to large amplitude, sinusoidal distortions of the jet, and ultimately to disruption Asymmetric body waves, on the other hand, result in the formation of shocks in the jet beam in the nonlinear regime. In cooling jets, these shocks lead to the formation of dense knots and filaments of gas within the jet. For sufficiently high perturbation frequencies, however, the jet cannot respond and it remains symmetric. Applying these results to observed systems, such as the Herbig-Haro jets HH34, HH111 and HH47 which have been observed with the Hubble Space Telescope, we predicted that some of the asymmetric structures observed in these systems could be attributed to the K-H modes, but that perturbations on timescales associated with the inner disk (about 1 year) would be too rapid to cause disruption. Moreover, it was discovered that weak shock 'spurs' in the ambient gas produced by ripples in the jet surface due to nonlinear, modes of surface and/or body waves could accelerate the ambient gas to low velocity. This latter effect represents a new mechanism by which supersonic jets can accelerate low velocity outflows.

Stone, James↗

Testing techniques for determining static mechanical properties of Pneumatic tires

Fore-aft, lateral, and vertical spring rates of model and full-scale pneumatic tires were evaluated by testing techniques generally employed by industry and various testing groups. The purpose of this experimental program was to investigate what effects the different testing techniques have on the measured values of these important static tire mechanical properties. The testing techniques included both incremental and continuous loadings applied at various rates over half, full, and repeated cycles. Of the three properties evaluated, the fore-aft stiffness was demonstrated to be the most affected by the different testing techniques used to obtain it. Appreciable differences in the fore-aft spring rates occurred using both the increment- and continuous-loading techniques; however, the most significant effect was attributed to variations in the size of the fore-aft force loop. The dependence of lateral stiffness values on testing techniques followed the same trends as that for fore-aft stiffness, except to a lesser degree. Vertical stiffness values were found to be nearly independent of testing procedures if the nonlinear portion of the vertical force-deflection curves is avoided.

Dodge, R. N.↗

Superconducting axisymmetric finite elements based on a gauged potential variational principle. Part 1: Formulation

The present work is part of a research program for the numerical simulation of electromagnetic (EM) fields within conventional Ginzburg-Landau (GL) superconductors. The final goal of this research is to formulate, develop and validate finite element (FE) models that can accurately capture electromagnetic thermal and material phase changes in a superconductor. The formulations presented here are for a time-independent Ginzburg-Landau superconductor and are derived from a potential-based variational principle. We develop an appropriate variational formulation of time-independent supercontivity for the general three-dimensional case and specialize it to the one-dimensional case. Also developed are expressions for the material-dependent parameters alpha and beta of GL theory and their dependence upon the temperature T. The one-dimensional formulation is then discretized for finite element purposes and the first variation of these equations is obtained. The resultant Euler equations contain nonlinear terms in the primary variables. To solve these equations, an incremental-iterative solution method is used. Expressions for the internal force vector, external force vector, loading vector and tangent stiffness matrix are therefore developed for use with the solution procedure.

Schuler, James J.↗

A Hierarchical Approach to Buckling Load Calculations

The advantages of using a hierarchical analysis approach to calculate the buckling load of an axially compressed composite cylindrical shell is demonstrated using an example taken from a recent experimental program. The Delft Interactive Shell DEsign COde (DISDECO) shell design code is used for this hierarchical analysis approach to provide an accurate prediction of the critical buckling load of the actual shell structure. DISDECO includes the influence of the boundary conditions, initial geometric imperfections, the effects of stiffener and load eccentricities, and the effects of prebuckling deformations caused by edge constraints in the analysis. It is shown that the use of DISDECO makes it relatively simple to proceed step by step from simple to more complex models and solution procedures. As a final step in the hierarchical analysis approach, the critical buckling load and the estimated imperfection sensitivity of the shell are verified by conducting an analysis of a large finite element model with one of the current generation two-dimensional shell analysis codes with advanced capabilities needed to represent both geometric and material nonlinearities.

Arbocz, Johann↗

Applications of Data Assimilation to Analysis of the Ocean on Large Scales

It is commonplace to begin talks on this topic by noting that oceanographic data are too scarce and sparse to provide complete initial and boundary conditions for large-scale ocean models. Even considering the availability of remotely-sensed data such as radar altimetry from the TOPEX and ERS-1 satellites, a glance at a map of available subsurface data should convince most observers that this is still the case. Data are still too sparse for comprehensive treatment of interannual to interdecadal climate change through the use of models, since the new data sets have not been around for very long. In view of the dearth of data, we must note that the overall picture is changing rapidly. Recently, there have been a number of large scale ocean analysis and prediction efforts, some of which now run on an operational or at least quasi-operational basis, most notably the model based analyses of the tropical oceans. These programs are modeled on numerical weather prediction. Aside from the success of the global tide models, assimilation of data in the tropics, in support of prediction and analysis of seasonal to interannual climate change, is probably the area of large scale ocean modeling and data assimilation in which the most progress has been made. Climate change is a problem which is particularly suited to advanced data assimilation methods. Linear models are useful, and the linear theory can be exploited. For the most part, the data are sufficiently sparse that implementation of advanced methods is worthwhile. As an example of a large scale data assimilation experiment with a recent extensive data set, we present results of a tropical ocean experiment in which the Kalman filter was used to assimilate three years of altimetric data from Geosat into a coarsely resolved linearized long wave shallow water model. Since nonlinear processes dominate the local dynamic signal outside the tropics, subsurface dynamical quantities cannot be reliably inferred from surface height anomalies. Because of its potential for large scale synoptic coverage of the deep ocean, acoustic travel time data should be a natural complement to satellite altimetry. Satellite data give us vertical integrals associated with thermodynamic and dynamic processes.

Miller, Robert N.↗

Quantum Sensing and Communications Being Developed for Nanotechnology

An interdisciplinary quantum communications and sensing research effort has been underway at the NASA Glenn Research Center since the summer of 2000. Researchers in the Communications Technology, Instrumentation and Controls, and Propulsion and Turbomachinery Divisions have been working together to study and develop techniques that use the principle of quantum entanglement (QE). This work is supported principally by the Nanotechnology Base R&T program at Glenn. As applied to communications and sensing, QE is an emerging technology that holds promise as a new and innovative way to communicate faster and farther, and to sense, measure, and image environmental properties in ways that are not possible with existing technology. Quantum entangled photons are "inseparable" as described by a wave function formalism. For two entangled photons, the term "inseparable" means that one cannot describe one photon without completely describing the other. This inseparability gives rise to what appears as "spooky," or nonintuitive, behavior because of the quantum nature of the process. For example, two entangled photons of lower energy can be created simultaneously from a single photon of higher energy in a process called spontaneous parametric down-conversion. Our research is focused on the use of polarization-entangled photons generated by passing a high-energy (blue) photon through a nonlinear beta barium borate crystal to generate two red photons that have orthogonal, but entangled, polarization states. Although the actual polarization state of any one photon is not known until it is measured, the act of measuring the polarization of one photon completely determines the polarization state of its twin because of entanglement. This unique relationship between the photons provides extra information about the system. For example, entanglement makes it easy to distinguish entangled photons from other photons impinging on a detector. For many other applications, ranging from quantum computation and information to quantum sensing, the entanglement property is critical.

Nguyen, Quang-Viet↗

Optimization of Residual Stresses in MMC's through Process Parameter Control and the use of Heterogeneous Compensating/Compliant Interfacial Layers. OPTCOMP2 User's Guide

A user's guide for the computer program OPTCOMP2 is presented in this report. This program provides a capability to optimize the fabrication or service-induced residual stresses in unidirectional metal matrix composites subjected to combined thermomechanical axisymmetric loading by altering the processing history, as well as through the microstructural design of interfacial fiber coatings. The user specifies the initial architecture of the composite and the load history, with the constituent materials being elastic, plastic, viscoplastic, or as defined by the 'user-defined' constitutive model, in addition to the objective function and constraints, through a user-friendly data input interface. The optimization procedure is based on an efficient solution methodology for the inelastic response of a fiber/interface layer(s)/matrix concentric cylinder model where the interface layers can be either homogeneous or heterogeneous. The response of heterogeneous layers is modeled using Aboudi's three-dimensional method of cells micromechanics model. The commercial optimization package DOT is used for the nonlinear optimization problem. The solution methodology for the arbitrarily layered cylinder is based on the local-global stiffness matrix formulation and Mendelson's iterative technique of successive elastic solutions developed for elastoplastic boundary-value problems. The optimization algorithm employed in DOT is based on the method of feasible directions.

Pindera, Marek-Jerzy↗

Tensile and Fatigue Testing and Material Hardening Model Development for 508 LAS Base Metal and 316 SS Similar Metal Weld under In-air and PWR Primary Loop Water Conditions

This report provides an update on an assessment of environmentally assisted fatigue for light water reactor components under extended service conditions. This report is a deliverable in September 2015 under the work package for environmentally assisted fatigue under DOE’s Light Water Reactor Sustainability program. In an April 2015 report we presented a baseline mechanistic finite element model of a two-loop pressurized water reactor (PWR) for systemlevel heat transfer analysis and subsequent thermal-mechanical stress analysis and fatigue life estimation under reactor thermal-mechanical cycles. In the present report, we provide tensile and fatigue test data for 508 low-alloy steel (LAS) base metal, 508 LAS heat-affected zone metal in 508 LAS–316 stainless steel (SS) dissimilar metal welds, and 316 SS-316 SS similar metal welds. The test was conducted under different conditions such as in air at room temperature, in air at 300 oC, and under PWR primary loop water conditions. Data are provided on materials properties related to time-independent tensile tests and time-dependent cyclic tests, such as elastic modulus, elastic and offset strain yield limit stress, and linear and nonlinear kinematic hardening model parameters. The overall objective of this report is to provide guidance to estimate tensile/fatigue hardening parameters from test data. Also, the material models and parameters reported here can directly be used in commercially available finite element codes for fatigue and ratcheting evaluation of reactor components under in-air and PWR water conditions.

316 Stainless Steel↗

Fatigue life prediction modeling for turbine hot section materials

A major objective of the fatigue and fracture efforts under the Hot Section Technology (HOST) program was to significantly improve the analytic life prediction tools used by the aeronautical gas turbine engine industry. This was achieved in the areas of high-temperature thermal and mechanical fatigue of bare and coated high-temperature superalloys. The cyclic crack initiation and propagation resistance of nominally isotropic polycrystalline and highly anisotropic single crystal alloys were addressed. Life prediction modeling efforts were devoted to creep-fatigue interaction, oxidation, coatings interactions, multiaxiality of stress-strain states, mean stress effects, cumulative damage, and thermomechanical fatigue. The fatigue crack initiation life models developed to date include the Cyclic Damage Accumulation (CDA) and the Total Strain Version of Strainrange Partitioning (TS-SRP) for nominally isotropic materials, and the Tensile Hysteretic Energy Model for anisotropic superalloys. A fatigue model is being developed based upon the concepts of Path-Independent Integrals (PII) for describing cyclic crack growth under complex nonlinear response at the crack tip due to thermomechanical loading conditions. A micromechanistic oxidation crack extension model was derived. The models are described and discussed.

Halford, G. R.↗

Fatigue life prediction modeling for turbine hot section materials

A major objective of the fatigue and fracture efforts under the NASA Hot Section Technology (HOST) program was to significantly improve the analytic life prediction tools used by the aeronautical gas turbine engine industry. This was achieved in the areas of high-temperature thermal and mechanical fatigue of bare and coated high-temperature superalloys. The cyclic crack initiation and propagation resistance of nominally isotropic polycrystalline and highly anisotropic single crystal alloys were addressed. Life prediction modeling efforts were devoted to creep-fatigue interaction, oxidation, coatings interactions, multiaxiality of stress-strain states, mean stress effects, cumulative damage, and thermomechanical fatigue. The fatigue crack initiation life models developed to date include the Cyclic Damage Accumulation (CDA) and the Total Strain Version of Strainrange Partitioning (TS-SRP) for nominally isotropic materials, and the Tensile Hysteretic Energy Model for anisotropic superalloys. A fatigue model is being developed based upon the concepts of Path-Independent Integrals (PII) for describing cyclic crack growth under complex nonlinear response at the crack tip due to thermomechanical loading conditions. A micromechanistic oxidation crack extension model was derived. The models are described and discussed.

G R Halford↗

Static aeroelastic analysis and tailoring of missile control fins

A concept for enhancing the design of control fins for supersonic tactical missiles is described. The concept makes use of aeroelastic tailoring to create fin designs (for given planforms) that limit the variations in hinge moments that can occur during maneuvers involving high load factors and high angles of attack. It combines supersonic nonlinear aerodynamic load calculations with finite-element structural modeling, static and dynamic structural analysis, and optimization. The problem definition is illustrated. The fin is at least partly made up of a composite material. The layup is fixed, and the orientations of the material principal axes are allowed to vary; these are the design variables. The objective is the magnitude of the difference between the chordwise location of the center of pressure and its desired location, calculated for a given flight condition. Three types of constraints can be imposed: upper bounds on static displacements for a given set of load conditions, lower bounds on specified natural frequencies, and upper bounds on the critical flutter damping parameter at a given set of flight speeds and altitudes. The idea is to seek designs that reduce variations in hinge moments that would otherwise occur. The block diagram describes the operation of the computer program that accomplishes these tasks. There is an option for a single analysis in addition to the optimization.

Mcintosh, S. C., Jr.↗

Preface to Special Topic: Advances in Radio Frequency Physics in Fusion Plasmas

It has long been recognized that auxiliary plasma heating will be required to achieve the high temperature, high density conditions within a magnetically confined plasma in which a fusion “burn” may be sustained by copious fusion reactions. Consequently, the application of radio and microwave frequency electromagnetic waves to magnetically confined plasma, commonly referred to as RF, has been a major part of the program almost since its inception in the 1950s. These RF waves provide heating, current drive, plasma profile control, and Magnetohydrodynamics (MHD) stabilization. Fusion experiments employ electromagnetic radiation in a wide range of frequencies, from tens of MHz to hundreds of GHz. The fusion devices containing the plasma are typically tori, axisymmetric or non, in which the equilibrium magnetic fields are composed of a strong toroidal magnetic field generated by external coils, and a poloidal field created, at least in the symmetric configurations, by currents flowing in the plasma. The waves are excited in the peripheral regions of the plasma, by specially designed launching structures, and subsequently propagate into the core regions, where resonant wave-plasma interactions produce localized heating or other modification of the local equilibrium profiles. Experimental studies coupled with the development of theoretical models and advanced simulation codes over the past 40+ years have led to an unprecedented understanding of the physics of RF heating and current drive in the core of magnetic fusion devices. Nevertheless, there are serious gaps in our knowledge base that continue to have a negative impact on the success of ongoing experiments and that must be resolved as the program progresses to the next generation devices and ultimately to “demo” and “fusion power plant.” A serious gap, at least in the ion cyclotron (IC) range of frequencies and partially in the lower hybrid frequency ranges, is the difficulty in coupling large amount of power to the plasma while minimizing the interaction between the plasma and launching structures. These potentially harmful interactions between the plasma and the vessel and launching structures are challenging: (i) significant and variable loss of power in the edge regions of confined plasmas and surrounding vessel structures adversely affect the core plasma performance and lifetime of a device; (ii) the launcher design is partly “trial and error,” with the consequence that launchers may have to be reconfigured after initial tests in a given device, at an additional cost. Over the broader frequency range, another serious gap is a quantitative lack of understanding of the combined effects of nonlinear wave-plasma processes, energetic particle interactions and non-axisymmetric equilibrium effects on determining the overall efficiency of plasma equilibrium and stability profile control techniques using RF waves. This is complicated by a corresponding lack of predictive understanding of the time evolution of transport and stability processes in fusion plasmas.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

Automatic Abstraction in Planning

Traditionally, abstraction in planning has been accomplished by either state abstraction or operator abstraction, neither of which has been fully automatic. We present a new method, predicate relaxation, for automatically performing state abstraction. PABLO, a nonlinear hierarchical planner, implements predicate relaxation. Theoretical, as well as empirical results are presented which demonstrate the potential advantages of using predicate relaxation in planning. We also present a new definition of hierarchical operators that allows us to guarantee a limited form of completeness. This new definition is shown to be, in some ways, more flexible than previous definitions of hierarchical operators. Finally, a Classical Truth Criterion is presented that is proven to be sound and complete for a planning formalism that is general enough to include most classical planning formalisms that are based on the STRIPS assumption.

LOGIC PROGRAMMING↗

Refine your search to explore more results.