Exploració per autor "Fonseca Casas, Pau"
Ara es mostren els items 54-73 de 90
-
Passenger flow simulation in a hub airport: an application to the Barcelona International Airport
Fonseca Casas, Pau; Casanovas Garcia, Josep; Ferran, Xavier (2014-05)
Article
Accés obertThis paper describes a conceptual model intended to be applied in a general approach to the micro-simulation of hub airports terminals. The proposed methodology is illustrated with the development of a simulation model ... -
Representing Fibonacci function through cellular automata using specification and description language
Fonseca Casas, Pau; Colls, Màxim; Casanovas Garcia, Josep (2010)
Comunicació de congrés
Accés obertIn this poster we show how to use Specification and Description Language (SDL) to represent cellular automata models. To achieve that we use a generalization of the common cellular automata, named m:n-$CA^k$. Also we add ... -
SARS-CoV-2 spread forecast dynamic model validation through digital twin approach, Catalonia case study
Fonseca Casas, Pau; Garcia Subirana, Joan; García Carrasco, Víctor; Pi Palomés, Xavier (Multidisciplinary Digital Publishing Institute (MDPI), 2021-07-14)
Article
Accés obertThe spread of the SARS-CoV-2 modeling is a challenging problem because of its complex nature and lack of information regarding certain aspects. In this paper, we explore a Digital Twin approach to model the pandemic situation ... -
SDL - The IoT Language
Sherratt, Edel; Ober, Ileana; Gaudin, Emmanuel; Fonseca Casas, Pau; Kristoffersen, Finn (2015-10-12)
Capítol de llibre
Accés restringit per política de l'editorialInterconnected 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 ... -
SDL – The IoT Language
Sherratt, Edel; Ober, Ileana; Gaudin, Emmanuel; Fonseca Casas, Pau; Kristoffersen, Finn (2015)
Text en actes de congrés
Accés restringit per política de l'editorialInterconnected 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 ... -
SEIRD COVID-19 formal characterization and model comparison validation
Fonseca Casas, Pau; García Carrasco, Víctor; Garcia Subirana, Joan (Multidisciplinary Digital Publishing Institute, 2020-07-27)
Article
Accés obertBased on a SEIRD model (Susceptible, Exposed, Infective, Recovered and Deceased) for COVID-19 infection with a new parametrization using a high infection rate, and a low fatality, we define the model in System Dynamics, ... -
SIM-Randsharp: A hybrid algorithm for solving the ARC routing problem with stochastic demands
González, Sergio; Riera, Daniel; Juan, Angel A.; Elizondo, Mónica G.; Fonseca Casas, Pau (2012)
Text en actes de congrés
Accés obertThis paper proposes a new hybrid algorithm for solving the Arc Routing Problem with Stochastic Demands (ARPSD). Our approach combines Monte Carlo simulation (MCS) with the RandSHARP algorithm, which is designed for solving ... -
Simplifying the verification of simulation models through Petri net to FlexSim mapping
Fonseca Casas, Pau; Guasch Petit, Antonio; Figueras Jové, Jaume (Multidisciplinary Digital Publishing Institute, 2020-02-19)
Article
Accés obertSimplifying the encoding of a simulation conceptual model representation reduces the number of errors that will be detected in the verification phase. In this paper, we present a mapping between Petri nets, a well-known ... -
Simulació discreta per mitjà de la interacció de processos : una visió a través del GPSS
Fonseca Casas, Pau (Edicions UPC, 2009)
Llibre
Accés restringit a la comunitat UPCEl propòsit principal d'aquest text és proporcionar al lector els coneixements necessaris per poder construir models de simulació seguint el paradigma d'interacció de processos. Per assolir aquest objectiu, es descriu amb ... -
Simulation
Fonseca Casas, Pau; Juan, Angel A. (2012-02)
Llibre
Accés obertWelcome to this graduate course on Discrete-Event Simulation, a hybrid discipline that combines knowledge and techniques from Operations Research (OR) and Computer Science (CS) (Figure 1). Due to the fast and continuous ... -
Simulation analysis of a dynamic ridesharing model
Guasch Petit, Antonio; Figueras Jové, Jaume; Fonseca Casas, Pau; Montañola Sales, Cristina; Casanovas Garcia, Josep (2014)
Text en actes de congrés
Accés restringit per política de l'editorialA dynamic ridesharing service is a system that enables drivers and riders to arrange one-time shared rides, with sufficient convenience and flexibility to be used on a daily basis. The quality of a dynamic ridesharing ... -
Simulation and optimization for an experimental environment to wildfire resource management and planning: firefight project modelling and architecture
Figueras Jové, Jaume; Guasch Petit, Antonio; Fonseca Casas, Pau; Casanovas Garcia, Josep (2013)
Text en actes de congrés
Accés obertFirefighting resource management is crucial to contain and extinguish wildfires. Resource optimization in wildfire containment can help to reduce the dangers and risks to both human (firemen and area inhabitants) and natural ... -
Simulation education in the internet age: some experiences on the use of pure online and blended learning models
Fonseca Casas, Pau; Juan Pérez, Angel Alejandro; Pla, Lluis M.; Rodríguez, Sara V.; Faulín, Javier (2009-12-13)
Text en actes de congrés
Accés obertIn this paper we analyze several cases related to three different Spanish universities that make use of the World Wide Web to teach simulation courses online. These universities are the Open University of Catalonia, the ... -
Simulation hypotheses
Fonseca Casas, Pau (2011)
Comunicació de congrés
Accés obertDefining a simulation model implies the use of different knowledge of the system we are going to model. Often, this knowledge is not complete or lacks in the needed detail in order to fully explain the behavior and the ... -
Simulation model to find the best comfort, energy and cost scenarios for building refurbishment
Fonseca Casas, Antoni; Ortiz, Joana Aina; Garrido Soriano, Núria; Fonseca Casas, Pau; Salom Tormo, Jaume (2017-05-12)
Article
Accés restringit per política de l'editorialThis article proposes a methodology to assess building behaviour, whilst taking its life cycle into account. Understanding of the system can be obtained by combining well-known energy consumption calculation engines (TRNSYS) ... -
Sistemas de simulación
Fonseca Casas, Pau; Pi, Xavier (Grupo Tecnipublicaciones, 2009-12-01)
Article
Accés restringit per política de l'editorialDurante la última década se ha avanzado mucho en la estandarización de una base teórica sólida gracias al asentamiento de un framework generalmente aceptado como DEVS. Asimismo, han aparecido un buen número de librerías y ... -
Solution validation for a Double Façade rototype
Fonseca Casas, Pau; Fonseca Casas, Antoni; Garrido Soriano, Núria; Godoy Muñoz, Alfonso de Jesús (2017-12)
Article
Accés obertA Solution Validation involves comparing the data obtained from the system that are implemented following the model recommendations, as well as the model results. This paper presents a Solution Validation that has been ... -
Specification and description language for discrete simulation
Fonseca Casas, Pau (IGI Global, 2013-07)
Capítol de llibre
Accés restringit per política de l'editorialDesigning 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 ... -
Specification and description language for simulation
Fonseca Casas, Pau (Barcelona Supercomputing Center, 2018)
Text en actes de congrés
Accés obert -
Specification and description language models automatic execution in a high-performance environment
Fonseca Casas, Pau; Romanowska, Iza; Garcia Subirana, Joan (Multidisciplinary Digital Publishing Institute (MDPI), 2023-11-22)
Article
Accés obertSpecification and Description Language (SDL) is a language that can represent the behavior and structure of a model completely and unambiguously. It allows the creation of frameworks that can run a model without the need ...