Results for “Operator inference” — Page 29

NASA NTRSDate not supplied

International Satellite Cloud Climatology Project (ISCCP) Stage D2 Monthly Cloud Product - Revised Algorithm in Native (NAT) Data Format (ISCCP_D2_NAT)

Since 1983 an international group of institutions has collected and analyzed satellite radiance measurements from up to five geostationary and two polar orbiting satellites to infer the global distribution of cloud properties and their diurnal, seasonal and interannual variations. The primary focus of the first phase of the project (1983-1995) was the elucidation of the role of clouds in the radiation budget (top of the atmosphere and surface). In the second phase of the project (1995 onwards) the analysis also concerns improving understanding of clouds in the global hydrological cycle. [Location=TROPOSPHERE] [Temporal_Coverage: Start_Date=1983-07-01; Stop_Date=] [Spatial_Coverage: Southernmost_Latitude=-90; Northernmost_Latitude=90; Westernmost_Longitude=-180; Easternmost_Longitude=180] [Data_Resolution: Latitude_Resolution=280 Km; Longitude_Resolution=280 Km; Temporal_Resolution=Monthly].

CLOUD OPTICAL THICKNESS↗

NASA NTRS2012

Filling-in of Far-Red and Near-Infrared Solar Lines by Terrestrial and Atmospheric Effects: Simulations and Space-Based Observations from SCHIAMACHY and GOSAT

Mapping of terrestrial vegetation fluorescence from space is of interest because it can potentially provide global information on the functional status of vegetation including light use efficiency and global primary productivity that can be used for global carbon cycle modeling. Space-based measurement of solar-induced chlorophyll fluorescence is challenging, because its signal is small as compared with the much larger reflectance signal. Ground- and aircraft-based approaches have made use of the dark and spectrally-wide 02-A (approx 760 nm) and O2-B (approx 690 nm) atmospheric features to detect the weak fluorescence signal. More recently, Joiner et a1. and Frankenberg et a1. focused on longer-wavelength solar Fraunhofer lines that can be observed with space-based instruments such as the currently operational GOSAT. They showed that fluorescence can be detected using Fraunhofer lines away from the far-red chlorophyll-a fluorescence peak even when the surface is relatively bright. Here, we build on that work by developing methodology to correct for instrumental artifacts that produce false filling-in signals that can bias fluorescence retrievals. We also examine other potential sources of filling-in at far-red and NIR wavelengths. Another objective is to explore the possibility of making fluorescence measurements from space with lower spectral resolution instrumentation than the GOSAT interferometer. We focus on the 866 nm Ca II solar Fraunhofer line. Very few laboratory and ground-based measurements of vegetation fluorescence have been reported at wavelengths longer than 800 mn. Some results of fluorescence measurements of corn leaves acquired in the laboratory using polychromatic excitation at wavelengths shorter than 665 nm show that at 866 nm, the measured signal is of the order of 0.1-0.2 mw/sq m/nm/sr. In this work we use the following satellite observations: We use SCIAMACHY channel 5 in nadir mode that covers wavelengths between 773 and 1063 nm at a spectral resolution of 0.54 nm. GOSAT has two instrument packages: the Thermal And Near-infrared Sensor for carbon Observation-Fourier Transform Spectrometer (TANSO-FTS) and the Cloud and Aerosol Imager (CAI). We use TANSO-FTS band 1, which extends from approximately 758 to 775 mn and we use cloud fraction derived from the CAL We compare satellite-derived fluorescence with the Enhanced Vegetation Index (EVI), an Aqua/MODIS-derived vegetation reflectance-based index that indicates relative greenness and is used to infer photosynthetic function.

Joiner, J.↗

NASA NTRSDate not supplied

International Satellite Cloud Climatology Project (ISCCP) Stage DX Pixel Level Cloud Product - Revised Algorithm in Native (NAT) Format (ISCCP_DX_NAT)

Since 1983 an international group of institutions has collected and analyzed satellite radiance measurements from up to five geostationary and two polar orbiting satellites to infer the global distribution of cloud properties and their diurnal, seasonal and interannual variations. The primary focus of the first phase of the project (1983-1995) was the elucidation of the role of clouds in the radiation budget (top of the atmosphere and surface). In the second phase of the project (1995 onwards) the analysis also concerns improving understanding of clouds in the global hydrological cycle. [Location=TROPOSPHERE] [Temporal_Coverage: Start_Date=1983-07-01; Stop_Date=] [Spatial_Coverage: Southernmost_Latitude=-90; Northernmost_Latitude=90; Westernmost_Longitude=-180; Easternmost_Longitude=180] [Data_Resolution: Latitude_Resolution=30 Km; Longitude_Resolution=30 Km; Temporal_Resolution=3 Hourly].

CLOUD ICE↗

NASA NTRSDate not supplied

International Satellite Cloud Climatology Project (ISCCP) Stage D1 3-Hourly Cloud Product - Revised Algorithm in Hierarchical Data Format (ISCCP_D1)

Since 1983 an international group of institutions has collected and analyzed satellite radiance measurements from up to five geostationary and two polar orbiting satellites to infer the global distribution of cloud properties and their diurnal, seasonal and interannual variations. The primary focus of the first phase of the project (1983-1995) was the elucidation of the role of clouds in the radiation budget (top of the atmosphere and surface). In the second phase of the project (1995 onwards) the analysis also concerns improving understanding of clouds in the global hydrological cycle. [Location=TROPOSPHERE] [Temporal_Coverage: Start_Date=1983-07-01; Stop_Date=] [Spatial_Coverage: Southernmost_Latitude=-90; Northernmost_Latitude=90; Westernmost_Longitude=-180; Easternmost_Longitude=180] [Data_Resolution: Latitude_Resolution=280 Km; Longitude_Resolution=280 Km; Temporal_Resolution=3 Hourly].

CLOUD LIQUID WATER PATH↗

NASA NTRSDate not supplied

International Satellite Cloud Climatology Project (ISCCP) Stage D2 Monthly Cloud Product - Revised Algorithm in Hierarchical Data Format (ISCCP_D2)

Since 1983 an international group of institutions has collected and analyzed satellite radiance measurements from up to five geostationary and two polar orbiting satellites to infer the global distribution of cloud properties and their diurnal, seasonal and interannual variations. The primary focus of the first phase of the project (1983-1995) was the elucidation of the role of clouds in the radiation budget (top of the atmosphere and surface). In the second phase of the project (1995 onwards) the analysis also concerns improving understanding of clouds in the global hydrological cycle. [Location=TROPOSPHERE] [Temporal_Coverage: Start_Date=1983-07-01; Stop_Date=] [Spatial_Coverage: Southernmost_Latitude=-90; Northernmost_Latitude=90; Westernmost_Longitude=-180; Easternmost_Longitude=180] [Data_Resolution: Latitude_Resolution=280 Km; Longitude_Resolution=280 Km; Temporal_Resolution=Monthly].

CLOUD TOP PRESSURE↗

NASA NTRS1994

SCL: An off-the-shelf system for spacecraft control

In this age of shrinking military, civil, and commercial space budgets, an off-the-shelf solution is needed to provide a multimission approach to spacecraft control. A standard operational interface which can be applied to multiple spacecraft allows a common approach to ground and space operations. A trend for many space programs has been to reduce operational staff by applying autonomy to the spacecraft and to the ground stations. The Spacecraft Command Language (SCL) system developed by Interface and Control Systems, Inc. (ICS) provides an off-the-shelf solution for spacecraft operations. The SCL system is designed to provide a hyper-scripting interface which remains standard from program to program. The spacecraft and ground station hardware specifics are isolated to provide the maximum amount of portability from system to system. Uplink and downlink interfaces are also isolated to allow the system to perform independent of the communications protocols chosen. The SCL system can be used for both the ground stations and the spacecraft, or as a value added package for existing ground station environments. The SCL system provides an expanded stored commanding capability as well as a rule-based expert system on-board. The expert system allows reactive control on-board the spacecraft for functions such as electrical power systems (EPS), thermal control, etc. which have traditionally been performed on the ground. The SCL rule and scripting capability share a common syntax allowing control of scripts from rules and rules from scripts. Rather than telemeter over sampled data to the ground, the SCL system maintains a database on-board which is available for interrogation by the scripts and rules. The SCL knowledge base is constructed on the ground and uploaded to the spacecraft. The SCL system follows an open-systems approach allowing other tasks to communicate with SCL on the ground and in space. The SCL system was used on the Clementine program (launched January 25, 1994) and is required to have bidirectional communications with the guidance, navigation, and control (GNC) algorithms which were written as another task. Sequencing of the spacecraft maneuvers are handled by SCL, but the low-level thruster pulse commands are handled by the GNC software. Attitude information is reported back as telemetry, allowing the SCL expert system to inference on the changing data. The Clementine SCL flight software was largely reused from another Naval Center for Space Technology (NCST) satellite program. This paper details the SCL architecture and how an off-the-shelf solution makes sense for multimission spacecraft programs. The Clementine mission will be used as a case study in the application of the SCL to a 'fast track' program. The benefits of such a system in a 'better, cheaper, faster' climate will be discussed.

Buckley, Brian↗

NASA NTRSDate not supplied

Hybrid Model Based Approaches for Systems Health Management and Prognostics

To facilitate and solve the prediction problem, awareness of the current health state of the system is key, since it is necessary to perform condition-based predictions. To accurately predict the future state of any system, it is required to possess knowledge of its current health state and future operational conditions. Latest achievements of data-driven algorithms in regression of complex nonlinear functions and classification tasks have generated a growing interest in artificial intelligence for industrial applications. Complex multi-physics models as well as digital twins, once purely built on physics and corresponding simplified lumped parameter iterations, can now benefit from machine learning algorithms to mitigate the lack of understanding of some complex behavior. Given models of the current and future system behavior, a general approach of model-based prognostics can solve the prediction problem and further decision making. In principle, data driven approaches can replace expensive experimental test-setups as well as reduce the number of simulations needed to explore, e.g., the parametric space of a multi-parameter model. Nonetheless, the limitations of pure data-driven methods came to light rather quickly, at least for some industries. In many industrial applications, data acquisition is costly, and the volume of data that can be collected does not satisfy the requirements for an effective model training and cross-validation. Therefore, some recent works in the area of machine learning is focusing on blending physics with data-driven algorithms, thus mitigating the drawbacks of the two approaches and emphasizing respective advantages. Partial physical knowledge of the problem can aid the learning process by “guiding” the algorithm towards efficient solutions that satisfy the physics driving the system behavior. The result is a hybrid modeling approach combining physical knowledge as well data driven methods to develop a unified hybrid approach. A hybrid framework for fusing information from physics-based performance models along with deep learning algorithms for prognostics of complex safety critical systems is presented. In this framework, physics-based performance models infer unobservable model parameters related to the system's components health solving a calibration problem in the deep learning approach.

Hybrid Modeling↗

NASA NTRSDate not supplied

Hybrid Approaches to Systems Health Management and Prognostics

To facilitate and solve the prediction problem, awareness of the current health state of the system is key, since it is necessary to perform condition-based predictions. To accurately predict the future state of any system, it is required to possess knowledge of its current health state and future operational conditions. Latest achievements of data-driven algorithms in regression of complex nonlinear functions and classification tasks have generated a growing interest in artificial intelligence for industrial applications. Complex multi-physics models as well as digital twins, once purely built on physics and corresponding simplified lumped parameter iterations, can now benefit from machine learning algorithms to mitigate the lack of understanding of some complex behavior. Given models of the current and future system behavior, a general approach of model-based prognostics can solve the prediction problem and further decision making. In principle, data driven approaches can replace expensive experimental test-setups as well as reduce the number of simulations needed to explore, e.g., the parametric space of a multi-parameter model. Nonetheless, the limitations of pure data-driven methods came to light rather quickly, at least for some industries. In many industrial applications, data acquisition is costly, and the volume of data that can be collected does not satisfy the requirements for an effective model training and cross-validation. Therefore, some recent works in the area of machine learning is focusing on blending physics with data-driven algorithms, thus mitigating the drawbacks of the two approaches and emphasizing respective advantages. Partial physical knowledge of the problem can aid the learning process by “guiding” the algorithm towards efficient solutions that satisfy the physics driving the system behavior. The result is a hybrid modeling approach combining physical knowledge as well data driven methods to develop a unified hybrid approach. A hybrid framework for fusing information from physics-based performance models along with deep learning algorithms for prognostics of complex safety critical systems is presented. In this framework, physics-based performance models infer unobservable model parameters related to the system's components health solving a calibration problem in the deep learning approach.

Systems Health Management↗

NASA NTRS2022

Hybrid Model Based Approaches for Systems Health Management and Prognostics

This is a previously approved and published presentation. To accurately predict the future state of any system, it is required to possess knowledge of its current health state and future operational conditions. Present achievements of data-driven algorithms in regression of complex nonlinear functions and classification tasks have generated a growing interest in artificial intelligence for industrial applications. Complex multi-physics models as well as digital twins, once purely built on physics and corresponding simplified lumped parameter iterations, can now benefit from machine learning algorithms to mitigate the lack of understanding of some complex behavior. Given models of the current and future system behavior, a general approach of model-based prognostics can solve the prediction problem and further decision-making. In principle, data-driven approaches can replace expensive experimental test-setups as well as reduce the number of simulations needed to explore, e.g., the parametric space of a multi-parameter model. Nonetheless, the limitations of pure data-driven methods came to light rather quickly, at least for some industries. In many industrial applications, data acquisition is costly, and the volume of data that can be collected does not satisfy the requirements for effective model training and cross-validation. Therefore, some recent works in the area of machine learning is focusing on blending physics with data-driven algorithms, thus mitigating the drawbacks of the two approaches and emphasizing respective advantages. Partial physical knowledge of the problem can aid the learning process by “guiding” the algorithm towards efficient solutions that satisfy the physics driving the system behavior. The result is a hybrid modeling approach combining physical knowledge as well data-driven methods to develop a unified hybrid approach. A hybrid framework for fusing information from physics-based performance models along with deep learning algorithms for prognostics of complex safety-critical systems is presented. In this framework, physics-based performance models infer unobservable model parameters related to the system's components health solving a calibration problem in the deep learning approach.

Prognostics↗

NASA NTRSDate not supplied

International Satellite Cloud Climatology Project (ISCCP) Stage D1 3-Hourly Cloud Product - Revised Algorithm in Native (NAT) Format (ISCCP_D1_NAT)

Since 1983 an international group of institutions has collected and analyzed satellite radiance measurements from up to five geostationary and two polar orbiting satellites to infer the global distribution of cloud properties and their diurnal, seasonal and interannual variations. The primary focus of the first phase of the project (1983-1995) was the elucidation of the role of clouds in the radiation budget (top of the atmosphere and surface). In the second phase of the project (1995 onwards) the analysis also concerns improving understanding of clouds in the global hydrological cycle. [Location=TROPOSPHERE] [Temporal_Coverage: Start_Date=1983-07-01; Stop_Date=] [Spatial_Coverage: Southernmost_Latitude=-90; Northernmost_Latitude=90; Westernmost_Longitude=-180; Easternmost_Longitude=180] [Data_Resolution: Latitude_Resolution=280 Km; Longitude_Resolution=280 Km; Temporal_Resolution=3 Hourly].

GRID DATA↗

NASA NTRS1995

The circum-Chryse region as a possible example of a hydrologic cycle on Mars: Geologic observations and theoretical evaluation

The transection and superposition relationships among channels, chaos, surface materials units, and other features in the circum-Chryse region of Mars were used to evaluate relative age relationships and evolution of flood events. Channels and chaos in contact (with one another) were treated as single discrete flood-carved systems. Some outflow channel systems form networks and are inferred to have been created by multiple flood events. Within some outflow channel networks, several separate individual channel systems can be traced to a specific chaos which acted as flood-source area to that specific flood channel. Individual flood-carved systems were related to widespread materials units or other surface features that served as stratigraphic horizons. Chryse outflow channels are inferred to have formed over most of the perceivable history of Mars. Outflow channels are inferred to become younger with increasing proximity to the Chryse basin. In addition, outflow channels closer to the basin show a greater diversity in age. The relationship of subsequent outflow channel sources to the sources of earlier floods is inferred to disfavor episodic flooding due to the progressive tapping of a juvenile near-surface water supply. Instead, we propose the circum-Chryse region as a candidate site of past hydrological recycling. The discharge rates necessary to carve the circum-Chryse outflow channels would have inevitably formed temporary standing bodies of H2O on the Martian surface where the flood-waters stagnated and pooled (the Chryse basin is topographically enclosed). These observations and inferences have led us to formulate and evaluate two hypotheses: (1) large amounts of the sublimated H2O off the Chryse basin flood lakes precipitated (snowed) onto the flood-source highlands and this H2O was incorporated into the near surface, recharging the H2O sources, making possible subsequent deluges; and (2) ponded flood-water in Chryse basin drained back down an anti basinward dipping subsurface layer accessed along the southern edge of the lake, recharging the flood-source aquifers. H2O not redeposited in the flood-source region was largely lost to the hydrologic cycle. This loss progressively lowered the vitality of the cycle, probably by now killing it. Our numerical evaluations indicate that of the two hypotheses we formulated, the groundwater seep cycle seems by far the more viable. Optimally, approx. 3/4 of the original mass of an ice-covered cylindrical lake (albedo 0.5, 1 km deep, 100-km radius, draining along its rim for one quarter of its circumference into substrata with a permeability of 3000 darcies) can be modeled to have moved underground (on timescales of the order of 10(exp 3) years) before the competing mechanisms of sublimation and freeze down choked off further water removal. Once underground, this water can travel distances equal to the separation between Chryse basin and flood-source sites in geologically short (approx. 10(exp 6) year-scale) times. Conversely, we calculate that optimally only approx. 40% of the H2O carried from Chryse can condense at the highlands, and most of the precipitate would either collect at the base of the highlands/lowlands scarp or sublimate at rates greater than it would accumulate over the flood-source sites. Further observations from forthcoming missions may permit the determination of which mechanisms may have operated to recycle the Chryse flood-waters.

Moore, Jeffrey M.↗

NASA NTRS1995

The Circum-Chryse Region as a Possible Example of a Hydrologic Cycle on Mars: Geologic Observations and Theoretical Evaluation

The transection and superposition relationships among channels, chaos, surface materials units, and other features in the circum-Chryse region of Mars were used to evaluate relative age relationships and evolution of flood events. Channels and chaos in contact (with one another) were treated as single discrete flood-carved systems. Some outflow channel systems form networks and are inferred to have been created by multiple flood events. Within some outflow channel networks, several separate individual channel systems can be traced to a specific chaos which acted as flood-source area to that specific flood channel. Individual flood-carved systems were related to widespread materials units or other surface features that served as stratigraphic horizons. Chryse outflow channels are inferred to have formed over most of the perceivable history of Mars. Outflow channels are inferred to become younger with increasing proximity to the Chryse basin. In addition, outflow channels closer to the basin show a greater diversity in age. The relationship of subsequent outflow channel sources to the sources of earlier floods is inferred to disfavor episodic flooding due to the progressive tapping of a juvenile near-surface water supply. Instead, we propose the circum-Chryse region as a candidate site of past hydrological recycling. The discharge rates necessary to carve the circum-Chryse outflow channels would have inevitably formed temporary standing bodies of H2O on the Martian surface where the flood-waters stagnated and pooled (the Chryse basin is topographically enclosed). These observations and inferences have led us to formulate and evaluate two hypotheses: (1) large amounts of the sublimated H2O off the Chryse basin flood lakes precipitated (snowed) onto the flood-source highlands and this H2O was incorporated into the near surface, recharging the H2O sources, making possible subsequent deluges; and (2) ponded flood-water in Chryse basin drained back down an anti basinward dipping subsurface layer accessed along the southern edge of the lake, recharging the flood-source aquifers. H2O not redeposited in the flood-source region was largely lost to the hydrologic cycle. This loss progressively lowered the vitality of the cycle, probably by now killing it. Our numerical evaluations indicate that of the two hypotheses we formulated, the groundwater seep cycle seems by far the more viable. Optimally, approximately 3/4 of the original mass of an ice-covered cylindrical lake (albedo 0.5, 1 km deep, 100-km radius, draining along its rim for one quarter of its circumference into substrata with a permeability of 3000 darcies) can be modeled to have moved underground (on timescales of the order of 10(exp 3) years) before the competing mechanisms of sublimation and freeze down choked off further water removal. Once underground, this water can travel distances equal to the separation between Chryse basin and flood-source sites in geologically short (approximately 10(exp 6) year-scale) times. Conversely, we calculate that optimally only approximately 40% of the H2O carried from Chryse can condense at the highlands, and most of the precipitate would either collect at the base of the highlands/lowlands scrap or sublimate at rates greater than it would accumulate over the flood-source sites. Further observations from forthcoming missions may permit the determination of which mechanisms may have operated to recycle the Chryse flood-waters.

Moore, Jeffrey M.↗

NASA NTRS2003

Adaptation of Mesoscale Weather Models to Local Forecasting

Methodologies have been developed for (1) configuring mesoscale numerical weather-prediction models for execution on high-performance computer workstations to make short-range weather forecasts for the vicinity of the Kennedy Space Center (KSC) and the Cape Canaveral Air Force Station (CCAFS) and (2) evaluating the performances of the models as configured. These methodologies have been implemented as part of a continuing effort to improve weather forecasting in support of operations of the U.S. space program. The models, methodologies, and results of the evaluations also have potential value for commercial users who could benefit from tailoring their operations and/or marketing strategies based on accurate predictions of local weather. More specifically, the purpose of developing the methodologies for configuring the models to run on computers at KSC and CCAFS is to provide accurate forecasts of winds, temperature, and such specific thunderstorm-related phenomena as lightning and precipitation. The purpose of developing the evaluation methodologies is to maximize the utility of the models by providing users with assessments of the capabilities and limitations of the models. The models used in this effort thus far include the Mesoscale Atmospheric Simulation System (MASS), the Regional Atmospheric Modeling System (RAMS), and the National Centers for Environmental Prediction Eta Model ( Eta for short). The configuration of the MASS and RAMS is designed to run the models at very high spatial resolution and incorporate local data to resolve fine-scale weather features. Model preprocessors were modified to incorporate surface, ship, buoy, and rawinsonde data as well as data from local wind towers, wind profilers, and conventional or Doppler radars. The overall evaluation of the MASS, Eta, and RAMS was designed to assess the utility of these mesoscale models for satisfying the weather-forecasting needs of the U.S. space program. The evaluation methodology includes objective and subjective verification methodologies. Objective (e.g., statistical) verification of point forecasts is a stringent measure of model performance, but when used alone, it is not usually sufficient for quantifying the value of the overall contribution of the model to the weather-forecasting process. This is especially true for mesoscale models with enhanced spatial and temporal resolution that may be capable of predicting meteorologically consistent, though not necessarily accurate, fine-scale weather phenomena. Therefore, subjective (phenomenological) evaluation, focusing on selected case studies and specific weather features, such as sea breezes and precipitation, has been performed to help quantify the added value that cannot be inferred solely from objective evaluation.

Manobianco, John T.↗

NASA NTRS2008

Automatic Testcase Generation for Flight Software

The TacSat3 project is applying Integrated Systems Health Management (ISHM) technologies to an Air Force spacecraft for operational evaluation in space. The experiment will demonstrate the effectiveness and cost of ISHM and vehicle systems management (VSM) technologies through onboard operation for extended periods. We present two approaches to automatic testcase generation for ISHM: 1) A blackbox approach that views the system as a blackbox, and uses a grammar-based specification of the system's inputs to automatically generate *all* inputs that satisfy the specifications (up to prespecified limits); these inputs are then used to exercise the system. 2) A whitebox approach that performs analysis and testcase generation directly on a representation of the internal behaviour of the system under test. The enabling technologies for both these approaches are model checking and symbolic execution, as implemented in the Ames' Java PathFinder (JPF) tool suite. Model checking is an automated technique for software verification. Unlike simulation and testing which check only some of the system executions and therefore may miss errors, model checking exhaustively explores all possible executions. Symbolic execution evaluates programs with symbolic rather than concrete values and represents variable values as symbolic expressions. We are applying the blackbox approach to generating input scripts for the Spacecraft Command Language (SCL) from Interface and Control Systems. SCL is an embedded interpreter for controlling spacecraft systems. TacSat3 will be using SCL as the controller for its ISHM systems. We translated the SCL grammar into a program that outputs scripts conforming to the grammars. Running JPF on this program generates all legal input scripts up to a prespecified size. Script generation can also be targeted to specific parts of the grammar of interest to the developers. These scripts are then fed to the SCL Executive. ICS's in-house coverage tools will be run to measure code coverage. Because the scripts exercise all parts of the grammar, we expect them to provide high code coverage. This blackbox approach is suitable for systems for which we do not have access to the source code. We are applying whitebox test generation to the Spacecraft Health INference Engine (SHINE) that is part of the ISHM system. In TacSat3, SHINE will execute an on-board knowledge base for fault detection and diagnosis. SHINE converts its knowledge base into optimized C code which runs onboard TacSat3. SHINE can translate its rules into an intermediate representation (Java) suitable for analysis with JPF. JPF will analyze SHINE's Java output using symbolic execution, producing testcases that can provide either complete or directed coverage of the code. Automatically generated test suites can provide full code coverage and be quickly regenerated when code changes. Because our tools analyze executable code, they fully cover the delivered code, not just models of the code. This approach also provides a way to generate tests that exercise specific sections of code under specific preconditions. This capability gives us more focused testing of specific sections of code.

Bushnell, David Henry↗

NASA NTRS2017

Constraints on Mechanisms of Chondrule Formation from Chondrule Precursors and Chronology of Transient Heating Events in the Protoplanetary Disk

The mineralogy, petrography, and oxygen-isotope compositions of porphyritic chondrules—dominant chondrule type in most chondrite groups—suggest formation by incomplete melting of isotopically diverse precursors during localized transient heating events in dust-rich regions of the protoplanetary disk characterized by 16O-poor compositions (D17Odust+gas~ –7‰ to +4‰) relative to the inferred Sun’s value (D17O ~ –28 ± 2‰). The chondrule precursors included Ca,Al-rich inclusions (CAIs), amoeboid olivine aggregates (AOAs), chondrules of earlier generations, fine-grained matrix-like material, and possibly fragments of pre-existing planetesimals. Like porphyritic chondrules, igneous CAIs formed by melting of isotopically diverse precursors during transient heating events, but in an isotopically distinct, solar-like reservoir of the protoplanetary disk (D17O dust + gas ~ –24‰), probably near the proto Sun. Based on a narrow range of the initial 26Al/27Alratios inferred from the internal Al-Mg isochrons in igneous CAIs, their melting started at the very beginning of Solar System formation (t0), defined by the CV CAIs with U-corrected Pb-Pb age of 4567.3 ± 0.16 Ma and the canonical 26Al/27Al ratio of (5.25 ± 0.02) ¥ 10–5, and lasted at least 0.3 Ma. The U-corrected Pb-Pb absolute and 26Al-26Mg relative ages of porphyritic chondrules from type 3 ordinary, CO, CV, and CR carbonaceous chondrites (assuming uniform distribution of 26Al in the disk at the canonical level) suggest chondrule formation started at t0 and lasted for about 4 Ma. These observations may preclude formation of the majority of porphyritic chondrules by splashing of differentiated planetesimals and by collisions between planetesimals; instead, they are consistent with melting of dust balls by bow shocks or magnetized turbulence in the disk. Some porphyritic chondrules in equilibrated (petrologic type 4–6) ordinary chondrites contain relict fragments of coarse-grained chromite, ilmenite, phosphates, and albitic plagioclase. The similar mineral assemblage is commonly observed in type 4–6 ordinary chondrites, but is absent in type 3 chondrites, suggesting these chondrules formed by incomplete melting of thermally metamorphosed ordinary chondrite material, possibly by impacts. The CB metal-rich carbonaceous chondrites contain exclusively magnesian non-porphyritic chondrules crystallized from complete melts. These chondrules formed in a gas-melt plume generated by a hypervelocity (≥20 km/s) collision between planetesimals ~4.8 Ma after t0 in a transition or a debris disk. One of the colliding bodies was probably differentiated. The CH metal-rich carbonaceous chondrites contain chondrules formed by different mechanisms. The magnesian non-porphyritic chondrules formed in the CB impact plume ~4.8 Ma after t0. The chemically diverse (magnesian, ferroan, and Al-rich) porphyritic chondrules formed by incomplete melting of isotopically diverse precursors in the protoplanetary disk, most likely prior the CB impact plume event. We conclude that there are multiple mechanisms of chondrule formation that operated over the entire life-time of the disk.

Chondrules↗

NASA NTRS2001

Onset of the Magnetic Explosion in Solar Flames and Coronal Mass Ejections

We present observations of the magnetic field configuration and its transformation in six solar eruptive events that show good agreement with the standard bipolar model for eruptive flares. The observations are X-ray images from the Yohkoh soft X-ray telescope (SXT) and magnetograms from Kitt Peak National Solar Observatory, interpreted together with the 1-8 Angstrom X-ray flux observed by Geostationary Operational Environmental Satellites (GOES). The observations yield the following interpretations: (1) Each event is a magnetic explosion that occurs in an initially closed single bipole in which the core field is sheared and twisted in the shape of a sigmoid, having an oppositely curved elbow on each end. The arms of the opposite elbows are sheared past each other so that they overlap and are crossed low above the neutral line in the middle of the bipole. The elbows and arms seen in the SXT images are illuminated strands of the sigmoidal core field, which is a continuum of sheared/twisted field that fills these strands as well as the space between and around them; (2) Although four of the explosions are ejective (appearing to blow open the bipole) and two are confined (appearing to be arrested within the closed bipole), all six begin the same way. In the SXT images, the explosion begins with brightening and expansion of the two elbows together with the appearance of short bright sheared loops low over the neutral line under the crossed arms and, rising up from the crossed arms, long strands connecting the far ends of the elbows; and (3) All six events are single-bipole events in that during the onset and early development of the explosion they show no evidence for reconnection between the exploding bipole and any surrounding magnetic fields. We conclude that in each of our events the magnetic explosion was unleashed by runaway tether-cutting via implosive/explosive reconnection in the middle of the sigmoid, as in the standard model. The similarity of the onsets of the two confined explosions to the onsets of the four ejective explosions and their agreement with the model indicate that runaway reconnection inside a sheared core field can begin whether or not a separate system of overlying fields, or the structure of the bipole itself, allows the explosion to be ejective. Because this internal reconnection apparently begins at the very start of the sigmoid eruption and grows in step with the explosion, we infer that this reconnection is essential for the onset and growth of the magnetic explosion in eruptive flares and coronal mass ejections.

Moore, Ronald L.↗

NASA NTRSDate not supplied

Pre-Launch Performance Trending of Joint Polar Satellite System (JPSS) Advanced Technology Microwave Sounder (ATMS)

The Advanced Technology Microwave Sounder (ATMS) microwave radiometer instrument is utilized on-board NOAA’s Joint Polar Satellite System (JPSS) fleet of spacecraft to perform temperature and water vapor soundings of Earth’s atmosphere. Consisting of 22 channels over a frequency range from 22 to 183 GHz, ATMS provides high-impact observations for numerical weather prediction (NWP) models. A general description of the ATMS instrument is discussed in [1]. There are five ATMS flight units in the polar-orbiting JPSS program; three are currently on-orbit and two are pending launch. The first ATMS was flown on the Suomi National Polar-orbiting Partnership (SNPP) satellite, launched in 2011. The second ATMS was launched on the NOAA-20 (previously JPSS-1) satellite in 2017. The third ATMS was launched on the NOAA-21 (previously JPSS-2) satellite in 2022. The SNPP and NOAA-20 ATMS units are operational. The NOAA-21 ATMS unit is completing on-orbit commissioning and checkout, having achieved provisional maturity status in December 2022 with validated maturity expected in May 2023 [2]. The fourth and fifth ATMS units are planned for the JPSS-3 (launch ~2028) and JPSS-4 (launch ~2032) satellites [3]. This paper will focus on trending performance characteristics of each JPSS ATMS build from the pre-launch activities. Pre-launch trending of some parameters have been previously published up to the JPSS-3 mission [4][5]. This paper differs from and expands the scope of the prior work as it will include all five of the JPSS ATMS builds. The entire suite of JPSS ATMS units have completed their pre-ship instrument-level I&T and verification activities. These activities include a radiometric performance characterization of each instrument. In addition to comparing the performance across builds, the performance will also be compared to requirements and specifications where applicable. The on-orbit performance of the launched units will be excluded from the scope of this paper in order to focus on evaluations that are common across all builds. The post-launch performance of SNPP ATMS is detailed in [1][6][7][8]. The post-launch performance of NOAA-20 ATMS is detailed in [6][8][9]. The pre-launch characterization of the ATMS occurs at both subassembly-level and instrument-level testing. The antenna subsystem is tested at Northrop Grumman’s Compact Antenna Test Range (CATR) in Azusa, CA [9]. This testing characterizes the antenna pattern and the pointing performance of the scan drive mechanism and antenna subsystem. Trended parameters from this evaluation will include beam pointing accuracy, beamwidth, and beam efficiency. These parameters are captured in each instrument’s Calibration Data Book [10]. Instrument-level radiometric performance evaluation is primarily done during thermal vacuum (TVAC) calibration testing at Northrop Grumman’s Azusa, CA facility [9]. A general description of the calibration activities is presented in [1][9]. The testing involves inferring a scene target brightness temperature (TB) and comparing it to the actual scene TB while the instrument is at flight-like temperature and pressure environmental conditions. Trended parameters from this activity will include Noise Equivalent Delta Temperature (NEDT), nonlinearity, radiometric accuracy, gain stability, striping, and inter-channel noise correlation. The trending evaluation will allow for a direct comparison of the ATMS performance across builds. The paper will highlight observed performance improvements.

Edward J Kim↗

NASA NTRS2004

Airplane Ice Detector Based on a Microwave Transmission Line

An electronic instrument that could detect the potentially dangerous buildup of ice on an airplane wing is undergoing development. The instrument is based on a microwave transmission line configured as a capacitance probe: at selected spots, the transmission-line conductors are partly exposed to allow any ice and/or liquid water present at those spots to act as predominantly capacitive electrical loads on the transmission line. These loads change the input impedance of the transmission line, as measured at a suitable excitation frequency. Thus, it should be possible to infer the presence of ice and/or liquid water from measurements of the input impedance and/or electrical parameters related to the input impedance. The sensory transmission line is of the microstrip type and thus thin enough to be placed on an airplane wing without unduly disturbing airflow in flight. The sensory spots are small areas from which the upper layer of the microstrip has been removed to allow any liquid water or ice on the surface to reach the transmission line. The sensory spots are spaced at nominal open-circuit points, which are at intervals of a half wavelength (in the transmission line, not in air) at the excitation frequency. The excitation frequency used in the experiments has been 1 GHz, for which a half wavelength in the transmission line is .4 in. (.10 cm). The figure depicts a laboratory prototype of the instrument. The impedance-related quantities chosen for use in this version of the instrument are the magnitude and phase of the scattering parameter S11 as manifested in the in-phase (I ) and quadrature (Q) outputs of the phase detector. By careful layout of the transmission line (including the half-wavelength sensor spacing), one can ensure that the amplitude and phase of the input to the phase detector keep shifting in the same direction as ice forms on one or more of the sensor areas. Although only one transmission-line sensor strip is used in the laboratory version, in a practical application, it could be desirable to install multiple strips on different areas to detect localized icing. In that case, a multiplexer should be used to connect the various strips to the phase detector for sequential measurements. Experiments have been performed with freezing and thawing of water and of water/glycol mixtures. The experiments have shown that, whether or not glycol is present, it is possible to distinguish between liquid water and ice via the I and Q outputs; in particular, the equipment can be adjusted so that when water freezes, I decreases and Q increases. With respect to the operation of this instrument, the main effect of glycol is to increase the freezing or thawing time.

Ngo, Phong↗