Search results for " Vehicle"
showing 10 items of 389 documents
Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle
2018
This paper presents a proof-of-concept application of an approach to system development based on the integration of formal verification and co-simulation. A simple autonomous vehicle has the task of reaching an assigned straight path and then follow it, and it can be controlled by varying its turning speed. The correctness of the proposed control law has been formalized and verified by interactive theorem proving with the Prototype Verification System. Concurrently, the system has been co-simulated using the Prototype Verification System and the MathWorks Simulink tool: The vehicle kinematics have been simulated in Simulink, whereas the controller has been modeled in the logic language of t…
C4 plant isotopic composition (delta13C) evidence for urban CO2 pollution in the city of Cotonou, Benin (West Africa).
2006
9 pages; International audience; The carbon isotopic composition (delta13C) of plants can reveal the isotopic carbon content of the atmosphere in which they develop. The delta13C values of air and plants depend on the amount of atmospheric fossil fuel CO2, which is chiefly emitted in urban areas. A new indicator of CO2 pollution is tested using the delta13C variation in a C4 grass: Eleusine indica. A range of about 4 per thousand delta units was observed at different sites in Cotonou, the largest city in the Republic of Benin. The highest delta13C values, from -12 per thousand to -14 per thousand, were found in low traffic zones; low delta13C values, from -14 per thousand to -16 per thousan…
Optimal airline seat inventory control for multi‐leg flights
2004
Airline seat inventory control is about “selling the right seats to the right people at the right time”. In this paper, the problem of determining optimal booking policy for multiple fare classes in a pool of identical seats for multi‐leg flights is considered. During the time prior to departure of a multi‐leg flight, decisions must be made concerning the allocation of reserved seats to passengers requesting space on the full or partial spans of the flight. It will be noted that in the case of multi‐leg flights the long‐haul passengers are often unable to obtain seats because the shorter‐haul passengers block them. For large commercial airlines, efficiently setting and updating seat allocat…
Forecasting the diffusion of hydrogen EV refuelling infrastructures in Italy
2019
In Italy the electric vehicle revolution is arrived but it still has difficulties to take off. At the moment hybrid technology would seem the most quoted, due especially to range anxiety. The aim of this work is to understand if the fuel cell technology can find place in Italy. The possibility to use fuel cell to storage electric energy is quite interesting: the charging times will be reduced, and heavy passenger transportation should be easily faced. Basing on the existing history and analysis of the information accessible, this paper addresses the existing e-mobility scenario in Italy and predicts the cities in which a hydrogen refuelling infrastructure should be more remunerative, in ord…
Co-simulated Digital Twin on the Network Edge: the case of platooning
2022
This paper presents an approach to create high fidelity Digital-Twin models for distributed multi-agent cyber-physical systems based on the combination of simulating components, generated from different modeling languages, each tailored for the specific domain of the subsystem. The approach specifically addresses the wireless communication domain, exploiting a Python module as a simulating component to evaluate the impact of network delay among the distributed elements of the system under analysis. A case study with a platoon of four vehicles following a leading car, all modeled in Simulink, is used to show the applicability of the approach, allowing the comparison between a Vehicle-to-Vehi…
Dendrimers as Non-Viral Vectors in Gene-Directed Enzyme Prodrug Therapy.
2021
Gene-directed enzyme prodrug therapy (GDEPT) has been intensively studied as a promising new strategy of prodrug delivery, with its main advantages being represented by an enhanced efficacy and a reduced off-target toxicity of the active drug. In recent years, numerous therapeutic systems based on GDEPT strategy have entered clinical trials. In order to deliver the desired gene at a specific site of action, this therapeutic approach uses vectors divided in two major categories, viral vectors and non-viral vectors, with the latter being represented by chemical delivery agents. There is considerable interest in the development of non-viral vectors due to their decreased immunogenicity, higher…
Approximation of Measurement Results of “Emergency” Signal Reception Probability
2017
Abstract The intended aim of this article is to present approximation results of the exemplary measurements of EMERGENCY signal reception probability. The probability is under-stood as a distance function between the aircraft and a ground-based system under established conditions. The measurements were approximated using the properties of logistic functions. This probability, as a distance function, enables to determine the range of the EMERGENCY signal for a pre-set confidence level.
Electric mobility in the Sicilian short food supply chain
2019
This paper is the first study to explore the intention of entrepreneurs operating in the Short Food Supply Chain to adopt electric mobility inside their business. For this purpose, a case study approach was chosen, employing a questionnaire based on the Theory of Planned Behaviour and the New Ecological Paradigm to investigate the determinants affecting this intentional behaviour. The empirical analysis has been carried out in the city of Palermo (Italy), involving 42 entrepreneurs who participate in farmer's markets. Results show that entrepreneurs with higher levels of intention to introduce sustainable means of transport, such as electric vehicles, are the most concerned about the enviro…
SURATRAM - Intelligent Transport System for freight management in urban areas
2022
The project developed in the framework of this thesis is part of a more global and ambitious research program that aims at proposing a new type of goods management system in urban centers. In order to do so, the project aims to approach the management of goods from a systemic point of view, by integrating the management into the field of Intelligent Goods Transport Systems (ITS). This systemic vision of the management of goods in urban areas requires the use of electric and autonomous vehicles to ensure the tasks of delivery and collection of goods. In addition, these vehicles will be able to use the existing public transport network of the cities to move from an urban distribution center (…
Analysis and design of bi-directional DC-DC converters for ultracapacitors management in EVs
2018
The on-board energy-storage system of an electric vehicle (EV) should be able to collect large amounts of energy and to deal with fast load variations. The use of hybrid power sources as storage devices is an attractive solution, aiming at maximizing both energy and power density. The battery/ultracapacitors (UCs) combination promises to provide significant benefits. An accurate design of bi-directional converters, capable of proplery managing the charge/discharge of the UCs from/to a voltage bus, is essential. In this paper, a bi-directional DC-DC converter connected to a bank of UCs is described and the simulation results are given as well. The designed converter is a buck-boost type, abl…