SEARCH · Search NASA
Results for “TIMING PROPERTIES”
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.
Generation of precedence relations for mechanical assemblies
Planning of assembly sequences is essential to the manufacturing system design process. Several methodologies have been proposed to represent all the feasible assembly sequences. In this thesis, three algorithms are presented to generate three sets of precedence relations based on all the infeasible assembly tasks, all the infeasible assembly states, and all the feasible assembly sequences, respectively. The equivalence of the resulting sets of precedence relations to the AND/OR graph is established. A new property, the real time property, of a representation of assembly sequences is defined and discussed. A representation of assembly sequences is said to have the real time property, if it is possible to generate the next assembly task by testing locally in the representation, and it will guarantee that the generated assembly task will not lead the assembly sequence to a dead end situation, in which no feasible assembly task can be performed any more. It is shown that the correctness and completeness of one representation can not guarantee the real time property of the representation. It is proven that the directed graph representation and the set of precedence relations based on all the infeasible assembly states have the real time property, while the AND/OR graph representation and the set of precedence relations based on all the infeasible assembly tasks do not have the real time property. Finally in the thesis, the PLEIDEAS system, a PLanning Environment for Integrated DEsign of Assembly Systems, is described and illustrated by an example.
Fluorescence time profile measurement of LAB based liquid scintillator in response to medium relativistic ion particles
Liquid scintillator is widely used in particle physics experiments due to its high light yield, good timing resolution, scalability and low cost. Certain liquid scintillators exhibit pulse shape discrimination capabilities because of difference in fluorescence timing properties induced by different particles. Its fluoresence timing properties have been measured mostly for radioactive decay sources at MeV energies. Here, we present a novel measurement of fluorescence time properties of Linear Alkyl Benzene (LAB) based liquid scintillator in response to high-energy ions of hydrogen (Z = 1), helium (Z = 2) and krypton at around 200–300 MeV/u for the first time. We compared the results to those from radioactive sources and observed a distinct dE / dX dependence, regardless of the particle type. These findings are essential for physics searches such as the diffuse supernova neutrino background in large liquid scintillator detectors like JUNO, and are also critical towards understanding the underlying scintillation timing mechanism.
Strainrange partitioning life predictions of the long time metal properties council creep-fatigue tests
The method of strainrange partitioning is used to predict the cyclic lives of the Metal Properties Council's long time creep-fatigue interspersion tests of several steel alloys. Comparisons are made with predictions based upon the time- and cycle-fraction approach. The method of strainrange partitioning is shown to give consistently more accurate predictions of cyclic life than is given by the time- and cycle-fraction approach.
Strainrange partitioning life predictions of the long time Metal Properties Council creep-fatigue tests
The method of Strainrange Partitioning is used to predict the cyclic lives of the Metal Properties Council's long time creep-fatigue interspersion tests of several steel alloys. Comparisons are made with predictions based upon the Time- and Cycle-Fraction approach. The method of Strainrange Partitioning is shown to give consistently more accurate predictions of cyclic life than is given by the Time- and Cycle-Fraction approach.
Understanding Black Hole X-ray Binaries: The Case of Cygnus X-1
Black Hole X-ray Binaries are known to display distinct emission states that differ in their X-ray spectra, their X-ray timing properties (on times scales less than 1 s) and their radio emission. In recent years monitoring observations, specially with NASA's Rossi X-ray Timing Explorer (RXTE), have provided us with detailed empirical modeling of the phenomenology of the different states as well as a unification scheme of the long term evolution of black holes, transient and persistent, in terms of these states. Observations of the persistent High Mass X-ray Binary (HMXB) Cygnus X-l have been at the forefront of learning about black hole states since its optical identification through a state transition in 1973. In this talk I will present in depth studies of several different aspects of the accretion process in this system. The main data base for these studies is an ongoing RXTE and Ryle radio telescope bi-weekly monitoring campaign that started in 1997. I will discuss high-resolution timing results, especially power spectra, which first gave rise to the Lorentzian description now widely used for black hole and neutron star binaries, and time lags, which we found to be especially well suited to identify state transitions. The evolution of spectral, timing, and radio parameters over years will be shown, including the rms-flux relation and the observation of a clearly correlated radio/x-ray flare. We also observed Cygnus X-1 with INTEGRAL, which allowed us to extend timing and spectral studies to higher energies, with XMM, which provided strong constraints on the parameters of the 6.4 keV iron fluorescence line, and with Chandra, which provided the most in depth study to date of the stellar wind in this system. Models based on the physical conditions in the accretion region are still mainly concentrated on the one or other of the observational areas but they are expanding: as an example I will review results from a jet model for the quantitative description of the radio through X-ray spectra. I will conclude with an outlook on a truly multi-instrument observing campaign of Cygnus X-1 that was performed in 2008 April in order to better constrain the jet models mentioned above (and provide a unique data set for cross-calibration).
Path integral density matrix dynamics: A method for calculating time-dependent properties in thermal adiabatic and non-adiabatic systems
We introduce a new approach for calculating quantum time-correlation functions and time-dependent expectation values in many-body thermal systems; both electronically adiabatic and non-adiabatic cases can be treated. Our approach uses a path integral simulation to sample an initial thermal density matrix; subsequent evolution of this density matrix is equivalent to solution of the time-dependent Schrödinger equation, which we perform using a linear expansion of Gaussian wavepacket basis functions which evolve according to simple classical-like trajectories. Overall, this methodology represents a formally exact approach for calculating time-dependent quantum properties; by introducing approximations into both the imaginary-time and real-time propagations, this approach can be adapted for complex many-particle systems interacting through arbitrary potentials. We demonstrate this method for the spin Boson model, where we find good agreement with numerically exact calculations. We also discuss future directions of improvement for our approach with a view to improving accuracy and efficiency.
Linear analysis of time dependent properties of Child-Langmuir flow
We continue our analysis of the time dependent behavior of the electron flow in the Child-Langmuir system, removing an approximation used earlier. We find a modified set of oscillatory decaying modes with frequencies of the same order as the inverse of the electron transient time. This range (typically MHz) allows simple experimental detection and maybe exploitation. We then study the time evolution of the current in response to a slow change of the anode voltage where the same modes of oscillations appear too. The cathode current in this case is systematically advanced or retarded depending on the direction of the voltage change.
Interface-aware Methods for Diffusion Equations [Slides]
In this talk, we will present interface-aware methods for diffusion equation. The focus is on the necessity of interface-aware, mixed cells, interface reconstruction, discontinuity of material diffusion coefficients, order of accuracy in time, property for large time steps, and simpler interface-aware methods. Numerical examples are provided to demonstrate the features on these aspects of the methods
Thallium 2223 high T(sub c) superconductor in a silver matrix and its magnetic shielding, hermalcycle and time aging properties
Superconducting Tl2Ba2Ca2Cu3O10 (Tl2223) was ground to powder. Mixture with silver powder (0-80% weight) and press to desired shape. After proper annealing, one can get good silver-content Tl2223 bulk superconductor. It is time-stable and has good superconducting property as same as pure Tl2223. It also has better mechanical property and far better thermal cycle property than pure Tl2223.
The effect of physical aging on the time-dependent properties of carbon-fiber-reinforced epoxy composites
Annealing in nitrogen below the glass transition temperature T(g) is found to affect the matrix-dominated physical properties of postcured, (+ and -45)2s specimens of Thornel 300 carbon fiber/Fiberite 934 epoxy composite as well as neat Fiberite 934 epoxy resin. The damping behavior, stress-relaxation rate and enthalpic state of the matrix material are found to decrease as functions of annealing time. The time-dependent change in physical properties is explained on the basis of free-volume collapse related to the physical aging of the nonequilibrium glassy network of epoxy. Such physical aging in network epoxy has been demonstrated to be thermoreversible through the monitoring of its kinetics by differential scanning calorimetry, stress relaxation tests, and dynamic mechanical analysis.
Influence of physical aging on the time-dependent properties of network epoxies and epoxy-matrix composites
The matrix-dominated properties of a network epoxy and its carbon fiber-reinforced composite are noted to be affected by sub-glass transition temperature T(g) annealing in a nitrogen atmosphere. The damping behavior, stress relaxation rate, and enthalpic state of the matrix material were found to decrease as functions of sub-T(g) annealing time. This time-dependent change in physical properties is explained on the basis of a free-volume collapse which is related to the recovery process of the nonequilibrium glassy network of the epoxy. The physical aging in network epoxies has been demonstrated to be thermoreversible. Aging kinetics are studied by means of differential scanning calorimetry, stress relaxation tests, dynamic mechanical analysis, and thermomechanical analysis.
A Formal Model for Real-Time Parallel Computation
The imposition of real-time constraints on a parallel computing environment--- specifically high-performance, cluster-computing systems--- introduces a variety of challenges with respect to the formal verification of the system's timing properties. In this paper, we briefly motivate the need for such a system, and we introduce an automaton-based method for performing such formal verification. We define the concept of a consistent parallel timing system: a hybrid system consisting of a set of timed automata (specifically, timed Buechi automata as well as a timed variant of standard finite automata), intended to model the timing properties of a well-behaved real-time parallel system. Finally, we give a brief case study to demonstrate the concepts in the paper: a parallel matrix multiplication kernel which operates within provable upper time bounds. We give the algorithm used, a corresponding consistent parallel timing system, and empirical results showing that the system operates under the specified timing constraints.
On the time-varying properties of the lunar seismic meteoroid population
Strong short-term fluctuations of meteroid impact rates are evident in a list of 1557 events derived from Apollo lunar seismic data. Times of fall and seismic signal amplitudes are considered in relation to the possible orbits and identification of the impacting objects. The entire lunar surface is the effective collector and the Apollo network data, gathered between 1970 and 1977, reflect the recognized abundance of large meteorite falls from early April through July. There is also some indication that briefly increased counts represent fragments of about 100 g or greater belonging to several meteor streams: Quadrantids, Aquarids, Perseids, Orionids, Leonids, Geminids, and possibly others as well.
Fast X-Ray Timing: A Window into the Strong-Field Regime
The dynamical time-scales in the vicinity of neutron star surfaces and black hole horizons are in the millisecond range. Over the past decade, timing signatures on such scales, either quasi-periodic oscillations (QPOs) and/or coherent pulsations, have been discovered and studied from both neutron stars and black holes with NASA's Rossi X-ray Timing Explorer, Although theoretical interpretations are still hotly debated, these timing properties almost certainly reflect the dynamics of matter in regions dominated by relativistic gravity. I will survey our current understanding of these timing properties, with a focus on how they might he used as probes of fundamental physics.
Studying X-Ray Binaries with High Energy Frequency Quasi-Periodic Oscillations
The goal of this investigation is to further our understanding of the dynamics of secreting neutron stars and black holes in the hope of using these systems as probes of the physics of strong gravitational fetus. The main focus of this work has been a multi-year program of simultaneous millisecond X-ray timing and spectral observations carried out with the Rossi X-Ray Timing Explorer (RXTE) to perform the X-ray timing and one of the satellites Asca, BeppoSAX, or Chandra to perform X-ray spectral measurements. With the advent of Chandra, we have extended our work to incLude extragalactic X-ray binaries. We conducted a comprehensive study of the X-ray and radio behavior of the Black Hole Candidate (BHC) X-ray transient XTE J1550-564 using RXTE, Chandra, and the Australian Telescope Compact Array (ATCA). We showed that strong radio emission is associated with major X-ray outbursts involving an X-ray state transition, while a compact radio jet is seen in the low/hard X-ray state found in the outburst decay. Interesting, the total energy required to produce the compact jet may be a substantial fraction of the total accretion energy of the system in that state. We also performed a detailed study of the spectral and timing properties of the decay. In joint RXTE/BeppoSAX observations of the neutron-star X-ray binary Cyg X-2, we discovered a correlation between the timing properties (the frequency of the horizontal branch oscillations) and the properties of a soft, thermal component of the X-ray spectrum. d e showed that more det<iiled measurements of this source may lead to constraints on models of the accretion flow and the emission of X- ray from accreting neutron stars. We have completed analysis of RXTE observations of the X-ray transient SAX J1750.8-2900 made after detection of X-ray bursts from the source with the BeppoSAX Wide-Field Camera. We discovered millisecond oscillations in both the persistent emission and in the X-ray bursts.
Formal methods for dependable real-time systems
The motivation for using formal methods to specify and reason about real time properties is outlined and approaches that were proposed and used are sketched. The formal verifications of clock synchronization algorithms are concluded as showing that mechanically supported reasoning about complex real time behavior is feasible. However, there was significant increase in the effectiveness of verification systems since those verifications were performed, at it is to be expected that verifications of comparable difficulty will become fairly routine. The current challenge lies in developing perspicuous and economical approaches to the formalization and specification of real time properties.