Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “object oriented modeling”

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 685 records · Page 38

Software Model Checking Without Source Code

We present a framework, called AIR, for verifying safety properties of assembly language programs via software model checking. AIR extends the applicability of predicate abstraction and counterexample guided abstraction refinement to the automated verification of low-level software. By working at the assembly level, AIR allows verification of programs for which source code is unavailable-such as legacy and COTS software-and programs that use features-such as pointers, structures, and object-orientation-that are problematic for source-level software verification tools. In addition, AIR makes no assumptions about the underlying compiler technology. We have implemented a prototype of AIR and present encouraging results on several non-trivial examples.

Chaki, Sagar↗

The Parsec-Scale Magnetic Field Properties of Low-Optical Polarization Blazars

Past variability studies of flat-spectrum, compact extra-galactic radio sources have suggested that low- and high-optically polarized quasars (LPQ/HPQ) are the same type of object, differing only in the angle their relativistic jets make to the line of sight. This view has been challenged, however, by recent millimeter-wave polarization observations which indicate intrinsic differences in the inner magnetic field properties of the two classes. The inner jets of LPQs tend to have lower fractional polarizations than HPQs, and inferred magnetic field directions that are mostly parallel to the jet. The magnetic fields of HPQs, on the other hand, lie mainly in a transverse direction. The latter configuration is a prediction of the standard shock-in-jet model, in which a portion of a jet undergoes a strong transverse compression, thereby enhancing the perpendicular components of an originally tangled magnetic field. The main goal of this study is to establish a connection between the optical polarization and magnetic field properties of the inner jets of blazars. The magnetic field orientations of several HPQs have been shown to be stable over many years, which may be due to standing shock(s) located close to the base of the jet. Since these shocks are able to produce large amounts of optically polarized synchrotron radiation, their presence may very well determine whether an object is classified as an HPQ or LPQ. We have imaged the parsec-scale jet regions and magnetic fields of 11 LPQs with the Very Long Baseline Array (VLBA) at 43 and 22 GHz, and have obtained near- simultaneous optical polarization data for the sample. We discuss correlations between the optical and radio polarization data, and compare the LPQ properties to those of a sample of HPQs presently being monitored with the VLBA and JCMT at mm and sub-mm wavelengths, respectively. This research was performed in part at the Jet Propulsion Laboratory, California Institute of Technology, under contract to NASA.

Lister, Matthew L.↗

Deep Deception: Exemplars of Adversarial Machine Learning and Countermeasures Applicable to International Safeguards

As a follow-up to our more comprehensive report on Adversarial Machine Learning (AML), here we provide demonstrations of AML attacks against the Limbo image database of UF6 cylinders in a variety of orientations and amongst a variety of distractor images. We demonstrate the Carlini & Wagner AML attack against a subset of Limbo images, with 100% attack success rate; meaning all attacked images were misclassified by a highly accurate trained model, yet the image changes were imperceptible to the human eye. We also demonstrate successful attacks against segmented images (images with more than one targeted object). Finally, we demonstrated the Fast Fourier Transform countermeasure that can be used to detect AML attacks on images. The intent of this and our previous report is to inform the IAEA and stakeholders of both the promise of machine learning, which could greatly improve the efficiency of surveillance monitoring, but also of the real threat of AML and potential defenses.

97 MATHEMATICS AND COMPUTING↗

Visualization of three dimensional data

The objective of research is to characterize patterns of errors observers make when relating the judged exocentric direction of a target presented on a perspective display to their egocentric sense of visual direction. This type of spatial task is commonly faced by operators of telerobotic systems when using a map-like display of their workspace to determine the visual location and orientation of objects seen by direct view. It is also essentially the same task as faced by an aircraft pilot using a cockpit perspective traffic display of his surrounding airspace to locate traffic out his windows. The results of the current study clearly show that the visual direction is a significantly biased metric of virtual space presented by flat panel perspective displays. Modeling and explanation of the causes of the observed biases will allow design of compensated perspective displays.

Ellis, Stephen R.↗

National Cycle Program (NCP) Common Analysis Tool for Aeropropulsion

Through the NASA/Industry Cooperative Effort (NICE) agreement, NASA Lewis and industry partners are developing a new engine simulation, called the National Cycle Program (NCP), which is the initial framework of NPSS. NCP is the first phase toward achieving the goal of NPSS. This new software supports the aerothermodynamic system simulation process for the full life cycle of an engine. The National Cycle Program (NCP) was written following the Object Oriented Paradigm (C++, CORBA). The software development process used was also based on the Object Oriented paradigm. Software reviews, configuration management, test plans, requirements, design were all apart of the process used in developing NCP. Due to the many contributors to NCP, the stated software process was mandatory for building a common tool intended for use by so many organizations. The U.S. aircraft and airframe companies recognize NCP as the future industry standard for propulsion system modeling.

Follen, G.↗

Interactive Rotated Object Detection for Novel Class Detection in Remotely Sensed Imagery

In this paper we propose IRTR-DETR an Interactive and Real-Time Rotated DEtection TRansformer that extends IRTDETR to predict rotated bounding boxes. IRTR-DETR maintains the Human-In-The-Loop (HIL) workflow of IRTDETR but introduces rotation-aware heads for improved detection of objects with arbitrary orientations. Similarly to IRTDETR IRTR-DETR can be trained with a small labeled sample set in an interactive setting but we show that it can also be pretrained on related but not identical data--such as a building damage dataset--before being applied to tasks like identifying buildings under construction. We demonstrate the efficacy of our approach on the publicly available Tiny-DOTA and xBD dataset as well as two study-cases on proprietary datasets of greenhouses and houses under construction ("waffle homes"). Detecting greenhouses is highly relevant in the context of damage assessment while "waffle homes" aid understanding typical floorplans and building codes in different areas both thereby supporting population modeling emergency response and policy planning. Our method outperforms the state of the art in interactive rotated object detection on the Tiny-DOTA dataset by 5.7 percent and improves upon the non interactive RTDETR by 7.85 to 19.39 percent (depending on the number of provided samples) while maintaining its real-time efficiency.

Burges, Marvin [ORNL] (ORCID:0000000312690769)↗

VOTCA: multiscale frameworks for quantum and classical simulations in soft matter

Many physical phenomena in liquids and soft matter are multiscale by nature and can involve processes with quantum and classical degrees of freedom occurring over a vast range of length- and timescales. Examples range from structure formation processes of complex polymers or even polymer blends (Svaneborg & Everaers, 2023) on the classical side to charge and energy transport and conversion processes (Lee et al., 2019) involving explicit electronic and, therefore, quantum information. The Versatile Object-oriented Toolkit for Coarse-graining Applications (VOTCA) provides multiscale frameworks built on a comprehensive set of methods for the development of classical coarse-grained potentials (VOTCA-CSG) as well as state-of-the art excited state electronic structure methods based on density-functional and many-body Green’s function theories, coupled in mixed quantum-classical models and used in kinetic network models (VOTCA-XTP).

97 MATHEMATICS AND COMPUTING↗

Infrared images of distant 3C radio galaxies

J (1.2-micron) and K (2.2 micron) images have been obtained for eight 3CR radio galaxies with redshifts from 0.7 to 1.8. Most of the objects were known to have extended asymmetric optical continuum or line emission aligned with the radio lobe axis. In general, the IR morphologies of these galaxies are just as peculiar as their optical morphologies. For all the galaxies, when asymmetric structure is present in the optical, structure with the same orientation is seen in the IR and must be accounted for in any model to explain the alignment of optical and radio emission.

Eisenhardt, Peter↗

Hubble Space Telescope ultraviolet spectroscopy of the highly polarized but quiescent quasar OI 287

The quasar OI 287 has a unique combination of properties, including a high and constant optical polarization oriented parallel to the radio axis, a quiescent optical flux, and a lobe-dominant radio source. Previous studies have led to the picture of an edge-on thin dusty torus occulting a featureless continuum (FC) source and a broad line region (BLR) in this object. The FC source and the BLR are seen only in reflected (polarized) light. In the unified models, this makes OI 287 a 'quasar 2', analogous to the type 2 Seyfert galaxies and the narrow-line radio galaxies. Our UV spectrum adds two bits of information consistent with the above ideas. First, the spectrum neither turns up in the UV, as expected for optically thin dust scattering, nor turns down as expected for polarization by dust transmission. It is consistent with reflection by free electrons or optically thick dust. Second, there are in fact blueshifted absorption troughs associated with the C IV 1549 A line, supporting the analogy with BALs, as well as the idea that the BALs are objects which present a nearly edge-on view of a disk structure.

Antonucci, Robert↗

Damage tolerance in filament-wound graphite/epoxy pressure vessels

Graphite/epoxy composites are extensively used in the aerospace and sporting goods industries due to their superior engineering properties compared to those of metals. However, graphite/epoxy is extremely susceptible to impact damage which can cause considerable and sometimes undetected reduction in strength. An inelastic impact model was developed to predict damage due to low-velocity impact. A transient dynamic finite element formulation was used in conjunction with the 3D Tsai-Wu failure criterion to determine and incorporate failure in the materials during impact. Material degradation can be adjusted from no degradation to partial degradation to full degradation. The developed software is based on an object-oriented implementation framework called Extensible Implementation Framework for Finite Elements (EIFFE).

Simon, William E.↗

BlueCRAB Domain Overlapping Coupling: Theory & Verification

Coupling low- and high-fidelity codes is a useful way to model complex engineering systems. Thanks to the high-fidelity code, complex phenomena can be resolved in areas of the system where this is required, yet the efficiency of the lower-fidelity code is still retained in modeling the rest of the system. This document details the theory and implementation of coupling two different thermal-hydraulic codes: the system thermal-hydraulics (STH) code System Analysis Module (SAM) and the coarse-mesh computational fluid dynamics (CFD) code Pronghorn. Both applications are included in the Comprehensive Reactor Analysis Bundle (BlueCRAB) code suite and are based on the Multiphysics Object-Oriented Simulation Environment (MOOSE) framework. The domain overlapping (DO) coupling approach was adopted, as it offers proven advantages over more conventional domain decomposition methods. In the DO coupling, SAM provides Pronghorn with boundary conditions that depend on the system-level simulation of the entire plant. In return, the overlapping coupled SAM components–termed “surrogate components”–receive friction factors and source terms computed online based on the Pronghorn simulation. The framework is designed to be generic and enable coupling regardless of geometry and the number of inlet/outlet boundaries in the DO coupled domain. The developed method leads to consistent pressure drops, enthalpies, and scalar concentrations when comparing the coupled SAM and Pronghorn simulations. This document presents the DO coupling approach, along with two verification and two demonstration cases. The proposed problems explore different physical aspects relevant to nuclear reactor analysis, including buoyancy-driven flows, complex flow patterns, and multiple inlets and outlets. Periodically, new versions of this “BlueCRAB Domain Overlapping Coupling: Theory & Verification” report will be issued to reflect future developments and verification tests.

22 - GENERAL STUDIES OF NUCLEAR REACTORS↗

Thermal conductivity of 3D-printed block-copolymer-inspired structures

This study primarily focuses on examining the impact that geometric structure has on thermal conductivity of multi-phase constructs in different 3D-printed poly(lactic acid), PLA, samples. The investigated structures are inspired by morphologies formed by diblock copolymers: lamellae, hexagonally packed cylinders, and gyroid. This research also investigates how volume percentage and material combination influence the thermal conductivity of these structures. Further, the samples can be tailored to simulate various thermal management structures observed in practical applications, such as thermal interface materials in electronic devices. Thermal conductivity ratio is controlled using air, the least conductive material at 0.026 W/(m K), PLA at 0.136 W/(m K), and thermal paste at 5.11 W/(m K). Different models were tested against thermal conductivity measurements in order to capture the effect of material type (PLA-Air versus PLA-Thermal Paste), volume percentage, structure, and orientation. Simple, effective medium models were good predictions of thermal conductivity in lamellar structures, but it was necessary to develop models for conduction through cylindrical and gyroid structures. Finally, all results were normalized to find a universal model that is independent of structure and material. This approach provides a simple method to predict how to reduce or enhance transport properties and heat management capabilities of 3D printed objects.

36 MATERIALS SCIENCE↗

Modeling the Freezing of SN in High Temperature Furnaces

Presently, crystal growth furnaces are being designed that will be used to monitor the crystal melt interface shape and the solutal and thermal fields in its vicinity during the directional freezing of dilute binary alloys, To monitor the thermal field within the solidifying materials, thermocouple arrays (AMITA) are inserted into the sample. Intrusive thermocouple monitoring devices can affect the experimental data being measured. Therefore, one objective of this work is to minimize the effect of the thermocouples on the data generated. To aid in accomplishing this objective, two models of solidification have been developed. Model A is a fully transient, one dimensional model for the freezing of a dilute binary alloy that is used to compute temperature profiles for comparison with measurements taken from the thermocouples. Model B is a fully transient two dimensional model of the solidification of a pure metal. It will be used to uncover the manner in which thermocouple placement and orientation within the ampoule breaks the longitudinal axis of symmetry of the thermal field and the crystal-melt interface. Results and conclusions are based on the comparison of the models with experimental results taken during the freezing of pure Sn.

Brush, Lucien↗

Visualization of CFD Results in Immersive Virtual Environments

An object-oriented event-driven immersive virtual environment (VE) is described for the visualization of computational fluid dynamics (CFD) results. The VE incorporates the following types of primitive software objects: interface objects, support objects, geometric entities, and finite elements. The fluid domain is discretized using either a multi-block structured grid or an unstructured finite element mesh. The VE allows natural 'fly-through' visualization of the model, the CFD grid, and the model's surroundings. In order to help visualize the flow and its effects on the model, the VE incorporates the following objects: stream objects (lines, surface-restricted lines. ribbons. and volumes); colored surfaces; elevation surfaces; surface arrows; global and local iso-surfaces; vortex cores; and separation/attachment surfaces and lines. Most of these objects can be used for dynamically probing the flow. Particles and arrow animations can be displayed on top of stream objects. Primitive response quantities as well as derived quantities can be used. A recursive tree search algorithm is used for real-time point and value search in the CFD grid.

Wasfy, Tamer M.↗

Embedding CLIPS-based expert systems in a real-time object-oriented simulation

This paper describes our continuing work embedding CLIPS-based expert systems into the System Test Environment (STE). We are embedding simple, compact rule engines in STE to simulate the actions of Naval platform commanders and equipment operators. Our eventual goal is to implement expert system modules that will replace all human participants and some of the equipment present in the simulation. This paper will briefly describe STE and then discuss its structure and implementation in more detail. Next, we will consider how expert systems could enhance STE's current capabilities. This will be followed by the examination of a specific CLIPS-based expert system model to be embedded in STE. Finally, a summary of our experience and a discussion of anticipated work on this project will close this paper.

Mcconagha, Patrick↗

Treatment of control data in lunar phototriangulation

In lunar phototriangulation, there is a complete lack of accurate ground control points. The accuracy analysis of the results of lunar phototriangulation must, therefore, be completely dependent on statistical procedure. It was the objective of this investigation to examine the validity of the commonly used statistical procedures, and to develop both mathematical techniques and computer softwares for evaluating (1) the accuracy of lunar phototriangulation; (2) the contribution of the different types of photo support data on the accuracy of lunar phototriangulation; (3) accuracy of absolute orientation as a function of the accuracy and distribution of both the ground and model points; and (4) the relative slope accuracy between any triangulated pass points.

Wong, K. W.↗

Wind tunnel test of model target thrust reversers for the Pratt and Whitney aircraft JT8D-100 series engines installed on a 727-200 airplane

The results of a low speed wind tunnel test of 0.046 scale model target thrust reversers installed on a 727-200 model airplane are presented. The full airplane model was mounted on a force balance, except for the nacelles and thrust reversers, which were independently mounted and isolated from it. The installation had the capability of simulating the inlet airflows and of supplying the correct proportions of primary and secondary air to the nozzles. The objectives of the test were to assess the compatibility of the thrust reversers target door design with the engine and airplane. The following measurements were made: hot gas ingestion at the nacelle inlets; model lift, drag, and pitching moment; hot gas impingement on the airplane structure; and qualitative assessment of the rudder effectiveness. The major parameters controlling hot gas ingestion were found to be thrust reverser orientation, engine power setting, and the lip height of the bottom thrust reverser doors on the side nacelles. The thrust reversers tended to increase the model lift, decrease the drag, and decrease the pitching moment.

Hambly, D.↗

Advanced Turbine Technology Applications Project (ATTAP)

Reports technical effort by AlliedSignal Engines in sixth year of DOE/NASA funded project. Topics include: gas turbine engine design modifications of production APU to incorporate ceramic components; fabrication and processing of silicon nitride blades and nozzles; component and engine testing; and refinement and development of critical ceramics technologies, including: hot corrosion testing and environmental life predictive model; advanced NDE methods for internal flaws in ceramic components; and improved carbon pulverization modeling during impact. ATTAP project is oriented toward developing high-risk technology of ceramic structural component design and fabrication to carry forward to commercial production by 'bridging the gap' between structural ceramics in the laboratory and near-term commercial heat engine application. Current ATTAP project goal is to support accelerated commercialization of advanced, high-temperature engines for hybrid vehicles and other applications. Project objectives are to provide essential and substantial early field experience demonstrating ceramic component reliability and durability in modified, available, gas turbine engine applications; and to scale-up and improve manufacturing processes of ceramic turbine engine components and demonstrate application of these processes in the production environment.

Source record↗