Feasibility study of an Integrated Program for Aerospace vehicle Design (IPAD). Volume 4: IPAD system design

The computing system design of IPAD is described and the requirements which form the basis for the system design are discussed. The system is presented in terms of a functional design description and technical design specifications. The functional design specifications give the detailed description of the system design using top-down structured programming methodology. Human behavioral characteristics, which specify the system design at the user interface, security considerations, and standards for system design, implementation, and maintenance are also part of the technical design specifications. Detailed specifications of the two most common computing system types in use by the major aerospace companies which could support the IPAD system design are presented. The report of a study to investigate migration of IPAD software between the two candidate 3rd generation host computing systems and from these systems to a 4th generation system is included

Coherent States and Modified de Broglie-Bohm Complex Quantum Trajectories

This paper examines the nature of classical correspondence in the case of coherent states at the level of quantum trajectories. We first show that for a harmonic oscillator, the coherent state complex quantum trajectories and the complex classical trajectories are identical to each other. This congruence in the complex plane, not restricted to high quantum numbers alone, illustrates that the harmonic oscillator in a coherent state executes classical motion. The quantum trajectories are those conceived in a modified de Broglie-Bohm scheme and we note that identical classical and quantum trajectories for coherent states are obtained only in the present approach. The study is extended to Gazeau-Klauder and SUSY quantum mechanics-based coherent states of a particle in an infinite potential well and that in a symmetric Poschl-Teller (PT) potential by solving for the trajectories numerically. For the coherent state of the infinite potential well, almost identical classical and quantum trajectories are obtained whereas for the PT potential, though classical trajectories are not regained, a periodic motion results as t --> \infty.Comment: More example

Privacy regulation and online advertising

Advertisers use online customer data to target their marketing appeals. This has heightened consumers' privacy concerns, leading governments to pass laws designed to protect consumer privacy by restricting the use of data and by restricting online tracking techniques used by websites. We use the responses of 3.3 million survey takers who had been randomly exposed to 9,596 online display (banner) advertising campaigns to explore how privacy regulation in the European Union (EU) has influenced advertising effectiveness. This privacy regulation restricted advertisers' ability to collect data on Web users in order to target ad campaigns. We find that, on average, display advertising became far less effective at changing stated purchase intent after the EU laws were enacted, relative to display advertising in other countries. The loss in effectiveness was more pronounced for websites that had general content (such as news sites), where non-data-driven targeting is particularly hard to do. The loss of effectiveness was also more pronounced for ads with a smaller presence on the webpage and for ads that did not have additional interactive, video, or audio features

Search Engine Advertising: Channel Substitution when Pricing Ads to Context

We explore substitution patterns across advertising platforms. Using data on the advertising prices paid by lawyers for 139 Google search terms in 195 locations, we exploit a natural experiment in “ambulance-chaser” regulations across states. When lawyers cannot contact clients by mail, advertising prices per click for search engine advertisements are 5%–7% higher. Therefore, online advertising substitutes for offline advertising. This substitution toward online advertising is strongest in markets with fewer customers, suggesting that the relationship between the online and offline media is mediated by the marketers' need to target their communications.NET Institut

Nominal Unification of Higher Order Expressions with Recursive Let

A sound and complete algorithm for nominal unification of higher-order expressions with a recursive let is described, and shown to run in non-deterministic polynomial time. We also explore specializations like nominal letrec-matching for plain expressions and for DAGs and determine the complexity of corresponding unification problems.Comment: Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534

Differential Growth Responses of Soil Bacterial Taxa to Carbon Substrates of Varying Chemical Recalcitrance

Soils are immensely diverse microbial habitats with thousands of co-existing bacterial, archaeal, and fungal species. Across broad spatial scales, factors such as pH and soil moisture appear to determine the diversity and structure of soil bacterial communities. Within any one site however, bacterial taxon diversity is high and factors maintaining this diversity are poorly resolved. Candidate factors include organic substrate availability and chemical recalcitrance, and given that they appear to structure bacterial communities at the phylum level, we examine whether these factors might structure bacterial communities at finer levels of taxonomic resolution. Analyzing 16S rRNA gene composition of nucleotide analog-labeled DNA by PhyloChip microarrays, we compare relative growth rates on organic substrates of increasing chemical recalcitrance of >2,200 bacterial taxa across 43 divisions/phyla. Taxa that increase in relative abundance with labile organic substrates (i.e., glycine, sucrose) are numerous (>500), phylogenetically clustered, and occur predominantly in two phyla (Proteobacteria and Actinobacteria) including orders Actinomycetales, Enterobacteriales, Burkholderiales, Rhodocyclales, Alteromonadales, and Pseudomonadales. Taxa increasing in relative abundance with more chemically recalcitrant substrates (i.e., cellulose, lignin, or tannin–protein) are fewer (168) but more phylogenetically dispersed, occurring across eight phyla and including Clostridiales, Sphingomonadalaes, Desulfovibrionales. Just over 6% of detected taxa, including many Burkholderiales increase in relative abundance with both labile and chemically recalcitrant substrates. Estimates of median rRNA copy number per genome of responding taxa demonstrate that these patterns are broadly consistent with bacterial growth strategies. Taken together, these data suggest that changes in availability of intrinsically labile substrates may result in predictable shifts in soil bacterial composition

An AC susceptometer for the characterization of large, bulk superconducting samples

The main purpose of this work was to design, develop and construct a simple, low-cost AC susceptometer to measure large, bulk superconducting samples (up to 32 mm in diameter) in the temperature range 78-120 K. The design incorporates a double heating system that enables a high heating rate (25 K/hour) while maintaining a small temperature gradient (< 0.2 K) across the sample. The apparatus can be calibrated precisely using a copper coil connected in series with the primary coil. The system has been used successfully to measure the temperature dependence of the AC magnetic properties of entire RE-Ba-Cu-O [(RE)BCO] bulk superconducting domains. A typical AC susceptibility measurement run from 78 K to 95 K takes about 2 hours, with excellent temperature resolution (temperature step ~ 4 mK) around the critical temperature, in particular.Comment: 25 pages, 7 figures. Accepted for publication in Measurement Science and Technolog

Quantum System Identification by Bayesian Analysis of Noisy Data: Beyond Hamiltonian Tomography

We consider how to characterize the dynamics of a quantum system from a restricted set of initial states and measurements using Bayesian analysis. Previous work has shown that Hamiltonian systems can be well estimated from analysis of noisy data. Here we show how to generalize this approach to systems with moderate dephasing in the eigenbasis of the Hamiltonian. We illustrate the process for a range of three-level quantum systems. The results suggest that the Bayesian estimation of the frequencies and dephasing rates is generally highly accurate and the main source of errors are errors in the reconstructed Hamiltonian basis.Comment: 6 pages, 3 figure

An optimally concentrated Gabor transform for localized time-frequency components

Gabor analysis is one of the most common instances of time-frequency signal analysis. Choosing a suitable window for the Gabor transform of a signal is often a challenge for practical applications, in particular in audio signal processing. Many time-frequency (TF) patterns of different shapes may be present in a signal and they can not all be sparsely represented in the same spectrogram. We propose several algorithms, which provide optimal windows for a user-selected TF pattern with respect to different concentration criteria. We base our optimization algorithm on $l^p$-norms as measure of TF spreading. For a given number of sampling points in the TF plane we also propose optimal lattices to be used with the obtained windows. We illustrate the potentiality of the method on selected numerical examples