Search NASA⌕ Search

SEARCH · Search NASA

Results for “Realization”

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,495 records · Page 83

Applications of data compression techniques in modal analysis for on-orbit system identification

Data compression techniques have been investigated for use with modal analysis applications. A redundancy-reduction algorithm was used to compress frequency response functions (FRFs) in order to reduce the amount of disk space necessary to store the data and/or save time in processing it. Tests were performed for both single- and multiple-degree-of-freedom (SDOF and MDOF, respectively) systems, with varying amounts of noise. Analysis was done on both the compressed and uncompressed FRFs using an SDOF Nyquist curve fit as well as the Eigensystem Realization Algorithm. Significant savings were realized with minimal errors incurred by the compression process.

Carlin, Robert A.↗

A Planar Approximation for the Least Reliable Bit Log-likelihood Ratio of 8-PSK Modulation

The optimum decoding of component codes in block coded modulation (BCM) schemes requires the use of the log-likelihood ratio (LLR) as the signal metric. An approximation to the LLR for the least reliable bit (LRB) in an 8-PSK modulation based on planar equations with fixed point arithmetic is developed that is both accurate and easily realizable for practical BCM schemes. Through an error power analysis and an example simulation it is shown that the approximation results in 0.06 dB in degradation over the exact expression at an E(sub s)/N(sub o) of 10 dB. It is also shown that the approximation can be realized in combinatorial logic using roughly 7300 transistors. This compares favorably to a look up table approach in typical systems.

Thesling, William H.↗

Possibility to sound the atmospheric ozone by a radiosonde equipped with two temperature sensors, sensitive and non-sensitive to the long wave radiation

The sensitiveness of white coated thermistor sensors and non-sensitiveness of the gold coated over white thermistor sensors (which have been manufactured by a vacuum evaporation process) to long wave radiation were ascertained by some simple experiments in-room and also by analyses of some results of experimental soundings. From results of analyses on the temperature discrepancies caused by long wave radiation, the possibility to sound the atmospheric ozone partial pressure by a radiosonde equipped with two kinds of sensors, sensitive and non-sensitive to the long wave radiation was suggested, and the test results of the newly developed software for the deduction of ozone partial pressure in upper layers was also shown. However, it was found that the following is the necessary condition to realize the purpose. The sounding should be made by a radiosonde equipped with three sensors, instead of two, one being non-sensitive to the long wave radiation perfectly, and the other two also non-sensitive partially to the downward one, with two different angles of exposure upward. It is essential for the realization of the purpose to get two different values of temperature discrepancies simultaneously observed by the three sensors mentioned above and to avoid the troublesome effects of the upward long wave radiation.

Kitaoka, T.↗

A New K-epsilon Eddy Viscosity Model for High Reynolds Number Turbulent Flows: Model Development and Validation

A new k-epsilon eddy viscosity model, which consists of a new model dissipation rate equation and a new realizable eddy viscosity formulation, is proposed. The new model dissipation rate equation is based on the dynamic equation of the mean-square vorticity fluctuation at large turbulent Reynolds number. The new eddy viscosity formulation is based on the realizability constraints: the positivity of normal Reynolds stresses and Schwarz' inequality for turbulent shear stresses. We find that the present model with a set of unified model coefficients can perform well for a variety of flows. The flows that are examined include: (1) rotating homogeneous shear flows; (2) boundary-free shear flows including a mixing layer, planar and round jets; (3) a channel flow, and flat plate boundary layers with and without a pressure gradient; and (4) backward facing step separated flows. The model predictions are compared with available experimental data. The results from the standard k-epsilon eddy viscosity model are also included for comparison. It is shown that the present model is a significant improvement over the standard k-epsilon eddy viscosity model.

Shih, T.-H.↗

The growth of zeolites A, X and mordenite in space

Zeolites are a class of crystalline aluminosilicate materials that form the backbone of the chemical process industry worldwide. They are used primarily as adsorbents and catalysts and support to a significant extent the positive balance of trade realized by the chemical industry in the United States (around $19 billion in 1991). The magnitude of their efforts can be appreciated when one realizes that since their introduction as 'cracking catalysts' in the early 1960's, they have saved the equivalent of 60 percent of the total oil production from Alaska's North Slope. Thus the performance of zeolite catalysts can have a profound effect on the U.S. economy. It is estimated that a 1 percent increase in yield of the gasoline fraction per barrel of oil would represent a savings of 22 million barrels of crude oil per year, representing a reduction of $400 million in the United States' balance of payments. Thus any activity that results in improvement in zeolite catalyst performance is of significant scientific and industrial interest. In addition, due to their 'stability,' uniformity, and, within limits, their 'engineerable' structures, zeolites are being tested as potential adsorbents to purify gases and liquids at the parts-per-billion levels needed in today's electronic, biomedical, and biotechnology industries and for the environment. Other exotic applications, such as host materials for quantum-confined semiconductor atomic arrays, are also being investigated. Because of the importance of this class of material, extensive efforts have been made to characterize their structures and to understand their nucleation and growth mechanisms, so as to be able to custom-make zeolites for a desired application. To date, both the nucleation mechanics and chemistry (such as what are the 'key' nutrients) are, as yet, still unknown for many, if not all, systems. The problem is compounded because there is usually a 'gel' phase present that is assumed to control the degree of supersaturation, and this gel undergoes a continuous 'polymerization' type reaction during nucleation and growth. Generally, for structure characterization and diffusion studies, which are useful in evaluating zeolites for improving yield in petroleum refining as well as for many of the proposed new applications (e.g., catalytic membranes, molecular electronics, chemical sensors) large zeolites (greater than 100 to 1000 times normal size) with minimum lattice defects are desired. Presently, the lack of understanding of zeolite nucleation and growth precludes the custom design of zeolites for these or other uses. It was hypothesized that the microgravity levels achieved in an orbiting spacecraft could help to isolate the possible effects of natural convection (which affects defect formation) and minimize sedimentation, which occurs since zeolites are twice as dense as the solution from which they are formed. This was expected to promote larger crystals by allowing growing crystals a longer residence time in a high-concentration nutrient field. Thus it was hypothesized that the microgravity environment of Earth orbit would allow the growth of large, more defect-free zeolite crystals in high yield.

Sacco, Albert, Jr.↗

Modeling of Wall-Bounded Complex Flows and Free Shear Flows

Various wall-bounded flows with complex geometries and free shear flows have been studied with a newly developed realizable Reynolds stress algebraic equation model. The model development is based on the invariant theory in continuum mechanics. This theory enables us to formulate a general constitutive relation for the Reynolds stresses. Pope was the first to introduce this kind of constitutive relation to turbulence modeling. In our study, realizability is imposed on the truncated constitutive relation to determine the coefficients so that, unlike the standard k-E eddy viscosity model, the present model will not produce negative normal stresses in any situations of rapid distortion. The calculations based on the present model have shown an encouraging success in modeling complex turbulent flows.

Shih, Tsan-Hsing↗

Error control techniques for satellite and space communications

The unequal error protection capabilities of convolutional and trellis codes are studied. In certain environments, a discrepancy in the amount of error protection placed on different information bits is desirable. Examples of environments which have data of varying importance are a number of speech coding algorithms, packet switched networks, multi-user systems, embedded coding systems, and high definition television. Encoders which provide more than one level of error protection to information bits are called unequal error protection (UEP) codes. In this work, the effective free distance vector, d, is defined as an alternative to the free distance as a primary performance parameter for UEP convolutional and trellis encoders. For a given (n, k), convolutional encoder, G, the effective free distance vector is defined as the k-dimensional vector d = (d(sub 0), d(sub 1), ..., d(sub k-1)), where d(sub j), the j(exp th) effective free distance, is the lowest Hamming weight among all code sequences that are generated by input sequences with at least one '1' in the j(exp th) position. It is shown that, although the free distance for a code is unique to the code and independent of the encoder realization, the effective distance vector is dependent on the encoder realization.

Costello, Daniel J., Jr.↗

Assessment of the SFC database for analysis and modeling

SFC is one of the four clusters that make up the Integrated Work Control System (IWCS), which will integrate the shuttle processing databases at Kennedy Space Center (KSC). The IWCS framework will enable communication among the four clusters and add new data collection protocols. The Shop Floor Control (SFC) module has been operational for two and a half years; however, at this stage, automatic links to the other 3 modules have not been implemented yet, except for a partial link to IOS (CASPR). SFC revolves around a DB/2 database with PFORMS acting as the database management system (DBMS). PFORMS is an off-the-shelf DB/2 application that provides a set of data entry screens and query forms. The main dynamic entity in the SFC and IOS database is a task; thus, the physical storage location and update privileges are driven by the status of the WAD. As we explored the SFC values, we realized that there was much to do before actually engaging in continuous analysis of the SFC data. Half way into this effort, it was realized that full scale analysis would have to be a future third phase of this effort. So, we concentrated on getting to know the contents of the database, and in establishing an initial set of tools to start the continuous analysis process. Specifically, we set out to: (1) provide specific procedures for statistical models, so as to enhance the TP-OAO office analysis and modeling capabilities; (2) design a data exchange interface; (3) prototype the interface to provide inputs to SCRAM; and (4) design a modeling database. These objectives were set with the expectation that, if met, they would provide former TP-OAO engineers with tools that would help them demonstrate the importance of process-based analyses. The latter, in return, will help them obtain the cooperation of various organizations in charting out their individual processes.

Centeno, Martha A.↗

Using CLIPS in the domain of knowledge-based massively parallel programming

The Program Development Environment (PDE) is a tool for massively parallel programming of distributed-memory architectures. Adopting a knowledge-based approach, the PDE eliminates the complexity introduced by parallel hardware with distributed memory and offers complete transparency in respect of parallelism exploitation. The knowledge-based part of the PDE is realized in CLIPS. Its principal task is to find an efficient parallel realization of the application specified by the user in a comfortable, abstract, domain-oriented formalism. A large collection of fine-grain parallel algorithmic skeletons, represented as COOL objects in a tree hierarchy, contains the algorithmic knowledge. A hybrid knowledge base with rule modules and procedural parts, encoding expertise about application domain, parallel programming, software engineering, and parallel hardware, enables a high degree of automation in the software development process. In this paper, important aspects of the implementation of the PDE using CLIPS and COOL are shown, including the embedding of CLIPS with C++-based parts of the PDE. The appropriateness of the chosen approach and of the CLIPS language for knowledge-based software engineering are discussed.

Dvorak, Jiri J.↗

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↗

Gamma-ray constraints on supernova nucleosynthesis

Gamma-ray spectroscopy holds great promise for probing nucleosynthesis in individual supernova explosions via short-lived radioactivity, and for measuring current global Galactic supernova nucleosynthesis with longer-lived radioactivity. It was somewhat surprising that the former case was realized first for a Type II supernova, when both Co-56 and Co-57 were detected in SN 1987A. These provide unprecedented constraints on models of Type II explosions and nucleosynthesis. Live Al-26 in the Galaxy might come from Type II supernovae, and if it is eventually shown to be so, can constrain massive star evolution, supernova nucleosynthesis, and the Galactic Type II supernova rate. Type Ia supernovae, thought to be thermonuclear explosions, have not yet been detected in gamma-rays. This is somewhat surprising given current models and recent Co-56 detection attempts. Ultimately, gamma-ray measurements can confirm their thermonuclear nature, probe the nuclear burning conditions, and help evaluate their contributions to Galactic nucleosynthesis. Type Ib/c supernovae are poorly understood. Whether they are core collapse or thermonuclear events might be ultimately settled by gamma-ray observations. Depending on details of the nuclear processing, any of these supernova types might contribute to a detectable diffuse glow of Fe-60 gamma-ray lines. Previous attempts at detection have come very close to expected emission levels. Remnants of any type of age less that a few centuries might be detectable as individual spots of Ti-44 gamma-ray line emission. It is in fact quite surprising that previous surveys have not discovered such spots, and the constraints on the combination of nucleosynthesis yields and supernova rates are very interesting. All of these interesting limits and possibilities mean that the next mission, International Gamma-Ray Astrophysics Laboratory (INTEGRAL), if it has sufficient sensitivity, is very likely to lead to the realization of much of the great potential of gamma-ray spectroscopy for understanding supernovae.

Leising, Mark D.↗

The scheme machine: A case study in progress in design derivation at system levels

The Scheme Machine is one of several design projects of the Digital Design Derivation group at Indiana University. It differs from the other projects in its focus on issues of system design and its connection to surrounding research in programming language semantics, compiler construction, and programming methodology underway at Indiana and elsewhere. The genesis of the project dates to the early 1980's, when digital design derivation research branched from the surrounding research effort in programming languages. Both branches have continued to develop in parallel, with this particular project serving as a bridge. However, by 1990 there remained little real interaction between the branches and recently we have undertaken to reintegrate them. On the software side, researchers have refined a mathematically rigorous (but not mechanized) treatment starting with the fully abstract semantic definition of Scheme and resulting in an efficient implementation consisting of a compiler and virtual machine model, the latter typically realized with a general purpose microprocessor. The derivation includes a number of sophisticated factorizations and representations and is also deep example of the underlying engineering methodology. The hardware research has created a mechanized algebra supporting the tedious and massive transformations often seen at lower levels of design. This work has progressed to the point that large scale devices, such as processors, can be derived from first-order finite state machine specifications. This is roughly where the language oriented research stops; thus, together, the two efforts establish a thread from the highest levels of abstract specification to detailed digital implementation. The Scheme Machine project challenges hardware derivation research in several ways, although the individual components of the system are of a similar scale to those we have worked with before. The machine has a custom dual-ported memory to support garbage collection. It consists of four tightly coupled processes--processor, collector, allocator, memory--with a very non-trivial synchronization relationship. Finally, there are deep issues of representation for the run-time objects of a symbolic processing language. The research centers on verification through integrated formal reasoning systems, but is also involved with modeling and prototyping environments. Since the derivation algebra is basd on an executable modeling language, there is opportunity to incorporate design animation in the design process. We are looking for ways to move smoothly and incrementally from executable specifications into hardware realization. For example, we can run the garbage collector specification, a Scheme program, directly against the physical memory prototype, and similarly, the instruction processor model against the heap implementation.

Johnson, Steven D.↗

Formal development of a clock synchronization circuit

This talk presents the latest stage in formal development of a fault-tolerant clock synchronization circuit. The development spans from a high level specification of the required properties to a circuit realizing the core function of the system. An abstract description of an algorithm has been verified to satisfy the high-level properties using the mechanical verification system EHDM. This abstract description is recast as a behavioral specification input to the Digital Design Derivation system (DDD) developed at Indiana University. DDD provides a formal design algebra for developing correct digital hardware. Using DDD as the principle design environment, a core circuit implementing the clock synchronization algorithm was developed. The design process consisted of standard DDD transformations augmented with an ad hoc refinement justified using the Prototype Verification System (PVS) from SRI International. Subsequent to the above development, Wilfredo Torres-Pomales discovered an area-efficient realization of the same function. Establishing correctness of this optimization requires reasoning in arithmetic, so a general verification is outside the domain of both DDD transformations and model-checking techniques. DDD represents digital hardware by systems of mutually recursive stream equations. A collection of PVS theories was developed to aid in reasoning about DDD-style streams. These theories include a combinator for defining streams that satisfy stream equations, and a means for proving stream equivalence by exhibiting a stream bisimulation. DDD was used to isolate the sub-system involved in Torres-Pomales' optimization. The equivalence between the original design and the optimized verified was verified in PVS by exhibiting a suitable bisimulation. The verification depended upon type constraints on the input streams and made extensive use of the PVS type system. The dependent types in PVS provided a useful mechanism for defining an appropriate bisimulation.

Miner, Paul S.↗

Evaluation of phase-diversity techniques for solar-image restoration

Phase-diversity techniques provide a novel observational method for overcomming the effects of turbulence and instrument-induced aberrations in ground-based astronomy. Two implementations of phase-diversity techniques that differ with regard to noise model, estimator, optimization algorithm, method of regularization, and treatment of edge effects are described. Reconstructions of solar granulation derived by applying these two implementations to common data sets are shown to yield nearly identical images. For both implementations, reconstructions from phase-diverse speckle data (involving multiple realizations of turbulence) are shown to be superior to those derived from conventional phase-diversity data (involving a single realization). Phase-diverse speckle reconstructions are shown to achieve near diffraction-limited resolution and are validated by internal and external consistency tests, including a comparison with a reconstruction using a well-accepted speckle-imaging method.

Paxman, Richard G.↗

Vibrational Schroedinger Cats

The optical Schroedinger cat states are simple realizations of quantum states having nonclassical features. It is shown that vibrational analogues of such states can be realized in an experiment of double pulse excitation of vibrionic transitions. To track the evolution of the vibrational wave packet we derive a non-unitary time evolution operator so that calculations are made in a quasi Heisenberg picture.

Kis, Z.↗

Some Operational Aspects of the International Two-Way Satellite Time and Frequency Transfer (TWSTFT) Experiment Using INTELSAT Satellites at 307 Degrees East

Eight laboratories are participating in an international two-way satellite time and frequency transfer (TWSTFT) experiment. Regular time and frequency transfers have been performed over a period of almost two years, including both European and transatlantic time transfers. The performance of the regular TWSTFT sessions over an extended period has demonstrated conclusively the usefulness of the TWSTFT method for routine international time and frequency comparisons. Regular measurements are performed three times per week resulting in a regular but unevenly spaced data set. A method is presented that allows an estimate of the values of delta (sub y)(gamma) to be formed from these data. In order to maximize efficient use of paid satellite time an investigation to determine the optimal length of a single TWSTFT session is presented. The optimal experiment length is determined by evaluating how long white phase modulation (PM) instabilities are the dominant noise source during the typical 300-second sampling times currently used. A detailed investigation of the frequency transfers realized via the transatlantic TWSTFT links UTC(USNO)-UTC(NPL), UTC(USNO)-UTC(PTB), and UTC(PTB)-UTC(NPL) is presented. The investigation focuses on the frequency instabilities realized, a three cornered hat resolution of the delta (sub y) (gamma) values, and a comparison of the transatlantic and inter-European determination of UTC(PTB)-UTC(NPL). Future directions of this TWSTFT experiment are outlined.

DeYoung, J. A.↗

LCTV Holographic Imaging

Astronauts are required to interface with complex systems that require sophisticated displays to communicate effectively. Lightweight, head-mounted real-time displays that present holographic images for comfortable viewing may be the ideal solution. We describe an implementation of a liquid crystal television (LCTV) as a spatial light modulator (SLM) for the display of holograms. The implementation required the solution of a complex set of problems. These include field calculations, determination of the LCTV-SLM complex transmittance characteristics and a precise knowledge of the signal mapping between the LCTV and frame grabbing board that controls it. Realizing the hologram is further complicated by the coupling that occurs between the phase and amplitude in the LCTV transmittance. A single drive signal (a gray level signal from a framegrabber) determines both amplitude and phase. Since they are not independently controllable (as is true in the ideal SLM) one must deal with the problem of optimizing (in some sense) the hologram based on this constraint. Solutions for the above problems have been found. An algorithm has been for field calculations that uses an efficient outer product formulation. Juday's MEDOF 7 (Minimum Euclidean Distance Optimal Filter) algorithm used for originally for filter calculations has been successfully adapted to handle metrics appropriate for holography. This has solved the problem of optimizing the hologram to the constraints imposed by coupling. Two laboratory methods have been developed for determining an accurate mapping of framegrabber pixels to LCTV pixels. A friendly software system has been developed that integrates the hologram calculation and realization process using a simple set of instructions. The computer code and all the laboratory measurement techniques determining SLM parameters have been proven with the production of a high quality test image.

Knopp, Jerome↗

Design Optimization for a Maglev System Employing Flux Eliminating Coils

Flux eliminating coils have received no little attention over the past thirty years as an alternative for realizing lift in a MAGLEV system. When the magnets on board the vehicle are displaced from the equilibrium or null flux point of these coils, they induce current in those coils which act to restore the coil to its null flux or centerline position. The question being addressed in this paper is that of how to choose the best coil for a given system. What appears at first glance to be an innocent question is in fact one that is actually quite involved, encompassing both the global economics and physics of the system. The real key in analyzing that question is to derive an optimization index or functional which represents the cost of the system subject to constraints, the primary constraint being that the vehicle lift itself at a certain threshold speed. Outlined in this paper is one scenario for realizing a total system design which uses sequential quadratic programming techniques.

Davey, Kent R.↗