Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “sketching”

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 127 records · Page 7

Serendipitous discovery connects grandfather and granddaughter at the Lab 60 years apart A third-generation employee learns about Los Alamos family history

The Lab’s enduring mission work means staff like Cameron Townsend are one of many family members who have careers at LANL. Cameron is her family’s third generation to work at the Lab, starting with her great grandparents, followed by her grandparents (skipping her parents), and now including her and her husband. She didn’t know about her family history at the Lab until she started working here three years ago when a typical day on the job became a serendipitous window into her family’s long history with the Lab. Cameron, who is an architect in EPC-ES: Environmental Stewardship and helps manage the Lab’s historic buildings program, was given a drawing from 1960 to aid in an assessment. The drafter’s name on the sketch: Ron Turner, her grandfather.

99 GENERAL AND MISCELLANEOUS↗

Randomized Algorithms for Scientific Computing (RASC)

Randomized algorithms have propelled advances in artificial intelligence (AI) and represent a foundational research area in advancing AI for Science. Future advancements in DOE Office of Science priority areas such as climate science, astrophysics, fusion, advanced materials, combustion, and quantum computing all require randomized algorithms for surmounting challenges of complexity, robustness, and scalability. Advances in data collection and numerical simulation have changed the dynamics of scientific research and motivate the need for randomized algorithms. For instance, advances in imaging technologies such as X-ray ptychography, electron microscopy, electron energy loss spectroscopy, or adaptive optics lattice light-sheet microscopy collect hyperspectral imaging and scattering data in terabytes, at breakneck speed enabled by state-of-the-art detectors. The data collection is exceptionally fast compared with its analysis. Likewise, advances in high-performance architectures have made exascale computing a reality and changed the economies of scientific computing in the process. Floating-point operations that create data are essentially free in comparison with data movement. Thus far, most approaches have focused on creating faster hardware. Ironically, this faster hardware has exacerbated the problem by making data still easier to create. Under such an onslaught, scientists often resort to heuristic deterministic sampling schemes (e.g., low-precision arithmetic, sampling every nth element) and sacrifice potentially valuable accuracy. Dramatically better results can be achieved via randomized algorithms, reducing the data size as much as or more than naive deterministic subsampling can achieve, while retaining the high accuracy of computing on the full data set. By randomized algorithms we mean those algorithms that employ some form of randomness in internal algorithmic decisions to accelerate time to solution, increase scalability, or improve reliability. Examples include matrix sketching for solving large-scale least-squares problems (see Figure 1) and stochastic gradient descent for training machine learning models. We are not recommending heuristic methods but rather randomized algorithms that have certificates of correctness and probabilistic guarantees of optimality and near-optimality. Such approaches can be useful beyond acceleration, for example, in understanding how to avoid measure zero worst-case scenarios that plague methods such as QR matrix factorization.

97 MATHEMATICS AND COMPUTING↗

Scalable and Energy-Efficient Methods for Interactive Exploration of Scientific Data

The main scientific contributions of this project are the following novel concepts for multidimensional arrays: shape-based similarity join (SIGMOD 2016), incremental view maintenance (SIGMOD 2017), user-defined stencil functions (HPDC 2017), and distributed caching for in-situ processing (SSDBM 2018). Building on our collaboration with the astrophysics group at LBNL, we applied these techniques to the data generated in the Palomar Transient Factory (PTF) astronomical survey. They played a pivotal role in the first-ever observation of a neutron star merger, which produces gravitational waves and turns out to be the origin of heavy elements, including gold. This has lead to a Science magazine article that has received extensive media coverage on ACM TechNews, Slashdot, FiveThirtyEight, and Quanta Magazine, among others. Additionally, two other articles detailing related aspects of the same discovery have been published in the Astrophysical Journal Letters journal. These publications have more than 3,000 citations according to Google Scholar (as of February 2022). This cross-disciplinary collaboration provided very good opportunities to apply database techniques to real-life scientific problems. The fact that they facilitated major discoveries in astrophysics proves the importance of our research. In addition to the work on multidimensional array databases, this project has also developed stochastic gradient descent (SGD) optimization algorithms for training large scale machine learning models, methods for querying in-situ data, and a database query optimizer based on sketch synopses.

79 ASTRONOMY AND ASTROPHYSICS↗

Cubical moderators for the Neutron Target Demonstator (NTD)

Neutron capture cross sections of unstable isotopes are important for neutron induced nucleosynthesis as well as for technological applications. The traditional time-of-flight method reaches its limits once the necessary detection of the reaction products is hampered by the size (mass) of the sample. Several factors may limit the sample mass: The decay properties of radioactive isotopes interfere with the signals from the neutron capture or neutron-induced fission reactions; The limited range of charged reaction products requires a thin sample. In both cases, an increased neutron fluence at the sample position with ever improved neutron sources overcomes the lack of reaction rate. Reference proposed a combination of a radioactive beam facility, an ion storage ring and a spallation neutron source surrounded by neutron moderator. This idea is part of the LANSCE strategy to stay a worldwide leader for neutron induced research. Figure 1 shows a sketch of the proposed future setup.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Addendum to ICSBEP Logbooks 12r, 13r, 14r and 15r for Polyethylene and Graphite Reflected HEU Metal Critical Experiments

This report documents the experimenters’ data sheets that were recently (2023) discovered for critical experiments with highly enriched uranium metal with polyethylene and graphite reflectors. These data sheets were produced at the time of the measurements, when the dimensional inspection reports for the polyethylene and graphite were available. However, at this writing, those inspection reports are not available but may be in unmarked storage for the Y-12 National Security Complex. However, the data sheets presented herein contain sketches of the experimental configurations and other additional information that is not in the logbooks, such as dimensions and masses of the graphite measurements. This report reproduces the experimental data sheets that complement the logbooks. Some of the data on these sheets and the logbooks can be used to infer the dimensions and masses that are not documented. Some obvious mistakes in the logbook and data sheets have been corrected. In the reproduced data sheets, some of the information is not clearly visible: some information, such as average values, can be obtained from other data in the sheets or logbook. This report should be sent to the International Criticality Safety Benchmark Program at Idaho National Laboratory to complement the existing Oak Ridge Critical Facility logbooks there.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Thirty years at LANL - case study [Slides]

Outline: Different perspective on interface reconstruction; Moments-based interface reconstruction - moment of fluid (MOF), MOF 2 ; Moments and their meaning, reference ellipse; Examples of reconstruction in one cell; Interface reconstruction in one cell; Interface reconstruction on full mesh; Advection; Interface remapping; Arbitrary Langrangian-Eulerian Methods - Sketch; Possible Extensions; Conclusion and Future Work.

97 MATHEMATICS AND COMPUTING↗

Research in Heavy-Ion Physics at CMS

This report sketches the activities of the Kansas Heavy Ion group over a period of 27 years. During that time the group has progressed from preparations for the BRAHMS experiment at RHIC, through the very exciting early years of RHIC, to great physics on the CMS experiment and finally preparations for the Electron Ion Collider.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Synthesis of Correct Digital Controller Models from Specifications by Model Transformation (21-0320)

The design of high consequence controllers (in weapons systems, autonomy, etc.) that do what they are supposed to do is a significant challenge. Testing simply does not come close to meeting the requirements for assurance. Today circuit designers at Sandia (and elsewhere) typically capture the core behavior of their components using state models in tools such as STATEFLOW. They then check that their models meet certain requirements (e.g. “The system bus must not deadlock” or “both traffic lights at an intersection must not be green at the same time”) using tools called model checkers. If the model checker returns “yes” then the property is guaranteed to be satisfied by the model. However, there are several drawbacks to this industry practice: (1) there is a lot of detail to get right, this is particularly challenging when there are multiple components requiring complex coordination (2) any errors returned by the model checker have to be traced back through the design and fixed, necessitating rework, (3) there are severe scalability problems with this approach, particularly when dealing with concurrency. All this places high demands on the designers who now face not only an accelerated schedule but also controllers of increasing complexity. This report describes a new and fundamentally different approach to the construction of safety-critical digital controllers. Instead of directly constructing a complete model and then trying to verify it, the designer can start with an initial abstract (think “sketch”) model plus the requirements, from which a correct concrete model is automatically synthesized. There is no need for post-hoc verification of required functional properties. Having tool to carry this out will significantly impact the nation’s ability to ensure the safety of high-consequence digital systems. The approach has been implemented in a prototype tool, along with a suite of examples, including ones that reflect actual problems faced by designers. Our approach operates on a variant of Statecharts developed at Sandia called Qspecs. Statecharts are a widely used formalism for developing concurrent reactive systems, supporting scalability through allowing state models containing composite states, which are the serial or parallel composition of substates which can themselves contain statecharts. Statecharts enable an incremental style of development, in which states are progressively refined to incorporate greater detail in an incremental model of software development. Our approach formulates a set of constraints from the structure of the models and the requirements and propagates these constraints to a fixpoint. The solution to the constraints is an inductive invariant along with guards on the transitions. We also show how our approach extends to implementation refinement, decomposition, composition, and elaboration. We currently handle safety requirements written in LTL (Linear Temporal Logic)

42 ENGINEERING↗

Bringing randomized algorithms to mainstream numerical linear algebra

Numerical linear algebra (NLA) underpins huge swaths of computational science and engineering. For scientists and engineers to make the most of the DOE’s computing resources, it is essential that they have access to high-performance implementations of algorithms with best-in-class scalability and reliability. Despite this, prevailing NLA libraries have little to no support for breakthrough algorithms from the field of randomized numerical linear algebra (RandNLA) that have been developed over the past twenty years. The goal of this LDRD was to break a log-jam that had prevented broad adoption of RandNLA. Our work had two thrusts. The first was to develop RandBLAS: a trustworthy and high-performance C++ library for randomized dimension reduction (an operation widely known as sketching). The second was the development of a novel randomized algorithm for computing a challenging type of matrix decomposition known as Householder QR with column pivoting (Householder QRCP). In this one-year late-start LDRD we successfully delivered RandBLAS 1.0 and new CPU and GPU codes for Householder QRCP. RandBLAS has extensive documentation at https://randblas.readthedocs.io/en/stable/. Papers on RandBLAS and and our high-performance QRCP codes are forthcoming.

97 MATHEMATICS AND COMPUTING↗

GH Induction System 1B (BR-105) & MRF System 6 (BR-120) in B226

The purpose of the attached calculations and detail sketches is to document conformance with the requirements of DOE-STD-1020-2016 for the subject project. The calculations have been reviewed for technical accuracy, appropriate methodology, and completeness using the "Document Review Method." The reviewer confirms that the stated purpose has been met. This package does not constitute a construction permit. The enclosed calculations are valid for 2 years from signed date or expiration of listed code cycles, whichever occurs first. Licensed civil or structural engineer is to be contacted for calculations application following expiration of calculations package.

42 ENGINEERING↗

Supporting Special Values in ZFP

This white paper outlines potential approaches to supporting special values in the ZFP numerical compressor without breaking backwards compatibility. Other than infinities and NaNs, special values are often used to indicate the absence of data, where no value is defined, for example by designating finite but extreme “fill values” as special. Such fill values are commonly used in earth system science, among other applications, but if left as is during compression lead to artifacts and loss of precision in nearby true values. Multiple candidate solutions that would allow ZFP to recognize special values are here proposed. Until such support is available, we also sketch available workarounds.

97 MATHEMATICS AND COMPUTING↗

A taxogenomic view of the genus Torulaspora : an expansion from ten to twenty-two species

The yeast genus Torulaspora (subphylum Saccharomycotina, family Saccharomycetaceae) is mostly known from its type species, T. delbrueckii, a frequent colonizer of wine and sourdough bread fermentations. The genus currently contains 10 species that are typically found in various natural terrestrial environments in temperate and tropical climates. Here we employ taxogenomic analyses to investigate a large collection of Torulaspora strains obtained in multiple surveys we carried out in Asia, Australasia, North America, South America, and Europe, and to which we added several strains maintained in culture collections. Our analyses detected twelve novel species that are formally described here, thereby more than doubling the species diversity of Torulaspora. We also sketch a genotype-phenotype map for the genus and show how the complex relationship between key genes and the physiological traits they control both between and within species. This remarkable increase in the number of species in the genus Torulaspora highlights how limited the current inventory of fungal taxa is. It also shows how integrated taxogenomic approaches can foster the assessment of species circumscriptions in fungi.

59 BASIC BIOLOGICAL SCIENCES↗

Turbo-Turtle v0.12.1

A collection of solid body modeling tools for 2D sketched, 2D axisymmetric, and 3D revolved models. It also contains general purpose meshing and image generation utilities appropriate for any model, not just those created with this package. Implemented for Abaqus and Cubit as backend modeling and meshing software. Orginal implementation targeted Abaqus so most options and descriptions use Abaqus modeling concepts and language. Turbo-Turtle makes a best effort to maintain common behaviors and features across each third-party software’s modeling concepts. As much as possible, the work for each subcommand is performed in Python 3 to minimize solution approach duplication in third-party tools. The third-party scripting interface is only accessed when creating the final tool specific objects and output. The tools contained in this project can be expanded to drive other meshing utilities in the future, as needed by the user community. This project derives its name from the origins as a sphere partitioning utility following the turtle shell (or soccer ball) pattern.s.

Brindley, Kyle↗

Genome assembly UWOPS 85-398.1-1

The yeast genus Torulaspora (subphylum Saccharomycotina, family Saccharomycetaceae) is mostly known from its type species T. delbrueckii, a frequent colonizer of wine and sourdough bread fermentations. The genus currently contains ten species that are typically found in various natural terrestrial environments in temperate and tropical climates. Here we employ taxogenomic analyses to investigate a large collection of Torulaspora strains obtained in multiple surveys we carried out in Asia, Australasia, North America, South America, and Europe, and to which we added several strains maintained in culture collections. Our analyses detected twelve novel species that are formally described here, thereby more than doubling the species diversity of Torulaspora. We also sketch a genotype-phenotype map for the genus and show how key genes have evolved in concert with the physiological traits they control. This dramatic increase in the number of species in the genus Torulaspora highlights how limited the current inventory of fungal taxa is. It also shows how integrated taxogenomics approaches can foster the assessment of species circumscriptions in fungi, especially when classical approaches relying on DNA barcode regions give inconclusive results.

Sampaio, Jose P. [UCIBIO, Departamento de Ciências↗

Genome assembly UFMG-CM Y6992

The yeast genus Torulaspora (subphylum Saccharomycotina, family Saccharomycetaceae) is mostly known from its type species T. delbrueckii, a frequent colonizer of wine and sourdough bread fermentations. The genus currently contains ten species that are typically found in various natural terrestrial environments in temperate and tropical climates. Here we employ taxogenomic analyses to investigate a large collection of Torulaspora strains obtained in multiple surveys we carried out in Asia, Australasia, North America, South America, and Europe, and to which we added several strains maintained in culture collections. Our analyses detected twelve novel species that are formally described here, thereby more than doubling the species diversity of Torulaspora. We also sketch a genotype-phenotype map for the genus and show how key genes have evolved in concert with the physiological traits they control. This dramatic increase in the number of species in the genus Torulaspora highlights how limited the current inventory of fungal taxa is. It also shows how integrated taxogenomics approaches can foster the assessment of species circumscriptions in fungi, especially when classical approaches relying on DNA barcode regions give inconclusive results.

Sampaio, Jose P. [UCIBIO, Departamento de Ciências↗

Thermal radiation properties of solids at low temperatures

This paper provides introductory remarks for the symposium session on thermal ra­diation properties of solids in the range 0°-200° K. A qualitative description is given of that part of the theory that is unique to low temperatures, after which experimental methods appropriate to low temperatures and present applications of low temperature data are sketched.

SOLIDS↗

Automated drafting system uses computer techniques

Automated drafting system produces schematic and block diagrams from the design engineers freehand sketches. This system codes conventional drafting symbols and their coordinate locations on standard size drawings for entry on tapes that are used to drive a high speed photocomposition machine.

Millenson, D. H.↗