• Aucun résultat trouvé

[PDF] Top 20 Emotion in the Evacuation Process: Formal model and simulation

Has 10000 "Emotion in the Evacuation Process: Formal model and simulation" found on our website. Below are the top 20 most common "Emotion in the Evacuation Process: Formal model and simulation".

Emotion in the Evacuation Process: Formal model and simulation

Emotion in the Evacuation Process: Formal model and simulation

... when the parameter value increases. 5. CONCLUSION AND FUTURE WORKS In this article we propose a model of fear level ...of the computa- tion ...implemented in GAMA platform. We ... Voir le document complet

9

Emotion in the Evacuation Process: Formal model and simulation

Emotion in the Evacuation Process: Formal model and simulation

... when the parameter value increases. 5. CONCLUSION AND FUTURE WORKS In this article we propose a model of fear level ...of the computa- tion ...implemented in GAMA platform. We ... Voir le document complet

10

Modeling and simulation of the effects of social relation and emotion on decision making in emergency evacuation

Modeling and simulation of the effects of social relation and emotion on decision making in emergency evacuation

... provides the rules that people should follow such as following the queue to exit, moving to help handicaps, children, elder, ...during the emergency ...by the various of fear levels in ... Voir le document complet

24

Modeling and simulation of the effects of social relation and emotion on decision making in emergency evacuation

Modeling and simulation of the effects of social relation and emotion on decision making in emergency evacuation

... of the evacuation simulation, emotion and decision making in recent decades [6], [28]–[32], but re- lations between emotion and decision making process ... Voir le document complet

23

Computer Simulation of a Freefall Evacuation System in a Range of Initial Conditions

Computer Simulation of a Freefall Evacuation System in a Range of Initial Conditions

... freefall model Figure 3.2 Simulated freefall lifeboat The digital model of the lifeboat was then multiplied by a scaling factor of 13 to accurately represent a full-scale freefall ...lifeboat. ... Voir le document complet

52

Manufacturing Process Modeling and Simulation

Manufacturing Process Modeling and Simulation

... materialize the part’s technical elements (Figure 4(b)). They aren’t connected and they are only limited by the constraints between ...obtain the final geometric model (Figure 4(c)). ... Voir le document complet

8

Manufacturing Process Modeling and Simulation

Manufacturing Process Modeling and Simulation

... functional model starting from the specified functions that the product must fulfil in a given volume in the desired ...assembly. The part’s technical functions are ... Voir le document complet

8

ESCAPE: Exploring by Simulation Cities Awareness on Population Evacuation

ESCAPE: Exploring by Simulation Cities Awareness on Population Evacuation

... 3. The UML class diagram of ESCAPE hazard module Another way to represent the evolution of a hazard or danger consists in generating a catastrophic event using dynamic diffusion ...space. The ... Voir le document complet

18

Madeus: A formal deployment model

Madeus: A formal deployment model

... of the Madeus assembly based on the 11 components involved in our use-case to deploy ...defined in Kolla. Red components are detailed in Figure ...component the deployment ... Voir le document complet

9

Introducing Simulation and Model Animation in the MDE Topcased Toolkit

Introducing Simulation and Model Animation in the MDE Topcased Toolkit

... component-based and models are constructed by connecting a set of components and have them interact under a ...domain. In the Discrete- Event domain, components communicate via sequences of ... Voir le document complet

9

On the Use of Formal Methods to Model and Verify Neuronal Archetypes

On the Use of Formal Methods to Model and Verify Neuronal Archetypes

... for the kinds of properties that are important for more complex networks. In absolute terms, we could not say one of the two approaches presented here is strongly preferable with respect to ... Voir le document complet

41

A formal approach to the modeling, simulation and analysis of nano-devices.

A formal approach to the modeling, simulation and analysis of nano-devices.

... A formalin-silico” laboratory. Concurrency Theory is the field of Com- puter Science devoted to the study of concurrent phenomena, that is processes operating in parallel and ... Voir le document complet

125

Combining formal verification environments and model-driven engineering

Combining formal verification environments and model-driven engineering

... ivity and Bidirectionality. After the implementation of the basic transformation rules, we put to the proof our approach by applying our transformation process on our own Ecore ... Voir le document complet

176

Numerical Simulation of the Broken Ice Zone Around the Molikpaq: Indications for Safe Evacuation

Numerical Simulation of the Broken Ice Zone Around the Molikpaq: Indications for Safe Evacuation

... present model uses a continuum rheology that follows a Mohr-Coulomb plastic yield ...criterion. The governing equations consist of the continuum equations for the balance of linear momentum ... Voir le document complet

12

A case study in combining formal verification and model-driven engineering

A case study in combining formal verification and model-driven engineering

... a formal descrip- tion but their formal representation is significantly different from our needs: functional data ...source and target metamodels all along with a set of transformation rules ... Voir le document complet

17

A case study in combining formal verification and model-driven engineering

A case study in combining formal verification and model-driven engineering

... a formal descrip- tion but their formal representation is significantly different from our needs: functional data ...source and target metamodels all along with a set of transformation rules ... Voir le document complet

16

ESCAPE: Exploring by Simulation Cities Awareness on Population Evacuation

ESCAPE: Exploring by Simulation Cities Awareness on Population Evacuation

... 3. The UML class diagram of ESCAPE hazard module Another way to represent the evolution of a hazard or danger consists in generating a catastrophic event using dynamic diffusion ...space. The ... Voir le document complet

19

Modeling the role variability in the MAP process model

Modeling the role variability in the MAP process model

... of the pre-qualification step is to determine the potential mortgage amount that the applicant is eligible ...for. The purpose of the formal application is to provide the ... Voir le document complet

10

Multimodal Approach for Emotion Recognition Using a Formal Computational Model

Multimodal Approach for Emotion Recognition Using a Formal Computational Model

... Recognition. The leading study of Ekman and Friesen (1975) formed the basis of visual automatic face expression ...of the face are described by a set of action units ...image and video ... Voir le document complet

11

Formal Modeling and Evaluation of Service-Based Business Process Elasticity in the Cloud

Formal Modeling and Evaluation of Service-Based Business Process Elasticity in the Cloud

... delivery model for IT ...for the deployment and execution of service-based business processes ...Nevertheless, the provisioning of elastic infrastructures and/or platforms is not ... Voir le document complet

9

Show all 10000 documents...