SEARCH · Engineering Papers

Results for “Theory Manual”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 307 records · Page 17

All sources NASA NTRS DOE OSTI

DOE OSTI2022

An objective inter-comparison of trash mark constellations generated by manual and automated detection methods

Trash marks are unintentional markings observed on printed, scanned, or photocopied documents that result from permanent defects or transient material in office machines and can be used for source attribution of questioned documents. Trash mark examinations have been in use in forensic laboratories for decades, yet the method remains relatively untested and relies on training, experience, and anecdotal information to support its validity. Herein this study generated and harnessed objective data to empirically test one of the foundational theories for assessing the origin of photocopied documents: provided trash marks are present in sufficient quantity and/or quality, no two machines will exhibit a constellation of trash marks that is indistinguishable from another. In this project, objective trash mark location and size data was generated for 50 known photocopiers using both a traditional and a novel, automated method. Inter-machine comparisons were conducted using a novel variant of the Hausdorff distance algorithm to generate a quantitative assessment of how similar or different the 2450 pairs of trash mark constellations were from one another. This study found that each of the machines bearing one or more trash marks exhibited objective differences in their trash mark constellations, ultimately providing support for the tested hypothesis

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

NASA NTRS1971

A control-theory model for human decision-making

A model for human decision making is an adaptation of an optimal control model for pilot/vehicle systems. The models for decision and control both contain concepts of time delay, observation noise, optimal prediction, and optimal estimation. The decision making model was intended for situations in which the human bases his decision on his estimate of the state of a linear plant. Experiments are described for the following task situations: (a) single decision tasks, (b) two-decision tasks, and (c) simultaneous manual control and decision making. Using fixed values for model parameters, single-task and two-task decision performance can be predicted to within an accuracy of 10 percent. Agreement is less good for the simultaneous decision and control situation.

Levison, W. H.↗

NASA NTRS1997

Towards High-Assurance High-Performance Program Synthesis

Domain-specific automatic program synthesis tools, also called application generators, are playing an ever-increasing role in software development. However, high-performance application generators require difficult manual construction, and are very difficult to verify correct. This paper describes research and an implemented system that transforms program synthesis tools based on deductive synthesis into high-performance application generators. Deductive synthesis uses theorem-proving to construct solutions when given problem specifications. The verification condition for a deductive synthesis tool is essentially the soundness of the implemented inference rules. Theory Operationalization for Program Synthesis (TOPS) synergistically combines reformulation, automated mathematical classification, and compilation through partial deduction to decision procedures. It transforms general-purpose deductive synthesis, with exponential performance, into efficient special-purpose deductive synthesis, with near-linear performance. This paper describes our experience with and empirical results of PD(TH) theory-based partial deduction - in which partial deduction of a set of first-order formulae is performed within the context of a background theory. The implemented TOPS system currently performs a special variant of PD(TH) in which the compilation process results in the transformation of a set of first order formulae into the theory of an instantiated library decision procedure augmented by a compiled unit theory.

Lowry, Michael↗

NASA NTRS2010

Landmark Detection in Orbital Images Using Salience Histograms

NASA's planetary missions have collected, and continue to collect, massive volumes of orbital imagery. The volume is such that it is difficult to manually review all of the data and determine its significance. As a result, images are indexed and searchable by location and date but generally not by their content. A new automated method analyzes images and identifies "landmarks," or visually salient features such as gullies, craters, dust devil tracks, and the like. This technique uses a statistical measure of salience derived from information theory, so it is not associated with any specific landmark type. It identifies regions that are unusual or that stand out from their surroundings, so the resulting landmarks are context-sensitive areas that can be used to recognize the same area when it is encountered again. A machine learning classifier is used to identify the type of each discovered landmark. Using a specified window size, an intensity histogram is computed for each such window within the larger image (sliding the window across the image). Next, a salience map is computed that specifies, for each pixel, the salience of the window centered at that pixel. The salience map is thresholded to identify landmark contours (polygons) using the upper quartile of salience values. Descriptive attributes are extracted for each landmark polygon: size, perimeter, mean intensity, standard deviation of intensity, and shape features derived from an ellipse fit.

Wagstaff, Kiri L.↗

NASA NTRS2005

Exploring Diverse Data Sets and Developing New Theories and Ideas With Project Integration Architecture

The development of new ideas is the essence of scientific research. This is frequently done by developing models of physical processes and comparing model predictions with results from experiments. With models becoming ever more complex and data acquisition systems becoming more powerful, the researcher is burdened with wading through data ranging in volume up to a level of many terabytes and beyond. These data often come from multiple, heterogeneous sources and usually the methods for searching through it are at or near the manual level. In addition, current documentation methods are generally limited to researchers pen-and-paper style notebooks. Researchers may want to form constraint-based queries on a body of existing knowledge that is, itself, distributed over many different machines and environments and from the results of such queries then spawn additional queries, simulations, and data analyses in order to discover new insights into the problem being investigated. Currently, researchers are restricted to working within the boundaries of tools that are inefficient at probing current and legacy data to extend the knowledge of the problem at hand and reveal innovative and efficient solutions. A framework called the Project Integration Architecture is discussed that can address these desired functionalities.

Benyo, Theresa L.↗

NASA NTRS1986

Method for the prediction of the installation aerodynamics of a propfan at subsonic speeds: User manual

This document is the user's guide for the method developed earlier for predicting the slipstream wing interaction at subsonic speeds. The analysis involves a subsonic panel code (HESS code) modified to handle the propeller onset flow. The propfan slipstream effects are superimposed on the normal flow boundary condition and are applied over the surface washed by the slipstream. The effects of the propeller slipstream are to increase the axial induced velocity, tangential velocity, and a total pressure rise in the wake of the propeller. Principles based on blade performance theory, momentum theory, and vortex theory were used to evaluate the slipstream effects. The code can be applied to any arbitrary three dimensional geometry, expressed in the form of HESS input format. The code can handle a propeller alone configuration or a propeller/nacelle/airframe configuration, operating up to high subcritical Mach numbers over a range of angles of attack. Inclusion of a viscous modelling is briefly outlined. Wind tunnel results/theory comparisons are included as examples for the application of the code to a generic supercritical wing/overwing Nacelle with a powered propfan. A sample input/output listing is provided.

Chandrasekaran, B.↗

NASA NTRS2014

Q-Thruster Breadboard Campaign Project

Dr. Harold "Sonny" White has developed the physics theory basis for utilizing the quantum vacuum to produce thrust. The engineering implementation of the theory is known as Q-thrusters. During FY13, three test campaigns were conducted that conclusively demonstrated tangible evidence of Q-thruster physics with measurable thrust bringing the TRL up from TRL 2 to early TRL 3. This project will continue with the development of the technology to a breadboard level by leveraging the most recent NASA/industry test hardware. This project will replace the manual tuning process used in the 2013 test campaign with an automated Radio Frequency (RF) Phase Lock Loop system (precursor to flight-like implementation), and will redesign the signal ports to minimize RF leakage (improves efficiency). This project will build on the 2013 test campaign using the above improvements on the test implementation to get ready for subsequent Independent Verification and Validation testing at Glenn Research Center (GRC) and Jet Propulsion Laboratory (JPL) in FY 2015. Q-thruster technology has a much higher thrust to power than current forms of electric propulsion (~7x Hall thrusters), and can significantly reduce the total power required for either Solar Electric Propulsion (SEP) or Nuclear Electric Propulsion (NEP). Also, due to the high thrust and high specific impulse, Q-thruster technology will greatly relax the specific mass requirements for in-space nuclear reactor systems. Q-thrusters can reduce transit times for a power-constrained architecture.

White, Harold↗

DOE OSTI2024

Individual Data Sparsity in Smart Thermostat Big Data: Impacts on Modeling Thermostat Use Behavior Dynamics

This study explores the impacts of the sparsity of individual thermostat interaction data on modeling thermostat use behavior dynamics using a dataset of over 100,000 smart thermostats. In developing a data-driven model of Thermal Frustration Theory (TFT), we investigate the challenges and trade-offs in clustering occupant data to enhance predictive accuracy. Our findings reveal that a single, aggregated model fails to capture the diversity of occupant behaviors, resulting in extremely poor prediction performance. Conversely, excessive clustering exacerbates data sparsity, undermining model reliability. By identifying an optimal clustering strategy, we achieve a balance that significantly improves the prediction of manual setpoint changes during demand response (DR) events, enhancing energy management and occupant comfort

Fannon, David↗

DOE OSTI2020

Robust Independent Validation of Experiment and Theory: Rivet version 3

First released in 2010, the Rivet library forms an important repository for analysis code, facilitating comparisons between measurements of the final state in particle collisions and theoretical calculations of those final states. We give an overview of Rivet's current design and implementation, its uptake for analysis preservation and physics results, and summarise recent developments including propagation of MC systematic-uncertainty weights, heavy-ion and ep physics, and systems for detector emulation. In addition, we provide a short user guide that supplements and updates the Rivet user manual.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

NASA NTRS2019

The Demonstration of a Light Extinction Tomography System at the NASA Glenn Research Center's Icing Research Tunnel

A prototype light extinction tomography system has been developed for acquiring real-time in-situ icing cloud uniformity and density measurements in the NASA Glenn Research Center's Icing Research Tunnel (IRT). These measurements are currently obtained through periodic manual calibrations of the IRT. These calibrations are time consuming and assume that cloud uniformity and density does not greatly vary between the periodic calibrations. It is envisioned that the new light extinction tomography system will provide the means to make these measurements in-situ in real-time and minimize the need for these manual calibrations. This new system uses the principle of light extinction tomography to measure the spray density and distribution in the test section. The prototype system was installed and successfully demonstrated in the Icing Research Tunnel in early 2018. Data sets were acquired for several standard spray and simulated fault conditions to assess system capability and sensitivity. This paper will describe the prototype light extinction system, the theory behind it, and the results of the demonstration test that was conducted in the IRT.

Test Facility↗

NASA NTRS2019

The Demonstration of a Light Extinction Tomography System at the NASA Glenn Research Center's Icing Research Tunnel

Tomography↗

NASA NTRS1980

A comprehensive analytical model of rotorcraft aerodynamics and dynamics. Part 3: Program manual

The computer program for a comprehensive analytical model of rotorcraft aerodynamics and dynamics is described. This analysis is designed to calculate rotor performance, loads, and noise; the helicopter vibration and gust response; the flight dynamics and handling qualities; and the system aeroelastic stability. The analysis is a combination of structural, inertial, and aerodynamic models that is applicable to a wide range of problems and a wide class of vehicles. The analysis is intended for use in the design, testing, and evaluation of rotors and rotorcraft and to be a basis for further development of rotary wing theories.

Johnson, W.↗

NASA NTRS1993

Three-Dimensional Boundary-Layer program (BL3D) for swept subsonic or supersonic wings with application to laminar flow control

The theory, formulation, and solution of three-dimensional, compressible attached laminar flows, applied to swept wings in subsonic or supersonic flow are discussed. Several new features and modifications to an earlier general procedure described in NASA CR 4269, Jan. 1990 are incorporated. Details of interfacing the boundary-layer computation with solution of the inviscid Euler equations are discussed. A description of the computer program, complete with user's manual and example cases, is also included. Comparison of solutions with Navier-Stokes computations with or without boundary-layer suction is given. Output of solution profiles and derivatives required in boundary-layer stability analysis is provided.

Iyer, Venkit↗

DOE OSTI2024

Overview of Elastic Orthotropic Fiber Reinforced Polymer Modular Damage Model for Library of Advanced Materials for Engineering (LAMÉ)

This memo includes the documentation sections for the Library of Advanced Materials for Engineering (LAMÉ) manual for a fiber reinforced polymer composite damage model (Elastic_Orthotropic_FRP_Modular_Damage) in advance of the next Sierra/SM and LAMÉ release consistent with the transition of the model from development to a production capability. This new model capability provides both a set of physically based orthotropic damage criteria as well as orthotropic material softening for woven fiber reinforced polymer composite materials. The documentation sections include short sections on theory, implementation, verification, and user guidance to prescribe the model in a Sierra/SM input file.

36 MATERIALS SCIENCE↗

NASA NTRS1985

Airborne antenna radiation pattern code user's manual

The use of a newly developed computer code to analyze the radiation patterns of antennas mounted on a ellipsoid and in the presence of a set of finite flat plates is described. It is shown how the code allows the user to simulate a wide variety of complex electromagnetic radiation problems using the ellipsoid/plates model. The code has the capacity of calculating radiation patterns around an arbitrary conical cut specified by the user. The organization of the code, definition of input and output data, and numerous practical examples are also presented. The analysis is based on the Uniform Geometrical Theory of Diffraction (UTD), and most of the computed patterns are compared with experimental results to show the accuracy of this solution.

Burnside, Walter D.↗

NASA NTRS1997

Robust, Decoupled, Flight Control Design with Rate Saturating Actuators

Techniques for the design of control systems for manually controlled, high-performance aircraft must provide the following: (1) multi-input, multi-output (MIMO) solutions, (2) acceptable handling qualities including no tendencies for pilot-induced oscillations, (3) a tractable approach for compensator design, (4) performance and stability robustness in the presence of significant plant uncertainty, and (5) performance and stability robustness in the presence actuator saturation (particularly rate saturation). A design technique built upon Quantitative Feedback Theory is offered as a candidate methodology which can provide flight control systems meeting these requirements, and do so over a considerable part of the flight envelope. An example utilizing a simplified model of a supermaneuverable fighter aircraft demonstrates the proposed design methodology.

Snell, S. A.↗

NASA NTRS1992

Let's go: Early universe 2. Primordial nucleosynthesis the computer way

This is a revised description and manual for the primordial nucleosynthesis program, NUC123, an updated and modified version of the code of R.V. Wagoner. NUC123 has undergone a number of changes, further enhancing its documentation and ease of use. Presented here is a guide to its use, followed by a series of appendices containing specific details such as a summary of the basic structure of the program, a description of the computational algorithm, and a presentation of the theory incorporated into the program.

Kawano, Lawrence↗

NASA NTRS1982

Aeroelastic analysis for helicopter rotors with blade appended pendulum vibration absorbers. Mathematical derivations and program user's manual

Mathematical development is presented for the expanded capabilities of the United Technologies Research Center (UTRC) G400 Rotor Aeroelastic Analysis. This expanded analysis, G400PA, simulates the dynamics of teetered rotors, blade pendulum vibration absorbers and the higher harmonic excitations resulting from prescribed vibratory hub motions and higher harmonic blade pitch control. Formulations are also presented for calculating the rotor impedance matrix appropriate to these higher harmonic blade excitations. This impedance matrix and the associated vibratory hub loads are intended as the rotor blade characteristics elements for use in the Simplified Coupled Rotor/Fuselage Vibration Analysis (SIMVIB). Sections are included presenting updates to the development of the original G400 theory, and material appropriate to the user of the G400PA computer program. This material includes: (1) a general descriptionof the tructuring of the G400PA FORTRAN coding, (2) a detaild description of the required input data and other useful information for successfully running the program, and (3) a detailed description of the output results.

Bielawa, R. L.↗