Capítols de llibrehttp://hdl.handle.net/2117/35032024-03-28T22:45:16Z2024-03-28T22:45:16ZOverview on agent-based social modelling and the use of formal languagesMontañola Sales, CristinaCela Espín, José M.Rubio Campillo, XavierCasanovas Garcia, JosepKaplan Marcusan, Adrianahttp://hdl.handle.net/2117/1057242021-02-11T09:58:57Z2017-06-22T09:10:12ZOverview on agent-based social modelling and the use of formal languages
Montañola Sales, Cristina; Cela Espín, José M.; Rubio Campillo, Xavier; Casanovas Garcia, Josep; Kaplan Marcusan, Adriana
Transdisciplinary Models and Applications investigates a variety of programming languages used in validating and verifying models in order to assist in their eventual implementation. This book will explore different methods of evaluating and formalizing simulation models, enabling computer and industrial engineers, mathematicians, and students working with computer simulations to thoroughly understand the progression from simulation to product, improving the overall effectiveness of modeling systems.
2017-06-22T09:10:12ZMontañola Sales, CristinaCela Espín, José M.Rubio Campillo, XavierCasanovas Garcia, JosepKaplan Marcusan, AdrianaTransdisciplinary Models and Applications investigates a variety of programming languages used in validating and verifying models in order to assist in their eventual implementation. This book will explore different methods of evaluating and formalizing simulation models, enabling computer and industrial engineers, mathematicians, and students working with computer simulations to thoroughly understand the progression from simulation to product, improving the overall effectiveness of modeling systems.Large-scale social simulation, dealing with complexity challenges in high performance environmentsMontañola Sales, CristinaRubio Campillo, XavierCasanovas Garcia, JosepCela Espín, José M.Kaplan Marcusan, Adrianahttp://hdl.handle.net/2117/996612021-02-11T03:49:35Z2017-01-19T09:35:58ZLarge-scale social simulation, dealing with complexity challenges in high performance environments
Montañola Sales, Cristina; Rubio Campillo, Xavier; Casanovas Garcia, Josep; Cela Espín, José M.; Kaplan Marcusan, Adriana
Advances on information technology in the past decades have provided new tools to assist scientists in the study of social and natural phenomena. Agent-based modeling techniques have flourished recently, encouraging the introduction of computer simulations to examine behavioral patterns in complex human and biological systems. Real-world social dynamics are very complex, containing billions of interacting individuals and an important amount of data (both spatial and social). Dealing with large-scale agent-based models is not an easy task and encounters several challenges. The design of strategies to overcome these challenges represents an opportunity for high performance parallel and distributed implementation. This chapter examines the most relevant aspects to deal with large-scale agent-based simulations in social sciences and revises the developments to confront technological issues.
2017-01-19T09:35:58ZMontañola Sales, CristinaRubio Campillo, XavierCasanovas Garcia, JosepCela Espín, José M.Kaplan Marcusan, AdrianaAdvances on information technology in the past decades have provided new tools to assist scientists in the study of social and natural phenomena. Agent-based modeling techniques have flourished recently, encouraging the introduction of computer simulations to examine behavioral patterns in complex human and biological systems. Real-world social dynamics are very complex, containing billions of interacting individuals and an important amount of data (both spatial and social). Dealing with large-scale agent-based models is not an easy task and encounters several challenges. The design of strategies to overcome these challenges represents an opportunity for high performance parallel and distributed implementation. This chapter examines the most relevant aspects to deal with large-scale agent-based simulations in social sciences and revises the developments to confront technological issues.SDL - The IoT LanguageSherratt, EdelOber, IleanaGaudin, EmmanuelFonseca Casas, PauKristoffersen, Finnhttp://hdl.handle.net/2117/815292020-10-15T08:13:31Z2016-01-15T13:17:32ZSDL - The IoT Language
Sherratt, Edel; Ober, Ileana; Gaudin, Emmanuel; Fonseca Casas, Pau; Kristoffersen, Finn
Interconnected smart devices constitute a large and rapidly growing element of the contemporary Internet. A smart thing can be as simple as a web-enabled device that collects and transmits sensor data to a repository for analysis, or as complex as a web-enabled system to monitor and manage a smart home. Smart things present marvellous opportunities, but when they participate in complex systems, they challenge our ability to manage risk and ensure reliability. SDL, the ITU Standard Specification and Description Language, provides many advantages for modelling and simulating communicating agents – such as smart things – before they are deployed. The potential for SDL to enhance reliability and safety is explored with respect to existing smart things below. But SDL must advance if it is to become the language of choice for developing the next generation of smart things. In particular, it must target emerging IoT platforms, it must support simulation of interactions between pre-existing smart things and new smart things, and it must facilitate deployment of large numbers of similar things. Moreover, awareness of the potential benefits of SDL must be raised if those benefits are to be realized in the current and future Internet of Things.
2016-01-15T13:17:32ZSherratt, EdelOber, IleanaGaudin, EmmanuelFonseca Casas, PauKristoffersen, FinnInterconnected smart devices constitute a large and rapidly growing element of the contemporary Internet. A smart thing can be as simple as a web-enabled device that collects and transmits sensor data to a repository for analysis, or as complex as a web-enabled system to monitor and manage a smart home. Smart things present marvellous opportunities, but when they participate in complex systems, they challenge our ability to manage risk and ensure reliability. SDL, the ITU Standard Specification and Description Language, provides many advantages for modelling and simulating communicating agents – such as smart things – before they are deployed. The potential for SDL to enhance reliability and safety is explored with respect to existing smart things below. But SDL must advance if it is to become the language of choice for developing the next generation of smart things. In particular, it must target emerging IoT platforms, it must support simulation of interactions between pre-existing smart things and new smart things, and it must facilitate deployment of large numbers of similar things. Moreover, awareness of the potential benefits of SDL must be raised if those benefits are to be realized in the current and future Internet of Things.Conceptual modeling using Petri netsGuasch Petit, AntonioFigueras Jové, JaumeCasanovas Garcia, Josephttp://hdl.handle.net/2117/268352021-02-11T10:47:49Z2015-03-19T11:42:03ZConceptual modeling using Petri nets
Guasch Petit, Antonio; Figueras Jové, Jaume; Casanovas Garcia, Josep
Transdisciplinary Models and Applications investigates a variety of programming languages used in validating and verifying models in order to assist in their eventual implementation. This book will explore different methods of evaluating and formalizing simulation models, enabling computer and industrial engineers, mathematicians, and students working with computer simulations to thoroughly understand the progression from simulation to product, improving the overall effectiveness of modeling systems.
2015-03-19T11:42:03ZGuasch Petit, AntonioFigueras Jové, JaumeCasanovas Garcia, JosepTransdisciplinary Models and Applications investigates a variety of programming languages used in validating and verifying models in order to assist in their eventual implementation. This book will explore different methods of evaluating and formalizing simulation models, enabling computer and industrial engineers, mathematicians, and students working with computer simulations to thoroughly understand the progression from simulation to product, improving the overall effectiveness of modeling systems.Using simulation to compare Aircraft Boarding StrategiesFonseca Casas, PauJuan-Pérez, Angel A.Mas, Sílviahttp://hdl.handle.net/2117/219302020-07-23T20:46:02Z2014-03-07T09:59:54ZUsing simulation to compare Aircraft Boarding Strategies
Fonseca Casas, Pau; Juan-Pérez, Angel A.; Mas, Sílvia
The boarding process has a very important role in the objective of increase
the efficiency, profitability, and customer satisfaction of an airline industry. It is one
of the significant elements of the turnaround time, a slow boarding process might lead
to financial issues to the company and, of course, customer complaints. In this paper
are analyzed three boarding strategies presenting a model and an easy to use tool that
implements it. The study suggest that differences exists among them, and proposes
the most efficient strategy.
2014-03-07T09:59:54ZFonseca Casas, PauJuan-Pérez, Angel A.Mas, SílviaThe boarding process has a very important role in the objective of increase
the efficiency, profitability, and customer satisfaction of an airline industry. It is one
of the significant elements of the turnaround time, a slow boarding process might lead
to financial issues to the company and, of course, customer complaints. In this paper
are analyzed three boarding strategies presenting a model and an easy to use tool that
implements it. The study suggest that differences exists among them, and proposes
the most efficient strategy.A simulation study regarding different aircraft boarding strategiesMas, SílviaJuan Pérez, Angel AlejandroArias, PolFonseca Casas, Pauhttp://hdl.handle.net/2117/210372020-07-23T21:33:14Z2013-12-17T13:43:58ZA simulation study regarding different aircraft boarding strategies
Mas, Sílvia; Juan Pérez, Angel Alejandro; Arias, Pol; Fonseca Casas, Pau
The airline industry is constantly subject to the search of new
methods in order to increase efficiency, profitability, and customer satisfaction.
Since airlines only generate revenue when their airplanes are on the air, the time
they spend at the airports should be the shortest possible. Hence, the airplane
turnaround time becomes a process which airlines pay special attention on. The
boarding process has a very important role, since it is one of the significant
elements of the turnaround time, and a slow boarding process might lead to
many kinds of problems to the airline, from financial issues to customer
complaints. This paper analyzes the major interferences among the passengers
that cause delays in boarding times, and after comparing the different aircraft
boarding strategies, it proposes the most efficient strategy.
2013-12-17T13:43:58ZMas, SílviaJuan Pérez, Angel AlejandroArias, PolFonseca Casas, PauThe airline industry is constantly subject to the search of new
methods in order to increase efficiency, profitability, and customer satisfaction.
Since airlines only generate revenue when their airplanes are on the air, the time
they spend at the airports should be the shortest possible. Hence, the airplane
turnaround time becomes a process which airlines pay special attention on. The
boarding process has a very important role, since it is one of the significant
elements of the turnaround time, and a slow boarding process might lead to
many kinds of problems to the airline, from financial issues to customer
complaints. This paper analyzes the major interferences among the passengers
that cause delays in boarding times, and after comparing the different aircraft
boarding strategies, it proposes the most efficient strategy.Definition of virtual reality simulation models using specification and description language diagramsFonseca Casas, PauPi Palomés, XavierCasanovas Garcia, JosepJové, Jordihttp://hdl.handle.net/2117/205202021-02-11T08:39:02Z2013-11-04T11:51:21ZDefinition of virtual reality simulation models using specification and description language diagrams
Fonseca Casas, Pau; Pi Palomés, Xavier; Casanovas Garcia, Josep; Jové, Jordi
A full representation of a simulation model encompasses the
behavior of the elements that define the model, the definition of the
probability distributions that define the delays of the events that control
the model, the experimental framework needed for execution, and the
graphical representation of certain model elements. This paper aims to
use specification and description language to achieve a full model rep-
resentation by adding two extensions to the language, which allows for
a complete and unambiguous definition of a discrete simulation model
that is similar to a common discrete operations research simulation tool.
2013-11-04T11:51:21ZFonseca Casas, PauPi Palomés, XavierCasanovas Garcia, JosepJové, JordiA full representation of a simulation model encompasses the
behavior of the elements that define the model, the definition of the
probability distributions that define the delays of the events that control
the model, the experimental framework needed for execution, and the
graphical representation of certain model elements. This paper aims to
use specification and description language to achieve a full model rep-
resentation by adding two extensions to the language, which allows for
a complete and unambiguous definition of a discrete simulation model
that is similar to a common discrete operations research simulation tool.Modeling a Chilean Hospital using specification and description languageLeiva Olmos, JorgeFonseca Casas, PauOcaña Rebull, Jordihttp://hdl.handle.net/2117/205192020-07-23T21:53:05Z2013-11-04T11:45:49ZModeling a Chilean Hospital using specification and description language
Leiva Olmos, Jorge; Fonseca Casas, Pau; Ocaña Rebull, Jordi
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 simula
-
tion. The model was built with Specification and Description Language (SDL). This
methodology was used because it allows the design of a model that represents the
system in a graphical, modular, and standard way. Our design contains the follow
-
ing agents: the system, 11 blocks, and 52 processes. The blocks and the processes
describe the clinical and administrative activities. The environment of the UAPQ
model contains 3 components: clinical services, emergency units, and support units.
2013-11-04T11:45:49ZLeiva Olmos, JorgeFonseca Casas, PauOcaña Rebull, JordiIn 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 simula
-
tion. The model was built with Specification and Description Language (SDL). This
methodology was used because it allows the design of a model that represents the
system in a graphical, modular, and standard way. Our design contains the follow
-
ing agents: the system, 11 blocks, and 52 processes. The blocks and the processes
describe the clinical and administrative activities. The environment of the UAPQ
model contains 3 components: clinical services, emergency units, and support units.Specification and description language for discrete simulationFonseca Casas, Pauhttp://hdl.handle.net/2117/205182020-07-23T20:56:14Z2013-11-04T11:38:09ZSpecification and description language for discrete simulation
Fonseca Casas, Pau
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 relations represent the hypotheses
that constrain the model and the global behavior of the system, and this information
must be obtained from the system experts. A formalism can be a powerful tool to
understand the model complexity and helps in the communication between the dif
-
ferent actors that participate in the definition of the model. In this chapter we review
the use of the “Specification and Description Language,” a standard and graphical
language that simplifies the model understanding thanks to its modular nature. To
do this we present a complete example, representing a simple queuing model that
helps the reader to understand the structure and the nature of the language
2013-11-04T11:38:09ZFonseca Casas, PauDesigning 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 relations represent the hypotheses
that constrain the model and the global behavior of the system, and this information
must be obtained from the system experts. A formalism can be a powerful tool to
understand the model complexity and helps in the communication between the dif
-
ferent actors that participate in the definition of the model. In this chapter we review
the use of the “Specification and Description Language,” a standard and graphical
language that simplifies the model understanding thanks to its modular nature. To
do this we present a complete example, representing a simple queuing model that
helps the reader to understand the structure and the nature of the languageFactor AnalysisGraffelman, Janhttp://hdl.handle.net/2117/180512020-07-23T21:38:27Z2013-03-05T09:11:32ZFactor Analysis
Graffelman, Jan
Factor analysis is a multivariate statistical method for data reduction that originated in psychometrics and has found applications in many branches of science. The method aims to describe the correlation structure between a large set of observed variables in terms of a few underlying latent variables called factors. Factor analysis employs a specific model, where observed variables are modelled as linear combinations of common factors plus a specific error term. This model can be estimated by using principal components, by using the iterative principal factor method, or by maximum likelihood. After estimation, factors may be rotated in order to improve their interpretation. An example of the application of factor analysis to a set of pollutants in an environmental monitoring study is discussed.
2013-03-05T09:11:32ZGraffelman, JanFactor analysis is a multivariate statistical method for data reduction that originated in psychometrics and has found applications in many branches of science. The method aims to describe the correlation structure between a large set of observed variables in terms of a few underlying latent variables called factors. Factor analysis employs a specific model, where observed variables are modelled as linear combinations of common factors plus a specific error term. This model can be estimated by using principal components, by using the iterative principal factor method, or by maximum likelihood. After estimation, factors may be rotated in order to improve their interpretation. An example of the application of factor analysis to a set of pollutants in an environmental monitoring study is discussed.