Search NASA⌕ Search

SEARCH · Search NASA

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

The Next Generation of Ground Operations Command and Control; Scripting in C no. and Visual Basic

Scripting languages have become a common method for implementing command and control solutions in space ground operations. The Systems Test and Operations Language (STOL), the Huntsville Operations Support Center (HOSC) Scripting Language Processor (SLP), and the Spacecraft Control Language (SCL) offer script-commands that wrap tedious operations tasks into single calls. Since script-commands are interpreted, they also offer a certain amount of hands-on control that is highly valued in space ground operations. Although compiled programs seem to be unsuited for interactive user control and are more complex to develop, Marshall Space flight Center (MSFC) has developed a product called the Enhanced and Redesign Scripting (ERS) that makes use of the graphical and logical richness of a programming language while offering the hands-on and ease of control of a scripting language. ERS is currently used by the International Space Station (ISS) Payload Operations Integration Center (POIC) Cadre team members. ERS integrates spacecraft command mnemonics, telemetry measurements, and command and telemetry control procedures into a standard programming language, while making use of Microsoft's Visual Studio for developing Visual Basic (VB) or C# ground operations procedures. ERS also allows for script-style user control during procedure execution using a robust graphical user input and output feature. The availability of VB and C# programmers, and the richness of the languages and their development environment, has allowed ERS to lower our "script" development time and maintenance costs at the Marshall POIC.

Ritter, George↗

High-Assurance Software: LDRD Report.

This report summarizes our work on methods for developing high-assurance digital systems. We present an approach for understanding and evaluating trust issues in digital systems, and for us- ing computer-checked proofs as a means for realizing this approach. We describe the theoretical background for programming with proofs based on the Curry-Howard correspondence, connect- ing the field of logic and proof theory to programs. We then describe a series of case studies, intended to demonstrate how this approach might be adopted in practice. In particular, our stud- ies elucidate some of the challenges that arise with this style of certified programming, including induction principles, generic programming, termination requirements, and reasoning over infinite state spaces.

Hulette, Geoffrey Compton↗

Fuzzy logic control of telerobot manipulators

Telerobot systems for advanced applications will require manipulators with redundant 'degrees of freedom' (DOF) that are capable of adapting manipulator configurations to avoid obstacles while achieving the user specified goal. Conventional methods for control of manipulators (based on solution of the inverse kinematics) cannot be easily extended to these situations. Fuzzy logic control offers a possible solution to these needs. A current research program at SRI developed a fuzzy logic controller for a redundant, 4 DOF, planar manipulator. The manipulator end point trajectory can be specified by either a computer program (robot mode) or by manual input (teleoperator). The approach used expresses end-point error and the location of manipulator joints as fuzzy variables. Joint motions are determined by a fuzzy rule set without requiring solution of the inverse kinematics. Additional rules for sensor data, obstacle avoidance and preferred manipulator configuration, e.g., 'righty' or 'lefty', are easily accommodated. The procedure used to generate the fuzzy rules can be extended to higher DOF systems.

Franke, Ernest A.↗

Multiobjective fuzzy stochastic linear programming problems with inexact probability distribution

This study deals with multiobjective fuzzy stochastic linear programming problems with uncertainty probability distribution which are defined as fuzzy assertions by ambiguous experts. The problem formulation has been presented and the two solutions strategies are; the fuzzy transformation via ranking function and the stochastic transformation when α{sup –}. cut technique and linguistic hedges are used in the uncertainty probability distribution. The development of Sen’s method is employed to find a compromise solution, supported by illustrative numerical example.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

AutoBayes Program Synthesis System System Internals

This lecture combines the theoretical background of schema based program synthesis with the hands-on study of a powerful, open-source program synthesis system (Auto-Bayes). Schema-based program synthesis is a popular approach toward program synthesis. The lecture will provide an introduction into this topic and discuss how this technology can be used to generate customized algorithms. The synthesis of advanced numerical algorithms requires the availability of a powerful symbolic (algebra) system. Its task is to symbolically solve equations, simplify expressions, or to symbolically calculate derivatives (among others) such that the synthesized algorithms become as efficient as possible. We will discuss the use and importance of the symbolic system for synthesis. Any synthesis system is a large and complex piece of code. In this lecture, we will study Autobayes in detail. AutoBayes has been developed at NASA Ames and has been made open source. It takes a compact statistical specification and generates a customized data analysis algorithm (in C/C++) from it. AutoBayes is written in SWI Prolog and many concepts from rewriting, logic, functional, and symbolic programming. We will discuss the system architecture, the schema libary and the extensive support infra-structure. Practical hands-on experiments and exercises will enable the student to get insight into a realistic program synthesis system and provides knowledge to use, modify, and extend Autobayes.

Statistical Algorithms↗

EDITORIAL HPJ SPECIAL ISSUE INTRODUCTION

Radioecology is the study of the fate and transport and potential effects of radionuclides and associated contaminants in the environment. In short, it is the science that describes the fundamental connection between environmental health and human health risks. As such, radioecology can and has provided the credible, consistent and defensible basis for the successful and cost-effective environmental cleanup and closure of nuclear production and waste sites. In addition, radioecology also provides the technical basis for making timely and reliable decisions on cleanup in the aftermath of nuclear incidents such as Chernobyl and Fukushima. The 1986 Chernobyl Nuclear Power Plant (ChNPP) accident resulted in catastrophic health, social, and economic consequences in many countries, predominantly, Ukraine, Belarus, and Russia. The extent of radioactive contamination, levels and forms of contamination, and diversity of the ecosystems affected by the accident did not have any precedent and provided unique opportunities for environmental scientists around the world. Following the natural course of their development, populations of species and their communities found themselves in conditions of chronic radiation exposure that exceeded the natural background by factors of hundreds and thousands. Anything similar would have been extremely difficult if not impossible to recreate in a scientific laboratory. Consequently, since the first few years after the accident, many teams of scientists have visited the Chernobyl Exclusion Zone (ChEZ). The knowledge gained by studying the consequences of this accident has tremendous importance. The concept of an international research and technical center to address the problems involving nuclear and radiological accidents became a reality with the establishment of the International Chernobyl Center (ICC). In May 1995, the US and Ukraine signed a Protocol of Intent on establishment of the ICC, and the government of Ukraine appealed to the international scientific community to support ICC and join its activities (Chernobyl Center 2006). In December 1995, a memorandum of understanding (MOU) on the ChNPP closure was signed by the government of Ukraine, all of the G7 governments, and the European Commission. The ICC foundation was considered critical to ensure the safe decommissioning of the ChNPP reactor units and improvement of the safety of the Chernobyl Containment Shelter. On the 10th anniversary of the Chernobyl accident (26 April 1996), Mr. Viktor Yushchenko, the President of Ukraine, issued a decree to establish the Chernobyl Center for Nuclear Safety, Radioactive Waste and Radioecology (Chernobyl Center). On the same day, a MOU involving the US participation in Chernobyl Center activities was signed by the US and Ukraine (Chernobyl Center 2006). In July 1998, the US and Ukraine signed an agreement to establish the International Radioecology Laboratory (IRL) as part of the Chernobyl Center. The creation of IRL was a logical continuation of previous programs to conduct scientific research in radioecology and provide Ukraine and the rest of the world with the necessary infrastructure and scientific basis to conduct research in radioecology, radiobiology, dosimetry, and environmental protection in the ChEZ (Chernobyl Center 2006). A recent collaborative effort with IRL has been implemented through a project titled 'Long-term impacts from radiation/contamination within the Chernobyl Exclusion Zone' (Farfan et al. 2008; Gerdes et al. 2009; Marra et al. 2010). This collaboration had the following objectives: (1) Assess the long-term impacts to the environment from radiation exposure within the ChEZ; (2) Provide information on remediation guidelines and ecological risk assessment within radioactively contaminated territories based on the results of long-term field monitoring, analytical measurements, and numerical modeling of soils and groundwater radioactive contamination; and (3) Recommend the development and testing of effective cleanup technologies to reduce environmental and health risks. Based on this work, a large amount of data are now available for publication, some of which are presented in this Special Issue of the Health Physics Journal.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

Ravel

Ravel is a tool for analyzing and visualizing parallel execution traces. It deduces a logical structure of parallel program events from the trace records and calculates comparative metrics. It displays the results of this analysis using multiple views at varying levels of detail to allow interactive exploration of the trace.

Source record↗

A-SST Initial Specification

The U.S. Army Research Office (ARO), in partnership with IARPA, are investigating innovative, efficient, and scalable computer architectures that are capable of executing next-generation large scale data-analytic applications. These applications are increasingly sparse, unstructured, non-local, and heterogeneous. Under the Advanced Graphic Intelligence Logical computing Environment (AGILE) program, Performer teams will be asked to design computer architectures to meet the future needs of the DoD and the Intelligence Community (IC). This design effort will require flexible, scalable, and detailed simulation to assess the performance, efficiency, and validity of their designs. To support AGILE, Sandia National Labs will be providing the AGILE-enhanced Structural Simulation Toolkit (A-SST). This toolkit is a computer architecture simulation framework designed to support fast, parallel, and multi-scale simulation of novel architectures. This document describes the A-SST framework, some of its library of simulation models, and how it may be used by AGILE Performers.

97 MATHEMATICS AND COMPUTING↗

Man-machine interactive system simplifies computer-aided circuit design

Langley interactive computerized circuit analysis capability /LICCA/ enables designer to draw electronic circuit diagrams on cathode ray tube screen. This information is submitted as input to user-selected circuit analysis program. LICCA accommodates binary logic circuits and circuits with discrete components, and monitors operator's instructions to detect errors.

Bavuso, S. J.↗

IPACS Electronics: Comments on the Original Design and Current Efforts at Langley Research Center

The development of the integrated power altitude control system (IPACS) is described. The power bridge was fabricated, and all major parts are in hand. The bridge was tested with a 1/4 HP motor for another program. The PWM, Control Logic, and upper bridge driver power supply are breadboarded and are debugged prior to starting testing on a passive load. The Hall sensor circuit for detecting rotor position is in design.

Gowdey, J. C.↗

Electron lithography STAR design guidelines. Part 1: The STAR user design manual

The STAR system developed by NASA enables any user with a logic diagram to design a semicustom digital MOS integrated circuit. The system is comprised of a library of standard logic cells and computer programs to place, route, and display designs implemented with cells from the library. Library cells of the CMOS metal gate and CMOS silicon gate technologies were simulated using SPICE, and the results are shown and compared.

Trotter, J. D.↗