SEARCH · Engineering Papers
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.
We use a Monte Carlo method to confirm that cratering asymmetries between the leading and trailing hemispheres of synchronously-rotating satellites should be very large; indeed we find that previous work has tended to underestimate the asymmetry.
Aircraft hardware-in-the-loop simulation is an invaluable tool to flight test engineers; it reveals design and implementation flaws while operating in a controlled environment. Engineers, however, must always be skeptical of the results and analyze them within their proper context. Engineers must carefully ascertain whether an anomaly that occurs in the simulation will also occur in flight. This report presents a chronology illustrating how misleading simulation timing problems led to the implementation of an overly complex position data synchronization guidance algorithm in place of a simpler one. The report illustrates problems caused by the complex algorithm and how the simpler algorithm was chosen in the end. Brief descriptions of the project objectives, approach, and simulation are presented. The misleading simulation results and the conclusions then drawn are presented. The complex and simple guidance algorithms are presented with flight data illustrating their relative success.
A synchronized target subsystem for use in an automated docking system for docking a chase vehicle with a target vehicle wherein the chase vehicle is provided with a video camera for feeding digitized frames to an image processing unit which feeds signals to a control circuit. The control circuit turns on the video camera to digitize a background frame which will include the target vehicle. After the camera grabs the background frame the control circuit turns on a light, which is carried by carried on the chase vehicle and aimed at the target vehicle, and signals the video camera to digitize a foreground frame. A light sensing circuit on the target vehicle receives the light from the chase vehicle and connects a power supply to lights on the target vehicle such that when the foreground frame is digitized the Lights on the target vehicle will show in the foreground frame. Die image processing unit subtracts the background frame from the foreground frame and provides a docking signal.
A synchronized target subsystem for use in an automated docking system for docking a chase vehicle with a target vehicle wherein the chase vehicle is provided with a video camera for feeding digitized frames to an image processing unit which controls a timing circuit. 'Me timing circuit turns on the video camera to digitize a foreground frame and at the same time turns on a transmitter on the chase vehicle. A power generating antenna on the target vehicle receives the transmitted signal from the transmitter and actuates lights on the chase vehicle so that these lights appear in the foreground frame. After the foreground frame has been grabbed, the timing circuit turns the transmitter off and signals the video camera to digitize a background frame. The image processing unit subtracts the background frame from the foreground frame and provides a docking signal.
A synchronous parallel system for emulation and discrete event simulation having parallel nodes responds to received messages at each node by generating event objects having individual time stamps, stores only the changes to the state variables of the simulation object attributable to the event object and produces corresponding messages. The system refrains from transmitting the messages and changing the state variables while it determines whether the changes are superseded, and then stores the unchanged state variables in the event object for later restoral to the simulation object if called for. This determination preferably includes sensing the time stamp of each new event object and determining which new event object has the earliest time stamp as the local event horizon, determining the earliest local event horizon of the nodes as the global event horizon, and ignoring events whose time stamps are less than the global event horizon. Host processing between the system and external terminals enables such a terminal to query, monitor, command or participate with a simulation object during the simulation process.
We use Monte Carlo methods to simulate impacts of ecliptic comets on the synchronously rotating satellites of giant planets. We reconfirm the long-standing prediction that the cratering rate should be much higher on the leading hemispheres than on the trailing hemisphere; indeed we find that previously published analytical formulations modestly underestimate the degree of apex-antapex asymmetry to be expected. We then compare our results to new mapping of impact craters on Ganymede, Callisto, and Triton. Ganymede reveals a pronounced apex-antapex asymmetry that is nonetheless much less than predicted. All of Triton's confirmed impact craters are clustered toward the apex of motion, far exceeding the predicted asymmetry. No asymmetry is observed on Callisto. In each case at least one of our basic assumptions must be wrong. Likely candidates include the following: (i) the surfaces of all but the most sparsely cratered satellites are saturated or nearly saturated with impact craters; (ii) these satellites have rotated nonsynchronously over geological time; (iii) most of the craters are made not by heliocentric (Sun-orbiting) comets and asteroids but rather by planetocentric (planet-orbiting) debris of indeterminate origin; or (iv) pathological endogenic resurfacing has created illusions of structure. Callisto's surface is readily classified as nearly saturated. Ganymede's bright terrains, although less heavily cratered than those of Callisto, can also be explained by crater densities approaching saturation on a world where endogenic processes were active. The leading alternative is nonsynchronous rotation, an explanation supported by the distribution of catenae (crater chains produced by impact of tidally disrupted comets). Triton's craters can be explained by planetocentric debris or by capricious resurfacing, but both hypotheses are inherently improbable.
Recent research using NASA Ames AH-1 and OH-58C helicopters, and NASA Glenn test rigs, has shown that in-flight vibration data are typically non-stationary [l-4]. The nature and extent of this non-stationarity is most likely produced by several factors operating simultaneously. The aerodynamic flight environment and pilot commands provide continuously changing inputs, with a complex dynamic response that includes automatic feedback control from the engine regulator. It would appear that the combined effects operate primarily through an induced torque profile, which causes concomitant stress modulation at the individual internal gear meshes in the transmission. This notion is supported by several analyses, which show that upwards of 93% of the vibration signal s variance can be explained by knowledge of torque alone. That this relationship is stronger in an AH-1 than an OH-58, where measured non-stationarity is greater, suggests that the overall mass of the vehicle is an important consideration. In the lighter aircraft, the unsteady aerodynamic influences transmit relatively greater unsteady dynamic forces on the mechanical components, quite possibly contributing to its greater non-stationarity . In a recent paper using OH-58C pinion data [5], the authors have shown that in computing a time synchronous average (TSA) for various single-value metric computations, an effective trade-off can be obtained between sample size and measured stationarity by using data from only a single mesh cycle. A mesh cycle, which is defined as the number of rotations required for the gear teeth to return to their original mating position, has the property of representing all of the discrete phase angles of the opposing gears exactly once in the average. Measured stationarity is probably maximized because a single mesh cycle of the pinion gear occurs over a very short span of time, during which time-dependent non-stationary effects are kept to a minimum. Clearly, the advantage of local stationarity diminishes as the temporal duration of the cycle increases. This is most evident for a planetary mesh cycle, which can take several minutes to complete.
Tidal heating is an important energy source for several solar system bodies, and there is a wide-spread perception that the pattern of surface heat flow is diagnostic of internal structure. We wish to clarify that situation. Our analysis depends upon two important assumptions: First, that heat transport is dominated by conduction. Second, that the body can be modeled by a sequence of spherically symmetric layers, each with a linear visco-elastic rheology. Under these assumptions, surface heat flow patterns in tidally dominated satellites will reflect radially integrated dissipation patterns. For synchronously rotating satellites with zero obliquity, this pattern depends quite strongly on orbital eccentricity but relatively little on purely radial variations in internal structure. The total amount of heat generated within the body does depend sensitively on internal structure, but the spatial pattern is rather insensitive to structure, especially at low orbital eccentricities.
The invention is a synchronized electronic shutter system (SESS) and method for same side and through transmission thermal analysis and inspection of a material for finding defects, corrosion, disbond defects, integrity of a weld and determination of paint thickness. The system comprises an infrared detector that acquires background images of the sample. A shutter then covers the detector and lamps rapidly heat the sample above ambient temperature. Shutters cover all lamps at the same time the shutter over the infrared detector is opened. The infrared detector acquires a series of temperature images over time radiated from the sample a s the sample cools down. After collecting a series of temperature images taken by the SESS, a processed image is developed using one of the group comprising time derivative calculation, temperature normalization data reduction routine, thermal diffusivity curve fitting and averaging the series of temperature images.
We present the formal verification of synchronizing aspects of the Reliable Computing Platform (RCP), a fault-tolerant computing system for digital flight control applications. The RCP uses NMR-style redundancy to mask faults and internal majority voting to purge the effects of transient faults. The system design has been formally specified and verified using the EHDM verification system. Our formalization is based on an extended state machine model incorporating snapshots of local processors clocks.
One half of Professor Xiong's effort will investigate robust timing synchronization schemes for dynamically varying characteristics of aviation communication channels. The other half of his time will focus on efficient modulation and coding study for the emerging quantum communications.
This paper compares the performances of two different types of data-derived symbol synchronizers, namely, Filter and Square (FS) and Digital Data Transition Tracking Loop (DTTL), in the presence of unbalanced data streams.
This paper examines the implementaion of MOSFETs as synchronous rectifiers which results in a substantial improvement in power processing efficency and therefore may result in significant reduction of spacecraft mass and volum for the same payload.
Using the MAP estimation approach to carrier synchronization of digital modulations containing ISI together with a two pulse stream AMP representation of GMSK, it is possible to obtain an optimum closed loop configuration in the same manner as has been previously proposed for other conventional modulations with ISI.
This report presents the mechanical verification of a simplified model of a rapid Byzantine-fault-tolerant self-stabilizing protocol for distributed clock synchronization systems. This protocol does not rely on any assumptions about the initial state of the system. This protocol tolerates bursts of transient failures, and deterministically converges within a time bound that is a linear function of the self-stabilization period. A simplified model of the protocol is verified using the Symbolic Model Verifier (SMV) [SMV]. The system under study consists of 4 nodes, where at most one of the nodes is assumed to be Byzantine faulty. The model checking effort is focused on verifying correctness of the simplified model of the protocol in the presence of a permanent Byzantine fault as well as confirmation of claims of determinism and linear convergence with respect to the self-stabilization period. Although model checking results of the simplified model of the protocol confirm the theoretical predictions, these results do not necessarily confirm that the protocol solves the general case of this problem. Modeling challenges of the protocol and the system are addressed. A number of abstractions are utilized in order to reduce the state space. Also, additional innovative state space reduction techniques are introduced that can be used in future verification efforts applied to this and other protocols.
A synchronized target subsystem for use in an automated docking or station keeping system for docking a chase vehicle with a target vehicle wherein the chase vehicle is provided with a video camera which provides adjacent frames each having a predetermined time duration. A light source mounted on the target vehicle flashes at a frequency which has a time duration which is a multiple of the duration time of the frames, the light being on for at least one frame duration and being off for the remainder of the cycle. An image processing unit is connected to the camera for receiving signals from the camera and subtracting one of the adjacent frames from the other to detect whether the light appears in one frame, both frames or neither frame. If the target light appears in both frames or neither frame, the image processing unit feeds a signal to a timing circuit to advance the video camera one frame. This process is continued until the target light appears in one frame and not in the other, at which time the process of advancing the video camera is stopped.
Apparatus and methods are directed to a perfusion culture system in which a rotating bioreactor is used to grow cells in a liquid culture medium, while these cells are attached to an adhesive-treated porous surface. As a result of this arrangement and its rotation, the attached cells divide, with one cell remaining attached to the substrate, while the other cell, a newborn cell is released. These newborn cells are of approximately the same age, that are collected upon leaving the bioreactor. The populations of newborn cells collected are of synchronous and are minimally, if at all, disturbed metabolically.
This paper presents the mechanical verification of a simplified model of a rapid Byzantine-fault-tolerant self-stabilizing protocol for distributed clock synchronization systems. This protocol does not rely on any assumptions about the initial state of the system except for the presence of sufficient good nodes, thus making the weakest possible assumptions and producing the strongest results. This protocol tolerates bursts of transient failures, and deterministically converges within a time bound that is a linear function of the self-stabilization period. A simplified model of the protocol is verified using the Symbolic Model Verifier (SMV). The system under study consists of 4 nodes, where at most one of the nodes is assumed to be Byzantine faulty. The model checking effort is focused on verifying correctness of the simplified model of the protocol in the presence of a permanent Byzantine fault as well as confirmation of claims of determinism and linear convergence with respect to the self-stabilization period. Although model checking results of the simplified model of the protocol confirm the theoretical predictions, these results do not necessarily confirm that the protocol solves the general case of this problem. Modeling challenges of the protocol and the system are addressed. A number of abstractions are utilized in order to reduce the state space.