Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “VIOLATIONS”

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 433 records · Page 24

Inferences Concerning the Magnetospheric Source Region for Auroral Breakup

It is argued that the magnetospheric source region for auroral arc breakup and substorm initiation is along boundary plasma sheet (BPS) magnetic field lines. This source region lies beyond a distinct central plasma sheet (CPS) region and sufficiently far from the Earth that energetic ion motion violates the guiding center approximation (i.e., is chaotic). The source region is not constrained to any particular range of distances from the Earth, and substorm initiation may be possible over a wide range of distances from near synchronous orbit to the distant tail. It is also argued that the layer of low-energy electrons and velocity dispersed ion beams observed at low altitudes on Aureol 3 is not a different region from the region of auroral arcs. Both comprise the BPS. The two regions occasionally appear distinct at low altitudes because of the effects of arc field-aligned potential drops on precipitating particles.

Lyons, L. R.↗

Critical assessment of Reynolds stress turbulence models using homogeneous flows

In modeling the rapid part of the pressure correlation term in the Reynolds stress transport equations, extensive use has been made of its exact properties which were first suggested by Rotta. These, for example, have been employed in obtaining the widely used Launder, Reece and Rodi (LRR) model. Some recent proposals have dropped one of these properties to obtain new models. We demonstrate, by computing some simple homogeneous flows, that doing so does not lead to any significant improvements over the LRR model and it is not the right direction in improving the performance of existing models. The reason for this, in our opinion, is that violation of one of the exact properties can not bring in any new physics into the model. We compute thirteen homogeneous flows using LRR (with a recalibrated rapid term constant), IP and SSG models. The flows computed include the flow through axisymmetric contraction; axisymmetric expansion; distortion by plane strain; and homogeneous shear flows with and without rotation. Results show that for most general representation for a model linear in the anisotropic tensor, performs either better or as good as the other two models of the same level.

Shabbir, Aamir↗

Rescheduling with iterative repair

This paper presents a new approach to rescheduling called constraint-based iterative repair. This approach gives our system the ability to satisfy domain constraints, address optimization concerns, minimize perturbation to the original schedule, and produce modified schedules quickly. The system begins with an initial, flawed schedule and then iteratively repairs constraint violations until a conflict-free schedule is produced. In an empirical demonstration, we vary the importance of minimizing perturbation and report how fast the system is able to resolve conflicts in a given time bound. These experiments were performed within the domain of Space Shuttle ground processing.

Zweben, Monte↗

Time management situation assessment (TMSA)

TMSA is a concept prototype developed to support NASA Test Directors (NTDs) in schedule execution monitoring during the later stages of a Shuttle countdown. The program detects qualitative and quantitative constraint violations in near real-time. The next version will support incremental rescheduling and reason over a substantially larger number of scheduled events.

Richardson, Michael B.↗

Fluctuations at the blue edge of saturated wind lines in IUE spectra of O-type stars

We examine basic issues involved in synthesizing resonance-line profiles from 1-D, dynamical models of highly structured hot-star winds. Although these models exhibit extensive variations in density as well as velocity, the density scale length is still typically much greater than the Sobolev length. The line transfer is thus treated using a Sobolev approach, as generalized by Rybicki & Hummer (1978) to take proper account of the multiple Sobolev resonances arising from the nonmonotonic velocity field. The resulting reduced-Lambda-matrix equation describing nonlocal coupling of the source function is solved by iteration, and line profiles and then derived from formal solution integration using this source function. The more appropriate methods that instead use either a stationary or a structured, local source function yield qualitatively similar line-profiles, but are found to violate photon conservation by 10 percent or more. The full results suggest that such models may indeed be able to reproduce naturally some of the qualitative properties long noted in observed UV line profiles, such as discrete absorption components in unsaturated lines, or the blue-edge variability in saturated lines. However, these particular models do not yet produce the black absorption troughs commonly observed in saturated lines, and it seems that this and other important discrepancies (e.g., in acceleration time scale of absorption components) may require development of more complete models that include rotation and other 2-D and/or 3-D effects.

Owocki, Stanley P.↗

Knowledge-based decision support for Space Station assembly sequence planning

A complete Personal Analysis Assistant (PAA) for Space Station Freedom (SSF) assembly sequence planning consists of three software components: the system infrastructure, intra-flight value added, and inter-flight value added. The system infrastructure is the substrate on which software elements providing inter-flight and intra-flight value-added functionality are built. It provides the capability for building representations of assembly sequence plans and specification of constraints and analysis options. Intra-flight value-added provides functionality that will, given the manifest for each flight, define cargo elements, place them in the National Space Transportation System (NSTS) cargo bay, compute performance measure values, and identify violated constraints. Inter-flight value-added provides functionality that will, given major milestone dates and capability requirements, determine the number and dates of required flights and develop a manifest for each flight. The current project is Phase 1 of a projected two phase program and delivers the system infrastructure. Intra- and inter-flight value-added were to be developed in Phase 2, which has not been funded. Based on experience derived from hundreds of projects conducted over the past seven years, ISX developed an Intelligent Systems Engineering (ISE) methodology that combines the methods of systems engineering and knowledge engineering to meet the special systems development requirements posed by intelligent systems, systems that blend artificial intelligence and other advanced technologies with more conventional computing technologies. The ISE methodology defines a phased program process that begins with an application assessment designed to provide a preliminary determination of the relative technical risks and payoffs associated with a potential application, and then moves through requirements analysis, system design, and development.

Source record↗

Using Transparent Informed Prefetching (TIP) to reduce file read latency

As processor performance gains continue to outstrip Input/Output gains, I/O performance is becoming critical to overall system performance. File read latency is the most significant bottleneck for high performance I/O. Other aspects of I/O performance benefit from recent advances in disk bandwidth and throughput resulting from disk arrays, and in write performance derived from buffered write behind and the Log-structured File System. The access gap problem limiting improvements in read latency is exacerbated by distributed file systems operating over networks with diverse bandwidth. Focus is on extending the power of caching and prefetching to reduce file read latencies by exploiting hints from high-levels of a system. Such Transparent Informed Prefetching, TIP, and its benefits are described. It is argued that hints that disclose high level knowledge are a means for transferring optimization information across, without violating, module boundaries. How TIP can be used to convert the high throughput of new technologies such as disk arrays and log-structured file systems into low latency for applications is discussed. Our preliminary experiments show reductions in wall - clock execution time of 13 percent and 20 percent for a multiple module compilation tool (make) accessing data on a local disk and remote Coda file server, respectively, and a reduction of 30 percent for a text search (grep) remotely accessing many small files.

Patterson, R. H.↗

A PC-based simulation of the National Transonic Facitity's safety microprocessor

A brief study was undertaken to demonstrate the feasibility of using a state-of-the-art off-the-shelf high speed personal computer for simulating a microprocessor presently used for wind tunnel safety purposes at Langley Research Center's National Transonic Facility (NTF). Currently, there is no active display of tunnel alarm/alert safety information provided to the tunnel operators, but rather such information is periodically recorded on a process monitoring computer printout. This does not provide on-line situational information nor permit rapid identification of safety operational violations which are able to halt tunnel operations. It was therefore decided to simulate the existing algorithms and briefly evaluate a real-time display which could provide both position and trouble shooting information.

Thibodeaux, J. J.↗

Pressure-confined clumps in magnetized molecular clouds

A substantial fraction of the mass of a giant molecular cloud (GMC) in the Galaxy is confined to clumps which occupy a small fraction of the volume of the cloud. A majority of the clumps in several well-studied GMCs (Ophiuchus, Orion G, Rosette, Cepheus OB3) are not in gravitational virial equilibrium, but instead are confined by the pressure of the surrounding medium. These clumps thus violate one of 'Larson's (1981) laws'. Generalizing the standard virial analysis for spherical clouds to spheroidal clouds, we determine the Jeans mass and the magnetic critical mass for the clumps in these clouds. The Alfven Mach number, which is proportional to the internal velocity dispersion of the clumps divided by the Alfven velocity, is estimated to be of order unity for all the clumps. The more massive clumps, which are in gravitational virial equilibrium, are too massive to be supported by magnetic fields alone (i.e., they are magnetically supercritical). Internally generated turbulence must play a key role in supporting these clumps.

Bertoldi, Frank↗

Thermal elastic shock and its effect on TOPEX spacecraft attitude control

Thermal elastic shock (TES) is a twice per orbit impulsive disturbance torque experienced by low-Earth orbiting spacecraft. The fundamental equations used to model the TES disturbance torque for typical spacecraft appendages (e.g., solar arrays and antenna booms) are derived in detail. In particular, the attitude-pointing performance of the TOPEX spacecraft, when subjected to the TES disturbance, is analyzed using a three-axis nonlinear time-domain simulation. Results indicate that the TOPEX spacecraft could exceed its roll-axis attitude-control requirement during penumbral transitions, and remain in violation for approximately 150 sec each orbit until the umbra collapses. A localized active-control system is proposed as a solution to minimize and/or eliminate the degrading effects of the TES disturbance.

Zimbelman, Darrell F.↗

Verifying command sequences for satellite systems

We present a formal basis for the design of a Checker used in validating safe schedules and in selecting error recovery schedules for satellite control systems. This design includes a high-level specification of Checker behavior and properties (called flight rules) of safe schedules. Specifications are written in Timed Linear Logic (TLL). Validation of schedules is performed in terms of real-time telemetry and deduction system proof rules. Telemetry (state information for satellite subsystems) serves as input to the Checker. Detection of violation of a flight rule by the Checker results in the selection of a contingency plan (error recovery schedule). The Checker is illustrated in terms of the TOPEX/Poseidon Oceanographic Satellite System.

Peters, James F., III↗

The Space Station Freedom microgravity environment

The SSF microgravity environment is discussed focusing on requirements derived from initial specifications proposed by the NASA Office of Space Science and Applications and on microgravity assessment methods including quasi-steady, structural dynamic, and vibroacoustic methods. Preliminary results indicate that the flight dynamics of the vehicle meet the requirements for both scientific and engineering communities, but that a number of vibroacoustic disturbance sources violate the criteria. The assessment updates along with planned on-orbit acceleration measurements and crew disturbance characterizations are being carried out to clearly define and understand the acceleration environment.

Del Basso, Steve↗

A relationship between potential vorticity and zonal wind on Jupiter

We present evidence from analysis of Voyager data and numerical experiments that in Jupiter's troposphere at midlatitudes the potential vorticity is given simply by the reciprocal of the streamfunction. This relationship agrees with the results of a vortex-tube stretching analysis of the Voyager wind-field data of the Great Red Spot and White Oval BC, whereas other published models do not. The derivative of streamfunction with respect to potential vorticity is negative definite, and in the quasigeostrophic limit the relationship is neutrally stable with respect to Arnold's second stability theorem. Numerical experiments indicate that the relationship is also neutrally stable in the primitive shallow-water system. This resolves a long-standing question as to how Jupiter's cloud-top winds are able to violate the Rayleigh-Kuo stability criterion, and constrains the two-layer model to a single free parameter.

Dowling, Timothy E.↗

Three-dimensional magnetotail equilibria by numerical relaxation techniques

Consideration is given to a numerical method to iteratively approach 3D magnetostatic force equilibria, with modeling emphasis on the development of a suitable model of the earth's magnetotail, including a portion of the inner magnetosphere, i.e., on models which violate the 'tail approximation' commonly employed in analytical models. The numerical approach is compared to methods developed for laboratory plasma physics. The method is applied to the magnetotail outside of 10 R(E), using Tsyganenko's (1987) model for the quiet magnetosphere as an initial condition. The changes of the magnetic field necessary to yield an equilibrium configuration and the resulting distribution of the self-consistently derived pressure are discussed. It is shown that a self-consistent magnetotail equilibrium based on a close approximation to Tsyganenko's requires a region 1 type current system, which is not present in the initial configuration.

Hesse, Michael↗

Neurocomputing strategies in decomposition based structural design

The present paper explores the applicability of neurocomputing strategies in decomposition based structural optimization problems. It is shown that the modeling capability of a backpropagation neural network can be used to detect weak couplings in a system, and to effectively decompose it into smaller, more tractable, subsystems. When such partitioning of a design space is possible, parallel optimization can be performed in each subsystem, with a penalty term added to its objective function to account for constraint violations in all other subsystems. Dependencies among subsystems are represented in terms of global design variables, and a neural network is used to map the relations between these variables and all subsystem constraints. A vector quantization technique, referred to as a z-Network, can effectively be used for this purpose. The approach is illustrated with applications to minimum weight sizing of truss structures with multiple design constraints.

Szewczyk, Z.↗

Derivation and application of hard deadlines for real-time control systems

The computation-time delay in the feedback controller of a real-time control system may cause failure to update the control input during one or more sampling periods. If this delay exceeds a certain limit called a hard deadline, either the necessary conditions for system stability are violated or the system leaves the allowed state-space. In such a case a dynamic failure is said to occur to the system. A method for calculating the hard deadlines in linear time-invariant control systems by considering system stability and the allowed state-space is presented. To derive necessary conditions for (asymptotic) system stability, the state difference equation is modified based on an assumed maximum delay and the probability distribution of delays whose magnitudes are less than, or equal to, the assumed maximum delay. Moreover, the allowed state-space - which is derived from given input and state constraints - is used to calculate the hard deadline as a function of time and the system state. A one-shot delay model in which a single event causes a dynamic failure is also considered. The knowledge of hard deadline is then applied to the design of error recovery in a triple modular redundant (TMR) controller computer.

Shin, Kang G.↗

Motion planning of mobile multi-limb robotic systems subject to force and friction constraints

A method is presented to generate motions for a class of multilimb robotic systems enabling them to apply large static forces over large ranges of motion without saturating actuator effort limits, system-environment friction constraints, kinematic joint limits, or geometric workspace obstacles. The approach, termed the force-workspace (FW) approach, maps these constraints into the system C-space to form constraint obstacles using a recursive subdivision process. To generate motions along which actuator efforts can be specified without violating system constraints, paths are planned that avoid these constraint obstacles. The method permits the shape of the paths to be controlled using any configuration-dependent performance criterion. The FW approach was applied to a proposed three-limb planar climbing robot whose task is to climb upwards between two vertical walls by pushing outwards to generate frictional support. Motions were planned automatically within the system FW, enabling it to lift itself upwards using two limbs at a time, and a gait was planned to enable it to switch limbs and climb continuously.

Madhani, Akhil↗

The structure and stability of transonic accretion disks surrounding black holes

Stationary transonic alpha-viscosity models of accretion disks surrounding nonrotating black holes have been investigated. The viscosity is modified such that it vanishes in the supersonic region to ensure its effect does not violate the causality condition. In contrast to previous studies, the viscous stress is taken to be explicitly proportional to the angular velocity gradient and is not assumed to depend solely on the local pressure in the disk. The numerical results reveal that the structure of the innermost regions of the disk are more sensitive to the modified form of the viscosity than to the form of the viscous stress. The critical sonic point is located inside the innermost stable circular orbit of a test particle at 3 Schwarzschild radii. In these solutions, the transition from subsonic to supersonic flow results from pressure effects and not viscous effects. The linear stability of these disks has been examined in the local approximation. It is found that radiative energy transport and viscous stresses in the radial direction can have important effects. As a result, it is shown that the growth rate of the inertial-acoustic mode reaches a maximum at a critical wavelength.

Chen, Xingming↗