Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “prototype specifications”

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 235 records · Page 13

KSC Space Station Operations Language (SSOL)

The Space Station Operations Language (SSOL) will serve a large community of diverse users dealing with the integration and checkout of Space Station modules. Kennedy Space Center's plan to achieve Level A specification of the SSOL system, encompassing both its language and its automated support environment, is presented in the format of a briefing. The SSOL concept is a collection of fundamental elements that span languages, operating systems, software development, software tools and several user classes. The approach outlines a thorough process that combines the benefits of rapid prototyping with a coordinated requirements gathering effort, yielding a Level A specification of the SSOL requirements.

Source record↗

Scaling of Ion Thrusters to Low Power

Analyses were conducted to examine ion thruster scaling relationships in detail to determine performance limits, and lifetime expectations for thruster input power levels below 0.5 kW. This was motivated by mission analyses indicating the potential advantages of high performance, high specific impulse systems for small spacecraft. The design and development status of a 0.1-0.3 kW prototype small thruster and its components are discussed. Performance goals include thruster efficiencies on the order of 40% to 54% over a specific impulse range of 2000 to 3000 seconds, with a lifetime in excess of 8000 hours at full power. Thruster technologies required to achieve the performance and lifetime targets are identified.

Patterson, Michael J.↗

Generating Safety-Critical PLC Code From a High-Level Application Software Specification

The benefits of automatic-application code generation are widely accepted within the software engineering community. These benefits include raised abstraction level of application programming, shorter product development time, lower maintenance costs, and increased code quality and consistency. Surprisingly, code generation concepts have not yet found wide acceptance and use in the field of programmable logic controller (PLC) software development. Software engineers at Kennedy Space Center recognized the need for PLC code generation while developing the new ground checkout and launch processing system, called the Launch Control System (LCS). Engineers developed a process and a prototype software tool that automatically translates a high-level representation or specification of application software into ladder logic that executes on a PLC. All the computer hardware in the LCS is planned to be commercial off the shelf (COTS), including industrial controllers or PLCs that are connected to the sensors and end items out in the field. Most of the software in LCS is also planned to be COTS, with only small adapter software modules that must be developed in order to interface between the various COTS software products. A domain-specific language (DSL) is a programming language designed to perform tasks and to solve problems in a particular domain, such as ground processing of launch vehicles. The LCS engineers created a DSL for developing test sequences of ground checkout and launch operations of future launch vehicle and spacecraft elements, and they are developing a tabular specification format that uses the DSL keywords and functions familiar to the ground and flight system users. The tabular specification format, or tabular spec, allows most ground and flight system users to document how the application software is intended to function and requires little or no software programming knowledge or experience. A small sample from a prototype tabular spec application is shown.

Source record↗

Mixed Material Scintillator Systems Quarterly Report FY20Q4

This project aims to invent, model, and prototype architected multimaterial scintillator systems (AMSSs), a new class of radiation detectors that use heterogenous internal structures of different scintillating materials to detect additional properties of radiation. These internal structures can be produced using additive manufacture (AM, i.e. 3D printing) of scintillator, a currently emerging application of additive manufacture technology. AMSSs combine the low cost and complexity of conventional scintillation detectors with capabilities currently only available in more expensive and complex detectors. By identifying promising AMSS designs, this project will enable a new class of detectors to meet DNN’s mission needs for SNM detection. In past reporting, we have described this detector concept as “mixed material scintillator systems” (MMSS), but as part of preparing papers for publication we have concluded the term “architected multimaterial scintillator systems” (AMSS) better reflects the importance of structure in these detectors. We plan to use the AMSS acronym going forward. This quarter, we participated in an Independent Assessment of the work so far. The panelists on the review concluded that the AMSS concept has great potential and our work so far was effective at bringing that potential to light. They highly encouraged further work on this topic. The panelists also had several useful suggestions, which we took to heart. This review is described in more detail below. This quarter saw a resumption of work on the final task of this project, prototyping. In the first half of the quarter, this work focused on solving specific technical barriers to achieve 1x1x1 cm prints. In the second half, we focused on producing high-quality samples and making characterization measurements of those samples, with an eye on our deliverable report on the prototyping task. This report can be expected along with the end-of-year report on October 30. This project successfully spent the entirety of its remaining funds this quarter, except for $13k refunded to this project in the last days of the fiscal year due to LLNL cost adjustments. This project has captured the interest of many LLNL experts, and so we have been able to effectively use our budget to harness the available effort.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

TPSAS-NF1676L-9990-DND

PVS (Prototype Veri cation System)1 is an interactive environment for the specification and verification of systems. PVS provides a strongly typed specification language, which is based on Higher-Order Logic. The type system of PVS supports: sub-typing, dependent-types, abstract data types, parametric types, records, unions, and tuples. The PVS theorem prover includes decision procedures for a variety of theories such as linear arithmetic, propositional logic, and temporal logic. This seminar will provide a gentle introduction to the basic and advanced features of PVS, including: theory interpretations, real number proving, batch proving, rapid prototyping, and strategy development. All these features are illustrated with simple examples and exercises.

César Muñoz↗

Experimental Studies and Energy Modeling for Evaluating Performance of Various Deep Wall Retrofits

The Pacific Northwest National Laboratory, Oak Ridge National Laboratory, and the University of Minnesota conducted a three-year, multipart study on residential retrofit wall assemblies. The project, which was funded by the U.S. Department of Energy’s Building Technology Office, aimed to compare a range of residential wall retrofit systems that prioritized affordability, durability, and energy savings potential. The research team identified, constructed, tested, simulated, and analyzed the feasibility and economics of 16 wall retrofit assemblies (14 test configurations and two baseline configurations) that can be applied to the exterior side of existing walls (either with or without the existing cladding). The 16 wall assemblies were installed in an in-situ laboratory environment, to evaluate the ease of construction and study the thermal and hygrothermal performance of the walls. This paper presents the methodology used to evaluate the thermal performance of the walls and discusses the energy modeling results of the study. The results from the experiments were used to calibrate a THERM model of each wall assembly, which was then applied to a whole building using the EnergyPlus 8.6 simulation engine. A residential prototype building was used to extrapolate whole-building energy savings in each U.S. climate zone. To capture the conditions of the largest number of homes in the United States, the most frequent building characteristics (e.g., attic insulation level, window specifications, foundation insulation, etc.) were extracted from ResStock data and applied to the prototype model. Results from the energy modeling showed that the climate zones with the highest potential for retrofit savings are those which are heating-dominated (i.e., Cold and Very Cold climate designations). In these climate zones, heating and cooling energy savings due to the wall retrofits alone ranged from 21.5% to 38.2%.

Nagda, Harshil↗

Performance analysis of parallel branch and bound search with the hypercube architecture

With the availability of commercial parallel computers, researchers are examining new classes of problems which might benefit from parallel computing. This paper presents results of an investigation of the class of search intensive problems. The specific problem discussed is the Least-Cost Branch and Bound search method of deadline job scheduling. The object-oriented design methodology was used to map the problem into a parallel solution. While the initial design was good for a prototype, the best performance resulted from fine-tuning the algorithm for a specific computer. The experiments analyze the computation time, the speed up over a VAX 11/785, and the load balance of the problem when using loosely coupled multiprocessor system based on the hypercube architecture.

Mraz, Richard T.↗

Automated Translation of Safety Critical Application Software Specifications into PLC Ladder Logic

The numerous benefits of automatic application code generation are widely accepted within the software engineering community. A few of these benefits include raising the abstraction level of application programming, shorter product development time, lower maintenance costs, and increased code quality and consistency. Surprisingly, code generation concepts have not yet found wide acceptance and use in the field of programmable logic controller (PLC) software development. Software engineers at the NASA Kennedy Space Center (KSC) recognized the need for PLC code generation while developing their new ground checkout and launch processing system. They developed a process and a prototype software tool that automatically translates a high-level representation or specification of safety critical application software into ladder logic that executes on a PLC. This process and tool are expected to increase the reliability of the PLC code over that which is written manually, and may even lower life-cycle costs and shorten the development schedule of the new control system at KSC. This paper examines the problem domain and discusses the process and software tool that were prototyped by the KSC software engineers.

Leucht, Kurt W.↗

Seamless transitions from early prototypes to mature operational software - A technology that enables the process for planning and scheduling applications

New and innovative software technology is presented that provides a cost effective bridge for smoothly transitioning prototype software, in the field of planning and scheduling, into an operational environment. Specifically, this technology mixes the flexibility and human design efficiency of dynamic data typing with the rigor and run-time efficiencies of static data typing. This new technology provides a very valuable tool for conducting the extensive, up-front system prototyping that leads to specifying the correct system and producing a reliable, efficient version that will be operationally effective and will be accepted by the intended users.

Hornstein, Rhoda S.↗

NASA Controller Acceptability Study 1(CAS-1) Experiment Description and Initial Observations

This paper describes the Controller Acceptability Study 1 (CAS-1) experiment that was conducted by NASA Langley Research Center personnel from January through March 2014 and presents partial CAS-1 results. CAS-1 employed 14 air traffic controller volunteers as research subjects to assess the viability of simulated future unmanned aircraft systems (UAS) operating alongside manned aircraft in moderate-density, moderate-complexity Class E airspace. These simulated UAS were equipped with a prototype pilot-in-the-loop (PITL) Detect and Avoid (DAA) system, specifically the Self-Separation (SS) function of such a system based on Stratway+ software to replace the see-and-avoid capabilities of manned aircraft pilots. A quantitative CAS-1 objective was to determine horizontal miss distance (HMD) values for SS encounters that were most acceptable to air traffic controllers, specifically HMD values that were assessed as neither unsafely small nor disruptively large. HMD values between 0.5 and 3.0 nautical miles (nmi) were assessed for a wide array of encounter geometries between UAS and manned aircraft. The paper includes brief introductory material about DAA systems and their SS functions, followed by descriptions of the CAS-1 simulation environment, prototype PITL SS capability, and experiment design, and concludes with presentation and discussion of partial CAS-1 data and results.

Chamberlain, James P.↗

Validated model of a thermoelectric heat pump clothes dryer using secondary pumped loops

The energy associated with clothes drying makes up 4% of the total residential electrical energy consumption in the US. The cost is high since most clothes dryers use electric resistance heating which is inexpensive but also energy inefficient. State-of-the-art vapor-compression heat pump clothes dryers offer significant energy savings but have limited market penetration in the US. Here, a new configuration of clothes dryer was studied that utilizes a solid-state thermoelectric heat pump with pumped secondary water loops and conventional fin-and-tube water-to-air heat exchangers. Experimental results are presented for the thermoelectric dryer prototype with a combined energy factor of 6.89 lb BDW /kWh (specific moisture extraction rate of 1.71 kg w /kWh) and a dry time of 84 min for a standard load size of 8.45 lb (3.83 kg) with 57.5% starting moisture content. This is a 85% energy efficiency improvement over baseline electric resistance dryers. The efficiency and drying time results achieved are similar to vapor compression heat pump dryers. Compared to previous air-based thermoelectric clothes dryers, the energy efficiency has been increased by 6%, but drying time has been reduced by as much as 47% using secondary pumped loops and separate heat exchangers, which represents a significant advancement in the technology. In addition to the experimental prototype, a model was also developed to study the performance. The model was validated against experimental prototype data and used to identify the range of performance (dry time and efficiency) that could be expected of the design.

42 ENGINEERING↗

An expert system based software sizing tool, phase 2

A software tool was developed for predicting the size of a future computer program at an early stage in its development. The system is intended to enable a user who is not expert in Software Engineering to estimate software size in lines of source code with an accuracy similar to that of an expert, based on the program's functional specifications. The project was planned as a knowledge based system with a field prototype as the goal of Phase 2 and a commercial system planned for Phase 3. The researchers used techniques from Artificial Intelligence and knowledge from human experts and existing software from NASA's COSMIC database. They devised a classification scheme for the software specifications, and a small set of generic software components that represent complexity and apply to large classes of programs. The specifications are converted to generic components by a set of rules and the generic components are input to a nonlinear sizing function which makes the final prediction. The system developed for this project predicted code sizes from the database with a bias factor of 1.06 and a fluctuation factor of 1.77, an accuracy similar to that of human experts but without their significant optimistic bias.

Friedlander, David↗

Development and Performance of RFD Crab Cavity Prototypes for HL-LHC AUP

The US will be contributing to the HL-LHC upgrade at CERN with the fabrication and qualification of RFD crabbing cavities in the framework of the HL-LHC Accelerator Upgrade Project (AUP) managed by Fermilab. AUP received Critical Decision 3 (CD-3) approval by DOE in December 2020 launching the project into the production phase. The electro-magnetic design of the cavity was inherited from the LHC Accelerator Research Program (LARP) but needed to be revised to meet new project requirements and to prevent issues encountered during beam tests performed at CERN in the R&D phase. Two prototype cavities were manufactured in industry and cold tested. Challenges specific to the RFD cavity were the stringent interface tolerances, the pole symmetry, and the higher-order-mode impedance spectrum. Chemical pro-cessing and heat treatments were performed initially at FNAL/ANL and are now being transferred to industry for the production phase. HOM dampers are manufactured and validated by JLAB. A summary of cold test results with and without HOM dampers is presented.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Navier: Dataflow Architecture for Computation Chemistry

Navier’s objectives were two evaluate the use of emerging technologies, especially dataflow accelerators, for high-performance computing (HPC) applications, specifically in the domain of chemistry, and to develop a prototype software stack to support such applications. Navier builds on capabilities previously developed by synergistic projects, such as PNNL Data Model Convergence (DMC) LDRD Hardware Advanced Workflows (HAW) and DuOMO, as well as DOE ARIAA. Throughout its 18 months, the Navier team developed new capabilities and artifacts at all levels of the HW/SW stack, provided a seamless way to integrate novel computing architectures (Sambanova SN10 and Xilinx Versal AI) into an existing software stack, developed chemistry workflows, data analytics tools, and HPC molecular dynamics workflows that leverage the developed stack and PNNL institutional investments in emerging architectures. Navier also explored the use of active learning to accelerate a computational chemistry workflow for organic molecules on PNNL Junction cluster (in collaboration with AMD/Xilinx). Navier developed tools, methodologies, and studies for hardware software co-design and (sparse) dataflow accelerators that are composable and can be used together or separately. These methodologies are now used in other projects, such as DOE AMAIS and HPDA. This report describes Navier’s achievement, the developed tools and methodologies, and the research findings and conclusions.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

From ETROC to VTROC

The Endcap Timing ReadOut Chip (ETROC) is designed to process LGAD signals with time resolution down to about 40-50ps per hit, to reach 30-35ps per track with two detector layers. The ETROC2 is the first full size (16x16) prototype design and is fully compatible with the final chip specifications in terms of functionality. The ETROC2 has been extensively tested recently. In this talk, the testing results of the ETROC2 will be presented first, including performance study using charge injection, laser and beam, as well as TID testing and wafer probe testing to study the yield. In addition, future challenges of precision position and timing ASIC design will be discussed, based on what we have learned from the ETROC development, and how the challenges could be addressed in the VTROC, Vertically integrated Timing ReadOut chip (funded as SBIR phase 2) for precision position and timing detector R&D.

Liu, Ted↗

The PFLOTRAN Reaction Sandbox

Abstract. As modern reactive transport simulators evolve to accommodate the demands of a user community, researchers need a platform for prototyping new biogeochemical processes, many of which are niche and specific to laboratory or field experiments. The PFLOTRAN Reaction Sandbox leverages modern, object-oriented Fortran in an attempt to provide such an environment within an existing reactive transport simulator. This work describes the PFLOTRAN Reaction Sandbox concept and implementation through several illustrative examples. Reaction Sandbox Biodegradation Hill customizes the existing microbially mediated biodegradation reaction formulation within PFLOTRAN to better match empirical data. Reaction Sandbox Simple provides an isolated environment for testing numerous preconfigured kinetic rate expressions and developing user intuition. Reaction Sandbox Example serves as a template for creating new sandboxes within PFLOTRAN.

58 GEOSCIENCES↗

Six-man, self-contained carbon dioxide concentrator system

A six man, self contained electrochemical carbon dioxide concentrating subsystem was successfully designed and fabricated. It was a preprototype engineering model designed to nominally remove 6.0 kg (13.2 lb) CO2/day with an inlet air CO2 partial pressure of 400 N/sq m (3 mm Hg) and an overcapacity removal capability of 12.0 kg (26.4 lb) CO2/day. The design specifications were later expanded to allow operation at space station prototype CO2 collection subsystem operating conditions.

Powell, J. D.↗

Technology Utilization House Study Report

The objectives of Project TECH are: (1) to construct a single family detached dwelling for demonstrating the application of advanced technology and minimizing the requirement for energy and utility services, and (2) to help influence future development in home construction by defining the interaction of integrated energy and water management systems with building configuration and construction materials. Components and methods expected to be cost effective over a 20 year span were studied. Emphasis was placed on the utilization of natural heating and cooling characteristics. Orientation and location of windows, landscaping, natural ventilation, and characteristics of the local climate and microclimate were intended to be used to best advantage. Energy conserving homes are most efficient when design for specific sites, therefore project TECH should not be considered a prototype design suitable for all locations. However, it does provide ideas and analytical methods which can be applied to some degree in all housing.

Source record↗