28,711 research outputs found
Optimizing Event-Driven Simulations
Event-driven molecular dynamics is a valuable tool in condensed and soft
matter physics when particles can be modeled as hard objects or more generally
if their interaction potential can be modeled in a stepwise fashion. Hard
spheres model has been indeed widely used both for computational and
theoretical description of physical systems. Recently further developments of
computational techniques allow simulations of hard rigid objects of generic
shape. In present paper we will present some optimizations for event-driven
simulations that offered significant speedup over previous methods. In
particular we will describe a generalization of well known linked list method
and an improvement on nearest neighbor lists method recently proposed by us.Comment: Submitted to Comp. Phys. Comm. Special Issue for CCP201
CaSPiS: A Calculus of Sessions, Pipelines and Services
Service-oriented computing is calling for novel computational models and languages with well
disciplined primitives for client-server interaction, structured orchestration and unexpected events handling. We present CaSPiS, a process calculus where the conceptual abstractions of sessioning and pipelining play a central role for modelling service-oriented systems. CaSPiS sessions are two-sided, uniquely named and can be nested. CaSPiS pipelines permit orchestrating the flow of data produced by different sessions. The calculus is also equipped with operators for handling (unexpected) termination of the partner’s side of a session. Several examples are presented to provide evidence of the flexibility of the chosen set of primitives. One key contribution is a fully abstract encoding of Misra et al.’s orchestration language Orc. Another main result shows that in CaSPiS it is possible to program a “graceful termination” of nested sessions, which guarantees that no session is forced to hang forever after the loss of its partner
Cognition-Based Networks: A New Perspective on Network Optimization Using Learning and Distributed Intelligence
IEEE Access
Volume 3, 2015, Article number 7217798, Pages 1512-1530
Open Access
Cognition-based networks: A new perspective on network optimization using learning and distributed intelligence (Article)
Zorzi, M.a , Zanella, A.a, Testolin, A.b, De Filippo De Grazia, M.b, Zorzi, M.bc
a Department of Information Engineering, University of Padua, Padua, Italy
b Department of General Psychology, University of Padua, Padua, Italy
c IRCCS San Camillo Foundation, Venice-Lido, Italy
View additional affiliations
View references (107)
Abstract
In response to the new challenges in the design and operation of communication networks, and taking inspiration from how living beings deal with complexity and scalability, in this paper we introduce an innovative system concept called COgnition-BAsed NETworkS (COBANETS). The proposed approach develops around the systematic application of advanced machine learning techniques and, in particular, unsupervised deep learning and probabilistic generative models for system-wide learning, modeling, optimization, and data representation. Moreover, in COBANETS, we propose to combine this learning architecture with the emerging network virtualization paradigms, which make it possible to actuate automatic optimization and reconfiguration strategies at the system level, thus fully unleashing the potential of the learning approach. Compared with the past and current research efforts in this area, the technical approach outlined in this paper is deeply interdisciplinary and more comprehensive, calling for the synergic combination of expertise of computer scientists, communications and networking engineers, and cognitive scientists, with the ultimate aim of breaking new ground through a profound rethinking of how the modern understanding of cognition can be used in the management and optimization of telecommunication network
Focusing on soil-foundation heterogeneity through high-resolution electrical and seismic tomography
The reconstruction of the current status of a historic building is essential for seismic safety assessment and for designing the retrofitting interventions since different safety and confidence factors have to be assumed, depending on the level of information about the subsoil structure. In this work, we present an investigation of the shallow subsurface below and around a historic building affected by differential settlements in order to define its geometry and to characterise its stiffness at low strain. To this end, we employed high-resolution electrical resistivity and seismic (both P-wave and S-wave) tomographies. A three-dimensional electrical resistivity tomography survey was performed to obtain more information about the type and the maximum depth of the building foundation. Electrical resistivity and seismic tomographies were carried out alongside the building, aimed at imaging the top soils and the near-surface geometry. The corresponding inverted models pointed out a remarkable heterogeneity of the shallow subsoil below the building, which is partly founded on a weathered layer and partly on a more rigid lithotype. This heterogeneity is probably a concurrent cause of the building's instability under both static and seismic loading. Our results demonstrate that the man-made fillings and the top soils have to be thoroughly investigated to fully understand the soil-structure behaviour. In this light, the integration of non-invasive high-resolution geophysical techniques, especially tomographic methods, has been proved to properly address the problem of imaging the shallow subsoil
Time-lapse monitoring of an electrokinetic soil remediation process through frequency-domain electrical measurements
The electrokinetic (EK) method is an emerging technique for soil remediation, even though a monitoring system of the contaminant removal through geophysical methods has not been developed yet. In this paper, frequency-domain time-lapse measurements are used on heavy-metal contaminated sediments for monitoring an EK remediation process in a small-scale measuring cell. Our goal is to monitor the development of the electrokinetic process within the sediment and to evaluate the total time needed for the treatment. In fact, frequency-domain electrical monitoring provides complex resistivity spectra at different time steps that can be correlated to changes in the physical properties of the sediments. We perform laboratory spectral induced polarization (SIP) measurements on different samples before, during and after the EK treatment, using different electrolyte solutions (acids and tap water), commonly employed in EK remediation. Direct-current measurements (resistivity and chargeability) were also acquired on one sample for testing the reliability of the system by a comparison with a widespread commercial instrumentation for field measurements. Results indicate that resistivity is a diagnostic parameter as long as it is linked to changes in water saturation, pH and ionic concentration and not to the percentage of metal extraction. The resistivity exhibited well-defined signatures as a function of time that changes depending on the conditioning agent and the grain size distribution. These peculiarities were used to understand the physical processes occurring within the cell and consequently to assess the effectiveness of the electrokinetic treatment. Conversely, the polarization effect was negligible using acids as conditioning agents at the electrolyte chambers. Therefore, the SIP method is not effective under these conditions, being the polarization effect significant only when tap water was used at both ends of the measuring cell. In this case, we were able to correlate changes in water saturation with the time-shift observed on relaxation time distributions (RTDs) after inversion of SIP data and to observe, using normalized chargeability, that polarization is stronger at high pH values. On these basis, resistivity is suitable to monitor the development of the remediation, to optimise the energy levels required for treatment and to assess the end time of the EK process (time when metal mobilization ends). In fact, the end time of treatment can be associated with the time at which resistivity becomes stable. This time is highly dependent on the particular working conditions and sediment grain size as demonstrated by our experiments
A QUIC Implementation for ns-3
Quick UDP Internet Connections (QUIC) is a recently proposed transport
protocol, currently being standardized by the Internet Engineering Task Force
(IETF). It aims at overcoming some of the shortcomings of TCP, while
maintaining the logic related to flow and congestion control, retransmissions
and acknowledgments. It supports multiplexing of multiple application layer
streams in the same connection, a more refined selective acknowledgment scheme,
and low-latency connection establishment. It also integrates cryptographic
functionalities in the protocol design. Moreover, QUIC is deployed at the
application layer, and encapsulates its packets in UDP datagrams. Given the
widespread interest in the new QUIC features, we believe that it is important
to provide to the networking community an implementation in a controllable and
isolated environment, i.e., a network simulator such as ns-3, in which it is
possible to test QUIC's performance and understand design choices and possible
limitations. Therefore, in this paper we present a native implementation of
QUIC for ns-3, describing the features we implemented, the main assumptions and
differences with respect to the QUIC Internet Drafts, and a set of examples.Comment: 8 pages, 4 figures. Please cite it as A. De Biasio, F. Chiariotti, M.
Polese, A. Zanella, M. Zorzi, "A QUIC Implementation for ns-3", Proceedings
of the Workshop on ns-3 (WNS3 '19), Firenze, Italy, 201
The helicity modulus in gauge field theories
We consider the 4d compact U(1) theory with Wilson action and characterize
its phase diagram using the notion of electromagnetic flux, instead of the more
usual magnetic monopole. Taking inspiration from the flux picture, we consider
the helicity modulus (h.m.) for this theory, and show that it is an order
parameter for the confinement deconfinement phase transition. We extend the
definition of the h.m. to an Abelian projected Yang-Mills theory, and discuss
its behavior in SU(2).Comment: talk given by Michele Vettorazzo at Lattice2003(topology
- …