Search results for "SIM"
showing 10 items of 10139 documents
Ruminācijas, vadības funkciju un piedošanas saistības ar depresijas simptomu izteiktību
2018
Neskatoties uz jaunākajām depresijas ārstēšanas medikamentozajām un psihoterapeitiskajām metodēm, depresijas traucējuma izplatība Eiropā turpina pieaugt, tas skar vairākus dzīves aspektus, gan darba produktivitāti, gan attiecību kvalitāti. Pētījuma mērķis ir izpētīt depresijas un kognitīvo procesu, īpaši vadības funkcijas un ruminācijas, un attiecību kvalitātes, īpaši piedošanas, savstarpējās attiecības. Pētījuma dalībnieki. Pētījumā piedalījās 125 universitātes studenti, no tiem 98 sievietes (78,40 %) vecumā no 18–30 gadiem (M=21,13; SD=2,55) un 27 vīrieši (21,60 %) vecumā no 19 līdz 25 gadiem (M=20,93, SD=1,69). Izmantotās metodes. Sociodemogrāfiskā anketa; Traumas simptomu aptaujas Depre…
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 …
Autonomic Brokerage Service for an End-to-End Cloud Networking Service Level Agreement
2014
8 pages; International audience; Today, cloud networking which is the ability to connect the user with his cloud services and to interconnect these services within an inter-cloud approach, is one of the recent research areas in the cloud computing research communities. The main drawback of cloud networking consists in the lack of Quality of Service (QoS) assurance and management in conformance with a corresponding Service Level Agreement (SLA). In this paper, we propose a framework for self-establishing an end-to-end service level agreement between a Cloud Service User (CSU) and multiple Cloud Service Providers (CSPs) in a cloud networking environment using brokerage service. We focus on Qo…
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-…
Introduzione a: FUOCO E CARBONE : le tradizioni dei carbonai
2022
L'introduzione al volume: Fuoco e carbone. Le tradizioni dei carbonai sottolinea un’accorta indagine sul lavoro dei carbonai sardi, sulle fasi di produzione del carbone, sull’influenza che hanno avuto le maestranze toscane nel trasferimento di competenze e abilità sui carbonai locali, sul rapporto uomo-mondo vegetale che trovava massima espressione nel “processo di personificazione” della carbonaia con l’attribuzione di nomi e appellativi. Lo studio indaga, inoltre, le prime attestazioni di utilizzo del fuoco da parte degli uomini e gli impieghi ergologici e sociali che proprio il fuoco ha assunto nel tempo, la sua dimensione simbolica, quella linguistica, l’universo eterogeneo di pratiche …
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…