Imagen de cubierta local
Imagen de cubierta local
Imagen de Google Jackets

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

Por: Colaborador(es): Detalles de publicación: [S.l. : s.n. ], 2012.Descripción: 86 hojas : ilustraciones ; 30 cmTema(s):
Contenidos parciales:
Más sobre medibilidad -- Pruebas de resultados mencionados -- Schedulers y probabilidad de trazas.
Nota de disertación: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2012. Resumen: 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.
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título.
Existencias
Tipo de ítem Biblioteca actual Signatura Copia número Estado Fecha de vencimiento Código de barras Reserva de ítems
Trabajo Especial de Grado Trabajo Especial de Grado FaMAF Secc. Tesis y Trabajos especiales Trabajo Especial Computación CAJA 12 - 21383 1 Disponible 21383
Total de reservas: 0

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.

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.

Haga clic en una imagen para verla en el visor de imágenes

Imagen de cubierta local


Nuestras Redes Sociales

facebook Instagram

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

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 (Dirección)

publicofamaf@gmail.com (Atención al público)