Results for “precision approach” — Page 33

NASA NTRS2004

Validation of GLAS Range Measurement over Salar de Uyuni, Bolivia

NASA's Geoscience Laser Altimeter System (GLAS) on the Ice, Cloud and land Elevation Satellite (ICESat) is Earth's first polar-orbiting satellite laser altimeter. Its primary purpose is to measure ice sheet elevation change, with a scientific requirement of detecting changes as low as 1.5 centimeters per year. This goal requires precise calibration and validation of the instrument. One approach for validating the GLAS range measurement involves comparison with a land reference target. Dry salt lakes are ideal for this purpose since they are large, stable, easily surveyed using kinematic GPS, and have albedos similar to that of ice. We selected the largest dry salt lake in the world, the salar de Uyuni in Bolivia, as a reference target for GLAS. In September 2002 we surveyed a 54 x 45 kilometer area of the salar with car-mounted kinematic GPS, using the data to construct a DEM of the surface. To date there have been six ICESat passes across our survey area, along two intersecting tracks. The first two passes occurred during "Laser 2A" operation (September to November 2003), the second two during "Laser 2B" operation (February to March 2004), and the final two during "Laser 2C" (June to July 2004). We compare GLAS elevations from all six passes with the salar de Uyuni DEM, showing how differing conditions between passes affected the performance of the GLAS instrument and providing an estimate of the relative and absolute accuracy of the range measurement. To check our results, we also compare the GLAS elevations along the same tracks with the mean sea-surface derived from TOPEX over the ocean on either side of South America.

Source record↗

NASA NTRS2006

Equipment for On-Wafer Testing From 220 to 325 GHz

A system of electronic instrumentation, constituting the equivalent of a two-port vector network analyzer, has been developed for use in on-wafer measurement of key electrical characteristics of semiconductor devices at frequencies from 220 to 325 GHz. A prior system designed according to similar principles was reported in Equipment for On-Wafer Testing at Frequencies Up to 220 GHz (NPO-20760), NASA Tech Briefs, Vol. 25, No. 11 (November 2001), page 42. As one would expect, a major source of difficulty in progressing to the present higher-frequency-range system was the need for greater mechanical precision as wavelengths shorten into the millimeter range, approaching the scale of mechanical tolerances of prior systems. The system (see figure) includes both commercial off-the-shelf and custom equipment. As in the system of the cited prior article, the equipment includes test sets that are extended versions of commercial network analyzers that function in a lower frequency range. The extension to the higher frequency range is accomplished by use of custom frequency-extension modules that contain frequency multipliers and harmonic mixers. On-wafer measurement is made possible by waveguide wafer probes that were custom designed and built for this wavelength range, plus an on-wafer calibration substrate designed for use with these probes. In this case, the calibration substrate was specially fabricated by laser milling. The system was used to make the first on-wafer measurements of a semiconductor device in the frequency range from 220 to 320 GHz. Some of the measurement results showed that the device had gain.

Samoska, Lorene↗

NASA NTRS2011

Directed Incremental Symbolic Execution

The last few years have seen a resurgence of interest in the use of symbolic execution -- a program analysis technique developed more than three decades ago to analyze program execution paths. Scaling symbolic execution and other path-sensitive analysis techniques to large systems remains challenging despite recent algorithmic and technological advances. An alternative to solving the problem of scalability is to reduce the scope of the analysis. One approach that is widely studied in the context of regression analysis is to analyze the differences between two related program versions. While such an approach is intuitive in theory, finding efficient and precise ways to identify program differences, and characterize their effects on how the program executes has proved challenging in practice. In this paper, we present Directed Incremental Symbolic Execution (DiSE), a novel technique for detecting and characterizing the effects of program changes. The novelty of DiSE is to combine the efficiencies of static analysis techniques to compute program difference information with the precision of symbolic execution to explore program execution paths and generate path conditions affected by the differences. DiSE is a complementary technique to other reduction or bounding techniques developed to improve symbolic execution. Furthermore, DiSE does not require analysis results to be carried forward as the software evolves -- only the source code for two related program versions is required. A case-study of our implementation of DiSE illustrates its effectiveness at detecting and characterizing the effects of program changes.

Person, Suzette↗

NASA NTRS2019

Potential Improvements in Global Carbon Flux Estimates from a Network of Laser Heterodyne Radiometer Measurements of Column Carbon Dioxide

We present observing system simulation experiments (OSSEs) to evaluate the impact of a proposed network of ground-based miniaturized laser heterodyne radiometer (mini-LHR) instruments that measure atmospheric column-averaged carbon dioxide (XCO2) with a 1 ppm precision. A particular strength of this passive measurement approach is its insensitivity to clouds and aerosols due to its direct sun pointing and narrow field of view (0.2°). Developed at the NASA Goddard Space Flight Center (GSFC), these portable, low-cost mini-LHR instruments were designed to operate in tandem with the sun photometers used by the AErosol RObotic NETwork (AERONET). This partnership allows us to leverage the existing framework of AERONET's global ground network of more than 500 sites as well as providing simultaneous measurements of aerosols that are known to be a major source of error in retrievals of XCO2 from passive nadir-viewing satellite observations. We show, using the global 3-D GEOS-Chem chemistry transport model, that a deployment of 50 mini-LHRs at strategic (but not optimized) AERONET sites significantly improves our knowledge of global and regional land-based CO2 fluxes. This improvement varies seasonally and ranges 58%–81% over southern lands, 47%–76% over tropical lands, 71%–92% over northern lands, and 64%–91% globally. We also show significant added value from combining mini-LHR instruments with the existing ground-based NOAA flask network. Collectively, these data result in improved a posteriori CO2 flux estimates on spatial scales of ∼10 km2, especially over North America and Europe, where the ground-based networks are densest. Our studies suggest that the mini-LHR network could also play a substantive role in reducing carbon flux uncertainty in Arctic and tropical systems by filling in geographical gaps in measurements left by ground-based networks and space-based observations. A realized network would also provide necessary data for the quinquennial global stock takes that form part of the Paris Agreement.

Palmer, Paul I.↗

NASA NTRS2019

Pterodactyl: An Uncoupled Range Control Approach to Fully Numerical Predictor-Corrector Entry Guidance

Entry, descent, and landing (EDL) has been identified as a core area of investment in NASA's Strategic Technology Investment Plan (NASA STIP). STIP lists the space technologies needed to help achieve NASA's science, technology, and exploration goals across the agency. Within the EDL core area, deployable hypersonic decelerators, also known as deployable entry vehicles (DEVs), have been identified as an area of investment, due to its potential to revolutionize payload delivery methods to Earth and other planets. These vehicles, which can deploy their heat shields or alter their shape before entry, exploit an increased and more effective drag ratio by using less mass than traditional blunt body vehicles with rigid aeroshells. DEVs like Adaptive Deployable Entry and Placement Technology (ADEPT) and Hypersonic Inflatable Aerodynamic Decelerator (HIAD) have demonstrated the capability of transporting the equivalent science payloads of blunt body rigid aeroshells, while using a significantly smaller diameter when stowed within a launch vehicle. While DEVs' increased energy dissipation for less mass is an attractive feature, their ability to contract and expand would require advancements in the current state-of-the-art guidance and control (G&C) architectures used by traditional rigid vehicles. Pterodactyl, a project funded by NASA's Space Technology Mission Directorate (STMD), aims to provide feasible integrated G&C solutions for DEVs, complete with optimized vehicle designs and packaging analyses. Structural and aerodynamic analyses for the explored control systems suggested a need for a bank angle guidance algorithm, a heritage guidance approach that has been used in many entry precision targeting vehicles, as well as an additional need for the development of a non-bank angle guidance. For this reason, Pterodactyl will consider four different G&C configurations during its design phase: i) a reaction control system for bank (sigma) control, ii) a mass movement system for angle of attack (alpha) sideslip (beta) control, iii) flaps for alpha - beta control, and iv) flaps for sigma control. To increase the applicability of each proposed integrated G&C architecture, an 11 km/s lunar return demonstration mission is selected to stress the developed technology capability. The Lifting Nano-ADEPT (LNA) vehicle is chosen as the DEV to demonstrate the integrated solutions. This paper will detail the trajectory design for a lunar return mission, using the validated bank control guidance algorithm Fully Numerical Predictor-Corrector Entry Guidance (FNPEG) and a newly developed guidance algorithm: FNPEG Uncoupled Range Control (URC). FNPEG-URC diverges from traditional bank angle guidances by producing alpha and beta commands to thereby decouple downrange and crossrange control. This presentation will discuss the development and overall performance of FNPEG and FNPEG-URC for each of the four G&C configurations. Successful G&C configurations are defined as those that can deliver payloads to the intended descent and landing site while abiding by trajectory constraints in the face of dispersions.

Johnson, Breanna↗

NASA NTRSDate not supplied

A Technical Overview of the Mission Engagement Onboarding Process Managed by the Mission Engagement Working Group (MEWG)

NASA's intricate network, encompassing the Near Space Network (NSN) and Deep Space Network (DSN), plays a pivotal role in supporting an array of space missions. These range from those in Low Earth Orbit (LEO) and Geosynchronous Orbit (GEO), to the more distant Cislunar and Deep Space endeavors. To manage the vast communications needs, we utilize multiple ground stations globally, coupled with the Tracking and Data Relay Satellite System (TDRSS). The Mission Engagement Working Group (MEWG), within the Commercialization, Innovation, and Synergies (CIS) division, stands as the primary gateway for all Space Communications and Network (SCaN) communication and navigation requests. This includes not only NASA's internal missions but also extends to other governmental agencies and commercial sector endeavors. How does the MEWG Process Work? - Initial Contact : Clients initiate their interaction with the NSN by submitting their service requirements through a dedicated online portal. - Preliminary Assessment by MEWG: Upon submission, MEWG embarks on a primary screening of the request. This involves evaluating the client's identity and the foundational concept of their mission. - Detailed Analysis by the NSN Team: Parallelly, the NSN team conducts a comprehensive review of the service request. This often necessitates additional clarification from the requester, ensuring that the final assessment is both thorough and accurate. - Coordination & Streamlining: MEWG's overarching objective is to effectively log, classify, orchestrate, and guarantee that pertinent actions are delegated based on initial client interactions. Acting as the central hub for these primary contacts, MEWG ensures that each request is sufficiently detailed for an in-depth evaluation. - Feedback & Remediation: If a request is deemed unsuitable or lacking, MEWG doesn't merely reject it. Instead, the team discerns the reasons for the inadequacy and suggests potential rectification strategies. This approach ensures that feedback delivered to clients is precise, prompt, constructive, and actionable. Conclusion: This plenary presentation will detail the efforts of the MEWG resulting in a greatly streamlined and refined onboarding process for space communication Direct-To-Earth (DTE) and Space Relay (SR) support requests. By centralizing the preliminary interactions and assessments, we've reduced the complexity for clients, ensuring they engage with a singular, efficient, and responsive point of contact. This initiative, we believe, fortifies NASA's commitment to fostering effective and synergistic collaborations with its partners.

Devin L Bitner↗

NASA NTRSDate not supplied

A Technical Overview of the Mission Engagement Onboarding Process Managed by the Mission Engagement Working Group (MEWG)

NASA's intricate network, encompassing the Near Space Network (NSN) and Deep Space Network (DSN), plays a pivotal role in supporting an array of space missions. These range from those in Low Earth Orbit (LEO) and Geosynchronous Orbit (GEO), to the more distant Cislunar and Deep Space endeavors. To manage the vast communications needs, we utilize multiple ground stations globally, coupled with the Tracking and Data Relay Satellite System (TDRSS). The Mission Engagement Working Group (MEWG), within the Commercialization, Innovation, and Synergies (CIS) division, stands as the primary gateway for all Space Communications and Network (SCaN) communication and navigation requests. This includes not only NASA's internal missions but also extends to other governmental agencies and commercial sector endeavors. How does the MEWG Process Work? - Initial Contact : Clients initiate their interaction with the NSN by submitting their service requirements through a dedicated online portal. - Preliminary Assessment by MEWG: Upon submission, MEWG embarks on a primary screening of the request. This involves evaluating the client's identity and the foundational concept of their mission. - Detailed Analysis by the NSN Team: Parallelly, the NSN team conducts a comprehensive review of the service request. This often necessitates additional clarification from the requester, ensuring that the final assessment is both thorough and accurate. - Coordination & Streamlining: MEWG's overarching objective is to effectively log, classify, orchestrate, and guarantee that pertinent actions are delegated based on initial client interactions. Acting as the central hub for these primary contacts, MEWG ensures that each request is sufficiently detailed for an in-depth evaluation. - Feedback & Remediation: If a request is deemed unsuitable or lacking, MEWG doesn't merely reject it. Instead, the team discerns the reasons for the inadequacy and suggests potential rectification strategies. This approach ensures that feedback delivered to clients is precise, prompt, constructive, and actionable. Conclusion: This plenary presentation will detail the efforts of the MEWG resulting in a greatly streamlined and refined onboarding process for space communication Direct-To-Earth (DTE) and Space Relay (SR) support requests. By centralizing the preliminary interactions and assessments, we've reduced the complexity for clients, ensuring they engage with a singular, efficient, and responsive point of contact. This initiative, we believe, fortifies NASA's commitment to fostering effective and synergistic collaborations with its partners.

Devin Bitner↗

DOE OSTI2021

Methods and devices configured to operated scanning tunneling microscopes using out-of-bandwidth frequency components added to bias voltage and related software

In the system and method disclosed, an ultrahigh vacuum (UHV) scanning tunneling microscope (STM) tip is used to selectively desorb hydrogen atoms from the Si(100)-2X1:H surface by injecting electrons at a negative sample bias voltage. A new lithography method is disclosed that allows the STM to operate under imaging conditions and simultaneously desorb H atoms as required. A high frequency signal is added to the negative sample bias voltage to deliver the required energy for hydrogen removal. The resulted current at this frequency and its harmonics are filtered to minimize their effect on the operation of the STM's feedback loop. This approach offers a significant potential for controlled and precise removal of hydrogen atoms from a hydrogen-terminated silicon surface and thus may be used for the fabrication of practical silicon-based atomic-scale devices.

Moheimani, Seyed Omid Reza↗

DOE OSTI2023

Methods and devices configured to operated scanning tunneling microscopes using out-of-bandwidth frequency components added to bias voltage and related software

In the system and method disclosed, an ultrahigh vacuum (UHV) scanning tunneling microscope (STM) tip is used to selectively desorb hydrogen atoms from the Si(100)-2X1:H surface by injecting electrons at a negative sample bias voltage. A new lithography method is disclosed that allows the STM to operate under imaging conditions and simultaneously desorb H atoms as required. A high frequency signal is added to the negative sample bias voltage to deliver the required energy for hydrogen removal. The resulted current at this frequency and its harmonics are filtered to minimize their effect on the operation of the STM's feedback loop. This approach offers a significant potential for controlled and precise removal of hydrogen atoms from a hydrogen-terminated silicon surface and thus may be used for the fabrication of practical silicon-based atomic-scale devices.

Moheimani, Seyed Omid Reza↗

DOE OSTI2024

Use of Lignin-Based Admixture as Water Reducer (WRA) for Tailoring the Rheological Properties of Mortars for 3D-Printing

Efforts towards decarbonizing construction materials and industrial processes related to cement and concrete can be aided via multifaceted approaches that target alternative admixtures as well as precision control of fabrication. Chemical admixtures for water reduction have played a crucial role in the development of advanced mortar and concrete mixtures. Newer biomass processing techniques developed for aviation fuel production from corn stover biomass produce a highly reactive lignin byproduct that is suitable for chemical modifications to mimic the properties of commonly used polycarboxylate ethers (PCEs) with a smaller carbon footprint. These lignin-based plasticizers developed at NREL can be used in place of petrochemical-derived superplasticizers to tailor the rheological properties of cement-based systems for applications such as additive manufacturing while reducing the carbon intensity of the concrete mix. Lignosulfonates derived from paper pulping were historically used as water reducers only to be displaced with the rise of PCEs. The present study examines the use of a NREL produced lignin-based water reducing admixture (WRA), in cement pastes and mortar mixtures for 3D-printing at small- (mm) scale. The experimental program consisted of different formulations of oxidized lignin-based WRAs added in variable dosages to cement pastes with a fixed water-to-cement ratio. The objective is to achieve an appropriate workability, extrudability and buildability of mortar mixtures to produce 3D-printed specimens. The rheological characterization was performed to compare the initial yield stress and viscosity of the different mixtures with lignin-based admixture with respect to conventional PCE superplasticizers. The rheological characterization shows that the proposed material act as an effective water-reducer in cement systems, affecting the yield stress, plastic viscosity, and structuration rate of the mixtures evaluated. On the other hand, the effect on early hydration process of the cement pastes containing lignin-based admixtures is comparable to conventional superplasticizers.

3D-printing↗

DOE OSTI2025

Direct Measurement of Galaxy Assembly Bias using DESI DR1 Data

We report the first direct measurement of galaxy assembly bias, a critical systematic in cosmology, from the Dark Energy Spectroscopic Instrument (DESI) Bright Galaxy Survey. We introduce a novel, cosmology-independent method to measure the halo occupation distribution (HOD) by combining a state-of-the-art group catalog with weak gravitational lensing. For groups binned by total luminosity, we determine the galaxy occupation number $N_{\rm gal}$ from group-galaxy cross-correlations, while weak lensing constrains the average halo mass $M_h$. Applying this to a volume-limited sample at $z{\in}[0.05,0.2]$, we measure the dependence of HOD, $N_{\rm gal}(M_h)$, on large-scale overdensity $δ_{g}$. Focusing on the satellite galaxies, we find an assembly bias parameter of $Q_{\rm sat}{=}0.05{\pm}0.14$, a result consistent with zero and in tension with many empirical galaxy formation models. Our method provides a robust approach for characterizing galaxy assembly bias to achieve precision cosmology with DESI and future Stage-V surveys.

Shao, Zhiwei [Shanghai Jiaotong U.; Shanghai Jiao ↗

DOE OSTI2020

Determination of γ-ray branching ratios for ⁹⁵Zr and ¹⁴⁷Nd

For many fission products, the γ rays emitted following decay provide an easily-detectable signature that can be used to identify their quantities and distributions in a sample. As a result, γ-ray spectroscopy is often exploited to study fission-product yields (FPYs), provided sufficiently accurate information on the γ-ray branching ratio is available. However, in many cases, the uncertainties in the existing nuclear data are large enough that they compromise the precision achievable for modern experiments and applications. To address this need, we have developed a new experimental method that is well suited to precisely measure the γ-ray branching ratios in the decay of long-lived fission products. The approach involves the production of a radiopure sample by implantation of a mass-separated ion beam from the CAlifornium Rare Isotope Breeder Upgrade (CARIBU) facility on a thin carbon foil. The emitted β -decay radiation is detected with a 4π gas proportional counter and a meticulously efficiency-calibrated high-purity germanium (HPGe) detector. As a first measurement to demonstrate the approach, we studied the γ-ray branching ratios of the strongest transitions following the decay of ⁹⁵Zr and decay-daughter ⁹⁵Nb and determined these branching ratios to fractional precisions of 1%. We then applied this approach to determine the γ-ray branching ratios for the β decay of ¹⁴⁷Nd. The results for the γ-ray branching ratios are presented here and compared to previous results and evaluations.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

NASA NTRS2015

Cleaning and Cleanliness Measurement of Additive Manufactured Parts

The successful acquisition and utilization of piece parts and assemblies for contamination sensitive applications requires application of cleanliness acceptance criteria. Contamination can be classified using many different schemes. One common scheme is classification as organic, ionic and particulate contaminants. These may be present in and on the surface of solid components and assemblies or may be dispersed in various gaseous or liquid media. This discussion will focus on insoluble particle contamination on the surface of piece parts and assemblies. Cleanliness of parts can be controlled using two strategies, referred to as gross cleanliness and precision cleanliness. Under a gross cleanliness strategy acceptance is based on visual cleanliness. This approach introduces a number of concerns that render it unsuitable for controlling cleanliness of high technology products. Under the precision cleanliness strategy, subjective, visual assessment of cleanliness is replaced by objective measurement of cleanliness. When a precision cleanliness strategy is adopted there naturally arises the question: How clean is clean enough? The six commonly used methods for establishing objective cleanliness acceptance limits will be discussed. Special emphasis shall focus on the use of multiple extraction, a technique that has been demonstrated for additively manufactured parts.

Welker, Roger W.↗

NASA NTRS2016

Cleaning and Cleanliness Measurement of Additive Manufactured Parts

The successful acquisition and utilization of piece parts and assemblies for contamination sensitive applications requires application of cleanliness acceptance criteria. Contamination can be classified using many different schemes. One common scheme is classification as organic, ionic and particulate contaminants. These may be present in and on the surface of solid components and assemblies or may be dispersed in various gaseous or liquid media. This discussion will focus on insoluble particle contamination on the surfaces of piece parts and assemblies. Cleanliness of parts can be controlled using two strategies, referred to as gross cleanliness and precision cleanliness. Under a gross cleanliness strategy acceptance is based on visual cleanliness. This approach introduces a number of concerns that render it unsuitable for controlling cleanliness of high technology products. Under the precision cleanliness strategy, subjective, visual assessment of cleanliness is replaced by objective measurement of cleanliness. When a precision cleanliness strategy is adopted there naturally arises the question: How clean is clean enough? The methods for establishing objective cleanliness acceptance limits will be discussed.

Mitchell, Mark A.↗

NASA NTRS1987

Precise timing of the last interglacial period from mass spectrometric determination of thorium-230 in corals

The development of mass spectrometric techniques for determination of Th-230 abundance has made it possible to reduce analytical errors in (U-238)-(U-234)-(Th-230) dating of corals even with very small samples. Samples of 6 x 10 to the 8th atoms of Th-230 can be measured to an accuracy of + or - 3 percent (2sigma), and 3 x 10 to the 10th atoms of Th-230 can be measured to an accuracy of + or - 0.2 percent. The time range over which useful age data on corals can be obtained now ranges from about 50 to about 500,000 years. For young corals, this approach may be preferable to C-14 dating. The precision with which the age of a coral can now be determined should make it possible to critically test the Milankovitch hypothesis concerning Pleistocene climate fluctuations. Analyses of a number of corals that grew during the last interglacial period yield ages of 122,000 to 130,000 years. The ages coincide with, or slightly post-date, the summer solar insolation high at 65 deg N latitude which occurred 128,000 years ago. This supports the idea that changes in Pleistocene climate can be the result of variations in the distribution of solar insolation caused by changes in the geometry of the earth's orbit and rotation axis.

Chen, J. H.↗

DOE OSTI2020

Scalable Substitutional Re‐Doping and its Impact on the Optical and Electronic Properties of Tungsten Diselenide

Abstract Reliable, controlled doping of 2D transition metal dichalcogenides will enable the realization of next‐generation electronic, logic‐memory, and magnetic devices based on these materials. However, to date, accurate control over dopant concentration and scalability of the process remains a challenge. Here, a systematic study of scalable in situ doping of fully coalesced 2D WSe 2 films with Re atoms via metal–organic chemical vapor deposition is reported. Dopant concentrations are uniformly distributed over the substrate surface, with precisely controlled concentrations down to <0.001% Re achieved by tuning the precursor partial pressure. Moreover, the impact of doping on morphological, chemical, optical, and electronic properties of WSe 2 is elucidated with detailed experimental and theoretical examinations, confirming that the substitutional doping of Re at the W site leads to n‐type behavior of WSe 2 . Transport characteristics of fabricated back‐gated field‐effect‐transistors are directly correlated to the dopant concentration, with degrading device performances for doping concentrations exceeding 1% of Re. The study demonstrates a viable approach to introducing true dopant‐level impurities with high precision, which can be scaled up to batch production for applications beyond digital electronics.

Kozhakhmetov, Azimkhan↗

NASA NTRS1992

Achieving safe autonomous landings on Mars using vision-based approaches

Autonomous landing capabilities will be critical to the success of planetary exploration missions, and in particular to the exploration of Mars. Past studies have indicated that the probability of failure associated with open-loop landings is unacceptably high. Two approaches to achieving autonomous landings with higher probabilities of success are currently under analysis. If a landing site has been certified as hazard free, then navigational aids can be used to facilitate a precision landing. When only limited surface knowledge is available and landing areas cannot be certified as hazard free, then a hazard detection and avoidance approach can be used, in which the vehicle selects hazard free landing sites in real-time during its descent. Issues pertinent to both approaches, including sensors and algorithms, are presented. Preliminary results indicate that one promising approach to achieving high accuracy precision landing is to correlate optical images of the terrain acquired during the terminal descent phase with a reference image. For hazard detection scenarios, a sensor suite comprised of a passive intensity sensor and a laser ranging sensor appears promising as a means of achieving robust landings.

Pien, Homer↗

NASA NTRS1990

Model compilation: An approach to automated model derivation

An approach is introduced to automated model derivation for knowledge based systems. The approach, model compilation, involves procedurally generating the set of domain models used by a knowledge based system. With an implemented example, how this approach can be used to derive models of different precision and abstraction is illustrated, and models are tailored to different tasks, from a given set of base domain models. In particular, two implemented model compilers are described, each of which takes as input a base model that describes the structure and behavior of a simple electromechanical device, the Reaction Wheel Assembly of NASA's Hubble Space Telescope. The compilers transform this relatively general base model into simple task specific models for troubleshooting and redesign, respectively, by applying a sequence of model transformations. Each transformation in this sequence produces an increasingly more specialized model. The compilation approach lessens the burden of updating and maintaining consistency among models by enabling their automatic regeneration.

Keller, Richard M.↗