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 253 records · Page 14

Design of an advanced two-phase capillary cold plate

The functional principles and implementation of capillary pumped loop (CPL) two phase heat transport system for various elements of the Space Station program are described. Circulation of the working fluid by the surface-tension forces in a fine-pore capillary wick is the core principle of CPL systems. The liquid, usually NH3 at the moment, is changed into a vapor by heat absorption at one end of the loop, and the vapor is carrried back along the wick by the surface tension within the wick. NASA specifications and the results of mechanical and thermal tests for prototype cold plate and the capillary pump designs are outlined. The CPL is targeted for installation on free-flying platforms, attached payloads, and power subsystem thermal control systems.

Chalmers, D. R.↗

A risk management approach to CAIS development

The proposed DoD standard Common APSE Interface Set (CAIS) was developed as a framework set of interfaces that will support the transportability and interoperability of tools in the support environments of the future. While the current CAIS version is a promising start toward fulfilling those goals and current prototypes provide adequate testbeds for investigations in support of completing specifications for a full CAIS, there are many reasons why the proposed CAIS might fail to become a usable product and the foundation of next-generation (1990'S) project support environments such as NASA's Space Station software support environment. The most critical threats to the viability and acceptance of the CAIS include performance issues (especially in piggybacked implementations), transportability, and security requirements. To make the situation worse, the solution to some of these threats appears to be at conflict with the solutions to others.

Hart, Hal↗

Active lithium chloride cell for spacecraft power

An active thionyl chloride high rate battery is under development for spacecraft operations. It is a 540kC (150 Ah) battery capable of pulses up to 75A. This paper describes the design and initial test data on a 'state-of-the-art' cell that has been selected to be the baseline for the prototype cell for that battery. Initial data indicate that the specification can be met with fresh cells. Data for stored cells and additional environmental test data are in the process of being developed.

Fleischmann, C. W.↗

Attacking the information access problem with expert systems

The results of applications research directed at finding an improved method of storing and accessing information are presented. Twelve microcomputer-based expert systems shells and five laser-optical formats have been studied, and the general and specific methods of interfacing these technologies are being tested in prototype systems. Shell features and interfacing capabilities are discussed, and results from the study of five laser-optical formats are recounted including the video laser, compact, and WORM disks, and laser cards and film. Interfacing, including laser disk device driver interfacing, is discussed and it is pointed out that in order to control the laser device from within the expert systems application, the expert systems shell must be able to access the device driver software. Potential integrated applications are investigated and an initial list is provided including consumer services, travel, law enforcement, human resources, marketing, and education and training.

Ragusa, James M.↗

Mars Rovers: Past, Present, and Future

This viewgraph presentation provides information on the exploration of Mars through the use of rover vehicles. Mars is considered an interesting planet because it is the most like Earth of all known planets, and it may have or have had water on or below its surface. There are many different engineering design challenges for roving vehicles intended for Mars. These include: communications time delay, narrow communications bandwidth, extreme temperatures, rough and rocky terrain, the lack of a global positioning system, and dust. The Sojourner Rover specifications are provided including wheel diameter and instruments. There are prototypes being tested at NASA's Ames Research Center of the next generation Mars rovers.

Bualat, Maria↗

Fabry-Perot Interferometer for Column CO2

Global atmospheric CO2 measurements are essential to resolving significant discrepancies in our understanding of the global carbon budget and, hence, humankind's role in global climate change. The science measurement requirements for CO2 are extremely demanding (precision is less than .3%). No atmospheric chemical species has ever been measured from space with this precision. We are developing a novel application of a Fabry-Perot interferometer to detect spectral absorption of reflected sunlight by CO2 and O2 in the atmosphere. Preliminary design studies indicate that the method will be able to achieve the sensitivity and signal-to-noise detection required to measure column CO2 at the target specification. The objective of this program is to construct a prototype instrument for deployment on an aircraft to test the instrument performance and our ability to retrieve the data in the real atmosphere. To date we have assembled a laboratory bench system to begin testing the optical and electronic components. We are also undertaking some measurements of signal and noise levels for actual sunlight reflecting from the ground in order to evaluate the potential of some components to meet the exacting requirements of this measurement.

Heaps, William S.↗

Fabry-Perot Interferometer for Column CO2

Global atmospheric CO2 measurements are essential to resolving significant discrepancies in our understanding of the global carbon budget and, hence, humankind's role in global climate change. The science measurement requirements for CO2 are extremely demanding (precision approx. 0.3%). No atmospheric chemical species has ever been measured from space with this precision. We are developing a novel application of a Fabry-Perot interferometer to detect spectral absorption of reflected sunlight by CO2 and O2 in the atmosphere. Preliminary design studies indicate that the method will be able to achieve the sensitivity and signal-to-noise detection required to measure column CO2 at the target specification. The objective of this program is to construct a prototype instrument for deployment on an aircraft to test the instrument performance and our ability to retrieve the data in the real atmosphere. To date we have assembled a laboratory bench system to begin testing the optical and electronic components. We are also measuring signal and noise levels in actual sunlight to evaluate component performance.

Heaps, William S.↗

Progress on Passive Sensor for Ultra-Precise Measurement of Carbon Dioxide from Space

Global measurements of atmospheric carbon dioxides (CO2) are needed to resolve significant discrepancies that exist in our understanding of the global carbon budget and, therefore, man's role in global climate change. The science measurement requirements for CO2 are extremely demanding (precision c .3%) No atmospheric chemical species has ever been measured from space with this precision. We are developing a novel application of a Fabry-Perot interferometer to detect spectral absorption of reflected sunlight by CO2 and O2 in the atmosphere. Preliminary design studies indicate that the method will be able to achieve the sensitivity and signal-to-noise required to measure column CO2 at the target specification. We are presently engaged in the construction of a prototype instrument for deployment on an aircraft to test the instrument performance and our ability to retrieve the data in the real atmosphere. In the first 6 months we have assembled a laboratory bench system to begin testing the optical and electronic components. We are also undertaking some measurements of signal and noise levels for actual sunlight reflecting from the ground. We shall present results from some of these ground based studies and discuss their implications for a space based system.

Heaps, William S.↗

Remote Sensing Capabilities to Detect Maritime Vessels in Distress

The National Aeronautics and Space Administration (NASA) has the responsibility for conducting research and development for search and rescue as charged under the National Search and Rescue Plan. For over two decades this task has been undertaken by the Search and Rescue Mission Office at the NASA Goddard Space Flight Center (GSFC). The technology used by the highly successful beacon locating satellite system, Cospas-Sarsat, was conceived and developed at GSFC and is managed by the National Oceanographic and Atmospheric Administration (NOAA). Using beacon-less remote sensing to find people and vessels in distress complements the demonstrated life saving capabilities of this satellite system. The Search and Rescue Mission Office has been investigating the use of fully polarimetric synthetic aperture radar to locate crashed aircraft. An overview of this effort and potential maritime applications of Search and Rescue Synthetic Aperture Radar (SAR) will be presented. The Mission Office has also developed a Laser search and rescue system called L-SAR. The prototype instrument was designed and built by SenSyTech Inc. It specifically targets the location of novel retro-reflective material easily applied to rescue equipment and vessels in distress. An overview of this effort will also be presented.

Larsen, Rudolph K.↗

Robotic and Human-Tended Collaborative Drilling Automation for Subsurface Exploration

Future in-situ lunar/martian resource utilization and characterization, as well as the scientific search for life on Mars, will require access to the subsurface and hence drilling. Drilling on Earth is hard - an art form more than an engineering discipline. Human operators listen and feel drill string vibrations coming from kilometers underground. Abundant mass and energy make it possible for terrestrial drilling to employ brute-force approaches to failure recovery and system performance issues. Space drilling will require intelligent and autonomous systems for robotic exploration and to support human exploration. Eventual in-situ resource utilization will require deep drilling with probable human-tended operation of large-bore drills, but initial lunar subsurface exploration and near-term ISRU will be accomplished with lightweight, rover-deployable or standalone drills capable of penetrating a few tens of meters in depth. These lightweight exploration drills have a direct counterpart in terrestrial prospecting and ore-body location, and will be designed to operate either human-tended or automated. NASA and industry now are acquiring experience in developing and building low-mass automated planetary prototype drills to design and build a pre-flight lunar prototype targeted for 2011-12 flight opportunities. A successful system will include development of drilling hardware, and automated control software to operate it safely and effectively. This includes control of the drilling hardware, state estimation of both the hardware and the lithography being drilled and state of the hole, and potentially planning and scheduling software suitable for uncertain situations such as drilling. Given that Humans on the Moon or Mars are unlikely to be able to spend protracted EVA periods at a drill site, both human-tended and robotic access to planetary subsurfaces will require some degree of standalone, autonomous drilling capability. Human-robotic coordination will be important, either between a robotic drill and humans on Earth, or a human-tended drill and its visiting crew. The Mars Analog Rio Tinto Experiment (MARTE) is a current project that studies and simulates the remote science operations between an automated drill in Spain and a distant, distributed human science team. The Drilling Automation for Mars Exploration (DAME) project, by contrast: is developing and testing standalone automation at a lunar/martian impact crater analog site in Arctic Canada. The drill hardware in both projects is a hardened, evolved version of the Advanced Deep Drill (ADD) developed by Honeybee Robotics for the Mars Subsurface Program. The current ADD is capable of 20m, and the DAME project is developing diagnostic and executive software for hands-off surface operations of the evolved version of this drill. The current drill automation architecture being developed by NASA and tested in 2004-06 at analog sites in the Arctic and Spain will add downhole diagnosis of different strata, bit wear detection, and dynamic replanning capabilities when unexpected failures or drilling conditions are discovered in conjunction with simulated mission operations and remote science planning. The most important determinant of future 1unar and martian drilling automation and staffing requirements will be the actual performance of automated prototype drilling hardware systems in field trials in simulated mission operations. It is difficult to accurately predict the level of automation and human interaction that will be needed for a lunar-deployed drill without first having extensive experience with the robotic control of prototype drill systems under realistic analog field conditions. Drill-specific failure modes and software design flaws will become most apparent at this stage. DAME will develop and test drill automation software and hardware under stressful operating conditions during several planned field campaigns. Initial results from summer 2004 tests show seven identifi distinct failure modes of the drill: cuttings-removal issues with low-power drilling into permafrost, and successful steps at executive control and initial automation.

Glass, Brian↗

Universal Reconfigurable Translator Module (URTM) Final Report

This report describes the Universal Reconfigurable Translation Module, or URTM. The URTM was developed by Sigma Space Corporation for NASA in order to translate specific serial protocols, both logically and physically. At present, the prototype configuration has targeted MIL-STD-1553B (RT and BC), IEEE 1394b (Firewire), and ECSS-E-50-12A (SpaceWire). The objectives of this program were to study the feasibility of a configurable URTM to translate serial link data as might be used in a space-flight mission and to design, develop, document, and deliver an engineering prototype model of the URTM with a path to spaceflight. By simply connecting two of the three Physical Interface Modules (PIM) on either end of the RPTM (Reconfigurable Protocol Translator Module), the URTM then self configures via a library of interface translation functions, thereby allowing the two data links to communicate seamlessly.

Leventhal, Edward↗

Modelica-json: Transforming energy models to digitize the control delivery process

Building simulation models are typically not used to generate the documentation required for bidding and project delivery of commercial building systems, or for their semantic modeling and commissioning. This paper presents a software tool that aids in digitizing the control delivery process, spanning simulation during design to implementation and formal verification during commissioning. The tool can generate from Modelica models digital documentation of control sequences. This digital documentation, along with other project drawings and specifications can be used for project bidding. It can also be used for implementation of control sequences through machineto-machine translation to commercial legacy control products, for which we are currently developing the proposed ASHRAE Standard 231P based on the presented work. Moreover, as-installed control sequences can be formally verified against the design specification, and a semantic model in Brick can be exported to aid in configuration of building analytics and fault detection. The paper presents what we believe is the first translation of a Modelica-implemented control sequence to a native implementation on a commercial control platform, using the webCTRL product line from Automated Logic. The paper also shows how a webCTRL implementation can be formally verified against its Modelica specification. These use cases have all been demonstrated with a prototype implementation that is now being further developed.

Wetter, Michael↗

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 processing 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.

43 PARTICLE ACCELERATORS↗

Assessing Several Modeling Approaches in Depletion Studies of a TRISO-Fueled Microreactor

The impact of MCNP6 depletion resolution on core lifetime is examined in the context of the Snowflake microreactor with explicit TRISO fuel. The change in core lifetime and isotope mass as a result of different tracked isotopes, timesteps, and spatial regions is discussed. Calculation speed of a prototype MCNP delta tracking module is compared to a reactivity equivalent physical transformation (RPT). Using a single depletion material underpredicts core lifetime by 15%, and the resolution necessary to converge isotope mass greatly depends on the specific isotope, in addition to the size (and location) of the depletion region. The prototype delta tracking module decreases the CPU time of explicit TRISO criticality calculations by 30%, but does not always result in a speedup when used with depletion. Significant depletion speedup is obtained using RPT (50% faster), and all isotope masses agreed within three percent.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Prototyping and implementing flight qualifiable semicustom CMOS P-well bulk integrated circuits in the JPL environment

Presently, there are many difficulties associated with implementing application specific custom or semi-custom (standard cell based) integrated circuits (ICs) into JPL flight projects. One of the primary difficulties is developing prototype semi-custom integrated circuits for use and evaluation in engineering prototype flight hardware. The prototype semi-custom ICs must be extremely cost-effective and yet still representative of flight qualifiable versions of the design. A second difficulty is encountered in the transport of the design from engineering prototype quality to flight quality. Normally, flight quality integrated circuits have stringent quality standards, must be radiation resistant and should consume minimal power. It is often not necessary or cost effective, however, to impose such stringent quality standards on engineering models developed for systems analysis in controlled lab environments. This article presents work originally initiated for ground based applications that also addresses these two problems. Furthermore, this article suggests a method that has been shown successful in prototyping flight quality semi-custom ICs through the Metal Oxide Semiconductor Implementation Service (MOSIS) program run by the University of Southern California's Information Sciences Institute. The method has been used successfully to design and fabricate through the MOSIS three different semi-custom prototype CMOS p-well chips. The three designs make use of the work presented and were designed consistent with design techniques and structures that are flight qualifiable, allowing one hour transfer of the design from engineering model status to flight qualifiable foundry-ready status through methods outlined in this article.

Olson, E. M.↗

Multi-Rigor Agile Verification and Rapid Prototyping for Formally Verified Software

We propose a novel approach to developing formally verified systems through Multi-rigor Agile Verification. Multi-rigor Agile Verification is rooted in the hypothesis of Rigor Independence, that a system’s specification and verification architecture depend primarily on the system requirements to be verified, and they depend very little on the rigor level of the methods used to verify those requirements. Due to its iterative nature, Multi-rigor Agile Verification promises to mitigate many of the high upfront design costs experienced by formally verified systems and to deliver a better-architected, and thus better-trusted, system in the end. We then discuss the tooling needed to perform Multi-rigor Agile Verification and go in depth to build one of those tools, which directly generates executable prototype code from declarative formal specifications using the Maude rewrite-logic framework.

97 MATHEMATICS AND COMPUTING↗

Spacesuit Portable Life Support System Breadboard (PLSS 1.0) Development and Test Results

A multi-year effort has been carried out at the Johnson Space Center to develop an advanced EVA PLSS design intended to further the current state of the art by increasing operational flexibility, reducing consumables, and increasing robustness. This multi-year effort has culminated in the construction and operation of PLSS 1.0, a test rig that simulates full functionality of the advanced PLSS design. PLSS 1.0 integrates commercial off-the-shelf hardware with prototype technology development components, including the primary and secondary oxygen regulators, ventilation loop fan, Rapid Cycle Amine (RCA) swingbed, and Spacesuit Water Membrane Evaporator (SWME). PLSS 1.0 was tested from June 17th through September 30th, 2011. Testing accumulated 233 hours over 45 days, while executing 119 test points. An additional 164 hours of operational time were accrued during the test series, bringing the total operational time for PLSS 1.0 testing to 397 hours. Specific PLSS 1.0 test objectives assessed during this testing include: (1) Confirming prototype components perform in a system level test as they have performed during component level testing, (2) Identifying unexpected system-level interactions (3) Operating PLSS 1.0 in nominal steady-state EVA modes to baseline subsystem performance with respect to metabolic rate, ventilation loop pressure and flow rate, and environmental conditions (4) Simulating nominal transient EVA operational scenarios (5) Simulating contingency EVA operational scenarios (6) Further evaluating prototype technology development components Successful testing of the PLSS 1.0 provided a large database of test results that characterize system level and component performance. With the exception of several minor anomalies, the PLSS 1.0 test rig performed as expected. Documented anomalies and observations include: (1) Ventilation loop fan controller issues at high fan speeds (near 70,000 rpm, whereas the fan speed during nominal operations would be closer to 35,000 rpm) (2) RCA performance at boundary conditions, including carbon dioxide and water vapor saturation events, as well as reduced vacuum quality (3) SWME valve anomalies (4 documented cases where the SWME failed to respond to a control signal or physically jammed, preventing SWME control) (4) Reduction of SWME hollow fiber hydrophobicity and significant reduction of the SWME degassing capability after significant accumulated test time.

Watts, Carly A.↗

Introduction to Penelope

A formal program verification is a (mathematical) proof that a program executed according to its intended model meets some specification. This proves that the algorithm defined by the program is correct in the precise technical sense of being consistent with a particular specification. A program correct in this sense is free from a large and important class of errors, even though its behavior may still produce unintended results--either because the implementation of the programming language itself does not match the model of execution, or because the specification does not correctly express the user's intentions. Penelope is a prototype system for interactively developing and verifying programs that are written in a rich subset of sequential Ada. Penelope can be used to develop a program and its correctness proof incrementally, and in concert with one another. Incrementality is used in a number of ways to help make verification more tractable and more productive. For example, if an already-verified program is modified, one can attempt to prove the modified version by replaying and modifying the original verification. Penelope's specification language, Larch/Ada, belongs to the family of Larch interface languages. Larch/Ada scales up properly, in the sense that it is demonstrably sound to decompose a system hierarchically and reason locally about the implementation of each piece. Penelope has been applied in various demonstration projects--for specification (guidance control, distributed operating systems), verification (of off-the-shelf code), and formal development (by non-expert as well as expert users). Some features of Penelope have been embodied in Ada Wise, a lint-like non-interactive tool that warns of the potential for certain dynamic semantic errors in Ada programs.

Guaspari, David↗