Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “program verification”

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 1,315 records · Page 73

Systems, methods and apparatus for generation and verification of policies in autonomic computing systems

Described herein is a method that produces fully (mathematically) tractable development of policies for autonomic systems from requirements through to code generation. This method is illustrated through an example showing how user formulated policies can be translated into a formal mode which can then be converted to code. The requirements-based programming method described provides faster, higher quality development and maintenance of autonomic systems based on user formulation of policies.Further, the systems, methods and apparatus described herein provide a way of analyzing policies for autonomic systems and facilities the generation of provably correct implementations automatically, which in turn provides reduced development time, reduced testing requirements, guarantees of correctness of the implementation with respect to the policies specified at the outset, and provides a higher degree of confidence that the policies are both complete and reasonable. The ability to specify the policy for the management of a system and then automatically generate an equivalent implementation greatly improves the quality of software, the survivability of future missions, in particular when the system will operate untended in very remote environments, and greatly reduces development lead times and costs.

Hinchey, Michael G.↗

Progress in the Verification and Validation Efforts for START: A Spent Fuel Routing Tool

The U.S. Department of Energy’s (DOE) Office of Nuclear Energy (DOE-NE) is planning for an integrated waste management approach to transport, store, and dispose of spent nuclear fuel (SNF) and other high-level radioactive waste (HLW) as part of the Integrated Waste Management (IWM) program [1]. In support of this effort, the Stakeholder Tool for Assessing Radioactive Transportation (START) is being developed within the IWM program [2, 3]. This is a web-based decision support tool that can be used to analyze geospatial data related to the transportation of SNF and HLW. START is designed as a web-based application using an ArcGIS server through which the user can select the origin and destination of the route [4]. This is followed by selection of the mode of transportation of choice based on user preference. Some of the modes available to the user include rail, heavy haul truck, and barge. The option of utilizing more than one mode of transportation (intermodal transportation) is also implemented in START. A few examples of intermodal transportation include barge to rail, and heavy haul truck to rail. It must be noted that some routes might not have access to all modes of transportation, depending on the infrastructure availability at the origin and destination sites. Users can also select any stops or barriers they would like to introduce in the routes. This is followed by selection of the routing criteria of interest. Three primary routing options available to the user include minimum population, minimum distance, and minimum time. Apart from that, a few other options include accounting for a weighted average of the three aforementioned routing options. The next step involves the selection of the buffer distance of interest which includes the two choices available of 800 m and 2500 m, respectively. Finally, an option to select any prohibited rail carriers that the user does not wish to use is available. After making these selections, a route is ready to be created.

Gadey, Harish Reddy↗

A Scalable Analysis Toolkit

The Scalable Analysis Toolkit (SAT) project aimed to demonstrate that it is feasible and useful to statically detect software bugs in very large systems. The technical focus of the project was on a relatively new class of constraint-based techniques for analysis software, where the desired facts about programs (e.g., the presence of a particular bug) are phrased as constraint problems to be solved. At the beginning of this project, the most successful forms of formal software analysis were limited forms of automatic theorem proving (as exemplified by the analyses used in language type systems and optimizing compilers), semi-automatic theorem proving for full verification, and model checking. With a few notable exceptions these approaches had not been demonstrated to scale to software systems of even 50,000 lines of code. Realistic approaches to large-scale software analysis cannot hope to make every conceivable formal method scale. Thus, the SAT approach is to mix different methods in one application by using coarse and fast but still adequate methods at the largest scales, and reserving the use of more precise but also more expensive methods at smaller scales for critical aspects (that is, aspects critical to the analysis problem under consideration) of a software system. The principled method proposed for combining a heterogeneous collection of formal systems with different scalability characteristics is mixed constraints. This idea had been used previously in small-scale applications with encouraging results: using mostly coarse methods and narrowly targeted precise methods, useful information (meaning the discovery of bugs in real programs) was obtained with excellent scalability.

Aiken, Alexander↗

Reported Energy and Cost Savings from the DOE ESPC IDIQ Program: FY 2024

Energy Savings Performance Contracts (ESPCs)are a contractual mechanism that allow a federal agency to procure energy savings and facility improvements without upfront capital costs to reduce costs and resiliency. ESPCs are covered under FAR Part 23.2, and 42 USC § 8287. Section 8287(a)(2)(A) of Title 42 of the U.S. Code requires that each energy savings performance contract (ESPC) undergo an annual energy audit, resulting in a separate audit report for every project. The objective of the present report is to compile and analyze all annual ESPC audit reports issued between October 1, 2023, and September 30, 2024, for projects awarded under Generations 1, 2, and 3 of DOE’s ESPC IDIQ contracts. During this period, 205 measurement and verification (M&V) reports were produced for 200 projects; the total number of reports exceeds the number of projects because some projects generated more than one report(for example, a few projects measure savings twice per year and produce two audit reports annually, each covering a different six-month period). By aggregating the results from these individual audits, the report determines the portfolio-wide realization rate of energy and cost savings for all active ESPC projects awarded under DOE’s IDIQ program. For all 205audit reports, sufficient information was available to compare project-level estimated, reported, and guaranteed cost savings. Reported cost savings accounted for ESCO verified savings per each project’s M&V plan. The total reported cost savings for the period addressed were $\$$647.8million,compared with the total guaranteed cost savings of $\$$601.6million. On average across the reported projects: •ESPC contractors guaranteed 92.8% of the estimated cost savings• projects reported achieving 100.0% of the estimated cost savings• projects reported achieving 107.7% of the guaranteed cost savings. The M&V performed for the period indicated adjustments for government operations and maintenance impacts to savings amount to$\$$43.9millionandcould be restored with the original operational parameters for impacted projects. Accounting for this potential cost savings impact, these projects still realized 100.4% of the guaranteed cost savings. The information on estimated and reported energy savings was collected and compared for all 205of the reports examined. Based on site energy, estimated savings totaled 14.88million MMBtu, and reported savings were 15.33million MMBtu; 3.1% greater than the estimated energy savings. All of the reports examined contained sufficient information to calculate source energy savings. Based on site-adjusted source energy, total estimated energy savings were 20.90 million MMBtu, and reported savings were 21.22million MMBtu, 101.5% of the estimated energy savings. For water savings, the estimated savings were 11,539,055 kGal and the reported savings were 13,315,930 kGal. This means 1,776,875 kGal more water was saved than estimated, which is about 15% higher than the estimate. These results indicate that, overall, the reported energy savings slightly exceeded the estimated values, while estimated water savings significantly exceeded estimated values, suggesting that the projects achieved greater cost savings than originally projected. The total annual expense for the ESCOs to perform annual M&V audits and reporting was $\$$10.02million. Through this effort, $\$$647.8 million in annual cost savings was verified. The M&V results indicated that $\$$43.9 million of these verified savings reflected adjustments due to government operations A-6and maintenance impacts, which could be restored under the original operational parameters for the affected projects. These findings show the value of M&V that only costs 1.7%of the guaranteed cost savings to ensure guarantees are met.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗

Gateway Program Development Progress

This paper provides an overview and status of Gateway, humanity’s first space station to orbit the Moon providing vital support for a sustained, long-term human return to the lunar surface and a steppingstone to Mars as part of the Artemis missions. As a lunar outpost, Gateway is a destination for deep space crew expeditions and science investigations, a port for deep space transportation, including landers transiting to the lunar surface or spacecraft embarking to deep space destinations beyond the Earth-Moon system. The National Aeronautics and Space Administration (NASA) leads the Program and is the integrator of the spaceflight capabilities and contributions of U.S. commercial partners and international partners to develop Gateway. This paper will provide an overview of Gateway’s major components in various stages of development. The entire Gateway spacecraft is at preliminary design level of maturity, with some components at or near critical design review. Gateway’s major components are the Power and Propulsion Element; the Habitation and Logistics Outpost; Deep Space Logistics; the International Habitation module; Gateway External Robotics System; European System Providing Refueling, Infrastructure and Telecommunications; and an Airlock. This paper will also provide an update on the status of the integration activities necessary to fly and operate this complex, next-generation integrated spacecraft for a minimum 15 year design life, including systems engineering integrated analysis cycles, the autonomous Vehicle System Manager software, verification and validation labs, and common vehicle equipment. Expanding on the successful partnership that has provided over 20 years of continuous crew operations in low-Earth orbit on the International Space Station, Gateway is an evolution of this extraordinary partnership leveraging the capabilities of each contributor to expand humankind’s sustained exploration deeper into the cosmos. Highlighting the international program with participation from multiple space agencies, this paper will also provide a status of Gateway multilateral governance structure and international agreements.

Sean M Fuller↗

Gateway Program Development Progress

This paper provides an overview and status of Gateway, humanity’s first space station to orbit the Moon providing vital support for a sustained, long-term human return to the lunar surface and a steppingstone to Mars as part of the Artemis missions. As a lunar outpost, Gateway is a destination for deep space crew expeditions and science investigations, a port for deep space transportation, including landers transiting to the lunar surface or spacecraft embarking to deep space destinations beyond the Earth-Moon system. The National Aeronautics and Space Administration (NASA) leads the Program and is the integrator of the spaceflight capabilities and contributions of U.S. commercial partners and international partners to develop Gateway. This paper will provide an overview of Gateway’s major components in various stages of development. The entire Gateway spacecraft is at preliminary design level of maturity, with some components at or near critical design review. Gateway’s major components are the Power and Propulsion Element; the Habitation and Logistics Outpost; Deep Space Logistics; the International Habitation module; Gateway External Robotics System; European System Providing Refueling, Infrastructure and Telecommunications; and an Airlock. This paper will also provide an update on the status of the integration activities necessary to fly and operate this complex, next-generation integrated spacecraft for a minimum 15-year design life, including systems engineering integrated analysis cycles, the autonomous Vehicle System Manager software, verification and validation labs, and common vehicle equipment. Expanding on the successful partnership that has provided over 20 years of continuous crew operations in low-Earth orbit on the International Space Station, Gateway is an evolution of this extraordinary partnership leveraging the capabilities of each contributor to expand humankind’s sustained exploration deeper into the cosmos. Highlighting the international program with participation from multiple space agencies, this paper will also provide a status of Gateway multilateral governance structure and international agreements.

Gateway↗

Office of Nuclear Verification FY 2023 Quarterly Report TSVT Q1

This project encompasses the continued development and training of a U.S. operational team, the Test Site Verification Team (TSVT), supporting verification of nuclear testing activities. TSVT builds on decades of U.S. nuclear testing history and nuclear explosion monitoring experience. The Team maintains readiness to deploy internationally on short notice to provide field-based support of verification of declared or undeclared nuclear testing and associated activities, as well as follow-on activities including monitoring and capability disablement and dismantlement, as established by negotiated agreement or treaty. The roles and structure of the TSVT are integrated with other NA-243 deployable verification teams and the interagency. FY23 TSVT activities focus on continued capability buildup within the team, including Team trainings and exercises with a focus on missions in confined spaces (e.g., tunnels, mines, other underground facilities), increased familiarity with foreign nuclear weapons testing programs, demonstration of Team capacity to deploy, train, and practice sustained OPSEC in non-western locations, establishment of sustainable storage and maintenance of equipment, specification and procurement of additional equipment to support field observations, further evolution of concepts of operation documents (CONOPs), and mission coordination with Headquarters and associated Stakeholders. Activities will culminate with a full-scale domestic team exercise at the end of FY23 focusing on underground activities signatures/observations and safety including advanced outdoor safety and familiarity in working around explosive test environments. In addition, we will be further articulating approaches and capacity relevant to the identification of nuclear tests, as well as monitoring of nuclear testing activities and/or dismantlement of nuclear test sites and anticipate developing additional equipment requests in support of this evolution. The TSVT Team Leads will also coordinate with its Senior Advisor, the TSVT Logistics and Readiness (L&R) Training Lead, and NNSA Headquarters to draft a five-year TSVT training and exercise plan, that strategically and incrementally builds capacity and expertise in key areas of significance for the continuum of nuclear and nuclear-related testing activities that fall within the team’s mission space.

42 ENGINEERING↗

Digital Twin + AI: Control Room of the Future [Slides]

The control room functions as the central brain of the grid, essential for balancing supply and demand and ensuring moment-to-moment grid reliability. Like the human brain, which processes sensory data to make decisions, control room operators analyze operational data from power generation, transmission, and distribution to make informed decisions. Currently, decision-making primarily rests with operators due to hardware and software limitations. However, with technological advancements, Digital Twins and AI are becoming high interest points in the control room's decision-making pilot programs. NREL is developing a comprehensive decision-making platform that integrates Digital Twins, AI, and advanced visualization techniques. As this integration progresses, the role of Digital Twins will evolve from conducting automated simulations to serving as a Trustworthy AI enabler, offering verification and validation of AI-generated response for power systems or providing physics-aware synthetic data of AI pre-training.

24 POWER TRANSMISSION AND DISTRIBUTION↗

Combination of an electrolytic pretreatment unit with secondary water reclamation processes

The design and fabrication of a flight concept prototype electrolytic pretreatment unit (EPU) and of a contractor-furnished air evaporation unit (AEU) are described. The integrated EPU and AEU potable water recovery system is referred to as the Electrovap and is capable of processing the urine and flush water of a six-man crew. Results of a five-day performance verification test of the Electrovap system are presented and plans are included for the extended testing of the Electrovap to produce data applicable to the combination of electrolytic pretreatment with most final potable water recovery systems. Plans are also presented for a program to define the design requirements for combining the electrolytic pretreatment unit with a reverse osmosis final processing unit.

Wells, G. W.↗

Aero-acoustic experimental verification of optimum configuration of variable-pitch fans for 40 x 80 foot subsonic wind tunnel

The aerodynamic and acoustic performance of two drive fan configurations (low-speed and high-speed variable pitch design) for a 40 x 80 foot wind tunnel were monitored. A 1/7-scale model was utilized. The necessary aero-acoustic data reduction computer program logic was supplied. Test results were evaluated, and the optimum configuration to be employed in the 40 foot full scale fan was recommended.

Lown, H.↗

Transistor step stress program for JANTX2N2945A

Data compiled for the purpose of evaluating the effect of power/temperature step stress when applied to the transistor JANTX2N2945A manufactured by Raytheon and Teledyne is presented. A total of 48 samples from each manufacturer was divided equally (16 per group) into three groups and submitted to the processes outlined. In addition, two control units were maintained for verification of the electrical parametric testing.

Source record↗

Analysis and test for space shuttle propellant dynamics

This report presents the results of a study to develop an analytical model capable of predicting the dynamic interaction forces on the Shuttle External Tank, due to large amplitude propellant slosh during RTLS separation. The report details low-g drop tower and KC-135 test programs that were conducted to investigate propellant reorientation during RTLS. In addition, the development of a nonlinear finite element slosh model (LAMPS2, two dimensional, and one LAMPS3, three dimensional) is presented. Correlation between the model and test data is presented as a verification of the modeling approach.

Berry, R. L.↗

Conceptual design of a Moving Belt Radiator (MBR) shuttle-attached experiment

The conceptual design of a shuttle-attached Moving Belt Radiator (MBR) experiment is presented. The MBR is an advanced radiator concept in which a rotating belt is used to radiate thermal energy to space. The experiment is developed with the primary focus being the verification of the dynamic characteristics of a rotating belt with a secondary objective of proving the thermal and sealing aspects in a reduced gravity, vacuum environment. The mechanical design, selection of the belt material and working fluid, a preliminary test plan, and program plan are presented. The strategy used for selecting the basic sizes and materials of the components are discussed. Shuttle and crew member requirements are presented with some options for increasing or decreasing the demands on the STS. An STS carrier and the criteria used in the selection process are presented. The proposed carrier for the Moving Belt Radiator experiment is the Hitchhiker-M. Safety issues are also listed with possible results. This experiment is designed so that a belt can be deployed, run at steady state conditions, run with dynamic perturbations imposed, verify the operation of the interface heat exchanger and seals, and finally be retracted into a stowed position for transport back to earth.

Aguilar, Jerry L.↗

Research and development for Onboard Navigation (ONAV) ground based expert/trainer system: Preliminary test plan

The test plan for the onboard navigation (ONAV) expert system is described. Levels of testing are identified and the contributing role of each level for ensuring reliability is described. Also, the objectives of each type of test are identified and a summary of the test methods and the type of testing environment to be used is included. The ONAV expert system testing effort utilizes a multi-level verification approach. Five levels of testing are performed in essentially a serial manner: (1) individual rules, (2) ordered and unordered functional groups, (3) interface rules, (4) system tests, and (5) user tests. The intent is to catch the full range of both programming errors common to traditional programming and those errors characteristic of expert systems including factbase organization and inference engine interactions.

Bochsler, Daniel C.↗

Overview of the SP-100 Program

Technical progress made by the SP-100 Program over the past five years is reviewed. The following advances are discussed: (1) development of the fuel pin which is the thermal power producing component in the system; (2) development of the conductively coupled multi-couple thermoelectric cell components; (3) verification of the predicted structural and electrical performance of the thermoelectric cells; (4) development of fabricating and welding niobium alloy, NblZr and NblZr.1C to verify the containment of lithium in space vacuum with no leakage, (5) the containment of nitrogen in the fuel with accurate stoichiometric control and bonded rhenium liners, (6) system mass reduction of 15 percent; and (7) the development of high-temperature, low-cost, low-mass heat pipes for heat rejection to space.

Mondt, Jack F.↗

EOS-AM precision pointing verification

The Earth Observing System (EOS) AM mission requires tight pointing knowledge to meet scientific objectives, in a spacecraft with low frequency flexible appendage modes. As the spacecraft controller reacts to various disturbance sources and as the inherent appendage modes are excited by this control action, verification of precision pointing knowledge becomes particularly challenging for the EOS-AM mission. As presently conceived, this verification includes a complementary set of multi-disciplinary analyses, hardware tests and real-time computer in the loop simulations, followed by collection and analysis of hardware test and flight data and supported by a comprehensive data base repository for validated program values.

Throckmorton, A.↗

Aerodynamic Investigation with focusing schlieren in a cryogenic wind tunnel

A flow visualization study was performed using a focusing schlieren system in the 0.3m Transonic Cryogenic Tunnel at NASA Langley Research Center. The system proved to be a useful flow visualization tool for flows as low as M = 0.4. This study marked the first verification of the focusing schlieren technique in a major subsonic/transonic wind tunnel and the first time that high-quality, detailed pictures of high-Reynolds-numbers flows were obtained in a cryogenic wind tunnel. This test was part of a development program to implement instrumentation techniques in cryogenic wind tunnels, with the ultimate aim to use them in the National Transonic Facility (NTF).

Gartenberg, Ehud↗