Results for “program transformation” — Page 25

NASA NTRS1979

Statistical analysis of multivariate atmospheric variables

Topics covered include: (1) estimation in discrete multivariate distributions; (2) a procedure to predict cloud cover frequencies in the bivariate case; (3) a program to compute conditional bivariate normal parameters; (4) the transformation of nonnormal multivariate to near-normal; (5) test of fit for the extreme value distribution based upon the generalized minimum chi-square; (6) test of fit for continuous distributions based upon the generalized minimum chi-square; (7) effect of correlated observations on confidence sets based upon chi-square statistics; and (8) generation of random variates from specified distributions.

Tubbs, J. D.↗

NASA NTRS1985

Analysis of holographic interferograms of aerodynamic models in a wind tunnel

Holographic interferometry provides a non-invasive technique for estimating variations in the air density distribution around aerodynamic models in wind tunnels. The testing of this technique has been underway for some time and has been reported previously for a two dimensional aerodynamic model. Results obtained from tests using three dimensional aerodynamic models are summarized. Holograms were made of aerodynamic models in a wind tunnel. Interferograms were made from these holograms. The interference fringes in these holographic interferograms were digitized and this information was entered into the HOLOFT program. The HOLOFT program successfully calculated the known stagnation air density at the nose of a model and the known air density distribution across the cross section passing through the stagnation point for the axisymmetrical case of this model at a Mach number of 0.8. Thus the technique of holographic interferometry does work.The HOLOFT program stands for HOLOgraphic Inversion by 2-D Fourier Transform.

Perry, R. L.↗

NASA NTRS1991

Astrometric observations of comets and asteroids and subsequent orbital investigations

The transformation of the Oak Ridge astrometry from a photographic program to a charge coupled device (CCD) program can now be considered complete, and the number of observations being made is now approaching an order of magnitude greater than in the old photographic program. Astrometric observations with the 1.5-m reflector were made at the Oak Ridge Observatory, and the progress, accomplishments, and projected accomplishments are presented.

Marsden, B. G.↗

NASA NTRS1992

NASA's Software Bank (Signal Group)

A COSMIC program helped the Signal Group to provide a communications system linking a desert area without communications facilities to civilization. The system was developed for a hunting party of wealthy Middle Eastern men. The latest in two-way radio technology was incorporated into a portable system with a small inflatable tethered blimp, which served as a solar-powered relay station. The program, Transverse Mercator Map Projection of the Spheroid Using Transformation of the Elliptic Integral, enabled the company to develop the system without the aid of accurate satellite derived terrain data.

Source record↗

NASA NTRSDate not supplied

Application of Agile for Systems Engineering, Project Management and Modeling and Lessons Learned

The Systems Engineering team within the Human Research Program (HRP) Exploration Medical Capability (ExMC) Element has been transforming its development processes to be more efficient, robust,and responsive to change and to its stakeholders. To these ends, the Systems Engineering team trialed the integration of agile development techniques into existing and new processes. Agile development methods are well understood within the software development community. Outside ofsoftware development, however, how non-software project management (PM) and systems engineering (SE) teams implement agile development techniques is less well understood. In its transformation efforts, the ExMC SE team focused on three main areas: Improving the project communications among subsystem teams and stakeholders by adopting a scrum-like process, Changing the status and reporting mechanisms to improve schedule coordination between the subsystem team, SE leadership, and ExMC Element leadership, and Unifying the model-based SE workflow to improve understanding of Concepts of Operations across projects.This presentation highlights several of these transformations and what the SE team learned while undergoing the transformation.

S Lumpkins↗

NASA NTRSDate not supplied

NASA Life Sciences Portal (NLSP): Supporting Scientific Transparency and Reproducibility

NASA’s Life Sciences Ports (NLSP) serves the scientific community by providing curated data from space life science experiment. The Human Research Program (HRP) with the help of NLSP is currently transforming their life sciences data archive systems and processes to improve compliance with the FAIR principles [1]. Some of these improvements will at the same time support the twin pillars of Open Science [2]: transparency of methods and reproducibility of results. Scientific transparency is marked by the easily intelligible communication of what has been investigated: what were the procedures for collecting sample and the characteristics of samples collected? what kinds of measurements were made, what were the environmental conditions of the measurements? What were the analysis techniques of the collected data? Reproducibility of the results and findings from the investigation requires a high level of transparency for all but the simplest investigations; the slightest deviation in communicating and replicating complex experimental procedures or data analyses can often yield quite different data and even findings, thwarting their validation. One of the ways the NLSP is aiming to improve the communication of scientific information is through the use of ontology-driven metadata. Ontologies are powerful, graph-based knowledge representation structures, which can be leveraged to increase data interoperability, the area of the FAIR principles in which many data systems most lack compliance. Over the past decade, there has been a concerted effort in the biomedical community to develop modular and narrowly focused domain and application-specific ontologies in a common, open-source framework, the Open Biological and Biomedical Ontology (OBO) Foundry [3]. The open sharing and modular nature of this effort promises huge increases in harmonized data sharing for systems that leverage these models. Which is in line with the FAIR Data Principles of Findability, Accessibility, Interoperability, and Reuse for scientific data management and stewardship. 1. Wilkinson, M.D., et al., The FAIR Guiding Principles for scientific data management and stewardship. Sci Data, 2016. 3: p. 160018. 2. National Academies of Sciences, E. and Medicine, Open Science by Design: Realizing a Vision for 21st Century Research. 2018, Washington, DC: The National Academies Press. 232. 3. Smith, B., et al., The OBO Foundry: coordinated evolution of ontologies to support biomedical data integration. Nat Biotechnol, 2007. 25(11): p. 1251-5.

Life Sciences data↗

NASA NTRSDate not supplied

NASA Life Sciences Portal (NLSP): Supporting Scientific Transparency and Reproducibility

NASA’s Life Sciences Ports (NLSP) serves the scientific community by providing curated data from space life science experiment. The Human Research Program (HRP) with the help of NLSP is currently transforming their life sciences data archive systems and processes to improve compliance with the FAIR principles [1]. Some of these improvements will at the same time support the twin pillars of Open Science [2]: transparency of methods and reproducibility of results. Scientific transparency is marked by the easily intelligible communication of what has been investigated: what were the procedures for collecting sample and the characteristics of samples collected? what kinds of measurements were made, what were the environmental conditions of the measurements? What were the analysis techniques of the collected data? Reproducibility of the results and findings from the investigation requires a high level of transparency for all but the simplest investigations; the slightest deviation in communicating and replicating complex experimental procedures or data analyses can often yield quite different data and even findings, thwarting their validation. One of the ways the NLSP is aiming to improve the communication of scientific information is through the use of ontology-driven metadata. Ontologies are powerful, graph-based knowledge representation structures, which can be leveraged to increase data interoperability, the area of the FAIR principles in which many data systems most lack compliance. Over the past decade, there has been a concerted effort in the biomedical community to develop modular and narrowly focused domain and application-specific ontologies in a common, open-source framework, the Open Biological and Biomedical Ontology (OBO) Foundry [3]. The open sharing and modular nature of this effort promises huge increases in harmonized data sharing for systems that leverage these models. Which is in line with the FAIR Data Principles of Findability, Accessibility, Interoperability, and Reuse for scientific data management and stewardship.

Life Sciences data↗

NASA NTRS2023

NLSP: NASA Life Sciences Portal

NASA’s Life Sciences Ports (NLSP) serves the scientific community by providing curated data from space life science experiment. The Human Research Program (HRP) with the help of NLSP is currently transforming their life sciences data archive systems and processes to improve compliance with the FAIR principles. Some of these improvements will at the same time support the twin pillars of Open Science: transparency of methods and reproducibility of results. This video is a high level overview of the NLSP for existing and new users.

Life Sciences data↗

DOE OSTI2024

Assessing Customer Experience and Business Models around Price-to-Device Communication and Smart Control Pathways in CalFlexHub

California is facing three major challenges in electrical grid operation: renewable overgeneration, steep evening ramping, and growing peak demand. The state has identified dynamic retail price response as a key strategy evidenced by CPUC’s Dynamic Rates proceeding and CEC’s Load Management Standards. Furthermore, the CEC launched a $16M “California Load Flexibility Research and Deployment Hub (CalFlexHub)” administered by Berkeley Lab to accelerate price-response flexible load technologies in buildings and EV charging. There are more than 16 laboratory and field demonstration projects in CalFlexHub, each demonstrating innovative automated price-response technologies. CalFlexHub tests various pathways through which hourly price signals and triggered control commands are communicated to load-flexible devices such as smart thermostats, heat pumps, water heaters, and EVs. We identified seven unique communication and control pathways, which involve combinations of third-party cloud, device OEM’s cloud, building central gateway, and local controller in between the price server and the load-flexible devices. It is important for utilities and policy makers to understand the long-term implications of each pathway in designing future programs and creating related policies and mandates for market transformation. We propose an evaluation framework including the following aspects: ● Functionality: connectivity and uptime, resilience, and optimization; ● Customer experience: simplicity in setup, troubleshooting support, continuity, customer choice, first cost, and ongoing cost; ● Business model and scalability: advance interoperability, holistic solution, bridge unique gap, customer base, and value streams and pricing structures. In this paper, we identify emerging business models associated with each communication pathway and discuss their positive features and challenges from the above aspects.

Liu, Jingjing↗

NASA NTRS1994

Experience Report: Visual Programming in the Real World

This paper reports direct experience with two commercial, widely used visual programming environments. While neither of these systems is object oriented, the tools have transformed the development process and indicate a direction for visual object oriented tools to proceed.

visual programming↗

DOE OSTI2017

Optimal Allocation of Static Var Compensator via Mixed Integer Conic Programming

Shunt FACTS devices, such as, a Static Var Compensator (SVC), are capable of providing local reactive power compensation. They are widely used in the network to reduce the real power loss and improve the voltage profile. This paper proposes a planning model based on mixed integer conic programming (MICP) to optimally allocate SVCs in the transmission network considering load uncertainty. The load uncertainties are represented by a number of scenarios. Reformulation and linearization techniques are utilized to transform the original non-convex model into a convex second order cone programming (SOCP) model. Numerical case studies based on the IEEE 30-bus system demonstrate the effectiveness of the proposed planning model.

Zhang, Xiaohu↗

NASA NTRS1983

Global Biology Research Program: Program plan

Biological processes which play a dominant role in these cycles which transform and transfer much of this material throughout the biosphere are examined. A greater understanding of planetary biological processes as revealed by the interaction of the biota and the environment. The rationale, scope, research strategy, and research priorities of the global biology is presented.

Source record↗

NASA NTRS2024

NASA's Human Research Program: Evolving Collaborations to Enable the Future of Human Spaceflight

Since its formation in 2007, the NASA Human Research Program’s (HRP) mission has been to reduce human health and performance risks for spaceflight exploration missions. The program has achieved this mission primarily through work in ground analogs and on the International Space Station. Over the last three years, NASA overall has seen transformative changes with the flight of Artemis I, formation of the Commercial LEO Destinations Program, commercial flights to the ISS, and new International Partners participating in human spaceflight. NASA’s HRP has embraced these new opportunities and is collaborating on all these fronts to collect biomedical research data. Artemis I marked the arrival of NASA’s new human spaceflight exploration missions. NASA has developed a Moon-to-Mars Architecture to map out how it will use the moon to de-risk and enable Mars missions. NASA’s HRP is a critical component to develop and deliver research and technologies for future Artemis Crew Health and Performance (CHP) Systems. The program is working closely with NASA’s Moon-to-Mars Office to ensure CHP deliverables are ready to demonstrate on the moon, as we also look toward Mars, and is developing the partnership strategies required to support these deliverables. Commercial space flights, both free flyer and suborbital missions and private astronaut missions to the ISS, are providing broader opportunities and subjects to characterize the space-induced changes to the human system and to test countermeasures. To better use these opportunities to achieve its mission, HRP has been working to understand the commercial spaceflight companies’ needs and then partner with them on aspects of mutual interest. In addition, NASA HRP continues to engage in long-standing relationships with its international partners through the International Space Life Sciences Working Group (ISLSWG) and other joint international groups. The Program is now also interested in sharing its knowledge and ability to collaborate on projects of mutual interest with new countries developing capabilities for human spaceflight. The next 10 years will shape how humanity partners on exploration missions to Mars. NASA’s HRP is committed to enabling and developing collaborative strategies with commercial and international partners to keep humans safe and productive as we explore longer and further into space.

Jancy McPhee↗

DOE OSTI2024

Testing high-current superconducting subscale dipole coils with superconducting transformer

Several sub-scale superconducting dipole coils are being developed at Fermilab in the framework of the U.S. Magnet Development Program. These coils are made of high-current LTS and HTS cables with maximum currents of up to 10 kA. A superconducting current transformer with a maximum DC current up to ~25 kA previously developed at Fermilab for Nb3Sn Rutherford cable testing was modified and adapted for small dipole coil testing. This paper describes its commissioning using a NbTi dipole magnet impregnated with TELENE. This magnet was wound out of 6/1 NbTi cable.

Barzi, Emanuela↗

DOE OSTI2021

AEDAM: Whole Program Adaptive Error Detection and Mitigation (Final Report)

The overall goals of the AEDAM project were to fundamentally transform software transient-error detection through the design of configurable specialized detectors, quantitative characterization of hardware resilience and software vulnerabilities, and composition of the specialized detectors to most efficiently protect the whole program. Within this scope, UT Austin's research contribution related to enabling and studying the composition of detectors and possible different hardware errors, specifically: (1) developed the Hamartia open-source error injection framework that is designed to make composition studies simple, and (2) develop the methodology and demonstrate the potential benefits of error detector composition.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2020

Addressing Human and Organizational Factors in Nuclear Industry Modernization: An Operationally Focused Approach to Process and Methodology

Utility owners and operators of commercial nuclear power plants in the United States (U.S.) are and will be modernizing their nuclear power plants by performing a digital transformation involving design of an integrated set of systems that together enable a technology centric operating plant. The Plant Modernization Pathway of the U.S. Department of Energy Light Water Reactor Sustainability Program has a strategic action plan that lays the groundwork for a digital transformation of the nuclear industry. The model for this transformation is an advanced concept of operations, with an end point vision, “To achieve the maximum aggregate benefit enabled by this digital transformation.” To achieve this, the digital infrastructure for a nuclear plant must be designed as an integrated set of systems that together enable a technology centric operating model. The digital transformation process obviously needs to involve technology considerations and systems engineering, but it also needs to include human and organizational expertise. Thus, human and organizational factors, including sociotechnical systems methods and techniques (e.g., Cognitive Systems Engineering, Systems Theoretic Accident Modeling and Processes, human systems integration, and Macroergonomics) need to be considered for digital transformation projects in order to effectively integrate human and organizational expertise efforts into the new work system that results from nuclear power plant digital modernization. That is, the work system is the basic unit of sociotechnical systems analysis and contains three components: personnel, technical, and organization and management. These components should be jointly optimized with respect to the interdependence of systems performance criteria of effectiveness, efficiency and safety. Joint optimization can be achieved through the application of three human and organization functions: knowledge representation, knowledge elicitation, and cross-functional integration. This report provides a strategic framework for effective integration of human and organizational expertise within nuclear power plant digital modernization efforts.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

DOE OSTI2019

DaCe - Data Centric Parallel Programming

DaCe is a parallel programming framework that takes code in Python/NumPy and other programming languages, and maps it to high-performance CPU, GPU, and FPGA programs, which can be optimized to achieve state-of-the-art. Internally, DaCe uses the Stateful DataFlow multiGraph (SDFG) data-centric intermediate representation: A transformable, interactive representation of code based on data movement. Since the input code and the SDFG are separate, it is possible to optimize a program without changing its source, so that it stays readable. On the other hand, transformations are customizable and user-extensible, so they can be written once and reused in many applications. With data-centric parallel programming, we enable direct knowledge transfer of performance optimization, regardless of the application or the target processor.

Ben-Nun, Tal↗

DOE OSTI2023

A Verified Optimizer for Quantum Circuits

We present VOQC, the first verified optimizer for quantum circuits, written using the Coq proof assistant. Quantum circuits are expressed as programs in a simple, low-level language called SQIR, a small quantum intermediate representation, which is deeply embedded in Coq. Optimizations and other transformations are expressed as Coq functions, which are proved correct with respect to a semantics of SQIR programs. SQIR programs denote complex-valued matrices, as is standard in quantum computation, but we treat matrices symbolically to reason about programs that use an arbitrary number of quantum bits. SQIR’s careful design and our provided automation make it possible to write and verify a broad range of optimizations in VOQC, including full-circuit transformations from cutting-edge optimizers.

97 MATHEMATICS AND COMPUTING↗