Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Building automation”

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 325 records · Page 18
All sourcesNASA NTRSDOE OSTI
NASA NTRS2018

Enabling Airspace Integration for High Density Urban Air Mobility Operations

Aviation technologies and concepts have reached a level of maturity that may soon enable an era of on-demand mobility (ODM) fueled by quiet, efficient, and largely automated air taxis. However, successfully bringing such a system to fruition will require introducing orders-of-magnitude more aircraft to a given airspace volume than can be accommodated by the traditional air traffic control system, among other important technical challenges. The airspace integration problem is further compounded by requirements to set aside appropriate ground infrastructure for take-off and landing areas and ensuring these new aircraft types and their operations do not overly burden traditional airspace users and air traffic control. These challenges for ODM may be significantly reduced by extending the concepts and technologies developed to manage small unmanned aircraft systems (UAS) at low altitude "the UAS traffic management (UTM) system" to higher altitudes and aircraft with humans onboard in controlled airspace, or by equipping ODM aircraft with advanced sensors, algorithms, and interfaces. The precedent of operational freedom inherent in visual flight rules and the technologies developed for large UAS and commercial aircraft automation will contribute to the evolution of an ODM system enabled by UTM. This paper describes the set of air traffic services, normally provided by the traditional air traffic system, that an ODM system would implement to achieve the high densities needed for ODM's economic viability. Finally, the paper proposes a framework for integrating, evaluating, and deploying low-, medium-, and high-density ODM concepts that build on each other to ensure operational and economic feasibility at every step.

Mueller, Eric↗
NASA NTRS1990

Automated simulation as part of a design workstation

A development project for a design workstation for advanced life-support systems (called the DAWN Project, for Design Assistant Workstation), incorporating qualitative simulation, required the implementation of a useful qualitative simulation capability and the integration of qualitative and quantitative simulation such that simulation capabilities are maximized without duplication. The reason is that to produce design solutions to a system goal, the behavior of the system in both a steady and perturbed state must be represented. The Qualitative Simulation Tool (QST), on an expert-system-like model building and simulation interface toll called ScratchPad (SP), and on the integration of QST and SP with more conventional, commercially available simulation packages now being applied in the evaluation of life-support system processes and components are discussed.

Cantwell, Elizabeth↗
NASA NTRS1991

Automated technologies needed to prevent radioactive materials from reentering the atmosphere

Project SIREN (Search, Intercept, Retrieve, Expulsion Nuclear) was created to identify and evaluate the technologies and operational strategies needed to rendezvous with and capture aerospace radioactive materials (e.g., a distressed or spent space reactor core) before such materials can reenter the terrestrial atmosphere and then to safely move these captured materials to an acceptable space destination for proper disposal. A major component of the current project SIREN effort is the development of an interactive technology model (including a computerized data base) that explores, in building-block fashion, the interaction of the technologies and procedures needed to successfully accomplish a SIREN mission. The SIREN model will include appropriate national and international technology elements--both contemporary and projected into the next century. To obtain maximum flexibility and use, the SIREN technology data base is being programmed for use on 286-class PC's. The major technical elements for a successful SIREN mission include: ground and space-based tracking, launch vehicles of needed payload capacity, telerobotic systems, sensors, capture technologies, and space transport and disposal. However, Project SIREN also will impose specialized requirements including the use of dextrous aerospace systems capable of properly functioning in intense radiation and thermal environments.

Buden, David↗
NASA NTRS1991

Automated technologies needed to prevent radioactive materials from reentering the atmosphere

Project SIREN (Search, Intercept, Retrieve, Expulsion Nuclear) has been created to identify and evaluate the technologies and operational strategies needed to rendezvous with and capture aerospace radioactive materials (e.g., a distressed or spent space reactor core) before such materials can reenter the terrestrial atmosphere and then to safely move these captured materials to an acceptable space destination for proper disposal. A major component of the current Project SIREN effort is the development of an interactive technology model (including a computerized data base) that explores in building block fashion the interaction of the technologies and procedures needed to successfully accomplish a SIREN mission. This SIREN model will include appropriate national and international technology elements-both contemporary and projected into the next century. To permit maximum flexibility and use, the SIREN technology data base is being programmed for use on 386-class PC's.

Buden, David↗
NASA NTRS1990

Design knowledge capture for a corporate memory facility

Currently, much of the information regarding decision alternatives and trade-offs made in the course of a major program development effort is not represented or retained in a way that permits computer-based reasoning over the life cycle of the program. The loss of this information results in problems in tracing design alternatives to requirements, in assessing the impact of change in requirements, and in configuration management. To address these problems, the problem was studied of building an intelligent, active corporate memory facility which would provide for the capture of the requirements and standards of a program, analyze the design alternatives and trade-offs made over the program's lifetime, and examine relationships between requirements and design trade-offs. Early phases of the work have concentrated on design knowledge capture for the Space Station Freedom. Tools are demonstrated and extended which helps automate and document engineering trade studies, and another tool is being developed to help designers interactively explore design alternatives and constraints.

Boose, John H.↗
NASA NTRS1990

Lunar astronomical observatories - Design studies

The best location in the inner solar system for the grand observatories of the 21st century may be the moon. A multidisciplinary team including university students and faculty in engineering, astronomy, physics, and geology, and engineers from industry is investigating the moon as a site for astronomical observatories and is doing conceptual and preliminary designs for these future observatories. Studies encompass lunar facilities for radio astronomy and astronomy at optical, ultraviolet, and infrared wavelengths of the electromagnetic spectrum. Although there are significant engineering challenges in design and construction on the moon, the rewards for astronomy can be great, such as detection and study of earth-like planets orbiting nearby stars, and the task for engineers promises to stimulate advances in analysis and design, materials and structures, automation and robotics, foundations, and controls. Fabricating structures in the reduced-gravity environment of the moon will be easier than in the zero-gravity environment of earth orbit, as Apollo and space-shuttle missions have revealed. Construction of observatories on the moon can be adapted from techniques developed on the earth, with the advantage that the moon's weaker gravitational pull makes it possible to build larger devices than are practical on earth.

Johnson, Stewart W.↗
NASA NTRS1992

Knowledge-intensive software design systems: Can too much knowledge be a burden?

While acknowledging the considerable benefits of domain-specific, knowledge-intensive approaches to automated software engineering, it is prudent to carefully examine the costs of such approaches, as well. In adding domain knowledge to a system, a developer makes a commitment to understanding, representing, maintaining, and communicating that knowledge. This substantial overhead is not generally associated with domain-independent approaches. In this paper, I examine the downside of incorporating additional knowledge, and illustrate with examples based on our experience in building the SIGMA system. I also offer some guidelines for developers building domain-specific systems.

Keller, Richard M.↗
NASA NTRSDate not supplied

AMO-EXPRESS-2.5: Crew Autonomy Onboard the International Space Station

NASA is committed to landing American astronauts, including the first woman and the next man, on the Moon by 2024. Currently, the crew cannot take on all functions performed by the ground today, so the future crews will need more automation to reduce the crew workload for future missions. Of significant importance for these missions is the balance between crew autonomy and vehicle automation. The Advanced Exploration Systems (AES) Autonomous Systems and Operations (ASO) Project has been investigating the ability to evaluate crew self-scheduling and activity monitoring for future space missions. The ASO project designed the Autonomous Mission and Operations- EXpedite the PRocessing of Experiments to Space Station Rack-2.5 (AMO-EXPRESS-2.5) payload to evaluate crew self-scheduling and activity monitoring. The AMO-EXPRESS-2.5 builds on the previous AMO-EXPRESS and AMO-EXPRESS-2.0 demonstrations on ISS. The AMO-EXPRESS-2.5 demonstration goals are to prove crew self-scheduling by planning through diagnosing systems expertise, failure detection, procedure recommendation and situational awareness. This paper will describe the development, test and execution results of the AMO-EXPRESS-2.5 demonstration, and will also outline the future planned development and operational efforts to enable autonomy for future deep space manned missions.

Brooke C. Allen↗
NASA NTRS1993

A strip chart recorder pattern recognition tool kit for Shuttle operations

During Space Shuttle operations, Mission Control personnel monitor numerous mission-critical systems such as electrical power; guidance, navigation, and control; and propulsion by means of paper strip chart recorders. For example, electrical power controllers monitor strip chart recorder pen traces to identify onboard electrical equipment activations and deactivations. Recent developments in pattern recognition technologies coupled with new capabilities that distribute real-time Shuttle telemetry data to engineering workstations make it possible to develop computer applications that perform some of the low-level monitoring now performed by controllers. The number of opportunities for such applications suggests a need to build a pattern recognition tool kit to reduce software development effort through software reuse. We are building pattern recognition applications while keeping such a tool kit in mind. We demonstrated the initial prototype application, which identifies electrical equipment activations, during three recent Shuttle flights. This prototype was developed to test the viability of the basic system architecture, to evaluate the performance of several pattern recognition techniques including those based on cross-correlation, neural networks, and statistical methods, to understand the interplay between an advanced automation application and human controllers to enhance utility, and to identify capabilities needed in a more general-purpose tool kit.

Hammen, David G.↗
NASA NTRS1987

Space shuttle main engine anomaly data and inductive knowledge based systems: Automated corporate expertise

Progress is reported on the development of SCOTTY, an expert knowledge-based system to automate the analysis procedure following test firings of the Space Shuttle Main Engine (SSME). The integration of a large-scale relational data base system, a computer graphics interface for experts and end-user engineers, potential extension of the system to flight engines, application of the system for training of newly-hired engineers, technology transfer to other engines, and the essential qualities of good software engineering practices for building expert knowledge-based systems are among the topics discussed.

Modesitt, Kenneth L.↗
NASA NTRS2022

Flight Rule Design, Implementation, Verification, and Validation for the Psyche Mission

NASA Jet Propulsion Lab (JPL)’s upcoming mission Psyche will begin its journey to the asteroid (16) Psyche in late 2022 in an effort to better understand its origins and, in turn, better understand our own. Operating the spacecraft safely will require the dedicated efforts of a small team that understands the spacecraft’s operational constraints, as well as a set of powerful spacecraft models designed to catch command errors that can pose risks to mission success. One of the responsibilities of the operations team is to ensure adherence to a set of Flight Rules written by spacecraft and instrument experts that are designed to mitigate these risks. Psyche’s innovations in Flight Rule design principles and advancements in the tools and processes used to implement and check Flight Rules are discussed. A comparison of Psyche’s approach to Flight Rules to other JPL missions will provide lessons learned for future missions that must perform constraint checking during operations. Flight Rule development faces several major challenges. First, flight rule developers must work with Subject Matter Experts (SME) to write the rules in a way that captures the intent of the constraint in a straightforward, enforceable manner. Second, software implementers must correctly interpret flight rules into code so that it meets the original intent of the SME. Finally, a means must be provided for SMEs to validate flight rule implementations without requiring them to understand the underlying software. Innovative processes intended to efficiently close the loop between stakeholders and software developers are described, such as the use of test-driven development to provide stakeholders with easy-to-review implementations. New guidelines for flight rule writing, designed to address these challenges, are described for future missions to adopt and build upon. Psyche Mission System has a variety of new and heritage tools that improve in the Flight Rule validation and checking process. Psyche developed a powerful, new tool called RandSEQ and made significant improvements to Octopusjam, two valuable tools that aid the development of Flight Rule unit tests. Advancements in the models and processes for performing sequence validation with SEQuence GENerator (SEQGEN), the primary, high-heritage tool used for automated flight rule checks on Psyche, are described. The development of new software and the advancements to existing software put Psyche at the forefront of Flight Rule technology. All missions must perform detailed constraint checking, so a comparison of Psyche’s approach to some of these items to the approaches taken by other missions such as Dawn, M2020, and Europa Clipper is done, specifically to examine SME-developer communication, tools used, and development process. Lessons learned from this comparison will be provided.

Weise, Tim↗
NASA NTRS1995

The Center for Astrophysics in Antarctica

Nowhere on Earth are the infrared skies clearer, darker, or more stable than on the high Antarctic Plateau. At some wavelengths, Antarctic telescopes may be more than one to two orders of magnitude more efficient than at other sites. However, exploiting these advantages requires first addressing the formidable practical difficulties of working in the remote and frigid polar environment. This was the motivation for the Center for Astrophysical Research in Antarctica (CARA), one of twenty-five National Science Foundation Science and Technology Centers. At its inception, the Center organized its research into four projects. Three - AST/RO, COBRA, and SPIREX - address key problems in star formation, evolution of galaxies, and the distribution of matter in the early universe. They feature surveys which can be conducted effectively with moderate-size telescopes operated in a highly automated mode. They also explore the potential of the Antarctic Plateau for a broad range of astrophysical research over a spectral range extending from the near-infrared to millimeter wavelengths. A fourth, ATP, was created to obtain quantitative data on the qualities of the South Pole site and to plan for future scientific projects. During the next five years, AST/RO, COBRA, and SPIREX will become operational, and the Center will begin to build a second generation of telescopes which can address a broader range of problems and accommodate a larger community of users.

Pernic, Robert J.↗
NASA NTRS2009

Proceedings of the First NASA Formal Methods Symposium

Topics covered include: Model Checking - My 27-Year Quest to Overcome the State Explosion Problem; Applying Formal Methods to NASA Projects: Transition from Research to Practice; TLA+: Whence, Wherefore, and Whither; Formal Methods Applications in Air Transportation; Theorem Proving in Intel Hardware Design; Building a Formal Model of a Human-Interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering; Model Checking for Autonomic Systems Specified with ASSL; A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process; Software Model Checking Without Source Code; Generalized Abstract Symbolic Summaries; A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing; Component-Oriented Behavior Extraction for Autonomic System Design; Automated Verification of Design Patterns with LePUS3; A Module Language for Typing by Contracts; From Goal-Oriented Requirements to Event-B Specifications; Introduction of Virtualization Technology to Multi-Process Model Checking; Comparing Techniques for Certified Static Analysis; Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder; jFuzz: A Concolic Whitebox Fuzzer for Java; Machine-Checkable Timed CSP; Stochastic Formal Correctness of Numerical Algorithms; Deductive Verification of Cryptographic Software; Coloured Petri Net Refinement Specification and Correctness Proof with Coq; Modeling Guidelines for Code Generation in the Railway Signaling Context; Tactical Synthesis Of Efficient Global Search Algorithms; Towards Co-Engineering Communicating Autonomous Cyber-Physical Systems; and Formal Methods for Automated Diagnosis of Autosub 6000.

Denney, Ewen↗
NASA NTRS1998

A Proposal to Develop Interactive Classification Technology

Research for the first year was oriented towards: 1) the design of an interactive classification tool (ICT); and 2) the development of an appropriate theory of inference for use in ICT technology. The general objective was to develop a theory of classification that could accommodate a diverse array of objects, including events and their constituent objects. Throughout this report, the term "object" is to be interpreted in a broad sense to cover any kind of object, including living beings, non-living physical things, events, even ideas and concepts. The idea was to produce a theory that could serve as the uniting fabric of a base technology capable of being implemented in a variety of automated systems. The decision was made to employ two technologies under development by the principal investigator, namely, SMS (Symbolic Manipulation System) and SL (Symbolic Language) [see debessonet, 1991, for detailed descriptions of SMS and SL]. The plan was to enhance and modify these technologies for use in an ICT environment. As a means of giving focus and direction to the proposed research, the investigators decided to design an interactive, classificatory tool for use in building accessible knowledge bases for selected domains. Accordingly, the proposed research was divisible into tasks that included: 1) the design of technology for classifying domain objects and for building knowledge bases from the results automatically; 2) the development of a scheme of inference capable of drawing upon previously processed classificatory schemes and knowledge bases; and 3) the design of a query/ search module for accessing the knowledge bases built by the inclusive system. The interactive tool for classifying domain objects was to be designed initially for textual corpora with a view to having the technology eventually be used in robots to build sentential knowledge bases that would be supported by inference engines specially designed for the natural or man-made environments in which the robots would be called upon to operate.

deBessonet, Cary↗
NASA NTRS1989

Extracting text from real-world scenes

Many scenes contain significant textual information that can be extremely helpful for understanding and/or navigation. For example, text-based information can frequently be the primary cure used for navigating inside buildings. A subject might first read a marquee, then look for an appropriate hallway and walk along reading door signs and nameplates until the destination is found. Optical character recognition has been studied extensively in recent years, but has been applied almost exclusively to printed documents. As these techniques improve it becomes reasonable to ask whether they can be applied to an arbitrary scene in an attempt to extract text-based information. Before an automated system can be expected to navigate by reading signs, however, the text must first be segmented from the rest of the scene. This paper discusses the feasibility of extracting text from an arbitrary scene and using that information to guide the navigation of a mobile robot. Considered are some simple techniques for first locating text components and then tracking the individual characters to form words and phrases. Results for some sample images are also presented.

Bixler, J. Patrick↗
NASA NTRSDate not supplied

Firmware Architecture of the ARMADAS Bolting Robot

The Automated Reconfigurable Mission Adaptive Digital Assembly Systems (ARMADAS) project, under development at NASA Ames Research Center, has demonstrated on-ground autonomous robotic assembly of extensive digital structures, and it is now moving forward towards in-space demonstration. The ARMADAS system comprises of the operation software, the operation user interface (opsUI), and a swarm of robots. The robotic system consists of a multitude of collaborative agents specifically designed to transport, place and bolt the building blocks, called voxels (volumetric pixels). This paper focuses on the bolting robot, referred to as Mobile Metamaterial Internal Co-Integrator (MMIC-I). MMIC-I is a battery-powered crawling robot. It navigates the structure through extension, contraction and gripping. Two distinct controller boards operate the robot's two symmetric modules, referred to as module A and B. Board A is the master board: it coordinates motion planning and motion primitives execution, hosts the WiFi client, performs periodic self-assessment and system idle check and triggers faults if anomalies are detected. Board B periodically sends a heartbeat to board A, through a wired communication channel that uses the Serial protocol. Additionally, board A's WiFi client receives heartbeat packet requests or motion/bolting commands from a dedicated server board, and acknowledges reception sending back a response heartbeat packet containing information about the overall robot status, e. g. electrical current and voltage values, target and actual angles, operating mode, fault status. Whenever a motion command is sent, the motion planning section of the firmware determines the current robot configuration, using Inertial Measurement Unit readings and the motors Pulse Width Modulation values. Afterwards, it calculates the list of primitives needed to reach the target state, and controls their execution in the proper order. MMIC-I can receive and execute motion and bolting commands only when it is in operational mode. MMIC-I has three operating modes: standby, operational and safed. Standby mode is automatically entered upon startup. While in standby mode, all motors are powered off, and the only accepted commands are the ones relative to a change of mode and heartbeat packet request. Fault detection causes the robot to automatically enter safed or standby mode. Whenever the detected fault occurs within a motion and requires immediate intervention, e. g. an over-current situation, the robot enters safed mode. Safed mode powers off all motors except for the locomotion module, thus preventing the robot from collapsing. Conversely, when the detected fault doesn't require immediate intervention (low battery warning, for instance), the robot enters standby mode after completing the ongoing motion. This paper provides a detailed discussion of MMIC-I's firmware architecture. It accurately describes the implementation approach for each module: sensor data reading, motor control and actuation, WiFi server-client communication, intra-boards Serial communication, operating modes and autonomous fault detection, motion planning, coordination and execution, etc. Moreover, in support of the software description, this paper includes a thorough characterization of MMIC-I's hardware and avionics.

In-space assembly↗
NASA NTRS1990

SHAPA: An interactive software tool for protocol analysis applied to aircrew communications and workload

As modern transport environments become increasingly complex, issues such as crew communication, interaction with automation, and workload management have become crucial. Much research is being focused on holistic aspects of social and cognitive behavior, such as the strategies used to handle workload, the flow of information, the scheduling of tasks, the verbal and non-verbal interactions between crew members. Traditional laboratory performance measures no longer sufficiently meet the needs of researchers addressing these issues. However observational techniques are better equipped to capture the type of data needed and to build models of the requisite level of sophistication. Presented here is SHAPA, an interactive software tool for performing both verbal and non-verbal protocol analysis. It has been developed with the idea of affording the researchers the closest possible degree of engagement with protocol data. The researcher can configure SHAPA to encode protocols using any theoretical framework or encoding vocabulary that is desired. SHAPA allows protocol analysis to be performed at any level of analysis, and it supplies a wide variety of tools for data aggregation, manipulation. The output generated by SHAPA can be used alone or in combination with other performance variables to get a rich picture of the influences on sequences of verbal or nonverbal behavior.

James, Jeffrey M.↗
NASA NTRS1993

The Database Query Support Processor (QSP)

The number and diversity of databases available to users continues to increase dramatically. Currently, the trend is towards decentralized, client server architectures that (on the surface) are less expensive to acquire, operate, and maintain than information architectures based on centralized, monolithic mainframes. The database query support processor (QSP) effort evaluates the performance of a network level, heterogeneous database access capability. Air Force Material Command's Rome Laboratory has developed an approach, based on ANSI standard X3.138 - 1988, 'The Information Resource Dictionary System (IRDS)' to seamless access to heterogeneous databases based on extensions to data dictionary technology. To successfully query a decentralized information system, users must know what data are available from which source, or have the knowledge and system privileges necessary to find out this information. Privacy and security considerations prohibit free and open access to every information system in every network. Even in completely open systems, time required to locate relevant data (in systems of any appreciable size) would be better spent analyzing the data, assuming the original question was not forgotten. Extensions to data dictionary technology have the potential to more fully automate the search and retrieval for relevant data in a decentralized environment. Substantial amounts of time and money could be saved by not having to teach users what data resides in which systems and how to access each of those systems. Information describing data and how to get it could be removed from the application and placed in a dedicated repository where it belongs. The result simplified applications that are less brittle and less expensive to build and maintain. Software technology providing the required functionality is off the shelf. The key difficulty is in defining the metadata required to support the process. The database query support processor effort will provide quantitative data on the amount of effort required to implement an extended data dictionary at the network level, add new systems, adapt to changing user needs, and provide sound estimates on operations and maintenance costs and savings.

Source record↗