pnnl/PolyCheck
The program employs a novel approach to assess the correctness of arbitrary iteration reordering transformations on an affine program, including non-affine transformations.
Panyala, Ajay↗
SEARCH · Search NASA
Results for “Program Transformation”
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.
A generalized technique for using cones and dihedral angles in attitude determination, revision 1
Analytic development is presented for a general least squares attitude determination subroutine applicable to spinning satellites. The method is founded on a geometric approach which is completely divorced from considerations relating to particular types and configurations of onboard attitude sensors. Any mix of sensor measurements which can be first transformed (outside the program) to cone or dihedral angle data can be processed. A cone angle is an angle between the spin axis and a known direction line in space; a dihedral angle is an angle between two planes formed by the spin axis and each of two known direction lines. Many different kinds of sensor data can be transformed to these angles, which in turn constitute the actual program inputs, so that the subroutine can be applied without change to a variety of satellite missions. Either a constant or dynamic spin axis model can be handled. The program is also capable of solving for fixed biases in the input angles, in addition to the spin axis attitude solution.
Werking, R. D.↗
Stress wave calculations in composite plates using the fast Fourier transform.
The protection of composite turbine fan blades against impact forces has prompted the study of dynamic stresses in composites due to transient loads. The mathematical model treats the laminated plate as an equivalent anisotropic material. The use of Mindlin's approximate theory of crystal plates results in five two-dimensional stress waves. Three of the waves are flexural and two involve in-plane extensional strains. The initial value problem due to a transient distributed transverse force on the plate is solved using Laplace and Fourier transforms. A fast computer program for inverting the two-dimensional Fourier transform is used. Stress contours for various stresses and times after application of load are obtained for a graphite fiber-epoxy matrix composite plate. Results indicate that the points of maximum stress travel along the fiber directions.
Moon, F. C.↗
Evaluation of a transfinite element numerical solution method for nonlinear heat transfer problems
Laplace transform techniques have been widely used to solve linear, transient field problems. A transform-based algorithm enables calculation of the response at selected times of interest without the need for stepping in time as required by conventional time integration schemes. The elimination of time stepping can substantially reduce computer time when transform techniques are implemented in a numerical finite element program. The coupling of transform techniques with spatial discretization techniques such as the finite element method has resulted in what are known as transfinite element methods. Recently attempts have been made to extend the transfinite element method to solve nonlinear, transient field problems. This paper examines the theoretical basis and numerical implementation of one such algorithm, applied to nonlinear heat transfer problems. The problem is linearized and solved by requiring a numerical iteration at selected times of interest. While shown to be acceptable for weakly nonlinear problems, this algorithm is ineffective as a general nonlinear solution method.
Cerro, J. A.↗
Optical Tweezers Array and Nimble Tweezers Probe Generated by Spatial- Light Modulator
An optical tweezers is being developed at the NASA Glenn Research Center as a visiblelight interface between ubiquitous laser technologies and the interrogation, visualization, manufacture, control, and energization of nanostructures such as silicon carbide (SiC) nanotubes. The tweezers uses one or more focused laser beams to hold micrometer-sized particles called tools (sometimes called tips in atomic-force-microscope terminology). A strongly focused laser beam has an associated light-pressure gradient that is strong enough to pull small particles to the focus, in spite of the oppositely directed scattering force; "optical tweezers" is the common term for this effect. The objective is to use the tools to create carefully shaped secondary traps to hold and assemble nanostructures that may contain from tens to hundreds of atoms. The interaction between a tool and the nanostructures is to be monitored optically as is done with scanning probe microscopes. One of the initial efforts has been to create, shape, and control multiple tweezers beams. To this end, a programmable spatial-light modulator (SLM) has been used to modify the phase of a laser beam at up to 480 by 480 points. One program creates multiple, independently controllable tweezer beams whose shapes can be tailored by making the SLM an adaptive mirror in an interferometer (ref. 1). The beams leave the SLM at different angles, and an optical Fourier transform maps these beams to different positions in the focal plane of a microscope objective. The following figure shows two arrays of multiple beams created in this manner. The patterns displayed above the beam array control the intensity-to-phase transformation required in programming the SLM. Three of the seven beams displayed can be used as independently controllable beams.
Decker, Arthur J.↗
Shared visions: Partnership of Rockwell International and NASA Cost Effectiveness Enhancements (CEE) for the space shuttle system integration program
As a result of limited resources and tight fiscal constraints over the past several years, the defense and aerospace industries have experienced a downturn in business activity. The impact of fewer contracts being awarded has placed a greater emphasis for effectiveness and efficiency on industry contractors. It is clear that a reallocation of resources is required for America to continue to lead the world in space and technology. The key to technological and economic survival is the transforming of existing programs, such as the Space Shuttle Program, into more cost efficient programs so as to divert the savings to other NASA programs. The partnership between Rockwell International and NASA and their joint improvement efforts that resulted in significant streamlining and cost reduction measures to Rockwell International Space System Division's work on the Space Shuttle System Integration Contract is described. This work was a result of an established Cost Effectiveness Enhancement (CEE) Team formed initially in Fiscal Year 1991, and more recently expanded to a larger scale CEE Initiative in 1992. By working closely with the customer in agreeing to contract content, obtaining management endorsement and commitment, and involving the employees in total quality management (TQM) and continuous improvement 'teams,' the initial annual cost reduction target was exceeded significantly. The CEE Initiative helped reduce the cost of the Shuttle Systems Integration contract while establishing a stronger program based upon customer needs, teamwork, quality enhancements, and cost effectiveness. This was accomplished by systematically analyzing, challenging, and changing the established processes, practices, and systems. This examination, in nature, was work intensive due to the depth and breadth of the activity. The CEE Initiative has provided opportunities to make a difference in the way Rockwell and NASA work together - to update the methods and processes of the organizations. The future success of NASA space programs and Rockwell hinges upon the ability to adopt new, more efficient and effective work processes. Efficiency, proficiency, cost effectiveness, and teamwork are a necessity for economic survival. Continuous improvement initiatives like the CEE are, and will continue to be, vehicles by which the road can be traveled with a vision to the future.
Bejmuk, Bohdan I.↗
Summary of Methodology for Mitigating Risks Associated with Licensing and Qualifying AM Nuclear Materials
The US Department of Energy’s Advanced Materials and Manufacturing Technologies (AMMT) program focuses on accelerating the development, qualification, demonstration, and deployment of advanced materials and manufacturing technologies to enable reliable and economical nuclear energy. Laser powder bed fusion (LPBF) is one of the most popular additive manufacturing (AM) processes for fabricating components with intrinsically complex geometries. LPBF was extensively explored for nuclear applications under the previous Transformational Challenge Reactor program. Additionally, Oak Ridge National Laboratory developed and licensed the Peregrine software and larger digital platform that couples machine learning and in situ data collection during AM to detect anomalies and any evolved defects. The digital platform will be critical to (1) the qualification of AM components for nuclear applications that link location-specific data to macroscopic properties and (2) predict final component performance. Current in situ process monitoring tools are valuable for observing the formation of stochastic flaws, but additional data are needed to predict the resulting microstructures and associated material performance. Rapid cooling rates and large thermal gradients have caused large heterogeneities in the microstructure, which cause anisotropy in mechanical performance. The AMMT program is evaluating the best approaches for addressing these heterogeneities and their effect on component performance using a combination of multiscale modeling, enhanced in situ process monitoring, and high throughput experimental testing. This report summarizes strategies for mitigating the risks associated with qualifying AM components, including developing new sensing capabilities for in situ process monitoring and characterizing melt pool solidification and residual stresses to inform multiscale modeling efforts.
22 GENERAL STUDIES OF NUCLEAR REACTORS↗
Adding Concrete Syntax to a Prolog-Based Program Synthesis System
Program generation and transformation systems manipulate large, pa- rameterized object language fragments. Support for user-definable concrete syntax makes this easier but is typically restricted to certain object and meta languages. We show how Prolog can be retrofitted with concrete syntax and describe how a seamless interaction of concrete syntax fragments with an existing legacy meta-programming system based on abstract syntax is achieved. We apply the approach to gradually migrate the schemas of the AUTOBAYES program synthesis system to concrete syntax. Fit experiences show that this can result in a considerable reduction of the code size and an improved readability of the code. In particular, abstracting out fresh-variable generation and second-order term construction allows the formulation of larger continuous fragments and improves the locality in the schemas.
Fischer, Bernd↗
Postirradiation Examination of HFIR-Irradiated Yttrium Hydrides
The US Department of Energy Microreactor Program is developing compact, high-temperature microreactors that require robust neutron moderators. Known for its high hydrogen retention and structural stability, YH x is a leading candidate for this purpose. As part of an ongoing evaluation, Oak Ridge National Laboratory conducted post-irradiation examinations on YH x specimens irradiated in the High Flux Isotope Reactor under the legacy Transformational Challenge Reactor program, focusing on their structural integrity, hydrogen retention, and thermal properties. The post-irradiation examination campaign primarily examined specimens from two irradiation campaigns, covering a range of hydrogen-to-yttrium atomic ratios (H/Y), neutron damage levels (0.1–2 displacements per atom), and targeted irradiation temperature of 600°C. The investigations included electron microscopy, high-energy x-ray diffraction, laser flash analysis, differential scanning calorimetry, and SiC thermometry analysis.
22 GENERAL STUDIES OF NUCLEAR REACTORS↗
Coupling of CTF and TRANSFORM using the Functional Mockup Interface
An in-memory coupling between the sub-channel thermal hydraulics code COBRA-TF (CTF), which is included in the Virtual Environment for Reactor Applications (VERA), and the systems code Transient Simulation Framework of Reconfigurable Models (TRANSFORM) was developed in this work. Data exchange is accomplished by using the Functional Mock-Up Interface (FMI), an open standard for coupling dynamic systems models together. The FMI-based coupling necessitated the development of a novel FORTRAN wrapper for communicating with Functional Mock-Up Units. This wrapper will facilitate future FMI-based code couplings with other FORTRAN-based programs. CTF-TRANSFORM is exercised on a simplified Molten Salt Reactor Experiment (MSRE) model in steady-state and transient configurations. The coupled CTF-TRANSFORM model is shown to predict core temperature deltas similar to those available in historical MSRE operational data and is shown to be robust to fast power transients.The coupling paves the way to performing sensitivity and design studies impossible with VERA/CTF alone, in which secondary and tertiary loop operating conditions and design parameters may be perturbed and their impact on the core operating conditions studied.
97 MATHEMATICS AND COMPUTING↗
Program Options to Explore Ocean Worlds
Including Earth, roughly a dozen water ocean worlds exist in the solar system: the relict worlds Ceres and Mars, vast oceans inside most of the large Jovian and Saturnian icy moons, and Kuiper Belt Objects like Triton, Charon, and Pluto whose geologies are dominated by water and ammonia. Key pieces of the ocean-world science puzzle – which when completed may reveal whether life is widespread in the cosmos, why it exists where it does, and how it originates – are distributed among them. The eventual exploration of all these worlds will yield humanity’s total tangible knowledge about life in the universe, essentially forever. Thus, their exploration has existential significance for humanity’s self-regard, and indeed perhaps of our place in the natural scheme. The matter of planning how to pursue such a difficult and unprecedented exploration opportunity is therefore historic. The technical challenges are formidable, far harder than at Mars: missions to the Jovian and Saturnian ocean worlds are severely power-limited; trip times can be as much as a half decade and decade, respectively. And the science targets are global-scale oceans beneath kilometers of cryogenic ice. Reaching and exploring them would be a multi-generational undertaking, so again it is essential to plan and prepare. Today, we lack the instrumentation, subsystems, and remote operational-intelligence technologies needed to build and use exploration avatars as good as what we can envision needing. Each ocean world holds a piece of the puzzle, but the three priority targets are Europa at Jupiter, and Enceladus and Titan at Saturn. As with the systematic exploration of Mars, exploring these diverse worlds poses a complex technical and programmatic challenge – a strategic challenge – that needs to be designed and managed if each generation is to see its work bear fruit, and if the space science community is to make most effective use of the public money devoted to the quest. Strategic programs benefit from coherence. In only 15 years, the Mars Exploration Program (MEP) has transformed humanity’s view of Mars as a once and future habitable place, a world quite possibly holding relict evidence of life. Finding such evidence, we would study it to know if that life shared an origin common with Earth life. However, life in the ocean worlds could not have shared our origin, so exploring them opens another level in our quest to understand life in the universe: not only to places with vast salt-water seas known to contain organics and hydrothermal seafloors active today, but to places where anything alive cannot be related to us. MEP’s success – from its presence in the public consciousness to its rewriting of planetary habitability – make it an obvious template and source of lessons learned for a viable ocean worlds exploration program (OWEP). Six attributes of the MEP are analyzed for application to a potential OWEP. From this, five hypothetical programmatic scenarios are compared to the default case, and conclusions drawn. A coherent OWEP should have several parts: first, dedicated continuous investment in enabling technologies; and second, two directed-purpose, medium-class (~$1B) missions per decade that conduct pivotal investigations on a documented roadmap. Science could start in 2035, informing development of decadal flagship missions after Europa Clipper, to the places revealed to hold the most promise. The fastest pace of scientific discoveries would require access to high-performance propulsion infrastructure, e.g., the Space Launch System, Falcon Heavy, and high-power in-space solar electric propulsion, all capable of halving trip time. Not including these boosts, such a program would cost about a half-billion dollars more per year than NASA’s existing mission portfolio; the program architecture funded today cannot deliver a strategic OWEP while also sustaining balance among other solar system exploration priorities and opportunities.
Naderi, F.↗
Tolerating failures of continuous-valued sensors
One aspect of fault tolerance in process control programs is the ability to tolerate sensor failure. A methodology for transforming a process control program that cannot tolerate sensor failures onto one that can is presented. Issues addressed include modifying specifications in order to accommodate uncertainty in sensor values and averaging sensor values in a fault tolerant manner. In addition, a hierarchy of sensor failure models is identified, and both the attainable accuracy and the run-time complexity of sensor averaging with respect to this hierarchy is discussed.
Marzullo, Keith↗
Liquid-induced topological transformations of cellular microstructures
The fundamental topology of cellular structures—the location, number and connectivity of nodes and compartments—can profoundly affect their acoustic, electrical5, chemical, mechanical and optical properties, as well as heat, fluid and particle transport. Approaches that harness swelling, electromagnetic actuation and mechanical instabilities in cellular materials have enabled a variety of interesting wall deformations and compartment shape alterations, but the resulting structures generally preserve the defining connectivity features of the initial topology. Achieving topological transformation presents a distinct challenge for existing strategies: it requires complex reorganization, repacking, and coordinated bending, stretching and folding, particularly around each node, where elastic resistance is highest owing to connectivity. Here we introduce a two-tiered dynamic strategy that achieves systematic reversible transformations of the fundamental topology of cellular microstructures, which can be applied to a wide range of materials and geometries. Our approach requires only exposing the structure to a selected liquid that is able to first infiltrate and plasticize the material at the molecular scale, and then, upon evaporation, form a network of localized capillary forces at the architectural scale that ‘zip’ the edges of the softened lattice into a new topological structure, which subsequently restiffens and remains kinetically trapped. Reversibility is induced by applying a mixture of liquids that act separately at the molecular and architectural scales (thus offering modular temporal control over the softening–evaporation–stiffening sequence) to restore the original topology or provide access to intermediate modes. Guided by a generalized theoretical model that connects cellular geometries, material stiffness and capillary forces, we demonstrate programmed reversible topological transformations of various lattice geometries and responsive materials that undergo fast global or localized deformations. In conclusion, we then harness dynamic topologies to develop active surfaces with information encryption, selective particle trapping and bubble release, as well as tunable mechanical, chemical and acoustic properties.
42 ENGINEERING↗
Developing Multi-Gene CRISPRa/I Programs to Accelerate DBTL Cycles in ABF Hosts Engineered for Chemical Production (CRADA 468)
Bacterial metabolism is comprised of large and complex gene networks that can produce valuable chemical products. Sophisticated organism engineering efforts are required to optimize production of high-value compounds from these networks. In principle, synthetic multi-gene transcriptional programs could be constructed to reengineer these networks for efficient industrial chemical production. In practice, however, our incomplete ability to understand and model the underlying networks, combined with our limited ability to predictably control the expression of multiple genes makes achieving this goal difficult. To overcome these challenges, we will combine new CRISPR-Cas multi-gene expression programs with computational modeling, machine learning, and multi-omics data to enhance the efficacy of design-build-test-learn (DBTL) cycles. For industrially promising microorganisms in early stages of development, creating technologies for rapidly engineering complex multi-gene programs could be transformative for accelerating data- and model-driven strain design. New CRISPR-Cas tools allow programmable gene activation (CRISPRa) or repression (CRISPRi) at multiple genes simultaneously, using the catalytically inactive Cas9 protein (dCas9) with guide RNAs that recognize DNA targets through predictable Watson-Crick base pairing. To enable accelerated DBTL cycles, we will combine these technologies with advanced Agile BioFoundry (ABF) capabilities for multi-omics data collection and machine learning. We will demonstrate the immediate applicability of these tools by rapidly improving the production of an industrial aromatic in multiple ABF organisms. We recently identified and optimized new transcriptional activators that can be linked to programmable CRISPR-Cas DNA binding domains to activate gene expression in E. coli. We can now use these CRISPRa tools as generalizable trans-acting regulators for combinatorial multi-gene expression tuning that can be easily transferred to new pathways and networks without additional genome engineering. We anticipate these tools will also transfer to new hosts. We have recently found that CRISPRa systems developed in E. coli can be readily ported to Pseudomonas putida, suggesting that multi-gene CRISPRa/i programs for diverse ABF organisms may be within reach.
59 BASIC BIOLOGICAL SCIENCES↗
Transformational Nano-confined Ionic Liquid Membrane for Greater than or Equal to 97 Percent Carbon Dioxide Capture from Natural Gas Combined Cycle Flue Gas
A transformational process based on nano-confined ionic liquid (NCIL) membranes was developed for capturing ≥97% CO 2 from natural gas combined cycle (NCCC) flue gas. The NCIL membranes were prepared by loading amino acid ionic liquid into a framework composed of single-walled carbon nanotube mesh filled with graphene oxide quantum dots. The membranes exhibited CO 2 permeance as high as 2,000 GPU with a CO 2 /N2 selectivity of 2,300 for a typical NGCC flue gas composition. When H 2 O vapor sweep was applied in the permeate side, 96.6% CO2 dry-basis purity and 97.6% CO 2 capture rate were achieved for a simulated NGCC flue gas with single stage. In the process design, a highly H 2 O-selective membrane would be needed to recover majority of the H 2 O vapor, and the recovered H 2 O vapor could be recycled to the permeate side of the NCIL membrane. Sulfonated poly(ether ether ketone) membranes were successfully developed for this purpose. These membranes exhibited H 2 O permeance great than 11,000 GPU and H 2 O/CO 2 selectivity greater than 1,000 at 70ºC for a feed mixture consisting of 14.5 vol% H2O and balanced CO 2 . A standalone membrane model using MATLAB platform was developed for process simulation. The model was validated with experimental data. Techno-economic analysis based on the testing data collected during the current program suggests this transformational membrane process can achieve 97% CO 2 capture efficiency with a cost of $47.8/tonne of CO 2 , which is a 21% reduction versus DOE’s reference case B31B.97.
03 NATURAL GAS↗
Additive Manufacturing in the Nuclear Reactor Industry
This article discusses the application of additive manufacturing in the nuclear reactor industry.Additive manufacturing for nuclear applications increased significantly in the late 2010s due to rapid progress in technology, particularly with methods using metals and ceramics.Because these manufacturing technologies are uniquely data-rich, they allow for an advanced understanding of materials, and they offer the potential to predict part performance based on build data. The inherent characteristics of additive manufacturing technologies allow for rapid prototyping and geometric freedom, making it possible to implement an accelerated agile design process for advanced nuclear reactor applications. Predictive high-fidelity multiphysics simulations are crucial to fully leverage this geometric flexibility. Qualification and regulator acceptance ultimately determine the breadth and scope of applications for these technologies. The US Department of Energy Office of Nuclear Energy Transformational Challenge Reactor program integrates many of these elements to accelerate the deployment of additive manufacturing technologies to industry.
Betzler, Benjamin↗
Characterization of radiation damage in 3D printed SiC
The SiC fuel matrix for advanced gas-cooled high temperature reactors as part of the Transformational Challenge Reactor program serves as the fuel particle container structure, a barrier to fission gas release, and a heat transfer medium. Its performance is particularly important because the fuel matrix must demonstrate good structural stability and thermal behaviors. An additive manufacturing methodology combining a binder jet 3D printing process with chemical vapor infiltration (CVI) for the production of SiC was recently developed. In this study, post irradiation examination by transmission electron microscopy shows that defect accumulation within the printed particles is very similar to other forms of high-purity SiC. However, damage accumulation was not directly observed in the CVI matrix because black spot damage and dislocation loops are difficult to image within the nanoscale highly faulted CVI matrix and because interstitial defects may rapidly annihilate at the stacking faults. Therefore, electron energy loss spectroscopy (EELS) analysis was used to analyze defect swelling in both the printed particles and the CVI matrix. The EELS analysis helped reveal that the radiation-induced swelling in the CVI matrix is similar to that of the printed SiC particles. This work shows that 3D printed SiC has behavior that is comparable to SiC processed by other means and that 3D printing could serve as a suitable processing technique for high-purity SiC for nuclear applications.
36 MATERIALS SCIENCE↗
AI-based design of a nuclear reactor core
The authors developed an artificial intelligence (AI)-based algorithm for the design and optimization of a nuclear reactor core based on a flexible geometry and demonstrated a 3× improvement in the selected performance metric: temperature peaking factor. The rapid development of advanced, and specifically, additive manufacturing (3-D printing) and its introduction into advanced nuclear core design through the Transformational Challenge Reactor program have presented the opportunity to explore the arbitrary geometry design of nuclear-heated structures. The primary challenge is that the arbitrary geometry design space is vast and requires the computational evaluation of many candidate designs, and the multiphysics simulation of nuclear systems is very time-intensive. Therefore, the authors developed a machine learning-based multiphysics emulator and evaluated thousands of candidate geometries on Summit, Oak Ridge National Laboratory’s leadership class supercomputer. The results presented in this work demonstrate temperature distribution smoothing in a nuclear reactor core through the manipulation of the geometry, which is traditionally achieved in light water reactors through variable assembly loading in the axial direction and fuel shuffling during refueling in the radial direction. The conclusions discuss the future implications for nuclear systems design with arbitrary geometry and the potential for AI-based autonomous design algorithms.
22 GENERAL STUDIES OF NUCLEAR REACTORS↗