SEARCH · Engineering Papers

Results for “coordination environment”

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

All sources NASA NTRS DOE OSTI

NASA NTRSDate not supplied

Using Open Standards and NASA Open Source Simulation Tools to Model Artemis Base Camp Mission Timelines

The United States’ National Aeronautics and Space Administration (NASA) has announced that the Artemis Program will return humans to the Moon, establishing a persistent presence with the Artemis Base Camp (ABC), and extend human exploration to Mars. The NASA Exploration Systems Simulations (NExSyS) team at NASA’s Johnson Space Center is using internationally developed simulation interoperability standards and NASA open source simulation tools to support Artemis concept, analysis, designs, development, training, and ultimately operations. The NExSyS team has been tasked to support early ABC architecture and mission analysis using mission time lines developed by the crew operations mission planning team. The NExSyS team is developing a distributed simulation framework with initial Artemis element implementations to model the ABC mission timelines using the international simulation interoperability standard High Level Architecture (HLA), the Simulation Interoperability Standards Organization’s Space Reference Federation Object Model (SpaceFOM), the NASA open source Trick Simulation Environment, and another NASA open source interface package called TrickHLA. The ABC architecture is composed of a number of key surface elements and resources. Some examples of modeled elements (also known as entities) are landers, habitats, rovers, logistics carriers, and astronauts. Some examples of modeled transferable and consumable resources are power, water, oxygen, nitrogen, scientific samples, and food. These entities and resources are modeled in a collection of individual simulations called Federates. A coordinated collection of interoperable federates is called a Federation and when these federates are tied together in a coordinated simulation run, it is referred to as a Federation Execution. The federates communicate through HLA using data exchange formats defined by a collection of machine readable files called Federation Object Models (FOMs). These FOM files are based on extensions to the SpaceFOM. This enables the instantiation and sharing of objects and interactions between federates in the federation. These provide for entity and resource tracking, object transfer, and data collection. Federate interactions are used to trigger events and notify federates of entity or resource transfers. For the initial implementation, the constituent federates are Trick-based simulations that use TrickHLA to provide the required HLA-base interoperability. These Trick-based simulations provide the required modeling for the individual Artemis elements along with the associated element resources. These federates provide a means to explore traverses between surface elements and exploration sites as scheduled in a mission timeline and explore the affects traverse times have on the overall mission timeline. The mission time lines are modeled using a Trick input file event handling capabilities. Each timeline operation is handled as individual simulation events, and triggered based on previous event status, time of operation, and simulated task completions. In addition, the ABC Federation can be used to perform Monte Carlo analysis. The Monte Carlo tool can vary the inputs, timings, and malfunctions to show how various contingencies in the mission can affect the mission timeline.

Keaton Craig Dodd↗

NASA NTRS2026

Thermal Considerations for 2039 Opposition Class Nuclear Electric Propulsion/Chemical Propulsion Crewed Mars Mission

The high specific impulse (Isp) of Nuclear Electric Propulsion (NEP) technology offers the potential for advanced space mission capabilities. However, the five critical technology elements of NEP vehicles have yet to prove technical maturity levels for consideration into mission design. In response to the critical reviews by the NASA Engineering and Safety Center (NESC) and the National Academies of Sciences, Engineering, and Medicine (NASEM), NASA’s Space Nuclear Propulsion (SNP) project created an NEP Technology Maturation Plan (TMP) for focused development of NEP technology. The TMP called for a coordinated set of technology development efforts to meet this objective. The Modular Assembled Radiators for NEP VehicLes (MARVL) Early Career Initiative (ECI) project was initiated to develop a portion of the fifth Critical Technology Element (CTE) of the NEP vehicle: the Primary Heat Rejection Subsystem (PHRS). A target application of a 2039 human-rated Mars mission was outlined in the TMP. For the outlined mission, a NEP vehicle will experience several thermal environments which will impact the design and operation of the PHRS. To maintain radiator temperatures within the required effective temperature range, the effect of natural, induced, and NEP internally generated heat loads on the radiator panel must be well understood. Furthermore, this analysis is critical for analyzing the influence of various orientations and positions of the NEP vehicle relative to nearby celestial bodies throughout the mission. This study conducted a complete enveloping analysis of the thermal environments influencing the NEP vehicle throughout the mission. Thermal analysis was conducted for the radiator panels based on the defined mission environments. This thermal analysis concludes with the selection of ideal radiator orientations for the NEP vehicle, and the identification of worst case hot and cold environmental sink temperatures throughout the mission. For the target application, the environmental sink temperature while the reactor is powered OFF or powered ON ranges from 30 K to 353 K and 2.7 K to 243 K respectively. When considering interplanetary space, the minimum environmental sink temperature when the reactor is powered OFF and the radiators are oriented “edge to Sun” is 2.7 K. The environmental thermal models generated in this study will be used for future studies with the full vehicle system model. The environmental sink temperature curves generated will be used for future radiator and component analysis to predict transient performance in the space environment. The environmental sink temperature and heat rejection capability curves will inform the trade between commissioning orbits that are in consideration. The model may also serve as a useful tool as reference for future crewed space missions, missions involving radiators or temperature sensitive equipment, or other missions requiring analysis of natural orbital thermal environments.

Nuclear Electric Propulsion↗

NASA NTRS2017

Development of a High-Fidelity Simulation Environment for Shadow-Mode Assessments of Air Traffic Concepts

This paper describes the Shadow-Mode Assessment Using Realistic Technologies for the National Airspace System (SMART-NAS) Test Bed. The SMART-NAS Test Bed is an air traffic simulation platform being developed by the National Aeronautics and Space Administration (NASA). The SMART-NAS Test Bed's core purpose is to conduct high-fidelity, real-time, human-in-the-loop and automation-in-the-loop simulations of current and proposed future air traffic concepts for the United States' Next Generation Air Transportation System called NextGen. The setup, configuration, coordination, and execution of realtime, human-in-the-loop air traffic management simulations are complex, tedious, time intensive, and expensive. The SMART-NAS Test Bed framework is an alternative to the current approach and will provide services throughout the simulation workflow pipeline to help alleviate these shortcomings. The principle concepts to be simulated include advanced gate-to-gate, trajectory-based operations, widespread integration of novel aircraft such as unmanned vehicles, and real-time safety assurance technologies to enable autonomous operations. To make this possible, SNTB will utilize Web-based technologies, cloud resources, and real-time, scalable, communication middleware. This paper describes the SMART-NAS Test Bed's vision, purpose, its concept of use, and the potential benefits, key capabilities, high-level requirements, architecture, software design, and usage.

human-in-the-loop↗

NASA NTRS1984

Pilot land data system

During the fall of 1983, the Information Systems Office of NASA's Office of Space Science and Applications assembled a Working Group to develop initial plans for a Pilot Land Data System (PLDS). Workshops coordinated planning and concept development activities between land-related and computer science disciplines, and examined land research requirements, information science technology requirements, PLDS architecture, and methodologies for system evaluation. The PLDS will be a limited-scale distributed information system to explore scientific, technical and management approaches to satisfy land science research needs. PLDS will pave the way for a Land Data System to improve data access, processing, transfer and analysis, fostering an environment in which land science information synthesis can occur on a scale not previously possible owing to limits to data assembly and access and efficiency of processing.

Cressy, P. J.↗

NASA NTRS1992

Development of a residual acceleration data reduction and dissemination plan

A major obstacle in evaluating the residual acceleration environment in an orbiting space laboratory is the amount of data collected during a given mission: gigabytes of data will be available as SAMS units begin to fly regularly. Investigators taking advantage of the reduced gravity conditions of space should not be overwhelmed by the accelerometer data which describe these conditions. We are therefore developing a data reduction and analysis plan that will allow principal investigators of low-g experiments to create experiment-specific residual acceleration data bases for post-flight analysis. The basic aspects of the plan can also be used to characterize the acceleration environment of earth orbiting laboratories. Our development of the reduction plan is based on the following program of research: the identification of experiment sensitivities by order of magnitude estimates and numerical modelling; evaluation of various signal processing techniques appropriate for the reduction, supplementation, and dissemination of residual acceleration data; and testing and implementation of the plan on existing acceleration data bases. The orientation of the residual acceleration vector with respect to some set of coordinate axes is important for experiments with known directional sensitivity. Orientation information can be obtained from the evaluation of direction cosines. Fourier analysis is commonly used to transform time history data into the frequency domain. Common spectral representations are the amplitude spectrum which gives the average of the components of the time series at each frequency and the power spectral density which indicates the power or energy present in the series per unit frequency interval. The data reduction and analysis scheme developed involves a two tiered structure to: (1) identify experiment characteristics and mission events that can be used to limit the amount of accelerator data an investigator should be interested in; and (2) process the data in a way that will be meaningful to the experiment objectives. A general outline of the plan is given.

Rogers, Melissa J. B.↗

NASA NTRS1994

Sloshing dynamics modulated angular momentum fluctuations actuated by gravity gradient acceleration associated with spacecraft slew motion

The mathematical formulation of orbital spacecraft sloshing dynamics for a partially filled cryogenic superfluid liquid helium II in a dewar container actuated by the gravity gradient acceleration associated with slew motion is studied. The Advanced X-Ray Astrophysics Facility-Spectroscopy (AXAF-S) spacecraft is chosen as a practical example in this study. Explicit mathematical expressions which manage orbital galaxy gradient acceleration with slew motion which is acting on the spacecraft fluid systems are derived. The numerical computation of sloshing dynamics is based on the non-inertia frame spacecraft bound coordinates and the solution of time-dependent, three-dimensional formulations of partial differential equations subject to initial and boundary conditions. This study discloses the capillary effect of sloshing dynamics governed liquid-vapor interface fluctuations, angular momentum and moment fluctuations of fluid system, and also buble mass center fluctuations driven by the gravity gradient acceleration associated with slew motion which affects the stability of the orbital spacecraft fluid system in a microgravity environment.

Hung, R. J.↗

NASA NTRS1998

NASA/Mir Phase 1: A Lesson Learned in Long Duration Mission Planning and Operations

The NASA/Mir Phase I Program is a precursor to the assembly and operations of the International Space Station (ISS). The Phase I Program covers a four-year period and encompasses over ten shuttle flights to the Mir, culminating with the flight of STS-91 in June 1998. The Mir-Orbiting Station (Mir-OS) provides an excellent environment, both onboard and on the ground, for learning and studying the characteristics associated with crew-tended operations on long duration missions. By the end of the Phase I program, NASA astronauts will have accumulated over two years of continuous operations experience working and living onboard the Mir-OS. Ground controllers, working in Russia and at remote sites in the United States, will have gained valuable experience in the generation, maintenance, and coordination of the information and products required to support the long duration crew members onboard the Mir-OS. The experience gained by the crew and ground support personnel in the area of long duration mission operations has resulted in a number of factors that need to be considered in the definition and implementation of the processes and products for the ISS. While there are many areas in which experience has been gained, this paper focuses on the lessons learned regarding the level of detail and flexibility of crew timelines. Provided in this paper is an overview of the characteristics associated with long duration mission timeline development and execution, a summary of applicable lessons learned identified and documented through participation in the NASA/Mir Phase I Program, a detailed discussion of "Gross Timelines" as implementation which addresses the lessons learned. Also discussed are the challenges that must be overcome in getting the ISS program to recognize, evaluate, and learn from the crew and ground controller experience gained through participation in the NASA/Mir Phase I Program.

Hagopian, Jeff↗

NASA NTRS2004

Hand-Eye Calibration of Robonaut

NASA's Human Space Flight program depends heavily on Extra-Vehicular Activities (EVA's) performed by human astronauts. EVA is a high risk environment that requires extensive training and ground support. In collaboration with the Defense Advanced Research Projects Agency (DARPA), NASA is conducting a ground development project to produce a robotic astronaut's assistant, called Robonaut, that could help reduce human EVA time and workload. The project described in this paper designed and implemented a hand-eye calibration scheme for Robonaut, Unit A. The intent of this calibration scheme is to improve hand-eye coordination of the robot. The basic approach is to use kinematic and stereo vision measurements, namely the joint angles self-reported by the right arm and 3-D positions of a calibration fixture as measured by vision, to estimate the transformation from Robonaut's base coordinate system to its hand coordinate system and to its vision coordinate system. Two methods of gathering data sets have been developed, along with software to support each. In the first, the system observes the robotic arm and neck angles as the robot is operated under external control, and measures the 3-D position of a calibration fixture using Robonaut's stereo cameras, and logs these data. In the second, the system drives the arm and neck through a set of pre-recorded configurations, and data are again logged. Two variants of the calibration scheme have been developed. The full calibration scheme is a batch procedure that estimates all relevant kinematic parameters of the arm and neck of the robot The daily calibration scheme estimates only joint offsets for each rotational joint on the arm and neck, which are assumed to change from day to day. The schemes have been designed to be automatic and easy to use so that the robot can be fully recalibrated when needed such as after repair, upgrade, etc, and can be partially recalibrated after each power cycle. The scheme has been implemented on Robonaut Unit A and has been shown to reduce mismatch between kinematically derived positions and visually derived positions from a mean of 13.75cm using the previous calibration to means of 1.85cm using a full calibration and 2.02cm using a suboptimal but faster daily calibration. This improved calibration has already enabled the robot to more accurately reach for and grasp objects that it sees within its workspace. The system has been used to support an autonomous wrench-grasping experiment and significantly improved the workspace positioning of the hand based on visually derived wrench position. estimates.

Nickels, Kevin↗

NASA NTRS1993

The terrestrial gravitational wave environment from known sources

The objective of this project was to produce a gravitational wave spectral line list of all known binary stars producing expected strain amplitudes at Earth in excess of h = 10 (exp -21), or gravitational wave fluxes in excess of F = 10 (exp -12) erg cm(exp -2) s(exp -1). These strain and flux limits lie above the anticipated detection thresholds for space-borne laser interferometers capable of detecting gravitational radiation in the 10 micron Hz to 1 Hz frequency range. The source list was intended to provide frequency (including each harmonic), amplitude and phase (for each polarization and harmonic), and celestial coordinates for each system, lacking only the orientation of the principal polarization axis with respect to the pole of the coordinate system, and the sign of the source phase and frequency (or, equivalently, of the sense of rotation of the strain tensor with time) from providing a complete source description. Such a spectral line list would lay essential groundwork for high-sensitivity, low-frequency searches for gravitational radiation.

Webbink, Ronald F.↗

NASA NTRS1965

Effects of prolonged exposure to pure oxygen on human performance

In view of the pure oxygen atmosphere selected for Project Mercury, and in anticipation of subsequent manned space missions of increasing duration, it was apparent that there was a need to obtain more extensive physiological data on the prolonged effects of pure oxygen environments on the crews. This study, conducted by Republic Aviation Corporation under Contract NASR-92, was initiated in collaboration with General Charles Roadman, USAF (MC), Director of Aerospace Medicine (formerly the Office of Life Sciences, NASA Headquarters), and his staff in an effort to provide a greater breadth of scientific data on the prolonged effects of such an environment on human performance. Although the 5 psi environment of Project Mercury was the focal point of the study, a broader appraisal of the effects of pure oxygen in the absence of nitrogen was attempted by including studies at 7.4 psi and 3.8 psi in addition to a control group at sea level atmospheric conditions. After award of the contract, the technical monitoring of the study was provided by the Manned Spacecraft Center, Houston, Texas, where Mr. Edward Michel served as monitor and coordinator for these and related studies subsequently established in laboratories of the U.S. Navy and U. S. Air Force.

PSYCHOLOGICAL EFFECT↗

NASA NTRS2010

A Flight-Calibrated Methodology for Determination of Cassini Thruster On-Times for Reaction Wheel Biases

This paper describes a methodology for accurate and flight-calibrated determination of the on-times of the Cassini spacecraft Reaction Control System (RCS) thrusters, without any form of dynamic simulation, for the reaction wheel biases. The hydrazine usage and the delta V vector in body frame are also computed from the respective thruster on-times. The Cassini spacecraft, the largest and most complex interplanetary spacecraft ever built, continues to undertake ambitious and unique scientific observations of planet Saturn, Titan, Enceladus, and other moons of Saturn. In order to maintain a stable attitude during the course of its mission, this three-axis stabilized spacecraft uses two different control systems: the RCS and the reaction wheel assembly control system. The RCS is used to execute a commanded spacecraft slew, to maintain three-axis attitude control, control spacecraft's attitude while performing science observations with coarse pointing requirements, e.g. during targeted low-altitude Titan and Enceladus flybys, bias the momentum of reaction wheels, and to perform RCS-based orbit trim maneuvers. The use of RCS often imparts undesired delta V on the spacecraft. The Cassini navigation team requires accurate predictions of the delta V in spacecraft coordinates and inertial frame resulting from slews using RCS thrusters and more importantly from reaction wheel bias events. It is crucial for the Cassini spacecraft attitude control and navigation teams to be able to, quickly but accurately, predict the hydrazine usage and delta V for various reaction wheel bias events without actually having to spend time and resources simulating the event in flight software-based dynamic simulation or hardware-in-the-loop simulation environments. The methodology described in this paper, and the ground software developed thereof, are designed to provide just that. This methodology assumes a priori knowledge of thrust magnitudes and thruster pulse rise and tail-off time constants for eight individual attitude control thrusters, the spacecraft's wet mass and its center of mass location, and a few other key parameters.

Earth Mean Equatorial↗

NASA NTRS2018

Impact of Different Trajectory Option Set Participation Levels within an Air Traffic Management Collaborative Trajectory Option Program

This paper presents the methodology and results of a Human-In-The-Loop (HITL) simulation study conducted in the Airspace Operations Laboratory at NASA Ames Research Center. This study is a part of NASA's ongoing research into developing an Integrated Demand Management (IDM) concept, whose aim is to improve traffic flow management (TFM) by coordinating the FAA's strategic Traffic Flow Management System (TFMS) with its more tactical Time-Based Flow Management (TBFM) system. The purpose of TFM is to regulate air traffic demand so that it is delivered efficiently through constrained airspace resources without exceeding their capacity limits. The IDM concept leverages a new TFMS capability called the Collaborative Trajectory Options Program (CTOP) to strategically pre-condition traffic demand flowing into a TBFM-managed arrival environment, where TBFM is responsible for managing traffic tactically by generating precise arrival schedules. Unlike other TFM tools, CTOP gives flight operators the option of submitting a set of user-preferred alternative trajectories for each flight. CTOP can then use these trajectory option sets (or TOSs) to find user-preferred alternative routes to reduce demand on an overloaded resource. CTOP's effectiveness in redistributing demand is limited, however, by the availability of flights with alternative routes. The research presented in this paper focuses on evaluating the impact on TFM operations by varying the percentage of flights that submit a multiple-option TOS ('TOS participation levels'). Results show the impact on overall system performance and on the rerouted flights themselves. The simulation used a Newark (EWR) airport arrival scenario, with en route weather affecting traffic inbound from the west. Participants were asked to control each of the three arrival flows (north, west, and south) to meet their individual capacity constraints while simultaneously ensuring efficient utilization of the capacity at the destination airport. A large, permeable convective weather cell located southeast of Chicago severely reduced the capacity of the west flow. The study evaluated the impact of five different TOS participation levels on CTOP's ability to re-allocate traffic from the west and improve TFM performance in terms of delay assignment and traffic delivery rate to the airport. Overall, the results showed that increasing TOS submissions allowed the overall system delays to be reduced and fairly distributed among the three arrival flows, at the same time achieving the airport throughput rate. Moreover, it was found that aircraft who submitted a TOS saw a greater reduction in delay, even when they were assigned longer routes. This was particularly true when fewer aircraft submitted a TOS. The results confirm that the CTOP operations with higher TOS participation levels helped utilize the overall National Airspace System (NAS) resources as well as benefited the users who participated.

Yoo, Hyo-Sang↗

NASA NTRS1997

Departure Trajectory Synthesis and the Intercept Problem

Two areas of the departure problem in air traffic control are discussed. The first topic is the generation of climb-out trajectories to a fix. The trajectories would be utilized by a scheduling algorithm to allocate runways, sequence the proposed departures, and assign a departure time. The second area is concerned with finding horizontal trajectories to merge aircraft from the TRACON to an open slot in the en-route environment. Solutions are presented for the intercept problem for two cases: (1) the aircraft is traveling at the speed of the aircraft in the jetway; (2) the merging aircraft has to accelerate to reach the speed of the aircraft in the en-route stream. An algorithm is given regarding the computation of a solution for the latter case. For the former, a set of equations is given that allows us to numerically solve for the coordinate where the merge will occur.

Bolender, Michael A.↗

NASA NTRS2011

Share the Sky: Concepts and Technologies That Will Shape Future Airspace Use

The airspace challenge for the United States is to protect national sovereignty and ensure the safety and security of those on the ground and in the air, while at the same time ensuring the efficiency of flight, reducing the costs involved, protecting the environment, and protecting the freedom of access to the airspace. Many visions of the future NAS hold a relatively near-term perspective, focusing on existing uses of the airspace and assuming that new uses will make up a small fraction of total use. In the longer term, the skies will be filled with diverse and amazing new air vehicles filling our societal needs. Anticipated new vehicles include autonomous air vehicles acting both independently and in coordinated groups, unpiloted cargo carriers, and large numbers of personal air vehicles and small-scale point-to-point transports. These vehicles will enable new capabilities that have the potential to increase societal mobility, transport freight at lower cost and with lower environmental impact, improve the study of the Earth s atmosphere and ecosystem, and increase societal safety and security by improving or drastically lowering the cost of critical services such as firefighting, emergency medical evacuation, search and rescue, border and neighborhood surveillance, and the inspection of our infrastructure. To ensure that uses of the airspace can continue to grow for the benefit of all, a new paradigm for operations is needed: equitably and safely sharing the airspace. This paper is an examination of such a vision, concentrating on the operations of all types of air vehicles and future uses of the National Airspace. Attributes of a long-term future airspace system are provided, emerging operations technologies are described, and initial steps in research and development are recommended.

Ballin, Mark G.↗

NASA NTRSDate not supplied

Exploring the Effectiveness of Maneuvering Guidelines for Space Traffic Management

The number of objects in space has been increasing rapidly, and the risk of collision has grown as well. Many spacecraft operators are now receiving multiple collision warnings a day. Despite this, systems to manage space traffic have been limited: there are no broadly agreed upon guidelines or rules governing the response to predicted potential collisions. Instead, spacecraft operators generally determine whether, when, and how to respond to these warnings on a manual and ad hoc basis. Coordination between operators, if it occurs, often requires repeated communication and negotiation. Some space actors have suggested that the space community should develop right of way rules, similar to those in the ground, sea, and air domains, to guide collision response decisions. However, it is unclear whether such rules would be effective, and it’s unknown whether such rules would have an equitable impact across various spacecraft operators. To address these issues, we developed the Virtual Environment for Space Traffic Analysis (VESTA), a software tool that was used to simulate the space environment with a recent catalog of objects obtained from the U.S. Space-Track.org system. We implemented multiple potential right of way rules within this model. The analysis confirmed that the choice of right of way rule makes a meaningful difference in terms of both efficiency and distributional effects in terms of collision avoidance maneuvers. For example, our analysis shows that rules in which the less massive satellite is required to maneuver results in a more equitable distribution of maneuver responsibility among space actors and also requires less fuel mass, compared to a rule in which the more massive satellite maneuvers.

space traffic management↗

NASA NTRS1994

Coordinated scheduling for dynamic real-time systems

In this project, we addressed issues in coordinated scheduling for dynamic real-time systems. In particular, we concentrated on design and implementation of a new distributed real-time system called R-Shell. The design objective of R-Shell is to provide computing support for space programs that have large, complex, fault-tolerant distributed real-time applications. In R-shell, the approach is based on the concept of scheduling agents, which reside in the application run-time environment, and are customized to provide just those resource management functions which are needed by the specific application. With this approach, we avoid the need for a sophisticated OS which provides a variety of generalized functionality, while still not burdening application programmers with heavy responsibility for resource management. In this report, we discuss the R-Shell approach, summarize the achievement of the project, and describe a preliminary prototype of R-Shell system.

Natarajan, Swaminathan↗

NASA NTRS1989

A Boltzmann machine for the organization of intelligent machines

In the present technological society, there is a major need to build machines that would execute intelligent tasks operating in uncertain environments with minimum interaction with a human operator. Although some designers have built smart robots, utilizing heuristic ideas, there is no systematic approach to design such machines in an engineering manner. Recently, cross-disciplinary research from the fields of computers, systems AI and information theory has served to set the foundations of the emerging area of the design of intelligent machines. Since 1977 Saridis has been developing an approach, defined as Hierarchical Intelligent Control, designed to organize, coordinate and execute anthropomorphic tasks by a machine with minimum interaction with a human operator. This approach utilizes analytical (probabilistic) models to describe and control the various functions of the intelligent machine structured by the intuitively defined principle of Increasing Precision with Decreasing Intelligence (IPDI) (Saridis 1979). This principle, even though resembles the managerial structure of organizational systems (Levis 1988), has been derived on an analytic basis by Saridis (1988). The purpose is to derive analytically a Boltzmann machine suitable for optimal connection of nodes in a neural net (Fahlman, Hinton, Sejnowski, 1985). Then this machine will serve to search for the optimal design of the organization level of an intelligent machine. In order to accomplish this, some mathematical theory of the intelligent machines will be first outlined. Then some definitions of the variables associated with the principle, like machine intelligence, machine knowledge, and precision will be made (Saridis, Valavanis 1988). Then a procedure to establish the Boltzmann machine on an analytic basis will be presented and illustrated by an example in designing the organization level of an Intelligent Machine. A new search technique, the Modified Genetic Algorithm, is presented and proved to converge to the minimum of a cost function. Finally, simulations will show the effectiveness of a variety of search techniques for the intelligent machine.

Moed, Michael C.↗

NASA NTRS2003

High-Level Data Races

Data races are a common problem in concurrent and multi-threaded programming. They are hard to detect without proper tool support. Despite the successful application of these tools, experience shows that the notion of data race is not powerful enough to capture certain types of inconsistencies occurring in practice. In this paper we investigate data races on a higher abstraction layer. This enables us to detect inconsistent uses of shared variables, even if no classical race condition occurs. For example, a data structure representing a coordinate pair may have to be treated atomically. By lifting the meaning of a data race to a higher level, such problems can now be covered. The paper defines the concepts view and view consistency to give a notation for this novel kind of property. It describes what kinds of errors can be detected with this new definition, and where its limitations are. It also gives a formal guideline for using data structures in a multi-threading environment.

Artho, Cyrille↗