Search NASA⌕ Search

SEARCH · Search NASA

Results for “COUPLING NETWORK”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 361 records · Page 20

Non-Lipschitzian neural dynamics

A novel approach is presented which is motivated by an attempt to remove one of the most fundamental limitations of artificial neural networks: their rigid behavior as compared with even the simplest biological systems. It is demonstrated that non-Lipschitzian dynamics, based on the faliure of the Lipschitz conditions at repellers, displays a new qualitative effect, i.e., a multichoice response to periodic external excitations. This makes it possible to construct unpredictable systems, represented in the form of coupled activation and learning dynamical equations. It is shown that unpredictable systems can be controlled by sign strings which uniquely define the system behavior by specifying the direction of the motions at the critical points. Unpredictable systems driven by sign strings are extremely flexible and can serve as a powerful tool for complex pattern recognition.

Barhen, Jacob↗

A Summary of the NASA Lightning Nitrogen Oxides Model (LNOM) and Recent Results

The NASA Marshall Space Flight Center introduced the Lightning Nitrogen Oxides Model (LNOM) a couple of years ago to combine routine state-of-the-art measurements of lightning with empirical laboratory results of lightning NOx production. The routine measurements included VHF lightning source data [such as from the North Alabama Lightning Mapping Array (LMA)], and ground flash location, peak current, and stroke multiplicity data from the National Lightning Detection Network(TradeMark) (NLDN). Following these initial runs of LNOM, the model was updated to include several non-return stroke lightning NOx production mechanisms, and provided the impact of lightning NOx on an August 2006 run of CMAQ. In this study, we review the evolution of the LNOM in greater detail and discuss the model?s latest upgrades and applications. Whereas previous applications were limited to five summer months of data for North Alabama thunderstorms, the most recent LNOM analyses cover several years. The latest statistics of ground and cloud flash NOx production are provided.

Koshak, William↗

Modeling and Evaluation of the Global Sea-Salt Aerosol Distribution: Sensitivity to Emission Schemes and Resolution Effects at Coastal/Orographic Sites

One of the major sources of uncertainty in model estimates of the global sea-salt aerosol distribution is the emission parameterization. We evaluate a new sea-salt aerosol life cycle module coupled to the online multi-scale chemical transport model NMMB/BSC-CTM. We compare 5 year global simulations using five state-of-the-art sea-salt open-ocean emission schemes with monthly averaged coarse aerosol optical depth (AOD) from selected AERONET sun photometers, surface concentration measurements from the University of Miami's Ocean Aerosol Network, and measurements from two NOAA/PMEL cruises (AEROINDOEX and ACE1). Model results are highly sensitive to the introduction of sea-surface-temperature (SST)-dependent emissions and to the accounting of spume particles production. Emission ranges from 3888 teragrams per year to 8114 teragrams per year, lifetime varies between 7.3 hours and 11.3 hours, and the average column mass load is between 5.0 teragrams and 7.2 teragrams. Coarse AOD is reproduced with an overall correlation of around 0.5 and with normalized biases ranging from +8.8 percent to +38.8 percent. Surface concentration is simulated with normalized biases ranging from minus 9.5 percent to plus 28 percent and the overall correlation is around 0.5. Our results indicate that SST-dependent emission schemes improve the overall model performance in reproducing surface concentrations. On the other hand, they lead to an overestimation of the coarse AOD at tropical latitudes, although it may be affected by uncertainties in the comparison due to the use of all-sky model AOD, the treatment of water uptake, deposition and optical properties in the model and/or an inaccurate size distribution at emission.

Bias↗

Distributed Spacecraft Autonomy (DSA): Development of Swarm Autonomy Capability and Scalability for Spacecraft

The Distributed Spacecraft Autonomy project is developing a suite of software tools that enable an operator to command and receive data from a swarm as a single entity, enable a swarm to autonomously coordinate its actions via distributed decision making and reactive closed-loop control, and model swarm behavior in the presence of anomalies or failures. Our use case is the mapping of the electron density of the ionosphere using radio tomography by coordinating the selection of appropriate GPS channels, and by recording Total Electron Count (TEC)measurements. DSA will be demonstrated on board the NASA Ames Starling mission a swarm of four small, LEO spacecraft, scheduled to launch in 2021. We will also perform a ground demonstration with simulated and hardware-in-the-loop elements, to validate the tools for controlling swarms of up to 100 assets.The capability to communicate autonomously between the swarm satellites is demonstrated via a sophisticated simulation architecture. Historical Plasma sphere TEC data obtained via dual-band Novatel GPS Receivers are utilized as a representative input data set for the swarm. The representative TEC data and GPS satellite observability information is fed to the autonomous software package in place of a true real-time ground data collection process. The swarm satellites actively share status updates amongst one another and utilize multi-agent decision making to optimally identify regions of interest in the TEC distribution. The software,aware of the bandwidth limitations of the swarm satellites, prioritizes explorative measurements,which define the range of observability for the satellites, as well as exploitative measurements,which focus on maximizing the observance potential of regions with prolonged, elevated TEC density. The science of this study can ultimately be used to determine the dynamics and coupling of Earth's magnetosphere, ionosphere, and atmosphere and their response to solar and terrestrial inputs. The findings can be applied to the imaging of critical, transient phenomena in the magnetosphere in later missions. Meanwhile, the swarm autonomy capabilities have far reaching potential in future satellite missions.As an experimental demonstration of the autonomous capabilities of the network, a message is first printed within a core Flight Executive (cFE) application. Two cFE applications that communicate with one another within the same core Flight System (cFS) are shown.Communication between mission applications on the internal cFE bus is extended to utilize Data Distribution Service (DDS) for vehicle-to-vehicle networking. The DDS middle ware provides reliable delivery, routing, and topic subscription features over User Data gram Protocol (UDP).Leveraging Linux containerization, a networked set of satellite instances are generated by script to simulate swarm behavior. Swarm commanding and synchronization through the network is demonstrated under various topologies and data-loss conditions. Finally, autonomous swarms calability from 2 satellites to 100 satellites is shown.

Fugate, Jason↗

Assessment of Natural and Anthropogenic Aerosol Air Pollution In the Middle East Using MERRA-2, CAMS Data Assimilation Products, and High-Resolution WRF-Chem Model Simulations

Modern-Era Retrospective analysis for Research and Applications v.2 (MERRA-2), Copernicus Atmosphere Monitoring Service Operational Analysis (CAMS-OA), and a high-resolution regional Weather Research and Forecasting model coupled with chemistry (WRF-Chem) were used to evaluate natural and anthropogenic particulate matter (PM) air pollution in the Middle East (ME) during 2015–2016. Two Moderate Resolution Imaging Spectrometer (MODIS) retrievals – combined product Deep Blue and Deep Target (MODIS-DB&DT) and Multi-Angle Implementation of Atmospheric Correction (MAIAC) – and Aerosol Robotic Network (AERONET) aerosol optical depth (AOD) observations as well as in situ PM measurements for 2016 were used for validation of the WRF-Chem output and both assimilation products. MERRA-2 and CAMS-OA assimilate AOD observations. WRF-Chem is a free-running model, but dust emission in WRF-Chem is tuned to fit AOD and aerosol volume size distributions obtained from AERONET. MERRA-2 was used to construct WRF-Chem initial and boundary conditions both for meteorology and chemical and aerosol species. SO2 emissions in WRF-Chem are based on the novel OMI-HTAP SO2 emission dataset. The correlation with the AERONET AOD is highest for MERRA-2 (0.72–0.91), MAIAC (0.63–0.96), and CAMSOA (0.65–0.87), followed by MODIS-DB&DT (0.56–0.84) and WRF-Chem (0.43–0.85). However, CAMS-OA has a relatively high positive mean bias with respect to AERONET AOD. The spatial distributions of seasonally averaged AODs from WRF-Chem, assimilation products, and MAIAC are well correlated with MODIS-DB&DT AOD product. MAIAC has the highest correlation (R = 0.8), followed by MERRA-2 (R = 0.66), CAMS-OA (R = 0.65), and WRF-Chem (R = 0.61). WRF-Chem, MERRA-2, and MAIAC underestimate and CAMS-OA overestimates MODIS-DB&DT AOD. The simulated and observed PM concentrations might differ by a factor of 2 because it is more challenging for the model and the assimilation products to reproduce PM concentration measured within the city. Although aerosol fields in WRF-Chem and assimilation products are entirely consistent, WRF-Chem is preferable for analysis of regional air quality over the ME due to its higher spatial resolution and better SO2 emissions. The WRF-Chem’s PM background concentrations exceed the World Health Organization (WHO) guidelines over the entire ME. Mineral dust is the major contributor to PM (≈ 75%–95%) compared to other aerosol types. Near and downwind from the SO2 emission sources, non-dust aerosols (primarily sulfate) contribute up to 30% to PM(sub 2.5). The contribution of sea salt to PM in coastal regions can reach 5%. The contributions of organic matter, black carbon and organic carbon to PM over the Middle East are insignificant. In the major cities over the Arabian Peninsula, the 90th percentile of PM(sub 10) and PM(sub 2.5) (particles with diameters less than 10 and 2.5 μm, respectively) daily mean surface concentrations exceed the corresponding Kingdom of Saudi Arabia air quality limits. The contribution of the non-dust component to PM(sub 2.5) is < 25%, which limits the emission control effect on air quality. The mitigation of the dust effect on air quality requires the development of environment-based approaches like growing tree belts around the cities and enhancing in-city vegetation cover. The WRF-Chem configuration presented in this study could be a prototype of a future air quality forecast system that warns the population against air pollution hazards.

Alexander Ukhov↗

A Network Model for the Effective Thermal Conductivity of Rigid Fibrous Refractory Insulations

A procedure is described for computing the effective thermal conductivity of a rigid fibrous refractory insulation. The insulation is modeled as a 3-dimensional Cartesian network of thermal conductance. The values and volume distributions of the conductance are assigned to reflect the physical properties of the insulation, its constituent fibers, and any permeating gas. The effective thermal conductivity is computed by considering the simultaneous energy transport by solid conduction, gas conduction and radiation through a cubic volume of model insulation; thus the coupling between heat transfer modes is retained (within the simplifications inherent to the model), rather than suppressed by treating these heat transfer modes as independent. The model takes into account insulation composition, density and fiber anisotropy, as well as the geometric and material properties of the constituent fibers. A relatively good agreement, between calculated and experimentally derived thermal conductivity values, is obtained for a variety of rigid fibrous insulations.

Marschall, Jochen↗

Distributed Spacecraft Autonomy - Development of Swarm Autonomy Capability and Scalability for Spacecraft

The Distributed Spacecraft Autonomy project is developing a suite of software tools that enable an operator to command and receive data from a swarm as a single entity, enable a swarm to autonomously coordinate its actions via distributed decision making and reactive closed-loop control, and model swarm behavior in the presence of anomalies or failures. Our use case is the mapping of the electron density of the ionosphere using radio tomography by coordinating the selection of appropriate GPS channels, and by recording Total Electron Count (TEC) measurements. DSA will be demonstrated onboard the NASA Ames Starling mission – a swarm of four small, LEO spacecraft, scheduled to launch in 2021. We will also perform a ground demonstration with simulated and hardware-in-the-loop elements, to validate the tools for controlling swarms of up to 100 assets. The capability to communicate autonomously between the swarm satellites is demonstrated via a sophisticated simulation architecture. Historical Plasmasphere TEC data obtained via dual-band Novatel GPS Receivers are utilized as a representative input dataset for the swarm. The representative TEC data and GPS satellite observability information is fed to the autonomous software package in place of a true real-time ground data collection process. The swarm satellites actively share status updates amongst one another and utilize multi-agent decision making to optimally identify regions of interest in the TEC distribution. The software, aware of the bandwidth limitations of the swarm satellites, prioritizes explorative measurements, which define the range of observability for the satellites, as well as exploitative measurements, which focus on maximizing the observance potential of regions with prolonged, elevated TEC density. The science of this study can ultimately be used to determine the dynamics and coupling of Earth’s magnetosphere, ionosphere, and atmosphere and their response to solar and terrestrial inputs. The findings can be applied to the imaging of critical, transient phenomena in the magnetosphere in later missions. Meanwhile, the swarm autonomy capabilities have far reaching potential in future satellite missions. As an experimental demonstration of the autonomous capabilities of the network, a message is first printed within a core Flight Executive (cFE) application. Two cFE applications that communicate with one another within the same core Flight System (cFS) are shown. Communication between mission applications on the internal cFE bus is extended to utilize Data Distribution Service (DDS) for vehicle-to-vehicle networking. The DDS middleware provides reliable delivery, routing, and topic subscription features over User Datagram Protocol (UDP). Leveraging Linux containerization, a networked set of satellite instances are generated by script to simulate swarm behavior. Swarm commanding and synchronization through the network is demonstrated under various topologies and data-loss conditions. Finally, autonomous swarm scalability from 2 satellites to 100 satellites is shown.

Distributed Autonomy↗

Michigan Orbital DEbris Survey Telescope Observations of the Geosynchronous Orbital Debris Environment. Observing Years: 2007-2009

NASA uses the Michigan Orbital DEbris Survey Telescope (MODEST), the University of Michigan's 0.61-m aperture Curtis-Schmidt telescope at the Cerro Tololo Inter-American Observatory in Chile, to help characterize the debris environment in geosynchronous orbit; this began in February 2001 and continues to the present day. Detected objects that are found to be on the U.S. Space Surveillance Network cataloged objects list are termed correlated targets (CTs), while those not found on the list are called uncorrelated targets (UCTs). This Johnson Space Center report provides details of observational and data-reduction processes for the entire MODEST dataset acquired in calendar years (CYs) 2007, 2008, and 2009. Specifically, this report describes the collection and analysis of 36 nights of data collected in CY 2007, 43 nights of data collected in CY 2008, and 43 nights of data collected in CY 2009. MODEST is equipped with a 2048 x 2048-pixel charged coupled device camera with a 1.3 by 1.3 deg field of view. This system is capable of detecting objects fainter than 18th magnitude (R filter) using a 5-s integration. This corresponds to a 20-cm diameter, 0.175-albedo object at 36,000 km altitude assuming a diffuse Lambertian phase function. The average number of detections each night over all 3 years was 26. The percentage of this number that represented the UCT population ranged from 34% to 18%, depending on the observing strategy and the field center location. Due to the short orbital arc over which observations are made, the eccentricity of the object s orbit is extremely difficult to measure accurately. Therefore, a circular orbit was assumed when calculating the orbital elements. A comparison of the measured inclination (INC), right ascension of ascending node (RAAN), and mean motion to the quantities for CTs from the U.S. Space Surveillance Network shows acceptable errors. This analysis lends credibility to the determination of the UCT orbital distributions. Figure 1 shows the size distribution of 3,143 objects detected in the data processed for CYs 2007, 2008, and 2009. The actual peak of the absolute magnitude distribution for the functional correlated targets is 10th magnitude, whereas the peak was 11th magnitude in 2002 2003 and 10th magnitude for 2004-2006. An absolute magnitude of 10.5 corresponds to objects with average diameters of 6.3 m, assuming an albedo of 0.175 and a diffuse Lambertian phase function. This result generally agrees with the known sizes of intact satellites. The absolute magnitude distribution for the UCTs is broad, but starts to roll off near 25 cm diameter or 17.5 magnitude. This roll off in the distribution reflects the detection capability of MODEST, not the true nature of the population. The true population is believed to continue at the same slope through fainter magnitudes based on comparisons with the LEO break-up law.

Abercromby, K. J.↗

Distributed Scheduling Architecture for Multi-Center Time-Based Metering

The Traffic Management Advisor (TMA) is an air traffic control automation system currently in use in seven Air Route Traffic Control Centers (ARTCCs) to enable time based metering to busy airports within their airspace. However, this system is limited to operation within a single ARTCC, within about a 200 nautical mile radius of the airport, and on relatively simple streams of traffic. The need for coordinated metering within a greater (300+ nautical mile) radius of an airport, on streams of traffic with significant branching, and across ARTCC boundaries, has been identified. Early tests revealed that TMA could not simply be scaled up to handle such a problem. Instead, a loosely coupled hierarchy of schedules, in which constraints from downstream schedules are passed upstream, is required. Such an architecture reduces the reliance on distant projections of arrival times, making schedules robust to changes in sequence and to additions of aircraft (such as aircraft departing inside the system s scheduling horizon). This architecture is also scaleable, easily reconfigurable, and can be networked together. As such, it can be adapted for use in any size or configuration of airspace and with any number of airports delivering restrictions. An implementation of this distributed scheduling architecture is currently undergoing testing in the TMA-Multi Center system. This paper describes the architecture and its motivation.

Landry, Steven↗

Investigation of the role of thermal boundary layer processes in initiating convection under the NASA SPACE Field Program

The current NWS ground based network is not sufficient to capture the dynamic or thermodynamic structure leading to the initiation and organization of air mass moist convective events. Under this investigation we intend to use boundary layer mesoscale models (McNider and Pielke, 1981) to examine the dynamic triggering of convection due to topography and surface thermal contrasts. VAS and MAN's estimates of moisture will be coupled with the dynamic solution to provide an estimate of the total convective potential. Visible GOES images will be used to specify incoming insolation which may lead to surface thermal contrasts and JR skin temperatures will be used to estimate surface moisture (via the surface thermal inertia) (Weizel and Chang, 1988) which can also induce surface thermal contrasts. We will use the SPACE-COHMEX data base to evaluate the ability of the joint mesoscale model satellite products to show skill in predicting the development of air mass convection. We will develop images of model vertical velocity and satellite thermodynamic measures to derive images of predicted convective potential. We will then after suitable geographic registration carry out a pixel by pixel correlation between the model/satellite convective potential and the 'truth' which are the visible images. During the first half of the first year of this investigation we have concentrated on two aspects of the project. The first has been in generating vertical velocity fields from the model for COHMEX case days. We have taken June 19 as the first case and have run the mesoscale model at several different grid resolutions. We are currently developing the composite model/satellite convective image. The second aspect has been the attempted calibration of the surface energy budget to provide the proper horizontal thermal contrasts for convective initiation. We have made extensive progress on this aspect using the FIFE data as a test data set. The calibration technique looks very promising.

Mcnider, Richard T.↗

A generic efficient adaptive grid scheme for rocket propulsion modeling

The objective of this research is to develop an efficient, time-accurate numerical algorithm to discretize the Navier-Stokes equations for the predictions of internal one-, two-dimensional and axisymmetric flows. A generic, efficient, elliptic adaptive grid generator is implicitly coupled with the Lower-Upper factorization scheme in the development of ALUNS computer code. The calculations of one-dimensional shock tube wave propagation and two-dimensional shock wave capture, wave-wave interactions, shock wave-boundary interactions show that the developed scheme is stable, accurate and extremely robust. The adaptive grid generator produced a very favorable grid network by a grid speed technique. This generic adaptive grid generator is also applied in the PARC and FDNS codes and the computational results for solid rocket nozzle flowfield and crystal growth modeling by those codes will be presented in the conference, too. This research work is being supported by NASA/MSFC.

Mo, J. D.↗

Estimating the Concentration of Large Raindrops from Polarimetric Radar and Disdrometer Observations

Estimation of rainfall integral parameters, including radar observables, and empirical relations between them are sensitive to the truncation of the drop size distribution (DSD), particularly at the large drop end. The sensitivity of rainfall integral parameters to the maximum drop diameter (D(sub max)) is exacerbated at C‐band since resonance effects are pronounced for large drops in excess of 5 mm diameter (D). Due to sampling limitations, it is often difficult to reliably estimate D(sub max) with disdrometers. The resulting uncertainties in D(sub max0 potentially increase errors in radar retrieval methods, particularly at C‐band, that rely on disdrometer observations for DSD input to radar models. In fact, D(sub max) is typically an assumed DSD parameter in the development of radar retrieval methods. Because of these very uncertainties, it is difficult to independently confirm disdrometer estimates of D(sub max) with polarimetric radar observations. A couple of approaches can be taken to reduce uncertainty in large drop measurement. Longer integration times can be used for the collection of larger disdrometer samples. However, integration periods must be consistent with a radar resolution volume (RRV) and the temporal and spatial scales of the physical processes affecting the DSD therein. Multiple co‐located disdrometers can be combined into a network to increase the sample size within a RRV. However, over a reasonable integration period, a single disdrometer sample volume is many orders of magnitudes less than a RRV so it is not practical to devise a network of disdrometers that has an equivalent volume to a typical RRV. Since knowledge of DSD heterogeneity and large drop occurrence in time and space is lacking, the specific accuracy or even general representativeness of disdrometer based D(sub max) and large drop concentration estimates within a RRV are currently unknown. To address this complex issue, we begin with a simpler question. Is the frequency of occurrence of large rain drops (D > 5 mm) in disdrometer observations, either stand alone or networked, generally representative and consistent with polarimetric radar observations? We first show from simulations that the concentration of large (D > 5 mm) rain drops (N(sub T5)) can be estimated from polarimetric observations of specific differential phase (K(sub dp)) and differential reflectivity (Z(sub dr)), N(sub T5)=F(K(sub dp),Z(sub dr)), or horizontal reflectivity (Z(sub h)) and Z(sub dr), N(sub T5)=(Z(sub h),Z(sub dr)). We assess the error associated with polarimetric retrieval of N(sub T5), including sensitivity to D(sub max) parameterization assumptions and measurement error in the radar simulations. Polarimetric measurements at S‐band and C‐band will then be used to retrieve estimates of N(sub T5) and compared to disdrometer estimates of N(sub T5). After careful consideration of retrieval error, we will check consistency between disdrometer and polarimetric radar estimates of N(sub T5) and the frequency of occurrence of large rain drops in a variety of precipitating regimes using data from NASA's Global Precipitation Measurement (GPM) Ground Validation (GV) program, including field campaigns such as MC3E (Oklahoma) and IFloodS (Iowa) and extended measurements over Huntsville, Alabama and NASA Wallops Flight Facility in coastal Virginia.

Carey, Lawrence D.↗

Comparative Analysis of Empirical and Machine Learning Models for Chla Extraction Using Sentinel-2 and Landsat OLI Data: Opportunities, Limitations, and Challenges

Remote retrieval of near-surface chlorophyll-a (Chla) concentration in small inland waters is challenging due to substantial optical interferences of various water constituents and uncertainties in the atmospheric correction (AC) process. Although various algorithms have been developed to estimate Chla from moderate-resolution terrestrial missions (∼10–60 m), the production of both accurate distribution maps and time series of Chla has proven challenging, limiting the use of remote analyses for lake monitoring. Here, we develop a support vector regression (SVR) model, which uses satellite-derived remote-sensing reflectance spectra () from Sentinel-2 and Landsat-8 images as input for Chla retrieval in a representative eutrophic prairie lake, Buffalo Pound Lake (BPL), Saskatchewan, Canada. Validated against in situ Chla from seven ice-free seasons (N ∼ 200; 2014–2020), the SVR model outperformed both locally tuned, -fed empirical models (Normalized Difference Chlorophyll Index, 2- and 3-band, and OC3) and Mixture Density Networks (MDNs) by 15–65%, while exhibiting comparable performance to a locally trained MDN, with an error of ∼35%. Comparison of Chla retrieval models, AC processors (iCOR, ACOLITE), and radiometric products (Rayleigh-corrected, surface, and top-of-atmosphere reflectance) showed that the best Chla maps and optimal time series (up to 100 mg m−3) were produced using a coupled SVR-iCOR system.

algal blooms↗

Techniques and resources for storm-scale numerical weather prediction

The topics discussed include the following: multiscale application of the 5th-generation PSU/NCAR mesoscale model, the coupling of nonhydrostatic atmospheric and hydrostatic ocean models for air-sea interaction studies; a numerical simulation of cloud formation over complex topography; adaptive grid simulations of convection; an unstructured grid, nonhydrostatic meso/cloud scale model; efficient mesoscale modeling for multiple scales using variable resolution; initialization of cloud-scale models with Doppler radar data; and making effective use of future computing architectures, networks, and visualization software.

Droegemeier, Kelvin↗

Communication using VCSEL laser array

Ultrafast directional beam switching, using coupled vertical cavity surface emitting lasers (VCSELs) is combined with a light modulator to provide information transfer at bit rates of tens of GHz. This approach is demonstrated to achieve beam switching frequencies of 32-50 GHz in some embodiments and directional beam switching with angular differences of about eight degrees. This switching scheme is likely to be useful for ultrafast optical networks at frequencies much higher than achievable with other approaches. A Mach-Zehnder interferometer, a Fabry-Perot etalon, or a semiconductor-based electro-absorption transmission channel, among others, can be used as a light modulator.

Goorjian, Peter M.↗

Proceedings of the Second NASA Formal Methods Symposium

This publication contains the proceedings of the Second NASA Formal Methods Symposium sponsored by the National Aeronautics and Space Administration and held in Washington D.C. April 13-15, 2010. Topics covered include: Decision Engines for Software Analysis using Satisfiability Modulo Theories Solvers; Verification and Validation of Flight-Critical Systems; Formal Methods at Intel -- An Overview; Automatic Review of Abstract State Machines by Meta Property Verification; Hardware-independent Proofs of Numerical Programs; Slice-based Formal Specification Measures -- Mapping Coupling and Cohesion Measures to Formal Z; How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project; A Machine-Checked Proof of A State-Space Construction Algorithm; Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications; Modeling Regular Replacement for String Constraint Solving; Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol; Can Regulatory Bodies Expect Efficient Help from Formal Methods?; Synthesis of Greedy Algorithms Using Dominance Relations; A New Method for Incremental Testing of Finite State Machines; Verification of Faulty Message Passing Systems with Continuous State Space in PVS; Phase Two Feasibility Study for Software Safety Requirements Analysis Using Model Checking; A Prototype Embedding of Bluespec System Verilog in the PVS Theorem Prover; SimCheck: An Expressive Type System for Simulink; Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness; Software Model Checking of ARINC-653 Flight Code with MCP; Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B; Formal Verification of Large Software Systems; Symbolic Computation of Strongly Connected Components Using Saturation; Towards the Formal Verification of a Distributed Real-Time Automotive System; Slicing AADL Specifications for Model Checking; Model Checking with Edge-valued Decision Diagrams; and Data-flow based Model Analysis.

Munoz, Cesar↗

Impact of Space Transportation System on planetary spacecraft and missions design

Results of Jet Propulsion Laboratory (JPL) activities to define and understand alternatives for planetary spacecraft operations with the Space Transportation System (STS) are summarized. The STS presents a set of interfaces, operational alternatives, and constraints in the prelaunch, launch, and near-earth flight phases of a mission. Shuttle-unique features are defined and coupled with JPL's existing program experience to begin development of operationally efficient alternatives, concepts, and methods for STS-launched missions. The time frame considered begins with the arrival of the planetary spacecraft at Kennedy Space Center and includes prelaunch ground operations, Shuttle-powered flight, and near-earth operations, up to acquisition of the spacecraft signal by the Deep Space Network. The areas selected for study within this time frame were generally chosen because they represent the 'driving conditions' on planetary-mission as well as system design and operations.

Barnett, P. M.↗

A wide-band monolithic quasi-optical power meter for millimeter- and submillimeter-wave applications

A novel monolithic power meter has been developed for submillimeter-wave applications (100 GHz to 10 THz). The detector is a large-area bismuth bolometer integrated on a 1.2-micron-thick dielectric membrane. This approach results in a wide-band, high-responsivity detector. The power meter is simple to fabricate, is inexpensive, and can be easily calibrated using a low-frequency network. Quasi-optical measurements at 90, 140, and 240 GHz show that the bolometer is polarization-independent and could be modeled by a simple transmission line model. Absolute power measurements at 90, 140, and 240 GHz show a + or - 5 percent accuracy and agree well with a calibrated Anritsu power meter at 90 GHz. Potential application areas are power calibration, antenna coupling efficiency measurements, and absolute power measurements from solid-state devices and far-infrared lasers at submillimeter wavelengths. Absolute output power measurements on a 220-280 GHz tripler using the quasi-optical power meter are presented as an application example.

Ling, Curtis C.↗