8,485 research outputs found
Design and Validation of Cyber-Physical Systems Through Co-Simulation: The Voronoi Tessellation Use Case
This paper reports on the use of co-simulation techniques to build prototypes of co-operative autonomous robotic cyber-physical systems. Designing such systems involves a mission-specific planner algorithm, a control algorithm to drive an agent performing its task; and the plant model to simulate the agent dynamics. An application aimed at positioning a swarm of unmanned aerial vehicles (drones) in a bounded area, exploiting a Voronoi tessellation algorithm developed in this work, is taken as a case study. The paper shows how co-simulation allows testing the complex system at the design phase using models created with different languages and tools. The paper then reports on how the adopted co-simulation platform enables control parameters calibration, by exploiting design space exploration technology. The INTO-CPS co-simulation platform, compliant with the Functional Mock-up Interface standard to exchange dynamic simulation models using various languages, was used in this work. The different software modules were written in Modelica, C, and Python. In particular, the latter was used to implement an original variant of the Voronoi algorithm to tesselate a convex polygonal region, by means of dummy points added at appropriate positions outside the bounding polygon. A key contribution of this case study is that it demonstrates how an accurate simulation of a cooperative drone swarm requires modeling the physical plant together with the high-level coordination algorithm. The coupling of co-simulation and design space exploration has been demonstrated to support control parameter calibration to optimize energy consumption and convergence time to the target positions of the drone swarm. From a practical point of view, this makes it possible to test the ability of the swarm to self-deploy in space in order to achieve optimal detection coverage and allow unmanned aerial vehicles in a swarm to coordinate with each other
Beam scanning by liquid-crystal biasing in a modified SIW structure
A fixed-frequency beam-scanning 1D antenna based on Liquid Crystals (LCs) is designed for application in 2D scanning with lateral alignment. The 2D array environment imposes full decoupling of adjacent 1D antennas, which often conflicts with the LC requirement of DC biasing: the proposed design accommodates both. The LC medium is placed inside a Substrate Integrated Waveguide (SIW) modified to work as a Groove Gap Waveguide, with radiating slots etched on the upper broad wall, that radiates as a Leaky-Wave Antenna (LWA). This allows effective application of the DC bias voltage needed for tuning the LCs. At the same time, the RF field remains laterally confined, enabling the possibility to lay several antennas in parallel and achieve 2D beam scanning. The design is validated by simulation employing the actual properties of a commercial LC medium
Economic and Social Consequences of the COVID-19 Pandemic in Energy Sector
The purpose of the Special Issue was to collect the results of research and experience on the consequences of the COVID-19 pandemic for the energy sector and the energy market, broadly understood, that were visible after a year. In particular, the impact of COVID-19 on the energy sector in the EU, including Poland, and the US was examined. The topics concerned various issues, e.g., the situation of energy companies, including those listed on the stock exchange, mining companies, and those dealing with renewable energy. The topics related to the development of electromobility, managerial competences, energy expenditure of local government units, sustainable development of energy, and energy poverty during a pandemic were also discussed
Durability and Availability of Erasure-Coded Storage Systems with Concurrent Maintenance
This initial version of this document was written back in 2014 for the sole
purpose of providing fundamentals of reliability theory as well as to identify
the theoretical types of machinery for the prediction of
durability/availability of erasure-coded storage systems. Since the definition
of a "system" is too broad, we specifically focus on warm/cold storage systems
where the data is stored in a distributed fashion across different storage
units with or without continuous operation. The contents of this document are
dedicated to a review of fundamentals, a few major improved stochastic models,
and several contributions of my work relevant to the field. One of the
contributions of this document is the introduction of the most general form of
Markov models for the estimation of mean time to failure. This work was
partially later published in IEEE Transactions on Reliability. Very good
approximations for the closed-form solutions for this general model are also
investigated. Various storage configurations under different policies are
compared using such advanced models. Later in a subsequent chapter, we have
also considered multi-dimensional Markov models to address detached
drive-medium combinations such as those found in optical disk and tape storage
systems. It is not hard to anticipate such a system structure would most likely
be part of future DNA storage libraries. This work is partially published in
Elsevier Reliability and System Safety. Topics that include simulation
modelings for more accurate estimations are included towards the end of the
document by noting the deficiencies of the simplified canonical as well as more
complex Markov models, due mainly to the stationary and static nature of
Markovinity. Throughout the document, we shall focus on concurrently maintained
systems although the discussions will only slightly change for the systems
repaired one device at a time.Comment: 58 pages, 20 figures, 9 tables. arXiv admin note: substantial text
overlap with arXiv:1911.0032
Drift-diffusion models for innovative semiconductor devices and their numerical solution
We present charge transport models for novel semiconductor devices which may include ionic species as well as their thermodynamically consistent finite volume discretization
Topological Signatures and Quenches in One Dimensional Fermionic Systems
L'abstract è presente nell'allegato / the abstract is in the attachmen
Modelling supernova nebular lines in 3D with
We present (EXplosive TRAnsient Spectral Simulator), a
newly developed code aimed at generating 3D spectra for supernovae in the
nebular phase by using modern multi-dimensional explosion models as input. It
is well established that supernovae are asymmetric by nature, and that the
morphology is encoded in the line profiles during the nebular phase, months
after the explosion. In this work, we use to study one such
simulation of a He-core explosion
(, erg)
modelled with the code and evolved to the homologous
phase. Our code calculates the energy deposition from the radioactive decay of
Ni Co Fe and uses this to
determine the Non-Local-Thermodynamic-Equilibrium temperature, excitation and
ionization structure across the nebula. From the physical condition solutions
we generate the emissivities to construct spectra depending on viewing angles.
Our results show large variations in the line profiles with viewing angles, as
diagnosed by the first three moments of the line profiles; shifts, widths, and
skewness. We compare line profiles from different elements, and study the
morphology of line-of-sight slices that determine the flux at each part of a
line profile. We find that excitation conditions can sometimes make the
momentum vector of the ejecta emitting in the excited states significantly
different from that of the bulk of the ejecta of the respective element, thus
giving blueshifted lines for bulk receding material, and vice versa. We compare
the 3.3 He-core model to observations of the Type Ib supernova SN
2007Y.Comment: 20 pages, 15 Figures 2 Tables. Accepted for publication in MNRA
- …