Search NASASearch

SEARCH · Search NASA

Results for “automatic generation control”

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 73 records · Page 4

Anthropometric considerations for a 4-axis side-arm flight controller

A data base on multiaxis side-arm flight controls was generated. The rapid advances in fly-by-light technology, automatic stability systems, and onboard computers have combined to create flexible flight control systems which could reduce the workload imposed on the operator by complex new equipment. This side-arm flight controller combines four controls into one unit and should simplify the pilot's task. However, the use of a multiaxis side-arm flight controller without complete cockpit integration may tend to increase the pilot's workload.

Debellis, W. B.

The KATE shell: An implementation of model-based control, monitor and diagnosis

The conventional control and monitor software currently used by the Space Center for Space Shuttle processing has many limitations such as high maintenance costs, limited diagnostic capabilities and simulation support. These limitations have caused the development of a knowledge based (or model based) shell to generically control and monitor electro-mechanical systems. The knowledge base describes the system's structure and function and is used by a software shell to do real time constraints checking, low level control of components, diagnosis of detected faults, sensor validation, automatic generation of schematic diagrams and automatic recovery from failures. This approach is more versatile and more powerful than the conventional hard coded approach and offers many advantages over it, although, for systems which require high speed reaction times or aren't well understood, knowledge based control and monitor systems may not be appropriate.

Cornell, Matthew

Development and evaluation of automatic landing control laws for power lift STOL aircraft

A series of investigations were conducted to generate and verify through ground bases simulation and flight research a data base to aid in the design and certification of advanced propulsive lift short takeoff and landing aircraft. Problems impacting the design of powered lift short haul aircraft that are to be landed automatically on STOL runways in adverse weather were examined. An understanding of the problems was gained by a limited coverage of important elements that are normally included in the certification process of a CAT 3 automatic landing system.

Feinreich, B.

A Unified Overset Grid Generation Graphical Interface and New Concepts on Automatic Gridding Around Surface Discontinuities

For many years, generation of overset grids for complex configurations has required the use of a number of different independently developed software utilities. Results created by each step were then visualized using a separate visualization tool before moving on to the next. A new software tool called OVERGRID was developed which allows the user to perform all the grid generation steps and visualization under one environment. OVERGRID provides grid diagnostic functions such as surface tangent and normal checks as well as grid manipulation functions such as extraction, extrapolation, concatenation, redistribution, smoothing, and projection. Moreover, it also contains hyperbolic surface and volume grid generation modules that are specifically suited for overset grid generation. It is the first time that such a unified interface existed for the creation of overset grids for complex geometries. New concepts on automatic overset surface grid generation around surface discontinuities will also be briefly presented. Special control curves on the surface such as intersection curves, sharp edges, open boundaries, are called seam curves. The seam curves are first automatically extracted from a multiple panel network description of the surface. Points where three or more seam curves meet are automatically identified and are called seam corners. Seam corner surface grids are automatically generated using a singular axis topology. Hyperbolic surface grids are then grown from the seam curves that are automatically trimmed away from the seam corners.

Chan, William M.

Automatic phase control in solar power satellite systems

Various approaches to the problem of generating, maintaining and distributing a coherent, reference phase signal over a large area are suggested, mathematically modeled and analyzed with respect to their ability to minimize: phase build-up, beam diffusion and beam steering phase jitter, cable length, and maximize power transfer efficiency. In addition, phase control configurations are suggested which alleviate the need for layout symmetry.

Lindsey, W. C.

Kinematically redundant robot manipulators

Research on control, design and programming of kinematically redundant robot manipulators (KRRM) is discussed. These are devices in which there are more joint space degrees of freedom than are required to achieve every position and orientation of the end-effector necessary for a given task in a given workspace. The technological developments described here deal with: kinematic programming techniques for automatically generating joint-space trajectories to execute prescribed tasks; control of redundant manipulators to optimize dynamic criteria (e.g., applications of forces and moments at the end-effector that optimally distribute the loading of actuators); and design of KRRMs to optimize functionality in congested work environments or to achieve other goals unattainable with non-redundant manipulators. Kinematic programming techniques are discussed, which show that some pseudo-inverse techniques that have been proposed for redundant manipulator control fail to achieve the goals of avoiding kinematic singularities and also generating closed joint-space paths corresponding to close paths of the end effector in the workspace. The extended Jacobian is proposed as an alternative to pseudo-inverse techniques.

Baillieul, J.

Microwave Radar Sensor Modules

Systems and methods for detecting biometrics using microwave radar sensor modules are disclosed. Integrated microwave sensor modules can include a transmitter unit configured to generate at least one continuous wave transmit signal based upon at least one frequency control signal, a receiver unit configured to utilize a cancellation path to cancel contributions to a return signal based upon at least one cancellation path control signal, and a microcontroller unit that includes a processor, a memory containing a microcontroller application, where the microcontroller application configures the processor to generate at least one frequency control signal to generate least one CW transmit signal having a plurality of frequencies, generate at least one cancellation path control signal to automatically adjust the cancellation path in real time, receive at least one demodulated signal, digitize the at least one demodulated signal, and update the at least one frequency control and cancellation path control signals.

Lux, James Paul

Automatic Generation of Guard-Stable Floating-Point Code

In floating-point programs, test instability occurs when the control flow of a conditional statement diverges from its ideal execution under real arithmetic. This phenomenon is caused by the presence of round-off errors in floating-point computations. Writing programs that correctly handle test instability often require expertise on finite precision computations and rounding errors. This paper presents a fully automatic tool chain that generates and formally verifies a test-stable floating-point C program from its functional specification in real arithmetic. The generated program is instrumented to soundly detect when unstable tests may occur and, in these cases, to issue a warning. The proposed approach combines the PRECiSA floating-point static analyzer, the Frama-C software verification suite, and the PVS theorem prover.

Floating-Point Arithmetic

Adaptive Shape Control for Aerodynamic Design

We present an approach to aerodynamic optimization in which the shape control is adaptively parameterized. Starting from a coarse set of design variables, a sequence of higher-dimensional nested search spaces is automatically generated. Refinement can be either uniform or adaptive, in which case only the most important shape control is added. The relative importance of candidate design variables is determined by comparing objective and constraint gradients, computed at low cost via adjoint solutions. A search procedure for finding an effective ensemble of shape parameters is also given. We first demonstrate this system on a multipoint drag miminization problem in 2D with many constraints, showing that an adaptive parameterization approach consistently achieves smoother, more robust, and faster design improvement than fixed parameterizations. We also establish a 3D shape- matching benchmark, where we demonstrate that our approach automatically discovers the necessary parameters to match a target shape. By largely automating shape parameterization, this work also aims to remove a time-consuming aspect of shape optimization.

Aerodynamic Design

Power Management for Space Advanced Life Support

Space power systems include the power source, storage, and management subsystems. In current crewed spacecraft, solar cells are the power source, batteries provide storage, and the crew performs any required load scheduling. For future crewed planetary surface systems using Advanced Life Support, we assume that plants will be grown to produce much of the crew's food and that nuclear power will be employed. Battery storage is much more costly than nuclear power capacity and so is not likely to be used. We investigate the scheduling of power demands by the crew or automatic control, to reduce the peak power load and the required generating capacity. The peak to average power ratio is a good measure of power use efficiency. We can easily schedule power demands to reduce the peak power from its maximum, but simple scheduling approaches may not find the lowest possible peak to average power ratio. An initial power scheduling example was simple enough for a human to solve, but a more complex example with many intermittent load demands required automatic scheduling. Excess power is a free resource and can be used even for minor benefits.

Jones, Harry

Mariner Mars 1971 attitude control subsystem

The Mariner Mars 1971 attitude control subsystem (ACS) is discussed. It is comprised of a sun sensor set, a Canopus tracker, an inertial reference unit, two cold gas reaction control assemblies, two rocket engine gimbal actuators, and an attitude control electronics unit. The subsystem has the following eight operating modes: (1) launch, (2) sun acquisition, (3) roll search, (4) celestial cruise, (5) all-axes inertial, (6) roll inertial, (7) commanded turn, and (8) thrust vector control. In the celestial cruise mode, the position control is held to plus or minus 0.25 deg. Commanded turn rates are plus or minus 0.18 deg/s. The attitude control logic in conjunction with command inputs from other spacecraft subsystems establishes the ACS operating mode. The logic utilizes Sun and Canopus acquisition signals generated within the ACS to perform automatic mode switching so that dependence of ground control is minimized when operating in the sun acquisition, roll search, and celestial cruise modes. The total ACS weight is 65.7 lb, and includes 5.4 lb of nitrogen gas. Total power requirements vary from 9 W for the celestial cruise mode to 54 W for the commanded turn mode.

Edmunds, R. S.

Orbital servicing and remotely manned systems

The potential of the concepts and techniques of remotely manned aerospace systems to fully exploit the utility and benefits of orbital servicing is discussed. Orbital servicing has been shown to benefit the Space Transportation System by helping to satisfy spacecraft program objectives of long operating times on-orbit while reducing program costs. The wide range of servicer mechanisms postulated in the literature is reduced to two concepts which are used to generate a set of control system requirements. Three control mode alternatives - automatic, supervisory control, and remotely manned control - are introduced, defined, evaluated and each found wanting in certain areas. A combination of supervisory and remotely manned control is shown to overcome most problems.

Smith, G. W.

Knowledge-based approach to system integration

To solve complex problems one can often use the decomposition principle. However, a problem is seldom decomposable into completely independent subproblems. System integration deals with problem of resolving the interdependencies and the integration of the subsolutions. A natural method of decomposition is the hierarchical one. High-level specifications are broken down into lower level specifications until they can be transformed into solutions relatively easily. By automating the hierarchical decomposition and solution generation an integrated system is obtained in which the declaration of high level specifications is enough to solve the problem. We offer a knowledge-based approach to integrate the development and building of control systems. The process modeling is supported by using graphic editors. The user selects and connects icons that represent subprocesses and might refer to prewritten programs. The graphical editor assists the user in selecting parameters for each subprocess and allows the testing of a specific configuration. Next, from the definitions created by the graphical editor, the actual control program is built. Fault-diagnosis routines are generated automatically as well. Since the user is not required to write program code and knowledge about the process is present in the development system, the user is not required to have expertise in many fields.

Blokland, W.

Verifying Interfaces and Generating Interface Control Documents for the Alignment and Phasing Subsystem of the Thirty Meter Telescope from a System Model in SysML

This paper presents a novel method for verifying interfaces and generating interface control documents (ICDs) from a system model in SysMLTM. In systems and software engineering, ICDs are key artifacts that specify the interface(s) to a system or subsystem, and are used to control the documentation of these interfaces. ICDs enable independent teams to develop connecting systems that use the specified interfaces. In the context of the Thirty Meter Telescope (TMT), interface control documents also act as contracts for delivered subsystems. The Alignment and Phasing system (APS) is one such subsystem. APS is required to implement a particular interface, and formulates requirements for the interfaces to be provided by other components of TMT that interface with APS. As the design of APS matures, these interfaces are frequently refined, making it necessary for related ICDs to be updated. In current systems engineering practice, ICDs are maintained manually. This manual maintenance can lead to a loss in integrity and accuracy of the documents over time, resulting in the documents no longer reflecting the actual state of the interfaces of a system. We show how a system model in SysMLTM can be used to generate ICDs automatically. The method is demonstrated through application to interface control documents pertaining to APS. Specifically, we apply the method to the interface of APS to the primary mirror control system (M1CS) and of APS to the Telescope Control System (TCS). We evaluate the newly introduced method through application to two case studies.

Troy, Mitchell

Sensor-knowledge-command fusion paradigm for man/machine systems

Sensing-knowledge-command (SKC) fusion is presented as a fundamental paradigm of implementing cooperative control for an advanced man-machine system. SKC fusion operates on the 'SKC fusion network,' which represents the connection between sensor data to commands through knowledge. Sensing, knowledge, and command of a human and a machine are tapped into the network to provide inputs, or stimuli, to the network. Such stimuli automatically invoke an SKC fusion process and generate a fused output for cooperative control. Once invoked by stimuli, the SKC fusion process forces the network to converge to a new equilibrium state through the network dynamics composed of data fusion, feature transformation, and constraint propagation. The SKC fusion process thus integrates redundant information, maintains network consistency, identifies faulty data and concepts, and specifies those concepts to be strengthened through sensor planning.

Lee, Sukhan

Spur gears: Optimal geometry, methods for generation and Tooth Contact Analysis (TCA) program

The contents of this report include the following: (1) development of optimal geometry for crowned spur gears; (2) methods for their generation; and (3) tooth contact analysis (TCA) computer programs for the analysis of meshing and bearing contact on the crowned spur gears. The method developed for synthesis is used for the determination of the optimal geometry for crowned pinion surface and is directed to reduce the sensitivity of the gears to misalignment, localize the bearing contact, and guarantee the favorable shape and low level of the transmission errors. A new method for the generation of the crowned pinion surface has been proposed. This method is based on application of the tool with a surface of revolution that slightly deviates from a regular cone surface. The tool can be used as a grinding wheel or as a shaver. The crowned pinion surface can also be generated by a generating plane whose motion is provided by an automatic grinding machine controlled by a computer. The TCA program simulates the meshing and bearing contact of the misaligned gears. The transmission errors are also determined.

Litvin, Faydor L.

NanoDesign: Concepts and Software for a Nanotechnology Based on Functionalized Fullerenes

Eric Drexler has proposed a hypothetical nanotechnology based on diamond and investigated the properties of such molecular systems. While attractive, diamonoid nanotechnology is not physically accessible with straightforward extensions of current laboratory techniques. We propose a nanotechnology based on functionalized fullerenes and investigate carbon nanotube based gears with teeth added via a benzyne reaction known to occur with C60. The gears are single-walled carbon nanotubes with appended coenzyme groups for teeth. Fullerenes are in widespread laboratory use and can be functionalized in many ways. Companion papers computationally demonstrate the properties of these gears (they appear to work) and the accessibility of the benzyne/nanotube reaction. This paper describes the molecular design techniques and rationale as well as the software that implements these design techniques. The software is a set of persistent C++ objects controlled by TCL command scripts. The c++/tcl interface is automatically generated by a software system called tcl_c++ developed by the author and described here. The objects keep track of different portions of the molecular machinery to allow different simulation techniques and boundary conditions to be applied as appropriate. This capability has been required to demonstrate (computationally) our gear's feasibility. A new distributed software architecture featuring a WWW universal client, CORBA distributed objects, and agent software is under consideration. The software architecture is intended to eventually enable a widely disbursed group to develop complex simulated molecular machines.

Globus, Al