The MITRE Corporation is an American not-for-profit organization based in Bedford, Massachusetts and McLean, Virginia. It manages Federally Funded Research and Development Centers supporting the Department of Defense , the Federal Aviation Administration , the Internal Revenue Service , the Department of Veterans Affairs , the Department of Homeland Security , the Administrative Office of the U.S. Courts on behalf of the Federal Judiciary, the Centers for Medicare and Medicaid Services , and the National Institute for Standards and Technology . Wikipedia.
Graubart R.,Mitre Corporation
Proceedings - IEEE Symposium on Security and Privacy | Year: 2012
This paper presents the integrity-lock approach to database security. The integrity-lock approach offers a »near-term» solution to the problems of database security. It makes use of existing technology emphasizing the use of encryption, and minimizing as much as possible the amount of trusted code required to insure the security of the data. The paper presumes the existence of an »off-the-shelf» database management system to perform most of the normal database management functions, and underlying secure operating system. Multiple variations of the integrity-lock approach are presented, with an accompanying description of the strengths and weaknesses of each approach. Finally, the paper suggests possible methods of offsetting some of the threaks to which the integrity-lock is vulnerable. © 1984 IEEE.
Winters D.W.,Mitre Corporation
IEEE Transactions on Aerospace and Electronic Systems | Year: 2012
The problem of forming high range resolution (HRR) profiles from radar data of moving targetsis considered. HRR profiles can result from processing range-Doppler images of targets, whereby the 2-D range-Doppler image is collapsed into a 1-D range profile. The interest in HRR profiles can partly be explained by the hypothesis that they can be used to characterize and discriminate targets. HRR profiles are also of interest because of their potential to be less sensitive than range-Doppler images to target motion. Two different approaches to forming an HRR profile from a range-Doppler image of a moving target are examined. The advantages and disadvantages of each approach are discussed. Results are obtained through analysis, simulation, and an example with synthetic aperture radar (SAR) data. © 2012 IEEE.
Charbonneau N.,Mitre Corporation |
Vokkarane V.M.,University of Massachusetts Dartmouth
IEEE/ACM Transactions on Networking | Year: 2012
In this paper, we investigate the static multicast advance reservation (MCAR) problem for all-optical wavelength-routed WDM networks. Under the advanced reservation traffic model, connection requests specify their start time to be some time in the future and also specify their holding times. We investigate the static MCAR problem where the set of advance reservation requests is known ahead of time.We prove theMCAR problem is NP-complete, formulate the problem mathematically as an integer linear program (ILP), and develop three efficient heuristics, seqRWA, ISH, and SA, to solve the problem for practical size networks. We also introduce a theoretical lower bound on the number of wavelengths required. To evaluate our heuristics, we first compare their performances to the ILP for small networks, and then simulate them over real-world, large-scale networks. We find the SA heuristic provides close to optimal results compared to the ILP for our smaller networks, and up to a 33% improvement over seqRWA and up to a 22% improvement over ISH on realistic networks. SA provides, on average, solutions 1.5-1.8 times the cost given by our conservative lower bound on large networks. © 2011 IEEE.
Laraoui A.,City College of New York |
Hodges J.S.,Mitre Corporation |
Meriles C.A.,City College of New York
Nano Letters | Year: 2012
Semiconductor nanoparticles host a number of paramagnetic point defects and impurities, many of them adjacent to the surface, whose response to external stimuli could help probe the complex dynamics of the particle and its local, nanoscale environment. Here, we use optically detected magnetic resonance in a nitrogen-vacancy (NV) center within an individual diamond nanocrystal to investigate the composition and spin dynamics of the particle-hosted spin bath. For the present sample, a ∼45 nm diamond crystal, NV-assisted dark-spin spectroscopy reveals the presence of nitrogen donors and a second, yet-unidentified class of paramagnetic centers. Both groups share a common spin lifetime considerably shorter than that observed for the NV spin, suggesting some form of spatial clustering, possibly on the nanoparticle surface. Using double spin resonance and dynamical decoupling, we also demonstrate control of the combined NV center-spin bath dynamics and attain NV coherence lifetimes comparable to those reported for bulk, Type Ib samples. Extensions based on the experiments presented herein hold promise for applications in nanoscale magnetic sensing, biomedical labeling, and imaging. © 2012 American Chemical Society.
Weitz L.A.,Mitre Corporation
Transportation Research Part C: Emerging Technologies | Year: 2013
Interval Management (IM) is a concept being developed as a part of the Next Generation Air Transportation System (NextGen) and Single European Sky ATM Research (SESAR). The objective of Interval Management is to achieve a more precise spacing interval between an IM aircraft and an assigned target aircraft. Speed commands, calculated by avionics onboard the IM aircraft using state information from the target aircraft received by ADS-B, are implemented by the IM aircraft in order to achieve a desired spacing interval relative to its target aircraft. In some IM operations, it is expected that a string of IM aircraft will be formed, where each aircraft is spacing relative to its immediately preceding aircraft. In the design of a speed control law that calculates speed commands for the IM aircraft, one must not only examine the performance and stability of one aircraft relative to another, but also the performance and stability of the entire string. String behavior fundamentally affects the potential operational practicality of successfully implementing Interval Management in certain environments. This paper presents a simplified, closed-form string stability analysis for a time-history speed control law, which has been proposed for Interval Management. Simulation results are shown to validate the closed-form analysis and are used to evaluate string behavior and system performance for an approach-spacing operation. © 2011 Elsevier Ltd.