Automatización de técnicas de división por importancia para la simulación de eventos raros

Mostrar todas las versiones(2)

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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Budde, Carlos Esteban
Otros Autores: D'Argenio, Pedro Rubén
Formato: doctoralThesis
Lenguaje:Español
Publicado: 2018
Materias:
Computing Methodologies
Verificación formal de sistemas
Modelado y simulación
Acceso en línea:http://hdl.handle.net/11086/5846
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Ejemplares similares

Ejemplares similares