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,225 records · Page 68

Accelerating Multigrid-based Hierarchical Scientific Data Refactoring on GPUs

Rapid growth in scientific data and a widening gap between computational speed and I/O bandwidth make it increasingly infeasible to store and share all data produced by scientific simulations. Instead, we need methods for reducing data volumes: ideally, methods that can scale data volumes adaptively so as to enable negotiation of performance and fidelity tradeoffs in different situations. Multigrid-based hierarchical data representations hold promise as a solution to this problem, allowing for flexible conversion between different fidelities so that, for example, data can be created at high fidelity and then transferred or stored at lower fidelity via logically simple and mathematically sound operations. However, the effective use of such representations has been hindered until now by the relatively high costs of creating, accessing, reducing, and otherwise operating on such representations. We describe here highly optimized data refactoring kernels for GPU accelerators that enable efficient creation and manipulation of data in multigrid-based hierarchical forms. We demonstrate that our optimized design can achieve up to 250 TB/s aggregated data refactoring throughput—83% of theoretical peak—on 1024 nodes of the Summit supercomputer. We showcase our optimized design by applying it to a large-scale scientific visualization workflow and the MGARD lossy compression software.

Data refactoring↗

Beyond the supercomputer

A NASA-directed development of massively parallel processor (MPP) computers is outlined, noting intended applications for data processing for near term earth resource and environment mapping, radar, and television transmissions. The MPP is designed to perform 100 billion operations/sec to obtain satisfactory image processing, while separate processing units correct distortions, register images, calculate correlation functions, and classify multispectral characteristics. Arrays of 1s and 0s will be manipulated in analog-to-digital conversions generating separate planes corresponding to powers of binaries. Data wires are replaced by fiber-optic tubes or thousands of wires, and single logic gates are replaced by thousands of logic gates and every memory element by thousands of memory elements. Features of the interconnections and the images control processor units are detailed, along with implementation of sliders for program flexibility.

Schaefer, D. H.↗

The NASA data systems standardization program - Rationale and scope

A simple, top level logical reference model of the NASA Space Transportation System's end-to-end data system is being developed which can identify the functions and services of the system. Each function or service may be mapped into specific physical subsystems, so that interface relationships are evident and 'standard' protocols may be identified for development. By means of this interface standardization, subsystems can be designed not only independently and in parallel, but with confidence that when the subsystems are aggregated, the end-to-end system will operate efficiently and at low cost. This standardization effort has thus far been principally directed toward space-to-ground communications links.

Smylie, R. E.↗

Multiorder etalon sounder (MOES) development and test for balloon experiment

The Fabry-Perot interferometer (FPI), with its high throughput and high spectral resolution has been used in the remote-sensing measurements of the earth's atmospheric composition, winds, and temperatures. The most recent satellite instruments include the Fabry-Perot interferometer flown on the Dynamics Explorer-2 (DE-2), the High Resolution Doppler Imager (HRDI), and the Cryogenic Limb Array Etalon Spectrometer (CLAES) flown on the Upper Atmosphere Research Satellite (UARS). These instruments measure the Doppler line profiles of the emission and absorption of certain atmospheric species (such as atomic oxygen) in the visible and infrared spectral region. The successful space flight of DE-FPI, HRDI, and CLAES on UARS demonstrated the extremely high spectral resolution and ruggedness of the etalon system for the remote sensing of earth and planetary atmospheres. Recently, an innovative FPI focal plane detection technique called the Circle-to-Line Interferometer Optical (CLIO) system was invented at the Space Physics Research Laboratory. The CLIO simplifies the FPI focal plane detection process by converting the circular rings or fringes into a linear pattern similar to that produced by a conventional spectrometer, while retaining the throughput advantage of the etalon interferometer. The combination of FPI and CLIO allows the development of more sensitive Fabry-Perot interferometers in the infrared for the remote sensing of the lower atmospheres of Earth and possibly other planets. The Multiorder Etalon Sounder (MOES), a combination of the rugged etalon and the CLIO, compares very favorably to other space-borne optical instruments in terms of performance versus complexity. The new instrument is expected to be rugged, compact, and very suitable for an operational temperature and moisture sounder. With this technique, the contamination of radiance measurements by emissions of other gases is also minimized. At the Space Physics Research Laboratory (SPRL), the MOES concept and laboratory experiments were worked on for the past several years. Both theoretical studies and laboratory prototype experiments showed that MOES is very competitive compared with other high resolution sounders in terms of complexity and performance and has great potential as a compact and rugged high resolution atmospheric temperature and trace species sounder from the polar platform or the geostationary platform. The logical next step is to convert our laboratory prototype to a balloon instrument, so that field test of MOES can be carried out to prove the feasibility and capability of this new technology. Some of the activities related to the development of MOES for a possible balloon flight demonstration are described. Those research activities include the imaging quality study on the CLIO, the design and construction of a MOES laboratory prototype, the test and calibration of the MOES prototype, and the design of the balloon flight gondola.

Hays, Paul B.↗

Multivariable Techniques for High-Speed Research Flight Control Systems

This report describes the activities and findings conducted under contract with NASA Langley Research Center. Subject matter is the investigation of suitable multivariable flight control design methodologies and solutions for large, flexible high-speed vehicles. Specifically, methodologies are to address the inner control loops used for stabilization and augmentation of a highly coupled airframe system possibly involving rigid-body motion, structural vibrations, unsteady aerodynamics, and actuator dynamics. Design and analysis techniques considered in this body of work are both conventional-based and contemporary-based, and the vehicle of interest is the High-Speed Civil Transport (HSCT). Major findings include: (1) control architectures based on aft tail only are not well suited for highly flexible, high-speed vehicles, (2) theoretical underpinnings of the Wykes structural mode control logic is based on several assumptions concerning vehicle dynamic characteristics, and if not satisfied, the control logic can break down leading to mode destabilization, (3) two-loop control architectures that utilize small forward vanes with the aft tail provide highly attractive and feasible solutions to the longitudinal axis control challenges, and (4) closed-loop simulation sizing analyses indicate the baseline vane model utilized in this report is most likely oversized for normal loading conditions.

Newman, Brett A.↗

Flight Computer Design for the Space Technology 5 (ST-5) Mission

As part of NASA's New Millennium Program, the Space Technology 5 mission will validate a variety of technologies for nano-satellite and constellation mission applications. Included are: a miniaturized and low power X-band transponder, a constellation communication and navigation transceiver, a cold gas micro-thruster, two different variable emittance (thermal) controllers, flex cables for solar array power collection, autonomous groundbased constellation management tools, and a new CMOS ultra low-power, radiation-tolerant, +0.5 volt logic technology. The ST-5 focus is on small and low-power. A single-processor, multi-function flight computer will implement direct digital and analog interfaces to all of the other spacecraft subsystems and components. There will not be a distributed data system that uses a standardized serial bus such as MIL-STD-1553 or MIL-STD-1773. The flight software running on the single processor will be responsible for all real-time processing associated with: guidance, navigation and control, command and data handling (C&DH) including uplink/downlink, power switching and battery charge management, science data analysis and storage, intra-constellation communications, and housekeeping data collection and logging. As a nanosatellite trail-blazer for future constellations of up to 100 separate space vehicles, ST-5 will demonstrate a compact (single board), low power (5.5 watts) solution to the data acquisition, control, communications, processing and storage requirements that have traditionally required an entire network of separate circuit boards and/or avionics boxes. In addition to the New Millennium technologies, other major spacecraft subsystems include the power system electronics, a lithium-ion battery, triple-junction solar cell arrays, a science-grade magnetometer, a miniature spinning sun sensor, and a propulsion system.

Speer, David↗

The Preliminary Design of a Universal Martian Lander

As part of the NASA/USRA program, nineteen West Virginia University students conducted a preliminary design of a manned Universal Martian Lander (UML). The WVU design considers descent to Mars from polar orbit, a six month surface stay, and ascent for rendezvous. The design begins with an unmanned UML landing at Elysium Mons followed by the manned UML landing nearby. During the six month surface stay, the eight modules are assembled to form a Martian base where scientific experiments are performed. The mission also incorporates hydroponic plant growth into a Controlled Ecological Life Support System (CELSS) for water recycling, food production, and to counteract psycho-logical effects of living on Mars. In situ fuel production for the Martian Ascent and Rendezvous Vehicle (MARV) is produced From gases in the Martian atmosphere. Following surface operations, the eight member crew uses the MARV to return to the Martian Transfer Vehicle (MTV) for the journey home to Earth.

Norman, Timothy L.↗

Accelerating Multigrid-based Hierarchical Scientific Data Refactoring on GPUs

Rapid growth in scientific data and a widening gap between computational speed and I/O bandwidth make it increasingly infeasible to store and share all data produced by scientific simulations. Instead, we need methods for reducing data volumes: ideally, methods that can scale data volumes adaptively so as to enable negotiation of performance and fidelity tradeoffs in different situations. Multigrid-based hierarchical data representations hold promise as a solution to this problem, allowing for flexible conversion between different fidelities so that, for example, data can be created at high fidelity and then transferred or stored at lower fidelity via logically simple and mathematically sound operations. However, the effective use of such representations has been hindered until now by the relatively high costs of creating, accessing, reducing, and otherwise operating on such representations. We describe here highly optimized data refactoring kernels for GPU accelerators that enable efficient creation and manipulation of data in multigrid-based hierarchical forms. We demonstrate that our optimized design can achieve up to 250 TB/s aggregated data refactoring throughput—83% of theoretical peak—on 1024 nodes of the Summit supercomputer. We showcase our optimized design by applying it to a large-scale scientific visualization workflow and the MGARD lossy compression software.

Chen, Jieyang↗

Digital adaptive flight control design using single stage model following indices

Simple mechanical linkages are often unable to cope with many control problems associated with high-performance aircraft. This has led to the development of digital fly-by-wire control systems and in particular digital adaptive controllers that can be efficiently adjusted during system operation. To this effect, a control law has been derived based upon the minimization of a single-stage weighted combination of control energy and the squared error between the states of a linear plant and model. This control logic is interfaced with an on-line weighted least-squares estimator and a Kalman state filter. The utility of the resultant control system is illustrated by its application to the linearized dynamics of a typical fighter aircraft.

Alag, G.↗

A bit-serial VLSI array processing chip for image processing

An array processing chip integrating 128 bit-serial processing elements (PEs) on a single die is discussed. Each PE has a 16-function logic unit, a single-bit adder, a 32-b variable-length shift register, and 1 kb of local RAM. Logic in each PE provides the capability to mask PEs individually. A modified grid interconnection scheme allows each PE to communicate with each of its eight nearest neighbors. A 32-b bus is used to transfer data to and from the array in a single cycle. Instruction execution is pipelined, enabling all instructions to be executed in a single cycle. The 1-micron CMOS design contains over 1.1 x 10 to the 6th transistors on an 11.0 x 11.7-mm die.

Heaton, Robert↗

Model-Based Self-Tuning Multiscale Method for Combustion Control

A multi-scale representation of the combustor dynamics was used to create a self-tuning, scalable controller to suppress multiple instability modes in a liquid-fueled aero engine-derived combustor operating at engine-like conditions. Its self-tuning features designed to handle the uncertainties in the combustor dynamics and time-delays are essential for control performance and robustness. The controller was implemented to modulate a high-frequency fuel valve with feedback from dynamic pressure sensors. This scalable algorithm suppressed pressure oscillations of different instability modes by as much as 90 percent without the peak-splitting effect. The self-tuning logic guided the adjustment of controller parameters and converged quickly toward phase-lock for optimal suppression of the instabilities. The forced-response characteristics of the control model compare well with those of the test rig on both the frequency-domain and the time-domain.

Le, Dzu, K.↗

Interferometry from Space

Space-based interferometric observatories will be challenging projects, equal at least to that of building the Great Observatories (the Hubble Space Telescope (HST), Spitzer Space Telescope (SST), Chandra X-ray Observatory, and the Gamma Ray Observatory), if not the Pyramids of Eygpt - but they represent the next logical step in examining our Universe at substantially higher angular resolution. Increasing our resolving power by factors of 100 or more (as is needed to make meaningful improvements in this observational arena) over existing facilities such as HST and SST requires mirror diameters (100's to 1000's of meters) much larger than can be supported by single or segmented mirrors - and thus the design and construction of sparse aperture, inteferometric arrays such as those described herein will be required. But just imagine the rewards of being able to see, for the first time, the surfaces of other stars, the location and type of extrasolar planets and even pictures of those same planets, the inner workings of Active Galactic Nuclei, the close-in details of supernovae explosions, black hole event horizons, and the infrared universe at the same resolution of the UV-optical Hubble Deep Fields. As a slight variation on the "Star Trek: Enterprise" theme song might say, it'll be a "long road, getting from here to there", but it will one well-worth taking.

Carpenter, Kenneth↗

Sensor impact evaluation and verification for fault detection and diagnostics in building energy systems: A review

Sensors are the key information source for fault detection and diagnostics (FDD) in buildings. However, sensors are often not properly designed, installed, calibrated, located, and maintained, which negatively impacts FDD performance. Several sensor-related FDD topics have been widely studied, covering a wide range of fault types and applications. However, it is difficult to get a clear picture of the technical development of sensor-related topics in FDD. A systematic review of sensor topics is needed to summarize the existing research in a logical way, draw conclusions on the current development, and predict the future development of sensors in building FDD. To address this gap, we conducted a comprehensive literature review of more than 100 FDD-sensor-related papers. In this article, we subdivide the FDD tasks into building-level, system-level, and component-level FDD, and review sensor-related topics in each category. Our major conclusions are: (a) current data-driven FDD research focuses more on FDD algorithms than sensors, (b) sensor “hardware” research topics are less studied than sensor “software” topics, (c) very few papers focus on sensor engineering as an integral aspect of FDD development, and (d) some important sensor topics, such as sensor cost-effectiveness and sensor schema/layout/location, are not well studied. Finally, we discuss the need for a systematic framework of FDD sensors and models to integrate sensor design/selection, sensor data analysis/mining, feature selection, physics-based or data-driven algorithm development, sensor fault detection, sensor calibration, and sensor maintenance. Finally, expert interviews are conducted to validate the above findings and conclusions.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

SUMC/MPOS/HAL interface study

The implementation of the HAL/S language on the IBM-360, and in particular the mechanization of its real time, I/O, and error control statements within the OS-360 environment is described. The objectives are twofold: (1) An analysis and general description of HAL/S real time, I/O, and error control statements and the structure required to mechanize these statements. The emphasis is on describing the logical functions performed upon execution of each HAL statement rather than defining whether it is accomplished by the compiler or operating system. (2) An identification of the OS-360 facilities required during execution of HAL/S code as implemented for the current HAL/S-360 compiler; and an evaluation of the aspects involved with interfacing HAL/S with the SUMC operating system utilizing either the HAL/S-360 compiler or by designing a new HAL/S-SUMC compiler.

Saponaro, J. A.↗

Multivariable control altitude demonstration on the F100 turbofan engine

The F100 Multivariable control synthesis (MVCS) program, was aimed at demonstrating the benefits of LGR synthesis theory in the design of a multivariable engine control system for operation throughout the flight envelope. The advantages of such procedures include: (1) enhanced performance from cross-coupled controls, (2) maximum use of engine variable geometry, and (3) a systematic design procedure that can be applied efficiently to new engine systems. The control system designed, under the MVCS program, for the Pratt & Whitney F100 turbofan engine is described. Basic components of the control include: (1) a reference value generator for deriving a desired equilibrium state and an approximate control vector, (2) a transition model to produce compatible reference point trajectories during gross transients, (3) gain schedules for producing feedback terms appropriate to the flight condition, and (4) integral switching logic to produce acceptable steady-state performance without engine operating limit exceedance.

Lehtinen, B.↗

Experimental evaluation of the certification-trail method

Certification trails are a recently introduced and promising approach to fault-detection and fault-tolerance. A comprehensive attempt to assess experimentally the performance and overall value of the method is reported. The method is applied to algorithms for the following problems: huffman tree, shortest path, minimum spanning tree, sorting, and convex hull. Our results reveal many cases in which an approach using certification-trails allows for significantly faster overall program execution time than a basic time redundancy-approach. Algorithms for the answer-validation problem for abstract data types were also examined. This kind of problem provides a basis for applying the certification-trail method to wide classes of algorithms. Answer-validation solutions for two types of priority queues were implemented and analyzed. In both cases, the algorithm which performs answer-validation is substantially faster than the original algorithm for computing the answer. Next, a probabilistic model and analysis which enables comparison between the certification-trail method and the time-redundancy approach were presented. The analysis reveals some substantial and sometimes surprising advantages for ther certification-trail method. Finally, the work our group performed on the design and implementation of fault injection testbeds for experimental analysis of the certification trail technique is discussed. This work employs two distinct methodologies, software fault injection (modification of instruction, data, and stack segments of programs on a Sun Sparcstation ELC and on an IBM 386 PC) and hardware fault injection (control, address, and data lines of a Motorola MC68000-based target system pulsed at logical zero/one values). Our results indicate the viability of the certification trail technique. It is also believed that the tools developed provide a solid base for additional exploration.

Sullivan, Gregory F.↗

The Formation of Nucleobases from the Irradiation of Purine in Astophysical Ices and Comparisons with Meteorites.

N-heterocycles have been identified in meteorites and their extraterrestrial origins are suggested by isotopic ratio measurements. Although small N- heterocycles have not been detected in the interstellar medium (ISM), recent experiments in our lab have shown that the irradiation of the aromatic molecules like benzene (C6H6) and naphthalene (C10H8) in mixed molecular ices leads to the formation of O- and N-heterocyclic molecules. Among the class of N-heterocycles are the nucleobases, which are of astrobiological interest because they are the information bearing units of DNA and RNA. Nucleobases have been detected in meteorites [3-5], with isotopic signatures that are also consistent with an extraterrestrial origin. Three of the biologically relevant nucleobases (uracil, cytosine, and guanine) have a pyrimidine core structure while the remaining two (adenine and guanine) possess a purine core. Previous experiments in our lab have demonstrated that all of the bio-logical nucleobases (and numerous other molecules) with a pyrimidine core structure can be produced by irradiating pyrimidine in mixed molecular ices of several compositions [6-8]. In this work, we study the formation of purine-based molecules, including the nucleobases adenine, and guanine, from the ultraviolet (UV) irradiation of purine in ices consisting mixtures of H2O and NH3 at low temperature. The experiments are designed to simulate the astrophysical conditions under which these species may be formed in dense molecular clouds, protoplanetary disks, or on the surfaces of icy bodies in planetary systems.

Astrochemistry↗

torch-einshard v1.0

torch-einshard is a Python library for describing local and distributed PyTorch tensor computations with compact, einsum-like notation. Its expressions name logical axes, specify how they are sharded across a PyTorch DeviceMesh, and represent partial reductions. The library automatically performs contractions, permutations, reshaping, splitting, gathering, reduction, reduce-scatter, and repartitioning while preserving autograd. Additional features include sharding-aware FFTs, tensor rolls, halo exchange, sliding windows, 1D–3D convolutions, uneven-shard handling, parameter initialization and gradient management, and cost-based execution planning. It is designed for scientific machine learning and large-model workloads, including tensor-, sequence-, and spatial-parallel MLPs, attention, convolutions, and spectral operations. Compared with manually combining torch.einsum and distributed collectives, torch-einshard expresses both the mathematical operation and data placement in one readable formula. This reduces boilerplate and synchronization errors, keeps forward and backward communication consistent, and allows the library to select optimized collective strategies without changing model code.

Morozov, Dmitriy [Lawrence Berkeley National Labor↗