Results for “system level modeling” — Page 33

NASA NTRS1987

Hierarchical control of intelligent machines applied to space station telerobots

A hierarchical architecture is described which supports space station telerobots in a variety of modes. The system is divided into three hierarchies: task decomposition, world model, and sensory processing. Goals at each level of the task decomposition hierarchy are divided both spatially and temporally into simpler commands for the next lower level. This decomposition is repeated until, at the lowest level, the drive signals to the robot actuators are generated. To accomplish its goals, task decomposition modules must often use information stored in the world model. The purpose of the sensory system is to update the world model as rapidly as possible to keep the model in registration with the physical world. The architecture of the entire control system hierarchy and how it can be applied to space telerobot applications are discussed.

Albus, J. S.↗

NASA NTRS1999

On Orbit Measurement of Response vs. Scan Angle for the Infrared Bands on TRMM/VIRS

The Visible and Infrared Scanner on the Tropical Rainfall Measuring Mission (TRMM/VIRS) is a whiskbroom imaging radiometer with two reflected solar bands and three emissive infrared bands. All five detectors are on a single cooled focal plane. This configuration necessitated the use of a paddlewheel scan mirror to avoid the effects of focal plane rotation that arise when using a scan mirror that is inclined to its axis of rotation. System radiometric requirements led to the need for protected silver as the mirror surface. Unfortunately, the SiO(x) coatings currently used to protect silver from oxidation introduce a change in reflectance with angle of incidence (AOI). This AOI dependence results in a modulation of system level response with scan angle. Measurement of system response vs. scan angle (RVS) was not difficult for the VIRS reflected solar bands, but attaining the required accuracy for the IR bands in the laboratory was not possible without a large vacuum chamber and a considerable amount of custom designed testing apparatus. Therefore, the decision was made to conduct the measurement on-orbit. On three separate occasions, the TRMM spacecraft was rotated about its pitch axis and, after the nadir view passed over the Earth's limb, the VIRS performed several thousand scans while viewing deep space. The resulting data has been analyzed and the RVS curves generated for the three IR bands are being used in the VIRS radiometric calibration algorithm. This, to our knowledge, the first time this measurement has been made on-orbit. Similar measurements are planned for the EOS-AM and EOS-PM MODIS sensors and are being considered for several systems under development. The VIRS on-orbit results will be compared to VIRS and MODIS system level laboratory measurements, MODIS scan mirror witness sample measurements and modeled data.

Barnes, William L.↗

NASA NTRS2002

Liquid Engine Test Facilities Assessment

The John C. Stennis Space Center (SSC) requested The Aerospace Corporation to examine the current testing capability of all existing large liquid engine test facilities located in the United States. That information along with projected liquid rocket engine development was used to examine future liquid rocket engine testing facilities needs in the coming decade. Current domestic liquid engine test facilities capabilities, when examined against engine concepts for the coming decade, indicate there are ample facilities offering altitude simulation during test. In addition, it was observed that many contractor facilities have limited ambient test capability of larger thrust engines under current consideration. Finally, it was concluded that diminished contractor participation engine development testing will drive this activity to the government sector. Only three facilities are seen as key contributors to engine testing in the coming decade, namely John C. Stennis Space Center (SSC), Marshall Space Flight Center (MSFC), and Air Force Research Laboratory (AFRL). Past rocket engine test experience was evaluated as a possible resource for projecting future engine test needs. A database comprised of various engine models and the level of testing performed to flight qualify those systems for their first flight was constructed. For comparison purposes in this study, development and qualification efforts were totaled and treated as one test program. Based on experience with past Air Force programs, the time on the test stand accounts for typically 50% or more of the total program time. Historical data show that the time to design and develop new engines has increased over the last 40 years, most likely due to scarcer resources in today's funding environment.

Adams, Michael J.↗

NASA NTRS2004

Secure, Mobile, Wireless Network Technology Designed, Developed, and Demonstrated

The inability to seamlessly disseminate data securely over a high-integrity, wireless broadband network has been identified as a primary technical barrier to providing an order-of-magnitude increase in aviation capacity and safety. Secure, autonomous communications to and from aircraft will enable advanced, automated, data-intensive air traffic management concepts, increase National Air Space (NAS) capacity, and potentially reduce the overall cost of air travel operations. For the first time ever, secure, mobile, network technology was designed, developed, and demonstrated with state-ofthe- art protocols and applications by a diverse, cooperative Government-industry team led by the NASA Glenn Research Center. This revolutionary technology solution will make fundamentally new airplane system capabilities possible by enabling secure, seamless network connections from platforms in motion (e.g., cars, ships, aircraft, and satellites) to existing terrestrial systems without the need for manual reconfiguration. Called Mobile Router, the new technology autonomously connects and configures networks as they traverse from one operating theater to another. The Mobile Router demonstration aboard the Neah Bay, a U.S. Coast Guard vessel stationed in Cleveland, Ohio, accomplished secure, seamless interoperability of mobile network systems across multiple domains without manual system reconfiguration. The Neah Bay was chosen because of its low cost and communications mission similarity to low-Earth-orbiting satellite platforms. This technology was successfully advanced from technology readiness level (TRL) 2 (concept and/or application formation) to TRL 6 (system model or prototype demonstration in a relevant environment). The secure, seamless interoperability offered by the Mobile Router and encryption device will enable several new, vehicle-specific and systemwide technologies to perform such things as remote, autonomous aircraft performance monitoring and early detection and mitigation of potential equipment malfunctions. As an additional benefit, team advancements were incorporated into open standards, ensuring technology transfer. Low-cost, commercial products incorporating the new technology are already available. Furthermore, these products are fully interoperable with legacy network technology equipment currently being used throughout the world.

Ivancic, William D.↗

NASA NTRS2008

The NASA Evolutionary Xenon Thruster (NEXT): NASA's Next Step for U.S. Deep Space Propulsion

NASA s Evolutionary Xenon Thruster (NEXT) project is developing next generation ion propulsion technologies to enhance the performance and lower the costs of future NASA space science missions. This is being accomplished by producing Engineering Model (EM) and Prototype Model (PM) components, validating these via qualification-level and integrated system testing, and preparing the transition of NEXT technologies to flight system development. The project is currently completing one of the final milestones of the effort, that is operation of an integrated NEXT Ion Propulsion System (IPS) in a simulated space environment. This test will advance the NEXT system to a NASA Technology Readiness Level (TRL) of 6 (i.e., operation of a prototypical system in a representative environment), and will confirm its readiness for flight. Besides its promise for upcoming NASA science missions, NEXT may have excellent potential for future commercial and international spacecraft applications.

Schmidt, George R.↗

NASA NTRS2014

Mars Global Reference Atmospheric Model 2010 Version: Users Guide

This Technical Memorandum (TM) presents the Mars Global Reference Atmospheric Model 2010 (Mars-GRAM 2010) and its new features. Mars-GRAM is an engineering-level atmospheric model widely used for diverse mission applications. Applications include systems design, performance analysis, and operations planning for aerobraking, entry, descent and landing, and aerocapture. Additionally, this TM includes instructions on obtaining the Mars-GRAM source code and data files as well as running Mars-GRAM. It also contains sample Mars-GRAM input and output files and an example of how to incorporate Mars-GRAM as an atmospheric subroutine in a trajectory code.

Justh, H. L.↗

NASA NTRS2014

Recent Development Activities and Future Mission Applications of NASA's Evolutionary Xenon Thruster (NEXT)

NASAs Evolutionary Xenon Thruster (NEXT) project is developing next generation ion propulsion technologies to enhance the performance and lower the costs of future NASA space science missions. This is being accomplished by producing Engineering Model (EM) and Prototype Model (PM) components, validating these via qualification-level and integrated system testing, and preparing the transition of NEXT technologies to flight system development. This presentation is a follow-up to the NEXT project overviews presented in 2009-2010. It reviews the status of the NEXT project, presents the current system performance characteristics, and describes planned activities in continuing the transition of NEXT technology to a first flight. In 2013 a voluntary decision was made to terminate the long duration test of the NEXT thruster, given the thruster design has exceeded all expectations by accumulating over 50,000 hours of operation to demonstrate around 900 kg of xenon throughput. Besides its promise for upcoming NASA science missions, NEXT has excellent potential for future commercial and international spacecraft applications.

Electric propulsion↗

NASA NTRS2015

Results from Three Years of Ka-band Propagation Characterization at Svalbard, Norway

Over the next several years, NASA plans to launch several earth science missions which are expected to achieve data throughputs of 5-40 terabits per day transmitted from low earth orbiting spacecraft to ground stations. The current S-band and X-band frequency allocations in use by NASA, however, are incapable of supporting the data rates required to meet this demand. As such, NASA is in the planning stages to upgrade its existing Near Earth Network (NEN) polar ground stations to support Ka-band (25.5-27 GHz) operations. Consequently, it installed and operated a Ka-band radiometer at the Svalbard site. Svalbard was chosen as the appropriate site for two primary reasons: (1) Svalbard will be the first site to be upgraded to Ka-band operations within the NEN Polar Network enhancement plan, and (2) there exists a complete lack of Ka-band propagation data at this site (as opposed to the Fairbanks, AK NEN site, which has 5 years of characterization collected during the Advanced Communications Technology becomes imperative that characterization of propagation effects at these NEN sites is conducted to determine expected system Satellite (ACTS) campaign). processing and provide the Herein, we discuss the data three-year measurement results performance, particularly at low elevation angles ((is) less than 10 deg) from the ongoing Ka-band propagation characterization where spacecraft signal acquisition typically occurs. Since May 2011, NASA Glenn Research Center has installed and operated a Ka-band radiometer at the NEN site located in Svalbard, Norway. The Ka-band radiometer monitors the water vapor line, as well as 4 frequencies around 26.5 GHz at a fixed 10 deg elevation angle. Three-year data collection results indicate good campaign at Svalbard, Norway. Comparison of these results with the ITU models and existing ERA profile data indicates very good agreement when the 2010 rain maps and cloud statistics are used. Finally, the Svalbard data is used to derive the expected atmospheric margin requirements for this site agreement with models and comparable performance to necessary to maintain total system availability levels for the previously characterized northern latitude sites in the United States, i.e., Fairbanks, Alaska. The Svalbard data is used to upcoming Joint Polar Satellite System (JPSS) launch in the derive availability results for an upcoming earth-observation 2017/2022 timeframes. mission, JPSS-1, and indicate a requirement of 4 dB of atmospheric attenuation margin necessary to close the link with 99% overall system availability for the expected LEO orbital cycle, as observed from the Svalbard location.

Ka-band↗

NASA NTRS2015

Results from Three Years of Ka-Band Propagation Characterization at Svalbard, Norway

Over the next several years, NASA plans to launch several earth science missions which are expected to achieve data throughputs of 5-40 terabits per day transmitted from low earth orbiting spacecraft to ground stations. The current S-band and X-band frequency allocations in use by NASA, however, are incapable of supporting the data rates required to meet this demand. As such, NASA is in the planning stages to upgrade its existing Near Earth Network (NEN) polar ground stations to support Ka-band (25.5-27 GHz) operations. Consequently, it installed and operated a Ka-band radiometer at the Svalbard site. Svalbard was chosen as the appropriate site for two primary reasons: (1) Svalbard will be the first site to be upgraded to Ka-band operations within the NEN Polar Network enhancement plan, and (2) there exists a complete lack of Ka-band propagation data at this site (as opposed to the Fairbanks, AK NEN site, which has 5 years of characterization collected during the Advanced Communications Technology becomes imperative that characterization of propagation effects at these NEN sites is conducted to determine expected system Satellite (ACTS) campaign). processing and provide the Herein, we discuss the data three-year measurement results performance, particularly at low elevation angles ((is) less than 10 deg) from the ongoing Ka-band propagation characterization where spacecraft signal acquisition typically occurs. Since May 2011, NASA Glenn Research Center has installed and operated a Ka-band radiometer at the NEN site located in Svalbard, Norway. The Ka-band radiometer monitors the water vapor line, as well as 4 frequencies around 26.5 GHz at a fixed 10 deg elevation angle. Three-year data collection results indicate good campaign at Svalbard, Norway. Comparison of these results with the ITU models and existing ERA profile data indicates very good agreement when the 2010 rain maps and cloud statistics are used. Finally, the Svalbard data is used to derive the expected atmospheric margin requirements for this site agreement with models and comparable performance to necessary to maintain total system availability levels for the previously characterized northern latitude sites in the United States, i.e., Fairbanks, Alaska. The Svalbard data is used to upcoming Joint Polar Satellite System (JPSS) launch in the derive availability results for an upcoming earth-observation 2017/2022 timeframes. mission, JPSS-1, and indicate a requirement of 4 dB of atmospheric attenuation margin necessary to close the link with 99% overall system availability for the expected LEO orbital cycle, as observed from the Svalbard location.

near earth network↗

NASA NTRS2018

Magnetosphere Dynamics During the 14 November 2012 Storm Inferred from TWINS, AMPERE, Van Allen Probes, and BATS-R-US-CRCM

During the 14 November 2012 geomagnetic storm, the Van Allen Probes spacecraft observed a number of sharp decreases ('dropouts') in particle fluxes for ions and electrons of different energies. In this paper, we investigate the global magnetosphere dynamics and magnetosphere- ionosphere (M-I) coupling during the dropout events using multipoint measurements by Van Allen Probes, TWINS, and AMPERE together with the output of the two-way coupled global BATS-R-US-CRCM model. We find different behavior for two pairs of dropouts. For one pair, the same pattern was repeated: (1) weak nightside Region 1 and 2 Birkeland currents before and during the dropout; (2) intensification of Region 2 currents after the dropout; and (3) a particle injection detected by TWINS after the dropout. The model predicted similar behavior of Birkeland currents. TWINS low-altitude emissions demonstrated high variability during these intervals, indicating high geomagnetic activity in the near-Earth tail region. For the second pair of dropouts, the structure of both Birkeland currents and ENA emissions was relatively stable. The model also showed quasi-stationary behavior of Birkeland currents and simulated ENA emissions with gradual ring current buildup. We confirm that the first pair of dropouts was caused by large-scale motions of the OCB (open-closed boundary) during substorm activity. We show the new result that this OCB motion was associated with global changes in Birkeland (M-I coupling) currents and strong modulation of low-altitude ion precipitation. The second pair of dropouts is the result of smaller OCB disturbances not related to magnetospheric substorms. The local observations of the first pair of dropouts result from a global magnetospheric reconfiguration, which is manifested by ion injections and enhanced ion precipitation detected by TWINS and changes in the structure of Birkeland currents detected by AMPERE. This study demonstrates that multipoint measurements along with the global model results enable the reconstruction of a more complete system-level picture of the dropout events and provides insight into M-I coupling aspects that have not previously been investigated.

Buzulukova, Natalia↗

NASA NTRSDate not supplied

Overview of NASA's Ocean Color Instrument Solar Calibration Architecture, Pre-Launch Tests and Preliminary On-Orbit Results

Launched in February 2024, the PACE mission represents NASA’s next investment in ocean biology, clouds, and aerosol data records. A key feature of PACE is the inclusion of an advanced satellite radiometer known as the Ocean Color Instrument (OCI), a global mapping radiometer that combines multispectral and hyperspectral remote sensing. Like its predecessors, OCI will provide two day global coverage of TOA radiances. Unlike its predecessors, OCI will cover a spectral range from 340nm to 2260nm. Below 900nm, OCI will include two spectrometers that continuously span the ultraviolet to 600nm and 600nm to near-infrared spectral regions to provide hyperspectral radiances sampled every 2.5 nm, with a bandwidth of 5 nm for each channel. Wavelengths above 900nm are measured in seven discrete multispectral bands of varying bandwidths, six of which are at similar wavelengths to those on heritage missions to support both atmospheric and ocean color applications. Nominal spatial resolution is similar to the SeaWiFS instrument with 1050 m at nadir. As for SeaWiFS, the pixel size increases due to a ~20 degree tilt and as a function of scan angle. Variations in the radiometric sensitivity of each OCI channel over time will be monitored by solar diffuser measurements for short term instrument gain adjustments and independent lunar measurements for trend adjustments of long time periods, similar to the approach employed for the VIIRS instrument [4]. The OCI flight-unit was built at NASA’s Goddard Space Flight Center. At the time of this writing, OCI has completed on-orbit commissioning activities and normal science operations have begun. A key aspect of the OCI architecture is the capability to trend absolute and relative calibration changes over the course of mission life with solar calibration. Every 24 hours, the PACE spacecraft performs an inertial hold as the ground track nears the North Pole which orients a Quasi-Volume Diffuser (QVD) mounted on OCI towards the sun. By knowing the irradiance of the sun and the reflectivity of the target, the absolute radiance at the input to the OCI aperture can be computed as OCI scans the target. The allowable absolute uncertainty budget for each solar calibration measurement is 1.6% 1-sigma below 900nm at beginning of life (BOL) and the allowable relative uncertainty budget is ~0.26% 1-sigma. The Solar Calibration Assembly (SCA) consists of three targets selectable via a single mechanism which also opens a door. The targets consist of a Daily Bright Target (DBT), Monthly Bright Target (MBT), and Daily Dim Target (DDT). The bright targets are quartz QVDs with the monthly target being used to track the degradation of the daily target. The dim target is used to track CCD linearity using Progressive Time-Delay Integration (PTDI). A composite baffle is attached to the SCA housing aperture to block Earth shine and stray light from the spacecraft. The SCA assembly is mounted to a view port ~90° from OCI nadir. This paper provides an overview of driving solar calibration requirements, error-budgets and early trade studies which drove the solar calibration assembly (SCA) architecture and on-orbit maneuver. Measurements of the diffuser Bidirectional Reflectance Distribution Function (BRDF) at TNO, Netherlands and GSFC are briefly described. Optical modelling and test results at the sub-system and instrument level are included. Finally, preliminary measurements on-orbit are compared to pre-launch predictions.

Joseph J Knuble↗

NASA NTRSDate not supplied

Overview of NASA's Ocean Color Instrument Solar Calibration Architecture, Pre-Launch Tests and Preliminary On-Orbit Results

Launched in February 2024, the PACE mission represents NASA’s next investment in ocean biology, clouds, and aerosol data records. A key feature of PACE is the inclusion of an advanced satellite radiometer known as the Ocean Color Instrument (OCI), a global mapping radiometer that combines multispectral and hyperspectral remote sensing. Like its predecessors, OCI will provide two day global coverage of TOA radiances. Unlike its predecessors, OCI will cover a spectral range from 340nm to 2260nm. Below 900nm, OCI will include two spectrometers that continuously span the ultraviolet to 600nm and 600nm to near-infrared spectral regions to provide hyperspectral radiances sampled every 2.5 nm, with a bandwidth of 5 nm for each channel. Wavelengths above 900nm are measured in seven discrete multispectral bands of varying bandwidths, six of which are at similar wavelengths to those on heritage missions to support both atmospheric and ocean color applications. Nominal spatial resolution is similar to the SeaWiFS instrument with 1050 m at nadir. As for SeaWiFS, the pixel size increases due to a ~20 degree tilt and as a function of scan angle. Variations in the radiometric sensitivity of each OCI channel over time will be monitored by solar diffuser measurements for short term instrument gain adjustments and independent lunar measurements for trend adjustments of long time periods, similar to the approach employed for the VIIRS instrument [4]. The OCI flight-unit was built at NASA’s Goddard Space Flight Center. At the time of this writing, OCI has completed on-orbit commissioning activities and normal science operations have begun. A key aspect of the OCI architecture is the capability to trend absolute and relative calibration changes over the course of mission life with solar calibration. Every 24 hours, the PACE spacecraft performs an inertial hold as the ground track nears the North Pole which orients a Quasi-Volume Diffuser (QVD) mounted on OCI towards the sun. By knowing the irradiance of the sun and the reflectivity of the target, the absolute radiance at the input to the OCI aperture can be computed as OCI scans the target. The allowable absolute uncertainty budget for each solar calibration measurement is 1.6% 1-sigma below 900nm at beginning of life (BOL) and the allowable relative uncertainty budget is ~0.26% 1-sigma. The Solar Calibration Assembly (SCA) consists of three targets selectable via a single mechanism which also opens a door. The targets consist of a Daily Bright Target (DBT), Monthly Bright Target (MBT), and Daily Dim Target (DDT). The bright targets are quartz QVDs with the monthly target being used to track the degradation of the daily target. The dim target is used to track CCD linearity using Progressive Time-Delay Integration (PTDI). A composite baffle is attached to the SCA housing aperture to block Earth shine and stray light from the spacecraft. The SCA assembly is mounted to a view port ~90° from OCI nadir. This paper provides an overview of driving solar calibration requirements, error-budgets and early trade studies which drove the solar calibration assembly (SCA) architecture and on-orbit maneuver. Measurements of the diffuser Bidirectional Reflectance Distribution Function (BRDF) at TNO, Netherlands and GSFC are briefly described. Optical modelling and test results at the sub-system and instrument level are included. Finally, preliminary measurements on-orbit are compared to pre-launch predictions.

ocean color↗

NASA NTRS1992

SSME improved characterization using highly instrumented engine test data

This paper discusses the analysis of Space Shuttle Main Engine (SSME) 3001 test data and its applications to steady-state models. Engine 3001 is a highly instrumented Phase II (current configuration) SSME that was tested at the Technology Test Bed facility located at Marshall Space Flight Center. A test series covering a carefully selected range of operating conditions was performed during 1991. An analysis of pressure, temperature and flowrate data was performed to evaluate the ability of steady-state models to accurately characterize the internal system of an SSME. Much of the special instrumentation was used to acquire data never before measured at the engine level prior to Engine 3001 testing. The analysis revealed that modifications are needed to improve model calculations of internal Hydrogen and Oxygen flows. Modifying steady-state models to more accurately simulate the internal flow system of an SSME should improve both engine performance evaluations and prediction capabilities.

Piekarski, Brian↗

NASA NTRS2018

Simulations of a Full-Scale Aircraft with Installed Airframe Noise Reduction Technologies

Computational results are presented for a high-fidelity, full-scale, full-span Gulfstream G-III aircraft model equipped with flap and main landing gear (MLG) noise reduction technologies. The simulations, which were conducted in support of a NASA airframe noise flight test campaign of the same technologies, use the lattice Boltzmann solver PowerFLOW® to capture time-accurate flow data with sound propagation to the far field accomplished using a Ffowcs-Williams and Hawkings (FWH) acoustic analogy approach. The aerodynamic and aeroacoustic behavior of the aircraft were investigated in the approach configuration with combinations of flap and landing gear deployments. The simulated flap concept is an Adaptive Compliant Trailing Edge (ACTE) flap that replaces the Fowler flap system on the G-III aircraft. The simulated MLG noise reduction concept is comprised of porous fairings and a collection of other smaller fairings fitted around the flow-facing components. Using the Fowler flap results as a reference, comparisons are presented on the noise reduction effectiveness of the ACTE flap system. Investigations were made on the effects of using the porous fairings and ACTE flap as noise reduction concepts in tandem. The ACTE flap was found to reduce the total airframe noise level at all flap deflection angles when compared to the Fowler flap equipped model. As anticipated, a reduction in aerodynamic performance was also found when the ACTE flap system was used. The MLG fairings were shown to further reduce the total airframe noise level of the G-III.

Ferris, Ryan J.↗

NASA NTRS1993

Space Generic Open Avionics Architecture (SGOAA) reference model technical guide

This report presents a full description of the Space Generic Open Avionics Architecture (SGOAA). The SGOAA consists of a generic system architecture for the entities in spacecraft avionics, a generic processing architecture, and a six class model of interfaces in a hardware/software system. The purpose of the SGOAA is to provide an umbrella set of requirements for applying the generic architecture interface model to the design of specific avionics hardware/software systems. The SGOAA defines a generic set of system interface points to facilitate identification of critical interfaces and establishes the requirements for applying appropriate low level detailed implementation standards to those interface points. The generic core avionics system and processing architecture models provided herein are robustly tailorable to specific system applications and provide a platform upon which the interface model is to be applied.

Wray, Richard B.↗

NASA NTRS1997

On the Directional Dependence and Null Space Freedom in Uncertainty Bound Identification

In previous work, the determination of uncertainty models via minimum norm model validation is based on a single set of input and output measurement data. Since uncertainty bounds at each frequency is directionally dependent for multivariable systems, this will lead to optimistic uncertainty levels. In addition, the design freedom in the uncertainty model has not been utilized to further reduce uncertainty levels. The above issues are addressed by formulating a min- max problem. An analytical solution to the min-max problem is given to within a generalized eigenvalue problem, thus avoiding a direct numerical approach. This result will lead to less conservative and more realistic uncertainty models for use in robust control.

Lim, K. B.↗

NASA NTRS1992

HDL to verification logic translator

The increasingly higher number of transistors possible in VLSI circuits compounds the difficulty in insuring correct designs. As the number of possible test cases required to exhaustively simulate a circuit design explodes, a better method is required to confirm the absence of design faults. Formal verification methods provide a way to prove, using logic, that a circuit structure correctly implements its specification. Before verification is accepted by VLSI design engineers, the stand alone verification tools that are in use in the research community must be integrated with the CAD tools used by the designers. One problem facing the acceptance of formal verification into circuit design methodology is that the structural circuit descriptions used by the designers are not appropriate for verification work and those required for verification lack some of the features needed for design. We offer a solution to this dilemma: an automatic translation from the designers' HDL models into definitions for the higher-ordered logic (HOL) verification system. The translated definitions become the low level basis of circuit verification which in turn increases the designer's confidence in the correctness of higher level behavioral models.

Gambles, J. W.↗

NASA NTRS2018

Working Fluid Trade Study for a Two-Phase Mechanically Pumped Loop Thermal Control System

NASA Jet Propulsion Laboratory is investigating a two-phase mechanically pumped fluid loop (MPFL) technology for spacecraft thermal control for future planetary space science mission concepts. The two-phase technology combines the potential of single-phase MPFL and the passive two-phase heat pipe systems. Previous two-phase MPFL studies at JPL have identified an evaporator system with a separated flow architecture as providing a robust light mass thermal control system with very high spatial and temporal thermal stability required by the science instruments on these missions. These studies have further identified the thermophysical properties of the working fluid to be key to the performance of a two-phase fluid loop. This paper describes the methodology used in the selection of the working fluids for optimizing the performance of the two-phase MPFL. A high level model was developed that includes the constraints and boundaries driven by the system components. The performance of fluids from the REFPROP database are investigated and rated for this system. The working fluid attributes such as cost, hazardous properties, and heritage were taken into account in this selection. A typical spacecraft dissipating 1000 W and a fluid loop consisting of an evaporator, accumulator, radiator, and associated tubing components is used as an example in this study.

Daimaru, Takuro↗