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.

Sonar sequences from Costas arrays and the best known sonar sequences with up to 100 symbols

Abstract: The authors construct new and improved sonar sequences by applying rotation, multiplication, and shearing transformations to Costas sequence constructions. A catalog of the best known sonar sequences with up to 100 symbols is given. >

HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems

Abstract: The research in hierarchical planning has made considerable progress in the last few years. Many recent systems do not rely on hand-tailored advice anymore to find solutions, but are supposed to be domain-independent systems that come with sophisticated solving techniques. In principle, this development would make the comparison between systems easier (because the domains are not tailored to a single system anymore) and – much more important – also the integration into other systems, because the modeling process is less tedious (due to the lack of advice) and there is no (or less) commitment to a certain planning system the model is created for. However, these advantages are destroyed by the lack of a common input language and feature set supported by the different systems. In this paper, we propose an extension to PDDL, the description language used in non-hierarchical planning, to the needs of hierarchical planning systems.

Maintenance of K-nn and spatial join queries on continuously moving points

Abstract: Cars, aircraft, mobile cell phones, ships, tanks, and mobile robots all have the common property that they are moving objects. A kinematic representation can be used to describe the location of these objects as a function of time. For example, a moving point can be represented by the function p(t) = x→0 + (t - t0)v→, where x→0 is the start location, t0 is the start time, and v→ is its velocity vector. Instead of storing the location of the object at a given time in a database, the coefficients of the function are stored. When an object's behavior changes enough so that the function describing its location is no longer accurate, the function coefficients for the object are updated. Because the location of each object is represented as a function of time, spatial query results can change even when no transactions update the database. We present efficient algorithms to maintain k-nearest neighbor, and spatial join queries in this domain as time advances and updates occur. We assume no previous knowledge of what the updates will be before they occur. We experimentally compare these new algorithms with more straight forward adaptations of previous work to support updates. Experiments are conducted using synthetic uniformly distributed data, and real aircraft flight data. The primary metric of comparison is the number of I/O disk accesses needed to maintain the query results and the supporting data structures.

Subcarrier communication system

Abstract: A communication system (100) is provided for transmitting data to mobile receivers utilizing a subcarrier within a commercial FM channel of a radio station (55). The data transmitted is first encoded in encoder (112), utilizing a forward error correction code. The sequence of the encoded data is altered in interleaver (116), subdivided into a plurality of subframes, in framing and synchronization circuit (120), which also adds channel state bits to each subframe. The framed data is modulated onto the subcarrier in the differential quadrature phased shift keying modulator (130), the output of which is coupled to the FM modulator (52) of radio station transmitter (50). The transmitted radio frequency signals may be received by a vehicle antenna (12) for coupling to the vehicle's FM receiver (80). The modulated subcarrier is recovered from the FM demodulator (84) of the receiver (80), the modulated subcarrier being demodulated to recover the encoded digital data therefrom. The channel state bits included with the data are extracted from the digital data and utilized to form a data reliability factor for each bit of the encoded data. The data reliability factors thus obtained are associated with each bit of the data in a deinterleaver (360). Deinterleaver (360) provides each data bit in proper sequence, with its associated data reliability factor to a decoder (370). The decoded digital data is provided to a vehicle traffic computer (90) for processing and presentation of traffic information to a user on a display (92).

Identifying Factors that Influence Trust in Automated Cars and Medical Diagnosis Systems

Abstract: Our research goals are to understand and model the factors that affect trust in automation across a variety of application domains. For the initial surveys described in this paper, we selected two domains: automotive and medical. Specifically, we focused on driverless cars (e.g., Google Cars) and automated medical diagnoses (e.g., IBM’s Watson). There were two dimensions for each survey: the safety criticality of the situation in which the system was being used and name-brand recognizability. We designed the surveys and administered them electronically, using Survey Monkey and Amazon’s Mechanical Turk. We then performed statistical analyses of the survey results to discover common factors across the domains, domain-specific factors, and implications of safety criticality and brand recognizability on trust factors. We found commonalities as well as dissimilarities in factors between the two domains, suggesting the possibility of creating a core model of trust that could be modified for individual domains. The results of our research will allow for the creation of design guidelines for autonomous systems that will be better accepted and used by target populations.