|Total results: 85||
|Formal Languages for Computer Simulation: Transdisciplinary Models and Applications
Pau Fonseca i Casas.
Models and simulations are an important first step in developing computer applications to solve real-world problems. However, in order to be truly effective, computer programmers must use formal modeling languages to evaluate these simulations.
Formal Languages for Computer Simulation...
Conceptual Modeling Using Petri Nets
Antoni Guasch, Jaume Figueras, Josep Casanovas.
Petri nets are used by our students as a formal modeling technique before building a working simulation model in Arena or Simio. The Petri net model enables the simulation analyst to build a complete, unambiguous, and readable model of the target process before coding it in the target simulation tool....
Modeling for System´s Understanding
Marisa A. Sánchez.
The purpose of this chapter is to provide an overview of System Dynamics modeling and to highlight its potential as a tool for system´s understanding. Although the work is not intended to cover all the activities involved in a simulation process, the authors present the steps in the modeling process....
The DEVS Formalism
Rhys Goldstein, Gabriel A. Wainer, Azam Khan.
The DEVS formalism is a set of conventions introduced in 1976 for the specification of discrete event simulation models. This chapter explains the core concepts of DEVS by applying the formalism to a single ongoing example. First, the example is introduced as a set of informal requirements from which a...
Thermal Analysis of the MIPS Processor Formulated within DEVS Conventions
Alejandro Moreno Astorga, José L. Risco-Martín, Eva Besada-Portas, Luís de la Torre, Joaquín Aranda.
The MIPS processor is used in computer architecture courses in order to explain matters such as performance analysis, energy consumption, and reliability. Currently, due to the desire for more powerful computers, it is interesting to learn how to reallocate certain components in order to achieve heat...
Specification and Description Language for Discrete Simulation
Pau Fonseca i Casas.
Designing a new simulation model usually involves the participation of personnel with different knowledge of the system and with diverse formations. These personnel often use different languages, making more difficult the task to define the existing relations between the key model elements. These...
Modeling a Chilean Hospital Using Specification and Description Language
Jorge Leiva Olmos, Pau Fonseca i Casas, Jordi Ocaña Rebull.
In this chapter, the authors present a formal model of the Anesthesia Unit and Surgical Wards (UAPQ) of a Chilean hospital. The objective was to document and to understand its operation, to assist hospital management and to facilitate its simulation. The model was built with Specification and...
Formal Consistency Verification of UML Requirement and Analysis Models
Mouez Ali, Hanene Ben-Abdallah, Faïez Gargouri.
To capture and analyze the functional requirements of an information system, UML and the Unified Process (UP) propose the use case and sequence diagrams. However, one of the main difficulties behind the use of UML is how to ensure the consistency of the various diagrams used to model different views of...
Model-Based System Design Using SysML: The Role of the Evaluation Diagram
Anargyros Tsadimas, Mara Nikolaidou, Dimosthenis Anagnostopoulos.
Model-based system design is served by a single, multi-layered model supporting all design activities, in different levels of detail. SysML is a modeling language, endorsed by OMG, for system engineering, which aims at defining such models for system design. It provides discrete diagrams to describe...
An Integrated Framework to Simulate SysML Models Using DEVS Simulators
G.-D. Kapos, V. Dalakas, M. Nikolaidou, D. Anagnostopoulos.
System models validation is an important engineering activity of the system development life-cycle, usually performed via simulation. However, usability and effectiveness of many validation approaches are hindered by the fact that system simulation is not performed using a system model described by a...
Overview on Agent-Based Social Modelling and the Use of Formal Languages
Cristina Montañola-Sales, Xavier Rubio-Campillo, José M. Cela-Espin, Josep Casanovas-Garcia, Adriana Kaplan-Marcusan.
The use of agent-based modelling and simulation techniques in the social sciences has flourished in the recent decades. The main reason is that the object of study in these disciplines, human society present or past, is difficult to analyse through classical analytical techniques. Population dynamics...
Agent-Based Simulation Model Representation Using BPMN
Bhakti S. S. Onggo.
Conceptual modelling is the process of abstracting a model from a real or proposed system into a conceptual model. An explicit conceptual model representation allows the model to be communicated and analysed by the stakeholders involved in a simulation project. A good representation that can be...
Interdisciplinary Applications of Agent-Based Social Simulation and Modeling
Diana Francisca Adamatti, Graçaliz Pereira Dimuro, Helder Coelho.
Social simulation can be a difficult discipline to encompass fully. There are many methods, models, directions, and theories that can be discussed and applied to various social sciences. Anthropology, sociology, political science, economy, government, and management can all benefit from social...
Innovation through Virtual Technologies
N. Raghavendra Rao.
Rapid changes are taking place in global economy. It has become a necessity for enterprises to respond to these changes. Innovation in the business is the solution to face these changes. Identifying the right type of technology, knowledge and process are the main elements in designing an innovative...
Soft-Touch Haptics Modeling of Dynamic Surfaces
Hanqiu Sun, Hui Chen.
Virtual Reality applications strive to simulate real or imaginary scenes with which users can interact and perceive the effects of their actions in real time. Adding haptic information such as vibration, tactile array, and force feedback enhances the sense of presence in virtual environments. Haptics...
Collision Detection: A Fundamental Technology for Virtual Prototyping
Collision detection is one of the enabling technologies in many areas, such as virtual assembly simulation, physically-based simulation, serious games, and virtual-reality based medical training. This chapter will provide a number of techniques and algorithms that provide efficient, real-time collision...
Virtual Environment Visualisation of Executable Business Process Models
Ross Brown, Rune Rasmussen.
Business Process Modelling is a fast growing field in business and information technology, which uses visual grammars to model and execute processes within an organisation. However, many analysts present such models in a 2D static and iconic manner that is difficult to understand by many stakeholders....
A Virtual Environment for Machining Operations Simulation and Machining Evaluation
Bilalis Nicolaos, Petousis Markos.
A virtual reality machine shop environment has been developed capable of simulating the operation of a three axis milling machine and it has been integrated with a graphical model for the calculation of quantitative data affecting the machined surface roughness. The model determines the machined...
Augmented Reality for Collaborative Assembly Design in Manufacturing Sector
Rui Chen, Xiangyu Wang, Lei Hou.
Some speculations regarding the current issues existing in current assembly work have been brought out in this chapter. The theoretical basis behind the idea that Augmented Reality systems could provide cognitive support and augmentation is established. Hence, this chapter analyses the foundations for...
Virtual Reality and Neuroimaging Technologies: Synergistic Approaches in Neuromarketing
Harrison R. Burris, Shahid A. Sheikh.
Marketers have long been fascinated by the possibility of understanding how consumers think and what factors stimulate favorable reactions to marketing stimuli. Marketers are now beginning to utilize neuromarketing techniques to map patterns of brain activities to ascertain how consumers evaluate...
Agent-Based Virtual Environments for Marketing: Processes in Commercial Sector
Rui Wang, Xiangyu Wang.
This chapter investigates the use of SecondLife as a virtual environment to help the commercial sector in marketing process. It presents the use of Immersive Virtual Reality concept to design a distributed marketing system for commercial sector based on the Benford’s Mixed Reality boundaries theory and...
Implementing Virtual Reality in the Healthcare Sector
Sofia Bayona, José Miguel Espadero, José Manuel Fernández, Luis Pastor, Ángel Rodríguez.
This chapter will concentrate on the advantages that VR can offer to the Healthcare Sector. After a brief introduction, the second section will present an analysis of the areas where VR techniques can be successfully applied. Next section will describe some existing VR applications in healthcare. The...
Social Impact and Challenges of Virtual Reality Communities
The phenomenon of virtual reality has crossed geographical and social barriers since virtual reality applications started to be used massively by non-expert users. The development of high-cost and complex virtual reality applications for concrete domains and highly skilled users have widened its scope...