Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “tutorials”

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 109 records · Page 6
All sourcesNASA NTRSDOE OSTI
NASA NTRS2021

SeaDAS Tutorial: Applying Color Ramps to ACOLITE Turbidity Products

This tutorial provides step-by-step instructions for applying color ramps and legends to ACOLITE turbidity products derived from the Dogliotti turbidity equation. The user inputs their own image and the resulting product is a colorized visualization of turbidity. This visualization provides the user with a better understanding of turbidity in their image and can be used to support further analysis of turbidity patterns.

Kelly Young↗
NASA NTRSDate not supplied

CoCoSim Tutorial: Contract-based Compositional Verification of Simulink Models

This tutorial presents CoCoSim, a verification framework for MATLAB Simulink and Stateflow models. We demonstrate CoCoSim’s architecture, designed to be compatible with Lustre-based verification tools, as well as easily extensible to other candidate backends. We focus on CoCoSim’s powerful compositional verification scheme, which allows for scalable verification through the usage of abstractions of subsystems, express ed in the form of Assume-Guarantee Contracts. We show CoCoSim’s interconnection with NASA’s Formal Requirements Tool (FRET), that enables a seamless transition between authoring and formally verifying requirements for Simulink/Stateflow models. Finally, we discuss work in progress with regards to test case generation options in CoCoSim, demonstrating the generation of MC/DC tests for Simulink artifacts.

Formal Verification↗
NASA NTRSDate not supplied

fmdtools Tutorial: Intro to Resilience Modelling, Simulation, and Visualization in Python With fmdtools

This workshop will cover the basics of using the fmdtools package for the simulation of hazardous scenarios for resilience simulation. The fmdtools simulation package is an open-source python toolkit for simulating the dynamic response of a system to internal and externally-driven hazardous scenarios, including faults and environmental conditions, that can be used to analyze the risks related to these hazards. Prior to the development of fmdtools, researchers had to either adapt an (often limited) propriety toolkit or develop their own design/simulation/analysis codes to develop their models of hazardous events, a significant technical burden to both (1) leveraging resilience modeling methodologies and (2) extending these methodologies with their own contributions. The fmdtools package provides a number of model constructs and simulation and analysis methods to enable the designer to focus to solely on their modeling case-study while still enabling a significant degree of model expressiveness and adaptability via Python-based model definition. This tutorial will present the setup of fmdtools and a high-level overview of its use, as well as some simple examples for understanding how to leverage its modelling, simulation, and analysis capabilities. Familiarity with jupyter notebook and basic python will be assumed.

Daniel Hulse↗
NASA NTRS2023

Tutorial: Models and Tools at the CCMC for Space Weather Research and Education

Community Coordinated Modeling Center (CCMC) is hosting an expanding collection of space weather models covering the entire domain from the solar corona to the Earth’s lower atmosphere. The tutorial will present examples of CCMC models utilization in different research projects and demonstrate how CCMC tools and systems can be utilized in research and education. The presentation will also include highlights of International Space Weather Action Teams Initiatives and discuss opportunities for early career scientists. The presentation will be followed by hands-on demo of CCMC tools and systems.

Maria Kuznetsova↗
NASA NTRSDate not supplied

Tutorial: Electrified Aircraft Propulsion Approaches for Modeling and Electrical Hardware-in-the-Loop Testing

This tutorial session outlines capabilities made available by the National Aeronautics and Space Administration for testing electrified aircraft propulsion (EAP) hardware and software prior to using turbomachinery. Removing these components from the experimentation process until necessary significantly reduces the development and testing costs and safety risks. Three facilities, the NASA Electric Aircraft Testbed (NEAT) and the Hybrid Propulsion Emulation Rig (HyPER) are unique facilities that provide the following capabilities: (i) the verification of megawatt-scale electrical and electromechanical system components at altitude, (ii) the verification of EAP control systems on sub-scale representative electromechanical architectures. The importance, operation, and specifications of each facility is described with detail. Provided examples of past testing showcase the abilities of each facility. Simple and complex methods for replicating the steady state and dynamical mechanical loading on the electrical power system are discussed

Electrified Aircraft Propulsion↗
NASA NTRSDate not supplied

Systems Engineering Tutorial with Case Studies

Due to the ever-growing number of complex technical problems facing our world, a Systems Engineering approach is needed to assist in successful design, build and implementation of solutions. The interdisciplinary technical structure of current systems, technical processes representing System Design, Technical Management and Product Realization are instrumental in the development and integration of new technologies into mainstream applications. This tutorial will demonstrate the application of Systems Engineering tools to these types of problems. Learning objectives include, understanding how to develop and engineer a conceptual system; understand the importance of teams, communication, requirements definition, interface control, and focus on deliverables; useful tools and techniques for each aspect of the System Engineering process including Model Based Systems Engineering which will be touched upon lightly. Some hands-on problems will be pursued especially in requirements development which is always key to a successful project. Case studies will be presented to assist in the learning process.

Systems Engineering↗
NASA NTRS2024

Runtime Verification of Hard Realtime Systems With Copilot: A Tutorial

This presentation is a tutorial on RV using Copilot, a runtime verification framework for real-time embedded systems. Copilot monitors are written in a compositional, stream-based language with support for a variety of Temporal Logics (TL), which results in robust, high-level specifications that are easier to understand than their traditional counterparts. The framework translates monitor specifications into C code with static memory requirements, which can be compiled to run on embedded hardware.

runtime monitoring↗
DOE OSTI2021

Tutorial: Machine Learning and Artificial Intelligence in Batteries

Machine learning (ML) promises to compress the time needed to characterize battery performance, lifetime and safety. By coupling ML with physical models and metrics, that learning can bridge across materials, chemistries and cell designs. This tutorial will discuss the most popular ML techniques and resources and review recent work in the electrochemical literature. Applications include materials discovery, image recognition for quantitative microscopy analysis, fast charge algorithm development and life prediction.

47 OTHER INSTRUMENTATION↗
DOE OSTI2023

Tutorial for Non-Orthogonal Configuration Interaction Fragment Studies Using GronOR

A brief tutorial is presented for the GronOR non-orthogonal configuration interaction application illustrating the download and build process, setting up calculations with OpenMolcas and GronOR, and a description of the file structure and input options. An overview of the computational workflow includes the generation of fragment wave functions and integrals with an adapted version of OpenMolcas, running GronOR calculations, and accounting for dynamic correlation corrections. Three end-to-end use cases are provided, representing a molecular dimer, an ion pair, and overlapping molecular fragments.

Straatsma, T.P.↗
DOE OSTI2024

A Tutorial on the Control of Floating Offshore Wind Turbines: Stability Challenges and Opportunities for Power Capture

Climate change is a serious threat facing humanity. The United States (U.S.) and many other countries are increasing the amount of electrical power generated from renewable energy sources in an effort to combat climate change and ensure energy independence. The U.S. has set goals to achieve a 100% decarbonized electric grid by 2035 and a net-zero emissions economy by no later than 2050. Renewable energy currently accounts for about 20% of the U.S. power grid. According to the U.S. Department of Energy and the National Renewable Energy Laboratory (NREL), in the U.S. in 2021, wind and solar photovoltaic generation supplied 9.1% and 4% of total electricity generation, respectively, and the latest publicly available data show that hydropower represented 6.6% of all electricity generated in the U.S. in 2019. As wind farms have been built in many of the best wind resource areas on land, the U.S. and many other countries are turning to offshore wind for further growth of wind power capacity. Further, the U.S. has committed to deploy 30 GW of offshore wind by 2030, a significant increase from the 0.04 GW of installed offshore wind in the country as of the end of 2023. Many other countries have also established ambitious goals or plans to increase the amount of installed offshore wind power.

17 WIND ENERGY↗
DOE OSTI2023

Guest Editorial Special Issue on Plenary, Invited, and Tutorial Papers From ICOPS 2022

The IEEE International Conference on Plasma Science (ICOPS) is an annual meeting of plasma physics researchers with an emphasis on various applications of plasma science and technology. This meeting is organized by the Plasma Science and Application Committee (PSAC) of the IEEE Nuclear and Plasma Sciences Society (NPSS).

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
NASA NTRS2015

Research Methods Tutorial

A guiding principle for conducting research in technology, science, and engineering, leading to innovation is based on our use of research methodology (both qualitative and qualitative). A brief review of research methodology will be presented with an overview of NASA process in developing aeronautics technologies and other things to consider in research including what is innovation.

Research↗
NASA NTRS2015

Research Methods Tutorial

A guiding principle for conducting research in technology, science, and engineering, leading to innovation is based on our use of research methodology (both qualitative and quantitative). A brief review of research methodology will be presented with an overview of NASA process in developing aeronautics technologies and other things to consider in research including what is innovation.

methodology↗
NASA NTRS2016

NEQAIR v14.0 User Tutorial

Presentation to cover how to use and understand the NEQAIR code. The avenues to obtain the code will also be discussed.

Tutorial↗