221,155 research outputs found
Permissive Controller Synthesis for Probabilistic Systems
We propose novel controller synthesis techniques for probabilistic systems
modelled using stochastic two-player games: one player acts as a controller,
the second represents its environment, and probability is used to capture
uncertainty arising due to, for example, unreliable sensors or faulty system
components. Our aim is to generate robust controllers that are resilient to
unexpected system changes at runtime, and flexible enough to be adapted if
additional constraints need to be imposed. We develop a permissive controller
synthesis framework, which generates multi-strategies for the controller,
offering a choice of control actions to take at each time step. We formalise
the notion of permissivity using penalties, which are incurred each time a
possible control action is disallowed by a multi-strategy. Permissive
controller synthesis aims to generate a multi-strategy that minimises these
penalties, whilst guaranteeing the satisfaction of a specified system property.
We establish several key results about the optimality of multi-strategies and
the complexity of synthesising them. Then, we develop methods to perform
permissive controller synthesis using mixed integer linear programming and
illustrate their effectiveness on a selection of case studies
Correction of the definition of mass-flow parameter in dynamic inflow modelling
No abstract available
Pair Interaction Potentials of Colloids by Extrapolation of Confocal Microscopy Measurements of Collective Structure
A method for measuring the pair interaction potential between colloidal
particles by extrapolation measurement of collective structure to infinite
dilution is presented and explored using simulation and experiment. The method
is particularly well suited to systems in which the colloid is fluorescent and
refractive index matched with the solvent. The method involves characterizing
the potential of mean force between colloidal particles in suspension by
measurement of the radial distribution function using 3D direct visualization.
The potentials of mean force are extrapolated to infinite dilution to yield an
estimate of the pair interaction potential, . We use Monte Carlo (MC)
simulation to test and establish our methodology as well as to explore the
effects of polydispersity on the accuracy. We use poly-12-hydroxystearic
acid-stabilized poly(methyl methacrylate) (PHSA-PMMA) particles dispersed in
the solvent dioctyl phthalate (DOP) to test the method and assess its accuracy
for three different repulsive systems for which the range has been manipulated
by addition of electrolyte.Comment: 35 pages, 14 figure
Novel dynamical effects and glassy response in strongly correlated electronic system
We find an unconventional nucleation of low temperature paramagnetic metal
(PMM) phase with monoclinic structure from the matrix of high-temperature
antiferromagnetic insulator (AFI) phase with tetragonal structure in strongly
correlated electronic system . Such unconventional
nucleation leads to a decease in resistivity by several orders with relaxation
at a fixed temperature without external perturbation. The novel dynamical
process could arise from the competition of strain fields, Coulomb
interactions, magnetic correlations and disorders. Such competition may
frustrate the nucleation, giving rise to a slow, nonexponential relaxation and
"physical aging" behavior.Comment: 5 pages, 4 figure
Large-scale compression of genomic sequence databases with the Burrows-Wheeler transform
Motivation
The Burrows-Wheeler transform (BWT) is the foundation of many algorithms for
compression and indexing of text data, but the cost of computing the BWT of
very large string collections has prevented these techniques from being widely
applied to the large sets of sequences often encountered as the outcome of DNA
sequencing experiments. In previous work, we presented a novel algorithm that
allows the BWT of human genome scale data to be computed on very moderate
hardware, thus enabling us to investigate the BWT as a tool for the compression
of such datasets.
Results
We first used simulated reads to explore the relationship between the level
of compression and the error rate, the length of the reads and the level of
sampling of the underlying genome and compare choices of second-stage
compression algorithm.
We demonstrate that compression may be greatly improved by a particular
reordering of the sequences in the collection and give a novel `implicit
sorting' strategy that enables these benefits to be realised without the
overhead of sorting the reads. With these techniques, a 45x coverage of real
human genome sequence data compresses losslessly to under 0.5 bits per base,
allowing the 135.3Gbp of sequence to fit into only 8.2Gbytes of space (trimming
a small proportion of low-quality bases from the reads improves the compression
still further).
This is more than 4 times smaller than the size achieved by a standard
BWT-based compressor (bzip2) on the untrimmed reads, but an important further
advantage of our approach is that it facilitates the building of compressed
full text indexes such as the FM-index on large-scale DNA sequence collections.Comment: Version here is as submitted to Bioinformatics and is same as the
previously archived version. This submission registers the fact that the
advanced access version is now available at
http://bioinformatics.oxfordjournals.org/content/early/2012/05/02/bioinformatics.bts173.abstract
. Bioinformatics should be considered as the original place of publication of
this article, please cite accordingl
Vacuum-UV spectroscopy of interstellar ice analogs. II. Absorption cross-sections of nonpolar ice molecules
Dust grains in cold circumstellar regions and dark-cloud interiors at 10-20 K
are covered by ice mantles. A nonthermal desorption mechanism is invoked to
explain the presence of gas-phase molecules in these environments, such as the
photodesorption induced by irradiation of ice due to secondary ultraviolet
photons. To quantify the effects of ice photoprocessing, an estimate of the
photon absorption in ice mantles is required. In a recent work, we reported the
vacuum-ultraviolet (VUV) absorption cross sections of nonpolar molecules in the
solid phase. The aim was to estimate the VUV-absorption cross sections of
nonpolar molecular ice components, including CH4, CO2, N2, and O2. The column
densities of the ice samples deposited at 8 K were measured in situ by infrared
spectroscopy in transmittance. VUV spectra of the ice samples were collected in
the 120-160 nm (10.33-7.74 eV) range using a commercial microwave-discharged
hydrogen flow lamp. We found that, as expected, solid N2 has the lowest
VUV-absorption cross section, which about three orders of magnitude lower than
that of other species such as O2, which is also homonuclear. Methane (CH4) ice
presents a high absorption near Ly-alpha (121.6 nm) and does not absorb below
148 nm. Estimating the ice absorption cross sections is essential for models of
ice photoprocessing and allows estimating the ice photodesorption rates as the
number of photodesorbed molecules per absorbed photon in the ice.Comment: 9 pages, 6 figures, 7 table
Inducing ferromagnetism and Kondo effect in platinum by paramagnetic ionic gating
Electrically controllable magnetism, which requires the field-effect
manipulation of both charge and spin degrees of freedom, has attracted growing
interests since the emergence of spintronics. In this work, we report the
reversible electrical switching of ferromagnetic (FM) states in platinum (Pt)
thin films by introducing paramagnetic ionic liquid (PIL) as the gating media.
The paramagnetic ionic gating controls the movement of ions with magnetic
moments, which induces itinerant ferromagnetism on the surface of Pt films with
large coercivity and perpendicular anisotropy mimicking the ideal
two-dimensional Ising-type FM state. The electrical transport of the induced FM
state shows Kondo effect at low temperature suggesting spatially separated
coexistence of Kondo scattering beneath the FM interface. The tunable FM state
indicates that paramagnetic ionic gating could serve as a versatile method to
induce rich transport phenomena combining field effect and magnetism at
PIL-gated interfaces.Comment: 17 pages, 4 figure
- …