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 847 records · Page 47

A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software

Model-based development and automated code generation are increasingly used for production code in safety-critical applications, but since code generators are typically not qualified, the generated code must still be fully tested, reviewed, and certified. This is particularly arduous for mathematical and control engineering software which requires reviewers to trace subtle details of textbook formulas and algorithms to the code, and to match requirements (e.g., physical units or coordinate frames) not represented explicitly in models or code. Both tasks are complicated by the often opaque nature of auto-generated code. We address these problems by developing a verification-driven approach to traceability and documentation. We apply the AUTOCERT verification system to identify and then verify mathematical concepts in the code, based on a mathematical domain theory, and then use these verified traceability links between concepts, code, and verification conditions to construct a natural language report that provides a high-level structured argument explaining why and how the code uses the assumptions and complies with the requirements. We have applied our approach to generate review documents for several sub-systems of NASA s Project Constellation.

Denney, Ewen W.↗

Automated propellant leak detection

An automated hydrogen leak detection system is being developed for earth-to-orbit rocket engine applications. The system consists of three elements, a sensor array, a signal processing unit, and a diagnostic processor. The sensor array consists of discrete solid state sensors which are located at specific potential leak sites and in potential leak zones. The signal processing unit provides excitations power for the sensors and provides analog to digital data conversion of the sensor signals. The diagnostic computer analyzes the sensor outputs to determine leak sources and magnitude. Leak data from the sensor network is interpreted using knowledge based software and displayed on-line through a graphical user interface including 3-D leak visualization. The system requirements have been developed assuming eventual application to the Space Shuttle Main Engine which requires approximately 72 measurement locations. A prototype system has been constructed to demonstrate the operational features of the system. This system includes both prototype electronics and data processing software algorithms. Experiments are in progress to evaluate system operation at conditions which simulate prelaunch and flight. The prototype system consists of a network using 16 sensors within a testbed which simulates engine components. Sensor response, orientation, and data analysis algorithms are being evaluated using calibrated leaks produced within the testbed. A prototype flight system is also under development consisting of 8 sensors and flight capable electronics with autonomous control and data recording.

Makel, D. B.↗

A Compact Airborne System for SO2 and DMS Measurements for Use on Future GTE Missions Aboard the P-3 or DC-8

This project involved the design and construction of a new instrument for airborne measurement of DMS and SO2. The instrument is intended for use on field missions to study the global atmospheric sulfur cycle. The ultimate scientific goal is to provide insight into the mechanisms of atmospheric transport and transformations impacting both natural and anthropogenic sulfur emissions. This report summarizes the progress made to date and the goals for future work on the project. The PI's for this project have recently relocated from the University of Miami to the University of California, Irvine, and a request has been made to transfer remaining funds to UCI. All equipment associated with this project has been transferred to UCI. The instrument design goal was to develop an instrument roughly one quarter the size and weight of currently available airborne instrumentation used for DMS and S02 measurements. Another goal was full automation, to allow unattended operation for the duration of a P-3 or DC-8 flight. The original performance design specifications for the instrument are given.

Saltzman, Eric S.↗

Testing First-Order Logic Axioms in AutoCert

AutoCert [2] is a formal verification tool for machine generated code in safety critical domains, such as aerospace control code generated from MathWorks Real-Time Workshop. AutoCert uses Automated Theorem Provers (ATPs) [5] based on First-Order Logic (FOL) to formally verify safety and functional correctness properties of the code. These ATPs try to build proofs based on user provided domain-specific axioms, which can be arbitrary First-Order Formulas (FOFs). These axioms are the most crucial part of the trusted base, since proofs can be submitted to a proof checker removing the need to trust the prover and AutoCert itself plays the part of checking the code generator. However, formulating axioms correctly (i.e. precisely as the user had really intended) is non-trivial in practice. The challenge of axiomatization arise from several dimensions. First, the domain knowledge has its own complexity. AutoCert has been used to verify mathematical requirements on navigation software that carries out various geometric coordinate transformations involving matrices and quaternions. Axiomatic theories for such constructs are complex enough that mistakes are not uncommon. Second, adjusting axioms for ATPs can add even more complexity. The axioms frequently need to be modified in order to have them in a form suitable for use with ATPs. Such modifications tend to obscure the axioms further. Thirdly, speculating validity of the axioms from the output of existing ATPs is very hard since theorem provers typically do not give any examples or counterexamples.

Ahn, Ki Yung↗

Concrete Thermal Energy Storage Enabling Flexible Operation without Coal Plant Cycling

The work described in this report is responsive to the Office of Fossil Energy program “Energy Storage for Fossil Power Generation.” The pilot plant built as a result of this project demonstrated the feasibility and performance of a concrete thermal energy storage (CTES) system integrated with a supercritical coal power plant. The 10 MWh electrical (>25 MWh thermal) CTES unit, developed by Storworks Power, was designed to enable flexible operation of coal plants without cycling damage. The project's key technical achievements showcase a significant advancement in energy storage technology. A modular CTES system using 42 “Bolderblocs” units was successfully designed and constructed at Alabama Power’s Plant Gaston Unit 5, with each block containing embedded stainless-steel coils in specialized, cost-effective high-temperature concrete. The system interfaced seamlessly with the plant's 3500 psig (241 barg), 1000°F (538°C) supercritical steam, demonstrating operational flexibility. Over 86 full cycles, the CTES exhibited rapid charging and discharging capabilities, effectively mimicking steam turbine feed conditions and handling varying load profiles and storage durations. Performance validation confirmed the system's ability to consistently meet design target steam conditions of 75 bar-a and ~400°C for nominal baseline discharge. The concrete material withstood repeated thermal cycling without degradation, validating earlier lab-scale tests. Integration of balance of plant components, including a condensate management system with storage tank and air-cooled condenser, minimized plant interfaces and water consumption. A robust control scheme ensured safe, automated operation across various scenarios. Key learnings from the project were invaluable: 1. Initial concrete drying and commissioning procedures were refined for future deployments, enhancing efficiency in subsequent installations. 2. System flexibility exceeded expectations, with rapid response to changing conditions. 3. Design improvements were identified including optimized insulation and piping that will enhance overall system efficiency in future deployments 4. Full cycle thermal roundtrip efficiencies exceeded 88%. While the roundtrip electrical efficiency was somewhat limited by known challenges using input steam, such constraints may be mitigated by swapping steam for hot air as thermal input. 5. A summary of key performance parameters for the pilot test and predicted performance of a full scale commercial system with specified improvements determined from the pilot are shown in Section 8. The project faced challenges, including COVID-19 delays and host plant availability constraints. However, these were overcome through adaptive planning and execution. The successful management of these obstacles demonstrated the resilience and adaptability of the project team and the robustness of the CTES technology. This successful pilot demonstrates the potential for CTES to enhance coal plant flexibility, supporting grid stability as renewable penetration increases. The validated design and operational data provide a solid foundation for scaling up to utility-scale implementations, potentially transforming how thermal plants operate in evolving energy landscapes. The system's ability to rapidly respond to changing grid conditions while maintaining high efficiency makes it a promising solution for balancing intermittent renewable energy sources. Furthermore, the project highlighted the potential for even greater efficiencies in future iterations. The use of air as an input medium could potentially eliminate the limitations observed with steam input, opening new possibilities for energy storage applications beyond coal plant integration. In conclusion, this pilot project not only achieved its primary goals but also uncovered additional benefits and potential applications of the CTES technology. It represents a significant step forward in addressing the challenges of grid stability and flexibility in an increasingly renewable-driven energy landscape.

01 COAL, LIGNITE, AND PEAT↗

Digitalization of an experimental electrochemical reactor via the smart manufacturing innovation platform

The exponential increase in data produced over the last two decades has revolutionized the way we collect, store, process, analyze, model, and interpret information to improve profitability. Manufacturing is no exception. How- ever, Smart Manufacturing, the digital practice, organization, workforce, and infrastructure transformation for collection and deployment of data and models at scale and at all levels of manufacturing, is a complex, costly, and labor-intensive journey that is still seeing slow adoption. The Clean Energy Smart Manufacturing Innovation Institute (CESMII), a national Manufacturing USA public-private partnership sponsored by the Department of Energy, is addressing this scaled use of data and modeling in manufacturing. CESMII has focused on how to col- lect and use operating data for numerous applications that improve productivity, precision, and performance of manufacturing operations from factory floor to supply chain using process simulation, predictive analytics, mon- itoring and control, and real-time optimization. Because contextualized data are key, CESMII has developed the Smart Manufacturing Innovation Platform (SMIP) to lower the barriers to the data that are needed to accelerate data-based model building, improve data visualization, and more quickly gain insights. Reusable, standards-based ways of doing data collection, ingestion, and contextualization are particularly important for scaling access and use of data. The SMIP uses a standards-based definition and construct for reusable information models called an SM Profile. When an SM Profile is used in conjunction with the SMIP, the SMIP ensures the availability of contextualized, operational data for model building. The present work demonstrates Smart Manufacturing and the application of the SMIP for building several data-centered models for the operation and control of an ex- perimental electrochemical reactor that reduces carbon dioxide (CO 2 ) gas to valuable liquid and gas chemicals, such as alcohols, olefins, and syngas. We describe how the SMIP plays a central role in more effective model building and we demonstrate how the electochemical reactor can be controlled and optimized for the desired products. Use of the SMIP involves the transmission of real-time sensor measurements to a cloud resource so that the operating data are available to all model building experts. The data collection and transmission process is fully automated to greatly reduce the need for manual manipulation of the data. Data-driven machine learning models are used for advanced real-time state estimation, real-time optimization, and model-based feedback control for the reactor. The application models are implemented as a system to monitor the data flow and control the electrochemical reactor with a single visualization interface. SM Profiles are used to demonstrate reusability of the information models for the reactor and the instrumentation. The application packages, algorithms, and user interfaces developed are cast as Docker images in a library to facilitate reusability of the application models.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

A Human-Machine Shared Control Framework Considering Time-Varying Driver Characteristics

The uncertainties of driver's behavior seriously affect road safety and bring significant challenges to the human-machine cooperative control. Here, this paper proposes a human-machine shared control framework considering driver's time-varying characteristics to improve the co-driving cooperation performance. Firstly, the driving intention is introduced to describe the driver's involvement level through using Gauss-Bernoulli restricted Boltzmann machine method. And the index of driving ability is proposed to evaluate driver skills based on path-tracking errors. Then, a novel human-machine authority allocation strategy is designed by combining the two driving behavior characteristics and used to construct the driver-vehicle interaction system. Subsequently, a T-S fuzzy robust state-feedback shared control system is developed considering time-varying driver behaviors and vehicle states. Finally, the proposed shared steering system is validated by the driver-in-the-loop test bench. The results show that the proposed control method can reduce human-machine conflicts and has obvious superiority in improving performance of driving comfort, path tracking, and vehicle stability for the co-driving vehicles.

33 ADVANCED PROPULSION SYSTEMS↗

Multi-Disciplinary Analysis for Future Launch Systems Using NASA's Advanced Engineering Environment (AEE)

A new engineering environment constructed for the purposes of analyzing and designing Reusable Launch Vehicles (RLVs) is presented. The new environment has been developed to allow NASA to perform independent analysis and design of emerging RLV architectures and technologies. The new Advanced Engineering Environment (AEE) is both collaborative and distributed. It facilitates integration of the analyses by both vehicle performance disciplines and life-cycle disciplines. Current performance disciplines supported include: weights and sizing, aerodynamics, trajectories, propulsion, structural loads, and CAD-based geometries. Current life-cycle disciplines supported include: DDT&E cost, production costs, operations costs, flight rates, safety and reliability, and system economics. Involving six NASA centers (ARC, LaRC, MSFC, KSC, GRC and JSC), AEE has been tailored to serve as a web-accessed agency-wide source for all of NASA's future launch vehicle systems engineering functions. Thus, it is configured to facilitate (a) data management, (b) automated tool/process integration and execution, and (c) data visualization and presentation. The core components of the integrated framework are a customized PTC Windchill product data management server, a set of RLV analysis and design tools integrated using Phoenix Integration's Model Center, and an XML-based data capture and transfer protocol. The AEE system has seen production use during the Initial Architecture and Technology Review for the NASA 2nd Generation RLV program, and it continues to undergo development and enhancements in support of its current main customer, the NASA Next Generation Launch Technology (NGLT) program.

Monell, D.↗

PAL Experimental Report Form

We constructed the first simultaneous dark- and bright-field X-ray microscope in this experiment, coupling it to simultaneous measurements of the wide-angle Xray diffraction, and the XFEL pulse intensity and energy spectrum on each shot. This experiment established proof of concept for this new advanced measurement technique and demonstrated DFXM at an XFEL for the first time. Within this complex experiment, we also acquired data that advanced our research goals within materials science and mathematics. These included: A preliminary study of how local effects reduce the X-ray damage threshold in diamond; A preliminary study of how X-ray radiation imparts heat into materials based on irreversible phase transitions that occur in boric acid with increasing temperature (based on hydration); A study of X-ray radiation damage from ultrafast thermal cycling and nonthermal melting in bismuth selenide; We also began developing software to automate alignment of compound refractive lenses (CRLs) using stochastic Nelder-Mead optimization methods. This work will expedite and improve the accuracy of alignments for many future experiments using CRLs.

36 MATERIALS SCIENCE↗

Biocybernetic system evaluates indices of operator engagement in automated task

A biocybernetic system has been developed as a method to evaluate automated flight deck concepts for compatibility with human capabilities. A biocybernetic loop is formed by adjusting the mode of operation of a task set (e.g., manual/automated mix) based on electroencephalographic (EEG) signals reflecting an operator's engagement in the task set. A critical issue for the loop operation is the selection of features of the EEG to provide an index of engagement upon which to base decisions to adjust task mode. Subjects were run in the closed-loop feedback configuration under four candidate and three experimental control definitions of an engagement index. The temporal patterning of system mode switching was observed for both positive and negative feedback of the index. The indices were judged on the basis of their relative strength in exhibiting expected feedback control system phenomena (stable operation under negative feedback and unstable operation under positive feedback). Of the candidate indices evaluated in this study, an index constructed according to the formula, beta power/(alpha power + theta power), reflected task engagement best.

Cerebral Cortex/physiology↗

Implementation Aspects of Smart Grids Cyber-Security Cross-Layered Framework for Critical Infrastructure Operation

Communication networks in power systems are a major part of the smart grid paradigm. It enables and facilitates the automation of power grid operation as well as self-healing in contingencies. Such dependencies on communication networks, though, create a roam for cyber-threats. An adversary can launch an attack on the communication network, which in turn reflects on power grid operation. Attacks could be in the form of false data injection into system measurements, flooding the communication channels with unnecessary data, or intercepting messages. Using machine learning-based processing on data gathered from communication networks and the power grid is a promising solution for detecting cyber threats. In this paper, a co-simulation of cyber-security for cross-layer strategy is presented. The advantage of such a framework is the augmentation of valuable data that enhances the detection as well as identification of anomalies in the operation of the power grid. The framework is implemented on the IEEE 118-bus system. The system is constructed in Mininet to simulate a communication network and obtain data for analysis. A distributed three controller software-defined networking (SDN) framework is proposed that utilizes the Open Network Operating System (ONOS) cluster. According to the findings of our suggested architecture, it outperforms a single SDN controller framework by a factor of more than ten times the throughput. This provides for a higher flow of data throughout the network while decreasing congestion caused by a single controller’s processing restrictions. Furthermore, our CECD-AS approach outperforms state-of-the-art physics and machine learning-based techniques in terms of attack classification. The performance of the framework is investigated under various types of communication attacks.

cross-layered↗

A Geometry Based Infra-Structure for Computational Analysis and Design

The computational steps traditionally taken for most engineering analysis suites (computational fluid dynamics (CFD), structural analysis, heat transfer and etc.) are: (1) Surface Generation -- usually by employing a Computer Assisted Design (CAD) system; (2) Grid Generation -- preparing the volume for the simulation; (3) Flow Solver -- producing the results at the specified operational point; (4) Post-processing Visualization -- interactively attempting to understand the results. For structural analysis, integrated systems can be obtained from a number of commercial vendors. These vendors couple directly to a number of CAD systems and are executed from within the CAD Graphical User Interface (GUI). It should be noted that the structural analysis problem is more tractable than CFD; there are fewer mesh topologies used and the grids are not as fine (this problem space does not have the length scaling issues of fluids). 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. In most cases, the output from a CAD system could go to Initial Graphics Exchange Specification (IGES) or Standard Exchange Program (STEP) files. The output from Grid Generators and Solvers do not really have standards though there are a couple of file formats that can be used for a subset of the gridding (i.e. PLOT3D data formats). The user would have to patch up the data or translate from one format to another to move to the next step. Sometimes this could take days. 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. File standards, when they exist, are wholly inadequate. For example, geometry from CAD systems (transmitted via IGES files) is defined as disjoint surfaces and curves (as well as masses of other information of no interest for the Grid Generator). This is particularly onerous for modern CAD systems based on solid modeling. The part was a proper solid and in the translation to IGES has lost this important characteristic. STEP is another standard for CAD data that exists and supports the concept of a solid. The problem with STEP is that a solid modeling geometry kernel is required to query and manipulate the data within this type of file. (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. Adroit multi-block methods are not far behind. This means that a million node steady-state solution can be computed on the order of hours (using current high performance computers) starting from this 'good' geometry. Unfortunately, the geometry usually transmitted from the CAD system is not 'good' in the grid generator sense. The grid generator needs smooth closed solid geometry. It can take a week (or more) of interaction with the CAD output (sometimes by hand) before the process can begin. One way Communication. (3) One-way Communication -- All information travels on from one phase to the next. This makes procedures like node adaptation difficult when attempting to add or move nodes that sit on bounding surfaces (when the actual surface data has been lost after the grid generation phase). Until this process can be automated, more complex problems such as multi-disciplinary analysis or using the above procedure for design becomes prohibitive. There is also no way to easily deal with this system in a modular manner. One can only replace the grid generator, for example, if the software reads and writes the same files. Instead of the serial approach to analysis as described above, CAPRI takes a geometry centric approach. This makes the actual geometry (not a discretized version) accessible to all phases of the analysis. The connection to the geometry is made through an Application Programming Interface (API) and NOT a file system. This API isolates the top-level applications (grid generators, solvers and visualization components) from the geometry engine. Also this allows the replacement of one geometry kernel with another, without effecting these top-level applications. For example, if UniGraphics is used as the CAD package then Parasolid (UG's own geometry engine) can be used for all geometric queries so that no solid geometry information is lost in a translation. This is much better than STEP because when the data is queried, the same software is executed as used in the CAD system. Therefore, one analyzes the exact part that is in the CAD system. CAPRI uses the same idea as the commercial structural analysis codes but does not specify control. Software components of the CAD system are used, but the analysis suite, not the CAD operator, specifies the control of the software session. This also means that the license issues (may be) minimized and individuals need not have to know how to operate a CAD system in order to run the suite.

Haimes, Robert↗

Development of an Inflatable Airlock for a Deep Space Gateway

Inflatable structures technology utilizes high-strength fabric materials and internal pressure to create a stiffened pressure vessel that can replace traditional metallic primary structure in a habitable spacecraft. The flexibility of fabric structures allows them to be compactly stowed for launch and expanded in space, providing significant launch volume savings. The unique construction and design flexibility of these structures can be customized for a variety of uses in space including landing bags, decelerators, long duration in-space and planetary surface habitats, and even airlocks. An airlock is often a required component of a crewed spacecraft to allow for maintenance and human exploration outside of the vehicle. Airlock designs in use today rely on complex hatches and seals connected by metallic walls. Recent developments towards the design of an inflatable airlock structure show feasibility and a significant launch volume savings over a traditional metallic design. This paper will provide a high-level summary of these projects and the current state-of-the-art in inflatable airlock development with additional references and detail about previous and on-going research, providing guidance for the design of a softgoods airlock system. The use of inflatables in space has been in development since the 1960’s for both habitats and airlocks. The first ever EVA was conducted by the USSR in 1965 using an inflatable airlock known as the Volga. This airlock was attached to the Voskhod 2 spacecraft and turned the vehicle into a dual chamber airlock. The airlock was successfully deployed, used and jettisoned after Alexey Leonov’s historic spacewalk. Additional work on human-rated inflatable structures was not continued until the late 1990’s when NASA-JSC led an effort to demonstrate these structures as feasible long-term pressurized elements with the TransHab project. The technology developed and pioneered during this project led to multiple patents and proven feasibility that inflatables could be used for large habitable structures. Following TransHab, Bigelow Aerospace continued the development of inflatable structures with technical support from NASA. This partnership eventually led to the successful flight certification, launch, attachment and deployment of the Bigelow Expandable Activities Module (BEAM) on the ISS in 2016. Inflatable and expandable airlock structures have undergone various detailed feasibility studies and testing for over 15 years, most notably with the Advanced Inflatable Airlock (AIA), Dual-Chamber Hybrid Inflatable Suitlock (DCIS), Minimalistic Advanced Soft Hatch (MASH), and Lightweight External Inflatable Airlock (LEIA). During this time, full-scale articles have been built and pressure-tested, and mock-ups and demonstrators have been constructed and evaluated. During the 2001-2003 timeframe, the AIA concept was matured through requirements development, conceptual design, subscale and full-scale engineering breadboards subjecting various test articles to deployment and pressure testing up to four times operating pressure. These tests proved the feasibility of successful deployment and structural integrity of an inflatable crewlock. Additional testing was performed in the ensuing years, as funding permitted, to further refine additional structural and deployment concepts and to understand the EVA crewmember interfaces, hatches and EVA support equipment interfaces that would be required for a fully functioning airlock. This work resulted in a refinement of the structural requirements and an accounting of the systems needed in an inflatable airlock. In 2014, the MASH project developed an ultra-lightweight airlock concept with a fabric hatch that utilized a unique pressure vessel shape to minimize structural loads around a linear seal. The concept uses an automated zipper-like seal that allows for crew egress/ingress. Most of the development work on the project thus far has focused on the design, analysis and testing of the primary structure and the zipper-like seal system is in the preliminary stages of development with a successful proof-of-concept test. As part of the 2017 LEIA effort, studies were conducted on EVA crewmember interfaces on the inside of an inflatable airlock. These efforts included the design of an internal secondary structure and placement of handholds and foot restraints to enable hatch opening, closing and translation through the airlock. Structural design, analysis and testing was completed on several secondary structure candidates. Crew interface testing was also completed using an inflatable crewlock mockup and the JSC Active Response Gravity Offload System (ARGOS) to simulate the movement of an EVA crewmember through an inflatable crewlock in microgravity. The results of these tests helped demonstrate the feasibility of utilizing an inflatable structure as an airlock and informed the required volume, hatch size, and configuration and location of translation aids for crewmembers in a microgravity crewlock. The ISS Quest airlock uses a dual-chamber design with isolated compartments known as the equipment-lock and the crewlock. The equipment-lock houses the Servicing, Performance and Checkout Equipment (SPCE) items (suit batteries, consumables, etc.) while the crewlock has limited internal hardware and is the nominally depressurized compartment during US EVAs. While inflatable dual chamber airlocks have been studied, the current state of the art emphasizes an inflatable crewlock-type structure attached to a rigid equipment-lock type or habitat structure. Since a large portion of the hardware in the equipment-lock are rigid components and connectors that are installed on the ground - and an inflatable structure does not achieve full structural capabilities until pressurized in space - a depressurized fabric structure cannot provide the capabilities of a full equipment-lock. The use of an inflatable as a crewlock, however, provides all the required capabilities for EVA operations in a small launch package that offers significant volume savings over a metallic crewlock. The functions of a traditional equipment lock, including the SPCE, could be provided by a spacecraft’s habitat module or node and not necessarily in a separate equipment lock. An inflatable crewlock would be attached to the vehicle and launched in a packed and compressed state, saving volume under the launch shroud and mass for the overall airlock element compared to a rigid crewlock. Work is currently underway to continue development of an inflatable airlock with a variety of focus areas including the consideration of crew-induced loads and interfaces, the design and development of an internal sub-structure to provide translation aids and restraints, the thermal considerations of a fabric shell depressurized during an EVA, the micrometeorite environment in deep space, and the packaging and deployment of an inflatable airlock.

Deep Space Exploration↗

Using density functional theory to construct multiphase equations of state: tin as an example

We present a general methodology for using density functional theory (DFT) calculations as a basis for constructing multiphase equations of state (EOS). Focusing on tin as an example, we discuss the full process of generating a tabular EOS, starting from first-principles calculations and arriving at a full EOS in agreement with existing experimental data. We begin by describing DFT calculations for the five solid phases and liquid phase of tin, including cold curve, phonon, and DFT-based molecular dynamics calculations. We then discuss methods for incorporating DFT results into materials models used in OpenSesame, the program used to create a full tabular multiphase EOS. Next, we outline a general strategy for adjusting model parameters in OpenSesame to fit to a variety of experimental data, including isobaric data, isothermal data, shock data, solid-solid phase boundary measurements, and measurements of the melt curve. We end with a discussion of the advantages of using DFT data as a foundation for EOS generation and discuss potential strategies for automated EOS generation based on the fitting process highlighted in this work.

74 ATOMIC AND MOLECULAR PHYSICS↗

Method and Apparatus for Automated Isolation of Nucleic Acids from Small Cell Samples

RNA isolation is a ubiquitous need, driven by current emphasis on microarrays and miniaturization. With commercial systems requiring 100,000 to 1,000,000 cells for successful isolation, there is a growing need for a small-footprint, easy-to-use device that can harvest nucleic acids from much smaller cell samples (1,000 to 10,000 cells). The process of extraction of RNA from cell cultures is a complex, multi-step one, and requires timed, asynchronous operations with multiple reagents/buffers. An added complexity is the fragility of RNA (subject to degradation) and its reactivity to surface. A novel, microfluidics-based, integrated cartridge has been developed that can fully automate the complex process of RNA isolation (lyse, capture, and elute RNA) from small cell culture samples. On-cartridge cell lysis is achieved using either reagents or high-strength electric fields made possible by the miniaturized format. Traditionally, silica-based, porous-membrane formats have been used for RNA capture, requiring slow perfusion for effective capture. In this design, high efficiency capture/elution are achieved using a microsphere-based "microfluidized" format. Electrokinetic phenomena are harnessed to actively mix microspheres with the cell lysate and capture/elution buffer, providing important advantages in extraction efficiency, processing time, and operational flexibility. Successful RNA isolation was demonstrated using both suspension (HL-60) and adherent (BHK-21) cells. Novel features associated with this development are twofold. First, novel designs that execute needed processes with improved speed and efficiency were developed. These primarily encompass electric-field-driven lysis of cells. The configurations include electrode-containing constructs, or an "electrode-less" chip design, which is easy to fabricate and mitigates fouling at the electrode surface; and the "fluidized" extraction format based on electrokinetically assisted mixing and contacting of microbeads in a shape-optimized chamber. A secondary proprietary feature is in the particular layout integrating these components to perform the desired operation of RNA isolation. Apart from a novel functional capability, advantages of the innovation include reduced or eliminated use of toxic reagents, and operator-independent extraction of RNA.

Sundaram, Shivshankar↗

The Design and Evaluation of "CAPTools"--A Computer Aided Parallelization Toolkit

Writing applications for high performance computers is a challenging task. Although writing code by hand still offers the best performance, it is extremely costly and often not very portable. The Computer Aided Parallelization Tools (CAPTools) are a toolkit designed to help automate the mapping of sequential FORTRAN scientific applications onto multiprocessors. CAPTools consists of the following major components: an inter-procedural dependence analysis module that incorporates user knowledge; a 'self-propagating' data partitioning module driven via user guidance; an execution control mask generation and optimization module for the user to fine tune parallel processing of individual partitions; a program transformation/restructuring facility for source code clean up and optimization; a set of browsers through which the user interacts with CAPTools at each stage of the parallelization process; and a code generator supporting multiple programming paradigms on various multiprocessors. Besides describing the rationale behind the architecture of CAPTools, the parallelization process is illustrated via case studies involving structured and unstructured meshes. The programming process and the performance of the generated parallel programs are compared against other programming alternatives based on the NAS Parallel Benchmarks, ARC3D and other scientific applications. Based on these results, a discussion on the feasibility of constructing architectural independent parallel applications is presented.

Yan, Jerry↗

Intelligent machines in the twenty-first century: foundations of inference and inquiry

The last century saw the application of Boolean algebra to the construction of computing machines, which work by applying logical transformations to information contained in their memory. The development of information theory and the generalization of Boolean algebra to Bayesian inference have enabled these computing machines, in the last quarter of the twentieth century, to be endowed with the ability to learn by making inferences from data. This revolution is just beginning as new computational techniques continue to make difficult problems more accessible. Recent advances in our understanding of the foundations of probability theory have revealed implications for areas other than logic. Of relevance to intelligent machines, we recently identified the algebra of questions as the free distributive algebra, which will now allow us to work with questions in a way analogous to that which Boolean algebra enables us to work with logical statements. In this paper, we examine the foundations of inference and inquiry. We begin with a history of inferential reasoning, highlighting key concepts that have led to the automation of inference in modern machine-learning systems. We then discuss the foundations of inference in more detail using a modern viewpoint that relies on the mathematics of partially ordered sets and the scaffolding of lattice theory. This new viewpoint allows us to develop the logic of inquiry and introduce a measure describing the relevance of a proposed question to an unresolved issue. Last, we will demonstrate the automation of inference, and discuss how this new logic of inquiry will enable intelligent machines to ask questions. Automation of both inference and inquiry promises to allow robots to perform science in the far reaches of our solar system and in other star systems by enabling them not only to make inferences from data, but also to decide which question to ask, which experiment to perform, or which measurement to take given what they have learned and what they are designed to understand.

Review↗

Park Smart

The Parking Garage Automation System (PGAS) is based on a technology developed by a NASA-sponsored project called Robot sensorSkin(TM). Merritt Systems, Inc., of Orlando, Florida, teamed up with NASA to improve robots working with critical flight hardware at Kennedy Space Center in Florida. The system, containing smart sensor modules and flexible printed circuit board skin, help robots to steer clear of obstacles using a proximity sensing system. Advancements in the sensor designs are being applied to various commercial applications, including the PGAS. The system includes a smartSensor(TM) network installed around and within public parking garages to autonomously guide motorists to open facilities, and once within, to free parking spaces. The sensors use non-invasive reflective-ultrasonic technology for high accuracy, high reliability, and low maintenance. The system is remotely programmable: it can be tuned to site-specific requirements, has variable range capability, and allows remote configuration, monitoring, and diagnostics. The sensors are immune to interference from metallic construction materials, such as rebar and steel beams. Inside the garage, smart routing signs mounted overhead or on poles in front of each row of parking spots guide the motorist precisely to free spaces.

Source record↗