CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF
Normal view MARC view ISBD view

No determinismo completamente medible en procesos probabilisticos continuos / Carlos Esteban Budde.

By: Budde, Carlos Esteban, 1988-.
Contributor(s): D'Argenio, Pedro Ruben, 1968- [dir.] | Sánchez Terraf, Pedro Octavio, 1979- [dir.].
Material type: materialTypeLabelBookPublisher: [S.l. : s.n. ], 2012Description: 86 h. : il. ; 30 cm.Subject(s): Mathematical logic and formal languages | Probability and Statistics | Logics and Meanings of Programs | Non-deterministic labelled Markov processes | Procesos de Markov etiquetados | Teoría de la computación | LMP | No determinismo medible | NLMP | Estructura en las etiquetasOnline resources: Acceso a Versión Digital Disponible en líneahttp://www.famaf.unc.edu.ar/institucional/biblioteca/trabajos/638/16358.pdf
Partial contents:
Más sobre medibilidad -- Pruebas de resultados mencionados -- Schedulers y probabilidad de trazas.
Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2012. Summary: Mediante herramientas matemáticas topológicas y de teoría de la medida, el grupo de Josée Desharnais extiende la expresividad del modelo a espacios medibles de dimensión potencialmente infinita no numerable. A estos nuevos sistemas se los denomina “procesos de Markov etiquetados” (LMP—Labelled Markov processes). Los LMPs no consideran situaciones de no determinismo interno, que son comunes tanto en situaciones de laboratorio como en las aplicaciones a casos específicos de la vida real. Para suplir esta falencia surgen los “procesos de Markov etiquetados no deterministas” (NLMPs—Non-deterministic labelled Markov processes) . El estudio de estos procesos por parte del grupo de D’Argenio revela diferencias entre las diversas nociones de bisimulación del modelo, tanto en casos determinísticos como en el escenario más general. Aquí se busca acercar dichas nociones. El presente trabajo extiende la teoría de los procesos de Markov etiquetados no deterministas, otorgándole a estos sistemas una estructura medible sobre su espacio de etiquetas. Las bisimulaciones, la lógica asociada y todos los resultados principales para los NLMPs se adaptan a la teoría con estructura en las etiquetas. Se prueba además que este nuevo modelo es un caso particular del anterior, en el cual dejan de ser válidos ciertos sistemas ideados por el grupo, que verifican (en procesos sin estructura en las etiquetas) la existencia de diferencias entre las relaciones de bisimulación.
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current location Call number Copy number Status Notes Date due Barcode Item holds
Trabajo Especial de Grado Trabajo Especial de Grado FaMAF
Secc. Tesis y Trabajos especiales
TE C BUD 1 Available Disponible también en línea. 21383
Total holds: 0

Disponible también en línea.

Incluye apéndices.

Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2012.

Más sobre medibilidad -- Pruebas de resultados mencionados -- Schedulers y probabilidad de trazas.

Mediante herramientas matemáticas topológicas y de teoría de
la medida, el grupo de Josée Desharnais extiende la expresividad del modelo a espacios medibles de dimensión potencialmente infinita no numerable. A estos nuevos sistemas se los denomina “procesos de Markov etiquetados” (LMP—Labelled Markov processes).
Los LMPs no consideran situaciones de no determinismo interno, que son comunes tanto en situaciones de laboratorio como en las aplicaciones a casos específicos de la vida real. Para suplir esta falencia surgen los “procesos de Markov etiquetados no deterministas” (NLMPs—Non-deterministic labelled Markov processes) . El estudio de estos procesos por
parte del grupo de D’Argenio revela diferencias entre las diversas nociones de bisimulación del modelo, tanto en casos determinísticos como en el escenario más general. Aquí se busca acercar dichas nociones.
El presente trabajo extiende la teoría de los procesos de Markov etiquetados no deterministas, otorgándole a estos sistemas una estructura medible sobre su espacio de
etiquetas. Las bisimulaciones, la lógica asociada y todos los resultados principales para los NLMPs se adaptan a la teoría con estructura en las etiquetas. Se prueba además que
este nuevo modelo es un caso particular del anterior, en el cual dejan de ser válidos ciertos sistemas ideados por el grupo, que verifican (en procesos sin estructura en las etiquetas) la existencia de diferencias entre las relaciones de bisimulación.

Disponible en línea

http://www.famaf.unc.edu.ar/institucional/biblioteca/trabajos/638/16358.pdf

La biblioteca posee 1 ej.

Click on an image to view it in the image viewer

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:00hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127(Atención al Público) int. 41151(Dirección)

biblio@famaf.unc.edu.ar

publicofamaf@gmail.com



//