Redes
Páginas: 2 (252 palabras)
Publicado: 5 de noviembre de 2010
En este trabajo de grado se estudia la aplicación de Métodos Formales para el análisis matemático, lógico y computacional de sistemas biológicos.
Fue realizado porAlejandro Arbeláez y Julián E. Gutiérrez, egresados de la Facultad de Ingeniería, de la Pontificia Universidad Javeriana – Cali, con el cual recibieron Mención de Honor porExcelencia y además participaron en el Concurso Nacional Otto de Greiff Mejores Trabajos de Grado, en el área de Ciencias Naturales.
En el trabajo en particular, sepropone una plataforma computacional basada en el uso del Cálculo de Procesos por Restricciones ntcc para modelar, simular y verificar propiedades de sistemas biológicos.Esta plataforma provee un conjunto de procesos genéricos y de codificaciones de ecuaciones diferenciales en ntcc para modelar Redes de Regulación Genética, una herramientade simulación del Cálculo, y un esquema de prueba de propiedades usando una Lógica Temporal.
Como objetivo general se proponía explorar el uso de la ProgramaciónConcurrente por Restricciones para el modelamiento de problemas en Bioinformática. Al mismo tiempo, modelar con Programación Concurrente por Restricciones una red de regulacióngenética de un operón; Implementar el modelo de la red de regulación para observar el funcionamiento de casos particulares y analizar ventajas y desventajas del uso de laProgramación Concurrente por Restricciones en el modelamiento de redes de regulación genética bajo el enfoque de la biología sistémica.
Como Resultado, el trabajoobtuvo:
4 Publicaciones (3 de ellas internacionales), 1 Reporte Interno en la Pontificia Universidad Javeriana – Cali (Tesis de Grado) y 1 Herramienta de Software (ntccSim).
Fue realizado porAlejandro Arbeláez y Julián E. Gutiérrez, egresados de la Facultad de Ingeniería, de la Pontificia Universidad Javeriana – Cali, con el cual recibieron Mención de Honor porExcelencia y además participaron en el Concurso Nacional Otto de Greiff Mejores Trabajos de Grado, en el área de Ciencias Naturales.
En el trabajo en particular, sepropone una plataforma computacional basada en el uso del Cálculo de Procesos por Restricciones ntcc para modelar, simular y verificar propiedades de sistemas biológicos.Esta plataforma provee un conjunto de procesos genéricos y de codificaciones de ecuaciones diferenciales en ntcc para modelar Redes de Regulación Genética, una herramientade simulación del Cálculo, y un esquema de prueba de propiedades usando una Lógica Temporal.
Como objetivo general se proponía explorar el uso de la ProgramaciónConcurrente por Restricciones para el modelamiento de problemas en Bioinformática. Al mismo tiempo, modelar con Programación Concurrente por Restricciones una red de regulacióngenética de un operón; Implementar el modelo de la red de regulación para observar el funcionamiento de casos particulares y analizar ventajas y desventajas del uso de laProgramación Concurrente por Restricciones en el modelamiento de redes de regulación genética bajo el enfoque de la biología sistémica.
Como Resultado, el trabajoobtuvo:
4 Publicaciones (3 de ellas internacionales), 1 Reporte Interno en la Pontificia Universidad Javeriana – Cali (Tesis de Grado) y 1 Herramienta de Software (ntccSim).
Leer documento completo
Regístrate para leer el documento completo.