User definition and mission requirements for unmanned airborne platforms, revised

The airborne measurement requirements of the scientific and applications experiment user community were assessed with respect to the suitability of proposed strawman airborne platforms. These platforms provide a spectrum of measurement capabilities supporting associated mission tradeoffs such as payload weight, operating altitude, range, duration, flight profile control, deployment flexibility, quick response, and recoverability. The results of the survey are used to examine whether the development of platforms is warranted and to determine platform system requirements as well as research and technology needs

Effectiveness evaluation of STOL transport operations (phase 2)

A computer simulation program which models a commercial short-haul aircraft operating in the civil air system was developed. The purpose of the program is to evaluate the effect of a given aircraft avionics capability on the ability of the aircraft to perform on-time carrier operations. The program outputs consist primarily of those quantities which can be used to determine direct operating costs. These include: (1) schedule reliability or delays, (2) repairs/replacements, (3) fuel consumption, and (4) cancellations. More comprehensive models of the terminal area environment were added and a simulation of an existing airline operation was conducted to obtain a form of model verification. The capability of the program to provide comparative results (sensitivity analysis) was then demonstrated by modifying the aircraft avionics capability for additional computer simulations

Applications of a High-Altitude Powered Platform (HAPP)

A list of potential uses for the (HAPP) and conceptual system designs for a small subset of the most promising applications were investigated. The method was to postulate a scenario for each application specifying a user, a set of system requirements and the most likely competitor among conventional aircraft and satellite systems. As part of the study of remote sensing applications, a parametric cost comparison was done between aircraft and HAPPS. For most remote sensing applications, aircraft can supply the same data as HAPPs at substantially lower cost. The critical parameters in determining the relative costs of the two systems are the sensor field of view and the required frequency of the observations being made. The HAPP is only competitive with an airplane when sensors having a very wide field of view are appropriate and when the phenomenon being observed must be viewed at least once per day. This eliminates the majority of remote sensing applications from any further consideration

The Time Machine: A Simulation Approach for Stochastic Trees

In the following paper we consider a simulation technique for stochastic trees. One of the most important areas in computational genetics is the calculation and subsequent maximization of the likelihood function associated to such models. This typically consists of using importance sampling (IS) and sequential Monte Carlo (SMC) techniques. The approach proceeds by simulating the tree, backward in time from observed data, to a most recent common ancestor (MRCA). However, in many cases, the computational time and variance of estimators are often too high to make standard approaches useful. In this paper we propose to stop the simulation, subsequently yielding biased estimates of the likelihood surface. The bias is investigated from a theoretical point of view. Results from simulation studies are also given to investigate the balance between loss of accuracy, saving in computing time and variance reduction.Comment: 22 Pages, 5 Figure

Gene-history correlation and population structure

Correlation of gene histories in the human genome determines the patterns of genetic variation (haplotype structure) and is crucial to understanding genetic factors in common diseases. We derive closed analytical expressions for the correlation of gene histories in established demographic models for genetic evolution and show how to extend the analysis to more realistic (but more complicated) models of demographic structure. We identify two contributions to the correlation of gene histories in divergent populations: linkage disequilibrium, and differences in the demographic history of individuals in the sample. These two factors contribute to correlations at different length scales: the former at small, and the latter at large scales. We show that recent mixing events in divergent populations limit the range of correlations and compare our findings to empirical results on the correlation of gene histories in the human genome.Comment: Revised and extended version: 26 pages, 5 figures, 1 tabl

Mott insulators in strong electric fields

Recent experiments on ultracold atomic gases in an optical lattice potential have produced a Mott insulating state of Rb atoms. This state is stable to a small applied potential gradient (an `electric' field), but a resonant response was observed when the potential energy drop per lattice spacing (E), was close to the repulsive interaction energy (U) between two atoms in the same lattice potential well. We identify all states which are resonantly coupled to the Mott insulator for E close to U via an infinitesimal tunneling amplitude between neighboring potential wells. The strong correlation between these states is described by an effective Hamiltonian for the resonant subspace. This Hamiltonian exhibits quantum phase transitions associated with an Ising density wave order, and with the appearance of superfluidity in the directions transverse to the electric field. We suggest that the observed resonant response is related to these transitions, and propose experiments to directly detect the order parameters. The generalizations to electric fields applied in different directions, and to a variety of lattices, should allow study of numerous other correlated quantum phases.Comment: 17 pages, 14 figures; (v2) minor additions and new reference

Conformational Mechanics of Polymer Adsorption Transitions at Attractive Substrates

Conformational phases of a semiflexible off-lattice homopolymer model near an attractive substrate are investigated by means of multicanonical computer simulations. In our polymer-substrate model, nonbonded pairs of monomers as well as monomers and the substrate interact via attractive van der Waals forces. To characterize conformational phases of this hybrid system, we analyze thermal fluctuations of energetic and structural quantities, as well as adequate docking parameters. Introducing a solvent parameter related to the strength of the surface attraction, we construct and discuss the solubility-temperature phase diagram. Apart from the main phases of adsorbed and desorbed conformations, we identify several other phase transitions such as the freezing transition between energy-dominated crystalline low-temperature structures and globular entropy-dominated conformations.Comment: 13 pages, 15 figure

A comparison of common programming languages used in bioinformatics

<p>Abstract</p> <p>Background</p> <p>The performance of different programming languages has previously been benchmarked using abstract mathematical algorithms, but not using standard bioinformatics algorithms. We compared the memory usage and speed of execution for three standard bioinformatics methods, implemented in programs using one of six different programming languages. Programs for the Sellers algorithm, the Neighbor-Joining tree construction algorithm and an algorithm for parsing BLAST file outputs were implemented in C, C++, C#, Java, Perl and Python.</p> <p>Results</p> <p>Implementations in C and C++ were fastest and used the least memory. Programs in these languages generally contained more lines of code. Java and C# appeared to be a compromise between the flexibility of Perl and Python and the fast performance of C and C++. The relative performance of the tested languages did not change from Windows to Linux and no clear evidence of a faster operating system was found.</p> <p>Source code and additional information are available from <url>http://www.bioinformatics.org/benchmark/</url></p> <p>Conclusion</p> <p>This benchmark provides a comparison of six commonly used programming languages under two different operating systems. The overall comparison shows that a developer should choose an appropriate language carefully, taking into account the performance expected and the library availability for each language.</p

Fluctuating fire regimes and their historical effects on genetic variation in an endangered shrubland specialist

The Pleistocene was characterized by worldwide shifts in community compositions. Some of these shifts were a result of changes in fire regimes, which influenced the distribution of species belonging to fire-dependent communities. We studied an endangered juniper–oak shrubland specialist, the black-capped vireo (Vireo atricapilla). This species was locally extirpated in parts of Texas and Oklahoma by the end of the 1980s as a result of habitat change and loss, predation, brood parasitism, and anthropogenic fire suppression. We sequenced multiple nuclear loci and used coalescence methods to obtain a deeper understanding of historical population trends than that typically available from microsatellites or mtDNA. We compared our estimated population history, a long-term history of the fire regime and ecological niche models representing the mid-Holocene, last glacial maximum, and last interglacial. Our Bayesian skyline plots showed a pattern of historical population fluctuation that was consistent with changing fire regimes. Genetic data suggest that the species is genetically unstructured, and that the current population should be orders of magnitude larger than it is at present. We suggest that fire suppression and habitat loss are primary factors contributing to the recent decline of the BCVI, although the role of climate change since the last glacial maximum is unclear at present

Nature of the quantum phase transitions in the two-dimensional hardcore boson model

We use two Quantum Monte Carlo algorithms to map out the phase diagram of the two-dimensional hardcore boson Hubbard model with near ($V_1$) and next near ($V_2$) neighbor repulsion. At half filling we find three phases: Superfluid (SF), checkerboard solid and striped solid depending on the relative values of $V_1$, $V_2$ and the kinetic energy. Doping away from half filling, the checkerboard solid undergoes phase separation: The superfluid and solid phases co-exist but not as a single thermodynamic phase. As a function of doping, the transition from the checkerboard solid is therefore first order. In contrast, doping the striped solid away from half filling instead produces a striped supersolid phase: Co-existence of density order with superfluidity as a single phase. One surprising result is that the entire line of transitions between the SF and checkerboard solid phases at half filling appears to exhibit dynamical O(3) symmetry restoration. The transitions appear to be in the same universality class as the special Heisenberg point even though this symmetry is explicitly broken by the $V_2$ interaction.Comment: 10 pages, 14 eps figures, include