Mostra el registre d'ítem simple

dc.contributor.authorFonseca Casas, Pau
dc.contributor.authorCodina Sancho, Esteve
dc.contributor.authorMontero Mercadé, Lídia
dc.contributor.authorLinares Herreros, Mª Paz
dc.contributor.authorMontañola Sales, Cristina
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament d'Estadística i Investigació Operativa
dc.contributor.otherUniversitat Politècnica de Catalunya. Facultat d'Informàtica de Barcelona (FIB)
dc.date.accessioned2015-02-18T13:11:15Z
dc.date.available2015-02-18T13:11:15Z
dc.date.created2014
dc.date.issued2014
dc.identifier.citationFonseca, P. [et al.]. Formal and operational validation of a bus stop public transport network micro simulation. A: Winter Simulation Conference. "Winter Simulation Conference 2014, December 7-10, 2014, Savannah, G.A.". Savannah, GA: 2014, p. 1-12.
dc.identifier.urihttp://hdl.handle.net/2117/26412
dc.description.abstractWe present a detailed simulation model with the purpose of analyzing the congestion and interaction between bus lines and passengers at stops. Our main goal is to perform a complete validation of a simulation model formalized in a standard language in order to use it as a basis to perform more complex experiments. The basis of the model is a queuing model that leads us to perform an operational validation. Since the model is completely represented using a formal language, the specialist can perform a formal validation of the model previously to any implementation. Thanks to the modular structure of the formal language used to define the model, the model can be easily expanded to represent more complex systems. Due to a formal representation, the implementation process can be done automatically implying that analysts should only be concerned about the correct definition of the diagrams that represent the model behavior
dc.format.extent12 p.
dc.language.isoeng
dc.rightsAttribution-NonCommercial-NoDerivs 3.0 Spain
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/es/
dc.subjectÀrees temàtiques de la UPC::Matemàtiques i estadística::Investigació operativa::Optimització
dc.subject.lcshOperations research
dc.subject.otherBus stop modelling Transportation Analysis
dc.titleFormal and operational validation of a bus stop public transport network micro simulation
dc.typeConference report
dc.subject.lemacOptimització i investigació operativa
dc.contributor.groupUniversitat Politècnica de Catalunya. LIAM - Laboratori de Modelització i Anàlisi de la Informació
dc.contributor.groupUniversitat Politècnica de Catalunya. PROMALS - Grup de Recerca en Programació Matemática, Logística i Simulació
dc.description.peerreviewedPeer Reviewed
dc.subject.ams90B Operations research and management science
dc.rights.accessOpen Access
drac.iddocument15073459
dc.description.versionPostprint (published version)
upcommons.citation.authorFonseca, P.; Codina, E.; Montero, L.; Linares, M. P.; Montañola-Sales, C.
upcommons.citation.contributorWinter Simulation Conference
upcommons.citation.pubplaceSavannah, GA
upcommons.citation.publishedtrue
upcommons.citation.publicationNameWinter Simulation Conference 2014, December 7-10, 2014, Savannah, G.A.
upcommons.citation.startingPage1
upcommons.citation.endingPage12
 Find Full text

Fitxers d'aquest items

Thumbnail

Aquest ítem apareix a les col·leccions següents

Mostra el registre d'ítem simple

Llevat que s'hi indiqui el contrari, els continguts d'aquesta obra estan subjectes a la llicència de Creative Commons: Reconeixement-NoComercial-SenseObraDerivada 3.0 Espanya