Hyperbolic position finding with synchronous satellites
Hyperbolic position finding with synchronous satellites having frequency conversion unit for operations at higher frequency satellite signals
Casserly, G. W.↗
SEARCH · Search NASA
Results for “synchronization operation”
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.
Executive summary
The scope of Technology Forecasting for Space Communications is very wide, covering virtually every technology that can directly or indirectly affect space communications. The assigned effort, however, was directed toward a series of studies which individually examined important aspects of space communications and which collectively was interrelated. The contributions of the individual tasks and their interrelationship are indicated. The total effort of the tasks was fairly evenly divided between laser oriented and radio frequency tasks. The investigations show that laser communications have a current state of the art which would allow operational systems to be implemented in the 1975 to 1980 time frame. Further, these systems, when operated over ranges in the order of synchronous ranges (42,000 km)and transmitting data rates of 10 to the 8th power 10 to the 9th power bits per second will have a smaller total weight impact on a spacecraft than do radio systems.
Source record↗
Spacecraft charging at high altitudes - The SCATHA satellite program
Satellites at synchronous altitude exhibit unexplained behavior in the operation of electronic circuits and in the performance of thermal controls. A possible explanation for this behavior is the fact that satellites can be charged to large negative voltages by energetic electrons in the space environment. A space measurements program entitled SCATHA has been formulated to determine the characteristics of the charging process, to measure the response of the satellite when charging occurs, and to evaluate the utility of various corrective techniques which can minimize differential charging on the satellite. The instrumentation will measure charging levels and rates of twenty samples of satellite materials, some of which will be modified to prevent buildup of electrostatic charge. The electromagnetic interference background on the satellite will be measured for comparison with MIL STD 461, Electromagnetic Interference Characteristics Requirements for Equipment.
Mcpherson, D. A.↗
The Cable and Wireless approach to network synchronization
The philosophy adopted by Cable and Wireless for the synchronization of its world-wide network is presented. The architectures of some clock systems already deployed and how network synchronization had been implemented at selected locations are discussed. This includes some innovative designs as the network spans both first and third world countries with a combination of North Amercan and European hierarchy equipment. Different parts of the global network are linked together by a combination of terrestrial microwave, submarine cable and satellite technology. The impact of synchronization on Intelsat Intermediate Data Rate (IDR) operation and the restoration of submarine cable systems are addressed.
Calvert, Robert D.↗
Improved Signal Chains for Readout of CMOS Imagers
An improved generic design has been devised for implementing signal chains involved in readout from complementary metal oxide/semiconductor (CMOS) image sensors and for other readout integrated circuits (ICs) that perform equivalent functions. The design applies to any such IC in which output signal charges from the pixels in a given row are transferred simultaneously into sampling capacitors at the bottoms of the columns, then voltages representing individual pixel charges are read out in sequence by sequentially turning on column-selecting field-effect transistors (FETs) in synchronism with source-follower- or operational-amplifier-based amplifier circuits. The improved design affords the best features of prior source-follower-and operational- amplifier-based designs while overcoming the major limitations of those designs. The limitations can be summarized as follows: a) For a source-follower-based signal chain, the ohmic voltage drop associated with DC bias current flowing through the column-selection FET causes unacceptable voltage offset, nonlinearity, and reduced small-signal gain. b) For an operational-amplifier-based signal chain, the required bias current and the output noise increase superlinearly with size of the pixel array because of a corresponding increase in the effective capacitance of the row bus used to couple the sampled column charges to the operational amplifier. The effect of the bus capacitance is to simultaneously slow down the readout circuit and increase noise through the Miller effect.
Pain, Bedabrata↗
Rewriting Modulo SMT and Open System Analysis
This paper proposes rewriting modulo SMT, a new technique that combines the power of SMT solving, rewriting modulo theories, and model checking. Rewriting modulo SMT is ideally suited to model and analyze infinite-state open systems, i.e., systems that interact with a non-deterministic environment. Such systems exhibit both internal non-determinism, which is proper to the system, and external non-determinism, which is due to the environment. In a reflective formalism, such as rewriting logic, rewriting modulo SMT can be reduced to standard rewriting. Hence, rewriting modulo SMT naturally extends rewriting-based reachability analysis techniques, which are available for closed systems, to open systems. The proposed technique is illustrated with the formal analysis of: (i) a real-time system that is beyond the scope of timed-automata methods and (ii) automatic detection of reachability violations in a synchronous language developed to support autonomous spacecraft operations.
Rocha, Camilo↗
Performance impacts of look-ahead execution in the conversation scheme
The look-ahead execution approach, which allows participant processes that exist early to exit from a conversation before other participants finish their conversation activities, is presented here as a fundamental approach to reducing the synchronization overhead. Queuing network models are developed for systems operating under the basic conversation execution scheme and systems operating under the look-ahead execution scheme. Based on the models, various performance indicators such as the system throughput, the average number of processors idling inside a conversation due to the synchronization required, and the average time spent in conversation are evaluated numerically for different application environments. The results provide insights into the extent of benefits provided by the look-ahead execution approach.
Kim, K. H.↗
Verifying an interactive consistency circuit: A case study in the reuse of a verification technology
The work done at ORA for NASA-LRC in the design and formal verification of a hardware implementation of a scheme for attaining interactive consistency (byzantine agreement) among four microprocessors is presented in view graph form. The microprocessors used in the design are an updated version of a formally verified 32-bit, instruction-pipelined, RISC processor, MiniCayuga. The 4-processor system, which is designed under the assumption that the clocks of all the processors are synchronized, provides software control over the interactive consistency operation. Interactive consistency computation is supported as an explicit instruction on each of the microprocessors. An identical user program executing on each of the processors decides when and on what data interactive consistency must be performed. This exercise also served as a case study to investigate the effectiveness of reusing the technology which was developed during the MiniCayuga effort for verifying synchronous hardware designs. MiniCayuga was verified using the verification system Clio which was also developed at ORA. To assist in reusing this technology, a computer-aided specification and verification tool was developed. This tool specializes Clio to synchronous hardware designs and significantly reduces the tedium involved in verifying such designs. The tool is presented and how it was used to specify and verify the interactive consistency circuit is described.
Bickford, Mark↗
Discovery and Synchronization Service Architectural Notes
This is a short architectural note for a critical component of safely scaling drone operations. The primary motivation for this note is to collect language and terminology around the Discovery and Synchronization Service (DSS) as it is currently implemented for Uncrewed Aircraft System (UAS) Traffic Management. The major driver for this document was frequent miscommunication about DSS. Often there have been multiple informed and invested stakeholders in the same room making statements about “multiple DSSs” and each of them meaning something slightly different.
uas traffic management↗
Multi-Angle Imager for Aerosols Thermal Control System
The Multi-Angle Imager for Aerosols (MAIA) Thermal Control System is a NASA funded instrument that will collect data to help characterize airborne particulate matter over a number of population centers across the globe using multi-angle spectropolarimetric imagery. The data collected by MAIA will facilitate assessments of the impacts of different types of particulate matter on adverse health outcomes. MAIA is a hosted payload meant to operate in a near-circular sun-synchronous polar orbit, with a mean altitude between 600 km and 850 km. The nominal on-orbit mission design lifetime is three years. Temperature control of the MAIA instrument is accomplished with a combination of passive radiators and heaters. The focal plane module (FPM) is cooled to ≤ 235K with a disc shaped radiator that faces the anti-sun side of the sun-synchronous orbit. The temperature of the MAIA cameras and associated electronics is controlled with a cylindrical shaped radiator that projects a near constant area in the nadir direction as the cameras rotate. A noteworthy feature of the MAIA thermal control system design is the novel, low cost, rotationally articulating thermal strap used to transfer heat from the FPMs to their associated FPM Radiator. The strap spans one of the axes of rotation, sweeping out an arc of approximately 60° as the instrument operates. A prototype of the articulating thermal strap was life tested to 260,000 cycles with no signs of significant degradation. An overview of the MAIA thermal control system baseline design is presented, with focus on its novel aspects, including life testing of the prototype articulating thermal strap. In addition, a discussion of the considerations involved in designing a thermal control system for a hosted instrument is provided.
Rosas, Rogelio↗
Synchronization Of Parallel Discrete Event Simulations
Adaptive, parallel, discrete-event-simulation-synchronization algorithm, Breathing Time Buckets, developed in Synchronous Parallel Environment for Emulation and Discrete Event Simulation (SPEEDES) operating system. Algorithm allows parallel simulations to process events optimistically in fluctuating time cycles that naturally adapt while simulation in progress. Combines best of optimistic and conservative synchronization strategies while avoiding major disadvantages. Algorithm processes events optimistically in time cycles adapting while simulation in progress. Well suited for modeling communication networks, for large-scale war games, for simulated flights of aircraft, for simulations of computer equipment, for mathematical modeling, for interactive engineering simulations, and for depictions of flows of information.
Steinman, Jeffrey S.↗
Verification Challenges of Dynamic Testing of Space Flight Hardware
The Six Degree-of-Freedom Dynamic Test System (SDTS) is a test facility at the National Aeronautics and Space Administration (NASA) Johnson Space Center in Houston, Texas for performing dynamic verification of space structures and hardware. Some examples of past and current tests include the verification of on-orbit robotic inspection systems, space vehicle assembly procedures and docking/berthing systems. The facility is able to integrate a dynamic simulation of on-orbit spacecraft mating or demating using flight-like mechanical interface hardware. A force moment sensor is utilized for input to the simulation during the contact phase, thus simulating the contact dynamics. While the verification of flight hardware presents many unique challenges, one particular area of interest is with respect to the use of external measurement systems to ensure accurate feedback of dynamic contact. There are many commercial off-the-shelf (COTS) measurement systems available on the market, and the test facility measurement systems have evolved over time to include two separate COTS systems. The first system incorporates infra-red sensing cameras, while the second system employs a laser interferometer to determine position and orientation data. The specific technical challenges with the measurement systems in a large dynamic environment include changing thermal and humidity levels, operational area and measurement volume, dynamic tracking, and data synchronization. The facility is located in an expansive high-bay area that is occasionally exposed to outside temperature when large retractable doors at each end of the building are opened. The laser interferometer system, in particular, is vulnerable to the environmental changes in the building. The operational area of the test facility itself is sizeable, ranging from seven meters wide and five meters deep to as much as seven meters high. Both facility measurement systems have desirable measurement volumes and the accuracies vary within the respective volumes. In addition, because this is a dynamic facility with a moving test bed, direct line-of-sight may not be available at all times between the measurement sensors and the tracking targets. Finally, the feedback data from the active test bed along with the two external measurement systems must be synchronized to allow for data correlation. To ensure the desired accuracy and resolution of these systems, calibration of the systems must be performed regularly. New innovations in sensor technology itself are periodically incorporated into the facility s overall measurement scheme. In addressing the challenges of the measurement systems, the facility is able to provide essential position and orientation data to verify the dynamic performance of space flight hardware.
Winnitoy, Susan↗
Numerical Studies of an Array of Fluidic Diverter Actuators for Flow Control
In this paper, we study the effect of boundary conditions on the behavior of an array of uniformly-spaced fluidic diverters with an ultimate goal to passively control their output phase. This understanding will aid in the development of advanced designs of actuators for flow control applications in turbomachinery. Computations show that a potential design is capable of generating synchronous outputs for various inlet boundary conditions if the flow inside the array is initiated from quiescence. However, when the array operation is originally asynchronous, several approaches investigated numerically demonstrate that re-synchronization of the actuators in the array is not practical since it is very sensitive to asymmetric perturbations and imperfections. Experimental verification of the insights obtained from the present study is currently being pursued.
Gokoglu, Suleyman A.↗
Virtual time and time warp on the JPL hypercube
This paper describes the concept of virtual time and its implementation in the Time Warp Operating System at the Jet Propulsion Laboratory. Virtual time is a distributed synchronization paradigm that is appropriate for distributed simulation, database concurrency control, real time systems, and coordination of replicated processes. The Time Warp Operating System is targeted toward the distributed simulation application and runs on a 32-node JPL Mark II Hypercube.
Jefferson, David↗
Time warp operating system version 2.7 internals manual
The Time Warp Operating System (TWOS) is an implementation of the Time Warp synchronization method proposed by David Jefferson. In addition, it serves as an actual platform for running discrete event simulations. The code comprising TWOS can be divided into several different sections. TWOS typically relies on an existing operating system to furnish some very basic services. This existing operating system is referred to as the Base OS. The existing operating system varies depending on the hardware TWOS is running on. It is Unix on the Sun workstations, Chrysalis or Mach on the Butterfly, and Mercury on the Mark 3 Hypercube. The base OS could be an entirely new operating system, written to meet the special needs of TWOS, but, to this point, existing systems have been used instead. The base OS's used for TWOS on various platforms are not discussed in detail in this manual, as they are well covered in their own manuals. Appendix G discusses the interface between one such OS, Mach, and TWOS.
Source record↗
The Mission Operations System for Wide-field Infrared Survey Explorer (WISE)
The goal of the Wide-field Infrared Survey Explorer (WISE) mission is to perform a highly sensitive all-sky survey in 4 wavebands from 3 to 25(mu)m. Launched on a Delta II rocket into a 500km Sun-synchronous orbit in June 2009, during its 7 months of operations, WISE will acquire about 50GBytes of raw science data every day, which will be down-linked via the TDRSS relay satellite system and processed into an astronomical catalogue and image atlas. The WISE mission operations system is being implemented in collaboration between UCLA, JPL and IPAC (Caltech). In this paper we describe the challenges to manage a high data rate, cryogenic, low earth-orbit mission; maintaining safe on-orbit operations, fast anomaly recoveries (mandated by the desire to provide complete sky coverage in a limited lifetime), production and dissemination of high quality science products, given the constraints imposed by funding profiles for small space missions.
Science Data Processing↗
Simultaneous master-slave Omega pairs
Master-slave sequence ordering of the Omega system is suggested as a method of improving the pair geometry for low-cost receiver user benefit. The sequence change will not affect present sophisticated processor users other than require new labels for some pair combinations, but may require worldwide transmitter operators to slightly alter their long-range synchronizing techniques.
Burhans, R. W.↗
Use of computers to exclude the influence of radiometer instability upon measurement results
A radiometer, practically insensitive to great fluctuations in the equipment amplification coefficient, was developed by dividing the useful signal by a reference signal and modulating the two signals at different frequencies. The signals are simultaneously separated by corresponding synchronous detectors and recorded over two channels. The operation is simplified by replacing the continuous signals by a sampling of discrete values, and using a digital computer. The four steps involved in the process are described and a block diagram is included. This technique not only directly connects the radiometer with the computer, but also records all data provided by the control and signal channels.
Domnin, S. L.↗