Automatización de técnicas de división por importancia para la simulación de eventos raros
Existen muchas técnicas para estudiar y verificar descripciones formales de sistemas probabilistas. La simulación de Monte Carlo por eventos discretos ofrece una alternativa para la generalidad de procesos estocásticos descriptos como autómatas. Cuando los valores a estimar dependen de la ocurrencia...
Main Author: | |
---|---|
Other Authors: | |
Format: | doctoralThesis |
Language: | spa |
Published: |
2018
|
Subjects: | |
Online Access: | http://hdl.handle.net/11086/5846 |
_version_ | 1801211492206379008 |
---|---|
author | Budde, Carlos Esteban |
author2 | D'Argenio, Pedro Ruben |
author_facet | D'Argenio, Pedro Ruben Budde, Carlos Esteban |
author_sort | Budde, Carlos Esteban |
collection | Repositorio Digital Universitario |
description | Existen muchas técnicas para estudiar y verificar descripciones formales de sistemas probabilistas. La simulación de Monte Carlo por eventos discretos ofrece una alternativa para la generalidad de procesos estocásticos descriptos como autómatas. Cuando los valores a estimar dependen de la ocurrencia de eventos raros cuya presencia en una traza es muy poco probable, la cantidad de simulación requerida puede ser inviable. La división por importancia es un método de simulación especializado para atacar estas situaciones, pero requiere de una función de importancia. La eficiencia del método depende esencialmente de la definición no trivial de dicha función, que típicamente se realiza ad hoc. En esta tesis presentamos técnicas automáticas para derivar la función de importancia, basadas en una descripción formal de un proceso estocástico general y de la propiedad a estimar. Se presentan también resultados experimentales sobre casos de estudios tomados de la bibliografía en simulación de eventos raros, obtenidos con herramientas de software públicamente disponibles, implementadas en esta tesis para tal fin. |
format | doctoralThesis |
id | rdu-unc.5846 |
institution | Universidad Nacional de Cordoba |
language | spa |
publishDate | 2018 |
record_format | dspace |
spelling | rdu-unc.58462022-10-13T11:16:17Z Automatización de técnicas de división por importancia para la simulación de eventos raros Budde, Carlos Esteban D'Argenio, Pedro Ruben Hermanns, Holger Computing methodologies Verificación formal de sistemas Modelado y simulación Existen muchas técnicas para estudiar y verificar descripciones formales de sistemas probabilistas. La simulación de Monte Carlo por eventos discretos ofrece una alternativa para la generalidad de procesos estocásticos descriptos como autómatas. Cuando los valores a estimar dependen de la ocurrencia de eventos raros cuya presencia en una traza es muy poco probable, la cantidad de simulación requerida puede ser inviable. La división por importancia es un método de simulación especializado para atacar estas situaciones, pero requiere de una función de importancia. La eficiencia del método depende esencialmente de la definición no trivial de dicha función, que típicamente se realiza ad hoc. En esta tesis presentamos técnicas automáticas para derivar la función de importancia, basadas en una descripción formal de un proceso estocástico general y de la propiedad a estimar. Se presentan también resultados experimentales sobre casos de estudios tomados de la bibliografía en simulación de eventos raros, obtenidos con herramientas de software públicamente disponibles, implementadas en esta tesis para tal fin. 2018-02-19T19:30:36Z 2018-02-19T19:30:36Z 2017-05 doctoralThesis http://hdl.handle.net/11086/5846 spa Atribución-CompartirIgual 2.5 Argentina http://creativecommons.org/licenses/by-sa/2.5/ar/ |
spellingShingle | Computing methodologies Verificación formal de sistemas Modelado y simulación Budde, Carlos Esteban Automatización de técnicas de división por importancia para la simulación de eventos raros |
title | Automatización de técnicas de división por importancia para la simulación de eventos raros |
title_full | Automatización de técnicas de división por importancia para la simulación de eventos raros |
title_fullStr | Automatización de técnicas de división por importancia para la simulación de eventos raros |
title_full_unstemmed | Automatización de técnicas de división por importancia para la simulación de eventos raros |
title_short | Automatización de técnicas de división por importancia para la simulación de eventos raros |
title_sort | automatizacion de tecnicas de division por importancia para la simulacion de eventos raros |
topic | Computing methodologies Verificación formal de sistemas Modelado y simulación |
url | http://hdl.handle.net/11086/5846 |
work_keys_str_mv | AT buddecarlosesteban automatizaciondetecnicasdedivisionporimportanciaparalasimulaciondeeventosraros |