Here is a listing some of what this project has accomplished. We ve given a probabilistic explanation of why a previously proposed accelerated gossip algorithm works. We ve resolved the problem of automatically localizing a mobile autonomous agent using range-only measurements. We invented new tools for analyzing convergence rates for consensus and gossiping algorithms. We derived a complete solution to the problem of controlling a directed formation of triangular shape. We proved that for...

Topics: DTIC Archive, YALE UNIV NEW HAVEN CT, *ALGORITHMS, CONVERGENCE, GRAPHS, PROBABILITY,...

Most systems now provide multiple functions and multiple capabilities (MFMC) in a single solution. Yet, it has become increasingly challenging for managers to properly assess the development and acquisition of these systems to ensure the achievement of adequate system maturity. Moreover, such a challenge is compounded when the systems are not only comprised of MFMC but have multiple or competing technology and integration alternatives. This challenge then raises a fundamental question: How do...

Topics: DTIC Archive, STEVENS INST OF TECHNOLOGY HOBOKEN NJ, *SYSTEMS ANALYSIS, SOLUTIONS(GENERAL),...

A program to perform coordinated research employing complementary electro-optical techniques to characterize optical and physical properties of the atmosphere are described in this report. Emphasis was on upgrading and operating the CO2 wind sensing lidar, upgrading and operating the Nd:YAG backscatter lidar, on working with the multichannel transmissometer, and on upgrading the MAPM system.

Topics: DTIC Archive, McNicholl, Patrick, PHOTOMETRICS INC WOBURN MA, *FOREIGN POLICY*FOREIGN POLICY,...

Results are presented for 607 speckle interferometric observations of double stars, as well as 222 measures of single stars or unresolved pairs. All data were obtained in 2006 and 2007 at the Mount Wilson Observatory, using the 2.5 m Hooker telescope. Separations range from 0.06 to 6.31, with a median of 0.34. These three observing runs concentrated on binaries in need of confirmation (mainly Hipparcos and Tycho pairs), as well as systems in need of improved orbital elements. New orbital...

Topics: DTIC Archive, NAVAL OBSERVATORY WASHINGTON DC, *SPECKLE INTERFEROMETRY, *ORBITS, MOUNTS, STARS,...

What is Cursor-on-Target? In a nutshell, CoT is just a simplified messaging format that s rapidly gaining acceptance throughout the military as an enterprise integration solution. Today, there are more than a hundred systems that speak CoT either natively or through a third-party adaptor (called a plug-in). CoT s catching on quickly because it s simple to understand, simple to implement, simple to extend, and completely open.

Topics: DTIC Archive, MITRE CORP BEDFORD MA, *MESSAGE PROCESSING, *PLUG IN UNITS, SIMPLIFICATION,...

In the present reporting period Tzavara's work concentrated in the study of self-similar viscous and fluid-dynamic limits. The invariance of hyperbolic systems of conservation laws under dilations of coordinates is a key property underlying much of the current theory. Viscous perturbations introduce an additional parabolic scale and this invariance is lost. Understanding how the two scales interact for small viscosities is an important step in the process of studying viscous limits for general...

Topics: DTIC Archive, Tzavaras, Athanasios E, WISCONSIN UNIV-MADISON, *VISCOSITY, SOLUTIONS(GENERAL),...

Each Exercise has the following format: (1) Overview of the method, (2) problem statement; (3) Solution method; (4) Syntax summary; and (5) Pages for documenting the solution.

Topics: DTIC Archive, SOFTECH INC WALTHAM MA, *TRAINING, *COMPUTER PROGRAMMING, *INSTRUCTION MANUALS,...

This report discusses the feasibility of employing evolutionary algorithms for the automatic design of electro-optical systems for a wide variety of DoD applications. Evolutionary algorithms (EAs) can be utilized for automatic design provided potential solutions can be encoded mathematically, can be rapidly tested analytically, computationally, or experimentally, and can have their performance quantified mathematically. Importantly, EAs can be employed even when changes in system design lead to...

Topics: DTIC Archive, NAVAL RESEARCH LAB WASHINGTON DC, *ALGORITHMS, *ELECTROOPTICS, AUTOMATIC,...

The purpose of this paper is to briefly report on some new advances due to Brownawell on the problem of explicit (concretely computable) solutions to the Bezout equations, which are based on some recent developments in complex analysis due to Yger and the authors. Keywords: Polynomials; Variables; Integrals.

Topics: DTIC Archive, Berenstein, Carlos A, MARYLAND UNIV COLLEGE PARK, *INTEGRAL EQUATIONS, POLYNOMIALS,...

We study the solutions of the equation phi(Cm)/phi(Cn) = r where r is a xed rational number, Ck is the kth Catalan number and phi is the Euler function. We note that the number r = 4 is special for this problem and for it we construct solutions (m; n) to the above equation which are related to primes p such that 2p - 1 or 4p - 3 is also prime.

Topics: DTIC Archive, NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF APPLIED MATHEMATICS, *EULER EQUATIONS,...

The first algorithm for solving generalized linear programs was given by Dantzig. His algorithm assumes that a basic feasible solution of the generalized program to be solved exists and is given. If the initial basic feasible solution is non-degenerate, then his algorithm is guaranteed to converge. The purpose of this paper is to show how to find an initial basic feasible (possibly degenerate) solution of a generalized linear program by applying the same algorithm to a phase-one problem without...

Topics: DTIC Archive, Hu, Hui, STANFORD UNIV CA SYSTEMS OPTIMIZATION LAB, *LINEAR PROGRAMMING,...

Results are presented for 299 speckle interferometric observations of double stars, obtained in 2008 at the USNO Flagstaff Station using the 1.55 m Kaj Strand Astrometric Reflector. Separations range from 0. 15 to 9. 88, with a median of 2. 22. This observing run concentrated on neglected systems, as well as systems in need of improved orbital elements; new orbital solutions have been determined for nine systems as a result.

Topics: DTIC Archive, NAVAL OBSERVATORY WASHINGTON DC, *ORBITS, *SPECKLE INTERFEROMETRY, ASTRONOMY,...

A modified configuration for a THz stage has been designed, fabricated and assembled with the final goal to combine the THz spectrometer with a microfluidic platform for characterization of biological samples in solutions. The new stage accommodates a modified optical mounting system that focuses THz radiation on micro/nanofluidic chips with reduced size of 1.5 mm x 3.0 mm for the active region, encompassing 10 sample channels in parallel. Another important improvement to the stage is modified...

Topics: DTIC Archive, VIBRATESS LLC CHARLOTTESVILLE VA, *INTEGRATION, *SPECTROSCOPY, BIOLOGICAL DETECTION,...

The Harry Dym equation, which is related to the classical string problem, is derived in three different ways. An implicit cusp solitary wave solution is constructed via a simple direct method. The existing connections between the Harry Dym and the Korteweg-de Vries equations are uniformised and simplified, and transformations between their respective solutions are carried out explicitly. Whenever possible, physical insights are provided.

Topics: DTIC Archive, Hereman, W, WISCONSIN UNIV-MADISON CENTER FOR MATHEMATICAL SCIENCES, *WAVE EQUATIONS,...

For centuries, the peoples of Central Europe have suffered wars of conquest and internal repressions by rulers beyond their control. This history has shaped the attitudes of today's Central European voters -- masters of their own destiny virtually for the first time. The United States has an interest in stable security for the region, having been drawn into two major wars in this century stemming from instability there. At the same time, U.S. taxpayers are less and less willing to assume a...

Topics: DTIC Archive, Sutter, Eleanor B., ARMY WAR COLL CARLISLE BARRACKS PA, *FOREIGN POLICY*FOREIGN...

Pipelining is the major organizational technique that computers use to reach higher single-processor performance. A fundamental disadvantage of pipelining is the loss incurred due to branches that require stalling or flushing the pipeline. Both hardware solutions and architectural changes have been proposed to overcome these problems. This paper examines a range of schemes for reducing branch cost focusing on both static (compile-time) and dynamic (hardware-assisted) prediction of branches....

Topics: DTIC Archive, McFarling, Scott, STANFORD UNIV CA COMPUTER SYSTEMS LAB, *COMPUTER ARCHITECTURE,...

Most variational models for multi-phase image segmentation are non-convex and possess multiple local minima, which makes solving for a global solution an extremely difficult task. In this work, we provide a method for computing a global solution for the (non-convex) multi-phase piecewise constant Mumford-Shah (spatially continuous Potts) image segmentation problem. Our approach is based on using a specific representation of the problem due to Lie et al. [27]. We then rewrite this representation...

Topics: DTIC Archive, CALIFORNIA UNIV LOS ANGELES DEPT OF MATHEMATICS, *ALGORITHMS, *IMAGE PROCESSING,...

This presentation gave an overview of the use of fixatives for use after a biological event. The presentation provided background, problem, current solution, advantages of fixatives, examples for radiological application, risk mitigation and rapid return to service, relative cost, potential for scale up, and challenges and possible solutions.

Topics: DTIC Archive, LAWRENCE LIVERMORE NATIONAL LAB CA, *BIOLOGICAL AGENTS, *BIOLOGICAL CONTAMINATION,...

The primary goal of this thesis is to investigate the use of the eXtensible Markup Language (XML) as a network configuration language. Network configuration is a difficult and time- consuming task. Current network configuration solutions are based on proprietary configuration languages and parsers. XML is a platform-neutral data representation language and worldwide standard. It is potentially advantageous to use XML to configure networks, however, XML was not developed for network...

Topics: DTIC Archive, Ababneh, Mohammad, NAVAL POSTGRADUATE SCHOOL MONTEREY CA, *NETWORKS, *CONFIGURATIONS,...

Topics: DTIC Archive, MARSTEL-DAY LLC FREDERICKSBURG VA, *INFORMATION SYSTEMS, *RISK ANALYSIS,...

The Improved Sensor Integration (ISI) project is an effort to cross-cue various force protection and persistent surveillance systems from unattended ground sensor systems and other data sources. The ISI systems communicate primarily through cursor on target messages. The Terra Harvest controller architecture was adopted to integrate the Applied Research Associates Expendable Unattended Ground Sensor (EUGS) system into the ISI project and provides a potential entry point for other types of...

Topics: DTIC Archive, ARMY RESEARCH LAB ADELPHI MD, *DETECTORS, *GROUND LEVEL, ARCHITECTURE, EXPENDABLE,...

An incomplete Lipschitz Hankel Integral of K sub 0 and related integrals are given in terms of elementary, cylindrical, and Kampe de Feriet functions. Some of the properties of these Kampe de Feriet functions are derived

Topics: DTIC Archive, Miller, Allen R., NAVAL RESEARCH LAB WASHINGTON DC, *RESONANCE ABSORPTION,...

This is an inve tigation of the solutions of the games that are formed by combining two or more simple games, played by separate groups of individuals. A simple game is one that is completely specified by its winning coalitions. Two forms of combination are studied in detail in this Memorandum: the sum, in which a coalition wins if it wins in either component, and the product, in which a coalition wins only if it wins in both components. In both cases, relationships are established between the...

Topics: DTIC Archive, SHAPLEY, L S, RAND CORP SANTA MONICA CA, *GAME THEORY, MATHEMATICAL ANALYSIS,...

The Chinese Remainder Theorem is one of the most important results of elementary Number Theory as it was used by Kurt Goedel in one of his most fundamental papers in Logic. The paper uses the analogy with the theorem of polynomial interpolation to solve it in two different ways.

Topics: DTIC Archive, Schoenberg,Isaac J, WISCONSIN UNIV-MADISON MATHEMATICS RESEARCH CENTER, *POLYNOMIALS,...

In this paper, we prove that there are infinitely many positive integers N such that the Diophantine equation (x2 + y)(x + y2) = N(x - y)3 has no nontrivial integer solution (x, y).

Topics: DTIC Archive, NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF APPLIED MATHEMATICS, *EQUATIONS,...

For the problem of minimizing the integral f(x)dx from limits of 0 to 1 subject to the constraints - f(x) xg(y) f(x) if 0 x y 1, - f(x) xg(y) - x + y f(x) if 0 y x 1, solutions are given to prove both that they satisfy the constraints and that they have the extremizing property. The problem arose in an elastico-plastic, structural-design context.

Topics: DTIC Archive, GROSS, OLIVER, RAND PROJECT AIR FORCE ARLINGTON VA, *LINEAR PROGRAMMING, *SCHEDULING,...

Time between Near and Far changes by less than 1 ns for each 300s point in the PPP solution (1-sigma: 0.248 ns) A Cs atomic clock has 2-sigma instability around 100 ps at 300 s Two separate GPS traveling systems had calibrations only 450 ps apart Multi-day PPP solutions minimize day-boundary discontinuities Relative timing accuracy better than 1 ns* If the calibration works!

Topics: DTIC Archive, NAVAL OBSERVATORY WASHINGTON DC, *ATOMIC CLOCKS, *GLOBAL POSITIONING SYSTEM,...

While developing a documentation solution for medics in the field, confidence measures have been incorporated to improve command rejection and minimize enrollment. The new enrollment algorithms makes speaker-dependent recognition competitive with speaker-independent recognition.

Topics: DTIC Archive, HANDHELD SPEECH LLC AMESBURY MA, *SPEECH RECOGNITION, ALGORITHMS, CONFIDENCE LEVEL,...

The purpose of the Financial Management Career Program (FMCP) interview is to evaluate all registrants within the comptroller career program. However, as an interviewee, I have experienced many problems with the whole process. I find the evaluation process can be biased against an individual and the score does not always reflect the expert knowledge an individual may have. In addition, the current FMCP policy of keeping the criteria for the interview score from the interviewees is...

Topics: DTIC Archive, Shepard, John M., AIR WAR COLL MAXWELL AFB AL, *FINANCIAL MANAGEMENT, *CAREERS,...

A good indication of how much damage will result from a fire is the number of firemen fighting it. The more firemen fighting a fire, the more damage occurs. Therefore, in order to reduce the resulting damage, fewer firemen should be used to fight fires. This example illustrates how the wrong conclusion can be arrived at by taking a complex, nonlinear problem and oversimplifying it to fit a linear solution. Plotting the number of firemen versus the degree of damage will yield a linear graph from...

Topics: DTIC Archive, MARINE CORPS COMBAT DEVELOPMENT COMMAND QUANTICO VA, *RISK MANAGEMENT, GRAPHS,...

This project continues our previous AFOSR project (Grant No. FA9550-08-1-0122) to extend and verify our high order space-time cell vertex scheme (DG-CVS) toward solving the compressible Navier-Stokes equation. The DG-CVS method integrates the best features of the space-time Conservation Element/Solution Element (CE/SE) method [1] and the discontinuous Galerkin (DG) method [2]. The core idea is to construct a staggered space-time mesh through alternate cell-centered CEs and vertex-centered CEs...

Topics: DTIC Archive, JACKSON STATE UNIV MS, *GALERKIN METHOD, *NAVIER STOKES EQUATIONS, CELLS,...

It is shown that the problem of finding a point in the intersection of a finite number of balls in n-space is equivalent to solving a very simple (one constraint) quadratic program. (Author)

Topics: DTIC Archive, Gale,David, CALIFORNIA UNIV BERKELEY OPERATIONS RESEARCH CENTER, *QUADRATIC...

When solving one equation in one unknown, f(x) = q, it is obviours geometrically that if (x) is continuously differentiable and (f'(x) not equal 0 for all x, then for each q the equation has at most one solution (f is then said to be univalent). Of course the univalence of f does not ensure the existence of a solution, for example, e to the x power = 0. When solving a system of n equations in n unknowns, fi(x1,...,xn) = qi (i = 1,...,n), the analogue of f'(x) is the n x n Jacobian matrix (del f...

Topics: DTIC Archive, Kojima,Masakazu, WISCONSIN UNIV-MADISON MATHEMATICS RESEARCH CENTER,...

This document establishes the existence of a homoclinic solution of a Hamiltonian system assuming that the potential V is T periodic in t, grows more rapidly than quadratically as the value of 9 approaches limit of infinity and satisfies some other technical conditions. The homoclinic solution is obtained as the limit of subharmonic solutions of (*). The subharmonic solutions are found using a minimax argument.

Topics: DTIC Archive, Rabinowitz, Paul H, WISCONSIN UNIV-MADISON CENTER FOR MATHEMATICAL SCIENCES, *ORBITS,...

Negotiation is a process that ranges from international issues to common society interactions. We present approaches to facilitate the process by exploring alternative spaces for this process. We base the approach on exploring alternative terminology that can resolve conflicts in the negotiation solution. Concept hierarchies can provide higher level concepts that can be used to obtain agreement between parties in the negotiation.

Topics: DTIC Archive, NAVAL RESEARCH LAB STENNIS SPACE CENTER MS, *HIERARCHIES, *NEGOTIATIONS,...

System requirements and constraints specify how a system must look, feel and function; but it is the needs of the users and stakeholders that give the system its raison d'etre. If a valid solution system is to be delivered, the end-users needs must be correctly identified, within the stakeholders constraints. While this process forms an essential part of the concept phase of the engineering lifecycle, it is often left under-done, with needs attributed to the general, non-specific user . Since...

Topics: DTIC Archive, AEROSPACE CONCEPTS PTY LTD FYSHWICK ACT (AUSTRALIA), *SYSTEMS ENGINEERING, AUSTRALIA,...

Recent results in Compressive Sensing have shown that, under certain conditions the solution to an underdetermined system of linear equations with sparsity-based regularization can be accurately recovered by solving convex relaxations of the original problem. In this work, we present a novel primal-dual analysis on a class of sparsity minimization problems. We show that the Lagrangian bidual (i.e. the Lagrangian dual of the Lagrangian dual) of the sparsity minimization problems can be used to...

Topics: DTIC Archive, CALIFORNIA UNIV BERKELEY DEPT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCE,...

This paper presents the formulation of a 2D axisymmetric electrostatic potential solver (2DFV) for Hall thruster simulation. It is based on a finite volume discretization of a current conservation equation where the electron current density is described by a Generalized Ohm's law description. Comparison of 2DFV to an existing 1D axisymmetric electrostatic potential solver is provided and investigation is performed into anomalous mobility corrections and Hall current calculation. Details of an...

Topics: DTIC Archive, Koo, Justin W, ADVATECH PACIFIC INC PALMDALE CA, *SIMULATION, *SOLUTIONS(GENERAL),...

Topics: DTIC Archive, JOINT PUBLICATIONS RESEARCH SERVICE ARLINGTON VA, *FOREIGN POLICY, *POLITICAL...

We report on the results of speckle observations at the 4.1 m SOAR telescope in 2010 and 2011. A total of 639 objects were observed. We give 562 measurements of 418 resolved binaries, including 21 pairs resolved for the first time, and upper detection limits for 221 unresolved stars. New orbital elements have been determined for 42 physical pairs, of which 22 are first-time calculations; the rest are corrections, sometimes substantial. Linear elements are calculated for nine apparently optical...

Topics: DTIC Archive, NAVAL OBSERVATORY WASHINGTON DC, *SPECKLE INTERFEROMETRY, CORRECTIONS, DETECTION,...

In a test of whether a Kalman filter could provide viable frequencies for atomic clocks, as well phases for a mean timescale, both simulated and actual hydrogen maser frequency data were processed with a two-state Kalman filter involving the parameters frequency and frequency drift and incorporating noise measurements based on Hadamard variances. Separate clock solutions were then combined and integrated to generate a mean timescale for the ensemble. Results for sampling times of up to at least...

Topics: DTIC Archive, Breakiron, Lee A, NAVAL OBSERVATORY WASHINGTON DC, *TIME INTERVALS, *KALMAN...

Topics: DTIC Archive, Molchanov, A M, JOINT PUBLICATIONS RESEARCH SERVICE ARLINGTON VA, *EQUATIONS,...

Solutions of Fermats last equation are expressed in terms of Wright's generalized hypergeometric function. Some of the properties of these solutions are discussed and an equivalent form of Fermats conjecture is given in terms of them. Keywords: Transcendental numbers, Trinomial equation.

Topics: DTIC Archive, Miller, Allen R, NAVAL RESEARCH LAB WASHINGTON DC, *HYPERGEOMETRIC FUNCTIONS,...

In the western world, explosive safety is a permanent worry of the ammunition designers, manufacturers and users. The absence of main accidents in France for many years proves the efficiency of the regulations and /or the chosen technical solutions. Yet, the improvement of munitions performances means an increase of their potential hazards ; besides, their directions for use evolve and the threats, particularly during crisis, increase. So, it is a prime effort to keep watchful and to study all...

Topics: DTIC Archive, SERVICE TECHNIQUE DES POUDRES ET EXPLOSIFS (FRANCE), *EXPLOSIVES, HAZARDS,...

A set of procedures is described for computing and updating an LU factorization of a sparse matrix A, where A may be square (possibly singular) or rectangular. The procedures include a Markowitz factorization and a Bartels-Golub update, similar to those of Reid (1976, 1982). The updates provided are addition, deletion or replacement of a row or column of A, and rank-one modification. (Previously, column replacement has been the only update available). Various design features of the...

Topics: DTIC Archive, Gill,Philip E, STANFORD UNIV CA SYSTEMS OPTIMIZATION LAB, *COMPUTER PROGRAMMING,...

It was conjectured by Fan that if a graph G = (V,E) has a nowhere- zero 3-flow, then G can be covered by two even subgraphs of total size at most / V/ + /E/ -3. This conjecture is proved in this paper. It is also proved in this paper that the optimum solution of the Chinese Postman problem and the solution of minimum cycle covering problem are equivalent for any graph admitting a nowhere-zero 4-flow.

Topics: DTIC Archive, Zhang, Cun-Quan, WEST VIRGINIA UNIV MORGANTOWN DEPT OF MATHEMATICS, *FLOW, *GRAPHS,...

For several years, we have been accurately calculating the electronic structure of superlattices using a solution technique based on the Empirical Pseudopotential Method (EOM). In our method for forming the superlattice pseudopotential, the critical assumption is that the heterointerface charges are redistributed, making each constituent layer in the superlattice as bulk-like as possible. Here, we demonstrate that our technique for forming the superlattice pseudopotential is fundamentally...

Topics: DTIC Archive, Ongstad, a, AIR FORCE RESEARCH LAB KIRTLAND AFB NM, *SUPERLATTICES, FOURIER...

The current optical realization of the International Celestial Reference System is the Hipparcos main catalog in its entirety. This paper demonstrates that a subset of the main catalog stars specifically those marked as double (C stars), acceleration solution (G), variability induced movers (V), and stochastic solution stars (X) is of much lower quality than the majority of the catalog. Stars marked as suspected doubles (S) were investigated and found to show few problems. The authors have put...

Topics: DTIC Archive, Urban, S E, NAVAL OBSERVATORY WASHINGTON DC, *STOCHASTIC PROCESSES, *STARS,...

A large number of problems of mathematical physics may be reduced to the solution of the equation u = f + lambda T (u), where T is a linear transformation. A recent proposal to treat such problems by means of continued fractions is reduced to a more tractable method involving series, and demonstrates the convergence of the resulting series over a larger domain than the classical Neumann series.

Topics: DTIC Archive, Brown, T A, RAND CORP SANTA MONICA CA, *PERTURBATION THEORY, *SERIES(MATHEMATICS),...

A new problem called the generalized quasi-variational inequality problem is introduced. This new formulation extends all kinds of variational inequality problem formulations that have been introduced and enlarges the class of problems that can be approached by the variational inequality problem formulation. Existence results without convexity assumptions are established and topological properties of the solution set are investigated. A new problem called the generalized implicit...

Topics: DTIC Archive, Yao, Jen-Chih, STANFORD UNIV CA SYSTEMS OPTIMIZATION LAB, *INEQUALITIES, PROBLEM...