Mitre Corporation

About: Mitre Corporation is a company organization based out in Bedford, Massachusetts, United States. It is known for research contribution in the topics: Air traffic control & National Airspace System. The organization has 4884 authors who have published 6053 publications receiving 124808 citations. The organization is also known as: Mitre & MITRE.

Method for generating conflict resolutions for air traffic control of free flight operations

Abstract: A computationally efficient method for automatically generating lateral resolutions for air traffic control problems for a given aircraft allows for prediction and evaluation of required separation between aircraft, between aircraft and airspace, and problems with assigned metering time. Upon a possible problem being predicted, lateral resolutions are created which provide plans to re-route the original flight trajectory of the aircraft in order to avoid a possible problem by examining the space surrounding the aircraft, iteratively adding data on each conflict encountered into a conflict database, calculating and probing maneuver trajectories for all conflicts in the conflict database, and selecting the most appropriate of the created maneuver trajectories.

A video game-based framework for analyzing human-robot interaction: characterizing interface design in real-time interactive multimedia applications

Abstract: There is growing interest in mining the world of video games to find inspiration for human-robot interaction (HRI) design. This paper segments video game interaction into domain-independent components which together form a framework that can be used to characterize real-time interactive multimedia applications in general and HRI in particular. We provide examples of using the components in both the video game and the Unmanned Aerial Vehicle (UAV) domains (treating UAVs as airborne robots). Beyond characterization, the framework can be used to inspire new HRI designs and compare different designs; we provide an example comparison of two UAV ground station applications.

MPSS: Mobile Proactive Secret Sharing

Abstract: This article describes MPSS, a new way to do proactive secret sharing. MPSS provides mobility: The group of nodes holding the shares of the secret can change at each resharing, which is essential in a long-lived system. MPSS additionally allows the number of tolerated faulty shareholders to change when the secret is moved so that the system can tolerate more (or fewer) corruptions; this allows reconfiguration on-the-fly to accommodate changes in the environment.MPSS includes an efficient protocol that is intended to be used in practice. The protocol is optimized for the common case of no or few failures, but degradation when there are more failures is modest. MPSS contains a step in which nodes accuse proposals made by other nodes; we show a novel way to handle these accusations when their verity cannot be known. We also present a way to produce accusations that can be verified without releasing keys of other nodes; verifiable accusations improve the performance of MPSS, and are a useful primitive independent of MPSS.

A simplified stochastic model for the aeronautical mobile radio channel

Abstract: The aeronautical mobile radio channel is analyzed. A stochastic model for the channel is proposed in terms of the transmission coefficient. The power spectrum and the correlation functions are derived for cases of practical interest. The model is useful for predicting the error rate performance of digital modulation techniques. The results from a flight test showed the validity of the proposed model. >

Distributed real-time specification for Java: a status report (digest)

Abstract: The Distributed Real-Time Specification for Java (DRTSJ) is under development within Sun's Java Community Process (JCP) as Java Specification Request 50 (JSR-50), lead by the MITRE Corporation. We present the engineering considerations and design decisions settled by the Expert Group, the current and proposed form of the Reference Implementation, and a summary of open issues. In particular, we present an approach to integrating the distributable threads programming model with the Real-Time Specification for Java and discuss the ramifications for composing distributed, real-time systems in Java. The Expert Group plans to release an initial Early Draft Review (EDR) for previewing the distributable threads abstraction in the coming months, which we describe in detail. Along with that EDR, we will make available a demonstration application from Virginia Tech, and a DRTSJ-compatible RTSJ VM from Apogee.