3,121 research outputs found
From Model Checking to Runtime Verification and Back
We describe a novel approach for adapting an existing software model checker
to perform precise runtime verification. The software under test is allowed to
communicate with the wider environment (including the file system and network).
The modifications to the model checker are small and self-contained, making
this a viable strategy for re-using existing model checking tools in a new
context.
Additionally, from the data that is gathered during a single execution in the
runtime verification mode, we automatically re-construct a description of the
execution environment which can then be used in the standard, full-blown model
checker. This additional verification step can further improve coverage,
especially in the case of parallel programs, without introducing substantial
overhead into the process of runtime verification
Decolorization improves the fuel properties of algal biodiesel from Isochrysis sp.
© The Author(s), 2016. This is the author's version of the work and is distributed under the terms of the Creative Commons Attribution License. The definitive version was published in Fuel 179 (2016): 229-234, doi:10.1016/j.fuel.2016.03.061.Results from the comprehensive fuel testing according to American Society for Testing and Materials International (ASTM) standards of an alkenone-free and decolorized biodiesel produced from the industrially grown marine microalgae Isochrysis sp. are presented. Fatty acid methyl ester (FAME) profiles of the non-decolorized and subsequently decolorized biodiesel fuels were nearly identical, yet the fuel properties were remarkably different. Significant positive impacts on the cetane number, kinematic viscosity, and lubricity were observed, indicating a potential deleterious effect of pigments like chlorophylls and pheophytins on these fuel properties. The decolorization process using montmorillonite K10 gave on average 90% mass recovery, and allowed for an otherwise unobtainable cloud point determination. Oxidative stability of the decolorized Isochrysis biodiesel remained well below the minimum prescribed in biodiesel standards due to elevated content of highly polyunsaturated fatty acids, however other values were in the range of those prescribed in the ASTM standards. Overall, decolorization improved the fuel properties of biodiesel from Isochrysis and may provide a path toward improved biodiesel fuels from other algal species.This work was supported by the National Science Foundation (CHE-1151492) and through a private donation from friends of WHOI.2017-03-2
Implementation of Multidimensional Databases with Document-Oriented NoSQL
International audienceNoSQL (Not Only SQL) systems are becoming popular due to known advantages such as horizontal scalability and elasticity. In this paper, we study the implementation of data warehouses with document-oriented NoSQL systems. We propose mapping rules that transform the multidimensional data model to logical document-oriented models. We consider three different logical models and we use them to instantiate data warehouses. We focus on data loading, model-to-model conversion and OLAP cuboid computation
Comparing Remote Sensing and Field-Based Approaches to Estimate Ladder Fuels and Predict Wildfire Burn Severity
While fire is an important ecological process, wildfire size and severity have increased as a result of climate change, historical fire suppression, and lack of adequate fuels management. Ladder fuels, which bridge the gap between the surface and canopy leading to more severe canopy fires, can inform management to reduce wildfire risk. Here, we compared remote sensing and field-based approaches to estimate ladder fuel density. We also determined if densities from different approaches could predict wildfire burn severity (Landsat-based Relativized delta Normalized Burn Ratio; RdNBR). Ladder fuel densities at 1-m strata and 4-m bins (1â4 m and 1â8 m) were collected remotely using a terrestrial laser scanner (TLS), a handheld-mobile laser scanner (HMLS), an unoccupied aerial system (UAS) with a multispectral camera and Structure from Motion (SfM) processing (UAS-SfM), and an airborne laser scanner (ALS) in 35 plots in oak woodlands in Sonoma County, California, United States prior to natural wildfires. Ladder fuels were also measured in the same plots using a photo banner. Linear relationships among ladder fuel densities estimated at broad strata (1â4 m, 1â8 m) were evaluated using Pearsonâs correlation (r). From 1 to 4 m, most densities were significantly correlated across approaches. From 1 to 8 m, TLS densities were significantly correlated with HMLS, UAS-SfM and ALS densities and UAS-SfM and HMLS densities were moderately correlated with ALS densities. Including field-measured plot-level canopy base height (CBH) improved most correlations at medium and high CBH, especially those including UAS-SfM data. The most significant generalized linear model to predict RdNBR included interactions between CBH and ladder fuel densities at specific 1-m stratum collected using TLS, ALS, and HMLS approaches (R2 = 0.67, 0.66, and 0.44, respectively). Results imply that remote sensing approaches for ladder fuel density can be used interchangeably in oak woodlands, except UAS-SfM combined with the photo banner. Additionally, TLS, HMLS and ALS approaches can be used with CBH from 1 to 8 m to predict RdNBR. Future work should investigate how ladder fuel densities using our techniques can be validated with destructive sampling and incorporated into predictive models of wildfire severity and fire behavior at varying spatial scales
Long-time discrete particle effects versus kinetic theory in the self-consistent single-wave model
The influence of the finite number N of particles coupled to a monochromatic
wave in a collisionless plasma is investigated. For growth as well as damping
of the wave, discrete particle numerical simulations show an N-dependent long
time behavior resulting from the dynamics of individual particles. This
behavior differs from the one due to the numerical errors incurred by Vlasov
approaches. Trapping oscillations are crucial to long time dynamics, as the
wave oscillations are controlled by the particle distribution inhomogeneities
and the pulsating separatrix crossings drive the relaxation towards thermal
equilibrium.Comment: 11 pages incl. 13 figs. Phys. Rev. E, in pres
Asymptotic stability, concentration, and oscillation in harmonic map heat-flow, Landau-Lifshitz, and Schroedinger maps on R^2
We consider the Landau-Lifshitz equations of ferromagnetism (including the
harmonic map heat-flow and Schroedinger flow as special cases) for degree m
equivariant maps from R^2 to S^2. If m \geq 3, we prove that near-minimal
energy solutions converge to a harmonic map as t goes to infinity (asymptotic
stability), extending previous work down to degree m = 3. Due to slow spatial
decay of the harmonic map components, a new approach is needed for m=3,
involving (among other tools) a "normal form" for the parameter dynamics, and
the 2D radial double-endpoint Strichartz estimate for Schroedinger operators
with sufficiently repulsive potentials (which may be of some independent
interest). When m=2 this asymptotic stability may fail: in the case of
heat-flow with a further symmetry restriction, we show that more exotic
asymptotics are possible, including infinite-time concentration (blow-up), and
even "eternal oscillation".Comment: 34 page
Abelian symmetries in multi-Higgs-doublet models
N-Higgs doublet models (NHDM) are a popular framework to construct
electroweak symmetry breaking mechanisms beyond the Standard model. Usually,
one builds an NHDM scalar sector which is invariant under a certain symmetry
group. Although several such groups have been used, no general analysis of
symmetries possible in the NHDM scalar sector exists. Here, we make the first
step towards this goal by classifying the elementary building blocks, namely
the abelian symmetry groups, with a special emphasis on finite groups. We
describe a strategy that identifies all abelian groups which are realizable as
symmetry groups of the NHDM Higgs potential. We consider both the groups of
Higgs-family transformations only and the groups which also contain generalized
CP transformations. We illustrate this strategy with the examples of 3HDM and
4HDM and prove several statements for arbitrary N.Comment: 33 pages, 2 figures; v2: conjecture 3 is proved and becomes theorem
3, more explanations of the main strategy are added, matches the published
versio
Optical microrheology using rotating laser-trapped particles
We demonstrate an optical system that can apply and accurately measure the
torque exerted by the trapping beam on a rotating birefringent probe particle.
This allows the viscosity and surface effects within liquid media to be
measured quantitatively on a micron-size scale using a trapped rotating
spherical probe particle. We use the system to measure the viscosity inside a
prototype cellular structure.Comment: 5 pages, 4 figures. v2: bibliographic details, minor text correction
Academic freedom in Europe: reviewing UNESCOâs recommendation
This paper examines the compliance of universities in the European Union with the UNESCO Recommendation concerning the Status of HigherâEducation Teaching Personnel, which deals primarily with protection for academic freedom. The paper briefly surveys the European genesis of the modern research university and academic freedom, before evaluating compliance with the UNESCO recommendation on institutional autonomy, academic freedom, university governance and tenure. Following from this, the paper examines the reasons for the generally low level of compliance with the UNESCO Recommendation within the EU states, and considers how such compliance could be improved
UGC 7388: a galaxy with two tidal loops
We present the results of spectroscopic and morphological studies of the
galaxy UGC7388 with the 8.1-m Gemini North telescope. Judging by its observed
characteristics, UGC7388 is a giant late-type spiral galaxy seen almost
edge-on. The main body of the galaxy is surrounded by two faint (\mu(B) ~ 24
and \mu(B) ~ 25.5) extended (~20-30 kpc) loop-like structures. A large-scale
rotation of the brighter loop about the main galaxy has been detected. We
discuss the assumption that the tidal disruption of a relatively massive
companion is observed in the case of UGC7388. A detailed study and modeling of
the observed structure of this unique galaxy can give important information
about the influence of the absorption of massive companions on the galactic
disks and about the structure of the dark halo around UGC7388.Comment: 8 pages, 5 figure
- âŠ