Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “construction 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 487 records · Page 27
All sourcesNASA NTRSDOE OSTI
DOE OSTI2020

Building the Efficiency Workforce: Preprint

Demand for high-performance homes and buildings is growing due to their marketability, environmental benefits, and increasing affordability. Growth for energy efficient technologies and building upgrades has driven expansion across many traditional industries including construction trades (which added almost 21,000 jobs) and professional services (which added 35,000 employees) in 2018, according to the 2019 U.S. Energy Employment Report (USEER). As buildings become more automated, digitized and interconnected, the workforce that supports the design, build, operations and maintenance of these buildings must evolve. The U.S. Department of Energy’s Building Technologies Office (BTO) has engaged NREL to provide a framework upon which BTO can develop their next generation workforce development strategy. The strategy will be designed to increase quantity of workers with the skills to adequately design, install, maintain and operate high- performance buildings across all building sectors (residential, commercial, industrial). This paper will summarize past BTO workforce development efforts, identify current skills gaps and hiring challenges, and present anticipated future workforce needs based on new technologies currently being developed by labs and industry. Through a literature review and a series of industry and academic workshops, NREL will present a framework that includes multiple options to best prepare the next generation workforce.

buildings↗
NASA NTRS2003

Automated Finite Element Analysis of Elastically-Tailored Plates

A procedure for analyzing and designing elastically tailored composite laminates using the STAGS finite element solver has been presented. The methodology used to produce the elastic tailoring, namely computer-controlled steering of unidirectionally reinforced composite material tows, has been reduced to a handful of design parameters along with a selection of construction methods. The generality of the tow-steered ply definition provides the user a wide variety of options for laminate design, which can be automatically incorporated with any finite element model that is composed of STAGS shell elements. Furthermore, the variable stiffness parameterization is formulated so that manufacturability can be assessed during the design process, plus new ideas using tow steering concepts can be easily integrated within the general framework of the elastic tailoring definitions. Details for the necessary implementation of the tow-steering definitions within the STAGS hierarchy is provided, and the format of the ply definitions is discussed in detail to provide easy access to the elastic tailoring choices. Integration of the automated STAGS solver with laminate design software has been demonstrated, so that the large design space generated by the tow-steering options can be traversed effectively. Several design problems are presented which confirm the usefulness of the design tool as well as further establish the potential of tow-steered plies for laminate design.

Jegley, Dawn C.↗
NASA NTRS2018

Automated Scenario Generation for Human-in-the-Loop Simulations

Automated Multi-Aircraft Control System scenario generation for Human-in-the-Loop (HITL) evaluations of air traffic management concepts is described. The objective is to replace the difficult manual process with the automated process for creating an initial (seed) scenario that serves as a starting point for manual adjustments for creating the Human-in-the-Loop scenario. Methods for analyzing and comparing the seed-scenario generated using the automated process and the Human-in-the-Loop-scenario derived from it to meet the experiment objectives are discussed. Results of comparison of input Human-in-the-Loop-scenario with the Multi-Aircraft Control System output are also presented. The main findings are: (1) many of the characteristics of the seed-scenario used for constructing the Human-in-the-Loop-scenario are preserved in the Human-in-the-Loop-scenario, (2) landing rate profile of the traffic generated by the Multi-Aircraft Control System (MACS) using the input scenario compares reasonably well with that intended in the input scenario, and (3) many of the desired characteristics of the Human-in-the-Loop-scenario can be achieved by further automation.

Automated Scenario Generation↗
NASA NTRS1975

Automated system for integration and display of physiological response data

The system analysis approach was applied in a study of physiological systems in both 1-g and weightlessness, for short and long term experiments. A whole body, algorithm developed as the first step in the construction of a total body simulation system is described and an advanced biomedical computer system concept including interactive display/command consoles is discussed. The documentation of the design specifications, design and development studies, and user's instructions (which include program listings) for these delivered end-terms; the reports on the results of many research and feasibility studies; and many subcontract reports are cited in the bibliography.

Source record↗
NASA NTRS1987

Second AIAA/NASA USAF Symposium on Automation, Robotics and Advanced Computing for the National Space Program

An introduction is given to NASA goals in the development of automation (expert systems) and robotics technologies in the Space Station program. Artificial intelligence (AI) has been identified as a means to lowering ground support costs. Telerobotics will enhance space assembly, servicing and repair capabilities, and will be used for an estimated half of the necessary EVA tasks. The general principles guiding NASA in the design, development, ground-testing, interactions with industry and construction of the Space Station component systems are summarized. The telerobotics program has progressed to a point where a telerobot servicer is a firm component of the first Space Station element launch, to support assembly, maintenance and servicing of the Station. The University of Wisconsin has been selected for the establishment of a Center for the Commercial Development of Space, specializing in space automation and robotics.

Myers, Dale↗
NASA NTRSDate not supplied

Lunar Base Construction Overview

Previous lunar missions and campaigns have been restricted to using robotic landers and lunar orbiting satellites as well as sortie type of operations using astronaut crews (NASA Apollo program). The next phase of lunar exploration has begun under NASA’s Artemis program and there has been an international response where other nations such as China, Russia, India, Canada, Japan and the European Union of nations, have all expressed interest in either collaborating or competing with NASA on the Moon. This next phase has an over arching goal of achieving a permanent human presence on the Moon via sustainable methods. A lunar base with human occupancy will require infrastructure to provide shelter, utilities, landing/launch pads, roads, communications, power and all the other necessities to sustain human life and protect equipment. Since human biology is not well suited for surviving in the lunar environment, there will be many forms of automated equipment, autonomy and robotic helpers that will minimize the amount of Extra-Vehicular Activity (EVA) required by the crew. This will mean that the radiation dosage received by the crew will stay within acceptable and safe career doses. The required infrastructure must be constructed, but the mass and logistics of bringing all the construction materials from Earth are prohibitive, which makes the necessary construction difficult to achieve. In-Situ Resource Utilization (ISRU) aims to solve this challenge by sourcing construction materials locally or “in-situ”. This means that their transportation can be completely eliminated, resulting in large cost savings by avoiding the launch out of Earth’s deep gravity well and subsequent trans lunar injection, lunar orbit capture and landing. This paper will give an overview of the required construction tasks and related equipment that will be required to robotically build a lunar base using in-situ resources. It will also organize these tasks into logical groupings so that technology development and implementation can be pursued within a framework that can be referenced by all involved.

Construction↗
DOE OSTI2024

A Formalization of Core Why3 in Coq

Intermediate verification languages like Why3 and Boogie have made it much easier to build program verifiers, transforming the process into a logic compilation problem rather than a proof automation one. Why3 in particular implements a rich logic for program specification with polymorphism, algebraic data types, recursive functions and predicates, and inductive predicates; it translates this logic to over a dozen solvers and proof assistants. Accordingly, it serves as a backend for many tools, including Frama-C, EasyCrypt, and GNATProve for Ada SPARK. But how can we be sure that these tools are correct? The alternate foundational approach, taken by tools like VST and CakeML, provides strong guarantees by implementing the entire toolchain in a proof assistant, but these tools are harder to build and cannot directly take advantage of SMT solver automation. As a first step toward enabling automated tools with similar foundational guarantees, we give a formal semantics in Coq for the logic fragment of Why3. We show that our semantics are useful by giving a correct-by-construction natural deduction proof system for this logic, using this proof system to verify parts of Why3's standard library, and proving sound two of Why3's transformations used to convert terms and formulas into the simpler logics supported by the backend solvers.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1997

Towards High-Assurance High-Performance Program Synthesis

Domain-specific automatic program synthesis tools, also called application generators, are playing an ever-increasing role in software development. However, high-performance application generators require difficult manual construction, and are very difficult to verify correct. This paper describes research and an implemented system that transforms program synthesis tools based on deductive synthesis into high-performance application generators. Deductive synthesis uses theorem-proving to construct solutions when given problem specifications. The verification condition for a deductive synthesis tool is essentially the soundness of the implemented inference rules. Theory Operationalization for Program Synthesis (TOPS) synergistically combines reformulation, automated mathematical classification, and compilation through partial deduction to decision procedures. It transforms general-purpose deductive synthesis, with exponential performance, into efficient special-purpose deductive synthesis, with near-linear performance. This paper describes our experience with and empirical results of PD(TH) theory-based partial deduction - in which partial deduction of a set of first-order formulae is performed within the context of a background theory. The implemented TOPS system currently performs a special variant of PD(TH) in which the compilation process results in the transformation of a set of first order formulae into the theory of an instantiated library decision procedure augmented by a compiled unit theory.

Lowry, Michael↗
DOE OSTI2021

Bayesian automated weighting of aggregated DFT, MD, and experimental data for candidate thermodynamic models of aluminum with uncertainty quantification

Atomic-scale modeling methods such as density functional theory (DFT) and molecular dynamics (MD) can predict the thermodynamic properties of materials at a lower cost than experimental measurements. However, their regular usage in thermodynamic model construction is hampered by the lack of quantitative agreement with experimental measurements and the lack of uncertainty estimates on the data. To make regular usage of this atomistic simulation data, it is important to assess whether the atomistic simulation datasets, by themselves or in combination with experimental measurements, result in the same physics-informed models best supported by experimental measurements alone. Here, models of aluminum thermodynamic properties are discussed using three data sources: atomistic calculations (DFT and MD), experiments, and a combination of atomistic calculations and experiments. The study shows that, after ensuring self-consistency in predicting key invariant points, both experimental measurements and atomistic calculations can significantly contribute to an optimal model.

36 MATERIALS SCIENCE↗
NASA NTRS2005

Software for Optimizing Plans Involving Interdependent Goals

A computer program enables construction and optimization of plans for activities that are directed toward achievement of goals that are interdependent. Goal interdependence is defined as the achievement of one or more goals affecting the desirability or priority of achieving one or more other goals. This program is overlaid on the Automated Scheduling and Planning Environment (ASPEN) software system, aspects of which have been described in a number of prior NASA Tech Briefs articles. Unlike other known or related planning programs, this program considers interdependences among goals that can change between problems and provides a language for easily specifying such dependences. Specifications of the interdependences can be formulated dynamically and provided to the associated planning software as part of the goal input. Then an optimization algorithm provided by this program enables the planning software to reason about the interdependences and incorporate them into an overall objective function that it uses to rate the quality of a plan under construction and to direct its optimization search. In tests on a series of problems of planning geological experiments by a team of instrumented robotic vehicles (rovers) on new terrain, this program was found to enhance plan quality.

Estlin, Tara↗
DOE OSTI2025

The Analysis Description Language Ecosystem: Latest developments and physics applications

We present latest developments in Analysis Description Language (ADL), a declarative domain-specific language describing the physics algorithm of a HEP data analysis decoupled from software frameworks. Analyses written in ADL can be integrated into any framework for various tasks. ADL is a multipurpose construct with uses ranging from analysis design to preservation, reinterpretation, queries, visualisation, combination, etc. The most advanced infrastructure to execute ADL on events is the CutLang runtime interpreter. Recent technical developments include an automated interface with different data types, generation of the abstract syntax tree, a visualization tool that that auto-converts analysis flows to graphs, incorporation of trained machine learning models and a Jupyter-based plotting tool. We also report physics implications including a large scale LHC analysis implementation and validation effort for beyond the standard model reinterpretation purposes and studies with ATLAS and CMS open data.

Sekmen, Sezen [Kyungpook National Univ., Daegu (Ko↗
NASA NTRS1986

STAR - A computer language for hybrid AI applications

Constructing Artificial Intelligence application systems which rely on both symbolic and non-symbolic processing places heavy demands on the communication of data between dissimilar languages. This paper describes STAR (Simple Tool for Automated Reasoning), a computer language for the development of AI application systems which supports the transfer of data structures between a symbolic level and a non-symbolic level defined in languages such as FORTRAN, C and PASCAL. The organization of STAR is presented, followed by the description of an application involving STAR in the interpretation of airborne imaging spectrometer data.

Borchardt, G. C.↗
NASA NTRS1991

Coherent Doppler lidar for automated space vehicle rendezvous, stationkeeping and capture

The inherent spatial resolution of laser radar makes ladar or lidar an attractive candidate for Automated Rendezvous and Capture application. Previous applications were based on incoherent lidar techniques, requiring retro-reflectors on the target vehicle. Technology improvements (reduced size, no cryogenic cooling requirement) have greatly enhanced the construction of coherent lidar systems. Coherent lidar permits the acquisition of non-cooperative targets at ranges that are limited by the detection capability rather than by the signal-to-noise ratio (SNR) requirements. The sensor can provide translational state information (range, velocity, and angle) by direct measurement and, when used with any array detector, also can provide attitude information by Doppler imaging techniques. Identification of the target is accomplished by scanning with a high pulse repetition frequency (dependent on the SNR). The system performance is independent of range and should not be constrained by sun angle. An initial effort to characterize a multi-element detection system has resulted in a system that is expected to work to a minimum range of 1 meter. The system size, weight and power requirements are dependent on the operating range; 10 km range requires a diameter of 3 centimeters with overall size at 3 x 3 x 15 to 30 cm, while 100 km range requires a 30 cm diameter.

Bilbro, James A.↗
NASA NTRS1997

A Geometry Based Infra-structure for Computational Analysis and Design

The computational steps traditionally taken for most engineering analysis (CFD, structural analysis, and etc.) are: Surface Generation - usually by employing a CAD system; Grid Generation - preparing the volume for the simulation; Flow Solver - producing the results at the specified operational point; and Post-processing Visualization - interactively attempting to understand the results For structural analysis, integrated systems can be obtained from a number of commercial vendors. For CFD, these steps have worked well in the past for simple steady-state simulations at the expense of much user interaction. The data was transmitted between phases via files. Specifically the problems with this procedure are: (1) File based. Information flows from one step to the next via data files with formats specified for that procedure. (2) 'Good' Geometry. A bottleneck in getting results from a solver is the construction of proper geometry to be fed to the grid generator. With 'good' geometry a grid can be constructed in tens of minutes (even with a complex configuration) using unstructured techniques. (3) One-Way communication. All information travels on from one phase to the next. Until this process can be automated, more complex problems such as multi-disciplinary analysis or using the above procedure for design becomes prohibitive.

Haimes, Robert↗
NASA NTRS2015

Composite Cryotank Technologies and Demonstration

NASA is exploring advanced composite materials and processes to reduce the overall cost and weight of liquid hydrogen (LH2) cryotanks while maintaining the reliability of existing metallic designs. The fundamental goal of the composite cryotank project was to provide new and innovative technologies that enable human space exploration to destinations beyond low-Earth orbit such as the Moon, near-Earth asteroids, and Mars. In September 2011, NASA awarded Boeing the contract to design, manufacture, and test two lightweight composite cryogenic propellant tanks. The all-composite tanks shown iare fabricated with an automated fiber placement machine using a prepreg system of IM7 carbon fiber/CYCOM 5320-1 epoxy resin. This is a resin system developed for out-of-autoclave applications. Switching from metallic to composite construction holds the potential to dramatically increase the performance capabilities of future space systems through a dramatic reduction in weight. Composite Cryotank Technologies and Demonstration testing was an agency-wide effort with NASA Marshall Space Flight Center (MSFC) leading project management, manufacturing, and test; Glenn Research Center leading the materials; and Langley Research Center leading the structures effort for this project. Significant contributions from NASA loads/stress personnel contributed to the understanding of thermal/mechanical strain response while undergoing testing at cryogenic temperatures. The project finalized in September 2014.

Vickers, John↗
NASA NTRS2005

Advanced Method to Estimate Fuel Slosh Simulation Parameters

The nutation (wobble) of a spinning spacecraft in the presence of energy dissipation is a well-known problem in dynamics and is of particular concern for space missions. The nutation of a spacecraft spinning about its minor axis typically grows exponentially and the rate of growth is characterized by the Nutation Time Constant (NTC). For launch vehicles using spin-stabilized upper stages, fuel slosh in the spacecraft propellant tanks is usually the primary source of energy dissipation. For analytical prediction of the NTC this fuel slosh is commonly modeled using simple mechanical analogies such as pendulums or rigid rotors coupled to the spacecraft. Identifying model parameter values which adequately represent the sloshing dynamics is the most important step in obtaining an accurate NTC estimate. Analytic determination of the slosh model parameters has met with mixed success and is made even more difficult by the introduction of propellant management devices and elastomeric diaphragms. By subjecting full-sized fuel tanks with actual flight fuel loads to motion similar to that experienced in flight and measuring the forces experienced by the tanks these parameters can be determined experimentally. Currently, the identification of the model parameters is a laborious trial-and-error process in which the equations of motion for the mechanical analog are hand-derived, evaluated, and their results are compared with the experimental results. The proposed research is an effort to automate the process of identifying the parameters of the slosh model using a MATLAB/SimMechanics-based computer simulation of the experimental setup. Different parameter estimation and optimization approaches are evaluated and compared in order to arrive at a reliable and effective parameter identification process. To evaluate each parameter identification approach, a simple one-degree-of-freedom pendulum experiment is constructed and motion is induced using an electric motor. By applying the estimation approach to a simple, accurately modeled system, its effectiveness and accuracy can be evaluated. The same experimental setup can then be used with fluid-filled tanks to further evaluate the effectiveness of the process. Ultimately, the proven process can be applied to the full-sized spinning experimental setup to quickly and accurately determine the slosh model parameters for a particular spacecraft mission. Automating the parameter identification process will save time, allow more changes to be made to proposed designs, and lower the cost in the initial design stages.

Schlee, Keith↗
NASA NTRS2024

Operational Integration Assessment (OIA) of Midterm UAM Operations: Class C Airspace Tabletop Exercise and Integration Checkpoint

The National Aeronautics and Space Administration (NASA), in collaboration with the Federal Aviation Administration (FAA), is conducting research into evolving today’s air traffic management system towards a more automated and operationally flexible airspace to accommodate Urban Air Mobility (UAM) operations at scale. UAM operations, enabled by electric Vertical Takeoff and Landing (eVTOL) aircraft, may change the role of aviation in the movement of people and goods and provide practical, cost-effective air transport in metropolitan areas. FAA UAM Concept of Operations v2.0 describes three evolutionary stages of UAM operations: Initial, Midterm, and Mature State operations. Midterm operations are comprised of many complex changes to the national airspace system (NAS). The Operational Integration Assessment (OIA) was created as a capability to address the need to study the progression and identify interdependencies of those changes that may occur during the midterm UAM operations timeframe. The OIA includes a series of tabletop exercises and integration checkpoints planned to explore various use cases from end-to-end, evaluated by NASA’s Air Traffic Management eXploration (ATM-X) project in partnership with the FAA’s William J. Hughes Technical Center (WJHTC) and industry partners. The use cases were exercised in an immersive, integrated live-virtual-constructive (LVC) airspace simulation environment, called the NASA/FAA Laboratory Integrated Test Environment (NFLITE), as part of an effort to learn how UAM operations can scale beyond the as-is NAS and through the transition to higher-tempo and highly automated operations of the future. This document describes the events of the tabletop exercise held from January 24-26, 2023, at the National Airspace Research & Technology Park (NARTP) in Egg Harbor Township, New Jersey, adjacent to the WJHTC and the subsequent integration checkpoint performed on March 28, 2023,at NASA Langley Research Center (LaRC) in Hampton, Virginia.

UAM↗
NASA NTRS1996

Information Presentation and Control in a Modern Air Traffic Control Tower Simulator

The proper presentation and management of information in America's largest and busiest (Level V) air traffic control towers calls for an in-depth understanding of many different human-computer considerations: user interface design for graphical, radar, and text; manual and automated data input hardware; information/display output technology; reconfigurable workstations; workload assessment; and many other related subjects. This paper discusses these subjects in the context of the Surface Development and Test Facility (SDTF) currently under construction at NASA's Ames Research Center, a full scale, multi-manned, air traffic control simulator which will provide the "look and feel" of an actual airport tower cab. Special emphasis will be given to the human-computer interfaces required for the different kinds of information displayed at the various controller and supervisory positions and to the computer-aided design (CAD) and other analytic, computer-based tools used to develop the facility.

Haines, Richard F.↗