Results for “LOGIC PROGRAMMING” — Page 45

DOE OSTI2018

Renovation of Thermal Vacuum Chambers at Idaho National Laboratory (INL) for Testing of Radioisotope Power Systems (RPS)

The Radioisotope Power Systems (RPS) program at Idaho National Laboratory (INL) fuels and performs environmental testing of RPS in support of National Aeronautics and Space Administration (NASA) missions. Recently the programs’ thermal vacuum chambers, housed within INL’s Space and Security Power Systems Facility (SSPSF), underwent successful renovations to improve functional capabilities and system control in support of customer missions. Thermal vacuum system renovations focused primarily on three core functions. The first focus area was integration of semi-automated Programmable Logic Controllers (PLC) to enhance operational feedback and process control. This included the use of numerically controlled vacuum valves and integration of real time feedback from process pressure transducers. Improvements to the system high vacuum pumping technology was the second priority focus. Legacy diffusion pumps were replaced with turbo-molecular and cryogenic pumps to help mitigate the possibility of back streaming diffusion pump oil onto the surface of the test article or radiative cooling surfaces located within the chambers. The third and final core function involved meeting emergent customer thermal requirements. This led to retro-fitting one of the vacuum chambers with a cryogenically cooled Thermal Conditioning Unit (TCU) and thermal shrouds. The TCU utilizes gaseous nitrogen to heat or cool a cylindrical shroud to maintain a set temperature with a programmable range of -I85 °C to I00 °C. With the successful completion of RPS acceptance testing, the newly renovated thermal vacuum chamber systems are operational and better equipped to support testing of Radioisotope Power Systems for space exploration missions.

42 ENGINEERING↗

DOE OSTI2018

Renovation of Thermal Vacuum Chambers at Idaho National Laboratory for Testing of Radioisotope Power Systems

The Radioisotope Power Systems (RPS) program at Idaho National Laboratory (INL) fuels and performs environmental testing of RPS in support of National Aeronautics and Space Administration (NASA) missions. Recently the programs’ thermal vacuum chambers, housed within INL’s Space and Security Power Systems Facility (SSPSF), underwent successful renovations to improve functional capabilities and system control in support of customer missions. Thermal vacuum system renovations focused primarily on three core functions. The first focus area was integration of semi-automated Programmable Logic Controllers (PLC) to enhance operational feedback and process control. This included the use of numerically controlled vacuum valves and integration of real time feedback from process pressure transducers. Improvements to the system high vacuum pumping technology was the second priority focus. Legacy diffusion pumps were replaced with turbo-molecular and cryogenic pumps to help mitigate the possibility of back streaming diffusion pump oil onto the surface of the test article or radiative cooling surfaces located within the chambers. The third and final core function involved meeting emergent customer thermal requirements. This led to retro-fitting one of the vacuum chambers with a cryogenically cooled Thermal Conditioning Unit (TCU) and thermal shrouds. The TCU utilizes gaseous nitrogen to heat or cool a cylindrical shroud to maintain a set temperature with a programmable range of -I85 °C to I00 °C. With the successful completion of RPS acceptance testing, the newly renovated thermal vacuum chamber systems are operational and better equipped to support testing of Radioisotope Power Systems for space exploration missions.

42 ENGINEERING↗

DOE OSTI2018

Renovation of Thermal Vacuum Chambers at Idaho National Laboratory (INL) for Testing of Radioisotope Power Systems (RPS)

The Radioisotope Power Systems (RPS) program at Idaho National Laboratory (INL) fuels and performs environmental testing of RPS in support of National Aeronautics and Space Administration (NASA) missions. Recently the programs’ thermal vacuum chambers, housed within INL’s Space and Security Power Systems Facility (SSPSF), underwent successful renovations to improve functional capabilities and system control in support of customer missions. Thermal vacuum system renovations focused primarily on three core functions. The first focus area was integration of semi-automated Programmable Logic Controllers (PLC) to enhance operational feedback and process control. This included the use of numerically controlled vacuum valves and integration of real time feedback from process pressure transducers. Improvements to the system high vacuum pumping technology was the second priority focus. Legacy diffusion pumps were replaced with turbo-molecular and cryogenic pumps to help mitigate the possibility of back streaming diffusion pump oil onto the surface of the test article or radiative cooling surfaces located within the chambers. The third and final core function involved meeting emergent customer thermal requirements. This led to retro-fitting one of the vacuum chambers with a cryogenically cooled Thermal Conditioning Unit (TCU) and thermal shrouds. The TCU utilizes gaseous nitrogen to heat or cool a cylindrical shroud to maintain a set temperature with a programmable range of -I85 °C to I00 °C. With the successful completion of RPS acceptance testing, the newly renovated thermal vacuum chamber systems are operational and better equipped to support testing of Radioisotope Power Systems for space exploration missions.

42 ENGINEERING↗

DOE OSTI2012

Improving DOE Project Performance Using the DOD Integrated Master Plan - 12481

DOE O 413 measures a project's progress to plan by the consumption of funding, the passage of time, and the meeting of milestones. In March of 2003, then Under Secretary, Energy, Science, Card received a memo directing the implementation of Project Management and the Project Management Manual, including the Integrated Master Plan and Integrated Master Schedule. This directive states 'the integrated master plan and schedule tie together all project tasks by showing their logical relationships and any constraints controlling the start or finish of each task. This process results in a hierarchy of related functional and layered schedules derived from the Work Breakdown Structure that can be used for monitoring and controlling project progress'. This paper shows how restoring the IMP/IMS paradigm to DOE program management increases the probability of program success in ways not currently available using DOD O 413 processes alone. Using DOE O 413 series guidance, adding the Integrated Master Plan and Integrated Master Schedule paradigm would provide a hierarchical set of performance measures for each 'package of work,' that provides measurable visibility to the increasing maturity of the project. This measurable maturity provides the mechanism to forecast future performance of cost, schedule, and technical outcomes in ways not available using just the activities in DOE O 413. With this information project managers have another tool available to address the issues identified in GAO-07-336 and GAO-09-406. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

NASA NTRS1975

Use of the LANDSAT-2 Data Collection System in the Colorado River Basin Weather Modification Program

The author has identified the following significant results. The LANDSAT data collection system has proven itself to be a valuable tool for control of cloud seeding operations and for verification of weather forecasts. These platforms have proven to be reliable weather resistant units suitable for the collection of hydrometeorological data from remote severe weather environments. The detailed design of the wind speed and direction system and the wire-wrapping of the logic boards were completed.

Kahan, A. M.↗

DOE OSTI2023

BUILD: Binary Understanding and Integration Logic for Dependencies (Final Report)

Increasingly diverse mission needs, the emergence of AI and cloud, and increasing hardware diversity are driving HPC software to be more complex. Modern codes are built from hundreds of small, complex components, and much of the software development process involves integrating these components rather than developing new components from scratch. The goal of the BUILD project was to ease the task of software integration for developers across LLNL’s programs. The project focused on (1) modeling software compatibility, (2) modeling ABI compatibility with binary analysis, (3) developing solver techniques to reason about compatibility, and (4) developing AI/ML models to fill gaps in our understanding of software compatibility. The project has developed several key technologies that help developers—by accelerating development workflows, removing the need for rebuilds, and enabling faster, automatic, and less error-prone code sharing. These technologies are used in LLNL codes and will be ready for the new El Capitan Exascale system in Livermore Computing. Many of these technologies have been hardened and integrated with LLNL’s Spack package manager, and they are already in use by production code teams. Results of BUILD have laid the groundwork for future advances in software integration—the ML and binary modification techniques developed in this project still need to be operationalized but have great potential to further speed up software integration.

97 MATHEMATICS AND COMPUTING↗

NASA NTRS1979

Detailed description of the HP-9825A HFRMP trajectory processor (TRAJ)

The computer code for the trajectory processor of the HP-9825A High Fidelity Relative Motion Program is described in detail. The processor is a 12-degrees-of-freedom trajectory integrator which can be used to generate digital and graphical data describing the relative motion of the Space Shuttle Orbiter and a free-flying cylindrical payload. Coding standards and flow charts are given and the computational logic is discussed.

Kindall, S. M.↗

NASA NTRS1992

Software architecture for a distributed real-time system in Ada, with application to telerobotics

The architecture structure and software design methodology presented is described in the context of telerobotic application in Ada, specifically the Engineering Test Bed (ETB), which was developed to support the Flight Telerobotic Servicer (FTS) Program at GSFC. However, the nature of the architecture is such that it has applications to any multiprocessor distributed real-time system. The ETB architecture, which is a derivation of the NASA/NBS Standard Reference Model (NASREM), defines a hierarchy for representing a telerobot system. Within this hierarchy, a module is a logical entity consisting of the software associated with a set of related hardware components in the robot system. A module is comprised of submodules, which are cyclically executing processes that each perform a specific set of functions. The submodules in a module can run on separate processors. The submodules in the system communicate via command/status (C/S) interface channels, which are used to send commands down and relay status back up the system hierarchy. Submodules also communicate via setpoint data links, which are used to transfer control data from one submodule to another. A submodule invokes submodule algorithms (SMA's) to perform algorithmic operations. Data that describe or models a physical component of the system are stored as objects in the World Model (WM). The WM is a system-wide distributed database that is accessible to submodules in all modules of the system for creating, reading, and writing objects.

Olsen, Douglas R.↗

NASA NTRS2001

Certifying Domain-Specific Policies

Proof-checking code for compliance to safety policies potentially enables a product-oriented approach to certain aspects of software certification. To date, previous research has focused on generic, low-level programming-language properties such as memory type safety. In this paper we consider proof-checking higher-level domain -specific properties for compliance to safety policies. The paper first describes a framework related to abstract interpretation in which compliance to a class of certification policies can be efficiently calculated Membership equational logic is shown to provide a rich logic for carrying out such calculations, including partiality, for certification. The architecture for a domain-specific certifier is described, followed by an implemented case study. The case study considers consistency of abstract variable attributes in code that performs geometric calculations in Aerospace systems.

Lowry, Michael↗

NASA NTRS2004

An Exploratory Study of Cost Engineering in Axiomatic Design: Creation of the Cost Model Based on an FR-DP Map

Large complex projects cost large sums of money throughout their life cycle for a variety of reasons and causes. For such large programs, the credible estimation of the project cost, a quick assessment of the cost of making changes, and the management of the project budget with effective cost reduction determine the viability of the project. Cost engineering that deals with these issues requires a rigorous method and systematic processes. This paper introduces a logical framework to a&e effective cost engineering. The framework is built upon Axiomatic Design process. The structure in the Axiomatic Design process provides a good foundation to closely tie engineering design and cost information together. The cost framework presented in this paper is a systematic link between the functional domain (FRs), physical domain (DPs), cost domain (CUs), and a task/process-based model. The FR-DP map relates a system s functional requirements to design solutions across all levels and branches of the decomposition hierarchy. DPs are mapped into CUs, which provides a means to estimate the cost of design solutions - DPs - from the cost of the physical entities in the system - CUs. The task/process model describes the iterative process ot-developing each of the CUs, and is used to estimate the cost of CUs. By linking the four domains, this framework provides a superior traceability from requirements to cost information.

Lee, Taesik↗

DOE OSTI2012

Plant-Level Modeling and Simulation of Used Nuclear Fuel Dissolution

Plant-level modeling and simulation of a used nuclear fuel prototype dissolver is presented. Emphasis is given in developing a modeling and simulation approach to be explored by other processes involved in the recycle of used fuel. The commonality concepts presented in a previous communication were used to create a model and realize its software module. An initial model was established based on a theory of chemical thermomechanical network transport outlined previously. A software module prototype was developed with the required external behavior and internal mathematical structure. Results obtained demonstrate the generality of the design approach and establish an extensible mathematical model with its corresponding software module for a wide range of dissolvers. Scale up numerical tests were made varying the type of used fuel (breeder and light-water reactors) and the capacity of dissolution (0.5 t/d to 1.7 t/d). These tests were motivated by user requirements in the area of nuclear materials safeguards. A computer module written in high-level programing languages (MATLAB and Octave) was developed, tested, and provided as open-source code (MATLAB) for integration into the Separations and Safeguards Performance Model application in development at Sandia National Laboratories. The modeling approach presented here is intended to serve as a template for a rational modeling of all plant-level modules. This will facilitate the practical application of the commonality features underlying the unifying network transport theory proposed recently. In addition, by example, this model describes, explicitly, the needed data from sub-scale models, and logical extensions for future model development. For example, from thermodynamics, an off-line simulation of molecular dynamics could quantify partial molar volumes for the species in the liquid phase; this simulation is currently at reach for high-performance computing. From fluid mechanics, a hold-up capacity function is needed for the dissolver device; this simulation is currently at reach for computational fluid mechanics given the existing CAD geometry. From chemical transport phenomena, a simulation of the particle-scale dissolution front is needed to derive an improved solid dissolution kinetics law by predicting the local surface area change; an example was provided in this report. In addition, the associated reaction mechanisms for dissolution are presently largely untested and simplified, hence even a parallel experimental program in reaction kinetics is needed to support modeling and simulation efforts. Last but not least, a simple account of finite rates of solid feed and transfer can be readily introduced via a coupled delayed model. These are some of the theoretical benefits of a rational plant-level modeling approach which guides the development of smaller length and time scale modeling. Practical, and other theoretical benefits have been presented on a previous report.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

NASA NTRS2003

Fuzzy Logic Trajectory Design and Guidance for Terminal Area Energy Management

The second generation reusable launch vehicle will leverage many new technologies to make flight to low earth orbit safer and more cost effective. One important capability will be completely autonomous flight during reentry and landing, thus making it unnecessary to man the vehicle for cargo missions with stringent weight constraints. Implementation of sophisticated new guidance and control methods will enable the vehicle to return to earth under less than favorable conditions. The return to earth consists of three phases--Entry, Terminal Area Energy Management (TAEM), and Approach and Landing. The Space Shuttle is programmed to fly all three phases of flight automatically, and under normal circumstances the astronaut-pilot takes manual control only during the Approach and Landing phase. The automatic control algorithms used in the Shuttle for TAEM and Approach and Landing have been developed over the past 30 years. They are computationally efficient, and based on careful study of the spacecraft's flight dynamics, and heuristic reasoning. The gliding return trajectory is planned prior to the mission, and only minor adjustments are made during flight for perturbations in the vehicle energy state. With the advent of the X-33 and X-34 technology demonstration vehicles, several authors investigated implementing advanced control methods to provide autonomous real-time design of gliding return trajectories thus enhancing the ability of the vehicle to adjust to unusual energy states. The bulk of work published to date deals primarily with the approach and landing phase of flight where changes in heading angle are small, and range to the runway is monotonically decreasing. These benign flight conditions allow for model simplification and fairly straightforward optimization. This project focuses on the TAEM phase of flight where mathematically precise methods have produced limited results. Fuzzy Logic methods are used to make onboard autonomous gliding return trajectory design robust to a wider energy envelope, and the possibility of control surface failures, thus increasing the flexibility of unmanned gliding recovery and landing.

Burchett, Bradley↗

DOE OSTI2012

Exploring formal verification methodology for FPGA-based digital systems

With the Life Extension Programs (LEPs), many nuclear weapon (NW) analog electronic components are being replaced by modern digital devices, increasing system complexities dramatically. Ensuring the reliability, security, and robustness of these upgraded systems is critically important. Many custom hardware systems throughout the NW operations space rely on Field-Programmable Gate Arrays (FPGAs) to implement sophisticated logic. Effective verification, while increasing confidence, can reduce the overall effort in system debugging and testing.

Hu, Yalin↗

NASA NTRS2003

The Logical Extension

The same software controlling autonomous and crew-assisted operations for the International Space Station (ISS) is enabling commercial enterprises to integrate and automate manual operations, also known as decision logic, in real time across complex and disparate networked applications, databases, servers, and other devices, all with quantifiable business benefits. Auspice Corporation, of Framingham, Massachusetts, developed the Auspice TLX (The Logical Extension) software platform to effectively mimic the human decision-making process. Auspice TLX automates operations across extended enterprise systems, where any given infrastructure can include thousands of computers, servers, switches, and modems that are connected, and therefore, dependent upon each other. The concept behind the Auspice software spawned from a computer program originally developed in 1981 by Cambridge, Massachusetts-based Draper Laboratory for simulating tasks performed by astronauts aboard the Space Shuttle. At the time, the Space Shuttle Program was dependent upon paper-based procedures for its manned space missions, which typically averaged 2 weeks in duration. As the Shuttle Program progressed, NASA began increasing the length of manned missions in preparation for a more permanent space habitat. Acknowledging the need to relinquish paper-based procedures in favor of an electronic processing format to properly monitor and manage the complexities of these longer missions, NASA realized that Draper's task simulation software could be applied to its vision of year-round space occupancy. In 1992, Draper was awarded a NASA contract to build User Interface Language software to enable autonomous operations of a multitude of functions on Space Station Freedom (the station was redesigned in 1993 and converted into the international venture known today as the ISS)

Source record↗

NASA NTRS1988

The Flight Telerobotic Servicer Project and systems overview

As part of the Flight Telerobotic Servicer (FTS) project an advanced telerobotic system is being developed to assist in and reduce crew extravehicular activity (EVA) for the U.S. Space Station. The FTS will be used for assembly, maintenance, servicing, and inspection throughout the lifetime of the Space Station. A brief overview of the FTS program is given, and some of the technical and system engineering issues associated with the development of the FTS are explored. A key to the evolutionary capability of the FTS design is the NASREM (NASA Standard Reference Model for telerobot control system) architecture. This architecture provides the framework for future growth and permits a logical blend of teleoperation and autonomous operations as required.

Mccain, Harry G.↗

NASA NTRS2016

Design and Stability of an On-Orbit Attitude Control System Using Reaction Control Thrusters

Basic principles for the design and stability of a spacecraft on-orbit attitude control system employing on-off Reaction Control System (RCS) thrusters are presented. Both vehicle dynamics and the control system actuators are inherently nonlinear, hence traditional linear control system design approaches are not directly applicable. This paper has two main aspects: It summarizes key RCS design principles from earlier NASA vehicles, notably the Space Shuttle and Space Station programs, and introduces advances in the linear modelling and analyses of a phase plane control system derived in the initial development of the NASA's next upper stage vehicle, the Exploration Upper Stage (EUS). Topics include thruster hardware specifications, phase plane design and stability, jet selection approaches, filter design metrics, and RCS rotational maneuver logic.

Hall, Robert A.↗

NASA NTRS1992

Advanced satellite communication system

The objective of this research program was to develop an innovative advanced satellite receiver/demodulator utilizing surface acoustic wave (SAW) chirp transform processor and coherent BPSK demodulation. The algorithm of this SAW chirp Fourier transformer is of the Convolve - Multiply - Convolve (CMC) type, utilizing off-the-shelf reflective array compressor (RAC) chirp filters. This satellite receiver, if fully developed, was intended to be used as an on-board multichannel communications repeater. The Advanced Communications Receiver consists of four units: (1) CMC processor, (2) single sideband modulator, (3) demodulator, and (4) chirp waveform generator and individual channel processors. The input signal is composed of multiple user transmission frequencies operating independently from remotely located ground terminals. This signal is Fourier transformed by the CMC Processor into a unique time slot for each user frequency. The CMC processor is driven by a waveform generator through a single sideband (SSB) modulator. The output of the coherent demodulator is composed of positive and negative pulses, which are the envelopes of the chirp transform processor output. These pulses correspond to the data symbols. Following the demodulator, a logic circuit reconstructs the pulses into data, which are subsequently differentially decoded to form the transmitted data. The coherent demodulation and detection of BPSK signals derived from a CMC chirp transform processor were experimentally demonstrated and bit error rate (BER) testing was performed. To assess the feasibility of such advanced receiver, the results were compared with the theoretical analysis and plotted for an average BER as a function of signal-to-noise ratio. Another goal of this SBIR program was the development of a commercial product. The commercial product developed was an arbitrary waveform generator. The successful sales have begun with the delivery of the first arbitrary waveform generator.

Staples, Edward J.↗

NASA NTRS1972

In-space propellant logistics. Volume 4: Project planning data

The prephase A conceptual project planning data as it pertains to the development of the selected logistics module configuration transported into earth orbit by the space shuttle orbiter. The data represents the test, implementation, and supporting research and technology requirements for attaining the propellant transfer operational capability for early 1985. The plan is based on a propellant module designed to support the space-based tug with cryogenic oxygen-hydrogen propellants. A logical sequence of activities that is required to define, design, develop, fabricate, test, launch, and flight test the propellant logistics module is described. Included are the facility and ground support equipment requirements. The schedule of activities are based on the evolution and relationship between the R and T, the development issues, and the resultant test program.

Source record↗