Search NASA⌕ Search

SEARCH · Search NASA

Results for “object oriented constructs”

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 91 records · Page 5
All sourcesNASA NTRSDOE OSTI
NASA NTRS1974

Technology Utilization House Study Report

The objectives of Project TECH are: (1) to construct a single family detached dwelling for demonstrating the application of advanced technology and minimizing the requirement for energy and utility services, and (2) to help influence future development in home construction by defining the interaction of integrated energy and water management systems with building configuration and construction materials. Components and methods expected to be cost effective over a 20 year span were studied. Emphasis was placed on the utilization of natural heating and cooling characteristics. Orientation and location of windows, landscaping, natural ventilation, and characteristics of the local climate and microclimate were intended to be used to best advantage. Energy conserving homes are most efficient when design for specific sites, therefore project TECH should not be considered a prototype design suitable for all locations. However, it does provide ideas and analytical methods which can be applied to some degree in all housing.

Source record↗
NASA NTRS2003

Development of a Dynamically Configurable, Object-Oriented Framework for Distributed, Multi-modal Computational Aerospace Systems Simulation: Second Year Progress Report

Mesh generation has long been recognized as a bottleneck in the CFD process. While much research on automating the volume mesh generation process have been relatively successful,these methods rely on appropriate initial surface triangulation to work properly. Surface discretization has been one of the least automated steps in computational simulation due to its dependence on implicitly defined CAD surfaces and curves. Differences in CAD peometry engines manifest themselves in discrepancies in their interpretation of the same entities. This lack of "good" geometry causes significant problems for mesh generators, requiring users to "repair" the CAD geometry before mesh generation. The problem is exacerbated when CAD geometry is translated to other forms (e.g., IGES )which do not include important topological and construction information in addition to entity geometry. One technique to avoid these problems is to access the CAD geometry directly from the mesh generating software, rather than through files. By accessing the geometry model (not a discretized version) in its native environment, t h s a proach avoids translation to a format which can deplete the model of topological information. Our approach to enable models developed in the Denali software environment to directly access CAD geometry and functions is through an Application Programming Interface (API) known as CAPRI. CAPRI provides a layer of indirection through which CAD-specific data may be accessed by an application program using CAD-system neutral C and FORTRAN language function calls. CAPRI supports a general set of CAD operations such as truth testing, geometry construction and entity queries.

Afjeh, Abdollah A.↗
NASA NTRS2008

Crack Offset Measurement With the Projected Laser Target Device

The device and associated analysis methodology summarized in this report were developed for the purpose of estimating the size of discontinuities in the surface of the foam that covers the Space Shuttle External Tank. These surface offsets are thought to be due to subsurface cracks in the foam insulation. The mathematical analysis and procedure described here provide a method to quantity the dimensions of the crack offset in a direction perpendicular to the surface, making use of the projected laser target device (PLTD) tool and a laser line projector. The keys to the construction and use of the PLTD are the following geometrical design requirements: Laser dots are on a square grid: length on a side. Laser beams are perpendicular to projected surface. Beams are parallel out to the distance being projected. The PLTD can be used to (1) calibrate fixed cameras of unknown magnification and orientation (far-field solution); (2) provide equivalent calibration to multiple cameras, previously achieved only by the use of known target points, for example, in 3.D foreign-object debris tracking on a fixed launch platform; (3) compute scaling for conventional 2.D images, and depth of field for 3.D images (near-field solution); and (4) in conjunction with a laser line projector, achieve accurate measurements of surface discontinuity (cracks) in a direction perpendicular to the surface.

Source record↗
NASA NTRS2017

A Mobile Robot for Locomotion Through a 3D Periodic Lattice Environment

This paper describes a novel class of robots specifically adapted to climb periodic lattices, which we call 'Relative Robots'. These robots use the regularity of the structure to simplify the path planning, align with minimal feedback, and reduce the number of degrees of freedom (DOF) required to locomote. They can perform vital inspection and repair tasks within the structure that larger truss construction robots could not perform without modifying the structure. We detail a specific type of relative robot designed to traverse a cuboctahedral (CubOct) cellular solids lattice, show how the symmetries of the lattice simplify the design, and test these design methodologies with a CubOct relative robot that traverses a 76.2 mm (3 in.) pitch lattice, MOJO (Multi-Objective JOurneying robot). We perform three locomotion tasks with MOJO: vertical climbing, horizontal climbing, and turning, and find that, due to changes in the orientation of the robot relative to the gravity vector, the success rate of vertical and horizontal climbing is significantly different.

Aeronautics↗
NASA NTRS1990

Constructing an advanced software tool for planetary atmospheric modeling

A prototype is described that can serve as a scientific-modeling software tool to facilitate the development of useful scientific models. The prototype is developed for applications to planetary modeling, and specific examples are given that relate to the atmosphere of Titan. The scientific modeling tool employs a high-level domain-specific modeling language, several data-display facilities, and a library of experimental datasets and scientific equations. The planetary modeling prototype links uncomputed physical variables to computed variables with computational transformations based on a backchaining procedure. The system - implemented in LISP with an object-oriented knowledge-representation tool - is run on a workstation that provides interface with several models. The prototype is expected to form the basis for a sophisticated modeling tool that can permit active experimentation.

Keller, Richard M.↗
NASA NTRS1994

Measurement and characterization of force dynamics in high T(sub c) superconductors

Magnetic bearing implementations using more exotic superconducting phenomena have been proliferating in recent years because they have important advantages over conventional implementations. For example, the stable suspension of a six degrees-of-freedom object by superconducting means can be achieved without a control system and with the use of only a single superconductor. It follows that the construction becomes much simpler with decreased need for position sensors and stabilizers. However, it is recognized that the design of superconducting systems can be difficult because important characteristics relating to the 6 degree-of-freedom dynamics of an object suspended magnetically are not readily available and the underlying principles of superconducting phenomena are not yet completely understood. To eliminate some of the guesswork in the design process, this paper proposes a system which can resolve the mechanical properties of suspension by superconductivity and provide position and orientation dependent data about the system's damping, stiffness, and frequency response characteristics. This system employs an actively-controlled magnetically-suspended fine-motion device that can also be used as a six degree-of-freedom force sensor. By attaching the force sensor to a permanent magnet that is being levitated above a superconducting magnet, mechanical characteristics of the superconductor levitation can be extracted. Such information would prove useful for checking the validity of theoretical models and may even give insights into superconducting phenomena.

Higuchi, Toshiro↗
NASA NTRS2003

Improved Collision-Detection Method for Robotic Manipulator

An improved method has been devised for the computational prediction of a collision between (1) a robotic manipulator and (2) another part of the robot or an external object in the vicinity of the robot. The method is intended to be used to test commanded manipulator trajectories in advance so that execution of the commands can be stopped before damage is done. The method involves utilization of both (1) mathematical models of the robot and its environment constructed manually prior to operation and (2) similar models constructed automatically from sensory data acquired during operation. The representation of objects in this method is simpler and more efficient (with respect to both computation time and computer memory), relative to the representations used in most prior methods. The present method was developed especially for use on a robotic land vehicle (rover) equipped with a manipulator arm and a vision system that includes stereoscopic electronic cameras. In this method, objects are represented and collisions detected by use of a previously developed technique known in the art as the method of oriented bounding boxes (OBBs). As the name of this technique indicates, an object is represented approximately, for computational purposes, by a box that encloses its outer boundary. Because many parts of a robotic manipulator are cylindrical, the OBB method has been extended in this method to enable the approximate representation of cylindrical parts by use of octagonal or other multiple-OBB assemblies denoted oriented bounding prisms (OBPs), as in the example of Figure 1. Unlike prior methods, the OBB/OBP method does not require any divisions or transcendental functions; this feature leads to greater robustness and numerical accuracy. The OBB/OBP method was selected for incorporation into the present method because it offers the best compromise between accuracy on the one hand and computational efficiency (and thus computational speed) on the other hand.

Leger, Chris↗
NASA NTRS2005

Jeagle: a JAVA Runtime Verification Tool

We introduce the temporal logic Jeagle and its supporting tool for runtime verification of Java programs. A monitor for an Jeagle formula checks if a finite trace of program events satisfies the formula. Jeagle is a programming oriented extension of the rule-based powerful Eagle logic that has been shown to be capable of defining and implementing a range of finite trace monitoring logics, including future and past time temporal logic, real-time and metric temporal logics, interval logics, forms of quantified temporal logics, and so on. Monitoring is achieved on a state-by-state basis avoiding any need to store the input trace. Jeagle extends Eagle with constructs for capturing parameterized program events such as method calls and method returns. Parameters can be the objects that methods are called upon, arguments to methods, and return values. Jeagle allows one to refer to these in formulas. The tool performs automated program instrumentation using AspectJ. We show the transformational semantics of Jeagle.

DAmorim, Marcelo↗
NASA NTRS1951

A Specially Constructed Metallograph for Use at Elevated Temperatures

A Metallographic microscope was developed with provision for heating a specimen to 1800 F in protective atmospheres, that is, vacuum or gas. A special objective was constructed of reflecting elements with an unusually long working distance (7/16 in.) and a high numerical aperture (0.5). Changes in specimen microstructure were observed and recorded on 35-millimeter motion-picture film. The resulting pictures were projected as motion pictures and individual frames were cut and enlargements made for close observation. Structural changes upon heating a 0.35-percent annealed carbon steel and a 5-percent tin phosphor bronze specimen were observed and recorded. Newly formed microstructure were revealed by selective vacuum etching and specimen relief resulting from recrystallization and varying grain orientation.

INSTRUMENTS, LABORATORY↗
NASA NTRS1996

Optimization of residual stresses in MMC's through the variation of interfacial layer architectures and processing parameters

The objective of this work was the development of efficient, user-friendly computer codes for optimizing fabrication-induced residual stresses in metal matrix composites through the use of homogeneous and heterogeneous interfacial layer architectures and processing parameter variation. To satisfy this objective, three major computer codes have been developed and delivered to the NASA-Lewis Research Center, namely MCCM, OPTCOMP, and OPTCOMP2. MCCM is a general research-oriented code for investigating the effects of microstructural details, such as layered morphology of SCS-6 SiC fibers and multiple homogeneous interfacial layers, on the inelastic response of unidirectional metal matrix composites under axisymmetric thermomechanical loading. OPTCOMP and OPTCOMP2 combine the major analysis module resident in MCCM with a commercially-available optimization algorithm and are driven by user-friendly interfaces which facilitate input data construction and program execution. OPTCOMP enables the user to identify those dimensions, geometric arrangements and thermoelastoplastic properties of homogeneous interfacial layers that minimize thermal residual stresses for the specified set of constraints. OPTCOMP2 provides additional flexibility in the residual stress optimization through variation of the processing parameters (time, temperature, external pressure and axial load) as well as the microstructure of the interfacial region which is treated as a heterogeneous two-phase composite. Overviews of the capabilities of these codes are provided together with a summary of results that addresses the effects of various microstructural details of the fiber, interfacial layers and matrix region on the optimization of fabrication-induced residual stresses in metal matrix composites.

Pindera, Marek-Jerzy↗
NASA NTRS2003

Citizen Explorer: An Earth Observer With New Small Satellite Technology - 1

Citizen Explorer-I (CX-I), designed and built by students at Colorado Space Grant Consortium in Boulder to provide global ozone monitoring, employs a unique mission architecture and several innovative technologies during its mission. The mission design allows K-12 schools around the world to be involved as ground stations available to receive science data and telemetry from CX-I. Another important technology allows the spacecraft to be less reliant on ground operators. Spacecraft Command Language (SCL) allows mission designers to set constraints on the satellite operations. The satellite then automatically adheres to the constraints when the satellite is out of contact with Mission Operations. In addition to SCL, a low level of artificial intelligence will be supplied to the spacecraft through the use of the Automated Scheduling and Planning ENvironment (ASPEN). ASPEN is used to maintain a spacecraft schedule in order to achieve the objectives a mission operator would normally have to complete. Within the communications system of CX-I, internet of CX-I, internet protocols are the main method for communicating with the satellite. As internet protocols have not been widely used in satellite communication, CX-I provides an opportunity to study the effectiveness of using internet protocols over radio links. The Attitude Determination and Control System (ADCS) on CX-I uses a gravity gradient boom as a means of orienting the satellite's science instruments toward nadir. The boom design is unique because it is constructed of tape measure material. These new technologies' effectiveness will be tested for use on future small satellite projects within the space satellite industry.

Allen, Zachary↗
NASA NTRS2002

Software Construction and Analysis Tools for Future Space Missions

NASA and its international partners will increasingly depend on software-based systems to implement advanced functions for future space missions, such as Martian rovers that autonomously navigate long distances exploring geographic features formed by surface water early in the planet's history. The software-based functions for these missions will need to be robust and highly reliable, raising significant challenges in the context of recent Mars mission failures attributed to software faults. After reviewing these challenges, this paper describes tools that have been developed at NASA Ames that could contribute to meeting these challenges; 1) Program synthesis tools based on automated inference that generate documentation for manual review and annotations for automated certification. 2) Model-checking tools for concurrent object-oriented software that achieve memorability through synergy with program abstraction and static analysis tools.

Lowry, Michael R.↗
NASA NTRS1991

Maintaining consistency in distributed systems

In systems designed as assemblies of independently developed components, concurrent access to data or data structures normally arises within individual programs, and is controlled using mutual exclusion constructs, such as semaphores and monitors. Where data is persistent and/or sets of operation are related to one another, transactions or linearizability may be more appropriate. Systems that incorporate cooperative styles of distributed execution often replicate or distribute data within groups of components. In these cases, group oriented consistency properties must be maintained, and tools based on the virtual synchrony execution model greatly simplify the task confronting an application developer. All three styles of distributed computing are likely to be seen in future systems - often, within the same application. This leads us to propose an integrated approach that permits applications that use virtual synchrony with concurrent objects that respect a linearizability constraint, and vice versa. Transactional subsystems are treated as a special case of linearizability.

Birman, Kenneth P.↗
NASA NTRS2017

Optimal Transport Based Control of Granular Imaging System in Space

"Orbiting Rainbows” is a paradigm for creating a space-based observatory (telescope) from confined and aligned granular media. The overall objective is to construct a very large and lightweight aperture in space using a cloud of micron-sized particles held in position and aligned by the application of external electromagnetic fields, thus alleviating the extreme expense of deploying and stabilizing large monolithic telescopes by reducing the mass of the primary aperture. Adaptive optics techniques for wavefront stabilization and computational imaging techniques are then used to remove the optical noise from the scattering reflections of the granular medium, and finally producing clean images within the diffraction limit. In this paper, we address one of the key challenges of this new paradigm, namely controlling the position and orientation of the granules or particles so that the cloud of particles achieves the desired shape of an ultra-lightweight telescope and points into the right orientation. A further complication arises due to the fact that the particles do not have any onboard actuators. A number of external electric-field-based actuators are used to control all the particles simultaneously. Moreover, the number of actuators are orders-of-magnitude smaller than the number of particles, making this system largely under-actuated. Since the cloud of particles in any plausible configuration can be modeled as a probability distribution over the workspace, we formulate this control challenge as an optimal transport problem and then show that our optimal transport based control law drives the cloud of particles from any initial distribution to the desired position distribution (optical surface) and angular distribution (polarization state). Simulation results demonstrate the effectiveness of our approach.

Bandyopadhyay, Saptarshi↗
NASA NTRS1973

Remote sensing of permafrost and geological hazards in Alaska

The author has identified the following significant results. The study of the ERTS-1 imagery of Alaska indicates the following: that areas of different topographic expression affecting the distribution and character of permafrost can be distinguished clearly; that on the Arctic North Slope, regional differences in the distribution and character of permafrost-related oriented thaw lakes can be observed; that the distribution of certain types of geologic materials having a significant effect on the character of permafrost can be delineated on a regional scale; and that the resolution of the imagery is adequate to identify large scale geologic hazards such as landslides, glacier-dammed lakes, aufeis fields, etc. The information concerning the distribution and character of permafrost and geologic hazards to the gained in accomplishing the objectives of this project will be an invaluable aid in solving engineering-geologic and environmental problems related to route and site selection for structures such as roads, railroads, pipelines, and large installations; to distribution of natural construction materials; and to construction and maintenance.

Ferrians, O. J., Jr.↗
NASA NTRS1991

A mission executor for an autonomous underwater vehicle

The Naval Postgraduate School has been conducting research into the design and testing of an Autonomous Underwater Vehicle (AUV). One facet of this research is to incrementally design a software architecture and implement it in an advanced testbed, the AUV II. As part of the high level architecture, a Mission Executor is being constructed using CLIPS (C Language Integrated Production System) version 5.0. The Mission Executor is an expert system designed to oversee progress from the AUV launch point to a goal area and back to the origin. It is expected that the executor will make informed decisions about the mission, taking into account the navigational path, the vehicle subsystem health, and the sea environment, as well as the specific mission profile which is downloaded from an offboard mission planner. Heuristics for maneuvering, avoidance of uncharted obstacles, waypoint navigation, and reaction to emergencies (essentially the expert knowledge of a submarine captain) are required. Many of the vehicle subsystems are modeled as objects using the CLIPS Object Oriented Language (COOL) embedded in CLIPS 5.0. Also, truth maintenance is applied to the knowledge base to keep configurations updated.

Lee, Yuh-Jeng↗
NASA NTRS2004

Precise and Efficient Static Array Bound Checking for Large Embedded C Programs

In this paper we describe the design and implementation of a static array-bound checker for a family of embedded programs: the flight control software of recent Mars missions. These codes are large (up to 250 KLOC), pointer intensive, heavily multithreaded and written in an object-oriented style, which makes their analysis very challenging. We designed a tool called C Global Surveyor (CGS) that can analyze the largest code in a couple of hours with a precision of 80%. The scalability and precision of the analyzer are achieved by using an incremental framework in which a pointer analysis and a numerical analysis of array indices mutually refine each other. CGS has been designed so that it can distribute the analysis over several processors in a cluster of machines. To the best of our knowledge this is the first distributed implementation of static analysis algorithms. Throughout the paper we will discuss the scalability setbacks that we encountered during the construction of the tool and their impact on the initial design decisions.

Venet, Arnaud↗
NASA NTRS1987

Simplifying the construction of domain-specific automatic programming systems: The NASA automated software development workstation project

An overview is presented of the Automated Software Development Workstation Project, an effort to explore knowledge-based approaches to increasing software productivity. The project focuses on applying the concept of domain specific automatic programming systems (D-SAPSs) to application domains at NASA's Johnson Space Center. A version of a D-SAPS developed in Phase 1 of the project for the domain of space station momentum management is described. How problems encountered during its implementation led researchers to concentrate on simplifying the process of building and extending such systems is discussed. Researchers propose to do this by attacking three observed bottlenecks in the D-SAPS development process through the increased automation of the acquisition of programming knowledge and the use of an object oriented development methodology at all stages of the program design. How these ideas are being implemented in the Bauhaus, a prototype workstation for D-SAPS development is discussed.

Allen, Bradley P.↗