1,057 research outputs found
High order explicit symplectic integrators for the Discrete Non Linear Schr\"odinger equation
We propose a family of reliable symplectic integrators adapted to the
Discrete Non-Linear Schr\"odinger equation; based on an idea of Yoshida (H.
Yoshida, Construction of higher order symplectic integrators, Physics Letters
A, 150, 5,6,7, (1990), pp. 262.) we can construct high order numerical schemes,
that result to be explicit methods and thus very fast. The performances of the
integrators are discussed, studied as functions of the integration time step
and compared with some non symplectic methods
How to Specify and How to Prove Correctness of Secure Routing Protocols for MANET
Secure routing protocols for mobile ad hoc networks have been developed
recently, yet, it has been unclear what are the properties they achieve, as a
formal analysis of these protocols is mostly lacking. In this paper, we are
concerned with this problem, how to specify and how to prove the correctness of
a secure routing protocol. We provide a definition of what a protocol is
expected to achieve independently of its functionality, as well as
communication and adversary models. This way, we enable formal reasoning on the
correctness of secure routing protocols. We demonstrate this by analyzing two
protocols from the literature
VANET Connectivity Analysis
Vehicular Ad Hoc Networks (VANETs) are a peculiar subclass of mobile ad hoc
networks that raise a number of technical challenges, notably from the point of
view of their mobility models. In this paper, we provide a thorough analysis of
the connectivity of such networks by leveraging on well-known results of
percolation theory. By means of simulations, we study the influence of a number
of parameters, including vehicle density, proportion of equipped vehicles, and
radio communication range. We also study the influence of traffic lights and
roadside units. Our results provide insights on the behavior of connectivity.
We believe this paper to be a valuable framework to assess the feasibility and
performance of future applications relying on vehicular connectivity in urban
scenarios
- …