Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Clock”

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,801 records · Page 100
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 NTRS1992

Compiler-assisted static checkpoint insertion

This paper describes a compiler-assisted approach for static checkpoint insertion. Instead of fixing the checkpoint location before program execution, a compiler enhanced polling mechanism is utilized to maintain both the desired checkpoint intervals and reproducible checkpoint 1ocations. The technique has been implemented in a GNU CC compiler for Sun 3 and Sun 4 (Sparc) processors. Experiments demonstrate that the approach provides for stable checkpoint intervals and reproducible checkpoint placements with performance overhead comparable to a previously presented compiler assisted dynamic scheme (CATCH) utilizing the system clock.

Long, Junsheng↗
NASA NTRS1992

Stratospheric water vapor in the NCAR CCM2

Results are presented of the water vapor distribution in a 3D GCM with good vertical resolution, a state-of-the-art transport scheme, and a realistic water vapor source in the middle atmosphere. In addition to water vapor, the model transported methane and an idealized clock tracer, which provides transport times to and within the middle atmosphere. The water vapor and methane distributions are compared with Nimbus 7 SAMS and LIMS data and with in situ measurements. It is argued that the hygropause in the model is maintained not by 'freeze-drying' at the tops of tropical cumulonimbus, but by a balance between two sources and one sink. Since the southern winter dehydration is unrealistically intense, this balance most likely does not resemble the balance in the real atmosphere.

Mote, Philip W.↗
NASA NTRS1993

A low-power battery ampere-hour meter

A digital device has been developed to meter the current drain of a battery in ampere hours. The device consists of a voltage controlled oscillator (VCO), a frequency divider, an accumulator, and a liquid crystal display. A voltage proportional to load current is converted into a clock signal whose pulse rate is scaled by the frequency divider to the desired engineering units. Final output pulses are counted and displayed. The use of MOSFET and CMOS integrated circuits allows continuous battery-powered operation over a 3-month time period to an accuracy of +/- 2 percent. The instrument will find application where accurate monitoring of battery charge/discharge status is required over long time intervals.

Tripp, John S.↗
NASA NTRS1994

Optoelectronic Receiver For Communication And Control

Many operational and diagnostic features integrated into circuit chip. GaAs-based integrated circuit designed to serve as optoelectronic interface in phased-array antenna. Intended function to receive digital control signals transmitted on optical fiber and to convert signals to electronic control signals, which then applied to monolithic microwave integrated circuit (MMIC). Also used in reception of high-rate optical digital communications within computers, between computers, and in signal-distribution systems in aircraft, automobiles, and ships. Interface circuit represents significant improvement over preexisting interface circuits in that its clock-signal-recovery subcircuit requires little or no preamble for immediate synchronization.

Kunath, Richard↗
NASA NTRS1994

Low-Power CMOS Digital Autocorrelator Spectrometer

Prototype digital autocorrelator spectrometer circuit designed and built as assembly of few very-large-scale integrated (VLSI) complementary metal oxide/semiconductor (CMOS) circuit chips. Spectrometer contains 128 frequency channels and operates at clock rate of as much as 40 MHz. Total dc power needed is only 6 W. Digital autocorrelator spectrometer consists of four 32-channel autocorrelator chips that collectively produce 128-point spectrum of input signal as computed by use of Fourier transform.

Chandra, Kumar M.↗
NASA NTRS1994

Geodetic And Astrometric VLBI Program

MODEST estimates propagation delays and geodetic and astrometric parlameters. MODEST is delay-model (MOD) and parameter-estimation (EST) program that takes into account such delay effects as those related to geometry, clock, troposphere, and ionosphere. Written in FORTRAN 77, C language, and VAX Assembler for DEC VAX-series computers running VMS.

Sovers, Ojars J.↗
NASA NTRS1994

Monolithic Optical-To-Electronic Receiver

Monolithic optoelectronic integrated circuit converts multiplexed digital optical signals into electrical signals, separates, and distributes them to intended destinations. Developed to deliver phase and amplitude commands to monolithic microwave integrated circuits (MMIC's) at elements of millimeter-wave phased-array antenna from single optical fiber driven by external array controller. Also used in distribution of high-data-rate optical communications in local-area networks (LAN's). Notable features include options for optical or electrical clock inputs; outputs for raw data, addresses, and instructions for diagnosis; and optical-signal-detection circuit used to reduce power consumption by 80 percent between data-transmission times. Chip fabricated by processes available at many major semiconductor foundries. Distribution of digital signals in aircraft, automobiles, and ships potential application.

Kunath, Richard↗
NASA NTRS1994

Versatile Controller For CCD's

General-purpose controller for charge-coupled device (CCD) programmed to accommodate variety of CCD designs. In operation of controller, software used to specify CCD-clock waveforms, available in great diversity. Includes timing-signal generator controlled by microcomputer. Flexibility and speed makes it versatile tool for laboratory testing and for variety of applications. Controller operates existing CCD's and able to operate CCD's expected to be developed in foreseeable future.

Novello, J.↗
NASA NTRS1990

Reed Solomon error correction for the space telescope

This paper reports a single 8.2mm by 8.4mm, 200,000 transistor CMOS chip implementation of the Reed Solomon code required by the Space Telescope. The chip features a 10 MHz sustained byte rate independent of error pattern. The 1.6 micron CMOS integrated circuit has complete decoder and encoder functions and uses a single data/system clock. Block lengths up to 255 bytes as well as shortened codes are supported with no external buffering. Erasure corrections as well as random error corrections are supported with programmable corrections of up to 10 symbol errors. Correction time is independent of error pattern and the number of errors.

Whitaker, S.↗
NASA NTRS1990

Serial multiplier arrays for parallel computation

Arrays of systolic serial-parallel multiplier elements are proposed as an alternative to conventional SIMD mesh serial adder arrays for applications that are multiplication intensive and require few stored operands. The design and operation of a number of multiplier and array configurations featuring locality of connection, modularity, and regularity of structure are discussed. A design methodology combining top-down and bottom-up techniques is described to facilitate development of custom high-performance CMOS multiplier element arrays as well as rapid synthesis of simulation models and semicustom prototype CMOS components. Finally, a differential version of NORA dynamic circuits requiring a single-phase uncomplemented clock signal introduced for this application.

Winters, Kel↗
NASA NTRS1990

GaAs VLSI for aerospace electronics

Advanced aerospace electronics systems require high-speed, low-power, radiation-hard, digital components for signal processing, control, and communication applications. GaAs VLSI devices provide a number of advantages over silicon devices including higher carrier velocities, ability to integrate with high performance optical devices, and high-resistivity substrates that provide very short gate delays, good isolation, and tolerance to many forms of radiation. However, III-V technologies also have disadvantages, such as lower yield compared to silicon MOS technology. Achieving very large scale integration (VLSI) is particularly important for fast complex systems. At very short gate delays (less than 100 ps), chip-to-chip interconnects severely degrade circuit clock rates. Complex systems, therefore, benefit greatly when as many gates as possible are placed on a single chip. To fully exploit the advantages of GaAs circuits, attention must be focused on achieving high integration levels by reducing power dissipation, reducing the number of devices per logic function, and providing circuit designs that are more tolerant to process and environmental variations. In addition, adequate noise margin must be maintained to ensure a practical yield.

Larue, G.↗
NASA NTRS1989

Lunar mining equipment

This document contains preliminary concepts for mining and beneficiation of lunar regolith from a 50 metric ton/day mine. Assumptions for the design are outlined below. Lunar regolith is the material to be mined. Since it is already a fine-grained material, the two steps of crushing and breakup from a rock surface are eliminated. The size of the operation was set at 50 metric tons of regolith/day for a three-year period. Operations will occur around the clock to make most efficient use of equipment, thus we assume 24 hr/day. For simplicity we have assumed that the lunar regolith has a uniform density of 1.68 and that it can be mined to a depth of 6 m. No research was done on power supply or distribution. It was left to others to consider the various trade-offs between nuclear and solar power and to design the needed utility system.

Bekkedahl, S.↗
NASA NTRS1993

Comparison of GPS and GLONASS common-view time transfers

It was already shown than even with a simple daily averaging of GLONASS data at each site, continental GLONASS time transfer can be achieved at a level of several tens of nanoseconds. A further step is to carry out observations of GLONASS satellites by the common-view method. A comparison of GPS and GLONASS common-view time transfers between Russia and Western Europe are reported. At each site, a GPS receiver and a GLONASS receiver are connected to the same atomic clock. Both GPS receivers are of NBS type and the GLONASS receivers are of type A-724. As GPS common-view time transfer between Sevres and Mendeleevo is accomplished at a level of a few nanoseconds in precision, it gives an excellent reference with which to evaluate the performance of GLONASS common-view time transfer.

Lewandowski, W.↗
NASA NTRS1993

An ensemble pulsar time

Millisecond pulsars are galactic objects that exhibit a very stable spinning period. Several tens of these celestial clocks have now been discovered, which opens the possibility that an average time scale may be deduced through a long-term stability algorithm. Such an ensemble average makes it possible to reduce the level of the instabilities originating from the pulsars or from other sources of noise, which are unknown but independent. The basis for such an algorithm is presented and applied to real pulsar data. It is shown that pulsar time could shortly become more stable than the present atomic time, for averaging times of a few years. Pulsar time can also be used as a flywheel to maintain the accuracy of atomic time in case of temporary failure of the primary standards, or to transfer the improved accuracy of future standards back to the present.

Petit, Gerard↗
NASA NTRS1993

Plans to improve the experimental limit in the comparison of the east-west and west-east one-way light propagation times on the rotating earth

The preceding paper describes the results so far (interrupted in the Spring of 1989 because of lack of funds) of an experiment comparing the one-way light propagation times on the surface of the rotating Earth. For the 20 Km path length component in the East-West direction the predicted difference between the opposite sense propagation times would be 160 ps, if the approximately 360 Km/s surface speed of the Earth gives effective light speeds of 3 x 10(exp 8) m/s +/- 360 m/s. This could lead to a prediction of the difference between the clock transport and the light pulse synchronization methods described in the preceding paper: delta(T) = 0.5 (160) = 80 ps. The current upper bound of approximately 100 ps for delta(T) is limited by poorly understood systematic errors. The most important seems to be intensity-dependent time delays in the remote light pulse avalanche photo-diode detector. This will be replaced by a continuously operating circular scan streak camera having single photon sensitivity and a time resolution of approximately 5 ps. (This camera has recently been developed by the Xian Institute of Optics and Precision Mechanics in the P.R.C.). Better isolation from shocks and vibration for the Sigma-Tau hydrogen maser during transport will be provided. It is hoped that delta(T) is less than 20 ps can be achieved.

Alley, C. O.↗
NASA NTRS1993

The limit of frequency estimation

In phase and frequency measurements, the measured phase and frequency are not the true phase and frequency but the ones which are disturbed by noises, due to the effects of the noise processes. The effects of three noise processes, i.e., White PM, White FM, and Random Walk FM, on the estimations of phase and frequency is discussed. It is indicated that the properties of these two estimations are very different. In phase estimation, the error can be reduced by properly selecting suitable smoothing length NT and smaple interval T. But in frequency estimation, the error cannot be reduced arbitrarily by means of improving estimator or measurement equipment. The precision of frequency is limited by the intrinsic noises in the clock.

Guo, Wei↗
NASA NTRS1993

Phase aligner for the Electronically Scanned Thinned Array Radiometer (ESTAR) instrument

A prototype Phase Aligner (PA) or the Electronically Scanned Thinned Array Radiometer instrument has been designed and tested. Implemented in a single Xilinx XC3042PC84-125 Field Programmable Gate Array (FPGA), it is a dual-port register file which allows independent storage and phase coherent retrieval of antenna array data by the Central Processing Unit (CPU). It has dimensions of 4 x 20 bits and can be used at clock frequencies as high as 25 MHz. The ESTAR is a passive synthetic-aperture radiometer designed to sense soil moisture and ocean salinity at L-band.

Chren, William A., Jr.↗

Refine your search to explore more results.