Search NASA⌕ Search

SEARCH · Search NASA

Results for “instructions”

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 19 records

Per-instruction energy debugging using instruction sampling hardware

A processor utilizes instruction based sampling to generate sampling data sampled on a per instruction basis during execution of an instruction. The sampling data indicates what processor hardware was used due to the execution of the instruction. Software receives the sampling data and generates an estimate of energy used by the instruction based on the sampling data. The sampling data may include microarchitectural events and the energy estimate utilizes a base energy amount corresponding to the instruction executed along with energy amounts corresponding to the microarchitectural events in the sampling data. The sampling data may include switching events associated with hardware blocks that switched due to execution of the instruction and the energy estimate for the instruction is based on the switching events and capacitance estimates associated with the hardware blocks.

Wei, Shijia↗

Reimagining Disassembly Interfaces With Visualization: Combining Instruction Tracing and Control Flow With DisViz

In applications where efficiency is critical, developers may examine their compiled binaries, seeking to understand how the compiler transformed their source code and what performance implications that transformation may have. This analysis is challenging due to the vast number of disassembled binary instructions and the many-to-many mappings between them and the source code. These problems are exacerbated as source code size increases, giving the compiler more freedom to map and disperse binary instructions across the disassembly space. Interfaces for disassembly typically display instructions as an unstructured listing or sacrifice the order of execution. Here, we design a new visual interface for disassembly code that combines execution order with control flow structure, enabling analysts to both trace through code and identify familiar aspects of the computation. Central to our approach is a novel layout of instructions grouped into basic blocks that displays a looping structure in an intuitive way. We add to this disassembly representation a unique block-based mini-map that leverages our layout and shows context across thousands of disassembly instructions. Finally, we embed our disassembly visualization in a web-based tool, DisViz, which adds dynamic linking with source code across the entire application. DizViz was developed in collaboration with program analysis experts following design study methodology and was validated through evaluation sessions with ten participants from four institutions. Participants successfully completed the evaluation tasks, hypothesized about compiler optimizations, and noted the utility of our new disassembly view. Our evaluation suggests that our new integrated view helps application developers in understanding and navigating disassembly code.

Computer science↗

Teachers’ Beliefs and Their Influence on Math Instructions for Gifted English Learners

The dynamic interplay between teachers’ beliefs and practices significantly impact the quality of instruction and the trajectory of talent development in young students. This case study explores the beliefs and practices of two elementary teachers instructing gifted ELs in mathematics. The constant comparison method was used to analyze data collected from classroom observations, semi-structured interviews, and field notes. Three factors were found to affect the (in)consistency between teachers’ expressed beliefs and observed practices: compatibility among core and peripheral beliefs, knowledge about evidence-based practices, and classroom management skills. Students exhibit higher levels of participation, communication, and engagement in critical thinking skills when their teacher embraces constructive perspectives in teaching mathematics, demonstrates pedagogical expertise, and employs a proactive classroom management approach. Conversely, students encounter restricted opportunities to independently construct their own understanding of mathematics when their teacher holds maladaptive beliefs about teaching mathematics, has limited knowledge of evidence-based practices, and has an authoritarian classroom management style. These findings underscore the need for a new approach to professional development (PD) that encourages teachers to critically examine the connection between their beliefs and instructional practices and their impact on the student’s mathematical talent development.

Yang, Jenny (ORCID:0000000296905466)↗

System and method for protecting GPU memory instructions against faults

A system and method for protecting memory instructions against faults are described. The system and method include converting the slave instructions to dummy operations, modifying memory arbiter to issue up to N master and N slave global/shared memory instructions per cycle, sending master memory requests to memory system, using slave requests for error checking, entering master requests to the GM/LM FIFO, storing slave requests in a register, and comparing the entered master requests with the stored slave requests.

Kalamatianos, John↗

SCITUNE: Aligning Large Language Models with Human-Curated Scientific Multimodal Instructions

Instruction finetuning is a popular paradigm to align large language models (LLM) with human intent. Despite its popularity, this idea is less explored in improving the LLMs to align existing foundation models with scientific disciplines, concepts and goals. In this work, we present SciTune as a tuning framework to improve the ability of LLMs to follow scientific multimodal instructions. To test our methodology, we use a human-generated scientific instruction tuning dataset and train a large multimodal model LLaMA-SciTune that connects a vision encoder and LLM for science-focused visual and language understanding. LLaMA-SciTune significantly outperforms the state-of-the-art models in the generated figure types and captions in multiple scientific multimodal benchmarks. In comparison to the models that are fine-tuned with machine generated data only, LLaMA-SciTune surpasses human performance on average and in many sub-categories on the ScienceQA benchmark.

• Artificial intelligence (AI) / machine learning ↗

Memory instruction for memory tiers

Various embodiments provide for one or more processor instructions and memory instructions that enable a memory sub-system to copy, move, or swap data across (e.g., between) different memory tiers of the memory sub-system, where each of the memory tiers is associated with different memory locations (e.g., different physical memory locations) on one or more memory devices of the memory sub-system.

Roberts, David Andrew↗

Influence of Karen Immigrant Students on Teachers’ Instructional Decisions in the Rural United States

Across the United States, the number of classrooms welcoming young students who are new English language learners (ELL) is rapidly growing. Motivated by a dramatic increase in the number of Myanmar- and Burma-originating immigrants now attending English-speaking schools in the rural, upper midwestern United States, this study systematically considers how the presence of Karen immigrant students impacts the instructional decisions that K-12 classroom teachers make using an exploratory case study method. Several recurrent themes emerged, and findings can be used to help better prepare both pre-service and in-service teachers to meet the needs of their ELL students, as well as policy makers. These emergent themes include the following: (a) authentic teacher–family relationships are key; (b) visual/hands-on learning and the use of technology enhance student achievement; (c) student work must be completed during the school day in classrooms; (d) teachers’ purposeful use of parallel language is critical for learning; (e) rigor can be maintained, although quantity is often adjusted; and (f) targeted ESL/cultural training for pre-service and newly hired teachers is positively influential. Such informed training often seems to help teachers learn key cultural distinctions and become better able to identify the most effective ways to meet the needs of students.

99 GENERAL AND MISCELLANEOUS↗

Hybrid Oscillator-Qubit Quantum Processors: Instruction Set Architectures, Abstract Machine Models, and Applications

This tutorial offers a pedagogical guide to hybrid quantum processors that integrate discrete-variable (DV) qubits and continuous-variable (CV) oscillators. Aimed at computer scientists, engineers, and physicists, it provides an overview of the experimental, algorithmic, and architectural aspects of this novel and rapidly developing hardware model. Experimental realizations of this model include superconducting, trapped-ion, and neutral-atom platforms. By combining DV and CV components, hybrid oscillator-qubit processors enable a powerful new paradigm that offers complementary strengths for quantum control, error correction, computation, and simulation. Working toward the goal of a full-stack system connecting applications to CV-DV hardware, we define and formulate abstract machine models and instruction set architectures. These essential abstractions enable codesign of hardware and software, and resource estimation for exploring the potential of current and future hardware for computational and simulation tasks. Using these abstractions, we present both new and existing examples that illustrate the benefits of hybrid CV-DV processors relative to traditional DV-only hardware in computation as well as quantum simulation of physical models. Examples include algorithms for transferring states between DV and CV systems, performing the quantum Fourier transform, and simulation of lattice gauge theories. Relative to qubit-only hardware, the bosonic degrees of freedom natively available in hybrid architectures can substantially reduce the circuit complexity of simulations for physical models containing bosons. A key technique is the extension of quantum signal processing ideas to CV-DV systems. This work is intended to serve as a timely and comprehensive guide to this relatively unexplored yet promising approach to quantum computation and to provide a road map to guide future development.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

FARM User Guidance and Instructions

The FARM (Feasible Actuator Range Modifier) module is a component of the RAVEN-based FORCE framework for the analysis of Integrated Energy Systems (IES). FARM aids HERON in the solution of the power dispatch problem by evaluating feasible set-point signals to be issued to the control systems of the different IES unit components. Set-points need to satisfy limits on both production variables (i.e., the variables to be optimized such as the electrical power, etc.) and process variables tied to the service life of equipment (e.g., steam flowrate, vessel pressure, turbine firing temperature, etc.). To enforce all these limits, a two-stage approach is adopted. First, the power dispatcher algorithm in HERON module estimates set-points that meet the constraints on the production variables, e.g., power levels and power ramp rate limits. These constraints are called explicit constraints. Then, if necessary, FARM adjusts these set-points to ensure the respect of the limits on the process variables of interest, given the knowledge of the system dynamics acquired through machine learning algorithms. These constraints are called implicit constraints. From this standpoint, FARM constitutes a bridge between the HERON power dispatcher that adopts a simplified description of the IES unit (low-resolution physics) and the HYBRID high-fidelity models (high-resolution physics). In this report, the general workflow and the software requirements of FARM module are summarized, and the detailed instructions for installing FARM software, running built-in example cases, deriving Linear Parameter-Varying (LPV) state-space models, and using FARM for user-defined power dispatch problems are provided.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

2024 Wildfire Danger Rating Update: Analysis of the Wildfire Danger Rating Instruction for Kirtland Air Force Base.

A study of wildfire danger ratings was conducted by the Meteorological Program using the adjective ratings reported to the Weather Information Management System (WIMS). The focus of this study was to identify the shortcomings of Instruction 13-212 from Kirtland Air Force Base with regards to fire danger rating. The goal was to illustrate the benefits of using data from the Sandia National Labs Remote Automated Weather Station (RAWS) to better identify the proper fire danger rating on Kirtland Air Force Base.

54 ENVIRONMENTAL SCIENCES↗

Neuromorphic intermediate representation: A unified instruction set for interoperable brain-inspired computing

Abstract Spiking neural networks and neuromorphic hardware platforms that simulate neuronal dynamics are getting wide attention and are being applied to many relevant problems using Machine Learning. Despite a well-established mathematical foundation for neural dynamics, there exists numerous software and hardware solutions and stacks whose variability makes it difficult to reproduce findings. Here, we establish a common reference frame for computations in digital neuromorphic systems, titled Neuromorphic Intermediate Representation (NIR). NIR defines a set of computational and composable model primitives as hybrid systems combining continuous-time dynamics and discrete events. By abstracting away assumptions around discretization and hardware constraints, NIR faithfully captures the computational model, while bridging differences between the evaluated implementation and the underlying mathematical formalism. NIR supports an unprecedented number of neuromorphic systems, which we demonstrate by reproducing three spiking neural network models of different complexity across 7 neuromorphic simulators and 4 digital hardware platforms. NIR decouples the development of neuromorphic hardware and software, enabling interoperability between platforms and improving accessibility to multiple neuromorphic technologies. We believe that NIR is a key next step in brain-inspired hardware-software co-evolution, enabling research towards the implementation of energy efficient computational principles of nervous systems. NIR is available atneuroir.org

Science & Technology - Other Topics↗

Operation, maintenance, and installation instructions for HLW thermal catalytic oxidizer/reducer (TCO)

The HLW TCO Units are a combination of four rectangular vessels; the Recuperative Heat Exchanger, Electric Heater, Selective Catalytic Oxidizer (SCO), and the Selective Catalytic Reducer (SCR). Each housing is simply a closed rectangular box with formed angle stiffeners welded to the outside perimeter. The housings are connected with process piping and sit on a skid. There is an external frame to support all major process piping and the Electric Heater. The process piping consists of a 14" inlet which enters the heat exchanger. Then the off-gas flows through 18" cross over piping which leads to the heater. Once the off-gas is heated, another section of 18" process piping leads the off-gas through the SCO and SCR. The off-gas then flows through the heat exchanger before exiting through 16" process piping which leads to the customer's piping. The other equipment associated with the HLW TCO is the Ammonia Dilution Skid. The dilution skid controls the ammonia injection into the off-gas. The dilution skid supports two process lines, a 2" line and a 1" line which carries process air and anhydrous ammonia respectively. Ammonia injection into the off-gas is required prior to entering the SCR to ensure the NOx reduction occurs through the SCR catalyst bank.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

INS Nuclear Material Accounting and Control Instructional Video Materials- FY 25 Full Scripts

Each section of the Adhesive TID Process Demonstration is broken down into subparts as referenced in the outline contained in the Contents section, these are referenced as Activity Sections. The structure of the Adhesive TID Process Demonstration items is, to the best of the writer’s ability, in the order of events that the NMAC mitigating techniques are performed.

98 NUCLEAR DISARMAMENT, SAFEGUARDS, AND PHYSICAL P↗

INS Nuclear Material Accounting and Control Instructional Video Materials- FY 25 Guides

This training video provides an essential guide to understanding and utilizing Tamper Indicating Devices (TIDs), with a specific focus on a common Mylar (Adhesive) variety during the application process. TIDs are a critical part of nuclear security, used to detect unauthorized access to sensitive materials or facilities. The Mylar (adhesive) TID employes a tamper-evident film integrated into the TID that visually indicates any tampering attempts. This video will explain how an example Mylar (adhesive) TID works, demonstrate proper installation techniques, and highlight how to interpret its indicators to ensure the security of nuclear materials.

98 NUCLEAR DISARMAMENT, SAFEGUARDS, AND PHYSICAL P↗