Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Continuous integration”

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 217 records · Page 12
All sourcesNASA NTRSDOE OSTI
NASA NTRS2004

Formalization of the Integral Calculus in the PVS Theorem Prover

The PVS Theorem prover is a widely used formal verification tool used for the analysis of safety-critical systems. The PVS prover, though fully equipped to support deduction in a very general logic framework, namely higher-order logic, it must nevertheless, be augmented with the definitions and associated theorems for every branch of mathematics and Computer Science that is used in a verification. This is a formidable task, ultimately requiring the contributions of researchers and developers all over the world. This paper reports on the formalization of the integral calculus in the PVS theorem prover. All of the basic definitions and theorems covered in a first course on integral calculus have been completed.The theory and proofs were based on Rosenlicht's classic text on real analysis and follow the traditional epsilon-delta method. The goal of this work was to provide a practical set of PVS theories that could be used for verification of hybrid systems that arise in air traffic management systems and other aerospace applications. All of the basic linearity, integrability, boundedness, and continuity properties of the integral calculus were proved. The work culminated in the proof of the Fundamental Theorem Of Calculus. There is a brief discussion about why mechanically checked proofs are so much longer than standard mathematics textbook proofs.

Butler, Ricky W.↗
DOE OSTI2013

Nanowire-integrated microporous silicon membrane for continuous fluid transport in micro cooling device

We report an efficient passive micro pump system combining the physical properties of nanowires and micropores. This nanowire-integrated microporous silicon membrane was created to feed coolant continuously onto the surface of the wick in a micro cooling device to ensure it remains hydrated and in case of dryout, allow for regeneration of the system. The membrane was fabricated by photoelectrochemical etching to form micropores followed by hydrothermal growth of nanowires. This study shows a promising approach to address thermal management challenges for next generation electronic devices with absence of external power.

77 NANOSCIENCE AND NANOTECHNOLOGY↗
DOE OSTI2023

An integrated data management and informatics framework for continuous drug product manufacturing processes: A case study on two pilot plants

The pharmaceutical industry continuously looks for ways to improve its development and manufacturing efficiency. In recent years, such efforts have been driven by the transition from batch to continuous manufacturing and digitalization in process development. To facilitate this transition, integrated data management and informatics tools need to be developed and implemented within the framework of Industry 4.0 technology. Here, in this regard, the work aims to guide the data integration development of continuous pharmaceutical manufacturing processes under the Industry 4.0 framework, improving digital maturity and enabling the development of digital twins. This paper demonstrates two instances where a data integration framework has been successfully employed in academic continuous pharmaceutical manufacturing pilot plants. Details of the integration structure and information flows are comprehensively showcased. Approaches to mitigate concerns in incorporating complex data streams, including integrating multiple process analytical technology tools and legacy equipment, connecting cloud data and simulation models, and safeguarding cyber-physical security, are discussed. Critical challenges and opportunities for practical considerations are highlighted.

59 BASIC BIOLOGICAL SCIENCES↗
NASA NTRS1992

Squeezed states and path integrals

The continuous-time regularization scheme for defining phase-space path integrals is briefly reviewed as a method to define a quantization procedure that is completely covariant under all smooth canonical coordinate transformations. As an illustration of this method, a limited set of transformations is discussed that have an image in the set of the usual squeezed states. It is noteworthy that even this limited set of transformations offers new possibilities for stationary phase approximations to quantum mechanical propagators.

Daubechies, Ingrid↗
NASA NTRS1974

Skylab experiment integration overview

The complex Skylab experiment integration task entailed extensive technical interfacing and liaison. The integrator provided continuity as the experiment evolved through the major program phases. The phases included experiment proposal, experiment development, module integration testing, operations support planning, integrated systems testing, and mission support and evaluation. Skylab experiment program responsibilities are discussed along with a compatibility analysis, questions of documentation, status reviews, and aspects of design philosphy.

Schrock, S. R.↗
NASA NTRS2022

History and Development of the USAF Agriculture Meteorology Modeling System and resulting USAF-NASA Strategic Partnership

The USAF Weather (AFW) supports a number of military and U.S. government agencies by providing authoritative weather analysis and forecast products for any location globally, including soil moisture analyses. The long history of supporting soil moisture products and partnering with other U.S. government agencies led to the partnering between the U.S. Air Force (USAF) and NASA Goddard Space Flight Center, resulting in a merger of those organizations’ modeling systems, collaborative development of the Land Information System (LIS), and operational fielding of the system within the USAF 557th Weather Wing [557 WW; formerly, Headquarters Air Force Weather Agency (HQ AFWA)]. In 2009, the USAF implemented the NASA LIS and later made it the primary software system to generate global soil hydrology and energy budget products. The implementation of LIS delivered a significant upgrade over the existing Land Data Assimilation System (LDAS) the USAF operated, the Agriculture Meteorology (AGRMET) system. Implementation enabled the rapid integration of new LDAS technology into USAF operations, and led to a long-term NASA–USAF partnership resulting in continued development, integration, and implementation of new LIS capabilities. This paper documents both the history of the USAF Weather organization capabilities enabling the generation of soil moisture and other land surface analysis products, and describes the USAF–NASA partnership leading to the development of the merged LIS-AGRMET system. The article also presents a successful example of a mutually beneficial partnership that has enabled cutting-edge land analysis capabilities at the USAF, while transitioning NASA software and satellite data into USAF operations.

John Eylander↗
DOE OSTI2017

Transformations based on continuous piecewise-affine velocity fields

Here, we propose novel finite-dimensional spaces of well-behaved Rn → Rn transformations. The latter are obtained by (fast and highly-accurate) integration of continuous piecewise-affine velocity fields. The proposed method is simple yet highly expressive, effortlessly handles optional constraints (e.g., volume preservation and/or boundary conditions), and supports convenient modeling choices such as smoothing priors and coarse-to-fine analysis. Importantly, the proposed approach, partly due to its rapid likelihood evaluations and partly due to its other properties, facilitates tractable inference over rich transformation spaces, including using Markov-Chain Monte-Carlo methods. Its applications include, but are not limited to: monotonic regression (more generally, optimization over monotonic functions); modeling cumulative distribution functions or histograms; time-warping; image warping; image registration; real-time diffeomorphic image editing; data augmentation for image classifiers. Our GPU-based code is publicly available.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2011

Validation of a new control system for Elekta accelerators facilitating continuously variable dose rate

Purpose: Elekta accelerators controlled by the current clinically used accelerator control system, Desktop 7.01 (D7), uses binned variable dose rate (BVDR) for volumetric modulated arc therapy (VMAT). The next version of the treatment control system (Integrity) supports continuously variable dose rate (CVDR) as well as BVDR. Using CVDR opposed to BVDR for VMAT has the potential of reducing the treatment time but may lead to lower dosimetric accuracy due to faster moving accelerator parts. Using D7 and a test version of Integrity, differences in ability to control the accelerator, treatment efficiency, and dosimetric accuracy between the two systems were investigated. Methods: Single parameter tests were designed to expose differences in the way the two systems control the movements of the accelerator. In these tests, either the jaws, multi leaf collimators (MLCs), or gantry moved at constant speed while the dose rate was changed in discrete steps. The positional errors of the moving component and dose rate were recorded using the control systems with a sampling frequency of 4 Hz. The clinical applicability of Integrity was tested using 15 clinically used VMAT plans (5 prostate, 5 H and N, and 5 lung) generated by the SmartArc algorithm in PINNACLE. The treatment time was measured from beam-on to beam-off and the accuracy of the dose delivery was assessed by comparing DELTA4 measurements and PINNACLE calculated doses using gamma evaluation. Results: The single parameter tests showed that Integrity had an improved feedback between gantry motion and dose rate at the slight expense of MLC control compared to D7. The single parameter test did not reveal any significant differences in the control of either jaws or backup jaws between the two systems. These differences in gantry and MLC control together with the use of CVDR gives a smoother Integrity VMAT delivery compared to D7 with less abrupt changes in accelerator motion. Gamma evaluation (2% of 2 Gy and 2 mm) of the calculated doses and DELTA4 measured doses corrected for systematic errors showed an average pass rate of more than 97.8% for both D7, Integrity BVDR, and Integrity CVDR deliveries. Direct comparisons between the measured doses using strict gamma criteria of 0.5% and 0.5 mm showed excellent agreement between D7 and Integrity delivered doses with average pass rates above 95.7%. Finally, the Integrity control system resulted in a significant 35% (55 {+-} 13 s) reduction in treatment time, on average. Conclusions: Single parameter tests showed that the two control systems differed in their feedback loops between MLC, gantry, and dose rate. These differences made the VMAT deliveries more smooth using the new Integrity treatment control system, compared to the current Desktop 7.01. Together with the use of CVDR, which results in less abrupt changes in dose rate, this further increases the smoothness of the delivery. The use of CVDR for VMAT with the Integrity desktop results in a significant reduction in treatment time compared to BVDR with an average reduction of 35%. This decrease in delivery time was achieved without compromising the dosimetric accuracy.

07 ISOTOPE AND RADIATION SOURCES↗
DOE OSTI2017

Continuation Power Flow Analysis for PV Integration Studies at Distribution Feeders

This paper presents a method for conducting continuation power flow simulation on high-solar penetration distribution feeders. A load disaggregation method is developed to disaggregate the daily feeder load profiles collected in substations down to each load node, where the electricity consumption of residential houses and commercial buildings are modeled using actual data collected from single family houses and commercial buildings. This allows the modeling of power flow and voltage profile along a distribution feeder on a continuing fashion for a 24- hour period at minute-by-minute resolution. By separating the feeder into load zones based on the distance between the load node and the feeder head, we studied the impact of PV penetration on distribution grid operation in different seasons and under different weather conditions for different PV placements.

AC Chronological Power Flow↗
DOE OSTI2020

Deep reinforcement learning for complex evaluation of one-loop diagrams in quantum field theory

In this paper we present a technique based on deep reinforcement learning that allows for numerical analytic continuation of integrals that are often encountered in one-loop diagrams in quantum field theory. To extract certain quantities of two-point functions, such as spectral densities, mass poles or multiparticle thresholds, it is necessary to perform an analytic continuation of the correlator in question. At one-loop level in Euclidean space, this results in the necessity to deform the integration contour of the loop integral in the complex plane of the square of the loop momentum, to avoid nonanalyticities in the integration plane. Using a toy model for which an exact solution is known, we train a reinforcement learning agent to perform the required contour deformations. We report our study shows great promise for an agent to be deployed in iterative numerical approaches used to compute nonperturbative two-point functions, such as the quark propagator Dyson-Schwinger equation, or more generally, Fredholm equations of the second kind, in the complex domain.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
NASA NTRS2004

The Hard X-Ray and Coordinated Multifrequency Properties of the Blazar 3C279

Upon our successful AO-1 proposal no. 120085, the quasar 3C 279 has been observed in a coordinated multiwavelength campaign, including INTEGRAL, Chandra, and ground-based radio, near-infrared, and optical observations in June 2003. INTEGRAL observed 3C279 continuously for 300 ksec in INTEGRAL AO-1 between June 1 and June 5,2003. In addition, a Chandra pointing of 5 ksec was done on June 2, the Metsiihovi radio telescope contributed high-frequency radio observations, the SEST observed the source at mm wavelengths, and the 80 cm Turola telescope at La Palma and the 2.3 m telescope at Siding Springs, Australia contributed optical observations.

Collmar, W.↗
NASA NTRS2007

Thermoelectric Devices Advance Thermal Management

Thermoelectric (TE) devices heat, cool, and generate electricity when a temperature differential is provided between the two module faces. In cooperation with NASA, Chico, California-based United States Thermoelectric Consortium Inc. (USTC) built a gas emissions analyzer (GEA) for combustion research. The GEA precipitated hydrocarbon particles, preventing contamination that would hinder precise rocket fuel analysis. The USTC research and design team uses patent-pending dimple, pin-fin, microchannel and microjet structures to develop and design heat dissipation devices on the mini-scale level, which not only guarantee high performance of products, but also scale device size from 1 centimeter to 10 centimeters. USTC continues to integrate the benefits of TE devices in its current line of thermal management solutions and has found the accessibility of NASA technical research to be a valuable, sustainable resource that has continued to positively influence its product design and manufacturing

Source record↗
DOE OSTI2024

One-shot omnidirectional pressure integration through matrix inversion

In this work, we present a method to perform 2D and 3D omnidirectional pressure integration from velocity measurements with a single-iteration matrix inversion approach. This work builds upon our previous work, where the rotating parallel ray approach was extended to the limit of infinite rays by taking continuous projection integrals of the ray paths and recasting the problem as an iterative matrix inversion problem. This iterative matrix equation is now 'fast-forwarded' to the 'infinity' iteration, leading to a different matrix equation that can be solved in a single step, thereby presenting the same computational complexity as the Poisson equation. We observe computational speedups of ~10 6 when compared to brute-force omnidirectional integration methods, enabling the treatment of grids of ~10 9 points and potentially even larger in a desktop setup at the time of publication. Further examination of the boundary conditions of our one-shot method shows that omnidirectional pressure integration implements a boundary condition where the boundary points are treated as interior points to the extent that information is available. Finally, we show how the method can be extended from the regular grids typical of particle image velocimetry to the unstructured meshes characteristic of particle tracking velocimetry data.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2024

pnnl-predictive-phenomics/csc052-gem

Genome-Scale Metabolic Model Continuous Validation with Memote for CarbStor Community Member Bacillus These repositories contain the continuous validation environment for an organism-specific genome-scale metabolic model (GEM) using Memote. Memote is a software tool that provides a suite of tests to ensure the quality and consistency of metabolic models. By integrating Memote into a continuous integration (CI) workflow, we can automatically validate updates to the GEM, ensuring that model modifications improve or maintain the model's integrity.

Torres, Victor E.↗
DOE OSTI2024

pnnl-predictive-phenomics/csc031-gem

Genome-Scale Metabolic Model of CarbStor Community member Microbacterium (csc031) Continuous Validation with Memote These repositories contain the continuous validation environment for an organism-specific genome-scale metabolic model (GEM) using Memote. Memote is a software tool that provides a suite of tests to ensure the quality and consistency of metabolic models. By integrating Memote into a continuous integration (CI) workflow, we can automatically validate updates to the GEM, ensuring that model modifications improve or maintain the model's integrity

McNaughton, Andrew [@PNNL]↗
DOE OSTI2024

pnnl-predictive-phenomics/csc009-gem

Genome-Scale Metabolic Model of CarbStore Community member Curtobacterium (csc009) Continuous Validation with Memote These repositories contain the continuous validation environment for an organism-specific genome-scale metabolic model (GEM) using Memote. Memote is a software tool that provides a suite of tests to ensure the quality and consistency of metabolic models. By integrating Memote into a continuous integration (CI) workflow, we can automatically validate updates to the GEM, ensuring that model modifications improve or maintain the model's integrity

Lin, Tesia↗
DOE OSTI2024

pnnl-predictive-phenomics/csc040-gem

Genome-Scale Metabolic Model Continuous Validation with Memote for CarbStor Community Member Rhodococcus These repositories contain the continuous validation environment for an organism-specific genome-scale metabolic model (GEM) using Memote. Memote is a software tool that provides a suite of tests to ensure the quality and consistency of metabolic models. By integrating Memote into a continuous integration (CI) workflow, we can automatically validate updates to the GEM, ensuring that model modifications improve or maintain the model's integrity.

McNaughton, Andrew [@PNNL]↗