Search results for "Simulation"
showing 10 items of 5095 documents
FederatedCloudSim
2014
Recent developments show that the standardization of cloud service descriptions and exchange leads the way for the rise of cloud federations. In these federations CSPs (cloud service providers) can use resources of other CSPs in the case of a lack of local resources or they can add remote services to their catalogue. Cloud federations again demand for cloud brokers which offer the resources and services of different CSPs transparently to the users. Research of cloud federations in the real world is very complex and expensive as distributed hard- and software scenarios are needed. Therefore we present FederatedCloudSim, a very flexible cloud simulation framework that can be used to simulate …
A numerical model of the cloud-topped planetary boundary-layer: radiative forcing of aerosols in stratiform clouds
1998
In a numerical sensitivity study with the microphysical stratus model MISTRA the impact of aerosol particles on the time evolution of stratiform clouds is investigated. Four model runs with different aerosol size distributions are presented. Two size distributions are typical for maritime and continental air masses. The third model run consists of a mixture of maritime and rural aerosol particles, while in the fourth case study rural aerosol particles with a reduced water solubility are utilized. The numerical results show that the microphysical structure of the clouds is strongly affected by the physico-chemical properties of the aerosol particles. In the maritime case, with a relatively l…
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-…
A fast and efficient modified sectional method for simulating multicomponent collisional kinetics
1999
A fast and efficient method for simulating the evolution of internally mixed multicomponent particle size distributions for aerosol coagulation and droplet coalescence is developed. The technique is based upon a bin-wise sectionalization of the particle mass domain and by imposing the condition of mass conservation for each component. The distribution of each species as a function of the total particle mass is represented in each mass bin as a two-parameter exponential function. Particles of a given mass are assumed to be internally homogeneously mixed. The method is shown to be numerically stable for a wide range of time steps. The numerical solution is compared with both analytical result…
Experimental analysis of bubble size distributions in 2D gas fluidized beds
2010
Abstract The present work focuses on the development of a novel statistical approach for the analysis of the behavior of a 2D fluidized bed operating under bubbling and slugging conditions. Experimental data were collected by means of a purposely built lab-scale 2D fluidized bed and an original digital image analysis technique (DIAT), allowing the acquisition of a number of data sufficient to perform a statistical analysis of bubble dynamics. In particular, measurements of bubble size distributions (BSD) along the bed were performed. The analysis allowed to characterize the shape of BSD for different particle systems and fluidization gas velocities; interestingly a bimodal shape of BSD is o…
Numerical modelling of fatigue crack initiation of martensitic steel
2010
Numerical simulation of micro-crack initiation that is based on Tanaka-Mura micro-crack nucleation model is presented. Three improvements were added to this model. Firstly, multiple slip bands where micro-cracks may occur are used in each grain. Second improvement deals with micro-crack coalescence by extending existing micro-cracks along grain boundaries and connecting them into a macro-crack. The third improvement handles segmented micro-crack generation, where a micro-crack is not nucleated in one step like in Tanaka-Mura model, but is instead generated in multiple steps. Numerical simulation of crack-initiation was performed with ABAQUS, using a plug-in that was written specially for ha…
Numerical modelling of fatigue crack initiation and growth of martensitic steels
2010
This paper presents a numerical simulation of micro-crack initiation that is based on Tanaka-Mura micro-crack nucleation model. Three improvements were added to this model. First, multiple slip bands where micro-cracks may occur are used in each grain. Second improvement deals with micro-crack coalescence by extending existing micro-cracks along grain boundaries and connecting them into a macro-crack. The third improvement handles segmented micro-crack generation, where a micro-crack is not nucleated in one step like in Tanaka-Mura model, but is instead generated in multiple steps. High cycle fatigue testing was also performed and showed reasonably good correlation of proposed model to expe…
Wind tunnel study on the size distribution of droplets after collision induced breakup of levitating water drops
2018
Abstract Wind tunnel experiments on collisions between drop pairs of 2.5 and 0.5 mm diameter have been performed and the coalescence and breakup events have been recorded by a high-speed digital camera. From the comprehensive analysis of the captured images, the most important parameters utilized in numerical models, such as coalescence efficiency, breakup type, number of fragments and fragment size distribution after breakup were determined. The experimentally obtained parameters have been compared to parameterizations based on earlier laboratory studies of Low and List, and on direct numerical simulations. A very good agreement between experimental results and parameterizations has been f…
Neural networks with non-uniform embedding and explicit validation phase to assess Granger causality
2015
A challenging problem when studying a dynamical system is to find the interdependencies among its individual components. Several algorithms have been proposed to detect directed dynamical influences between time series. Two of the most used approaches are a model-free one (transfer entropy) and a model-based one (Granger causality). Several pitfalls are related to the presence or absence of assumptions in modeling the relevant features of the data. We tried to overcome those pitfalls using a neural network approach in which a model is built without any a priori assumptions. In this sense this method can be seen as a bridge between model-free and model-based approaches. The experiments perfo…