Search results for "automatic"

A Proposal for an Automatic Stabilizer in Social Justice

2019

Abstract Generally, social justice has two sides which are intercorrelated and inter-dependend: a) constitutive social justice (for example, the so called commutative social justice); b) regulative social justice (for example, the so called distributive social justice). The paper approaches the regulative social justice, more exactly, an automatic mechanism to get it. To this end, an automatic stabilizer to provide distributive social justice, according to the Rawlsian principle of difference. Such an automatic stabilizer is grounded on the wealth, more precise, on the share of the wealth which is not invested in order to benefit to the more disadvantaged class of the society. Paper does no…

Evaluation of air temperature estimated by ERA5-Land reanalysis using surface data in Pernambuco, Brazil.

2022

This study aimed to analyze the average air temperature data estimated by ERA5-Land reanalysis over 10 years (01/01/2011 to 12/31/2020), based on data from 12 automatic weather stations located in different cities in the state of Pernambuco, northeast of Brazil. For more careful evaluation, the average air temperature data were stratified by mesoregions of the state. ERA5-Land reanalysis data were validated using statistical indices that evaluated the accuracy. The average air temperature estimated by ERA5-Land reanalysis agree well with weather stations in almost the entire state of Pernambuco. The highest accuracy of the average air temperature estimated by ERA5-Land occurred in the city …

ROS/Gazebo Based Simulation of Co-operative UAVs

2019

UAVs can be assigned different tasks such as e.g., rendez-vous and space coverage, which require processing and communication capabilities. This work extends the architecture ROS/Gazebo with the possibility of simulation of co-operative UAVs. We assume UAV with the underlying attitude controller based on the open-source Ardupilot software. The integration of the co-ordination algorithm in Gazebo is implemented with software modules extending Ardupilot with the capability of sending/receiving messages to/from drones, and executing the co-ordination protocol. As far as it concerns the simulation environment, we have extended the world in Gazebo to hold more than one drone and to open a specif…

Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications

2021

Abstract Unmanned aerial vehicle (UAV) co-operative systems are complex cyber-physical systems that integrate a high-level control algorithm with pre-existing closed implementations of lower-level vehicle kinematics. In model-driven development, simulation is one of the techniques that are usually applied, together with testing, in the analysis of system behaviours. This work proposes a method and tools to validate the design of UAV co-operative systems based on co-simulation and formal verification. The method uses the Prototype Verification System, an interactive theorem prover based on a higher-order logic language, and the Functional Mock-up Interface, a widely accepted standard for co-…

Monitoring multidimensional phenomena with a multicriteria composite performance interval approach

2021

[EN] In the last two decades, the construction of composite indicators to measure and compare multidimensional phenomena in a broad spectrum of domains has increased considerably. Different methodological approaches are used to summarise huge datasets of information in a single figure. This paper proposes a new approach that consists in computing a multicriteria composite performance interval based on different aggregation rules. The suggested approach provides an additional layer of information as the performance interval displays a lower bound from a non-compensability perspective, and an upper bound allowing for full-compensability. The outstanding features of this proposal are: 1) a dis…

Complex Networked Systems: Convergence Analysis, Dynamic Behaviour, and Security.

Complex networked systems are a modern reference framework through which very dierent systems from far disciplines, such as biology, computer science, physics, social science, and engineering, can be described. They arise in the great majority of modern technological applications. Examples of real complex networked systems include embedded systems, biological networks, large-scale systems such as power generation grids, transportation networks, water distribution systems, and social network. In the recent years, scientists and engineers have developed a variety of techniques, approaches, and models to better understand and predict the behaviour of these systems, even though several research…

L'estrazione automatica dei ruoli semantici corradicali. The importance of being Cognate

2022

This study will introduce a tool – termed NLPYTALY – for the automatictreatment of naturally-occurring texts in Italian. The tool distinguishesconstructs with an ordinary verb from those with a support verb. Mean-ing is rendered by using cognate (i.e. etymologically related) semantic roles (CSR), which differ from other roles because they are expressed withthe content morpheme of the predicate licensing arguments. CSRs offer anumber of advantages: they can be semi-automatically derived and use the who-does-what model. Besides, they facilitate the detection of anaphoric chains and produce a foreground/background opposition of the namedentities. Finally, they permit the construction of a chro…

Throughput and delay analysis of HARQ with code combining over double Rayleigh fading channels

2018

This paper proposes the use of hybrid automatic repeat request (HARQ) with code combining (HARQ-CC) to offer reliable communications over double Rayleigh channels. The double Rayleigh fading channel is of particular interest to vehicleto-vehicle communication systems as well as amplify-and-forward relaying and keyhole channels. This paper studies the performance of HARQ-CC over double Rayleigh channels from an information theoretic perspective. Analytical approximations are derived for the ϵ-outage capacity, the average number of transmissions, and the throughput of HARQ-CC. Moreover, we evaluate the delay experienced by Poisson-arriving packets for HARQ-CC. We provide analytical expression…

Asynchronous sensor fusion of GPS, IMU and CAN-based odometry for heavy-duty vehicles

2021

[EN] In heavy-duty vehicles, multiple signals are available to estimate the vehicle's kinematics, such as Inertial Measurement Unit (IMU), Global Positioning System (GPS) and linear and angular speed readings from wheel tachometers on the internal Controller Area Network (CAN). These signals have different noise variance, bandwidth and sampling rate (being the latter, possibly, irregular). In this paper we present a non-linear sensor fusion algorithm allowing asynchronous sampling and non-causal smoothing. It is applied to achieve accuracy improvements when incorporating odometry measurements from CAN bus to standard GPS+IMU kinematic estimation, as well as the robustness against missing da…

A saturated strategy robustly ensures stability of the cooperative equilibrium for Prisoner's dilemma

2016

We study diffusion of cooperation in a two-population game in continuous time. At each instant, the game involves two random individuals, one from each population. The game has the structure of a Prisoner's dilemma where each player can choose either to cooperate (c) or to defect (d), and is reframed within the field of approachability in two-player repeated game with vector payoffs. We turn the game into a dynamical system, which is positive, and propose a saturated strategy that ensures local asymptotic stability of the equilibrium (c, c) for any possible choice of the payoff matrix. We show that there exists a rectangle, in the space of payoffs, which is positively invariant for the syst…