Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “network regularization”

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 55 records · Page 3
All sourcesNASA NTRSDOE OSTI
NASA NTRS2023

Performance of the IVS R1 and R4 Sessions

The International VLBI Service for Geodesy and Astrometry (IVS) has observed the weekly IVS-R1 (R1) and IVS-R4 (R4) series of sessions since 2002. These regular series are generally stable in the sense that the networks were designed to be similar from week to week. The uniformity of these series has allowed researchers to conduct many scientific investigations. The IVS also observes with other networks that allow continued sampling of data from all VLBI stations, but the R1 and R4 observing sessions are a dominant part of overall VLBI observing accounting for 1841 sessions out of a total of 3129 24-hour sessions from 2002.0 to 2020.0 (where the last R1 and R4 in 2019 was on December 30 and December 26, respectively). In this paper, we investigate the evolution of these series in terms of their observing networks. We also discuss the construction of the R1 and R4 networks and the scheduling of these sessions. The performance of these networks in terms of the formal precision of polar motion have improved by factors of 2–3 over the period from 2002.0 to 2018.0. UT1 precision improved by a factor of about 1.2–1.5. The main reason for this improvement is the increased size of the networks. We also discuss the effect on this improvement arising from changes in the data rate and the number of observed sources. There is some degradation in performance after 2018 that is most likely due to a decline in the number of available network stations.

Cynthia C. Thomas↗
NASA NTRS1993

On the accuracy of ERS-1 orbit predictions

Since the launch of ERS-1, the D-PAF (German Processing and Archiving Facility) provides regularly orbit predictions for the worldwide SLR (Satellite Laser Ranging) tracking network. The weekly distributed orbital elements are so called tuned IRV's and tuned SAO-elements. The tuning procedure, designed to improve the accuracy of the recovery of the orbit at the stations, is discussed based on numerical results. This shows that tuning of elements is essential for ERS-1 with the currently applied tracking procedures. The orbital elements are updated by daily distributed time bias functions. The generation of the time bias function is explained. Problems and numerical results are presented. The time bias function increases the prediction accuracy considerably. Finally, the quality assessment of ERS-1 orbit predictions is described. The accuracy is compiled for about 250 days since launch. The average accuracy lies in the range of 50-100 ms and has considerably improved.

Koenig, Rolf↗
NASA NTRS1988

Terminal attractors for addressable memory in neural networks

A new type of attractors - terminal attractors - for an addressable memory in neural networks operating in continuous time is introduced. These attractors represent singular solutions of the dynamical system. They intersect (or envelope) the families of regular solutions while each regular solution approaches the terminal attractor in a finite time period. It is shown that terminal attractors can be incorporated into neural networks such that any desired set of these attractors with prescribed basins is provided by an appropriate selection of the weight matrix.

Zak, Michail↗
NASA NTRS2000

NASA Goddard Space Flight Center

The NASA SLR Operational Center is responsible for: 1) NASA SLR network control, sustaining engineering, and logistics; 2) ILRS mission operations; and 3) ILRS and NASA SLR data operations. NASA SLR network control and sustaining engineering tasks include technical support, daily system performance monitoring, system scheduling, operator training, station status reporting, system relocation, logistics and support of the ILRS Networks and Engineering Working Group. These activities ensure the NASA SLR systems are meeting ILRS and NASA mission support requirements. ILRS mission operations tasks include mission planning, mission analysis, mission coordination, development of mission support plans, and support of the ILRS Missions Working Group. These activities ensure than new mission and campaign requirements are coordinated with the ILRS. Global Normal Points (NP) data, NASA SLR FullRate (FR) data, and satellite predictions are managed as part of data operations. Part of this operation includes supporting the ILRS Data Formats and Procedures Working Group. Global NP data operations consist of receipt, format and data integrity verification, archiving and merging. This activity culminates in the daily electronic transmission of NP files to the CDDIS. Currently of all these functions are automated. However, to ensure the timely and accurate flow of data, regular monitoring and maintenance of the operational software systems, computer systems and computer networking are performed. Tracking statistics between the stations and the data centers are compared periodically to eliminate lost data. Future activities in this area include sub-daily (i.e., hourly) NP data management, more stringent data integrity tests, and automatic station notification of format and data integrity issues.

Carter, David↗
NASA NTRS1988

Synchronization in neural nets

The paper presents an artificial neural network concept (the Synchronizable Oscillator Networks) where the instants of individual firings in the form of point processes constitute the only form of information transmitted between joining neurons. In the model, neurons fire spontaneously and regularly in the absence of perturbation. When interaction is present, the scheduled firings are advanced or delayed by the firing of neighboring neurons. Networks of such neurons become global oscillators which exhibit multiple synchronizing attractors. From arbitrary initial states, energy minimization learning procedures can make the network converge to oscillatory modes that satisfy multi-dimensional constraints. Such networks can directly represent routing and scheduling problems that consist of ordering sequences of events.

Vidal, Jacques J.↗
NASA NTRS2004

Statistical analysis of geodetic networks for detecting regional events

We present an application of hidden Markov models (HMMs) to analysis of geodetic time series in Southern California. Our model fitting method uses a regularized version of the deterministic annealing expectation-maximization algorithm to ensure that model solutions are both robust and of high quality.

geodetic networks↗
NASA NTRS1987

The IHW island network

Early astronomical photography of comets at perihelion encouraged the establishment of an International Halley Watch (IHW) Team for regularly photographing the Comet. The February 1986 period was particularly troublesome due to the limitations of cometary visibility in the Southern Hemisphere. Schmidt cameras were placed on Tahiti, Easter Island, Faraday Station on the Antarctic Peninsula, Reunion Island and in South Africa. Blue- and red-filter B/W images were obtained every night and color prints were occasionally shot. Each night's images were examined before the next night's photography. Several interesting anecdotes are recounted from shipping, manning and operation of the telescopes.

Niedner, Malcolm B., Jr.↗
NASA NTRS1989

Using radar ground-truth to validate and improve the location accuracy of a lightning direction-finding network

A technique is described in which isolated radar echoes associated with clusters of lightning strikes are used to validate and improve the location accuracy of a lightning-direction-finding network. Using this technique, site errors of a magnetic direction-finding network for locating lightning strikes to ground were accurately determined. The technique offers advantages over existing techniques in that large sample sizes are readily attainable over a broad area on a regular basis; the technique can also provide additional constraints to redundant data methods such as that described by Orville (1987). Since most lightning strike networks have either partial or full weather radar coverage, the technique is practical for all but a few users.

Goodman, Steven J.↗
NASA NTRS1989

Terminal attractors in neural networks

A new type of attractor (terminal attractors) for content-addressable memory, associative memory, and pattern recognition in artificial neural networks operating in continuous time is introduced. The idea of a terminal attractor is based upon a violation of the Lipschitz condition at a fixed point. As a result, the fixed point becomes a singular solution which envelopes the family of regular solutions, while each regular solution approaches such an attractor in finite time. It will be shown that terminal attractors can be incorporated into neural networks such that any desired set of these attractors with prescribed basins is provided by an appropriate selection of the synaptic weights. The applications of terminal attractors for content-addressable and associative memories, pattern recognition, self-organization, and for dynamical training are illustrated.

Zak, Michail↗
NASA NTRS1988

Implementing neural nets with programmable logic

Networks of Boolean programmable logic modules are presented as one purely digital class of artificial neural nets. The approach contrasts with the continuous analog framework usually suggested. Programmable logic networks are capable of handling many neural-net applications. They avoid some of the limitations of threshold logic networks and present distinct opportunities. The network nodes are called dynamically programmable logic modules. They can be implemented with digitally controlled demultiplexers. Each node performs a Boolean function of its inputs which can be dynamically assigned. The overall network is therefore a combinational circuit and its outputs are Boolean global functions of the network's input variables. The approach offers definite advantages for VLSI implementation, namely, a regular architecture with limited connectivity, simplicity of the control machinery, natural modularity, and the support of a mature technology.

Vidal, Jacques J.↗
NASA NTRS1992

Model reduction for systems with integrators

The reduction algorithm for systems with integrators is derived. The algorithm is based on balancing the antigrammians and has the same computational effectiveness as the regular balancing procedure. It was applied to the reduction of the NASA Deep Space Network antenna model. As a result, the 90-state model has been reduced to a 27-state model, which preserves the full-model properties.

Gawronski, Wodek↗
NASA NTRS1994

The Nomad Explorer assembly assist vehicle: An architecture for rapid global extraterrestrial base infrastructure establishment

Traditional concepts of lunar bases describe scenarios where components of the bases are landed on the lunar surface, one at a time, and then put together to form a complete stationary lunar habitat. Recently, some concepts have described the advantages of operating a mobile or 'roving' lunar base. Such a base vastly improves the exploration range from a primary lunar base. Roving bases would also allow the crew to first deploy, test, operationally certify, and then regularly maintain, service, and evolve long life-cycle facilities like observatories or other science payload platforms that are operated far apart from each other across the extraterrestrial surface. The Nomad Explorer is such a mobile lunar base. This paper describes the architectural program of the Nomad Explorer, its advantages over a stationary lunar base, and some of the embedded system concepts which help the roving base to speedily establish a global extraterrestrial infrastructure. A number of modular autonomous logistics landers will carry deployable or erectable payloads, service, and logistically resupply the Nomad Explorer at regular intercepts along the traverse. Starting with the deployment of science experiments and telecommunication networks, and the manned emplacement of a variety of remote outposts using a unique EVA Bell system that enhances manned EVA, the Nomad Explorer architecture suggests the capability for a rapid global development of the extraterrestrial body. The Moon and Mars are candidates for this 'mission oriented' strategy. The lunar case is emphasized in this paper.

Thangavelu, Madhu↗
NASA NTRS2014

The EDSN Intersatellite Communications Architecture

The Edison Demonstration of Smallsat Networks (EDSN) is a swarm of eight 1.5U Cubesats developed by the NASA Ames Research Center under the Small Spacecraft Technology Program (SSTP) within NASA Space Technology Mission Directorate (STMD). EDSN, scheduled for launch in late 2014, is designed to explore the use of small spacecraft networks to make synchronized, multipoint scientific measurements, and to organize and pass those data to the ground through their network. Networked swarms of these small spacecraft will open new horizons in astronomy, Earth observations and solar physics. Their range of applications include the formation of synthetic aperture radars for Earth sensing systems, large aperture observatories for next generation telescopes and the collection of spatially distributed measurements of time varying systems, probing the Earth's magnetosphere, Earth-Sun interactions and the Earth's geopotential. The EDSN communications network is maintained and operated by a simple set of predefined rules operating independently on all eight spacecraft without direction from ground based systems. One spacecraft serves as a central node, requesting and collecting data from the other seven spacecraft, organizing the data and passing it to a ground station at regular intervals. The central node is rotated among the spacecraft on a regular basis, providing robustness against the failure of a single spacecraft. This paper describes the communication architecture of the EDSN network and its operation with small spacecraft of limited electrical power, computing power and communication range. Furthermore, the problems of collecting and prioritizing data through a system that has data throughput bottlenecks are addressed. Finally, future network enhancements that can be built on top of the current EDSN hardware are discussed.

Communications↗
NASA NTRS1994

Working Group 1: Current plans of various organisations for lunar activities

Summaries of presentations by representatives of several space agencies and the International Academy of Astronautics concerning lunar activities are presented. Participating space agencies reported two different types of lunar planning, long term planning and scenarios and lunar missions competing within regular programs. The long term plans of the various agencies look remarkably similar. They all involve a phased approach (coincidentally all incorporating four phases) and all address three prime scientific elements: science of, on, and from the Moon. The missions under consideration by the second group of agencies could readily fit as elements in the longer term program. There is great interest in lunar astronomy. There is a great deal of potential infrastructure and lunar transport capability already available. There is also a wide range of interesting technological developments that could form part of a lunar program. A well concerted and coordinated international effort could lead to an affordable program. Recommendations are: an international conference on lunar exploration should be held every other year; an electronic network should be established for the daily exchange of information; and a mechanism should be established for regular working level coordination of activities.

Balsiger, H.↗
NASA NTRS2018

Predicting Rapid Fire Growth (Flashover) Using Generative Adversarial Networks

A flashover occurs when a fire spreads very rapidly through crevices due to intense heat. Flashovers present one of the most frightening and challenging fire phenomena to those who regularly encounter them: firefighters. Firefighters’ safety and lives often depend on their ability to predict flashovers before they occur. Typical pre-flashover fire characteristics include dark smoke, high heat, and rollover (“angel fingers”) and can be quantified by color, size, and shape. Using a color video stream from a firefighter’s body camera, we applied generative adversarial neural networks for image enhancement. The neural networks were trained to enhance very dark fire and smoke patterns in videos and monitor dynamic changes in smoke and fire areas. Preliminary tests with limited flashover training videos showed that we predicted a flashover as early as 55 seconds before it occurred.

Lu, Thomas↗
NASA NTRS2010

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↗
NASA NTRS2020

A Post-2013 Dropoff in Total Ozone at a Third of Global Ozonesonde Stations: Electrochemical Concentration Cell Instrument Artifacts?

An international effort to improve ozonesonde data quality and to reevaluate historical recordshas made significant improvements in the accuracy of global network data. However, between 2014 and2016, ozonesonde total column ozone (TCO; O3) at 14 of 37 regularly reporting stations exhibited a suddendropoff relative to satellite measurements. The ozonesonde TCO drop is 3–7% compared to satellite andground‐based TCO, and 5–10% or more compared to satellite stratospheric O3profiles, compromising theuse of recent data for trends, although they remain reliable for other uses. Hardware changes in theozonesonde instrument are likely a major factor in the O3dropoff, but no single property of the ozonesondeexplains thefindings. The bias remains in recent data. Research to understand the dropoff is in progress; thisletter is intended as a caution to users of the data. Ourfindings underscore the importance of regularozonesonde data evaluation.

ozonesonde TCO drop↗
NASA NTRS2009

Introduction of Virtualization Technology to Multi-Process Model Checking

Model checkers find failures in software by exploring every possible execution schedule. Java PathFinder (JPF), a Java model checker, has been extended recently to cover networked applications by caching data transferred in a communication channel. A target process is executed by JPF, whereas its peer process runs on a regular virtual machine outside. However, non-deterministic target programs may produce different output data in each schedule, causing the cache to restart the peer process to handle the different set of data. Virtualization tools could help us restore previous states of peers, eliminating peer restart. This paper proposes the application of virtualization technology to networked model checking, concentrating on JPF.

Leungwattanakit, Watcharin↗