Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “logic programming”

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 199 records · Page 11
All sourcesNASA NTRSDOE OSTI
NASA NTRS1986

Performance measurements of a data link protocol

The end-to-end performance of a program implementing IEEE Std 802.2 logical link control protocol, which provides virtual circuit and datagram service and which constitutes the top sublayer of the data link layer of the reference model for Local Area Networks is studied. The measurements of relative execution times of various functions required in transferring data, over virtual circuits or as datagrams, showed that most of the program execution time is spent in a few relatively low-level functions. One of these functions performs block movement of data in memory, and two other functions provide access to various queues. Based on this result, two alternative versions of the program which move data efficiently were written and measured. In this paper the results of the study are reported and their impact on designing hardware and software systems for a network interface are discussed.

Kanakia, Hemant↗
NASA NTRS1971

General test plan redundant sensor strapdown IMU evaluation program

The general test plan for a redundant sensor strapdown inertial measuring unit evaluation program is presented. The inertial unit contains six gyros and three orthogonal accelerometers. The software incorporates failure detection and correction logic and a land vehicle navigation program. The principal objective of the test is a demonstration of the practicability, reliability, and performance of the inertial measuring unit with failure detection and correction in operational environments.

Hartwell, T.↗
NASA NTRS2020

Integrated Modeling and Development of Component-Based Embedded Software in Scala

Programming of embedded systems is challenging due to the low-level design patterns normally applied in the implementation of such systems. Furthermore, programming languages normally considered suitable for this level of programming, such as C and C++, are themselves low-level compared to more modern programming languages. We report on an effort exploring modeling and programming of embedded systems in modern high-level programming languages combining object-oriented and functional programming. We present an integration of four separate internal DSLs (libraries), considered useful for embedded program- ming, in the Scala programming language, for programming and testing component-based systems. These include a DSL for defining components and their connections, and a DSL for programming the individual components as hierarchical state machines. Two additional DSLs support testing, and include a DSL for writing temporal logic flavored test oracles for monitoring program executions, and a DSL for rule-based test input generation. The paper discusses the gap between Scala as used here and the needs for embedded systems programming.

Bocchino, Robert↗
NASA NTRS2006

Pressure Effects on Oxygen Concentration Flammability Thresholds of Materials for Aerospace Applications

Spacecraft materials selection is based on an upward flammability test conducted in a quiescent environment in the highest-expected oxygen-concentration environment. However, NASA s advanced space exploration program is anticipating using various habitable environments. Because limited data is available to support current program requirements, a different test logic is suggested to address these expanded atmospheric environments through the determination of materials self-extinguishment limits. This paper provides additional pressure effects data on oxygen concentration and partial pressure self-extinguishment limits under quiescent conditions. For the range of total pressures tested, the oxygen concentration and oxygen partial pressure flammability thresholds show a near linear function of total pressure. The oxygen concentration/oxygen partial pressure flammability thresholds depend on the total pressure and appear to increase with increasing oxygen concentration (and oxygen partial pressure). For the Constellation Program, the flammability threshold information will allow NASA to identify materials with increased flammability risk because of oxygen concentration and total pressure changes, minimize potential impacts, and allow for development of sound requirements for new spacecraft and extraterrestrial landers and habitats.

Hirsch, David↗
NASA NTRS1971

A description of the thruster attitude control simulation and its application to the HEAO-C study

During the design and evaluation of a reaction control system (RCS), it is desirable to have a digital computer program simulating vehicle dynamics, disturbance torques, control torques, and RCS logic. The thruster attitude control simulation (TACS) is just such a computer program. The TACS is a relatively sophisticated digital computer program that includes all the major parameters involved in the attitude control of a vehicle using an RCS for control. It includes the effects of gravity gradient torques and HEAO-C aerodynamic torques so that realistic runs can be made in the areas of fuel consumption and engine actuation rates. Also, the program is general enough that any engine configuration and logic scheme can be implemented in a reasonable amount of time. The results of the application of the TACS in the HEAO-C study are included.

Brandon, L. B.↗
NASA NTRS1972

GENENG 2: A program for calculating design and off-design performance of two- and three-spool turbofans with as many as three nozzles

A computer program which calculates steady-state design and off-design jet engine performance for two- or three-spool turbofans with one, two, or three nozzles is described. Included in the report are complete FORTRAN 4 listings of the program with sample results for nine basic turbofan engines that can be calculated: (1) three-spool, three-stream engine; (2) two-spool, three-stream, boosted-fan engine; (3) two-spool, three-stream, supercharged-compressor engine; (4) three-spool, two-stream engine; (5) two-spool, two-stream engine; (6) three-spool, three-stream, aft-fan engine; (7) two-spool, three-stream, aft-fan engine; (8) two-spool, two-stream, aft-engine; and (9) three-spool, two-stream, aft-fan engine. The simulation of other engines by using logical variables built into the program is also described.

Fishbach, L. H.↗
NASA NTRS1980

Logic synthesis from DDL description

The implementation of DDLTRN and DDLSIM programs on SEL-2 computer system is reported. These programs were tested with DDL descriptions of various complexity. An algorithm to synthesize the combinational logic using the cells available in the standard IC cell library was formulated. The algorithm is implemented as a FORTRAN program and a description of the program is given.

Shiva, S. G.↗
NASA NTRS2000

Multimodality Instrument for Tissue Characterization

A system with multimodality instrument for tissue identification includes a computer-controlled motor driven heuristic probe with a multisensory tip is discussed. For neurosurgical applications, the instrument is mounted on a stereotactic frame for the probe to penetrate the brain in a precisely controlled fashion. The resistance of the brain tissue being penetrated is continually monitored by a miniaturized strain gauge attached to the probe tip. Other modality sensors may be mounted near the probe tip to provide real-time tissue characterizations and the ability to detect the proximity of blood vessels, thus eliminating errors normally associated with registration of pre-operative scans, tissue swelling, elastic tissue deformation, human judgement, etc., and rendering surgical procedures safer, more accurate, and efficient. A neural network, program adaptively learns the information on resistance and other characteristic features of normal brain tissue during the surgery and provides near real-time modeling. A fuzzy logic interface to the neural network program incorporates expert medical knowledge in the learning process. Identification of abnormal brain tissue is determined by the detection of change and comparison with previously learned models of abnormal brain tissues. The operation of the instrument is controlled through a user friendly graphical interface. Patient data is presented in a 3D stereographics display. Acoustic feedback of selected information may optionally be provided. Upon detection of the close proximity to blood vessels or abnormal brain tissue, the computer-controlled motor immediately stops probe penetration.

Mah, Robert W.↗
NASA NTRS2004

Multimodality instrument for tissue characterization

A system with multimodality instrument for tissue identification includes a computer-controlled motor driven heuristic probe with a multisensory tip. For neurosurgical applications, the instrument is mounted on a stereotactic frame for the probe to penetrate the brain in a precisely controlled fashion. The resistance of the brain tissue being penetrated is continually monitored by a miniaturized strain gauge attached to the probe tip. Other modality sensors may be mounted near the probe tip to provide real-time tissue characterizations and the ability to detect the proximity of blood vessels, thus eliminating errors normally associated with registration of pre-operative scans, tissue swelling, elastic tissue deformation, human judgement, etc., and rendering surgical procedures safer, more accurate, and efficient. A neural network program adaptively learns the information on resistance and other characteristic features of normal brain tissue during the surgery and provides near real-time modeling. A fuzzy logic interface to the neural network program incorporates expert medical knowledge in the learning process. Identification of abnormal brain tissue is determined by the detection of change and comparison with previously learned models of abnormal brain tissues. The operation of the instrument is controlled through a user friendly graphical interface. Patient data is presented in a 3D stereographics display. Acoustic feedback of selected information may optionally be provided. Upon detection of the close proximity to blood vessels or abnormal brain tissue, the computer-controlled motor immediately stops probe penetration. The use of this system will make surgical procedures safer, more accurate, and more efficient. Other applications of this system include the detection, prognosis and treatment of breast cancer, prostate cancer, spinal diseases, and use in general exploratory surgery.

Mah, Robert W.↗
NASA NTRS2004

STS Derived Exploration Launch Operations

A key aspect of the new space exploration programs will be the approach to optimize launch operations. A STS Derived Launch Vehicle (SDLV) Program can provide a cost effective, low risk, and logical step to launch all of the elements of the exploration program. Many benefits can be gained by utilizing the synergy of a common launch site as an exploration spaceport as well as evolving the resources of the current Space Shuttle Program (SSP) to meet the challenges of the Vision for Space Exploration. In particular, the launch operation resources of the SSP can be transitioned to the exploration program and combined with the operations efficiencies of unmanned EELVs to obtain the best of both worlds, resulting in lean launch operations for crew and cargo missions of the exploration program. The SDLV Program would then not only capture the extensive human space flight launch operations knowledge, but also provide for the safe fly-out of the SSP through continuity of system critical skills, manufacturing infrastructure, and ability to maintain and attract critical skill personnel. Thus, a SDLV Program can smoothly transition resources from the SSP and meet the transportation needs to continue the voyage of discovery of the space exploration program.

Best, Joel↗
DOE OSTI2024

Integrate Latimer Controls' Solution into RTAC (CRADA Final Report, CRD-23-24672)

Latimer Controls, Inc. was awarded two vouchers under the Department of Energy's American-Made Solar Prize Round 6 to conduct collaborative research at a national laboratory. The National Renewable Energy Laboratory (NREL) was selected as a partner to assist Latimer Controls in the performance evaluation of its photovoltaic (PV) control software. This collaboration focuses on developing a hardware-in-the-loop (HIL) testbed at NREL, which will be used to test and validate the Latimer PV control technology in a realistic yet de-risked environment. Both Latimer and NREL teams will work together to analyze the collected test data, derive insights, and disseminate the scientific findings. Recent studies underscore the potential of solar energy as a zero-marginal-cost and zero-emission flexibility resource within the bulk power system, particularly when integrated with advanced control systems. To enhance the performance of such systems, Latimer Controls has developed leading-edge technologies, including machine learning (ML) algorithms and hierarchical inverter set-point allocation methods. These innovations are designed to estimate the operational headroom of large PV plants for grid integration and control. However, comprehensive validation under real-world conditions remains necessary. To address this gap, the concurrent CRADA project proposes the real-world application and validation of the Latimer Control solution within a HIL environment. Initially, the Latimer algorithm was developed and tested within MATLAB Simulink, a platform suitable for research-level simulations and iterative development. However, transitioning this technology to a real solar site as an industry-ready solution necessitates implementation in a format compatible with widely used solar power plant controllers. In this additional CRADA work, the MATLAB Simulink-based logic will be translated into Structured Text, a programming language compliant with IEC 61131 standards, which is commonly used for custom logic implementations in industry-leading programmable logic controllers (PLCs), such as the Schweitzer SEL real-time automation controller (RTAC). This transition will facilitate the deployment of the Latimer Control solution in real-world solar power plants, thereby advancing the technology towards commercialization.

14 SOLAR ENERGY↗
NASA NTRS1986

Solution of the Euler equations with viscous-inviscid interaction for high Reynolds number transonic flow past wing/body configurations

The theoretical and numerical bases of a program for the solution of the Euler equations with viscous-inviscid interaction for high Reynolds number transonic flow past wing/body configurations are explained. The emphasis is upon the logic behind the equation development. The program is fully detailed so that the user can quickly become familiar with its operation.

Koenig, Keith↗
NASA NTRS1971

A review of cryogenic testing performed by the thermochemical test branch, Manned Spacecraft Center in support of Apollo 13 and14

The Apollo 13 anomaly provided considerable impetus for a variety of types of cryogenic and ignition tests. The logic of the various test program designs, the test techniques, and their final impact upon the investigation findings are described. In addition, several test programs initiated to determine the thermal performance and general performance characteristics of the redesigned Apollo 14 cryogenic storage system are presented.

Propp, C. E.↗
NASA NTRS1972

Optimal horizontal guidance law for aircraft in the terminal area.

A complete nonlinear control law is derived for guiding an aircraft in minimum time from an arbitrary initial position and heading to a prescribed terminal position and heading in the horizontal plane. The solution is obtained with the aid of the maximum principle, and is implemented by constructing a digital-computer program for the resulting switching logic.

Pecsvaradi, T.↗
NASA NTRS1976

Digital flight control for the NASA 737 airplane

A brief description of the hardware and software for the digital flight control computers for the NASA 737 airplane is given. Software modules include the basic executive, scheduler, redundancy management, software signal selection, system test, mode logic, pitch axis flight control program and the lateral axis flight control program. A more detailed description of the software development effort is given for the digital flight control software. The software development tasks discussed are: software requirements, development, documentation, control, lab evaluation and formal lab tests. The software development costs are identified and conclusions are drawn concerning the software development effort required to support digital flight control for commercial jet transport applications.

Malcom, L. G.↗
NASA NTRS1977

Feasibility study of automatic control of crew comfort in the shuttle Extravehicular Mobility Unit

Computer simulation is used to demonstrate that crewman comfort can be assured by using automatic control of the inlet temperature of the coolant into the liquid cooled garment when input to the controller consists of measurements of the garment inlet temperature and the garment outlet temperature difference. Subsequent tests using a facsimile of the control logic developed in the computer program confirmed the feasibility of such a design scheme.

Cook, D. W.↗