Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Logic Design”

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,135 records · Page 63

Detecting Mode Confusion Through Formal Modeling and Analysis

Aircraft safety has improved steadily over the last few decades. While much of this improvement can be attributed to the introduction of advanced automation in the cockpit, the growing complexity of these systems also increases the potential for the pilots to become confused about what the automation is doing. This phenomenon, often referred to as mode confusion, has been involved in several accidents involving modern aircraft. This report describes an effort by Rockwell Collins and NASA Langley to identify potential sources of mode confusion through two complementary strategies. The first is to create a clear, executable model of the automation, connect it to a simulation of the flight deck, and use this combination to review of the behavior of the automation and the man-machine interface with the designers, pilots, and experts in human factors. The second strategy is to conduct mathematical analyses of the model by translating it into a formal specification suitable for analysis with automated tools. The approach is illustrated by applying it to a hypothetical, but still realistic, example of the mode logic of a Flight Guidance System.

Miller, Steven P.↗

Software Development Technologies for Reactive, Real-Time, and Hybrid Systems: Summary of Research

This research is directed towards the implementation of a comprehensive deductive-algorithmic environment (toolkit) for the development and verification of high assurance reactive systems, especially concurrent, real-time, and hybrid systems. For this, we have designed and implemented the STCP (Stanford Temporal Prover) verification system. Reactive systems have an ongoing interaction with their environment, and their computations are infinite sequences of states. A large number of systems can be seen as reactive systems, including hardware, concurrent programs, network protocols, and embedded systems. Temporal logic provides a convenient language for expressing properties of reactive systems. A temporal verification methodology provides procedures for proving that a given system satisfies a given temporal property. The research covered necessary theoretical foundations as well as implementation and application issues.

Manna, Zohar↗

Software Defined Radios - Architectures, Systems and Functions

Software Defined Radio (SDR) technology has been proven in the commercial sector since the early 90's. Today's rapid advancement in mobile telephone reliability and power management capabilities exemplifies the effectiveness of the SDR technology for the modern communications market. SDR technology offers potential to revolutionize satellite transponder technology by increasing science data through-put capability by at least an order of magnitude. While the SDR is adaptive in nature and is "One-size-fits-all" by design, conventional transponders are built to a specific platform and must be redesigned for every new bus. The SDR uses a minimum amount of analog/Radio Frequency (RF) components to up/down-convert the RF signal to/from a digital format. Once analog data is digitized, all processing is performed using hardware logic. Typical SDR processes include; filtering, modulation, up/down converting and demodulation. These innovations have reduced the cost of transceivers, a decrease in power requirements and a commensurate reduction in volume. An additional pay-off is the increased flexibility of the SDR: allowing the same hardware to implement multiple transponder types by altering hardware logic -no change of analog hardware is required -all of which can be ultimately accomplished in orbit.

Sims, Herb↗

Bayesian Inference in the Modern Design of Experiments

This paper provides an elementary tutorial overview of Bayesian inference and its potential for application in aerospace experimentation in general and wind tunnel testing in particular. Bayes Theorem is reviewed and examples are provided to illustrate how it can be applied to objectively revise prior knowledge by incorporating insights subsequently obtained from additional observations, resulting in new (posterior) knowledge that combines information from both sources. A logical merger of Bayesian methods and certain aspects of Response Surface Modeling is explored. Specific applications to wind tunnel testing, computational code validation, and instrumentation calibration are discussed.

DeLoach, Richard↗

Composite-dimensional topological codes with boundaries and defects

We introduce new algorithms and provide example constructions of stabilizer models for the gapped boundaries, domain walls, and 0D defects of Abelian composite-dimensional twisted quantum doubles. Using the physically intuitive concept of condensation, our algorithm explicitly describes how to construct the boundary and domain-wall stabilizers starting from the bulk model. This extends the utility of Pauli stabilizer models in describing nontranslationally invariant topological orders with gapped boundaries. To highlight this utility, we provide a series of examples, including a new family of quantum error-correcting codes where the double of ℤ4 is coupled to instances of the double semion (DS) phase. We discuss the codes' utility in the burgeoning area of quantum error correction with an emphasis on the interplay between deconfined anyons, logical operators, error rates, and decoding. We also augment our construction, built using algorithmic tools to describe the properties of explicit stabilizer layouts at the microscopic lattice level, with dimensional counting arguments and macroscopic-level constructions building on pants decompositions. The latter outlines how such codes' representation and design can be automated. Our results are validated by a series of error-correcting threshold calculations comparing our codes' performance with that of standard surface codes. To do so, we introduce a composite-dimensional belief-propagation decoder with ordered statistics that utilizes combination sweeps. Going beyond our worked-out examples, we expect our explicit step-by-step algorithms to pave the path for higher-dimensional codes to be discovered and implemented in near-future architectures that take advantage of various hardware platforms.

Mousa, Mohamad [Purdue University]↗

State criminal justice telecommunications (STACOM). Volume 4: Network design software user's guide

A user's guide to the network design program is presented. The program is written in FORTRAN V and implemented on a UNIVAC 1108 computer under the EXEC-8 operating system which enables the user to construct least-cost network topologies for criminal justice digital telecommunications networks. A complete description of program features, inputs, processing logic, and outputs is presented, and a sample run and a program listing are included.

Lee, J. J.↗

The conical scanner evaluation system design

The software design for the conical scanner evaluation system is presented. The purpose of this system is to support the performance analysis of the LANDSAT-D conical scanners, which are infrared horizon detection attitude sensors designed for improved accuracy. The system consists of six functionally independent subsystems and five interface data bases. The system structure and interfaces of each of the subsystems is described and the content, format, and file structure of each of the data bases is specified. For each subsystem, the functional logic, the control parameters, the baseline structure, and each of the subroutines are described. The subroutine descriptions include a procedure definition and the input and output parameters.

Cumella, K. E.↗

Payload vibration isolation in a microgravity environment

Many in-space research experiments require the microgravity environment attainable near the center of mass of the Space Station. Disturbances to the structure surrounding an experiment may lead to vibration levels that will degrade the microgravity environment and undermine the experiment's validity. In-flight disturbances will include vibration transmission from nearby equipment and excitation from crew activity. Isolation of these vibration-sensitive experiments is required. Analytical and experimental work accomplished to develop a payload (experiment) isolation system for use in space is described. The isolation scheme allows the payload to float freely within a prescribed boundary while being kept centered with forces generated by small jets of air. The vibration criterion was a maximum payload acceleration of 10 micro-g's (9.81x10(exp -5)m/s(exp 2), independent of frequency. An experimental setup, composed of a cart supported by air bearings on a flat granite slab, was designed and constructed to simulate the microgravity environment in the horizontal plane. Experimental results demonstrate that the air jet control system can effectively manage payload oscillatory response. An analytical model was developed and verified by comparing predicted and measured payload response. The mathematical model, which includes payload dynamics, control logic, and air jet forces, is used to investigate payload response to disturbances likely to be present in the Space Station.

Alexander, Richard M.↗

Space station evolution: Planning for the future

The need for permanently manned presence in space has been recognized by the United States and its international partners for many years. The development of this capability was delayed due to the concurrent recognition that reusable earth-to-orbit transportation was also needed and should be developed first. While the decision to go ahead with a permanently manned Space Station was on hold, requirements for the use of the Station were accumulating as ground-based research and the data from unmanned spacecraft sparked the imagination of both scientists and entrepreneurs. Thus, by the time of the Space Station implementation decision in the early 1980's, a variety of disciplines, with a variety of requirements, needed to be accommodated on one Space Station. Additional future requirements could be forecast for advanced missions that were still in the early planning stages. The logical response was the development of a multi-purpose Space Station with the ability to evolve on-orbit to new capabilities as required by user needs and national or international decisions, i.e., to build an evolutionary Space Station. Planning for evolution is conducted in parallel with the design and development of the baseline Space Station. Evolution planning is a strategic management process to facilitate change and protect future decisions. The objective is not to forecast the future, but to understand the future options and the implications of these on today's decisions. The major actions required now are: (1) the incorporation of evolution provisions (hooks and scars) in the baseline Space Station; and (2) the initiation of an evolution advanced development program.

Diaz, Alphonso V.↗

Improving system reliability through formal analysis and use of checks in software

Software is playing increasingly important roles in avionics systems. It is widely used in navigation and, in some cases, in control loops that maintain aircraft stability. To guarantee the safety of flight systems, the FAA requires that critical components have a probability of failure no greater than 10(exp -9) per hour of flight. Software is being used to diagnose system components for failure. SIFT (Software Implemented Fault Tolerance) was a computer system developed to study the use of software to check for failure and manage processor reconfiguration. To guarantee that software satisfies its specifications, formal verification can be used. With this a program and its specification are viewed as mathematical objects, and a mathematical proof is used to show that the program and its specification are equivalent. In previous research, a theory of checking was developed to offer assistance in analyzing specifications and designing run-time checks. In the theory, checking is considered abstractly in terms of n-ary relations much like those of relational database theory. Within the theory check are categorized, checks on input and checks on results are considered, and formal attention is given to the minimization and logical combination of checks. The focus is upon input checks and the obstacles in checking input to critical systems. A central concern is with a property referred to as independence. The concern is with circumstances under which it is possible to apply isolated, independent checks to separate sensor inputs and be assure that all illegal input will be properly detected. Presently, independence is being investigated and checked in the context of the GCS (Guidance and Control System). The GCS simulator is intended for testing software that implements control laws for landing spacecraft. The large number of inputs and their complex interrelationships provide an exciting context in which to investigate independence and the difficulties of supplying input checks.

Staknis, Mark E.↗

Vertical Navigation Control Laws and Logic for the Next Generation Air Transportation System

A vertical navigation (VNAV) outer-loop control system was developed to capture and track the vertical path segments of energy-efficient trajectories that are being developed for high-density operations in the evolving Next Generation Air Transportation System (NextGen). The VNAV control system has a speed-on-elevator control mode to pitch the aircraft for tracking a calibrated airspeed (CAS) or Mach number profile and a path control mode for tracking the VNAV altitude profile. Mode control logic was developed for engagement of either the speed or path control modes. The control system will level the aircraft to prevent it from flying through a constraint altitude. A stability analysis was performed that showed that the gain and phase margins of the VNAV control system significantly exceeded the design gain and phase margins. The system performance was assessed using a six-deg-of-freedom non-linear transport aircraft simulation and the performance is illustrated with time-history plots of recorded simulation data.

Hueschen, Richard M.↗

Application of software technology to a future spacecraft computer design

A study was conducted to determine how major improvements in spacecraft computer systems can be obtained from recent advances in hardware and software technology. Investigations into integrated circuit technology indicated that the CMOS/SOS chip set being developed for the Air Force Avionics Laboratory at Wright Patterson had the best potential for improving the performance of spaceborne computer systems. An integral part of the chip set is the bit slice arithmetic and logic unit. The flexibility allowed by microprogramming, combined with the software investigations, led to the specification of a baseline architecture and instruction set.

Labaugh, R. J.↗

A fast acting electrical servo for the actuation of full span, Fowler-type wing flaps in DLC applications: A detail design study

The philosophy and detail design of an electro-mechanical actuator for Fowler-type wing flaps which have a response time constant of 0.025 seconds are described. A conventional electrical servomotor with a power rating twice the maximum power delivered to the load is employed along with adaptive, gain-scheduled feedback and various logic circuits, including one to remove electrical excitation from the motor during extended periods when no motion of the flap is desired.

Smetana, F. O.↗

Qualitative evaluation of a conformal velocity vector display for use at high angles-of-attack in fighter aircraft

A piloted simulation study was conducted to evaluate the utility of a display device designed to illustrate graphically and conformally the approximate location of a fighter aircraft's velocity vector. The display device consisted of two vertical rows of light emitting diodes (LED's) located toward the center of the cockpit instrument panel to each side of the control stick. The light strings provided a logical extension of the head up display (HUD) velocity vector symbol at flight path angles which exceeded the HUD field-of-view. Four test subjects flew a modified F/A-18 model with this display in an air-to-air engagement task against an equally capable opponent. Their responses to a questionnaire indicated that the conformal velocity vector information could not be used during the scenarios investigated due to the inability to visually track a target and view the lights simultaneously.

Jones, Denise R.↗

Hierarchical modelling of mobile, seeing robots

This paper describes the implementation of a hierarchical robot simulation which supports the design of robots with vision and mobility. A seeing robot applies a classification expert system for visual identification of laboratory objects. The visual data acquisition algorithm used by the robot vision system has been developed to exploit multiple viewing distances and perspectives. Several different simulations have been run testing the visual logic in a laboratory environment. Much work remains to integrate the vision system with the rest of the robot system.

Luh, Cheng-Jye↗

Wide Range SET Pulse Measurement

A method for measuring a wide range of SET pulses is demonstrated. Use of dynamic logic, faster than ordinary CMOS, allows capture of short pulses. A weighted binning of SET lengths allows measurement of a wide range of pulse lengths with compact circuitry. A pulse-length-conservative pulse combiner tree routes SETs from combinational logic to the measurement circuit, allowing SET measurements in circuits that cannot easily be arranged in long chains. The method is applied to add-multiplex combinational logic, and to an array of NFET routing switches, at .35 micron. Pulses are captured in a chain of Domino Logic AND gates. Propagation through the chain is frozen on the trailing edge by dropping low the second "enable" input to the AND gates. Capacitive loading is increased in the latter stages to create an approximately logarithmic weighted binning, so that a broad range of pulse lengths can be captured with a 10 stage capture chain. Simulations show pulses can be captured which are 1/5th the length of those typically captured with leading edge triggered latch methods, and less than the length of those captured with a trailing edge latch method. After capture, the pulse pattern is transferred to an SEU protected shift register for readout. 64 instances of each of two types of logic are used as targets. One is a full adder with a 4 to 1 mux on its inputs. The other is a 4 x 4 NFET routing matrix. The outputs are passed through buffered XNOR comparators to identify pulses, which are merged in a buffered not-nand (OR) tree designed to avoid pulse absorption as much as possible. The output from each of the two test circuits are input into separate pulse measurement circuits. Test inputs were provided so that the circuit could be bench tested and calibrated. A third SET measurement circuit with no inputs was used to judge the contribution from direct hits on the measurement circuit. Heavy ions were used with an LET range from 12 to 176. At LET of 21 and below, the very small number of SETs were not significantly higher in the test over the control circuits. At higher LET the test circuit SETs are one or two orders of magnitude greater than for the control circuit. The NFET circuit produces more and slightly longer SETs as expected. But the differences do not appear to be significant enough to modify strategies now used to avoid capture of SETs in chips such as FPGAs. Complete data and graphs will be in the full paper / presentation. In the summary figure below left, NOCL is the reference circuit without any input, and number of stages triggered is plotted. Simulation at right shows the smallest pulse captured (stage 2) at about 300 ps. Our conclusion is that the method is promising, but that improvements in the merge network are desirable before applying in a deep submicron process

Shuler, Robert L.↗

Stroboscope Controller for Imaging Helicopter Rotors

A versatile electronic timing-and-control unit, denoted a rotorcraft strobe controller, has been developed for use in controlling stroboscopes, lasers, video cameras, and other instruments for capturing still images of rotating machine parts especially helicopter rotors. This unit is designed to be compatible with a variety of sources of input shaftangle or timing signals and to be capable of generating a variety of output signals suitable for triggering instruments characterized by different input-signal specifications. It is also designed to be flexible and reconfigurable in that it can be modified and updated through changes in its control software, without need to change its hardware. Figure 1 is a block diagram of the rotorcraft strobe controller. The control processor is a high-density complementary metal oxide semiconductor, singlechip 8-bit microcontroller. It is connected to a 32K x 8 nonvolatile static random-access memory (RAM) module. Also connected to the control processor is a 32K 8 electrically programmable read-only-memory (EPROM) module, which is used to store the control software. Digital logic support circuitry is implemented in a field-programmable gate array (FPGA). A 240 x 128-dot, 40- character 16-line liquid-crystal display (LCD) module serves as a graphical user interface; the user provides input through a 16-key keypad mounted next to the LCD. A 12-bit digital-to-analog converter (DAC) generates a 0-to-10-V ramp output signal used as part of a rotor-blade monitoring system, while the control processor generates all the appropriate strobing signals. Optocouplers are used to isolate all input and output digital signals, and optoisolators are used to isolate all analog signals. The unit is designed to fit inside a 19-in. (.48-cm) rack-mount enclosure. Electronic components are mounted on a custom printed-circuit board (see Figure 2). Two power-conversion modules on the printedcircuit board convert AC power to +5 VDC and 15 VDC, respectively.

Jensen, Scott↗

Flight testing of unique aircraft configurations

Some historical developments of flight testing of unique aircraft configurations by NASA and the military sector are documented. Several test aircraft are outlined including the M2-F1 (which was the first Space Shuttle concept ever demonstrated, and contributed to the present design), the X-15, the Flying Wing, the Lunar Landing Research Vehicle, the Oblique Wing Research Aircraft, and the Space Shuttle Enterprise. Future test aircraft such as the forward swept wing X-29A Advanced Technology Demonstrator Aircraft, and the X-Wing vehicle are also mentioned. It is noted that the logical preliminary to flight testing is flight simulation, and that flight testing itself is the vital final component of the development, and seems to be the most direct approach to aircraft evaluations.

Painter, W. D.↗