National Technical Reports Library: 72 - Mathematicshttp://www.ntis.gov/rss/RSSNTISCategoryList.aspxNational Technical Reports Libraryen(c) 2008, National Technical Information Service. All rights reserved.5RSS Feedhttp://www.ntis.gov/images/logoRSS.jpghttp://www.ntis.govAccuracy Progressive Calculation of Lagrangian Trajectories from Gridded Velocity Field.Reduction of computational error is a key issue in computing Lagrangian trajectories 12 using gridded velocities. Computational accuracy enhances from using the first term (constant 13 velocity scheme), the first two terms (linear uncoupled scheme), ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604087Active Upper-atmosphere Chemistry and Dynamics from Polar Circulation Reversal on Titan.Saturn's moon Titan has a nitrogen atmosphere comparable to Earth's, with a surface pressure of 1.4 bar. Numerical models reproduce the tropospheric conditions very well but have trouble explaining the observed middle-atmosphere temperatures, composi ...http://www.ntis.gov/search/product.aspx?ABBR=N140005703Analysis of the Capability Portfolio Review (CPR).In February 2010, the Secretary of the Army directed the Under Secretary of the Army and the Vice Chief of Staff of the Army to implement a CPR pilot process to conduct an Army-wide, all components revalidation of the operational value of Army requir ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604564Analysis of the Finite Precision s-Step Biconjugate Gradient Method.We analyze the s-step biconjugate gradient algorithm in nite precision arithmetic and derive a bound for the residual norm in terms of a minimum polynomial of a perturbed matrix multiplied by an ampli cation factor. Our bound enables comparison of s- ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604544Analyzing and Assessing Brain Structure with Graph Connectivity Measures.Recent studies have shown that graph theory is a useful tool in studying changes in brain connectivity resulting from degenerative conditions such as Alzheimers disease (AD). The human brain can be naturally modeled as a network and graph theory meas ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604781Application of Flow and Transport Optimization Codes to Groundwater Pump and Treat Systems. Volume 2.Three different transport optimization formulations, consisting of an objective function to be minimized and a set of constraints to be satisfied, are described below. These formulations are based on data from the system operated from 1997 to the pre ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604146Application of Flow and Transport Optimization Codes to Groundwater Pump and Treat Systems. Volume 3.The 1998 DoD Inspector General report indicates that the cumulative operating and maintenance (O&M) costs for 75 pump and treat systems operating at DoD chlorinated solvent groundwater sites (a subset of over 200 DoD pump and treat sites) was $40 mil ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604145Applications of Graph-Theoretic Tests to Online Change Detection.Detecting change in a stochastic process is a central problem in statistics. This project explores nonparametric graph-theoretic approaches to solving online change-point problems. The foundation for our methodology is the Ensemble Sum of Pair-Maxima ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604776Capability-Based Modeling Methodology: A Fleet-First Approach to Architecture.This paper describes a Fleet-first methodology to generate Data Model 2-compliant architectures and use them to improve strategic and tactical readiness. Architectural design originates with mapping key capabilities to desired effects articulated by ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604442Code Optimizers and Register Organizations for Vector Architectures.A major challenge facing computer architects today is designing cost- effective hardware that executes multiple operations simultaneously. The goal of such designs is to improve performance by taking advantage of fine-grain parallelism. In this disse ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604304Com2: Fast Automatic Discovery of Temporal ( Comet ) Communities.Given a large network, changing over time, how can we find patterns and anomalies. We propose Com2, a novel and fast, incremental tensor analysis approach, which can discover both transient and periodic/ repeating communities. The method is (a) scala ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604296Coupled Mode Formalism: Connecting Phasor, Matrix, and Geometrical Approaches.In this report, we examine the formalism of coupled mode theory from several viewpoints, using the fiber optic directional coupler as a model problem to unify the discussion. With this model, we present the basic maps and tools used in describing cou ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604605Data Farming in Support of NATO.Data Farming is a process that has been developed to support decision-makers by answering questions that are not currently addressed. Data farming uses an inter-disciplinary approach that includes modelling and simulation, high performance computing, ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604058DDJC-Sharpe Defense Distribution Depot: FEMWATER 3D Transport Model of TCE Plume Migration with Natural Attenuation.PURPOSE: This Coastal and Hydraulics Engineering Technical Note summarizes results from a three-dimensional (3-D) groundwater numerical model of plume migration comparisons between a no-pumping scenario and a proposed pump-and-treat extraction config ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604716Decision Topology Assessment in Engineering Design Under Uncertainity.The implications of decision analysis (DA) on engineering design are well known. Recently, the authors proposed decision topologies (DT) as a visual method for making design decisions and proved that they are consistent with normative decision analys ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604245Density Estimation of Simulation Output Using Exponential EPI-Splines.The density of stochastic simulation output provides more information on system performance than the mean alone. However, density estimation methods may require large sample sizes to achieve a certain accuracy or desired structural properties. A nonp ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604705Design and Implementation of a Log-structured File System.This dissertation presents a new technique for disk storage management called a log-structured file system. The technique writes all file system changes in large sequential transfers to a log-like structure on disk. The key benefit is a high write pe ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604306Development and Evaluation of a Hydrostatic Dynamical Core Using the Spectral Element/Discontinuous Galerkin Methods.In this paper, we present a dynamical core for the atmospheric primitive hydrostatic equations using a unified formulation of spectral element (SE) and discontinuous Galerkin (DG) methods in the horizontal direction with a finite difference (FD) meth ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604581Eigenfunction of the Reed-Muller Transformation.We introduce eigenfunctions of the Reed-Muller transform. Eigenfunctions are functions whose canonical sumof- products expression and PPRM (positive polarity Reed- Muller expression) are isomorphic. In the case of symmetric functions, the eigenfuncti ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604853Examination of a Multi-Scale Three-Dimensional Variational Data Assimilation Scheme in the Kuroshio Extension Using the Naval Coastal Ocean Model.The implementation of a multi-scale three dimensional variational (MS3DVAR) data assimilation scheme for use with the Navy Coastal Ocean Model (NCOM) in the Kuroshio Extension western boundary current region is presented here. This work leverages on ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604650Fast State-Space Methods for Inferring Dendritic Synaptic Connectivity.We present fast methods for filtering voltage measurements and performing optimal inference of the location and strength of synaptic connections in large dendritic trees. Given noisy, subsampled voltage observations we develop fast l1-penalized regre ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604043Flexible, Parallel Model of Natural Language Generation.This thesis describes a structured connectionist system for natural language generation. 'FIG', short for 'Flexible Increment Generator', is based on a single network which encodes lexical knowledge, syntactic knowledge, and world knowledge. In the i ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604330High Dimensional Learning.The problem of high dimensional learning is considered. Efficient methods are developed for learning latent variable models and graphical models in high dimensions. Theoretical guarantees are established for the developed methods. The methods are app ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604947Improved Phrase Translation Modeling Using Maximum A-Posteriori (MAP) Adaptation.In this paper, we explore several methods of improving the estimation of translation model probabilities for phrase-based statistical machine translation given in-domain data sparsity. We introduce a hierarchical variant of MAP adaptation for domain ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604450Investigation of Historic Equilibrium Moisture Content Data from the Forest Products Laboratory.Forest Products Laboratory (FPL) has provided equilibrium moisture content (EMC) values of wood for given temperature and relative humidity (RH) conditions in various forms over the course of its history, primarily for practical purposes related to d ...http://www.ntis.gov/search/product.aspx?ABBR=PB2014108752Learning Circulant Sensing Kernels.In signal acquisition, Toeplitz and circulant matrices are widely used as sensing operators. They correspond to discrete convolutions and are easily or even naturally realized in various applications. For compressive sensing, recent work has used ran ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604171Looking Skyward: The Emergence of an Air-Minded Culture in the US Army.The twentieth century's first decades were a time of enormous technological achievement that had profound influences on the modern battlefield. The invention of the airplane and its subsequent adaptation for military use inarguably changed the face o ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604253Modeling Navigation Conditions at Lock Approaches.INTRODUCTION: The lock approach research required the development of a method to rapidly evaluate the navigation conditions in lock approaches for various guard wall configurations. The idea was to numerically model many guard wall configurations and ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604702Modelling of U-tube Tanks for ShipMo3D Ship Motion Predictions.Ship roll motions in waves can be significant due to small roll damping and the proximity of ship natural roll frequency to encountered wave frequencies. Roll motions can be reduced by various methods, including bilge keels and active roll stabilizat ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604136Non-Markovian State-Dependent Networks in Critical Loading.We establish heavy traffic limit theorems for queue-length processes in critically loaded single class queueing networks with state-dependent arrival and service rates. A distinguishing feature of our model is non- Markovian state dependence. The lim ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604423Performance, Resources, and Complexity: A Systematic Approach to Microarchitectural Design.VLSI design in general--microprocessor design in particular-- has been treated more like an art than a science in the past. The goal of this thesis is to explain the science of VLSI design to someone who wants to build a microprocessor. This can be a ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604858Polynomial-Based Nonlinear Least Squares Optimized Preconditioner for Continuous and Discontinuous Element-Based Discretizations of the Euler Equations.We introduce a method for constructing a polynomial preconditioner using a nonlinear least squares (NLLS) algorithm. We show that this polynomial- based NLLS-optimized (PBNO) preconditioner significantly improves the performance of 2-D continuous Gal ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604707Primer on Integrating Resource Inventories.This report is the result of literature syntheses and research and development initiated by the United States Department of Agriculture Forest Service's Resources Evaluation Techniques (RET) Program through the National Inventory and Remote Sensing T ...http://www.ntis.gov/search/product.aspx?ABBR=PB2014108756Profile-Driven Compilation.As the size and complexity of software continues to grow, it will be necessary for software construction systems to collect, maintain, and utilize much more information about programs than systems do now. This dissertation explores compiler utilizati ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604333Prototype of a Graphical CONOPS (Concept of Operations) Development Environment for Agile Systems Engineering.The goal of the research performed under this task was to continue the investigation of graphical 3D gaming environments in the construction of a shared mental model during concept development. A result of the research is an artifact that is a proof ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604335Quantum Tomography via Compressed Sensing: Error Bounds, Sample Complexity and Efficient Estimators.Intuitively, if a density operator has small rank, then it should be easier to estimate from experimental data, since in this case only a few eigenvectors need to be learned. We prove two complementary results that confirm this intuition. Firstly, we ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604908Regional Sediment Management (RSM) Modeling Tools: Integration of Advanced Sediment Transport Tools into HEC-RAS.This Coastal and Hydraulics Engineering Technical Note (CHETN) summarizes the development and initial testing of new sediment transport and modeling tools developed by the U.S. Army Corps of Engineers (USACE), Institute for Water Resources (IWR), Hyd ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604359Reliability-based Design Optimization with Confidence Level for Non- Gaussian Distributions Using Bootstrap Method.For reliability-based design optimization (RBDO), generating an input statistical model with confidence level has been recently proposed to offset inaccurate estimation of the input statistical model with Gaussian distributions. For this, the confide ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604060Report on Scattering Physics of Multistatic Radar Sea Clutter.This report presents work undertaken on Multistatic Radar Sea Clutter over the period October 2012 to April 2014. A number of topics have been addressed as follows: (1) NATO SET-185 is a research collaboration panel on sea clutter involving 9 nations ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604793Semantic Basis for Proof Queries and Transformations.We extend the query language PrQL, designed for inspecting machine representations of proofs, to also allow transformation of proofs. PrQL natively supports hiproofs which express proof structure using hierarchically nested labelled trees, which we c ...http://www.ntis.gov/search/product.aspx?ABBR=N140005390Sentinel 3 Science Products: A US Contribution.No abstract available. ...http://www.ntis.gov/search/product.aspx?ABBR=N140005691Shallow Water Bathymetry using the REMUS 100 Autonomous Underwater Vehicle.This report describes assessments of a REMUS 100 autonomous underwater vehicle owned by DSTO as a tool for hydrographic survey. It concludes that DSTO's vehicle as currently configured cannot meet horizontal and vertical uncertainty standards for Spe ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604237Structures 2014: Volume 1. Transportation Research Record: Journal of the Transportation Research Board, No. 2406.Transportation Research Record: Journal of the Transportation Research Board, No. 2406 consists of 10 papers that analyze imposed bridge load stresses for development of a European bridge formula; design of ultrahigh-performance concrete waffle deck ...http://www.ntis.gov/search/product.aspx?ABBR=PB2014108735System Identification and Control of a Joint-Actuated Buoy.Consider the example of a small, free-floating buoy using a directional antenna to communicate with a satellite. The position of the buoy must remain stable and directed towards the satellite for effective transmission. With a joint-actuated buoy, it ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604778Tensor Decompositions for Learning Latent Variable Models.This work considers a computationally and statistically efficient parameter estimation method for a wide class of latent variable models-- including Gaussian mixture models, hidden Markov models, and latent Dirichlet allocation--which exploits a cert ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604494Three-Stage Colonel Blotto Game with Applications to Cyber-Physical Security.We consider a three-step three-player complete information Colonel Blotto game in this paper, in which the first two players fight against a common adversary. Each player is endowed with certain amount of resources at the beginning of the game, and t ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604916Tools for Regional Sediment Management.PURPOSE. This Coastal and Hydraulics Engineering Technical Note (CHETN) describes tools that have been adapted to assist with Regional Sediment Management (RSM) activities at the US Army Engineer Districts, Mobile and New York. Geographic Information ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604720Topics in Mitigating Radar Bias.This report considers two topics in mitigating radar bias in target tracking. The first topic considers track estimates provided by two tracking systems of a single object. There is a relative bias, computed by the method of Levedahl or Brown, Weisma ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604137Tradeoffs Between Synchronization, Communication, and Work in Parallel Linear Algebra Computations.This paper derives tradeoffs between three basic costs of a parallel algorithm: synchronization, data movement, and computational cost. Our theoretical model counts the amount of work and data movement as a maximum of any execution path during the pa ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604834Travel Survey Methods. Transportation Research Record: Journal of the Transportation Research Board, No. 2405.Transportation Research Record: Journal of the Transportation Research Board, No. 2405 consists of 9 papers that examine route-recording technology for the Swiss Microcensus on Mobility and Transport 2010; adapting an online transit journey planner i ...http://www.ntis.gov/search/product.aspx?ABBR=PB2014108731Understanding System of Systems Development Using an Agent-Based Wave Model.System of Systems (SoS) development is a complex process that depends on the cooperation of various independent Systems. SoS acquisition and development differs from that typical for a single System; it has been shown to follow a wave paradigm known ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604453Validating an Air Traffic Management Concept of Operation Using Statistical Modeling.Validating a concept of operation for a complex, safety-critical system (like the National Airspace System) is challenging because of the high dimensionality of the controllable parameters and the infinite number of states of the system. In this pape ...http://www.ntis.gov/search/product.aspx?ABBR=N140005729Verification of a Non-Hydrostatic Dynamical Core Using Horizontally Spectral Element Vertically Finite Difference Method: 2D Aspects.The non-hydrostatic (NH) compressible Euler equations of dry atmosphere are solved in a simplified two dimensional (2D) slice (X-Z) framework employing a spectral element method (SEM) for the horizontal discretization and a finite difference method ( ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604708Work Practice Simulation of Complex Human-Automation Systems in Safety Critical Situations: The Brahms Generalized berlingen Model.The transition from the current air traffic system to the next generation air traffic system will require the introduction of new automated systems, including transferring some functions from air traffic controllers to onSH-board automation. This rep ...http://www.ntis.gov/search/product.aspx?ABBR=N140005548Workshop on Numerical Analysis of Human and Surrogate Response to Accelerative Loading.The Warrior Injury Assessment Manikin (WIAMan) Project Management Office in conjunction with the Blast Protection for Platforms and Personnel Institute hosted the Workshop on Numerical Analysis of Human and Surrogate Response to Accelerative Loading ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604517Zero-One Laws for Connectivity in One-Dimensional Geometric Random Graphs.We consider the geometric random graph where n points are distributed uniformly and independently on the unit interval 0, 1. Using the method of first and second moments, we provide a simple proof of the 'zero-one' law for the property of graph conne ...http://www.ntis.gov/search/product.aspx?ABBR=ADA604697