Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “safety visualization”

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 415 records · Page 23

Lidar performance analysis

Section 1 details the theory used to build the lidar model, provides results of using the model to evaluate AEOLUS design instrument designs, and provides snapshots of the visual appearance of the coded model. Appendix A contains a Fortran program to calculate various forms of the refractive index structure function. This program was used to determine the refractive index structure function used in the main lidar simulation code. Appendix B contains a memo on the optimization of the lidar telescope geometry for a line-scan geometry. Appendix C contains the code for the main lidar simulation and brief instruction on running the code. Appendix D contains a Fortran code to calculate the maximum permissible exposure for the eye from the ANSI Z136.1-1992 eye safety standards. Appendix E contains a paper on the eye safety analysis of a space-based coherent lidar presented at the 7th Coherent Laser Radar Applications and Technology Conference, Paris, France, 19-23 July 1993.

Spiers, Gary D.↗

AOI.1 Application of Artificial Intelligence techniques enabling coal fired power plants the ability to achieve higher efficiency, improved availability, and increased reliability of their operations (Final Report)

During this effort, SparkCognition with support from the Electric Power Research Institute (EPRI) was tasked with applying artificial intelligence (AI) to improve the reliability, efficiency, and safety of operations at a coal-fired plant. By implementing AI techniques, like machine learning (ML), it is believed that operators can leverage existing data sources to gain more insights such as advanced warning of machine degradation. With enough lead time, a reliability engineer can take action to minimize, or even avoid, impact to production. To complete this work effort, SparkCognition developed and refined an ML-based model using sensor data for a Steam Turbine unit at a host site. The models were deployed in an online, web-based solution that allows users to visualize model outputs and supporting data. The final solution, based on SparkCognition’s proprietary software platform called SparkPredict®, was shared with EPRI who completed an online evaluation of results to determine the solution’s ability to detect actionable events.

20 FOSSIL-FUELED POWER PLANTS↗

Rotorcraft Research at the NASA Vertical Motion Simulator

In the 1970 s the role of the military helicopter evolved to encompass more demanding missions including low-level nap-of-the-earth flight and operation in severely degraded visual environments. The Vertical Motion Simulator (VMS) at the NASA Ames Research Center was built to provide a high-fidelity simulation capability to research new rotorcraft concepts and technologies that could satisfy these mission requirements. The VMS combines a high-fidelity large amplitude motion system with an adaptable simulation environment including interchangeable and configurable cockpits. In almost 30 years of operation, rotorcraft research on the VMS has contributed significantly to the knowledge-base on rotorcraft performance, handling qualities, flight control, and guidance and displays. These contributions have directly benefited current rotorcraft programs and flight safety. The high fidelity motion system in the VMS was also used to research simulation fidelity. This research provided a fundamental understanding of pilot cueing modalities and their effect on simulation fidelity.

Aponso, Bimal Lalith↗

Exploring Explicit Uncertainty for Binary Analysis (EUBA)

Reverse engineering (RE) analysts struggle to address critical questions about the safety of binary code accurately and promptly, and their supporting program analysis tools are simply wrong sometimes. The analysis tools have to approximate in order to provide any information at all, but this means that they introduce uncertainty into their results. And those uncertainties chain from analysis to analysis. We hypothesize that exposing sources, impacts, and control of uncertainty to human binary analysts will allow the analysts to approach their hardest problems with high-powered analytic techniques that they know when to trust. Combining expertise in binary analysis algorithms, human cognition, uncertainty quantification, verification and validation, and visualization, we pursue research that should benefit binary software analysis efforts across the board. We find a strong analogy between RE and exploratory data analysis (EDA); we begin to characterize sources and types of uncertainty found in practice in RE (both in the process and in supporting analyses); we explore a domain-specific focus on uncertainty in pointer analysis, showing that more precise models do help analysts answer small information flow questions faster and more accurately; and we test a general population with domain-general sudoku problems, showing that adding "knobs" to an analysis does not significantly slow down performance. This document describes our explorations in uncertainty in binary analysis.

97 MATHEMATICS AND COMPUTING↗

NASA's Approach to Critical Risks for Extended Human Space Flight

Planetary Robotic and Human Spaceflight Exploration Humans are exposed to a great variety of hazards in the space environment. These include the effects of weightlessness, radiation, isolation and confinement, altered day-night cycles, and others. These inherent hazards have both physiological and behavioral consequences. The adaptive capabilities of humans in these situations is remarkable, and often exceed our expectations. However, the demanding environment and challenging operational pace can push some of these adaptive processes to their limits. The NASA Human Research Program (HRP) is tasked with mitigating the most serious of these effects on human health, safety, and performance, in long-duration space flight. This can involve the development and deployment of physiological countermeasures, better understanding of the physiological alterations and avoidance of exacerbating situations, inputs to the design of future spacecraft to minimize risks, and in some cases the awareness that some level of risk might have to be accepted based on the resulting consequences and their likelihood. HRP has identified a few areas that are of special concern due to their severity, lack of understanding of underlying causes, or potential for negative impact on health or performance. Some of these areas are visual impairment possibly due to increased intracranial pressure, behavioral and performance problems due to sleep deficits and isolation, and acute and chronic effects of radiation. These problems can, if not addressed, be expected to increase on longer and more distant missions. The evidence from spaceflight, laboratory, and analog studies that supports the selection of the most critical risks will be discussed. Current and planned research programs that address these risks, and their anticipated outcomes, will also be described.

Shelhamer, Mark↗

Improving the Concrete Crack Detection Process via a Hybrid Visual Transformer Algorithm

Inspections of concrete bridges across the United States represent a significant commitment of resources, given their biannual mandate for many structures. With a notable number of aging bridges, there is an imperative need to enhance the efficiency of these inspections. This study harnessed the power of computer vision to streamline the inspection process. Our experiment examined the efficacy of a state-of-the-art Visual Transformer (ViT) model combined with distinct image enhancement detector algorithms. We benchmarked against a deep learning Convolutional Neural Network (CNN) model. These models were applied to over 20,000 high-quality images from the Concrete Images for Classification dataset. Traditional crack detection methods often fall short due to their heavy reliance on time and resources. This research pioneers bridge inspection by integrating ViT with diverse image enhancement detectors, significantly improving concrete crack detection accuracy. Notably, a custom-built CNN achieves over 99% accuracy with substantially lower training time than ViT, making it an efficient solution for enhancing safety and resource conservation in infrastructure management. These advancements enhance safety by enabling reliable detection and timely maintenance, but they also align with Industry 4.0 objectives, automating manual inspections, reducing costs, and advancing technological integration in public infrastructure management.

42 ENGINEERING↗

Unmanned Aerial Systems Traffic Management (UTM): Safely Enabling UAS Operations in Low-Altitude Airspace

Currently, there is no established infrastructure to enable and safely manage the widespread use of low-altitude airspace and UAS flight operations. Given this, and understanding that the FAA faces a mandate to modernize the present air traffic management system through computer automation and significantly reduce the number of air traffic controllers by FY 2020, the FAA maintains that a comprehensive, yet fully automated UAS traffic management (UTM) system for low-altitude airspace is needed. The concept of UTM is to begin by leveraging concepts from the system of roads, lanes, stop signs, rules and lights that govern vehicles on the ground today. Building on its legacy of work in air traffic management (ATM), NASA is working with industry to develop prototype technologies for a UAS Traffic Management (UTM) system that would evolve airspace integration procedures for enabling safe, efficient low-altitude flight operations that autonomously manage UAS operating in an approved low-altitude airspace environment. UTM is a cloud-based system that will autonomously manage all traffic at low altitudes to include UASs being operated beyond visual line of sight of an operator. UTM would thus enable safe and efficient flight operations by providing fully integrated traffic management services such as airspace design, corridors, dynamic geofencing, severe weather and wind avoidance, congestion management, terrain avoidance, route planning re-routing, separation management, sequencing spacing, and contingency management. UTM removes the need for human operators to continuously monitor aircraft operating in approved areas. NASA envisions concepts for two types of UTM systems. The first would be a small portable system, which could be moved between geographical areas in support of operations such as precision agriculture and public safety. The second would be a Persistent system, which would support low-altitude operations in an approved area by providing continuous automated coverage. Both would require persistent communication, navigation, and surveillance (CNS) coverage to track, ensure, and monitor conformance. UTM is creating an airspace management tool that allows the ATM system to accommodate the number of UAS that will operate in the low altitude airspace. The analogy is just because we have a car, whether its autonomous or someone is driving, does not diminish the need for a road or road signs or rules of the road.

traffic management↗

Accelerated Monte Carlo Simulation for Safety Analysis of the Advanced Airspace Concept

Safe separation of aircraft is a primary objective of any air traffic control system. An accelerated Monte Carlo approach was developed to assess the level of safety provided by a proposed next-generation air traffic control system. It combines features of fault tree and standard Monte Carlo methods. It runs more than one order of magnitude faster than the standard Monte Carlo method while providing risk estimates that only differ by about 10%. It also preserves component-level model fidelity that is difficult to maintain using the standard fault tree method. This balance of speed and fidelity allows sensitivity analysis to be completed in days instead of weeks or months with the standard Monte Carlo method. Results indicate that risk estimates are sensitive to transponder, pilot visual avoidance, and conflict detection failure probabilities.

Thipphavong, David↗

Multimission Telemetry Visualization (MTV) system: A mission applications project from JPL's Multimedia Communications Laboratory

This paper describes the Multimission Telemetry Visualization (MTV) data acquisition/distribution system. MTV was developed by JPL's Multimedia Communications Laboratory (MCL) and designed to process and display digital, real-time, science and engineering data from JPL's Mission Control Center. The MTV system can be accessed using UNIX workstations and PC's over common datacom and telecom networks from worldwide locations. It is designed to lower data distribution costs while increasing data analysis functionality by integrating low-cost, off-the-shelf desktop hardware and software. MTV is expected to significantly lower the cost of real-time data display, processing, distribution, and allow for greater spacecraft safety and mission data access.

Koeberlein, Ernest, III↗

Conducting Safe and Efficient Airport Surface Operations in a NextGen Environment

The Next Generation Air Transportation System (NextGen) vision proposes many revolutionary operational concepts, such as surface trajectory-based operations (STBO) and technologies, including display of traffic information and movements, airport moving maps (AMM), and proactive alerts of runway incursions and surface traffic conflicts, to deliver an overall increase in system capacity and safety. A piloted simulation study was conducted at the National Aeronautics and Space Administration (NASA) Langley Research Center to evaluate the ability of a flight crew to conduct safe and efficient airport surface operations while utilizing an AMM. Position accuracy of traffic was varied, and the effect of traffic position accuracy on airport conflict detection and resolution (CD&R) capability was measured. Another goal was to evaluate the crew's ability to safely conduct STBO by assessing the impact of providing traffic intent information, CD&R system capability, and the display of STBO guidance to the flight crew on both head-down and head-up displays (HUD). Nominal scenarios and off-nominal conflict scenarios were conducted using 12 airline crews operating in a simulated Memphis International Airport terminal environment. The data suggest that all traffic should be shown on the airport moving map, whether qualified or unqualified, and conflict detection and resolution technologies provide significant safety benefits. Despite the presence of traffic information on the map, collisions or near-collisions still occurred; when indications or alerts were generated in these same scenarios, the incidents were averted. During the STBO testing, the flight crews met their required time-of-arrival at route end within 10 seconds on 98 percent of the trials, well within the acceptable performance bounds of 15 seconds. Traffic intent information was found to be useful in determining the intent of conflicting traffic, with graphical presentation preferred. The CD&R system was only minimally effective during STBO because the prevailing visibility was sufficient for visual detection of conflicting traffic. Overall, the pilots indicated STBO increased general situation awareness but also negatively impacted workload, reduced the ability to watch for other traffic, and increased head-down time.

Jones, Denise R.↗

Automated Testing Experience of the Linear Aerospike SR-71 Experiment (LASRE) Controller

System controllers must be fail-safe, low cost, flexible to software changes, able to output health and status words, and permit rapid retest qualification. The system controller designed and tested for the aerospike engine program was an attempt to meet these requirements. This paper describes (1) the aerospike controller design, (2) the automated simulation testing techniques, and (3) the real time monitoring data visualization structure. Controller cost was minimized by design of a single-string system that used an off-the-shelf 486 central processing unit (CPU). A linked-list architecture, with states (nodes) defined in a user-friendly state table, accomplished software changes to the controller. Proven to be fail-safe, this system reported the abort cause and automatically reverted to a safe condition for any first failure. A real time simulation and test system automated the software checkout and retest requirements. A program requirement to decode all abort causes in real time during all ground and flight tests assured the safety of flight decisions and the proper execution of mission rules. The design also included health and status words, and provided a real time analysis interpretation for all health and status data.

Larson, Richard R.↗

Enhancing Icing Training for Pilots Through Web-Based Multimedia

The Aircraft Icing Project of the NASA Aviation Safety Program has developed a number of in-flight icing education and training aids designed to increase pilot awareness about the hazards associated with various icing conditions. The challenges and advantages of transitioning these icing training materials to a Web-based delivery are discussed. Innovative Web-based delivery devices increased course availability to pilots and dispatchers while increasing course flexibility and utility. These courses are customizable for both self-directed and instructor-led learning. Part of our goal was to create training materials with enough flexibility to enable Web-based delivery and downloadable portability while maintaining a rich visual multimedia-based learning experience. Studies suggest that using visually based multimedia techniques increases the effectiveness of icing training materials. This paper describes these concepts, gives examples, and discusses the transitional challenges.

Fletcher, William↗

A Full-Scale Fire Program to Evaluate New Furnishings and Textile Materials Developed by the National Aeronautics and Space Administration

The plans for the present series of full-scale experimental fires were initiated at the suggestion of NASA following the presentation of a film and discussion illustrating Battelle-Columbus' recent work in fire research. That film showed bedroom-type fires carried out as a part of a program to determine the influence of the cyclic characteristics of real fires under limited ventilation on the burning and pyrolysis properties of the room furnishings. A new series of fires was suggested by NASA designed to show the performance of new fire resistant and fire retardant materials by providing comparative fire and smoldering environmental conditions. More recently, the goal for the new series of fires was written in a meeting with NASA personnel and others at Battelle on May 3 and 4, 1972. The goal was as follows: To establish the need for special materials of improved fire safety in domiciliary settings of public concern, and to assess, in a professionally acceptable manner, the potential of materials arising from the new space-age technology for this purpose. It was anticipated that some new materials arising from the space-age technology and not yet available through conventional commercial channels might provide significant improvements in fire safety if the best of the commercially available materials showed important shortcomings in this area. It was the intent of this program to assess the benefits that could accrue from the use of these new materials. Fire safety is a matter requiring the evaluation of a number of factors. For example, fire resistance and fire spread, visibility during the fire, toxicity of evolved gases, and the fire-fighting problem that is created must be evaluated before the relative hazard can be assessed. The plan of the program provided for sampling and instrumentation to evaluate these factors, consistent with the goal of technological utilization that has been specified. Arrangements were made with the Columbus Fire Department to use an existing six-story concrete building', designed and used as a fire training tower, as the site for the experimental fires. The visual evidence provided by TV and photographic coverage of the four experimental room fires showed clearly that the rooms responded very differently to a common ignition condition. In particular: (1) The Typical room, furnished from conventional retail sources, ignited easily and burned rapidly so that after 8 minutes the contents of the room were nearly destroyed. (2) The Improved room, furnished with materials selected as being among the best commercially available, showed substantial improvement over the Typical room in that there was slower fire spread. However, the relatively complete destruction of the room contents that resulted, and the large amounts of smoke, made it clear that substantial further improvements were needed. This fire was stopped after 29 minutes. (3) The Space-age room, furnished completely with new materials that were not yet commercially available, did not ignite under the common ignition condition and soon demonstrated the substantial improvement in fire resistance available for those components close to the ignition source. A second and larger ignition arrangement showed that this room can burn, but the difficulty with which this was brought about confirmed the improved fire resistance available with use of these materials. (4) The Mixed room ensemble, furnished with 'materials identical to the Typical room except for the substitution of the bed from the Space-age room, illustrated the improvement in control of fire spread available by careful placement of fire materials in the important paths of fire development of an otherwise ordinary room. The most significant hazards at early times in each fire were due to the rapid rise in heat flux and the abrupt obscuration of vision by smoke. The most consistent toxicity hazard was due to CO and its importance would depend on the ability of the occupant to survive the initial heat and smoke menace which characterized each fire room. Other gases and vapors were shown to reach hazardous levels in certain fire rooms and, again, their significance to an occupant, would relate to the times in which such hazards occurred, and probably to the synergistic nature of the hazard arising from mixtures of such gases. Fire retardant items in the room are caused to pyrolyze by the heat of burning from other items in the room and so contribute to combustible and toxic vapor accumulations, even though they may not have entered into the burning process. This effect of a mixture of combustible materials to produce burning and pyrolysis not characteristic of any one item individually we have chosen to call the "ensemble effect". Further full-scale fire trials may be expected to show the significant changes that control the burning and pyrolytic processes and in that event a programmed fire chamber should be developed to yield realistic laboratory results.

Hillenbrand, L. J.↗

Trades, Architecture, and Design of the Joint Augmented Reality Visual Informatics (Joint AR) Product

Future expeditions will enable exploration and study of the planetary surfaces of the Moon and Mars by performing extravehicular activity (EVA) operations. Present-day International Space Station (ISS) EVA operations require an intricate and tight choreography of crew, space suits, tools, systems, and flight teams to plan, train, and execute with limited advanced informatics. Additionally, EVA operations, aside from the Apollo Lunar surface missions, have predominately focused on maintenance and construction tasks where success criteria are clearly measurable. However, future exploration missions expect to enable crew to carry out scientific objectives in increasingly Earth-independent ways. In this paper, the Joint Augmented Reality Visual Informatics System (Joint AR) characterizes the design space for developing a modular augmented reality (AR) device for a spacesuit form factor that can support crew decision-making for EVA. This paper highlights the project’s experience with a product-focused management style and use-case centered systems engineering approach to iteratively design, build, and test. The Joint AR product features were defined via trade studies and market analysis of previous EVA display efforts, various AR components such as optics, commercial AR systems, light engines, data interfaces, graphics engine software and analog test beds. We outline the defining architectural design decisions, including safety criticality considerations, suit mounting interfaces, computer architectures, and partnership contracting mechanisms. The outcomes of these studies, architecture decisions, and management requirements result in a recommended design which is the Joint AR product. We discuss the evolution, development of these system components, and what work remains. We hope to share a unified understanding of various design decisions and how they impact the future of crew members’ access to data during Lunar and Martian EVAs. This ongoing effort can enable a community-wide discovery process toward realizing necessary AR features and capabilities for future missions.

Augmented Reality↗

Full-Span Tiltrotor Aeroacoustic Model (TRAM) Overview and 40- by 80-Foot Wind Tunnel Test

Most helicopter data trends cannot be extrapolated to tiltrotors because blade geometry and aerodynamic behavior, as well as rotor and fuselage interactions, are significantly different for tiltrotors. A tiltrotor model has been developed to investigate the aeromechanics of tiltrotors, to develop a comprehensive database for validating tiltrotor analyses, and to provide a research platform for supporting future tiltrotor designs. The Full-Span Tiltrotor Aeroacoustic Model (FS TRAM) is a dual-rotor, powered aircraft model with extensive instrumentation for measurement of structural and aerodynamic loads. This paper will present the Full-Span TRAM test capabilities and the first set of data obtained during a 40- by 80-Foot Wind Tunnel test conducted in late 2000 at NASA Ames Research Center. The Full-Span TRAM is a quarter-scale representation of the V-22 Osprey aircraft, and a heavily instrumented NASA and U.S. Army wind tunnel test stand. Rotor structural loads are monitored and recorded for safety-of-flight and for information on blade loads and dynamics. Left and right rotor balance and fuselage balance loads are monitored for safety-of-flight and for measurement of vehicle and rotor aerodynamic performance. Static pressure taps on the left wing are used to determine rotor/wing interactional effects and rotor blade dynamic pressures measure blade airloads. All of these measurement capabilities make the FS TRAM test stand a unique and valuable asset for validation of computational codes and to aid in future tiltrotor designs. The Full-Span TRAM was tested in the NASA Ames Research Center 40- by 80-Foot Wind Tunnel from October through December 2000. Rotor and vehicle performance measurements were acquired in addition to wing pressures, rotor acoustics, and Laser Light Sheet (LLS) flow visualization data. Hover, forward flight, and airframe (rotors off) aerodynamic runs were performed. Helicopter-mode data were acquired during angle of attack and thrust sweeps for a variety of tunnel speeds. Wake geometry images were acquired using LLS photographs and suggest dual tip vortex formation at low thrust conditions. The full paper will include comparisons to isolated-rotor TRAM data acquired at the Duits-Nederlandse Windtunnel (DNW) in 1998. The FS TRAM has been established as a valuable national asset for tiltrotor research. Data reduction and analysis of the 40- by 80-Foot Wind Tunnel test results are underway. Follow-on testing of the FS TRAM is currently being planned for the NASA Ames 80- by 120-Foot Wind Tunnel in late 2001.

McCluer, Megan S.↗

Modeling Flight: The Role of Dynamically Scaled Free-Flight Models in Support of NASA's Aerospace Programs

The state of the art in aeronautical engineering has been continually accelerated by the development of advanced analysis and design tools. Used in the early design stages for aircraft and spacecraft, these methods have provided a fundamental understanding of physical phenomena and enabled designers to predict and analyze critical characteristics of new vehicles, including the capability to control or modify unsatisfactory behavior. For example, the relatively recent emergence and routine use of extremely powerful digital computer hardware and software has had a major impact on design capabilities and procedures. Sophisticated new airflow measurement and visualization systems permit the analyst to conduct micro- and macro-studies of properties within flow fields on and off the surfaces of models in advanced wind tunnels. Trade studies of the most efficient geometrical shapes for aircraft can be conducted with blazing speed within a broad scope of integrated technical disciplines, and the use of sophisticated piloted simulators in the vehicle development process permits the most important segment of operations the human pilot to make early assessments of the acceptability of the vehicle for its intended mission. Knowledgeable applications of these tools of the trade dramatically reduce risk and redesign, and increase the marketability and safety of new aerospace vehicles. Arguably, one of the more viable and valuable design tools since the advent of flight has been testing of subscale models. As used herein, the term "model" refers to a physical article used in experimental analyses of a larger full-scale vehicle. The reader is probably aware that many other forms of mathematical and computer-based models are also used in aerospace design; however, such topics are beyond the intended scope of this document. Model aircraft have always been a source of fascination, inspiration, and recreation for humans since the earliest days of flight. Within the scientific community, Leonardo da Vinci, George Cayley, and the Wright brothers are examples of early aviation pioneers who frequently used models during their scientific efforts to understand and develop flying machines. Progress in the technology associated with model testing in worldwide applications has firmly established model aircraft as a key element in new aerospace research and development programs. Models are now routinely used in many applications and roles, including aerodynamic data gathering in wind tunnel investigations for the analysis of full-scale aircraft designs, proof-of-concept demonstrators for radical aeronautical concepts, and problem-solving exercises for vehicles already in production. The most critical contributions of aerospace models are to provide confidence and risk reduction for new designs and to enhance the safety and efficiency of existing configurations.

Chambers, Joseph↗

NASA Tech Briefs, August 2006

Topics covered include: Measurement and Controls Data Acquisition System IMU/GPS System Provides Position and Attitude Data Using Artificial Intelligence to Inform Pilots of Weather Fast Lossless Compression of Multispectral-Image Data Developing Signal-Pattern-Recognition Programs Implementing Access to Data Distributed on Many Processors Compact, Efficient Drive Circuit for a Piezoelectric Pump; Dual Common Planes for Time Multiplexing of Dual-Color QWIPs; MMIC Power Amplifier Puts Out 40 mW From 75 to 110 GHz; 2D/3D Visual Tracker for Rover Mast; Adding Hierarchical Objects to Relational Database General-Purpose XML-Based Information Managements; Vaporizable Scaffolds for Fabricating Thermoelectric Modules; Producing Quantum Dots by Spray Pyrolysis; Mobile Robot for Exploring Cold Liquid/Solid Environments; System Would Acquire Core and Powder Samples of Rocks; Improved Fabrication of Lithium Films Having Micron Features; Manufacture of Regularly Shaped Sol-Gel Pellets; Regulating Glucose and pH, and Monitoring Oxygen in a Bioreactor; Satellite Multiangle Spectropolarimetric Imaging of Aerosols; Interferometric System for Measuring Thickness of Sea Ice; Microscale Regenerative Heat Exchanger Protocols for Handling Messages Between Simulation Computers Statistical Detection of Atypical Aircraft Flights NASA's Aviation Safety and Modeling Project Multimode-Guided-Wave Ultrasonic Scanning of Materials Algorithms for Maneuvering Spacecraft Around Small Bodies Improved Solar-Radiation-Pressure Models for GPS Satellites Measuring Attitude of a Large, Flexible, Orbiting Structure

Source record↗

Stratway: A Modular Approach to Strategic Conflict Resolution

In this paper we introduce Stratway, a modular approach to finding long-term strategic resolutions to conflicts between aircraft. The modular approach provides both advantages and disadvantages. Our primary concern is to investigate the implications on the verification of safety-critical properties of a strategic resolution algorithm. By partitioning the problem into verifiable modules much stronger verification claims can be established. Since strategic resolution involves searching for solutions over an enormous state space, Stratway, like most similar algorithms, searches these spaces by applying heuristics, which present especially difficult verification challenges. An advantage of a modular approach is that it makes a clear distinction between the resolution function and the trajectory generation function. This allows the resolution computation to be independent of any particular vehicle. The Stratway algorithm was developed in both Java and C++ and is available through a open source license. Additionally there is a visualization application that is helpful when analyzing and quickly creating conflict scenarios.

Hagen, George E.↗