Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “model diagnostics”

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,747 records · Page 97
All sourcesNASA NTRSDOE OSTI
DOE OSTI2025

Feasibility of fusion plasma burn control via real-time, sub-divertor neutral gas isotopic and compositional analysis

The ability to provide fusion burn control without requiring physical access through the first wall and fuel breeding blankets, would be vital for any future, magnetically confined fusion power reactor. A multi-sensor, fusion fuel cycle exhaust, neutral gas analysis system on JET, capable of delivering real time data, and accessing only the sub-divertor region, provides an excellent example of such capability. Optimized for and operated during the deuterium–tritium experimental campaigns 2 and 3 (DTE2, DTE3), it is proving valuable for planning to explore fusion reactor burn control in ITER with a comparable diagnostic system called the Diagnostic Residual Gas Analyzer (DRGA). This paper aims to show feasibility of developing model-based controllers for ITER and next generation, reactor-relevant devices, by building both on the empirical experience in JET-DTE2, and on the already emerging experience on developing such models specifically for ITER. The paper begins with a specific use-case from JET-DTE2, pertaining to the observed sensitivity of the fusion neutron yield on the concentration of isotopic helium-3 ( 3 He), with data from one of the high-performance DT shots exhibited with emphasis on the 3 He measurement via the sub-divertor. Then, a first model is developed and then explored with simulations that aim to discover how well the controllers in the model react to either insufficient levels of 3 He or excessive levels of 3 He. The simulations then explore potential impact from a delay in the measurement (or the response) that would be comparable to the ∼1 s, conductance limited response for the ITER DRGA system, currently in its final design. The simulations show that control is feasible, and that its effectiveness is not significantly impacted by such delay.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
NASA NTRS1999

Transport Experiments

MM II defined a series of experiments to better understand and characterize model transport and to assess the realism of this transport by comparison to observations. Measurements from aircraft, balloon, and satellite, not yet available at the time of MM I [Prather and Remsberg, 1993], provide new and stringent constraints on model transport, and address the limits of our transport modeling abilities. Simulations of the idealized tracers the age spectrum, and propagating boundary conditions, and conserved HSCT-like emissions probe the relative roles of different model transport mechanisms, while simulations of SF6 and C02 make the connection to observations. Some of the tracers are related, and transport diagnostics such as the mean age can be derived from more than one of the experiments for comparison to observations. The goals of the transport experiments are: (1) To isolate the effects of transport in models from other processes; (2) To assess model transport for realistic tracers (such as SF6 and C02) for comparison to observations; (3) To use certain idealized tracers to isolate model mechanisms and relationships to atmospheric chemical perturbations; (4) To identify strengths and weaknesses of the treatment of transport processes in the models; (5) To relate evaluated shortcomings to aspects of model formulation. The following section are included:Executive Summary, Introduction, Age Spectrum, Observation, Tropical Transport in Models, Global Mean Age in Models, Source-Transport Covariance, HSCT "ANOY" Tracer Distributions, and Summary and Conclusions.

Hall, Timothy M.↗
DOE OSTI2019

Recent DIII-D advances in runaway electron measurement and model validation

Novel measurements and modeling of runaway electron (RE) dynamics in DIII-D have resolved experimental discrepancies and validated predictions for ITER, improving confidence that RE avoidance and mitigation can be predictably achieved. Considering RE formation, first experimental assessments of the RE seed current demonstrates that present hot-tail theories are not yet accurate and require improved treatment of the pellet dynamics. Novel measurements of kinetic instabilities in the MHz-range have been made in the RE formation phase, with the intensity of these modes correlated with previously unexplained empirical thresholds for RE generation. Controlled RE dissipation experiments in quiescent regimes have validated RE distribution function dependencies on collisional and synchrotron damping, both in terms of distribution function shape and dissipation rates. Measurements of RE bremsstrahlung and synchrotron emission are now used in tandem to resolve energy and pitch-angle effects. A resolution to long-standing dissipation anomalies in the quiescent regime is offered by taking into account kinetic instability effects on RE phase-space dynamics. Kinetic instabilities in the 100–200 MHz range are directly observed, though modeling finds the largest dissipation arises from GHz range instabilities that are beyond the reach of existing diagnostics. Kinetic instabilities are also observed in the mature post-disruption RE plateau phase, so long as the collisional damping rate is reduced with low-Z injection. Experiments with high-Z injection find that the dissipation rate saturates with injection quantity, likely due to neutral diffusion rates being slower than vertical instability rates in DIII-D. Considering the final loss, a 0D model for first-wall Joule heating is found to be in agreement with experiment, and controlled access to RE equilibria with edge safety factor of two identifies novel dynamics brought about by large-scale kink instabilities. These dynamics are typified by fast (tens of microseconds) RE loss rates without RE beam regeneration. The above measurements and comparison with theory represent significant advances in the understanding of RE dynamics and indicate possible new opportunities for RE avoidance or mitigation via kinetic instabilities.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
NASA NTRS2004

A Plasmaspheric Mass Density Model and Constraints on its Heavy Ion Concentration

The first empirical model of the equatorial mass density of the plasmasphere is constructed using ground-based ULF wave diagnostics. Plasmaspheric mass density between L=l.7 and L=3.2 has been determined using over 5200 hours of data from pairs of stations in the MEASURE array of ground magnetometers. The least-squares fit to the data as a function of L shows that mass density falls logarithmically with L. Average ion mass as a function of L is also estimated by combining the mass density model with plasmaspheric electron density profiles determined from the IMAGE Radio Plasma Imager (RPI). Additionally, we use the RPI electron density database to examine how the average ion mass changes under different levels of geomagnetic activity. We find that average ion mass is greatest under the most disturbed conditions. This result indicates that heavy ion concentrations are enhanced during large geomagnetic disturbances, and therefore play an important role in storm-time plasmaspheric dynamics. The average ion mass is also used to constrain the concentrations of He(+) and O(+). Estimates of the He(+) concentration determined this way can be useful for interpreting IMAGE Extreme Ultraviolet Imager (EUV) images.

Berube, D.↗
DOE OSTI2021

Spatially and Temporally Resolved Velocimetry for Hypersonic Flows

The development of new hypersonic flight vehicles is limited by the physical understanding that may be obtained from ground test facilities. This has motivated the present development of a temporally and spatially resolved velocimetry measurement for Sandia National Laboratories (SNL) Hypersonic Wind Tunnel (HWT) using Femtosecond Laser Electronic Excitation Tagging (FLEET). First, a multi-line FLEET technique has been created for the first time and tested in a supersonic jet, allowing simultaneous measurements of velocities along multiple profiles in a flow. Secondly, two different approaches have been demonstrated for generating dotted FLEET lines. One employs a slit mask pattern focused into points to yield a dotted line, allowing for two- or three-component velocity measurements free of contamination between components. The other dotted-line approach is based upon an optical wedge array and yields a grid of points rather than a dotted line. Two successful FLEET measurement campaigns have been conducted in SNL’s HWT. The first effort established optimal diagnostic configurations in the hypersonic environment based on earlier benchtop reproductions, including validation of the use of a 267 nm beam to boost the measurement signal-to-noise ratio (SNR) with minimal risk of perturbing the flow and greater simplicity than a comparable resonant technique at 202 nm. The same FLEET system subsequently was reconstituted to demonstrate the ability to make velocimetry measurements of hypersonic turbulence in a realistic flow field. Mean velocity profiles and turbulence intensity profiles of the shear layer in the wake of a hypersonic cone model were measured at several different downstream stations, proving the viability of FLEET as a hypersonic diagnostic.

33 ADVANCED PROPULSION SYSTEMS↗
DOE OSTI2015

A biokinetic model for systemic technetium in adult humans

The International Commission on Radiological Protection (ICRP) currently is updating its biokinetic and dosimetric models for internally deposited radionuclides. Technetium (Tc), the lightest element that exists only in radioactive form, has two important isotopes from the standpoint of potential risk to humans: the long-lived isotope 99 Tm(T 1/2 =2.1x10 5 y) is present in high concentration in nuclear waste, and the short-lived isotope 99m Tc (T 1/2 =6.02 h) is the most commonly used radionuclide in diagnostic nuclear medicine. This paper reviews data on the biological behavior of technetium and proposes a biokinetic model for systemic technetium in the adult human body for use in radiation protection. Compared with the ICRP s current occupational model for systemic technetium, the proposed model provides a more realistic description of the paths of movement of technetium in the body; provides greater consistency with experimental and medical data; and, for most radiosensitive organs, yields substantially different estimates of cumulative activity (total radioactive decays within the organ) following uptake of 99 Tm or 99 mTc to blood.

62 RADIOLOGY AND NUCLEAR MEDICINE↗
NASA NTRS2013

Langmuir Probe Measurements Within the Discharge Channel of the 20-kW NASA-300M and NASA-300MS Hall Thrusters

NASA is presently developing a high-power, high-efficiency, long-lifetime Hall thruster for the Solar Electric Propulsion Technology Demonstration Mission. In support of this task, studies have been performed on the 20-kW NASA-300M Hall thruster to aid in the overall design process. The ability to incorporate magnetic shielding into a high-power Hall thruster was also investigated with the NASA- 300MS, a modified version of the NASA-300M. The inclusion of magnetic shielding would allow the thruster to push existing state-of-the-art technology in regards to service lifetime, one of the goals of the Technology Demonstration Mission. Langmuir probe measurements were taken within the discharge channels of both thrusters in order to characterize differences at higher power levels, as well as validate ongoing modeling efforts using the axisymmetric code Hall2De. Flush-mounted Langmuir probes were also used within the channel of the NASA-300MS to verify that magnetic shielding was successfully applied. Measurements taken from 300 V, 10 kW to 600 V, 20 kW have shown plasma potentials near anode potential and electron temperatures of 4 to 12 eV at the walls near the thruster exit plane of the NASA-300MS, verifying magnetic shielding and validating the design process at this power level. Channel centerline measurements on the NASA-300M from 300 V, 10 kW to 500 V, 20 kW show the electron temperature peak at approximately 0.1 to 0.2 channel lengths upstream of the exit plane, with magnitudes increasing with discharge voltage. The acceleration profiles appear to be centered about the exit plane with a width of approximately 0.3 to 0.4 channel lengths. Channel centerline measurements on the NASA-300MS were found to be more challenging due to additional probe heating. Ionization and acceleration zones appeared to move downstream on the NASA-300MS compared to the NASA-300M, as expected based on the shift in peak radial magnetic field. Additional measurements or alternative diagnostics will be needed to verify peak electron temperatures in the NASA-300MS and compare them with model predictions.

Hall thruster↗
DOE OSTI2012

Supersonic helium beam diagnostic for fluctuation measurements of electron temperature and density at the Tokamak TEXTOR

A supersonic helium beam diagnostic, based on the line-ratio technique for high resolution electron density and temperature measurements in the plasma edge (r/a > 0.9) was designed, built, and optimised at TEXTOR (Torus Experiment for Technology Oriented Research). The supersonic injection system, based on the Campargue skimmer-nozzle concept, was developed and optimised in order to provide both a high neutral helium beam density of n{sub 0}= 1.5 Multiplication-Sign 10{sup 18} m{sup -3} and a low beam divergence of {+-}1 Degree-Sign simultaneously, achieving a poloidal resolution of {Delta}{sub poloidal}= 9 mm. The setup utilises a newly developed dead volume free piezo valve for operation in a high magnetic field environment of up to 2 T with a maximum repetition rate of 80 Hz. Gas injections are realised for a duration of 120 ms at a repetition rate of 2 Hz (duty cycle 1/3). In combination with a high sensitivity detection system, consisting of three 32 multi-channel photomultipliers (PMTs), measurements of edge electron temperature and density with a radial resolution of {Delta}{sub radial}= 2 mm and a maximum temporal resolution of {Delta}t Asymptotically-Equal-To 2 {mu}s (470 kHz) are possible for the first time. The diagnostic setup at TEXTOR is presented. The newly developed injection system and its theoretical bases are discussed. The applicability of the stationary collisional-radiative model as basis of the line-ratio technique is shown. Finally, an example of a fluctuation analysis demonstrating the unique high temporal and spatial resolution capabilities of this new diagnostic is presented.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
DOE OSTI2021

Measurement and modeling of proton-induced reactions on arsenic from 35 to 200 MeV

72 As is a promising positron emitter for diagnostic imaging that can be employed locally using a 72 Se generator. However, current reaction pathways to 72 Se have insufficient nuclear data for efficient production using regional 100–200 MeV high-intensity proton accelerators. In order to address this deficiency, stacked-target irradiations were performed at LBNL, LANL, and BNL to measure the production of the 72 Se/ 72 As positron emission tomography (PET) generator system via 75 As (p, x) between 35 and 200 MeV. This work provides the most well-characterized excitation function for 75 As ( p , 4 n ) 72 Se starting from threshold. Additional focus was given to report the first measurements of 75 As (p, x) 68 Ge and bolster an already robust production capability for the highly valuable 68 Ge/ 68 Ga PET generator. Thick target yield comparisons with prior established formation routes to both generators are made. In total, high-energy proton-induced cross sections are reported for 55 measured residual products from 75 As, nat Cu , and nat Ti targets, where the latter two materials were present as monitor foils. These results were compared with literature data as well as the default theoretical calculations of the nuclear model codes TALYS, COH, EMPIRE, and ALICE. Reaction modeling at these energies is typically unsatisfactory due to few prior published data and many interacting physics models. Therefore, a detailed assessment of the talys code was performed with simultaneous parameter adjustments applied according to a standardized procedure. Particular attention was paid to the formulation of the two-component exciton model in the transition between the compound and preequilibrium regions, with a linked investigation of level density models for nuclei off of stability and their impact on modeling predictive power. This paper merges experimental work and evaluation techniques for high-energy charged-particle isotope production in an extension to an earlier study of this kind.

43 PARTICLE ACCELERATORS↗
DOE OSTI2023

Multimessenger signals of heavy axionlike particles in core-collapse supernovae: Two-dimensional simulations

Core-collapse supernovae are a useful laboratory to probe the nature of exotic particles. If axionlike particles (ALPs) are produced in supernovae, they can affect the transfer of energy and leave traces in observational signatures. In this work, we present results from two-dimensional supernova models including the effects of the production and the absorption of ALPs that couple with photons. It is found that the additional heating induced by ALPs can enhance the diagnostic energy of explosion, E diag . For example, for moderate ALP-photon coupling, we find explosion energies ~0.6×10 51 erg compared to our reference model without ALPs of ~0.4×10 51 erg in the first ~0.5 s postbounce explored in this work. Further, our findings indicate that when the coupling constant is sufficiently high, the neutrino luminosities and mean energies are decreased because of the additional cooling of the proto-neutron star via ALPs. The gravitational wave amplitude is also reduced because the mass accretion on the proto-neutron star is suppressed. Although the ALP-photon coupling can foster explodability, including enhancing the explosion energy closer to recent observations, more long-term simulations in three spatial dimensions are needed to draw robust conclusions.

79 ASTRONOMY AND ASTROPHYSICS↗
NASA NTRS2017

Kinetic Damage from Meteorites

A Near Earth object impacting into Earth's atmosphere may produce damaging effects at the surface due to airblast, thermal pulse, or kinetic impact in the form of meteorites. At large sizes (greater than many tens of meters), the damage is amplified by the hypersonic impact of these large projectiles moving with cosmic velocity, leaving explosively produced craters. However, much more common is simple "kinetic" damage caused by the impact of smaller meteorites moving at terminal speeds. As of this date a handful of instances are definitively known of people or structures being directly hit and/or damaged by the kinetic impact of meteorites. Meteorites known to have struck humans include the Sylacauga, Alabama fall (1954) and the Mbale meteorite fall (1992). Much more common is kinetic meteorite damage to cars, buildings, and even a post box (Claxton, Georgia - 1984). Historical accounts indicate that direct kinetic damage by meteorites may be more common than recent accounts suggest (Yau et al., 1994). In this talk we will examine the contemporary meteorite flux and estimate the frequency of kinetic damage to various structures, as well as how the meteorite flux might affect the rate of human casualties. This will update an earlier study by Halliday et al (1985), adding variations expected in meteorite flux with latitude (Le Feuvre and Wieczorek, 2008) and validating these model predictions of speed and entry angle with observations from the NASA and SOMN fireball networks. In particular, we explore the physical characteristics of bright meteors which may be used as a diagnostic for estimating which fireballs produce meteorites and hence how early warning of such kinetic damage may be estimated in advance through observations and modeling.

Cooke, William↗
NASA NTRS2017

Kinetic Damage from Meteorites

A Near Earth object impacting into Earth's atmosphere may produce damaging effects at the surface due to airblast, thermal pulse, or kinetic impact in the form of meteorites. At large sizes (>many tens of meters), the damage is amplified by the hypersonic impact of these large projectiles moving with cosmic velocity, leaving explosively produced craters. However, much more common is simple "kinetic" damage caused by the impact of smaller meteorites moving at terminal speeds. As of this date a handful of instances are definitively known of people or structures being directly hit and/or damaged by the kinetic impact of meteorites. Meteorites known to have struck humans include the Sylacauga, Alabama fall (1954) and the Mbale meteorite fall (1992). Much more common is kinetic meteorite damage to cars, buildings, and even a post box (Claxton, Georgia - 1984). Historical accounts indicate that direct kinetic damage by meteorites may be more common than recent accounts suggest (Yau et al., 1994). In this talk we will examine the contemporary meteorite flux and estimate the frequency of kinetic damage to various structures, as well as how the meteorite flux might affect the rate of human casualties. This will update an earlier study by Halliday et al (1985), adding variations expected in meteorite flux with latitude (Le Feuvre and Wieczorek, 2008) and validating these model predictions of speed and entry angle with observations from the NASA and SOMN fireball networks. In particular, we explore the physical characteristics of bright meteors which may be used as a diagnostic for estimating which fireballs produce meteorites and hence how early warning of such kinetic damage may be estimated in advance through observations and modelling.

Cooke, William↗
NASA NTRS2004

Optical Diagnostic System for Solar Sails: Phase 1 Final Report

NASA's In-Space Propulsion program recently selected AEC-ABLE Engineering and L'Garde, Inc. to develop scale-model solar sail hardware and demonstrate its functionality on the ground. Both are square sail designs with lightweight diagonal booms (<100 g/m) and ultra-thin membranes (<10 g/sq m). To support this technology, the authors are developing an integrated diagnostics instrumentation package for monitoring solar sail structures such as these in a near-term flight experiment. We refer to this activity as the "Optical Diagnostic System (ODS) for Solar Sails" project. The approach uses lightweight optics and photogrammetric techniques to measure solar sail membrane and boom shape and dynamics, thermography to map temperature, and non-optical sensors including MEMS accelerometers and load cells. The diagnostics package must measure key structural characteristics including deployment dynamics, sail support tension, boom and sail deflection, boom and sail natural frequencies, sail temperature, and sail integrity. This report summarizes work in the initial 6-month Phase I period (conceptual design phase) and complements the final presentation given in Huntsville, AL on January 14, 2004.

Pappa, Richard S.↗
NASA NTRS2019

Kepler Data Validation II–Transit Model Fitting and Multiple-Planet Search

This paper discusses the transit model-fitting and multiple-planet search algorithms and performance of the Kepler Science Data Processing Pipeline, developed by the Kepler Science Operations Center (SOC). Threshold crossing events (TCEs), which are transit candidate events, are generated by the Transiting Planet Search (TPS) component of the pipeline and subsequently processed in the data validation (DV) component. The transit model is used in DV to fit TCEs to characterize planetary candidates and to derive parameters that are used in various diagnostic tests to classify them. After the signature associated with the TCE is removed from the light curve of the target star, the residual light curve goes through TPS again to search for additional TCEs. The iterative process of transit model fitting and multiple-planet search continues until no TCE is generated from the residual light curve or an upper limit is reached. The transit model-fitting and multiple-planet search performance of the final release (9.3, 2016January) of the pipeline is demonstrated with the results of the processing of four years (17 quarters) of flight data from the primary Kepler Mission. The transit model-fitting results are accessible from the NASA Exoplanet Archive. The final version of the SOC codebase is available through GitHub.

Threshold crossing events (TCEs↗
DOE OSTI2025

Multi-contrast machine learning improves schistosomiasis diagnostic performance

Schistosomiasis currently affects over 250 million people and remains a public health burden despite ongoing global control efforts. Conventional microscopy is a practical tool for diagnosis and screening ofSchistosoma haematobium, but identification of eggs requires a skilled microscopist. Here we present a machine learning (ML)-based strategy for automated detection ofS. haematobiumthat combines two imaging contrasts, brightfield (BF) and darkfield (DF), to improve diagnostic performance. We collected BF and DF images of urine samples, many of them containingS. haematobiumeggs, during two different field studies in Côte d’Ivoire using a mobile phone-based microscope, the SchistoScope. We then trained separate egg-detection ML models and compared the patient-level performance of BF and DF models alone to combinations of BF and DF models, using annotations from trained microscopists as the gold standard. We found that models trained on DF images, and almost all BF and DF combinations, performed significantly better than models trained on BF images only. When models were trained on images from the first field study (n = 349 patients, 748 images of each contrast), patient-level classification performance on patient images from the second study (n = 375 patients, 752 images of each contrast) met the WHO Diagnostic Target Product Profile (TPP) sensitivity and specificity for the monitoring and evaluation use case (sensitivity for all models and combinations was >75% when evaluated at a confidence score threshold that resulted in specificity >96.5%). When we used images from both field studies for the training set, performance of the models was improved. Overall, this work shows that the use of DF and BF increases the performance of ML models on images from devices with low-cost optics, while retaining the portability, power, and time-to-results of the WHO’s diagnostic TPP. DF requires no additional sample preparation and does not increase the complexity of the imaging system. It thus offers a practical means to improve performance of automated diagnostics forS. haematobiumas well as other microscopy-based diagnostics.

Infectious Diseases↗
DOE OSTI2016

Influence plots for LASSO

With many predictors in regression, fitting the full model can induce multicollinearity problems. Least Absolute Shrinkage and Selection Operation (LASSO) is useful when the effects of many explanatory variables are sparse in a high-dimensional dataset. Influential points can have a disproportionate impact on the estimated values of model parameters. Here, this paper describes a new influence plot that can be used to increase understanding of the contributions of individual observations and the robustness of results. This can serve as a complement to other regression diagnostics techniques in the LASSO regression setting. Using this influence plot, we can find influential points and their impact on shrinkage of model parameters and model selection. Lastly, we provide two examples to illustrate the methods.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2013

POLARIMETRIC OBSERVATIONS OF {sigma} ORIONIS E

Some massive stars possess strong magnetic fields that confine plasma in the circumstellar environment. These magnetospheres have been studied spectroscopically, photometrically, and, more recently, interferometrically. Here we report on the first firm detection of a magnetosphere in continuum linear polarization, as a result of monitoring {sigma} Ori E at the Pico dos Dias Observatory. The non-zero intrinsic polarization indicates an asymmetric structure whose minor elongation axis is oriented 150. Degree-Sign 0 east of the celestial north. A modulation of the polarization was observed with a period of half of the rotation period, which supports the theoretical prediction of the presence of two diametrally opposed, corotating blobs of gas. A phase lag of -0.085 was detected between the polarization minimum and the primary minimum of the light curve, suggestive of a complex shape of the plasma clouds. We present a preliminary analysis of the data with the Rigidly Rotating Magnetosphere model, which could not reproduce simultaneously the photometric and polarimetric data. A toy model comprising two spherical corotating blobs joined by a thin disk proved more successful in reproducing the polarization modulation. With this model we were able to determine that the total scattering mass of the thin disk is similar to the mass of the blobs (2M{sub b}/M{sub d} = 1.2) and that the blobs are rotating counterclockwise on the plane of the sky. This result shows that polarimetry can provide a diagnostic of the geometry of clouds, which will serve as an important constraint for improving the Rigidly Rotating Magnetosphere model.

79 ASTRONOMY AND ASTROPHYSICS↗
NASA NTRS1988

Functional reasoning in diagnostic problem solving

This work is one facet of an integrated approach to diagnostic problem solving for aircraft and space systems currently under development. The authors are applying a method of modeling and reasoning about deep knowledge based on a functional viewpoint. The approach recognizes a level of device understanding which is intermediate between a compiled level of typical Expert Systems, and a deep level at which large-scale device behavior is derived from known properties of device structure and component behavior. At this intermediate functional level, a device is modeled in three steps. First, a component decomposition of the device is defined. Second, the functionality of each device/subdevice is abstractly identified. Third, the state sequences which implement each function are specified. Given a functional representation and a set of initial conditions, the functional reasoner acts as a consequence finder. The output of the consequence finder can be utilized in diagnostic problem solving. The paper also discussed ways in which this functional approach may find application in the aerospace field.

Sticklen, Jon↗