Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “large systems”

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 127 records · Page 7
All sourcesNASA NTRSDOE OSTI
NASA NTRS2010

Formal Verification of Large Software Systems

We introduce a scalable proof structure to facilitate formal verification of large software systems. In our approach, we mechanically synthesize an abstract specification from the software implementation, match its static operational structure to that of the original specification, and organize the proof as the conjunction of a series of lemmas about the specification structure. By setting up a different lemma for each distinct element and proving each lemma independently, we obtain the important benefit that the proof scales easily for large systems. We present details of the approach and an illustration of its application on a challenge problem from the security domain

Yin, Xiang↗
NASA NTRS1991

Low-Frequency Suspension System For Large Space Structures

Simple system enables vibration testing of space structures on ground. Suspension system includes number of suspension stations attached by cables to space structure (such as truss beam) along its length. Suspension stations fixed to ceiling or other rigid support. Disk and cable adjustments lower frequency of oscillatory motion of suspension system to enable accurate measurements of frequencies of vibration of space structure. Designed to alleviate coupling between suspension system and torsional vibrational modes of structure.

Reed, Wilmer H., III↗
NASA NTRS1980

Large Space Systems Technology, 1980, Volume 1

The technological and developmental efforts in support of the large space systems technology are described. Three major areas of interests are emphasized: (1) technology pertient to large antenna systems; (2) technology related to large space systems; and (3) activities that support both antenna and platform systems.

Frank Kopriver III↗
NASA NTRS1979

Large space system - Charged particle environment interaction technology

Large high-voltage space power systems proposed for future applications in both low earth orbit and geosynchronous altitudes must operate in the space charged-particle environment with possible interactions between this environment and the high-voltage surfaces. The paper reviews the ground experimental work to provide indicators for the interactions that could exist in the space power system. A preliminary analytical model of a large space power system is constructed using the existing NASA Charging Analyzer Program, and its performance in geosynchronous orbit is evaluated. The analytical results are used to illustrate the regions where detrimental interactions could exist and to establish areas where future technology is required.

Stevens, N. J.↗
NASA NTRS1980

Large space systems technology program

Technical challenges of shuttle-era large space systems include the development of space-configured spacecraft concepts, compatibility with the space transportation system, and cost effectiveness. The objectives and organization of NASA's large space structures program are outlined and program elements are discussed. The technology for the offset wrap-rip and the maypole (hoop/column) antenna concepts are discussed as well as analysis techniques for predicting the electromagnetic performance of a broad class of large reflectors. Deployable systems, assembly methods, and modular control systems for space platforms are described. Assembly equipment and devices, surface sensors and shape control, control and stabilization, and integrated analysis and design are also considered.

James, R. L., Jr.↗
NASA NTRS1994

Rapid solution of large-scale systems of equations

The analysis and design of complex aerospace structures requires the rapid solution of large systems of linear and nonlinear equations, eigenvalue extraction for buckling, vibration and flutter modes, structural optimization and design sensitivity calculation. Computers with multiple processors and vector capabilities can offer substantial computational advantages over traditional scalar computer for these analyses. These computers fall into two categories: shared memory computers and distributed memory computers. This presentation covers general-purpose, highly efficient algorithms for generation/assembly or element matrices, solution of systems of linear and nonlinear equations, eigenvalue and design sensitivity analysis and optimization. All algorithms are coded in FORTRAN for shared memory computers and many are adapted to distributed memory computers. The capability and numerical performance of these algorithms will be addressed.

Storaasli, Olaf O.↗
NASA NTRS1986

Procedures and tools for building large Ada systems

Some of the problems unique to building a very large Ada system are addressed. This is done through examples from experience. In the winter of 1985 and 1986, Intermetrics bootstrapped the Ada compiler, which was being built over the last few years. This system consists of about one million lines of full Ada. Over the last few years a number of procedures and tools were adopted for managing the life cycle of each of the many parts of an Ada system. Many of these procedures are well known to most system builders: release management, quality assurance testing; and source file revision control. Others are unique to working in an Ada language environment; i.e., recompilation management, Ada program library management, and managing multiple implementations. First a look is taken at how a large Ada system is broken down into pieces. The Ada definition leaves unspecified a number of issues that the system builder must address: versions, subsystems, multiple implementations, and synchronization of branched development paths. Having introduced how the Ada systems are decomposed, a look is taken, via a series of examples, at how the life cylces of those parts is managed. The procedures and tools used to manage the evolution of the system are examined. It is hoped that other Ada system builders can build upon the experience of the last few years.

Hyde, Ben↗
NASA NTRS1979

The dual momentum control device for large space systems - An example of distributed system adaptive control

One area in which large space systems require new technology is attitude control. The paper presents an adaptive control philosophy applicable to the control of distributed systems. An adaptive control system is described for stabilization of the flexible modes of a spinning ring. The system consists of a modal decomposition and identification subsystem, a gain adjustment subsystem, and a feedback control subsystem. Simulations are presented illustrating the adaptive capability of the system. The adaptive controller did produce stable results by quickly identifying the parameter differences and adjusting the feedback controller gains.

Montgomery, R. C.↗
NASA NTRS1983

A program plan for the development of fault tolerant large space systems

The need for fault tolerance in Large Space systems is discussed. The unique characteristics of LSS which affect fault tolerance are described. The status of fault tolerant research for LSS is described. A program plan to validate and demonstrate the concept of fault tolerance for LSS is developed.

Motyka, P.↗
DOE OSTI2023

Non-Empirical and Self-Interaction Corrections for DFTB: Towards Accurate Quantum Simulations for Large Mesoscale Systems (Final Report)

This project was comprised of two complementary (but parallel) thrusts: (1) implementing massively-parallelized computing hardware (with new computational hardware that may replace GPUs) in the density functional tight binding (DFTB) approach and (2) developing new capabilities in DFTB to calculate the electronic structure and dynamics of large chemical systems. While classical molecular dynamics can handle hundreds of thousands of atoms, it cannot provide a first-principles based description of chemical systems at the quantum level. At the other extreme, conventional Kohn-Sham DFT methods can probe the true quantum mechanical nature of chemical systems; however, these methods cannot tackle the large sizes and length scales relevant to dynamics simulations of realistic systems. The DFTB formalism utilized in this project provides a viable approach for probing these large systems at a quantum mechanical level of detail. However, to utilize the DFTB approach for accurate calculations of electronic properties, it is crucial to incorporate quantum-based corrections in DFTB since exchange-correlation effects can still remain very strong in these large systems. At the same time, enhancing the computational efficiency of DFTB is also essential since optimal computational performance is required for addressing the large size scales associated with realistic chemical systems. As such, the new non-empirical corrections and computing hardware enhancements implemented in this project will enable accurate and computationally efficient approaches to directly probe electronic properties in these large, complex systems.

36 MATERIALS SCIENCE↗
NASA NTRS1989

Constraint elimination in dynamical systems

Large space structures (LSSs) and other dynamical systems of current interest are often extremely complex assemblies of rigid and flexible bodies subjected to kinematical constraints. A formulation is presented for the governing equations of constrained multibody systems via the application of singular value decomposition (SVD). The resulting equations of motion are shown to be of minimum dimension.

Singh, R. P.↗
NASA NTRS1979

Large space system: Charged particle environment interaction technology

Large, high voltage space power systems are proposed for future space missions. These systems must operate in the charged-particle environment of space and interactions between this environment and the high voltage surfaces are possible. Ground simulation testing indicated that dielectric surfaces that usually surround biased conductors can influence these interactions. For positive voltages greater than 100 volts, it has been found that the dielectrics contribute to the current collection area. For negative voltages greater than-500 volts, the data indicates that the dielectrics contribute to discharges. A large, high-voltage power system operating in geosynchronous orbit was analyzed. Results of this analysis indicate that very strong electric fields exist in these power systems.

Stevens, N. J.↗
NASA NTRS1981

Magnetic control systems for large spacecraft with applications to space telescope

Magnetic control systems for large space vehicles offer the advantage of a simple, reliable, low cost augmentation to the primary control system. When used for momentum management, a magnetic torque source offers a long life and noncontaminant environment when compared to a mass expulsion torque source. These qualities make such systems suitable for employment with the Space Telescope, which is a long life, high performance vehicle with optics and scientific instruments which would be degraded by contamination due to mass expulsion products. The various applications of magnetic systems on the Space Telescope are considered. The future trend in magnetic control of large space vehicles lies in providing a known three axis reference for backup operations, such as recovery of the primary control mode.

Dougherty, H.↗