70,284 research outputs found
Adaptive Resolution Simulation in Equilibrium and Beyond
In this paper, we investigate the equilibrium statistical properties of both
the force and potential interpolations of adaptive resolution simulation
(AdResS) under the theoretical framework of grand-canonical like AdResS
(GC-AdResS). The thermodynamic relations between the higher and lower
resolutions are derived by considering the absence of fundamental conservation
laws in mechanics for both branches of AdResS. In order to investigate the
applicability of AdResS method in studying the properties beyond the
equilibrium, we demonstrate the accuracy of AdResS in computing the dynamical
properties in two numerical examples: The velocity auto-correlation of pure
water and the conformational relaxation of alanine dipeptide dissolved in
water. Theoretical and technical open questions of the AdResS method are
discussed in the end of the paper
Fully leakage-resilient signatures revisited: Graceful degradation, noisy leakage, and construction in the bounded-retrieval model
We construct new leakage-resilient signature schemes. Our schemes remain unforgeable against an adversary leaking arbitrary (yet bounded) information on the entire state of the signer (sometimes known as fully leakage resilience), including the random coin tosses of the signing algorithm. The main feature of our constructions is that they offer a graceful degradation of security in situations where standard existential unforgeability is impossible
Time-Staging Enhancement of Hybrid System Falsification
Optimization-based falsification employs stochastic optimization algorithms
to search for error input of hybrid systems. In this paper we introduce a
simple idea to enhance falsification, namely time staging, that allows the
time-causal structure of time-dependent signals to be exploited by the
optimizers. Time staging consists of running a falsification solver multiple
times, from one interval to another, incrementally constructing an input signal
candidate. Our experiments show that time staging can dramatically increase
performance in some realistic examples. We also present theoretical results
that suggest the kinds of models and specifications for which time staging is
likely to be effective
Model predictive control techniques for hybrid systems
This paper describes the main issues encountered when applying model predictive control to hybrid processes. Hybrid model predictive control (HMPC) is a research field non-fully developed with many open challenges. The paper describes some of the techniques proposed by the research community to overcome the main problems encountered. Issues related to the stability and the solution of the optimization problem are also discussed. The paper ends by describing the results of a benchmark exercise in which several HMPC schemes were applied to a solar air conditioning plant.Ministerio de Eduación y Ciencia DPI2007-66718-C04-01Ministerio de Eduación y Ciencia DPI2008-0581
- …