Results for “large systems” — Page 5

NASA NTRS1984

A model of asynchronous iterative algorithms for solving large, sparse, linear systems

Solving large, sparse, linear systems of equations is one of the fundamental problems in large scale scientific and engineering computation. A model of a general class of asynchronous, iterative solution methods for linear systems is developed. In the model, the system is solved by creating several cooperating tasks that each compute a portion of the solution vector. This model is then analyzed to determine the expected intertask data transfer and task computational complexity as functions of the number of tasks. Based on the analysis, recommendations for task partitioning are made. These recommendations are a function of the sparseness of the linear system, its structure (i.e., randomly sparse or banded), and dimension.

Reed, D. A.↗

NASA NTRS1980

The role of large space systems

Potential NASA missions utilizing large space systems are outlined. With reference to the Mobile Communications Satellite, four conceptual antenna configurations are described and compared. The Science and Applications Space Platform is described and the development of a power utilization package is examined. The package would be left on orbit and would provide a cost-effective means for collecting sunlight energy, storing it and providing power to Shuttle and payloads.

Carlisle, R. F.↗

NASA NTRS1999

Reduction of Large Dynamical Systems by Minimization of Evolution Rate

Reduction of a large system of equations to a lower-dimensional system of similar dynamics is investigated. For dynamical systems with disparate timescales, a criterion for determining redundant dimensions and a general reduction method based on the minimization of evolution rate are proposed.

Girimaji, Sharath S.↗

NASA NTRS1977

MIDAS, prototype Multivariate Interactive Digital Analysis System for large area earth resources surveys. Volume 1: System description

A third-generation, fast, low cost, multispectral recognition system (MIDAS) able to keep pace with the large quantity and high rates of data acquisition from large regions with present and projected sensots is described. The program can process a complete ERTS frame in forty seconds and provide a color map of sixteen constituent categories in a few minutes. A principle objective of the MIDAS program is to provide a system well interfaced with the human operator and thus to obtain large overall reductions in turn-around time and significant gains in throughput. The hardware and software generated in the overall program is described. The system contains a midi-computer to control the various high speed processing elements in the data path, a preprocessor to condition data, and a classifier which implements an all digital prototype multivariate Gaussian maximum likelihood or a Bayesian decision algorithm. Sufficient software was developed to perform signature extraction, control the preprocessor, compute classifier coefficients, control the classifier operation, operate the color display and printer, and diagnose operation.

Christenson, D.↗

NASA NTRS1970

A bibliographical surveys of large-scale systems

A limited, partly annotated bibliography was prepared on the subject of large-scale system control. Approximately 400 references are divided into thirteen application areas, such as large societal systems and large communication systems. A first-author index is provided.

Corliss, W. R.↗

NASA NTRS1982

Large Space Systems Technology, Part 2, 1981

Four major areas of interest are covered: technology pertinent to large antenna systems; technology related to the control of large space systems; basic technology concerning structures, materials, and analyses; and flight technology experiments. Large antenna systems and flight technology experiments are described. Design studies, structural testing results, and theoretical applications are presented with accompanying validation data. These research studies represent state-of-the art technology that is necessary for the development of large space systems. A total systems approach including structures, analyses, controls, and antennas is presented as a cohesive, programmatic plan for large space systems.

Boyer, W. J.↗

NASA NTRS1990

H2, fixed architecture, control design for large scale systems

The H2, fixed architecture, control problem is a classic linear quadratic Gaussian (LQG) problem whose solution is constrained to be a linear time invariant compensator with a decentralized processing structure. The compensator can be made of p independent subcontrollers, each of which has a fixed order and connects selected sensors to selected actuators. The H2, fixed architecture, control problem allows the design of simplified feedback systems needed to control large scale systems. Its solution becomes more complicated, however, as more constraints are introduced. This work derives the necessary conditions for optimality for the problem and studies their properties. It is found that the filter and control problems couple when the architecture constraints are introduced, and that the different subcontrollers must be coordinated in order to achieve global system performance. The problem requires the simultaneous solution of highly coupled matrix equations. The use of homotopy is investigated as a numerical tool, and its convergence properties studied. It is found that the general constrained problem may have multiple stabilizing solutions, and that these solutions may be local minima or saddle points for the quadratic cost. The nature of the solution is not invariant when the parameters of the system are changed. Bifurcations occur, and a solution may continuously transform into a nonstabilizing compensator. Using a modified homotopy procedure, fixed architecture compensators are derived for models of large flexible structures to help understand the properties of the constrained solutions and compare them to the corresponding unconstrained ones.

Mercadal, Mathieu↗

NASA NTRS1988

Mission Report on the Orbiter Camera Payload System (OCPS) Large Format Camera (LFC) and Attitude Reference System (ARS)

The Orbiter Camera Payload System (OCPS) is an integrated photographic system which is carried into earth orbit as a payload in the Space Transportation System (STS) Orbiter vehicle's cargo bay. The major component of the OCPS is a Large Format Camera (LFC), a precision wide-angle cartographic instrument that is capable of producing high resolution stereo photography of great geometric fidelity in multiple base-to-height (B/H) ratios. A secondary, supporting system to the LFC is the Attitude Reference System (ARS), which is a dual lens Stellar Camera Array (SCA) and camera support structure. The SCA is a 70-mm film system which is rigidly mounted to the LFC lens support structure and which, through the simultaneous acquisition of two star fields with each earth-viewing LFC frame, makes it possible to determine precisely the pointing of the LFC optical axis with reference to the earth nadir point. Other components complete the current OCPS configuration as a high precision cartographic data acquisition system. The primary design objective for the OCPS was to maximize system performance characteristics while maintaining a high level of reliability compatible with Shuttle launch conditions and the on-orbit environment. The full-up OCPS configuration was launched on a highly successful maiden voyage aboard the STS Orbiter vehicle Challenger on October 5, 1984, as a major payload aboard mission STS 41-G. This report documents the system design, the ground testing, the flight configuration, and an analysis of the results obtained during the Challenger mission STS 41-G.

Mollberg, Bernard H.↗

NASA NTRS1993

The R-Shell approach - Using scheduling agents in complex distributed real-time systems

Large, complex real-time systems such as space and avionics systems are extremely demanding in their scheduling requirements. The current OS design approaches are quite limited in the capabilities they provide for task scheduling. Typically, they simply implement a particular uniprocessor scheduling strategy and do not provide any special support for network scheduling, overload handling, fault tolerance, distributed processing, etc. Our design of the R-Shell real-time environment fcilitates the implementation of a variety of sophisticated but efficient scheduling strategies, including incorporation of all these capabilities. This is accomplished by the use of scheduling agents which reside in the application run-time environment and are responsible for coordinating the scheduling of the application.

Natarajan, Swaminathan↗

NASA NTRS1967

System optimization for a large information collection system Scientific report

System optimization for large information collection system

INFORMATION PROCESSING↗

NASA NTRS1980

Integrated analysis capability for large space systems

The development of an integrated analysis computer program capable of performing the conceptual/preliminary structural system design analysis of large space systems is addressed. The integrated analysis capability (IAC) specifications include thermal/structural/controls integration, an emphasis on existing software and interactive graphics and I/O, a project size capability of 1 to 50 users (1 to 5 users concurrent), and the use of the FORTRAN '77 language. The advantages of the DISCOS and NASTRAN computer programs to the IAC are outlined and recommendations for other programs are made. Barriers to the development of the system arising from the interdisciplinary data flow are defined.

Vos, R. G.↗

NASA NTRS1983

Auxiliary propulsion requirements for large space systems

An insight into auxiliary propulsion systems (APS) requirements for large space systems (LSS) launchable by a single shuttle is presented. In an effort to scope the APS requirements for LSS, a set of generic LSSs were defined. For each generic LSS class a specific structural configuration, representative of that most likely to serve the needs of the 1980's and 1990's was defined. The environmental disturbance forces and torques which would be acting on each specific structural configuration in LEO and GEO orbits were then determined. Auxiliary propulsion requirements were determined as a function of: generic class specific configuration, size and openness of structure, orbit, angle of orientation, correction frequency, duty cycle, number and location of thrusters and direction of thrusters and APS/LSS interactions. The results of this analysis were used to define the APS characteristics of: (1) number and distribution of thrusters, (2) thruster modulation, (3) thrust level, (4) mission energy requirements, (5) total APS mass component breakdown, and (6) state of the art adequacy/deficiency.

Maloy, J. E.↗

NASA NTRS1983

Auxiliary propulsion requirements for large space systems

An insight into auxiliary propulsion systems (APS) requirements for large space systems (LSS) launchable by a single shuttle is presented. In an effort to scope the APS requirements for LSS, a set of generic LSSs were defined. For each generic LSS class a specific structural configuration, representative of that most likely to serve the needs of the 1980's and 1990's was defined. The environmental disturbance forces and torques which would be acting on each specific structural configuration in LEO and GEO orbits were then determined. Auxiliary propulsion requirements were determined as a function of: generic class specific configuration, size and openness of structure, orbit, angle of orientation, correction frequency, duty cycle, number and location of thrusters and direction of thrusters and APS/LSS interactions. The results of this analysis were used to define the APS characteristics of: (1) number and distribution of thrusters, (2) thruster modulation, (3) thrust level, (4) mission energy requirements, (5) total APS mass component breakdown, and (6) state of the art adequacy/deficiency. Previously announced in STAR as N83-26922

Maloy, J. E.↗

NASA NTRS1983

Study of auxiliary propulsion requirements for large space systems. Volume 1: Executive summary

An insight into auxiliary propulsion systems (APS) requirements for large space systems (LSS) launchable by a single shuttle is presented. In an effort to scope the APS requirements for LSS, a set of generic LSSs were defined. For each generic LSS class a specific structural configuration, representative of that most likely to serve the needs of the 1980's and 1990's was defined. The environmental disturbance forces and torques which would be acting on each specific structural configuration in LEO and GEO orbits were then determined. Auxiliary propulsion requirements were determined as a function of: generic class specific configuration, size and openness of structure, orbit, angle of orientation, correction frequency, duty cycle, number and location of thrusters and direction of thrusters and APS/LSS interactions. The results of this analysis were used to define the APS characteristics of: (1) number and distribution of thrusters, (2) thruster modulation, (3) thrust level, (4) mission energy requirements, (5) total APS mass component breakdown, and (6) state of the art adequacy/deficiency.

Smith, W. W.↗

NASA NTRS1985

Feed System Design Considerations for Large Space Antenna Systems. Part 1: Multiple Apertures with Non-overlapping Feeds

A feed system design for large space antenna systems was considered. A multiple aperture system with nonoverlapping feeds is examined. Circular and quadrant aperture reflector radiation patterns are compared and the effect of adjacent aperture on radiation patterns of multiple aperture reflector antennas is illustrated. The following systems are examined: (1) feed design optimization for a multiple aperture reflector antenna; (2) radiation pattern for two quadrant reflector with optimized feed design; (3) multiple beam concept utliizing apertures and nonoverlapping feeds; (4) beam contours for two quadrant of multiple beam multiple aperture concept; (5) superposition of beams from two quadrants of multiple beam multiple aperture concent; (6)compensation for mislalignment of interleaved beams from two quadrants; and (7) beam quality improvement due to reorienting feed for offset reflector.

Bailey, M. C.↗

NASA NTRS1980

Space fabrication - The key to future large space systems

Construction techniques for large space structures are discussed. It is pointed out that in contrast to assembly in orbit and the deployment technique space fabrication offers favorable densities (transporting structural materials on reels) and can be adapted to automated construction. A space fabrication machine containing reels of flat sheet material and sets of rollers or dies is described, as is a machine for fabricating composite material (which must be heated for forming and then cooled to achieve structural strength). The use of fabrication machines to build such structures as space platforms, microwave radiometers, and satellite power systems is discussed. The versatility of the machine when operated in conjunction with the Space Shuttle and a set of jigs is illustrated by showing how large square solar panels and large hexagonal structures could be constructed. The need for a flight demonstration of the fabrication machine is stressed.

Savage, M.↗

NASA NTRS1973

On the decentralized control of large-scale systems

The decentralized control of stochastic large scale systems was considered. Particular emphasis was given to control strategies which utilize decentralized information and can be computed in a decentralized manner. The deterministic constrained optimization problem is generalized to the stochastic case when each decision variable depends on different information and the constraint is only required to be satisfied on the average. For problems with a particular structure, a hierarchical decomposition is obtained. For the stochastic control of dynamic systems with different information sets, a new kind of optimality is proposed which exploits the coupled nature of the dynamic system. The subsystems are assumed to be uncoupled and then certain constraints are required to be satisfied, either in a off-line or on-line fashion. For off-line coordination, a hierarchical approach of solving the problem is obtained. The lower level problems are all uncoupled. For on-line coordination, distinction is made between open loop feedback optimal coordination and closed loop optimal coordination.

Chong, C.↗

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↗