Search NASA⌕ Search

SEARCH · Search NASA

Results for “reasoning about programs”

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 1,009 records · Page 56

Comparison of analytical and experimental performance of a wind-tunnel diffuser section

Wind tunnel diffuser performance is evaluated by comparing experimental data with analytical results predicted by an one-dimensional integration procedure with skin friction coefficient, a two-dimensional interactive boundary layer procedure for analyzing conical diffusers, and a two-dimensional, integral, compressible laminar and turbulent boundary layer code. Pressure, temperature, and velocity data for a 3.25 deg equivalent cone half-angle diffuser (37.3 in., 94.742 cm outlet diameter) was obtained from the one-tenth scale Altitude Wind Tunnel modeling program at the NASA Lewis Research Center. The comparison is performed at Mach numbers of 0.162 (Re = 3.097x19(6)), 0.326 (Re = 6.2737x19(6)), and 0.363 (Re = 7.0129x10(6)). The Reynolds numbers are all based on an inlet diffuser diameter of 32.4 in., 82.296 cm, and reasonable quantitative agreement was obtained between the experimental data and computational codes.

Shyne, R. J.↗

Object oriented studies into artificial space debris

A prototype simulation is being developed under contract to the Royal Aerospace Establishment (RAE), Farnborough, England, to assist in the discrimination of artificial space objects/debris. The methodology undertaken has been to link Object Oriented programming, intelligent knowledge based system (IKBS) techniques and advanced computer technology with numeric analysis to provide a graphical, symbolic simulation. The objective is to provide an additional layer of understanding on top of conventional classification methods. Use is being made of object and rule based knowledge representation, multiple reasoning, truth maintenance and uncertainty. Software tools being used include Knowledge Engineering Environment (KEE) and SymTactics for knowledge representation. Hooks are being developed within the SymTactics framework to incorporate mathematical models describing orbital motion and fragmentation. Penetration and structural analysis can also be incorporated. SymTactics is an Object Oriented discrete event simulation tool built as a domain specific extension to the KEE environment. The tool provides facilities for building, debugging and monitoring dynamic (military) simulations.

Adamson, J. M.↗

Evaluation of analysis techniques for low frequency interior noise and vibration of commercial aircraft

The application of selected analysis techniques to low frequency cabin noise associated with advanced propeller engine installations is evaluated. Three design analysis techniques were chosen for evaluation including finite element analysis, statistical energy analysis (SEA), and a power flow method using element of SEA (computer program Propeller Aircraft Interior Noise). An overview of the three procedures is provided. Data from tests of a 727 airplane (modified to accept a propeller engine) were used to compare with predictions. Comparisons of predicted and measured levels at the end of the first year's effort showed reasonable agreement leading to the conclusion that each technique had value for propeller engine noise predictions on large commercial transports. However, variations in agreement were large enough to remain cautious and to lead to recommendations for further work with each technique. Assessment of the second year's results leads to the conclusion that the selected techniques can accurately predict trends and can be useful to a designer, but that absolute level predictions remain unreliable due to complexity of the aircraft structure and low modal densities.

Landmann, A. E.↗

Today's Training in the High Technology Arena

To keep in tune with the rapidly changing 'Hardware' technology, it is imperative that all of the supporting components of a program's efforts reflect these increases in technology. To maintain a work force that keeps in tune with the ever increasing technology base, training needs to remain a major consideration in all types of organizations. This paper focuses on the area of training and education and suggests a reasonable, cost effective alternative to carrying the entire burden of developing, training and maintaining a workforce in a rapidly changing, highly technological environment.

Baylis, William T.↗

How to Control Airline Routes from the Supply Side: The Case of TAP

Competition in the European airline industry is currently fierce in the face of depressed demand conditions, and in the wake of privatizations and liberalization. The Portuguese flag carrier, TAP Air Portugal, operates within this environment. It is a medium sized carrier that was part of the defunct Qualiflyer Group alliance and has recently joined the Star Alliance. It controls more than 50% of the air market between Europe and Brazil and Europe and Angola. Nevertheless, it has been experiencing financial losses. One reason for this is that, following the reasoning of Ronald Coase (1946), it is difficult for any company with decreasing average costs to recover full costs in a highly competitive market. One way of approaching the problem is to establish quasi-monopoly power and airlines have done this through such things as frequent flyer programs and hub-and-spoke operations. Other airlines, notably charter carriers, have sought to adjust capacity and services to meet an anticipated cash flow. In practice, many have used a combination of measures with mixed success. This paper focuses on how TAP has responded to changing conditions by adjusting its supply-side activities in terms of restructuring its network to maximize potential revenues.

Button, Kenneth↗

Multijunction Solar Cell Development and Production at Spectrolab

Development of multijunction space solar cells is much like that for any high technology product. New products face two major pressures from the market: improving performance while maintaining heritage. This duality of purpose is not new and has been represented since ancient times by the Roman god Janus.[1] This deity was typically represented as two faces on a single head: one facing forward and the other to the rear. The image of Janus has been used as symbolism for many combined forces of dual purpose, such as the balance in life between beginnings and endings, or between art and science. For our purposes, Janus represents our design philosophy balance between looking to the future for improvement while simultaneously blending past heritage. In the space photovoltaics industry there are good reasons for both purposes. Looking to the past, a product must have a space flight heritage to gain widespread use. The main reason being that this is an unforgiving business. Spacecraft are expensive to build, launch and operate. Typically once a satellite is launched, in-field service for a power systems problem is near impossible.[2Balanced with this is looking forward. New missions typically require more power than previous programs or attempt new objectives such as a new orbit. And there is always the cost pressure for both the satellite itself as well as the launch costs. Both of which push solar technology to improve power density at a lower cost. The consequence of this balance in a high-risk environment is that space PV develops as a series of infrequent large technology steps or generational changes interspersed with more frequent small technology steps or evolutionary changes. Figure 1 gives a bit of clarification on this point. It depicts the historical progress in space solar cells tracked by efficiency against first launch date for most major products introduced by Spectrolab. The first generation is the Si-based technology reaching a peak values near 15% AM0 (herein denoted for max. power, AM0, 1.353 W/cm2, 28 C). The GaAs single junction device generation supplanted this technology with first flight of GaAs on GaAs substrate in 1982.[3] More recently this generation has been supplanted by the multijunction solar cell GaInP/GaAs/Ge generation. The first launch of a commercial satellite powered by multijunction technology was in 1997 (Hughes HS 601HP) using solar arrays based on Spectrolab s dual junction (DJ) cells. The cells at that time were an impressive 21.5% efficient at beginning-of-life (BOL).[4] Eight years later, the multijunction device has evolved through several versions. The incorporation of an active Ge subcell formed the Triple Junction (TJ) product line at 25.1% efficient, on orbit since November 2001. The evolution of the TJ into the Improved Triple Junction (ITJ) at 26.8% efficient has been on orbit since June of 2002.[5]

Fetzer, Chris↗

Andra's Memory Program - Linguistics and Semiology - 15587

In the framework of its Memory Program, Andra has launched various studies related to semiotics, for the medium and long term. Part of this work, dealing with linguistics and semiotics, is performed at the Centre de Recherches Semiotiques (CeReS) of the University of Limoges. Preliminary results highlight the fact that language durability may be reasonably considered for the medium term, but cannot be expected beyond a few thousands of years, and that languages cannot guarantee message appropriation. The role of Man and of the disposal site itself in message transmission is emphasized. In this context, art may play an important role in this transmission, by transmitting the meaning without necessarily using language. By the way, Andra has been exploring for several years the role of art for memory transmission, by supporting the work of artists interested in this field. In future research, Andra will promote more cross fertilization of artistic and academic reflections. (authors)

99 GENERAL AND MISCELLANEOUS↗

Glovebox Handling of High-Consequence Materials with Super Baxter and Gesture-Based Programming - 18598

The handling of high-consequence materials is a difficult task requiring safe object manipulation while avoiding the risk of contamination or spillage. Specific operations including opening containers, segregating the wastes, and repackaging are required to be safely executed inside contained spaces such as gloveboxes. However, the workers' ability and dexterity to manipulate objects through thick protective gloves are compromised in many aspects. The fixed position of the glovebox arm ports restricts the movements of the workers' arms, which also makes it hard to lift heavy objects. Further, the operational workspace inside the glovebox is restricted by the gloves' reachability. Safety of workers is the paramount concern in glovebox operations and the very reason for their existence. Sharp edges and tools increases the risk of glove punctures, which may expose the operator to chemicals and radiation and risks contamination in the vicinity outside the glovebox. The operators are also affected by ergonomic stressors due to prolonged and repetitive operations. To achieve a high degree of human safety, robotic solutions to handle high-consequence materials inside the glovebox are desirable, as they remove the operators from the hazards listed above. However, robots, in general, lack the degree of adaptability necessary for most high-consequence material handling tasks as these tasks are often unstructured or highly variable. Likewise, most human operators, while highly skilled in the tasks at hand (task expertise), lack the robot programming skills necessary to adapt the robot's motions to the variations (programming expertise). A way to bridge this divide is to make robot programming more intuitive to human operators. Since humans naturally teach one another through demonstration and learning, robotic 'programming by demonstration' paradigms have begun to appear to reduce the burden of robot reprogramming. Gesture-Based Programming attempts to achieve that by enabling a robot to observe the normal actions and affordances of a human performing a task to learn to map those onto the skills of the robot. In the end, this approach permits benefits from both the human and the robot: the human's adaptive decision making and the robot's resilience to high-consequence material. Robotic solutions assuringly provide protection for the operators, however their autonomy brings about other potential risks. Artificial Intelligence is not perfect; it is a black box, which can produce results, but the full extent of those results may not be known precisely. In self-driving cars, a hypothetical AI problem is the 'green man detector'. Since self-driving cars have presumably never seen a green man, how can we know it won't veer toward him the first time it sees a green man? Likewise, even though GbP provides an open method for safe task execution replicating a human, incorrect task inferences can lead to potential collisions or unintended operations. Thus, a hardware safety measure is proposed to provide reliable operation inside the glovebox, and true safe operations are achieved by mechanically limiting the operational range of each arm link. The operational range is computed and validated through exhaustive offline simulations, which can be streamlined by affordable computing power. Super Baxter is one such robot which incorporates these capabilities. It is a human-like, bimanual robot, being developed at the Collaborative Robotics Lab (CRL) in conjunction with the Dept. of Energy/Environmental Management, Rethink Robotics, Barrett Technology, and the NSF Center for Robots and Sensors for the Human Well-Being (RoSe-HUB). Super Baxter is envisioned to represent the next generation of collaborative robots that will be intrinsically human-safe, as well as exceptionally human-intuitive. In summary, Super Baxter will enable safe glovebox operations through low-shot Gesture based Programming incorporated with hardware safety measures. Two aspects of safety will be discussed in the paper. First, the safety of the operator achieved by allowing him to program Super Baxter remotely through Gesture based Programming. Second, the safety of the glovebox, achieved by incorporating hardware safety measures using joint limits. Further, the capability of Super Baxter on Gesture based Programming is demonstrated through typical object manipulation tasks in glovebox operations. (authors)

42 ENGINEERING↗

Processing of Space Resources to Enable the Vision for Space Exploration

The NASA human exploration program as directed by the Vision for Exploration (G.W. Bush, Jan. 14,2004) includes developing methods to process materials on the Moon and beyond to enable safe and affordable human exploration. Processing space resources was first popularized (O Neill 1976) as a technically viable, economically feasible means to build city sized habitats and multi GWatt solar power satellites in Earth/Moon space. Although NASA studies found the concepts to be technically reasonable in the post Apollo era (AMES 1979), the front end costs the limits of national or corporate investment. In the last decade analysis of space on has shown it to be economically justifiable even on a relatively small mission or commercial scenario basis. The Mars Reference Mission analysis (JSC 1997) demonstrated that production of return propellant on Mars can enable an order of magnitude decrease in the costs of human Mars missions. Analysis (by M. Duke 2003) shows that production of propellant on the Moon for the Earth based satellite industries can be commercially viable after a human lunar base is established. Similar economic analysis (Rapp 2005) also shows large cost benefits for lunar propellant production for Mars missions and for the use of lunar materials for the production of photovoltaic power (Freundlich 2005). Recent technologies could enable much smaller initial costs, to achieve mass, energy, and life support self sufficiency, than were achievable in the 1970s. If the Exploration Vision program is executed with a front end emphasis on space resources, it could provide a path for human self reliance beyond Earth orbit. This path can lead to an open, non-zero-sum, future for humanity with safer human competition with limitless growth potential. This paper discusses extension of the analysis for space resource utilization, to determine the minimum systems necessary for human self sufficiency and growth off Earth. Such a approach can provide a more compelling and comprehensive path to space resource utilization.

Curreri, Peter A.↗

The scheme machine: A case study in progress in design derivation at system levels

The Scheme Machine is one of several design projects of the Digital Design Derivation group at Indiana University. It differs from the other projects in its focus on issues of system design and its connection to surrounding research in programming language semantics, compiler construction, and programming methodology underway at Indiana and elsewhere. The genesis of the project dates to the early 1980's, when digital design derivation research branched from the surrounding research effort in programming languages. Both branches have continued to develop in parallel, with this particular project serving as a bridge. However, by 1990 there remained little real interaction between the branches and recently we have undertaken to reintegrate them. On the software side, researchers have refined a mathematically rigorous (but not mechanized) treatment starting with the fully abstract semantic definition of Scheme and resulting in an efficient implementation consisting of a compiler and virtual machine model, the latter typically realized with a general purpose microprocessor. The derivation includes a number of sophisticated factorizations and representations and is also deep example of the underlying engineering methodology. The hardware research has created a mechanized algebra supporting the tedious and massive transformations often seen at lower levels of design. This work has progressed to the point that large scale devices, such as processors, can be derived from first-order finite state machine specifications. This is roughly where the language oriented research stops; thus, together, the two efforts establish a thread from the highest levels of abstract specification to detailed digital implementation. The Scheme Machine project challenges hardware derivation research in several ways, although the individual components of the system are of a similar scale to those we have worked with before. The machine has a custom dual-ported memory to support garbage collection. It consists of four tightly coupled processes--processor, collector, allocator, memory--with a very non-trivial synchronization relationship. Finally, there are deep issues of representation for the run-time objects of a symbolic processing language. The research centers on verification through integrated formal reasoning systems, but is also involved with modeling and prototyping environments. Since the derivation algebra is basd on an executable modeling language, there is opportunity to incorporate design animation in the design process. We are looking for ways to move smoothly and incrementally from executable specifications into hardware realization. For example, we can run the garbage collector specification, a Scheme program, directly against the physical memory prototype, and similarly, the instruction processor model against the heap implementation.

Johnson, Steven D.↗

Optimal ascent trajectories of a two stage space shuttle vehicle

The effects of aerodynamic lift on the performance capability of a two stage space shuttle are discussed. The performance program uses three degrees of freedom to describe the trajectory of a point mass moving over the rotating earth. Two cases of ascent modes are described and compared. It is concluded that significant improvements in performance through the use of lift appear to be configuration dependent, and for this reason cannot be generalized for all spacecraft configurations.

Wilson, R. A.↗

On optimal control of linear systems in the presence of multiplicative noise

This correspondence considers the problem of optimal regulator design for discrete time linear systems subjected to white state-dependent and control-dependent noise in addition to additive white noise in the input and the observations. A pseudo-deterministic problem is first defined in which multiplicative and additive input disturbances are present, but noise-free measurements of the complete state vector are available. This problem is solved via discrete dynamic programming. Next is formulated the problem in which the number of measurements is less than that of the state variables and the measurements are contaminated with state-dependent noise. The inseparability of control and estimation is brought into focus, and an 'enforced separation' solution is obtained via heuristic reasoning in which the control gains are shown to be the same as those in the pseudo-deterministic problem. An optimal linear state estimator is given in order to implement the controller.

Joshi, S. M.↗

Effects of static tensile load on the thermal expansion of Gr/PI composite material

The effect of static tensile load on the thermal expansion of Gr/PI composite material was measured for seven different laminate configurations. A computer program was developed which implements laminate theory in a piecewise linear fashion to predict the coupled nonlinear thermomechanical behavior. Static tensile load significantly affected the thermal expansion characteristics of the laminates tested. This effect is attributed to a fiber instability micromechanical behavior of the constituent materials. Analytical results correlated reasonably well with free thermal expansion tests (no load applied to the specimen). However, correlation was poor for tests with an applied load.

Farley, G. L.↗

Dynamic resource allocation in a hierarchical multiprocessor system: A preliminary study

An integrated system approach to dynamic resource allocation is proposed. Some of the problems in dynamic resource allocation and the relationship of these problems to system structures are examined. A general dynamic resource allocation scheme is presented. A hierarchial system architecture which dynamically maps between processor structure and programs at multiple levels of instantiations is described. Simulation experiments were conducted to study dynamic resource allocation on the proposed system. Preliminary evaluation based on simple dynamic resource allocation algorithms indicates that with the proposed system approach, the complexity of dynamic resource management could be significantly reduced while achieving reasonable effective dynamic resource allocation.

Ngai, Tin-Fook↗

Assessment, development, and application of combustor aerothermal models

The gas turbine combustion system design and development effort is an engineering exercise to obtain an acceptable solution to the conflicting design trade-offs between combustion efficiency, gaseous emissions, smoke, ignition, restart, lean blowout, burner exit temperature quality, structural durability, and life cycle cost. For many years, these combustor design trade-offs have been carried out with the help of fundamental reasoning and extensive component and bench testing, backed by empirical and experience correlations. Recent advances in the capability of computational fluid dynamcis codes have led to their application to complex 3-D flows such as those in the gas turbine combustor. A number of U.S. Government and industry sponsored programs have made significant contributions to the formulation, development, and verification of an analytical combustor design methodology which will better define the aerothermal loads in a combustor, and be a valuable tool for design of future combustion systems. The contributions made by NASA Hot Section Technology (HOST) sponsored Aerothermal Modeling and supporting programs are described.

Holdeman, J. D.↗

Evolution design requirements and design strategy

Evolution of Space Station Freedom is justified for reasons which vary from more effectively utilizing the manned base to providing a means for incorporating new technologies as they become available. Increasing or, more importantly, balancing the resources that are provided to the users is very critical to effectively utilizing the station. At permanently manned phases of the program, there will be four crew members that will be supporting and monitoring three laboratories. Accepted user mission databases have shown a demand for more crew, power, and volume than is provided by the baseline. As the work done in space by NASA continues to expand, the station will take a more active role in the missions. New functionalities for its operation and support of other missions will be required. One important driver for growth, particularly in the area of structures, is the inability of the baseline configuration to store all the Orbital Replacement Units (ORU) spares that will be required on orbit. New technologies drive growth by providing a means of streamlining operations and possibly reducing the demand on ExtraVehicular Activity (EVA). They will also ensure that the station does not become plagued with obsolete equipment.

Monell, Donald W.↗

Tool for Analysis and Reduction of Scientific Data

The Automated Scheduling and Planning Environment (ASPEN) computer program has been updated to version 3.0. ASPEN as a whole (up to version 2.0) has been summarized, and selected aspects of ASPEN have been discussed in several previous NASA Tech Briefs articles. Restated briefly, ASPEN is a modular, reconfigurable, application software framework for solving batch problems that involve reasoning about time, activities, states, and resources. Applications of ASPEN can include planning spacecraft missions, scheduling of personnel, and managing supply chains, inventories, and production lines. ASPEN 3.0 can be customized for a wide range of applications and for a variety of computing environments that include various central processing units and randomaccess memories. Domain-specific reasoning modules (e.g., modules for determining orbits for spacecraft) can easily be plugged into ASPEN 3.0. Improvements over other, similar software that have been incorporated into ASPEN 3.0 include a provision for more expressive time-line values, new parsing capabilities afforded by an ASPEN language based on Extensible Markup Language, improved search capabilities, and improved interfaces to other, utility-type software (notably including MATLAB).

James, Mark↗

Evaluation of the U.S. Department of Energy Challenge Home Program Certification of Production Builders

The purpose of this project was to evaluate integrated packages of advanced measures in individual test homes to assess their performance with respect to Building America program goals, specifically compliance with the DOE Challenge Home Program. BSC consulted on the construction of five test houses by three cold climate production builders in three U.S. cities and worked with the builders to develop a design package tailored to the cost-related impacts for each builder. Also, BSC provided support through performance testing of the five test homes. Overall, the builders have concluded that the energy related upgrades (either through the prescriptive or performance path) represent reasonable upgrades. The builders commented that while not every improvement in specification was cost effective (as in a reasonable payback period), many were improvements that could improve the marketability of the homes and serve to attract more energy efficiency discerning prospective homeowners. However, the builders did express reservations on the associated checklists and added certifications. An increase in administrative time was observed with all builders. The checklists and certifications also inherently increase cost due to: adding services to the scope of work for various trades, such as HERS Rater, HVAC contractor; and increased material costs related to the checklists, especially the EPA Indoor airPLUS and EPA WaterSense® Efficient Hot Water Distribution requirement.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗