Search NASA⌕ Search

SEARCH · Search NASA

Results for “NETWORK SYNTHESIS”

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 145 records · Page 8

Three approaches to reliability analysis

It is noted that current reliability analysis tools differ not only in their solution techniques, but also in their approach to model abstraction. The analyst must be satisfied with the constraints that are intrinsic to any combination of solution technique and model abstraction. To get a better idea of the nature of these constraints, three reliability analysis tools (HARP, ASSIST/SURE, and CAME) were used to model portions of the Integrated Airframe/Propulsion Control System architecture. When presented with the example problem, all three tools failed to produce correct results. In all cases, either the tool or the model had to be modified. It is suggested that most of the difficulty is rooted in the large model size and long computational times which are characteristic of Markov model solutions.

Mesh networks↗

NASA Tech Briefs, Februrary 2013

Topics covered include: Measurements of Ultra-Stable Oscillator (USO) Allan Deviations in Space; Gaseous Nitrogen Orifice Mass Flow Calculator; Validation of Proposed Metrics for Two-Body Abrasion Scratch Test Analysis Standards; Rover Low Gain Antenna Qualification for Deep Space Thermal Environments; Automated, Ultra-Sterile Solid Sample Handling and Analysis on a Chip; Measuring and Estimating Normalized Contrast in Infrared Flash Thermography; Spectrally and Radiometrically Stable, Wideband, Onboard Calibration Source; High-Reliability Waveguide Vacuum/Pressure Window; Methods of Fabricating Scintillators With Radioisotopes for Beta Battery Applications; Magnetic Shield for Adiabatic Demagnetization Refrigerators (ADR); CMOS-Compatible SOI MESFETS for Radiation-Hardened DC-to-DC Converters; Silicon Heat Pipe Array; Adaptive Phase Delay Generator; High-Temperature, Lightweight, Self-Healing Ceramic Composites for Aircraft Engine Applications; Treatment to Control Adhesion of Silicone-Based Elastomers; High-Temperature Adhesives for Thermally Stable Aero-Assist Technologies; Rockballer Sample Acquisition Tool; Rock Gripper for Sampling, Mobility, Anchoring, and Manipulation; Advanced Magnetic Materials Methods and Numerical Models for Fluidization in Microgravity and Hypogravity; Data Transfer for Multiple Sensor Networks Over a Broad Temperature Range; Using Combustion Synthesis to Reinforce Berms and Other Regolith Structures; Visible-Infrared Hyperspectral Image Projector; Three-Axis Attitude Estimation With a High-Bandwidth Angular Rate Sensor Change_Detection.m; AGATE: Adversarial Game Analysis for Tactical Evaluation; Ionospheric Simulation System for Satellite Observations and Global Assimilative; Modeling Experiments (ISOGAME); An Extensible, User- Modifiable Framework for Planning Activities; Mission Operations Center (MOC) - Precipitation Processing System (PPS) Interface Software System (MPISS); Automated 3D Damaged Cavity Model Builder for Lower Surface Acreage Tile on Orbiter; Mixed Linear/Square-Root Encoded Single-Slope Ramp Provides Low-Noise ADC with High Linearity for Focal Plane Arrays; RUSHMAPS: Real-Time Uploadable Spherical Harmonic Moment Analysis for Particle Spectrometers; Powered Descent Guidance with General Thrust-Pointing Constraints; X-Ray Detection and Processing Models for Spacecraft Navigation and Timing; and Extreme Ionizing-Radiation-Resistant Bacterium

Source record↗

Microwave structure of the quiet sun at 8.5 GHz

Multifrequency VLA observations of the quiet sun near 8.5 GHz are presented. Two regions of the sun were observed, one dominated by an enhanced network corresponding to a decayed active region, and the other corresponding to an enhanced network with no active features. The full-day synthesis maps for both show nearly perfect correspondence to H-alpha images, and to longitudinal magnetograms. The coronal loops were observed to appear as regions of radio emission with no underlying longitudinal magnetic fields, being aligned with H-alpha fibrils in the photosphere, and connecting regions of opposite magnetic polarity. The emission can be modeled as optically thin free-free emission from a coronal loop with a peak axial density of approximately 2.4-2.8 x 10 to the 9th/cu cm, for an assumed coronal temperature of 1-2 x 10 to the 6th K. The quiet chromosphere sources are measured, and the significance of these measurements for existing chromospheric models is discussed.

Gary, Dale E.↗

Cerebellar neurocontroller project, for aerospace applications, in a civilian neurocomputing initiative in the 'decade of the brain'

A key question is how to utilize civilian government agencies along with an industrial consortium to successfully complement the so far primarily defense-oriented neural network research. Civilian artificial neural system projects, such as artificial cerebellar neurocontrollers aimed at duplicating nature's existing neural network solutions for adaptive sensorimotor coordination, are proposed by such a synthesis. The cerebellum provides an intelligent interface between higher possibly symbolic levels of human intelligence and repetitious demands of real world conventional controllers. The generation of such intelligent interfaces could be crucial to the economic feasibility of the human settlement of space and an improvement in telerobotics techniques to permit the cost-effective exploitation of nonterrestrial materials and planetary exploration and monitoring. The authors propose a scientific framework within which such interagency activities could effectively cooperate.

Pellionisz, Andras J.↗

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↗

Following the Water: the Evolution of Ice-forming Regions in the Early Solar Nebula

The abundances of water-vapor and water-ice during the first ten million years of the protoplanetary solar nebula are simulated using a new condensation/sublimation model. This study builds on a "snow line" model reported in ApJ 627 L153 (2005); it uses a simple phenomenological model where water vapor molecules evolve from solar atomic abundance and eventually condenses to ice at colder points in the nebula once the water-vapor partial pressure exceeds a value determined by the phase diagram for water. The synthesis of water vapor from elementary species is modeled with a chemical network consisting of about 400 species and 4000 reactions. The evolution of the icy zone (and its relative abundance of solid ice) is traced from a limited region in the early hotter disk to its final state at the time when the gas is expelled and a planetary system begins to form. Possible effects of this dynamic motion on disk chemistry and organic molecule formation are also described.

Davis, Sanford S.↗

Airborne Doppler lidar observations of convective phenomena in Oklahoma

On 30 June 1981, the wind fields around a variety of convective clouds, ranging from large thunderstorm complexes to isolated cumulus congestus, were observed in Oklahoma using an airborne Doppler lidar operated by NASA. By steering the pulsed infrared laser beam alternately along differing horizontal directions, a network of independent radial velocity measurements is obtained, which permits high-resolution synthesis of the full horizontal wind vector field in a swath adjacent to the aircraft flight track. The bright reflections of the laser signal by cloud surfaces permit direct identification of the locus of cloud edges, information which is prerequisite to detailed study of the relationships between the winds inside and outside clouds. The horizontal wind fields derived from the lidar data reveal waves and vortices along the gust front of a storm which eventually produced a gust-front tornado, and cloud-scale convergence patterns around an isolated cumulus congestus. Despite the presence of some questionable data associated with undersampling and delayed recording of certain aircraft motion parameters, most of the lidar results appear consistent with cloud photographs made during the experiment, with surface meteorological data, with aircraft flight-level wind data, and with previous observational and theoretical work.

Mccaul, Eugene W., Jr.↗

Observability and Estimation of Distributed Space Systems via Local Information-Exchange Networks

In this work, we develop an approach to formation estimation by explicitly characterizing formation's system-theoretic attributes in terms of the underlying inter-spacecraft information-exchange network. In particular, we approach the formation observer/estimator design by relaxing the accessibility to the global state information by a centralized observer/estimator- and in turn- providing an analysis and synthesis framework for formation observers/estimators that rely on local measurements. The noveltyof our approach hinges upon the explicit examination of the underlying distributed spacecraft network in the realm of guidance, navigation, and control algorithmic analysis and design. The overarching goal of our general research program, some of whose results are reported in this paper, is the development of distributed spacecraft estimation algorithms that are scalable, modular, and robust to variations inthe topology and link characteristics of the formation information exchange network. In this work, we consider the observability of a spacecraft formation from a single observation node and utilize the agreement protocol as a mechanism for observing formation states from local measurements. Specifically, we show how the symmetry structure of the network, characterized in terms of its automorphism group, directly relates to the observability of the corresponding multi-agent system The ramification of this notion of observability over networks is then explored in the context of distributed formation estimation.

observability↗

FPGA Based Reconfigurable ATM Switch Test Bed

Various issues associated with "FPGA Based Reconfigurable ATM Switch Test Bed" are presented in viewgraph form. Specific topics include: 1) Network performance evaluation; 2) traditional approaches; 3) software simulation; 4) hardware emulation; 5) test bed highlights; 6) design environment; 7) test bed architecture; 8) abstract sheared-memory switch; 9) detailed switch diagram; 10) traffic generator; 11) data collection circuit and user interface; 12) initial results; and 13) the following conclusions: Advances in FPGA make hardware emulation feasible for performance evaluation, hardware emulation can provide several orders of magnitude speed-up over software simulation; due to the complexity of hardware synthesis process, development in emulation is much more difficult than simulation and requires knowledge in both networks and digital design.

Chu, Pong P.↗

FLUXNET-CH4 Synthesis Activity: Objectives, Observations, and Future Directions

This paper describes the formation of, and initial results for, a new FLUXNET coordination network for ecosystem-scale methane (CH4) measurements at 60 sites globally, organized by the Global Carbon Project in partnership with other initiatives and regional flux tower networks. The objectives of the effort are presented along with an overview of the coverage of eddy covariance (EC) CH4 flux measurements globally, initial results comparing CH4 fluxes across the sites, and future research directions and needs. Annual estimates of net CH4 fluxes across sites ranged from −0.2 ± 0.02 g C m(exp -2) yr(exp -1) for an upland forest site to 114.9 ± 13.4 g C m(exp -2) yr(exp -1) for an estuarine freshwater marsh, with fluxes exceeding 40 g C m(exp -2) yr(exp -1) at multiple sites. Average annual soil and air temperatures were found to be the strongest predictor of annual CH4 flux across wetland sites globally. Water table position was positively correlated with annual CH4 emissions, although only for wetland sites that were not consistently inundated throughout the year. The ratio of annual CH4 fluxes to ecosystem respiration increased significantly with mean site temperature. Uncertainties in annual CH4 estimates due to gap-filling and random errors were on average ±1.6 g C m(exp -2) yr(exp -1) at 95% confidence, with the relative error decreasing exponentially with increasing flux magnitude across sites. Through the analysis and synthesis of a growing EC CH4 flux database, the controls on ecosystem CH4 fluxes can be better understood, used to inform and validate Earth system models, and reconcile differences between land surface model- and atmospheric-based estimates of CH4 emissions.

Knox, Sara H.↗

Time variability and structure of quiet sun sources at 6 cm wavelength

Results are presented of a detailed study of quiet sun emitting regions at 6 cm and their correspondence with regions observed at optical wavelengths. The Westerbork Synthesis Radio Telescope was used to obtain a 12-hr synthesis map of a quiet sun region with a resolution of 6 arcsec. Comparison of this map with a Ca(+) K filtergram indicates the features on the 6-cm map to correspond to Ca(+) K chromospheric networks and cells. In addition, about 72% of the magnetic field enhancements observed on photospheric magnetograms coincides with 6-cm emissive regions. Intercomparison of the 12-hr synthesis map, a 4-hr synthesis map and 6-cm fan beam scans along with the Ca(+) K and magnetogram results reveals all of the time-varying 6-cm elements to be located on Ca(+) K networks, and about 40% of them to be coincident with magnetogram enhancements. Lifetimes of the time-varying sources vary from a few minutes to several tens of minutes, and intensity varies by factors of 2 to 7.

Erskine, F. T.↗

Distributed computer system enhances productivity for SRB joint optimization

The Programming System for Structural Synthesis software package, which couples structural analysis and optimization, has been distributed over a network of work stations for use in Space Shuttle Solid Rocket Booster joint redesign optimization. Finite difference computing techniques were applied to the optimization gradients in parallel execution, allowing several work stations to simultaneously contribute to the problem's solution. An optimal joint shape was obtained which achieves minimum weight while keeping the gap between joints well closed and limiting structural stresses. The optimization cycle was reduced from two hours to one-half hour.

Rogers, James L., Jr.↗

Program Aids Analysis And Optimization Of Design

NETS/ PROSSS (NETS Coupled With Programming System for Structural Synthesis) computer program developed to provide system for combining NETS (MSC-21588), neural-network application program and CONMIN (Constrained Function Minimization, ARC-10836), optimization program. Enables user to reach nearly optimal design. Design then used as starting point in normal optimization process, possibly enabling user to converge to optimal solution in significantly fewer iterations. NEWT/PROSSS written in C language and FORTRAN 77.

Rogers, James L., Jr.↗

Automation of Shuttle Tile Inspection - Engineering methodology for Space Station

The Space Systems Integration and Operations Research Applications (SIORA) Program was initiated in late 1986 as a cooperative applications research effort between Stanford University, NASA Kennedy Space Center, and Lockheed Space Operations Company. One of the major initial SIORA tasks was the application of automation and robotics technology to all aspects of the Shuttle tile processing and inspection system. This effort has adopted a systems engineering approach consisting of an integrated set of rapid prototyping testbeds in which a government/university/industry team of users, technologists, and engineers test and evaluate new concepts and technologies within the operational world of Shuttle. These integrated testbeds include speech recognition and synthesis, laser imaging inspection systems, distributed Ada programming environments, distributed relational database architectures, distributed computer network architectures, multimedia workbenches, and human factors considerations.

Wiskerchen, M. J.↗

Remote voice training: A case study on space shuttle applications, appendix C

The Tile Automation System includes applications of automation and robotics technology to all aspects of the Shuttle tile processing and inspection system. An integrated set of rapid prototyping testbeds was developed which include speech recognition and synthesis, laser imaging systems, distributed Ada programming environments, distributed relational data base architectures, distributed computer network architectures, multi-media workbenches, and human factors considerations. Remote voice training in the Tile Automation System is discussed. The user is prompted over a headset by synthesized speech for the training sequences. The voice recognition units and the voice output units are remote from the user and are connected by Ethernet to the main computer system. A supervisory channel is used to monitor the training sequences. Discussions include the training approaches as well as the human factors problems and solutions for this system utilizing remote training techniques.

Mollakarimi, Cindy↗