Search NASA⌕ Search

SEARCH · Search NASA

Results for “programming tools”

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,549 records · Page 86
All sourcesNASA NTRSDOE OSTI
DOE OSTI2024

Performance Evaluation of District Energy Microgrids Planning Tool for Non-Technical Users

Community Microgrids are increasingly gaining popularity worldwide for their efficiency, cost-effectiveness, and local resilience improvement. Microgrid planning tools play a crucial role in their deployment. In the process, tentative designs of the microgrid are simulated, analyzed, and optimized. Due to the complexity of the problem, planning tools must carefully balance computational efficiency while seeking the most optimal solutions. This paper investigates the impact of algorithm selection on CPU and memory utilization of a Community Microgrid planning tool that is specifically designed for non-technical users. We compare two version of the code with two alternatives for Community Microgrid planning tools: a Greedy Algorithm, and a Linear Programming Approach. This comparison examines scenarios spanning from 2 to 50 buildings. Our findings revealed a significant difference in performance between the two algorithms, underscoring the critical role of algorithm selection in optimizing the efficiency of Community Microgrid Planning Tools.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
NASA NTRS1974

Neighboring optimal guidance theory and computer program

Developments of the linear quadratic optimal control problem are discussed. The theory is applicable to the development of neighboring optimal feedback guidance gains, and is useful as a tool for synthesizing feedback control laws. A computer program which requires only the pertinent matrices of the linear quadratic problem is described.

Powers, W. F.↗
NASA NTRS1998

How Human Factors Drove the Design and Implementation of the Virtual Windtunnel

This viewgraph presentation describes decisions made at the NASA Ames Research Center during its development of a virtual windtunnel to assist humans in visualizing computational fluid dynamics simulations. User requirements for the system include the simulation of vortical structure, pressure distribution, and overall sense of flow. In addition, the system needs to support a variety of interfaces, excluding head mounts, and needs to use an object oriented approach. Direct manipulation of the system is most user-friendly when limited to only grab and point gestures. 'Visualization control tools' (vtools) improve the realism of the system. The necessary object oriented programming is in C++ and openGL. Users interact with objects called 'tools', which include vtools and tools which control the virtual wind tunnel environment. Other objects include data objects accessed by the visualizations. Visualizations can be added to the system by the user. The presentation includes a discussion of run-time architecture, and issues related to computation and implementation.

Bryson, Steve↗
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 OSTI2020

Program Verification for Extreme-Scale Applications (Final Scientific/Technical Report)

The project seeks to develop tools and techniques to help software developers verify the correctness and accuracy of their code. The target domain is scientific software of the kind widely used and developed in the Department of Energy research community, with a particular focus on "extreme scale" programs - those that are expected to involve possibly millions of parallel threads of execution. The report covers the University of Delaware contribution to the collaborative project. The project had a number of successful outcomes, especially regarding the development and extension of the CIVL software verification framework. CIVL is a verification tool for C or Fortran programs that use MPI, OpenMP, CUDA, and/or Pthreads for parallelization. CIVL went through vast improvements and extensions, and was successfully applied to a number of challenging codes. It found a subtle bug in the Devito PDE framework. It was able to verify the functional correctness of a conjugate gradient solver using a novel probabilistic technique with vanishingly small chance of error. CIVL was used very successfully in verification competitions, and the CIVL solutions to the competition challenges were presented and published. CIVL was also used successfully by other researchers on a computational chemistry kernel.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2013

R and D Programs and Policy within the CEA-AREVA Joint Vitrification Lab (LCV) - 13592

Waste management is a key issue for the reprocessing industry; furthermore, vitrification is considered as the reference for nuclear waste management. In order to further improve and strengthen their historical cooperation in high temperature waste management, the CEA, R and D organization, and AREVA, Industrial Operator, decided, in September 2010, to create a Joint Vitrification Laboratory within the framework of a strategic partnership. The main objectives of the CEA-AREVA Joint Vitrification Laboratory (LCV) are (i) support AREVA's activities, notably in its La Hague plants and for new projects, (ii) strengthen the CEA's lead as a reference laboratory in the field of waste conditioning. The LCV is mandated to provide strong, innovative solutions through the performance of R and D on processes and materials for vitrification, fusion and incineration, for high, intermediate and low level waste. The activities carried out in the LCV include academic research on containment matrices (formulation, long-term behaviour), and the improvement of current technologies/development of new ones in lab-scale to full-scale pilot facilities, in non-radioactive and radioactive conditions, including modelling and experimental tools. This paper focuses on the programs and policy managed within the LCV, as well as the means employed by the CEA and AREVA to meet common short-,mid- and long-term challenges, from a scientific and industrial point of view. Among other things, we discuss the technical support provided for the La Hague vitrification facilities on hot melter and CCIM technologies, the start-up of new processes (decommissioning effluents, UMo FP) with CCIM, the preparation of future processes by means of an assessment of new technologies and containment matrices (improved glasses, ceramics, etc.), as well as incineration/vitrification for organic and metallic mixed waste or metallic fusion. The close relationship between the R and D teams and industrial operators enables the LCV to propose attractive waste management solutions, with appropriate schedules and optimized development costs, making allowance for R and D constraints, engineering requirements and the industrial environment. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗
NASA NTRSDate not supplied

An Orbit Determination Comparison Study and Demonstration for Rendezvous and Docking in a Near Rectilinear Halo Orbit from the Lunar Surface

For the upcoming NASA Artemis III mission and those that follow, both the Human Landing System (HLS) and Orion programs are invested in understanding the impacts of ground tracking performance in supporting rendezvous and docking in a Near Rectilinear Halo Orbit (NRHO). Several critical questions must be answered to ensure mission success and crew safety and an assortment of analysis tools are being incorporated to address them. Two of these tools, LINCOV and MONTE, are currently providing program decision making results through HLS Insight, HLS NASA-collaborations, and Orion/Gateway cross-program analysis. To ensure consistency in the orbit determination performance, a comparison trade-study is performed using a low-lunar orbit to NRHO rendezvous scenario anticipated for the upcoming Artemis missions. An overview of the two analysis tools is provided along with a detailed step-by-step evaluation of the core capabilities and models related to the orbit determination process. This incremental comparison effort reveals both tools produce consistent solutions for the criteria investigated. Given the confidence in the orbit determination process and solutions generated, these results are then applied to demonstrate an integrated, closed-loop system performance where the HLS lander ascends from the lunar surface and successfully inserts into the NRHO relative to the Orion spacecraft in preparation for the final rendezvous and docking phase.

Linear Covariance Analysis↗
NASA NTRSDate not supplied

An Orbit Determination Comparison Study and Demonstration for Rendezvous and Docking in a Near Rectilinear Halo Orbit from the Lunar Surface

For the upcoming NASA Artemis III mission and those that follow, both the Human Landing System (HLS) and Orion programs are invested in understanding the impacts of ground tracking performance in supporting rendezvous and docking in a Near Rectilinear Halo Orbit (NRHO). Several critical questions must be answered to ensure mission success and crew safety and an assortment of analysis tools are being incorporated to address them. Two of these tools, LINCOV and MONTE, are currently providing program decision making results through HLS Insight, HLS NASA-collaborations, and Orion/Gateway cross-program analysis. To ensure consistency in the orbit determination performance, a comparison trade-study is performed using a low-lunar orbit to NRHO rendezvous scenario anticipated for the upcoming Artemis missions. An overview of the two analysis tools is provided along with a detailed step-by-step evaluation of the core capabilities and models related to the orbit determination process. This incremental comparison effort reveals both tools produce consistent solutions for the criteria investigated to within 0.3\% difference in the absolute position state estimate at key decision making epochs with all errors sources activated.

orbit determination↗
DOE OSTI2013

SOWFA + Super Controller User's Manual

SOWFA + Super Controller is a modification of the NREL's SOWFA tool which allows for a user to apply multiturbine or centralized wind plant control algorithms within the high-fidelity SOWFA simulation environment. The tool is currently a branch of the main SOWFA program, but will one day will be merged into a single version. This manual introduces the tool and provides examples such that a user can implement their own super controller and set up and run simulations. The manual only discusses enough about SOWFA itself to allow for the customization of controllers and running of simulations, and details of SOWFA itself are reported elsewhere Churchfield and Lee (2013); Churchfield et al. (2012). SOWFA + Super Controller, and this manual, are in alpha mode.

17 WIND ENERGY↗
DOE OSTI2021

Practices for Demonstrating Energy Savings from Commercial PACE Projects

Nearly three-fourths of U.S. states have authorized local governments to use voluntary special assessments on commercial properties to finance energy improvements that boost economic development, create jobs, increase property values and advance energy goals. Commercial Property Assessed Clean Energy (C-PACE) financing allows building owners to repay the borrowed capital — from private or public sources — over time using their property as security. Berkeley Lab is supporting the Department of Energy’s Commercial PACE Working Group by developing a series of C-PACE issue briefs. The second brief in this series, Practices for Demonstrating Energy Savings from Commercial PACE Projects, looks at common practices for demonstrating energy savings to support state and local governments that sponsor C-PACE programs and want to track their energy impacts. This brief reviews: -The value proposition and trade-offs of conducting energy impact assessments for C-PACE programs; -Methods to quantify energy savings impacts from energy efficiency building improvements; and -Available resources and tools to support energy impact assessments. C-PACE programs may benefit from energy impact assessments for many reasons, including: -Validating the public benefits of the programs -Demonstrating that C-PACE can deliver participant benefits -Illustrating program impacts on public policy goals -Generating data to help improve program performance Many C-PACE programs are collecting data on project energy savings impacts, and these data can be leveraged to further support decision making and program implementation. Potential drawbacks to energy impact assessments may include added cost and burdens on property owners (e.g., the need to collect building energy consumption data). Where these burdens are considerable, they might slow program uptake. State and local governments can balance the benefits of energy impact assessments with the range of costs and accuracy inherent to available assessment methodologies. Additionally, depending on the policy context in the state or local government, a C-PACE program may be able to leverage existing efforts (e.g., building energy benchmarking programs) to reduce impact assessment costs, align with building owner practices and expectations, and efficiently assess program impact.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗
NASA NTRS1980

Computing time- and frequency-domain analysis

Computer program Spectrum Analysis is developed to perform wide range statistical-estimation functions. It is rigorous tool for time-and frequency-domain studies. Program is written in FORTRAN IV.

Brownlow, J. D.↗
NASA NTRS1989

Classic-Ada(TM)

The SPS product, Classic-Ada, is a software tool that supports object-oriented Ada programming with powerful inheritance and dynamic binding. Object Oriented Design (OOD) is an easy, natural development paradigm, but it is not supported by Ada. Following the DOD Ada mandate, SPS developed Classic-Ada to provide a tool which supports OOD and implements code in Ada. It consists of a design language, a code generator and a toolset. As a design language, Classic-Ada supports the object-oriented principles of information hiding, data abstraction, dynamic binding, and inheritance. It also supports natural reuse and incremental development through inheritance, code factoring, and Ada, Classic-Ada, dynamic binding and static binding in the same program. Only nine new constructs were added to Ada to provide object-oriented design capabilities. The Classic-Ada code generator translates user application code into fully compliant, ready-to-run, standard Ada. The Classic-Ada toolset is fully supported by SPS and consists of an object generator, a builder, a dictionary manager, and a reporter. Demonstrations of Classic-Ada and the Classic-Ada Browser were given at the workshop.

Valley, Lois↗
NASA NTRS1991

Digital optical computers at the optoelectronic computing systems center

The Digital Optical Computing Program within the National Science Foundation Engineering Research Center for Opto-electronic Computing Systems has as its specific goal research on optical computing architectures suitable for use at the highest possible speeds. The program can be targeted toward exploiting the time domain because other programs in the Center are pursuing research on parallel optical systems, exploiting optical interconnection and optical devices and materials. Using a general purpose computing architecture as the focus, we are developing design techniques, tools and architecture for operation at the speed of light limit. Experimental work is being done with the somewhat low speed components currently available but with architectures which will scale up in speed as faster devices are developed. The design algorithms and tools developed for a general purpose, stored program computer are being applied to other systems such as optimally controlled optical communication networks.

Jordan, Harry F.↗
NASA NTRSDate not supplied

Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif

Verification of Programmable Logic Controller (PLC) programs requires reasoning about propositions qualified in terms of time. CERN’s PLCverif, an open-source tool for the analysis of safety-critical PLC systems, uses Linear Temporal Logic (LTL) for the specification of properties. Until now, PLCverif depended on third-party tools that accept LTL specifications to perform verification. However, our experience with industrial PLC programs shows that, to overcome analysis limitations, a wide range of techniques are needed to successfully verify complex properties. In this paper, we extend PLCverif to enable PLC program verification of pure-past LTL (PLTL) safety properties with assertion-based verification tools. To this end, we take an algorithm from the runtime-monitoring domain, apply it to bounded model checking of PLC programs, and implement it in PLCverif. We extend the integration of NASA’s Formal Requirements Elicitation Tool (FRET) into PLCverif to use PLTL properties generated with FRET. In addition, we leverage the program structure induced by the PLC scan-cycle for a state-space reduction. Finally, we expose the algorithm to a real-world case study of critical systems at CERN.

Formal verification↗
NASA NTRS2014

Procedure-Authoring Tool Improves Safety on Oil Rigs

Dark, cold, and dangerous environments are plentiful in space and on Earth. To ensure safe operations in difficult surroundings, NASA relies heavily on procedures written well ahead of time. Houston-based TRACLabs Inc. worked with Ames Research Center through the SBIR program to create an electronic procedure authoring tool, now used by NASA and companies in the oil and gas industry.

Source record↗
DOE OSTI2015

Advanced Simulation and Computing Business Plan

To maintain a credible nuclear weapons program, the National Nuclear Security Administration’s (NNSA’s) Office of Defense Programs (DP) needs to make certain that the capabilities, tools, and expert staff are in place and are able to deliver validated assessments. This requires a complete and robust simulation environment backed by an experimental program to test ASC Program models. This ASC Business Plan document encapsulates a complex set of elements, each of which is essential to the success of the simulation component of the Nuclear Security Enterprise. The ASC Business Plan addresses the hiring, mentoring, and retaining of programmatic technical staff responsible for building the simulation tools of the nuclear security complex. The ASC Business Plan describes how the ASC Program engages with industry partners—partners upon whom the ASC Program relies on for today’s and tomorrow’s high performance architectures. Each piece in this chain is essential to assure policymakers, who must make decisions based on the results of simulations, that they are receiving all the actionable information they need.

45 MILITARY TECHNOLOGY, WEAPONRY, AND NATIONAL DEF↗
NASA NTRS2002

Synthesizing Certified Code

Code certification is a lightweight approach to demonstrate software quality on a formal level. Its basic idea is to require producers to provide formal proofs that their code satisfies certain quality properties. These proofs serve as certificates which can be checked independently. Since code certification uses the same underlying technology as program verification, it also requires many detailed annotations (e.g., loop invariants) to make the proofs possible. However, manually adding theses annotations to the code is time-consuming and error-prone. We address this problem by combining code certification with automatic program synthesis. We propose an approach to generate simultaneously, from a high-level specification, code and all annotations required to certify generated code. Here, we describe a certification extension of AUTOBAYES, a synthesis tool which automatically generates complex data analysis programs from compact specifications. AUTOBAYES contains sufficient high-level domain knowledge to generate detailed annotations. This allows us to use a general-purpose verification condition generator to produce a set of proof obligations in first-order logic. The obligations are then discharged using the automated theorem E-SETHEO. We demonstrate our approach by certifying operator safety for a generated iterative data classification program without manual annotation of the code.

Whalen, Michael↗
DOE OSTI2018

Panel reports session

This section brings together the reports of the 31 panel sessions listed below: - Avoiding the Human Capital Cliff in the DOE (PS22); - Implementing Technically-Based Cleanup; US DOE Balancing Regulatory and Fiscal Complexity (PS24); - United Kingdom - Remediation of Sellafield Legacy Ponds and Silos (PS25); - Aligning Decision-Making to Deliver Timely Results in Large Clean-up Programs (PS38); - Transition to Government Owned-Contractor Operated Site at Canadian Nuclear Laboratories (PS39); - Emerging Middle East Nuclear States' Status and Plans (PS40); - NPP Panel on Waste Management (PS41); - Robotics - International Innovations in Robotic Decommissioning Technology (PS43); - Fukushima Panel (1/2): Japan Fukushima Daiichi Decommissioning Update (PS54); - Fukushima Panel (2/2): Update on the Revitalization of Fukushima and the Surrounding Area (PS55); - US DOE LLW On-Site Disposal: LLW Disposal Facility Federal Review Group Review Process (PS56); - Challenges in DOE HLW Tank Management: Facility Start-up and Waste Disposition (PS57); - Waste Management Planning for Utility Small Modular Reactors (PS58); - US Nuclear Power Plant Waste Management - LLW Disposal Issues (PS59); - DOE-EM Robotics and Emerging Technologies Road-map (4/8) (PS60); - Graduating Students and New Scientists and Engineers - Wants and Needs - Are Companies Even Listening? (PS63); - U.S. Nuclear Robotics: Yesterday, Today, Tomorrow (5/8) (PS74); - US DOE Mixed Waste: Proposals for Dealing with Problematic Waste Streams and Policy Changes (PS76); - Current and Emerging US NRC LLW Regulatory Topics (PS77); - Agency Perspectives (US and International) on the Use of Risk and Dose Assessment Tools (PS80); - Progress on Deep Repository Programs Around the World (PS81); - US DOE Procurement and Contracting Opportunities (PS82); - Collaboration across Borders to Deliver Cleanup and Decommissioning Challenges (PS93a); - DOE Mission Success through Application of Practices and Solutions (PS94); - Challenges in Cask Certification - International Perspectives (PS96); - Robotics: Leveraging Innovations in Science and Technology to Benefit Safety Performance (PS98); - DOE Panel: DOE EM Featured Office - Portsmouth/Paducah Project Office (PS109); - Robotics: Lessons Learned from Industrial Robotics Deployment that can be Applied to the Nuclear Field (PS110a); - Roundtable: DOE Radioactive Management - Energy Facility Contractors Group - Waste Management Working Group (EFCOG WMWG) (PS118); - Thursday Topical Session 'Management of Used Nuclear Fuel: Will the United States Reengage and Align with International Efforts' (PS124); - Remotely Operated Vehicles for Emergency, Disaster, and Operational Upset Response (PS125)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗