Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “synchronization”

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 1,639 records · Page 91
All sourcesNASA NTRSDOE OSTI
NASA NTRS1993

Formal verification of algorithms for critical systems

We describe our experience with formal, machine-checked verification of algorithms for critical applications, concentrating on a Byzantine fault-tolerant algorithm for synchronizing the clocks in the replicated computers of a digital flight control system. First, we explain the problems encountered in unsynchronized systems and the necessity, and criticality, of fault-tolerant synchronization. We give an overview of one such algorithm, and of the arguments for its correctness. Next, we describe a verification of the algorithm that we performed using our EHDM system for formal specification and verification. We indicate the errors we found in the published analysis of the algorithm, and other benefits that we derived from the verification. Based on our experience, we derive some key requirements for a formal specification and verification system adequate to the task of verifying algorithms of the type considered. Finally, we summarize our conclusions regarding the benefits of formal verification in this domain, and the capabilities required of verification systems in order to realize those benefits.

Rushby, John M.↗
NASA NTRS1990

Effects of spaceflight on the spermatogonial population of rat seminiferous epithelium

Testes from rats flown on Cosmos 1887 were compared with vivarium control and synchronous control samples. The mean weights of flight testes, normalized for weight per 100 g, were 6.4 percent less when compared with the vivarium controls. Counts of spermatogonia from tissue sections (seminiferous tubules in maturation stage 6) from five animals in each group revealed 4 percent fewer spermatogonia in flight testes compared with synchronous controls and 11 percent fewer spermatogonia in flight samples compared with vivarium controls.

Sapp, Walter J.↗
NASA NTRS1991

Spatial deadlocks in task-level planning

We will formulate the problem of resolving spatial (space occupancy and support-stability) interactions in terms of tools developed in Operating Systems for the problems of deadlocks and synchronization. We show how to construct state graphs and to detect resource contentions and deadlocks from these state graphs. We describe an algorithm, called CONTAC, to deal with deadlocks where 'processes' represent the ordered motions of parts. The algorithm is a monitor-like process using preventative preemptive protocol to resolve higher-degree deadlocks. We develop the representation for knowledge about current allocations, pending requests, and synchronization constraints, to generate a contention-free sequence of actions. In this paper we focus on modeling deadlocks which are manifestations of spatial interactions.

Doshi, Rajkumar S.↗
NASA NTRS1986

Chopped molecular beam multiplexing system

The integration of a chopped molecular beam mass spectrometer with a time multiplexing system is described. The chopping of the molecular beam is synchronized with the time intervals by a phase detector and a synchronous motor. Arithmetic means are generated for phase shifting the chopper with respect to the multiplexer. A four channel amplifier provides the capacity to independently vary the baseline and amplitude in each channel of the multiplexing system.

Adams, Billy R.↗
NASA NTRS1993

Analysis of the eastern range multiplexed fiber optic IRIG B120 distribution system

A study was conducted to assess the effects of transmitting a precision clock synchronization signal over a commercial multiplexed fiber optic communication system. This study is an evaluation of the distortion and jitter introduced into the signal by this type of transmission system. An analysis comparing signal quality at the multiplexing and demultiplexing ends of the fiber optic communication system shows that the amplitude and phase distortion added to the clock synchronization signal by the transmission system is minimal.

Duncan, Michael J.↗
NASA NTRS1993

Flexible language constructs for large parallel programs

The goal of the research described is to develop flexible language constructs for writing large data parallel numerical programs for distributed memory (MIMD) multiprocessors. Previously, several models have been developed to support synchronization and communication. Models for global synchronization include SIMD (Single Instruction Multiple Data), SPMD (Single Program Multiple Data), and sequential programs annotated with data distribution statements. The two primary models for communication include implicit communication based on shared memory and explicit communication based on messages. None of these models by themselves seem sufficient to permit the natural and efficient expression of the variety of algorithms that occur in large scientific computations. An overview of a new language that combines many of these programming models in a clean manner is given. This is done in a modular fashion such that different models can be combined to support large programs. Within a module, the selection of a model depends on the algorithm and its efficiency requirements. An overview of the language and discussion of some of the critical implementation details is given.

Rosing, Matthew↗
NASA NTRS1993

Formation of the stable auroral arc that intensifies at substorm onset

In a companion paper, we present observational evidence that the stable, growth-phase auroral arc that intensifies at substorm expansion phase onset often forms on magnetic field lines that map to within approximately 1 to 2 R(sub e) of synchronous. The equatorial plasma pressure is 1 to 10 nPa in this region, which can give a cross-tail current greater than 0.1 A/m. In this paper, we propose that the arc is formed by a perpendicular magnetospheric-current divergence that results from a strong dawn-to-dusk directed pressure gradient in the vicinity of magnetic midnight. We estimate that the current divergence is sufficiently strong that a is greater than 1 kV field-aligned potential drop is required to maintain ionospheric-current continuity. We suggest that the azimuthal pressure gradient results from proton drifts in the vicinity of synchronous orbit that are directed nearly parallel to the cross-tail electric field.

Lyons, L. R.↗
NASA NTRS1993

A European mobile satellite system concept exploiting CDMA and OBP

This paper describes a novel Land Mobile Satellite System (LMSS) concept applicable to networks allowing access to a large number of gateway stations ('Hubs'), utilizing low-cost Very Small Aperture Terminals (VSAT's). Efficient operation of the Forward-Link (FL) repeater can be achieved by adopting a synchronous Code Division Multiple Access (CDMA) technique, whereby inter-code interference (self-noise) is virtually eliminated by synchronizing orthogonal codes. However, with a transparent FL repeater, the requirements imposed by the highly decentralized ground segment can lead to significant efficiency losses. The adoption of a FL On-Board Processing (OBP) repeater is proposed as a means of largely recovering this efficiency impairment. The paper describes the network architecture, the system design and performance, the OBP functions and impact on implementation. The proposed concept, applicable to a future generation of the European LMSS, was developed in the context of a European Space Agency (ESA) study contract.

Vernucci, A.↗
NASA NTRS1993

Diversity reception for advanced multi-satellite networks: A CDMA approach

Diversity reception for Synchronous CDMA (S-CDMA) is introduced and analyzed. A Gaussian co-channel synchronous and asynchronous interference approximation is derived to evaluate the effects on the system bit error rate. Numerical results are provided for a simple mobile communication system where the signals transmitted by two distinct satellites in visibility are coherently combined by a three fingers Rake receiver. A second example showing performance of an integrated ground/satellite single frequency network for digital audio broadcasting is presented. Results show the capacity advantage of utilizing S-CDMA in combination with diversity reception.

Colzi, E.↗
NASA NTRS1992

Multi-access laser communications terminal

The Optical Multi-Access (OMA) Terminal is capable of establishing up to six simultaneous high-data-rate communication links between low-Earth-orbit satellites and a host satellite at synchronous orbit with only one 16-inch-diameter antenna on the synchronous satellite. The advantage over equivalent RF systems in space weight, power, and swept volume is great when applied to NASA satellite communications networks. A photograph of the 3-channel prototype constructed under the present contract to demonstrate the feasibility of the concept is presented. The telescope has a 10-inch clear aperture and a 22 deg full field of view. It consists of 4 refractive elements to achieve a telecentric focus, i.e., the focused beam is normal to the focal plane at all field angles. This feature permits image pick-up optics in the focal plane to track satellite images without tilting their optic axes to accommodate field angle. The geometry of the imager-pick-up concept and the coordinate system of the swinging arm and disk mechanism for image pick-up are shown. Optics in the arm relay the telescope focus to a communications and tracking receiver and introduce the transmitted beacon beam on a path collinear with the receive path. The electronic circuits for the communications and tracking receivers are contained on the arm and disk assemblies and relay signals to an associated PC-based operator's console for control of the arm and disk motor drive through a flexible cable which permits +/- 240 deg travel for each arm and disk assembly. Power supplies and laser transmitters are mounted in the cradle for the telescope. A single-mode fiber in the cable is used to carry the laser transmitter signal to the arm optics. The promise of the optical multi-access terminal towards which the prototype effort worked is shown. The emphasis in the prototype development was the demonstration of the unique aspect of the concept, and where possible, cost avoidance compromises were implemented in areas already proven on other programs. The design details are described in section 2, the prototype test results in section 3, additional development required in section 4, and conclusions in section 5.

Source record↗
NASA NTRS1993

Three-dimensional numerical simulation of thermal tides in the Martian atmosphere

Analysis of the Mariner 9 IRIS and Viking Orbiter IRTM temperature data and of the time series of surface pressure from the Viking landers has indicated that atmospheric thermal tides are a significant component of the martian general circulation. Classical tidal theory, considering only the Sun synchronous components, has been shown to at least roughly account for the amplitudes of the observed diurnal and semidirunal surface pressure oscillations. In particular, Zurek and Leovy have demonstrated that classical tidal theory can reproduce the observed dependence of the strength of the semidiurnal tide on aerosol optical depth. The high-amplitude topograph of Mars, however, can cause longitudinal distortions in the thermotidal forcing, leading to additional tidal modes that are not Sun synchronous. In particular, observation and theory have suggested the likely presence of a diurnal, zonal wavenumber-1 K wave. Hamilton and Garcia noted that the wavenumber-1 K normal mode has a period of close to 24 hr and may be detectable in surface pressure observations. Zurek has discussed the possibility of this mode being resonantly excited for various atmospheric temperature studies. The semidiurnal wavenumber-2 K mode, with roughly a 12-hr period, could also be resonantly excited. A numerical model with finite amplitude topography and a self-consistent thermotidal forcing resulting from the daily heat flux at the surface and atmospheric absorption of solar radiation by aerosols is used here to explore the influence of topography on martian thermal tides and to examine the possibility of Kelvin wave resonance.

Wilson, R. John↗
NASA NTRS1992

Performance comparison of token ring protocols for hard-real-time communication

The ability to guarantee the deadlines of synchronous messages while maintaining a good aggregate throughput is an important consideration in the design of distributed real-time systems. In this paper, we study two token ring protocols, the priority driven protocol and the timed token protocol, for their suitability for hard real-time systems. Both these protocols use a token to control access to the transmission medium. In a priority driven protocol, messages are assigned priorities and the protocol ensures that messages are transmitted in the order of their priorities. Timed token protocols do not provide for priority arbitration but ensure that the maximum access delay for a station is bounded. For both protocols, we first derive the schedulability conditions under which the transmission deadlines of a given set of synchronous messages can be guaranteed. Subsequently, we use these schedulability conditions to quantitatively compare the average case behavior of the protocols. This comparison demonstrates that each of the protocols has its domain of superior performance and neither dominates the other for the entire range of operating conditions.

Kamat, Sanjay↗
NASA NTRS1994

On extending parallelism to serial simulators

This paper describes an approach to discrete event simulation modeling that appears to be effective for developing portable and efficient parallel execution of models of large distributed systems and communication networks. In this approach, the modeler develops submodels using an existing sequential simulation modeling tool, using the full expressive power of the tool. A set of modeling language extensions permit automatically synchronized communication between submodels; however, the automation requires that any such communication must take a nonzero amount off simulation time. Within this modeling paradigm, a variety of conservative synchronization protocols can transparently support conservative execution of submodels on potentially different processors. A specific implementation of this approach, U.P.S. (Utilitarian Parallel Simulator), is described, along with performance results on the Intel Paragon.

Nicol, David↗
NASA NTRS1995

Developmental problems and their solution for the Space Shuttle main engine alternate liquid oxygen high-pressure turbopump: Anomaly or failure investigation the key

The Space Shuttle main engine (SSME) alternate high-pressure liquid oxygen pump experienced synchronous vibration and ball bearing life problems that were program threatening. The success of the program hinged on the ability to solve these development problems. The design and solutions to these problems are engirded in the lessons learned and experiences from prior programs, technology programs, and the ability to properly conduct failure or anomaly investigations. The failure investigation determines the problem cause and is the basis for recommending design solutions. For a complex problem, a comprehensive solution requires that formal investigation procedures be used, including fault trees, resolution logic, and action items worked through a concurrent engineering-multidiscipline team. The normal tendency to use an intuitive, cut-and-try approach will usually prove to be costly, both in money and time and will reach a less than optimum, poorly understood answer. The SSME alternate high-pressure oxidizer turbopump development has had two complex problems critical to program success: (1) high synchronous vibrations and (2) excessive ball bearing wear. This paper will use these two problems as examples of this formal failure investigation approach. The results of the team's investigation provides insight into the complexity of the turbomachinery technical discipline interacting/sensitivities and the fine balance of competing investigations required to solve problems and guarantee program success. It is very important to the solution process that maximum use be made of the resources that both the contractor and Government can bring to the problem in a supporting and noncompeting way. There is no place for the not-invented-here attitude. The resources include, but are not limited to: (1) specially skilled professionals; (2) supporting technologies; (3) computational codes and capabilities; and (4) test and manufacturing facilities.

Ryan, R.↗
NASA NTRS1995

A high-speed photonic clock and carrier regenerator

As data communications rates climb toward 10 Gbits/s, clock recovery and synchronization become more difficult, if not impossible, using conventional electronic circuits. The high-speed photonic clock regenerator described in this article may be more suitable for such use. This photonic regenerator is based on a previously reported photonic oscillator capable of fast acquisition and synchronization. With both electrical and optical clock inputs and outputs, the device is easily interfaced with fiber-optic systems. The recovered electrical clock can be used locally and the optical clock can be used anywhere within a several kilometer radius of the clock/carrier regenerator.

Yao, X. S.↗
NASA NTRS1995

Time aspects of the European Complement to GPS: Continental and transatlantic experimental phases

The CNES project of a European Complement to GPS (CE-GPS) is conceived to fulfill the needs of Civil Aviation for a non-precise approach phase with GPS as sole navigation means. This generates two missions: a monitoring mission - alarm of failure - ,and a navigation mission - generating a GPS-like signal on board the geostationary satellites. The host satellites will be the Inmarsat constellation. The CE-GPS missions lead to some time requirements, mainly the accuracy of GPS time restitution and of monitoring clock synchronization. To demonstrate that the requirements of the CE-GPS could be achieved, including the time aspects, an experiment has been scheduled over the Last two years, using a part of the Inmarsat II F-2 payload and specially designed ground stations based on 10 channels GPS receivers. This paper presents a review of the results obtained during the continental phase of the CE-GPS experiment with two stations in France, along with some experimental results obtained during the transatlantic phase (three stations in France, French Guyana, and South Africa). It describes the synchronization of the monitoring clocks using the GPS Common-view or the C- to L-Band transponder of the Inmarsat satellite, with an estimated accuracy better than 10 ns (1 sigma).

Uhrich, Pierre J. M.↗
NASA NTRS1995

Relativistic theory for syntonization of clocks in the vicinity of the Earth

A well known prediction of Einstein's general theory of relativity states that two ideal clocks that move with a relative velocity, and are submitted to different gravitational fields will, in general, be observed to run at different rates. Similarly the rate of a clock with respect to the coordinate time of some spacetime reference system is dependent on the velocity of the clock in that reference system and on the gravitational fields it is submitted to. For the syntonization of clocks and the realization of coordinate times (like TAI) this rate shift has to be taken into account at an accuracy level which should be below the frequency stability of the clocks in question, i.e. all terms that are larger than the instability of the clocks should be corrected for. We present a theory for the calculation of the relativistic rate shift for clocks in the vicinity of the Earth, including all terms larger than one part in 10(exp 18). This, together with previous work on clock synchronization (Petit & Wolf 1993, 1994), amounts to a complete relativistic theory for the realization of coordinate time scales at picosecond synchronization and 10(exp -18) syntonization accuracy, which should be sufficient to accommodate future developments in time transfer and clock technology.

Wolf, Peter↗