Simulacion

Universidad de Los Andes Facultad de Ingeniera Consejo de Estudios de Postgrado Centro de Simulacin y Modelos (CESIMO)
Programa de Postgrado de Maestra en Modelado y Simulacin de Sistemas
Mayo 2006
1. Introduccin 1.1. Justificacin Este documento describe el postgrado en Modelado y Simulacin de Sistemas de la Facultad de Ingeniera de la Universidad de Los Andes. Modelar un sistema es representarlo o describirlo con la intencin de explicar cual es su estado actual y cmo interactan los elementos que lo componen. Un modelo es entonces, una descripcin una representacin de un sistema que puede usarse para explicar como funciona ese sistema. El reporte de un experto explicando como funciona un mecanismo, un grfico, un mapa y una maqueta son ejemplos de modelos. Si el modelo tiene la forma de un programa para un computador, se dice que es un modelo computacional. Simular un sistema es usar un modelo para generar descripciones de futuros estados posibles de ese sistema. La simulacin con modelos computacionales es una de las herramientas bsicas de la ciencia y la tecnologa moderna para aproximarse a la enorme complejidad de los sistemas reales. Segn la NSF (Nacional Science Foundation) es la tercera alternativa para realizar investigacin, siendo las otras dos los estudios tericos y la experimentacin. La complejidad de los sistemas reales es quizs la caracterstica fundamental del mundo moderno. Tanto las estructuras sociales como el conocimiento colectivo de la naturaleza han llegado a tal grado de elaboracin que resulta muy difcil tener una visin global de cualquier estructura o sistema no trivial. Proyectos como la globalizacin de la economa, la privatizacin, las aperturas petroleras y los estudios de impacto ambiental exigen una cuidadosa descripcin de sus elementos y de sus formas de interaccin si se pretende una evaluacin efectiva de cada proyecto y de las posibles consecuencias de su realizacin. Pero tal descripcin detallada escapa a la capacidad humana a menos que se cuente con una organizacin, una metodologa y la plataforma computacional apropiada. Problemas como la movilidad internacional de capitales, la desregulacin, el impacto ecolgico de los macroproyectos y el diseo, implantacin y control de servicios sociales requieren mucho ms que los anlisis superficiales ad hoc que tradicionalmente se emplean. La disciplina de modelado y la capacidad computacional de la simulacin constituyen una alternativa efectiva para atacar tales problemas a profundidad. En Venezuela y en toda Latinoamrica hay escasez de profesionales capaces de atacar problemas complejos que cruzan las fronteras de varias disciplinas. El enfoque interdisciplinario es una de las novedades que puede ofrecer un programa de postgrado en modelado y simulacin, en contraste con programas que se concentran en la matemtica o en alguna otra ciencia bsica nicamente. El propsito del programa de postgrado descrito en este documento es formar expertos capaces de desarrollar y usar herramientas para el modelado y simulacin de cualquier tipo de sistema. Las pericias que desarrollarn quienes cursen y aprueben el programa incluyen: el dominio de los lenguajes formales de la lgica, la estadstica y las matemticas, el dominio de las diversas plataformas de simulacin modernas y una gran habilidad y disposicin para el trabajo interdisciplinario. A esta experticia se deber agregar el conocimiento de un rea de aplicacin particular. Por ejemplo, conocimiento de sistemas ambientales o de sistemas socio-econmicos. Quienes completen el programa satisfactoriamente sern expertos modelistas y simulistas de sistemas. Los egresados del programa poseern destrezas prcticas que les permitirn participar en el desarrollo de productos y herramientas de soporte para el medio industrial y empresarial en general, pero tambin los conocimientos bsicos para desempearse como investigadores y participar en la exploracin por nuevas tcnicas y estrategias para modelado y simulacin. Esta doble aptitud de los simulistas para el trabajo terico y prctico no es un anhelo sin precedentes. Por ejemplo, en Simulacin para la Industria se pueden mencionar las siguientes reas y sub-reas de aplicacin:
rea Sub-Areas de aplicacin (como se le conoce en la jerga de Simulacin) Simulacin Interactiva Distribuida (DIS), Aplicaciones Industriales: Realidad Virtual (VR) y Ambientes La planta simulada por computadores. sintticos. Ingeniera concurrente y trabajo cooperativo. DIS en manufactura. Aplicaciones de Defensa. Manejo de Emergencias y Sistemas multiagentes. Simulacin de Fbricas. Simulacin en los negocios. Re-ingeniera del proceso de negocios (BPR): Soporte para Re-ingeniera. Aplicaciones de la BPR. La simulacin en BPR. Sistemas de soporte de decisiones para Produccin de negocios. Aspectos organizacionales y econmicos. Simulacin en el financiamiento de proyectos. Logstica y Manufactura: La Fbrica del Futuro Diseo de sistemas de manufactura. Gerencia de la produccin. Logstica y transportes industriales. Programacin de actividades. Gerencia de almacenes y manejo de material. Simuladores de procesos industriales: Simuladores industriales. Tcnicas para la simulacin de procesos. Simulacin de procesos. Control y prueba. Simulacin para diseo: Componentes de plantas. Aplicaciones de dinmica de fluidos. Sistemas automatizados. Electromecnica. Simulacin para la automatizacin. Simulacin para los servicios. Electrnicos y telecomunicaciones: Telecomunicaciones. Redes. Diseo de sistemas. Simulacin de las plantas de energa. Puertos y transporte martimo. Tecnologa de la informacin en puertos y ambientes martimos. Misin TIERRA. Sistemas ambientales: Manejo de desperdicios. Simulacin de sistemas ambientales. Transporte urbano. Biotecnologa y medicina: Servicios de salud: Anlisis, planificacin y aplicacin. Investigacin, anlisis y produccin biotecnolgica. Bioinformtica. Servicios para la sociedad: Simulaciones globales. Manejo de emergencias.
Teora de Modelado y Simulacin.
Tcnicas: Aplicaciones de Inteligencia Artificial. Tcnicas matemticas. Diseo de modelos. Tcnicas de anlisis. Tcnicas de modelado. Aplicaciones de tcnicas de simulacin. Metodologas de simulacin. Herramientas: Herramientas para apoyar aplicaciones industriales. Herramientas para simulacin. Herramientas para apoyar el diseo y anlisis. Lenguajes. Computacin avanzada: Simulacin paralela. Simulacin distribuida Extraccin de informacin y conocimiento Procesamiento del lenguaje natural y lingstica computacional. Gramticas y modelos lingsticos. Procesamiento textual Procesamiento del habla Corpus y anlisis terminolgico en documentos cientfico-tcnicos. SGML y los lenguajes de marcado de texto Web Semntica
Como puede apreciarse, el rango de aplicacin de las tcnicas de modelado y simulacin es muy amplio. Y puede apreciarse tambin que aborda problemas de enorme significacin social y que impactan dentro y fuera del aparato industrial. Este postgrado pretende formar profesionales con la visin global de la tecnologa de simulacin y expertos en la aplicacin de esa tecnologa para la solucin de problemas de inters actual. 1.2 Antecedentes El postgrado en Modelado y Simulacin de Sistemas es respaldado por una amplia experiencia en la investigacin y docencia en modelado y simulacin. La experiencia de los miembros del Centro de Simulacin y Modelos de la Universidad de Los Andes (CESIMO), quienes son los profesores regulares de este postgrado, cubre los aspectos: Institucionales: Personal del CESIMO particip en la fundacin de la Escuela de Ingeniera de Sistemas en 1970 y del Instituto de Estadstica Aplicada y Computacin (IEAC) en 1974, han sido tambin responsables del dictado de cursos de simulacin y afines en la carrera de Ingeniera de Sistemas desde 1973. Ese grupo pionero particip en la creacin del rea de simulacin y modelado numrico del Departamento de Investigacin de Operaciones de la Escuela de Ingeniera de Sistemas en 1988. Finalmente, para concretar el esfuerzo de investigacin, crean el CESIMO (como un centro en que participan varias dependencias de la ULA) en 1990. Adicionalmente, personal del CESIMO particip en la creacin de la primera carrera de computacin (UCV en los aos 60). De Investigacin: El desarrollo institucional fue motivo y siempre a la par del trabajo de investigacin. A lo largo de esa historia el personal del CESIMO ha realizado muchos proyectos de investigacin, entre ellos el desarrollo de varios modelos globales. Entre estos se cuentan: un modelo de la regin Chama-Mocotes (Tonella y Acevedo: 1973-1976), los modelos de la ciudad de Mrida (Domingo et al: 1983); un modelo de la ULA (Domingo et al.: 1985), el proyecto todava en desarrollo del Modelo de Venezuela (Domingo, Tonella, et al:.1990-1997). Por otra parte el CESIMO cuenta con miembros que fueron reconocidos como los primeros a nivel mundial en elaborar un modelo de un sistema socio-polticos (Domingo et al, 1963) y entre los primeros modelos nacionales (Venutopia I, modelo de Brasil, etc.) Adems de esto, se han venido realizando actividades de investigacin en modelado y simulacin en colaboracin con instituciones internacionales de conocido renombre como el International Institute of Applied System Analysis (IIASA) y la Universidad del Norte de Texas. Dos de los proyectos merecen mencin por su alcance y significacin: El proyecto PANEARTH, caso Venezuela (anlisis de los cambios climticos globales en los sistemas ecolgicos y agrcolas de Venezuela) y el proyecto GAIA (herramientas innovadoras para promover la conservacin y el uso sustentable de los recursos naturales). Este ltimo es un esfuerzo de cooperacin con nueve Instituciones de investigacin de Argentina, Austria, China, Egipto, Irlanda, Italia, Mxico, Tailandia y Zimbabwe. Ms
recientemente se pueden mencionar en el mbito internacional el proyecto de Biocomplejidad con financiamiento en otros de la Fundacin Nacional de la Ciencia de los Estados Unidos (ver por ejemplo, Moreno et al. 2006); el desarrollo de la plataforma computacional GALATEA con financiamiento parcial del CDCHT (Ver Anexo GALATEA) y varios proyectos desarrollados para CVG-EDELCA (Zerpa, 2000 y Ablan et al. 2005). Docentes: La planta profesoral de este postgrado ha dictado cursos regularmente en la Escuela de Ingeniera de Sistemas y el Instituto de Estadstica Aplicada y Computacin (IEAC), los postgrados de Computacin, Control y Matemtica Aplicada de la Facultad de Ingeniera, el Postgrado de Estadstica Aplicada y Computacin de la Facultad de Economa y el Postgrado de Ingeniera Forestal de la Facultad de Ciencias Forestales y Ambientales de la Universidad de Los Andes, el postgrado de matemticas aplicadas, el postgrado de matemticas, el postgrado de filosofa, etc. Adems de esto, el personal del CESIMO ha dictado cursos de actualizacin en la industria desde 1988. Algunas de las instituciones servidas han sido: INTEVEPPDVSA, Sidor, Corpoven, Pequiven, La Universidad Central de Venezuela, Lagoven y EDELCA. Su personal fue tutor de tesis de maestra y doctorado en la Universidad de los Andes y en otras instituciones nacionales y tambin jurados de tesis doctorales afuera de Venezuela (USA, Francia, etc.). De formacin de personal de relevo en las reas de Modelado y Simulacin : Conscientes de la importancia de formar personal en estas reas y de la dificultad de prepararles para el trabajo docente, de investigacin y de extensin, los pioneros del CESIMO motivaron a la segunda generacin para que se embarcaran en planes de formacin de cuarto nivel. Desde 1991, ocho nuevos miembros del CESIMO han salido de Venezuela para estudios graduados. Han regresado con doctorados (en reas vinculadas con Simulacin) obtenidos en: La Universidad de Iowa, La Universidad del Norte de Texas, El Imperial Collage, Londres, Universidad Politcnica de Catalua, El UNSA INRIA Universidad de Niza, Sophia Antipolis e Instituto Nacional de Francia para investigacin en Informtica y Automtica, La Universidad de la Suiza Italiana y La Universidad Metropolitana de Manchester. El CESIMO cuenta adems con tres candidatos doctorales, quienes cooperan con el dictado de cursos y tutoras de trabajo de grado en Modelado y Simulacin de Sistemas. 1.3 Demandas del entorno regional, nacional y latinoamericano El postgrado en Modelado y Simulacin est dirigido a los egresados de las carreras de Ingeniera de Sistemas, Ingeniera Forestal, Economa (incluyendo Estadstica y Administracin), Ciencias Bsicas (Biologa, Ecologa, Qumica, Fsica y Matemtica) y otros profesionales que deseen ampliar su conocimiento de modelado y simulacin y del cmo aplicar estas tcnicas en su rea original de experticia o en proyectos interdisciplinarios. El programa del postgrado ofrece a aquellos profesionales una gama de alternativas para continuar con estudios de cuarto nivel. Adems, nuestros profesionales tienen la oportunidad de aplicar sus nuevos conocimientos a problemas en sus regiones que bien pueden parecerles ms relevantes, sin sacrificar la posibilidad de interactuar con sus homlogos en otros pases, como se explica ms adelante. La demanda por el postgrado no proviene de individuos nicamente. En Venezuela y en toda Latinoamrica tenemos serios problemas para el anlisis y difusin de la informacin de apoyo a la gerencia en proyectos de gran complejidad. A pesar del explosivo desarrollo de los medios teleinformticos, seguimos en desventaja en cuanto a la generacin y aprovechamiento de los datos requeridos por esos proyectos fundamentales. Por ejemplo, los esfuerzos para conformar una red de centros de investigacin ecolgica en toda Latinoamrica (proyecto en el que el CESIMO est involucrado) son muy recientes. Esto es muy lamentable si se considera que todas estas naciones son esencialmente explotadoras de sus recursos naturales. No disponer en las organizaciones de mecanismos para capturar y analizar los datos socio-econmicos y ambientales de cada nacin y, por consiguiente, no poder usarlos para planificar y ordenar el desarrollo sustentable es una enorme debilidad en todas estas naciones. Una debilidad que tenemos que comenzar a atacar con la formacin de recursos humanos para el aprovechamiento de la informacin y la planificacin estratgica. Este postgrado es parte del esfuerzo por superar esa debilidad, preparando la plataforma humana y tecnolgica que se requiere para atacar la complejidad del dinmico mundo moderno. 1.4 Resultados Esperados 1. Ms profesionales calificados para el modelado y simulacin de sistemas y con experiencias en reas tales como modelado ambiental, modelado y simulacin de sistemas biomdicos, modelado y simulacin de flujo de fluidos, simulacin paralela, simulacin de sistemas socio-econmicos, tcnicas avanzadas de simulacin y modelado industrial y de servicios. Esto requiere un esfuerzo en dos direcciones
simultneamente, formando profesionales que puedan aplicar los conocimientos en la industria y que puedan involucrarse a la investigacin en centros industriales especializados o acadmicos. La intencin es que este personal se incorpore, en el corto plazo, a la bsqueda de nuevos conocimientos y a la aplicacin de estas tecnologas en el Pas y en Latinoamrica. 2. Una plataforma humana y tecnolgica para la investigacin, desarrollo y aplicacin de herramientas de modelado y simulacin de sistemas. Se quiere disponer de conocimiento y tecnologa para respaldar la toma de decisiones y contribuir al mejoramiento de los sistemas de informacin gerenciales del Pas y de Latinoamrica. Para verificar que nos estamos moviendo en la direccin correcta, el CESIMO mantiene mecanismos de seguimiento de su trabajo en las reas fundamentales para el desarrollo sustentable y, con la misma intencin, el CESIMO procura que todos sus miembros y los profesores afiliados a esta Maestra sean reconocidos como investigadores activos por los organismos correspondientes a nivel local (PEIULA) nacional (PPI-FONACIT). En buena medida este objetivo ya se ha alcanzado. Por otra parte todos los cursos estn directamente bajo la supervisin de un profesor con doctorado y experiencia en investigacin. 1.5 Resumen del programa de postgrado El postgrado descrito en este documento contiene un programa de Maestra en Modelado y Simulacin de Sistemas. El Magister en Modelado y Simulacin de Sistemas es un profesional con una formacin que le permite resolver problemas complejos en la industria y en los servicios pblicos y privados. Sus habilidades y capacidades incluyen: 1. 2. 3. 4. La capacidad para disear, construir y analizar modelos de sistemas, usando diversas plataformas y estrategias de simulacin. La capacidad para organizar y ejecutar proyectos en las reas del postgrado. La capacidad para organizar, participar y dirigir grupos interdisciplinarios cuyo objetivo sea el desarrollo y la aplicacin de herramientas para modelado y simulacin de sistemas a la resolucin de problemas. La habilidad y el conocimiento fundamental necesario para adaptarse a los cambios tecnolgicos y a la evolucin de las disciplinas de modelado y simulacin.
La unidad acadmica que hospeda el Postgrado en Modelado y Simulacin de Sistemas es el Centro de Simulacin y Modelos de la Universidad de Los Andes (CESIMO). La Asamblea de profesores del postgrado es la responsable por la carga docente y de investigacin del programa. El postgrado est dirigido por un Consejo Directivo conformado por tres miembros de la asamblea de profesores. El Consejo Directivo est encabezado por un Coordinador general. Las funciones y atribuciones de la Asamblea de Profesores, del Consejo Directivo, el Coordinador y los delegados estudiantiles, as como las normas generales para el funcionamiento del postgrado se describen en el reglamento del postgrado, que se incluye con este documento. El postgrado inaugura una cohorte de maestra cada ao. En el postgrado se cursan 5 asignaturas obligatorias, 3 electivas, adems de los 2 seminarios de modelado y simulacin que se abren permanentemente y que deben ser cursados por todos los estudiantes una vez que acumulen sus primeras 6 unidades-crditos, es decir, normalmente en el segundo y el tercer perodo. La Maestra se puede cursar a tiempo completo, a medio tiempo o en combinaciones de ambos, aprobadas por el Consejo Directivo. Para la Maestra se exige la realizacin de un taller sobre mtodos de investigacin (donde cada estudiante elaborar su propuesta de trabajo de grado) y, luego, la presentacin del trabajo de grado (equivalente a 10 crditos). La maestra a tiempo completo tiene una duracin de 4 perodos. El Consejo Directivo puede permitir, previa aprobacin del consejo de estudios de postgrado, que los estudiantes del postgrado cursen asignaturas de postgrado en otras instituciones de reconocido nivel acadmico, tanto nacionales como internacionales . Para los intercambios internacionales, existe ya un convenio con la Universidad del Norte de Texas, en los EE.UU y un proyecto de acuerdo con el Imperial Collage of Science, Technology and Medicine, en Londres. 1.6 Naturaleza del programa 1.6.1 Definicin y denominacin
Este documento describe un programa de Maestra que se ajusta a la reglamentacin vigente y que se denomina Maestra en Modelado y Simulacin de Sistemas. 1.6.2. Estructura directiva del Postgrado La unidad acadmica que hospeda al programa de Maestra en Modelado y Simulacin es el Centro de Simulacin y Modelos de la Universidad de Los Andes (CESIMO) . No obstante, otras dependencias tambin aportan personal para constituir la asamblea de profesores del postgrado , quien es la responsable por la carga docente y de investigacin del programa. El postgrado est dirigido por un Consejo Directivo conformado por tres miembros de la asamblea de profesores. Dos de estos profesores son miembros designados por el CESIMO y sirven como interfaz entre el postgrado y el centro para todos los efectos legales y administrativos. El Consejo Directivo est encabezado por un coordinador general, responsable principal de la marcha del programa de postgrado y de representar al postgrado ante otras instancias como el Consejo de Estudios de Postgrado. Cada cohorte de estudiantes deber designar un representante quien servir como su delegado ante el Consejo Directivo. Las funciones y atribuciones de la asamblea de profesores, del consejo directivo, del coordinador y de los delegados estudiantiles se describen en el reglamento del postgrado, que se incluye ms adelante en este documento. 1.7 Estructura Acadmica del Postgrado Los estudiantes que se inscriben y son admitidos en el programa de Maestra al mismo tiempo constituyen una cohorte del postgrado. Los perodos regulares del postgrado tienen, cada uno, una duracin de 16 semanas. Esas 16 semanas coinciden con el rgimen semestral, as que cada perodo corresponde a un semestre regular. El postgrado inaugura una cohorte de maestra cada ao, incluso si las cohortes anteriores no han culminado sus respectivos programas. En el postgrado se cursan 5 asignaturas obligatorias y 3 electivas, adems de los 2 seminarios de modelado y simulacin que se abren permanentemente y que deben ser cursados por todos los estudiantes una vez que acumulen sus primeras 6 unidades-crditos, es decir, normalmente en el segundo y el tercer perodo (para estudiantes a tiempo completo). Una vez que completen 23 unidades-crditos (en el tercer perodo, para estudiantes a tiempo completo) los estudiantes de la maestra asisten a un taller sobre mtodos de investigacin en el cual elaborarn sus propuestas de trabajo de grado. 1.8 Certificacin al finalizar el programa El postgrado otorga a quienes cumplan con todos los requisitos (mencionados ms adelante) en el programa de Maestra el ttulo de Magister Scientiae en Modelado y Simulacin de Sistemas de la Facultad de Ingeniera de la Universidad de Los Andes. A quienes completan y aprueban todos los cursos y seminarios (sin completar el correspondiente trabajo de grado) se les otorgar un certificado de aprobacin de la escolaridad del postgrado en Modelado y Simulacin de Sistemas. 2. Duracin del Programa Los estudiantes que se inscriben y son admitidos en el programa del postgrado constituyen una cohorte del postgrado. Existen dos modalidades de estudios del programa de Maestra: a Tiempo Completo con una duracin de 4 perodos y a Medio Tiempo con una duracin de 8 perodos. Los perodos regulares del postgrado tienen una duracin de 16 semanas. Esas 16 semanas coinciden con el rgimen semestral, as que cada perodo corresponde a un semestre regular. El postgrado inaugura una cohorte de maestra cada ao, incluso si las cohortes anteriores no han culminado sus respectivos programas. En el postgrado se cursan 5 asignaturas obligatorias y 3 electivas, adems de los 2 seminarios de modelado y simulacin que se abren permanentemente y que deben ser cursados por todos los estudiantes una vez que acumulen sus primeras 6 unidades-crditos, es decir, normalmente en el segundo y el tercer perodo (para estudiantes a tiempo completo). Una vez que completen 23 unidades-crditos (en el tercer perodo, para estudiantes a tiempo completo) los estudiantes de la maestra deben asistir a un taller sobre mtodos de investigacin en el cual elaboran sus propuestas de trabajo de grado. La estructura general del programa de Maestra en Modelado y Simulacin de Sistemas se describe a continuacin:
Maestra en Modelado y Simulacin de Sistemas

(A tiempo completo)
Primer Perodo
Lgica y Matemtica para Simulacin
Segundo Perodo
Tercer Perodo
Cuarto Perodo
Seminario de Modelado y Seminario de Modelado y Simulacin 1 Simulacin 2 Electiva Taller sobre Mtodos de Investigacin
Introduccin al Tpicos Avanzados en Modelado y a la Modelado y Simulacin Simulacin Computacin para Electiva Simulacin Estadstica y Simulacin Electiva
Trabajo de Grado
Maestra en Modelado y Simulacin de Sistemas

(A medio tiempo)
Primer Perodo
Introduccin al Modelado y a la Simulacin Computacin para Simulacin
Segundo Perodo
Seminario de Modelado y Simulacin 1 Tpicos Avanzados en Modelado y Simulacin
Tercer Perodo
Lgica y Matemtica para Simulacin Estadstica y Simulacin
Cuarto Perodo
Por lo menos una electiva (ms sujeto a disponibilidad de recursos)
Quinto Perodo
Por lo menos una electiva (ms sujeto a disponibilidad de recursos)
Sexto Perodo
Por lo menos una electiva
Sptimo Perodo
Seminario de Modelado y Simulacin 2 Taller sobre mtodos de investigacin
Octavo Perodo
Trabajo de Grado
Una de las estrategias que ha ideado el Consejo Directivo del Postgrado con el propsito de aligerar a los egresados, es la realizacin de mini-perodos de 1 mes de duracin, entre dos perodos normales, para las asignaturas obligatorias y electivas. Estos mini-perodos de 1 mes de duracin son de forma intensiva. Estos mini-perodos nunca pueden ser ms de 1 o 2 por ao. 3. Objetivos El objetivo principal del postgrado en Modelado y Simulacin de Sistemas es: 1.- Formar personal capacitado que les permita modelar problemas complejos y buscar posibles soluciones a travs de la simulacin. 2.- Ampliar el mercado de trabajo de los egresados del programa proporcionndoles de destrezas y tcnicas en Modelado y Simulacin de Sistemas que pueden aplicarse o ser transferidas para solucionar una variedad de problemas comnmente encontrados en Ciencias e Ingeniera. Otros objetivos del postgrado en Modelado y Simulacin de Sistemas son: 3.- Promover la aplicacin de la tecnologa de Modelado y Simulacin en reas vitales para el desarrollo sustentable del Pas, incluyendo entre otras: el modelado ambiental, el modelado de sistemas socio-
econmicos, el modelado de servicios, el modelado industrial y las plataformas de computacin para apoyar la toma de decisiones. 4.- Fortalecer la investigacin en Modelado y Simulacin, reforzando las actividades de los investigadores nacionales con personal novel y fomentando la interaccin con instituciones internacionales. 5.- Propulsar la integracin horizontal entre los equipos de investigacin multidisciplinarios formados puntualmente para resolver problemas en reas estratgicas de inters e importancia nacional. 4. Perfil del Egresado El Magister en Modelado y Simulacin de Sistemas es un profesional con una formacin que le permite desempearse como solucionador de problemas complejos en la industria, y en los servicios pblicos y privados, usando el modelado computacional y la simulacin. Sus habilidades y capacidades incluyen: 1. 2. 3. 4. La capacidad para disear, construir y analizar modelos de sistemas, usando diversas plataformas y estrategias de simulacin. La capacidad para organizar y ejecutar proyectos en las reas del postgrado. La capacidad para organizar, participar y dirigir grupos interdisciplinarios cuyo objetivo sea el desarrollo y la aplicacin de herramientas para modelado y simulacin de sistemas a la resolucin de problemas. La habilidad y el conocimiento fundamental necesario para adaptarse a los cambios tecnolgicos y a la evolucin de las disciplinas de modelado y simulacin.
El Magister tiene adems experiencia mnima en investigacin en las reas de modelado y simulacin. Esta experiencia la obtiene en su proyecto de grado o tesis, el cual realiza bajo la direccin de un investigador calificado. 5. Requisitos de Ingreso, Permanencia y Egreso Para ingresar al postgrado se requiere: 1. Ser graduado universitario en alguna de las siguientes reas y disciplinas: - Ingeniera (de sistemas, elctrica, qumica, forestal, mecnica, civil, industrial, geolgica y de computacin). - Ciencias bsicas (matemtica, qumica, fsica, biologa) - Ciencias econmicas y administrativas (estadstica y economa) - Geografa - Informtica o bien en otras reas, siempre que el estudiante pueda comprobar ante el Consejo Directivo del Programa que posee el nivel mnimo requerido para el programa. 2. Presentar una solicitud de ingreso ante el Consejo Directivo del Programa acompaada de los siguientes documentos: - Partida de nacimiento original - Calificaciones originales-certificadas de pregrado - Fotografa fondo negro-certificada del ttulo universitario - Dos fotografas tamao carnet recientes - Curriculum Vitae con todos los anexos - Tres referencias acadmicas y/o profesionales Para los estudiantes extranjeros los documentos deben venir debidamente legalizados y cumplir con los requerimientos de inmigracin y extranjera vigentes en la Repblica Bolivariana de Venezuela. 3. A juicio del Consejo Directivo, los candidatos debern presentar un examen de admisin o presentarse para una entrevista personal con una comisin designada por el Consejo Directivo. La decisin de admisin ser responsabilidad del Consejo Directivo. Si se decide aplicar el examen de admisin, este constar de las siguientes partes: - Conocimientos lgico-matemticos - Conocimientos computacionales - Conocimientos instrumentales del Ingls - Conocimientos de Estadstica
Nota: El programa de estos exmenes se explicar en detalle, acompaado de una concisa bibliografa. Los candidatos podrn solicitar un modelo del examen de admisin a la coordinacin del postgrado.
Para permanecer en el postgrado se requiere: - Mantener el promedio de las calificaciones de los cursos en cada semestre con una nota mayor o igual a 15 puntos (15 sobre una escala de 0-20). - Mantener todas las calificaciones con una nota mayor o igual a 10 puntos (10 sobre una escala de 0-20). Para graduarse de Magister en Modelado y Simulacin de Sistemas se requiere : - Haber aprobado satisfactoriamente los 15 crditos de cursos obligatorios (el promedio ponderado de todas las calificaciones no debe ser menor a 15 puntos y ninguna calificacin final de asignatura debe estar por debajo de 10 puntos). - Haber aprobado los 4 crditos de seminarios. Estos seminarios sern evaluados con exmenes y trabajos especiales al final de cada perodo. - Haber aprobado por lo menos 9 crditos de asignaturas electivas (el promedio ponderado no debe ser menor a 15 puntos y ninguna asignatura debe estar por debajo de 10 puntos) - Presentar y aprobar el Trabajo de Grado (de 10 crditos) dentro de un lapso no mayor de 1 ao contado a partir de la fecha de inicio del perodo en que el estudiante inscribe el proyecto de trabajo de grado. En todo caso, los trabajos de grados debern presentarse dentro del lapso de 4 aos a partir del inicio de estudios regulares. Un reglamento especial y las otras regulaciones vigentes en la universidad regirn la presentacin de los trabajos de grado. 6. Plan de estudios: asignaturas u otras actividades curriculares y su valor en crditos 6.1 Objetivos generales: El propsito general de este plan de estudios es formar un profesional capaz de: 1. Disear, construir y analizar modelos de sistemas, usando diversas plataformas y estrategias de Simulacin. 2. Organizar, participar y dirigir grupos interdisciplinarios cuyo objetivo sea la investigacin, el desarrollo y el uso de herramientas para Modelado y Simulacin de Sistemas para la resolucin de problemas. 3. Adaptarse a los cambios tecnolgicos y a la evolucin de las disciplinas de modelado computacional y simulacin. El grueso de los cursos obligatorios (modelado y simulacin de sistemas, lgica y matemtica para simulacin, estadsticas y simulacin, computacin para simulacin) se concentra en el objetivo 1: Aprender a disear, implementar y analizar modelos de sistemas con diversas plataformas y estrategias de simulacin. La asignatura en tpicos avanzados de simulacin ofrece la visin del estado del arte en la disciplina y la actualizacin que se pretende en el objetivo 3. Las asignaturas electivas deberan reforzar el trabajo de actualizacin que se inicia en esa asignatura. Los seminarios de modelado y simulacin (1 y 2) estn dirigidos a alcanzar los objetivos 2 y 3. Los estudiantes debern participar (como asistentes activos y como ponentes de sus proyectos) en estos seminarios. Tendrn as, una oportunidad ideal para desarrollar habilidades que les permitan comunicarse con audiencias diversas y orientar a grupos, tal como se pretende con el objetivo 2. Los objetivos 1 y 2 sern tambin evaluados con el Trabajo de Grado. Y para preparar a los estudiantes para emprender ese Trabajo de grado, se realizarn los talleres sobre mtodos de investigacin, una vez que acumulen 23 unidades-crdito.
10
6.2 Asignaturas y Crditos CODIGO MSS001 MSS002 MSS003 MSS004 MSS005 MSS006 MSS007 MSS008 MSS010 MSS011 MSS015 MSS016 MSS025 MSS026 MSS049 MSS035 MSS036 MSS050 MSS037 MSS045 MSS046 MSS047 MSS048 MSS049 MSS051 MSS052 ASIGNATURAS OBLIGATORIAS Introduccin al Modelado y a la Simulacin Lgica y Matemtica para Simulacin Estadsticas y Simulacin Computacin para Simulacin Tpicos Avanzados en Simulacin Seminario de Modelado y Simulacin 1 Seminario de Modelado y Simulacin 2 Taller sobre Mtodos de Investigacin ELECTIVAS Tpicos especiales en Simulacin I Tpicos especiales en Simulacin II En el rea de modelado ambiental Modelado Ambiental Economa Ecolgica En el rea de simulacin de sistemas socioeconmicos Sistemas Multi-Agentes Modelado del cambio estructural Estudio de Organizaciones En el rea de herramientas y lenguajes de simulacin Simulacin Lgica Sistemas de Informacin Geogrfica Dinmica de Sistemas Ingeniera Ontolgica y la Web Semntica En el rea de tpicos avanzados de modelado y simulacin Simulacin Paralela y Distribuida Simulacin basada en Objetos y Agentes Cmputo Numrico en Paralelo Simulacin de Reservorios Petrolferos Lgica Inductiva y Aprendizaje Automtico Lingstica Computacional Caos y Sistemas No Lineales T-P-L-U 3-0-0-3 3-0-0-3 3-0-0-3 3-0-0-3 3-0-0-3 2-0-0-2 2-0-0-2 1-0-0-0 3-0-0-3 3-0-0-3 3-0-0-3 3-0-0-3 3-0-0-3 3-0-0-3 3-0-0-3 3-0-0-3 3-0-0-3 3-0-0-3 4-0-0-4 3-0-0-3 3-0-0-3 4-0-0-4 3-0-0-3 3-0-0-3 3-0-0-3 4-0-0-4
Esta tabla presenta las asignaturas obligatorias, seminarios y electivas que imparte el postgrado. En el futuro y respondiendo a las necesidades planteadas por los alumnos y los proyectos de investigacin, de la participacin de profesores visitantes y de la incorporacin de los actuales estudiantes doctorales del CESIMO como profesores del postgrado, se abrirn nuevas electivas con los ltimos avances en modelado y simulacin. Al abrir cada nueva electiva, el Consejo Directivo considerar no repetir cursos ya ofrecidos por otras dependencias de la Universidad de Los Andes u otras universidades de Venezuela. El listado de las electivas puede ser ampliado por el Consejo Directivo del postgrado previa aprobacin por parte del consejo de estudio de postgrado de la ULA. Las asignaturas dictadas por los postgrados de
11
computacin, control, estadstica aplicada y matemtica aplicada de la ULA son tambin potenciales asignaturas electivas. Los estudiantes pueden proponerlas ante el Consejo Directivo, quien decide su aprobacin considerando el perfil, plan de trabajo y las asignaturas cursadas por cada estudiante. Entre estas posibles electivas del postgrado se cuentan: En el postgrado de matemtica aplicada: anlisis numrico I y II y anlisis complejo y computacional. En el postgrado de computacin: lgica y representacin del conocimiento. En el postgrado de control: sistemas lineales y modelaje e identificacin. En el postgrado de estadstica aplicada y computacin: cursos de estadstica avanzada.
12
6.2.1. Descripcin de los cursos
El Email del coordinador del programa es pgmsim@ula.ve y la direccin actual de la pgina del postgrado es: http://cesimo.ing.ula.ve/DOCENCIA/POSTGRADO Telfono: 0274- 2402879, 2401126 (secretaria) Fax: 0274- 2402872 Universidad de Los Andes Facultad de Ingeniera Centro de Simulacin y Modelos CESIMO Programa de Postgrado en Modelado y Simulacin de Sistemas Mrida Venezuela
Nombre del curso: Introduccin al Modelado y a la Simulacin de Sistemas Cdigo: MSS001

Teora: 3 Prctica: 0 Coordinador del Programa: Magdiel Ablan Centro de Simulacin y Modelos (CESIMO) Fac. de Ingeniera. Universidad de Los Andes Ncleo La Hechicera Telfono: 0274- 2402879 Fax: 0274- 2402872 Laboratorio: 0 Unidades Crditos: 3 Profesores del curso Carlos Domingo y Giorgio Tonella Centro de Simulacin y Modelos (CESIMO) Fac. de Ingeniera. Universidad de Los Andes Ncleo La Hechicera Telfono: 074- 2402879 Fax: 074-2402872
Breve Descripcin del curso

Objetivos del curso: Generales: Estudiar los fundamentos de la teora de Modelado y Simulacin de Sistemas. Especficos: 1. Revisar los conceptos fundamentales del modelado de sistemas. 2. Conocer de la evolucin de las disciplinas de modelado computacional y simulacin. 3. Conocer la teora de Modelado y Simulacin. Requisitos para tomar el curso: Prelaciones: ninguna (se requieren conocimientos bsicos de programacin y clculo diferencial, pero en el curso se har una revisin del material relevante). Relacin con otras asignaturas: Prela a Tpicos avanzados en Simulacin.
Bibliografa (Libros texto)
Domingo, Carlos y Tonella, Giorgio. Modelado Matemtico. Publicacin Interna U.L.A. 1990. Zeigler, Bernard. P. Theory of modelling and simulation, John-Wiley, New York,1976. Unidad 1 : Anlisis de Sistemas Unidad 2: Recoleccin de Informacin Unidad 3: Modelizacin Modelado Unidad 4: Validacin de Modelos de Simulacin Unidad 5: Experimentacin Unidad 6: Teora General de Simulacin
Contenido del Curso
13
Universidad de Los Andes Facultad de Ingeniera Centro de Simulacin y Modelos CESIMO Programa de Postgrado en Modelado y Simulacin de Sistemas Mrida Venezuela
Nombre del curso: Lgica y Matemtica para Simulacin Cdigo: MSS002

Teora: 3 Prctica: 0 Coordinador del Programa: Magdiel Ablan Centro de Simulacin y Modelos (CESIMO) Fac. de Ingeniera. Universidad de Los Andes. Ncleo La Hechicera Telfono: 074 2402879 Fax: 074 2402872 Laboratorio: 0 Unidades Crditos: 3 Profesor del curso Jacinto Dvila Centro de Simulacin y Modelos (CESIMO) Fac. de Ingeniera. Universidad de Los Andes. Ncleo La Hechicera Telfono: 074 2402879 Fax: 074 2402872

Objetivos del curso: Generales: Conocer los lenguajes lgicos y matemticos y sus aplicaciones en computacin. Especficos: 1 Revisar la historia del pensamiento lgico y matemtico. 2 Conocer el lenguaje de la programacin lgica. 3 Conocer los fundamentos de las matemticas discretas y su relacin con computacin. Requisitos para tomar el curso: Prelaciones: ninguna (se requieren conocimientos bsicos de programacin, pero en el curso se har una revisin del material relevante). Relacin con otras asignaturas: Prela a la asignatura electiva en Simulacin Lgica. Bibliografa (Libros texto) Kowaski, Robert. Cmo ser artificialmente Inteligente. http://webdelprofesor.ula.ve/ingenieria/jacinto/logica/agentes-y-logica-computacional.html Delong, Howard. A profile of Mathematical Logic. Addison-Wesley. 1970. Thayse, Andr. From Standard Logic to Logic Programming. John Wiley & Sons, 1988. Domingo, Carlos. Notas de Lgica para Computacin. Postgrado de Computacin. U.L.A. 1995. Hogger, Christopher. Essentials of Logic Programming. Clarendon Press. Oxford. 1990. Ross, Kenneth A y Wright, Charles R.B. Matemticas Discretas. Prentice-Hall Hispanoamericana. 1990 . Unidad 1: Un desafio lgico Unidad 2: Reglas lgicas para una comunicacin efectiva Unidad 3: Razonamiento, proactividad y las metas en lgica Unidad 4: Reglas de condicin-accin generalizadas Unidad 5: Un sistema lgico que combina reduccin de metas, reglas de condicin-accin y otros recursos lgicos Unidad 6: Pensar = Inferencia + Bsqueda + Inferencia Unidad 7: Introduccin al modelado del significado Unidad 8: Modelos de agentes basados en lgica Unidad 9: El fundamento lgico del dilema del prisionero Unidad 10: Modelos lgicos del cambiante mundo e introduccin a la semntica lgica
Contenido del Curso
14
Nombre del curso: Estadsticas y Simulacin Cdigo: MSS003

Teora: 3 Prctica: 0 Coordinador del Programa: Magdiel Ablan Centro de Simulacin y Modelos (CESIMO) Fac. de Ingeniera. Universidad de Los Andes. Ncleo La Hechicera Telfono: 074 2402879 Fax: 074 2402872 Laboratorio: 0 Unidades Crditos: 3 Profesores del curso Giampaolo Orlandoni Instituto de Estadstica Aplicada y Computacin Fac. de Economa. Universidad de Los Andes. Ncleo La Liria Telfono: 074 2402879 Fax: 074 2402872

Objetivos del curso: Generales: Conocer la teora estadstica y las herramientas de modelado estadstico que se aplican con mayor frecuencia en la simulacin de sistemas. Especficos: 1. Revisar los conceptos fundamentales la estadstica y el modelado estocstico. 2. Revisar las tcnicas de anlisis estadstico: descriptiva e inferencia. 3. Conocer de estrategias para modelado economtrico y sus limitaciones. 4. Conocer de estrategias para anlisis de series de tiempo. 5. Conocer los fundamentos tericos y prcticos del diseo de experimentos y su aplicacin al anlisis de sensibilidad de modelos. 6. Tcnicas de re-muestreo, bootstrap. Requisitos para tomar el curso: Prelaciones: ninguna (se requieren conocimientos bsicos de funciones, probabilidades y clculo diferencial, pero en el curso se har una revisin del material relevante). Relacin con otras asignaturas: Prela a las electivas en modelado ambiental.
Notas de los profesor. Unidad 1 : Anlisis de Datos Unidad 2: Generacin de Datos Unidad 3: Modelacin Economtrica Unidad 4: Series de Tiempo Unidad 5: Diseo de Experimentos
Contenido del Curso
15
Nombre del curso: Computacin para Simulacin Cdigo: MSS004

Teora: 3 Prctica: 0 Coordinador del Programa: Magdiel Ablan Centro de Simulacin y Modelos (CESIMO) Fac. de Ingeniera. Universidad de Los Andes. Ncleo La Hechicera Telfono: 074 2402879 Fax: 074 2402872 Laboratorio: 0 Unidades Crditos: 3 Profesores del curso Herbert Hoeger y Jacinto Dvila Centro de Simulacin y Modelos (CESIMO) Fac. de Ingeniera. Universidad de Los Andes. Ncleo La Hechicera Telfono: 074 2402879 Fax: 074 2402872

Objetivos del curso: Generales: Aprender a programar un simulador de sistemas elemental con un lenguaje de programacin moderno. Especficos: 1. Conocer un lenguaje de programacin moderno y orientado a objetos. 2. Explorar las estrategias bsicas para construir un simulador de eventos discretos a partir de una especificacin formal. 3. Evaluar las ventajas y desventajas de los simuladores de propsito especfico y de las plataformas y lenguajes de simulacin de propsito general. Requisitos para tomar el curso: Prelaciones: ninguna (se requieren conocimientos bsicos de programacin pero en el curso se har una revisin del material relevante). Relacin con otras asignaturas: Prela a Tpicos avanzados en Simulacin.
Zeigler, Bernard. Theory of Modeling and Simulation. John Wiley & Sons. 1976. Zeigler, Bernard. Objects and Systems : Principled Design With Implementations in C++ and Java. Springer Verlag 1997. Unidad 1: Introduccin a la programacin orientada a objetos. Orientacin a Objetos y los sistemas con estados. Especificaciones de sistemas orientados a objetos. Programando objetos y la programacin imperativa. Unidad 2: Listas: Especificacin, modelos e implantaciones. Unidad 3: Jerarquas y Herencia entre objetos. Unidad 4: Un simulador elemental de eventos discretos, orientado a objetos. Unidad 4: Contenedores: Especificacin, modelos e implantaciones. Unidad 5: Sistemas muti-hebrados (en JAVA). Unidad 6: Plataformas de simulacin: GLIDER vs JAVA.
Contenido del Curso
16
Nombre del curso: Tpicos Avanzados en Simulacin Cdigo: MSS005

Teora: 3 Prctica: 0 Coordinador del Programa: Magdiel Ablan Centro de Simulacin y Modelos (CESIMO) Fac. de Ingeniera. Universidad de Los Andes. Ncleo La Hechicera Telfono: 074 2402879 Fax: 074 2402872 Laboratorio: 0 Unidades Crditos: 3 Profesores del curso Carlos Domingo y Giorgio Tonella. Centro de Simulacin y Modelos (CESIMO) Fac. de Ingeniera. Universidad de Los Andes. Ncleo La Hechicera Telfono: 074 2402879 Fax: 074 2402872

Objetivos del curso: Generales: Conocer las tcnicas de avanzadas y procurar una visin global del estado del arte en simulacin de sistemas. Requisitos para tomar el curso: Prelaciones: Introduccin al Modelado y Simulacin (MSS001) y Computacin para Simulacin (MSS004). Relacin con otras asignaturas: Prela al Trabajo especial de Grado de Maestra.
Notas de los profesores. Unidad 1: Unidad 2: Unidad 3: Unidad 4: Unidad 4: Unidad 5: Programacin orientada a objetos en lenguajes de simulacin. Tcnicas numricas para Simulacin. Algebra Lineal para modelado y simulacin. Redes de Petri. Introduccin a las Redes Neurales. Aplicaciones de Algoritmos genticos.
Contenido del Curso
17
Nombre del curso: Modelado y Simulacin Ambiental Cdigo: MSS015

Teora: 3 Prctica: 0 Coordinador del Programa: Magdiel Ablan Centro de Simulacin y Modelos (CESIMO) Fac. de Ingeniera. Universidad de Los Andes. Ncleo La Hechicera Telfono: 074 2402879 Fax: 074 2402872 Laboratorio: 0 Unidades Crditos: 3 Profesores del curso Miguel Acevedo y Magdiel Ablan Centro de Simulacin y Modelos (CESIMO) Fac. de Ingeniera. Universidad de Los Andes. Ncleo La Hechicera Telfono: 074 2402879 Fax: 074 2402872

Objetivos generales El objetivo de este curso es estudiar los principales enfoques y estrategias para modelar y simular sistemas ecolgicos y ambientales. Objetivos especficos Al finalizar el curso el estudiante debe ser capaz de: 1. Explicar los conceptos de ecologa y ciencias ambientales cubiertos en clase 2. Entender las fases del proceso de modelado ecolgico y ambiental y aplicarlas en el desarrollo de un modelo especifico. 3. Dada una descripcin de un sistema ambiental, ser capaz de indicar el modelo o enfoque a usar y los datos necesarios para completar, calibrar y probar el modelo. 4. Revisar y comprender la literatura cientfica pertinente al rea. Requisitos para tomar el curso: Primer semestre aprobado y conocimientos bsicos de clculo diferencial y lgebra matricial.
18
Acevedo M. 2004. Simulation of Ecological and Environmental Models. XanEdu OriginalWorks, Second Edition, USA. Deaton, M. and J. Winebrake. 1999. Dynamic Modeling of Environmental Systems. Springer Verlag Ford, A. 1999. Modeling the Environment. Island Press. Jorgensen, S.E and F. Bendoricchio. 2001 Fundamentals of Ecological Modelling, Third Edition, Elsevier. Swartzman G.L. and S. Kaluzny. 1987. Ecological Simulation Primer. MacMillan. Wainwright J. and Mulligan, M. 2004. Environmental Modelling: Finding Simplicity in Complexity. John Wiley & Sons, Ltd. Unidad 1: Mtodos y Tcnicas en el Modelado Ambiental Elaboracin o Seleccin del modelo Calibracin Simulacin Anlisis de Sensibilidad Evaluacin Anlisis de resultados y escenarios Unidad 2: Dinmica Poblacional Modelos de Poblaciones Modelos de Comunidades Modelos Estructurados Estabilidad y Perturbaciones Unidad 3: Bases del Modelado de Ecosistemas Ciclos biogeoqumicos y modelos de Compartimientos Procesos biofsicos: fotosntesis, respiracin Unidad 4: Modelos de Ecosistemas Terrestres Dinmica climtica Dinmica hdrica Modelos de Cultivos Modelos de Sbanas y Bosques Unidad 5: Modelos de Ecosistemas Acuticos Tipos de Modelos hidrodinmicos. Contaminacin Puntual y Escorrenta Transporte y Degradacin de contaminantes en el agua Modelos de Eutroficacin Modelos de Cuencas Modelos Ecotoxicolgicos Unidad 6: Modelos de Calidad de Aire Fundamentos meteorolgicos Tipos de modelos Procesos de transporte, dispersin y deposicin Unidad 7: Dinmica Espacial Introduccin a los Sistemas de Informacin Geogrfica Modelos espaciales de ecosistemas y cambios de escala Ejemplos de modelos ambientales espacialmente explcitos: modelos de cambio de uso de la tierra, modelos de evaluacin de hbitat.
Contenido del Curso
19
Universidad de Los Andes Facultad de Ingeniera Centro Simulacin y Modelos CESIMO Programa de Postgrado en Modelado y Simulacin de Sistemas Mrida Venezuela
Nombre del curso: Economa Ecolgica Cdigo: MSS016

Teora: 3 Prctica: 0 Coordinador del Programa: Magdiel Ablan Centro de Simulacin y Modelos (CESIMO) Fac. de Ingeniera. Universidad de Los Andes. Ncleo La Hechicera Telfono: 074 2402879 Fax: 074 2402872 Laboratorio: 0 Unidades Crditos: 3 Profesores del curso Lorna Haynes y Magdiel Ablan Departamento de Investigacin de Operaciones, Escuela de Ingeniera de Sistemas y Centro de Simulacin y Modelos (CESIMO) Fac. de Ingeniera. Universidad de Los Andes. Ncleo La Hechicera Telfono: 074 2402879 Fax: 074 2402872

Objetivo general del curso: Insertar las herramientas tcnicas que poseen los modelistas y simulistas en un contexto global. Objetivos especficos: 1. Precisar las limitaciones de la evaluacin econmica de proyectos y la valoracin del ambiente. 2. Conocer la magnitud y caractersticas de crisis socio-ambientales que enfrenta la humanidad y evaluar mecanismos para integrar una perspectiva ambiental a la poltica y evaluacin econmica.
Jacobs, Michel. Economa Verde. Pluto, Londres 1991. Edicin en espaol: Editores Tercer Mundo, Bogot, 1995. Martinez-Alier, Juan. Ecological Economics. Blackwell. 1995. Meadows et al. Los lmites del Crecimiento. Fondo de Cultura. 1972. Meadows et al. Beyond the limits. Earthscan. 1992.
Contenido del Curso

Unidad 1: El anlisis econmico. Economa y crisis ambiental. Medio ambiente, riqueza y pobreza. Las fuerzas del mercado y la degradacin ambiental. Capitalismo, industrialismo y poltica verde. Unidad 2: Elementos de Ecologa. La ecologa como ciencia integradora. Los conceptos bsicos de ecosistemas: energa, entropa, productividad. La cadena de alimentos. Los ciclos biogeoqumicos: los ciclos gaseosos y los sedimentarios. Unidad 3: Objetivos de una economa ecolgica. Desarrollo sostenible y crecimiento econmico. Enfoque ortodoxo sobre la proteccin ambiental. Sostenibilidad. Sostenibilidad a nivel operacional. Modelos de eficiencia, entropa y energa ambientales. Unidad 4: El puesto en prctica de la sostenibilidad. Planificacin de la sostenibilidad. Impacto distribucional de la poltica ambiental. Implicaciones para el nivel de empleo. Poltica econmica ambiental mundial. Unidad 5: Medicin de la sostenibilidad. Limitaciones del anlisis de costos y beneficios. Indicadores de sostenibilidad. Crtica ambientalista al modelo basado en el PNB. PNB ajustado. Unidad 6: Economa ecolgica y los problemas actuales. La globalizacion, estudios de impacto ambiental, el impacto ambiental de las grandes represas, la situacin agro-alimentaria mundial, la crisis energtica, la conservacin de la biodiversidad. Problemas nacionales y locales.
20
Nombre del curso: Sistemas Multi-Agentes Cdigo: MSS025

Teora: 4 Prctica: 0 Coordinador del Programa: Magdiel Ablan Centro de Simulacin y Modelos (CESIMO) Fac. de Ingeniera. Universidad de Los Andes. Ncleo La Hechicera Telfono: 074 2402879 Fax: 074 2402872 Laboratorio: 0 Unidades Crditos: 4 Profesores del curso Jose L. Aguilar Departamento de Computacin Fac. de Ingeniera. Universidad de Los Andes. Ncleo La Hechicera Telfono: 074 2402879 Fax: 074 2402872

Objetivos generales El objetivo de este curso es doble: introducir al estudiante en todos los aspectos relevantes a los Sistemas Multi-agentes en las ciencias cognitivas y sociales para modelar y simular fenmenos naturales de autoorganizacin; y analizar sistemas complejos a partir de conceptos de agentes, de comunicacin, de cooperacin y de coordinacin de acciones. Objetivos especficos En el curso cada estudiante deber: 1. Estudiar los mecanismos de auto-organizacin que tiene lugar cuando entidades autnomas interactan. 2. Analizar sistemas distribuidos capaces de cumplir tareas complejas a travs de mecanismos de cooperacin e interaccin. 3. Conocer los conceptos y estrategias fundamentales de la Inteligencia Artificial Distribuida.
Bonabeau, E. y Thereulaz, G. (Editores). Intelligence Collective. Hermes. Pars. France.1994. Bradshaw, J. Software Agents. MIT Press. Cambridge, USA. 1997. Russell, Stuart y Norvig, Peter. Artificial Intelligence: A modern approach. Prentice Hall, New York, USA. 1995.
Contenido del Curso

Unidad 1: Introduccin. Agentes y Sociedad, Historia, Dominios de Aplicacin, Grandes temas en los sistemas multiagentes (Accin, interrelacin, adaptacin). Relacin con reas afines (Inteligencia Artificial, Sistemas distribuidos, redes neuronales, computacin evolutiva, robtica). Unidad 2: Caracterizacin de Sistemas Multi-agentes. Principios para caracterizarlos, Anlisis funcional de organizaciones, Anlisis estructural, parmetros de instanciacin. Estados de los agentes: Estados mentales e intencionales, actos reactivos e intencionales, sistemas interaccionales, sistemas representacionales, sistemas vivenciales. Unidad 3: Accin y comportamiento. La accin como transformacin de estados, la accin como respuestas a influencias, la accin como procesos informticos, la accin como movimiento fsico, la accin como modificaciones locales, la accin como comandos. Unidad 4: Interaccin, cooperacin y organizacin. Componentes de la interaccin, tipos de interaccin, formas de cooperacin, mtodos de cooperacin, mecanismo y polticas para organizaciones (comunicaciones, colaboracin, reparticin de tareas, coordinacin de acciones). Unidad 5: Vida artificial. Modelos y representaciones de sociedades de insectos, restricciones biolgicas y de conducta en los seres vivientes, modelado de fenmenos de inteligencia colectiva, aplicaciones del conocimiento en vida artificial.
21
Nombre del curso: Modelado del Cambio Estructural Cdigo: MSS026

Teora: 3 Prctica: 0 Coordinador del Programa: Magdiel Ablan Centro de Simulacin y Modelos (CESIMO) Fac. de Ingeniera. Universidad de Los Andes. Ncleo La Hechicera Telfono: 074 2402879 Fax: 074 2402872 Laboratorio: 0 Unidades Crditos: 3 Profesor del curso Carlos Domingo Centro de Simulacin y Modelos (CESIMO) Fac. de Ingeniera e Instituto de Estadstica aplicada y computacin. Ncleo La Liria Fac. de Ciencias Econmicas y Sociales. Universidad de Los Andes. Ncleo La Hechicera Telfono: 074 2402879 Fax: 074 2402872

Objetivos del curso: Aprender a simular sistemas de estructura variable. Entrar a la investigacin del como cambian las estructuras de los sistemas. Requisitos para tomar el curso: Asignatura Prelada por: Tpicos avanzados en modelado y simulacin (MSS005) y simulacin lgica (MSS016).
Domingo, Carlos. El Cambio Estructural. Publicacin ULA. 1999. Unidad 1: Teora del Cambio Estructural. Antededentes filosficos. Cambio cuantitativo y cualitativo. Evolucin y revolucin. Procesos ascendentes y descendentes. Construccin y destruccin. Tipologa de los cambios estructurales. Unidad 2: Modelado de los cambios estructurales. Estudios histricos y comparativos. Manejo del cambio estructural. Aprendizaje del cambio estructural. Unidad 3: Simulacin mediante estructuras pre-definidas. Diseo del modelo computacional. Uso de lenguajes orientados a redes. Anlisis de los resultados. Aplicaciones. Limitaciones. Unidad 4: Simulacin de creacin y destruccin de estructuras . Modelos de procesos ascendentes y descendentes, integracin y re-estructuracin, generacin y destruccin. Uso de tcnicas de Inteligencia Artificial, creatividad artificial, vida artificial, sociedades artificiales, agentes, algoritmos evolutivos, redes neurales. Combinacin de estas tcnicas. Problemas por resolver .
Contenido del Curso
22
Nombre del curso: Simulacin Lgica Cdigo: MSS035

Teora: 4 Prctica: 0 Coordinador del Programa: Magdiel Ablan Centro de Simulacin y Modelos (CESIMO) Fac. de Ingeniera. Universidad de Los Andes. Ncleo La Hechicera Telfono: 074 2402879 Fax: 074 2402872 Laboratorio: 0 Unidades Crditos: 4 Profesor del curso Jacinto Dvila Centro de Simulacin y Modelos (CESIMO) Fac. de Ingeniera. Universidad de Los Andes. Ncleo La Hechicera Telfono: 074 2402879 Fax: 074 2402872

Objetivos del curso: Generales: Explorar el uso de los lenguajes de programacin lgica para modelar y simular sistemas. Especficos: Al finalizar el curso el estudiante deber ser capaz de: Explicar que significa modelar y programar en lgica Enumerar las caractersticas esenciales de la programacin lgica. Explicar qu es una teora del cambio y la accin y disear teoras del cambio para aplicaciones particulares de razonamiento temporal. Explicar qu es el problema del entorno o del marco (The frame problem). Explicar qu es un modelo de tiempo discreto o de eventos discretos en simulacin y cmo se le puede describir y programar en lgica. Construir la especificacin formal de un sistema (un modelo declarativo-imperativo) usando programacin lgica. Construir un modelo en el que se combine cambio discreto y continuo. Explicar qu es un agente en Inteligencia Artificial y cmo se le puede describir en el lenguaje de la programacin lgica. Indicar conexiones entre la programacin orientada a los agentes, la programacin orientada a los objetos y la programacin lgica. Explicar qu es una especificacin ejecutable de un sistema. Requisitos para tomar el curso: Prelaciones: Esta asignatura es prelada por Introduccin al Modelado y Simulacin (MSS001), Lgica y Matemtica para Simulacin (MSS002) y Computacin para Simulacin (MSS005). Relacin con otras asignaturas: Puede ser til para los proyectos en lgica y representacin del conocimiento.
23
Kowaski, Robert. Cmo ser artificialmente Inteligente. http://webdelprofesor.ula.ve/ingenieria/jacinto/logica/agentes-y-logica-computacional.html Christopher John Hogger. Essentials of Logic Programming. Claredon Press, Oxford, 1990. Murray Shahanan. Solving the Frame Problem : A mathematical investigation on the common-sense law of inertia. Bernard P. Zeigler. Theory of Modelling and Simulation. Wiley Interscience, New York, 2000. Jacinto Dvila. Agents in Logic Programming. Phd Thesis. Imperial College, London, Mayo 1997. Unidad 1 : Revisin de la programacin lgica. Fundamentos de la programacin lgica, resolucin, resolucin SLD, la semntica de programas definidos, PROLOG. Unidad 2 : Introduccin al razonamiento temporal y al modelado del cambio. Representaciones del cambio, programacin lgica para razonar acerca del cambio y de las acciones, el clculo de situaciones y el clculo de eventos. Unidad 3 : Introduccin a la simulacin de eventos discretos. Fundamentos de la simulacin, especificacin formal de modelos, modelos y reconstrucciones lgicas de las estrategias de simulacin de eventos discretos. Unidad 4 : Modelado combinado del cambio discreto y continuo. Modelos de cambio continuo, cambio discreto y continuo en el clculo de eventos, introduccin a la dinmica de sistemas, al cambio estructural y a la simulacin cualitativa. Unidad 5 : Agentes en programacin lgica Introduccin a los agentes en Inteligencia Artificial, cmo caracterizar y describir un agente en lgica, el mecanismo de razonamiento de un agente, programacin orientada a los agentes, simulacin orientada a los agentes.
Contenido del Curso
24
Nombre del curso: Sistemas de Informacin Geogrfica Cdigo: MSS036

Teora: 3 Prctica: 0 Coordinador del Programa: Magdiel Ablan Centro de Simulacin y Modelos (CESIMO) Fac. de Ingeniera. Universidad de Los Andes. Ncleo La Hechicera Telfono: 074 2402879 Fax: 074 2402872 Laboratorio: 2 Unidades Crditos: 4 Profesores del curso Magdiel Ablan Centro de Simulacin y Modelos (CESIMO) Fac. de Ingeniera. Universidad de Los Andes. Ncleo La Hechicera Telfono: 074 2402879 Fax: 074 2402872

Objetivos del curso: 1. Introducir al estudiante a los conceptos, fundamentos, arquitectura, tecnologa y usos de los sistemas de informacin espacial geogrfica. 2. Familiarizarse con los principales modelos de datos espaciales (modelos vectoriales, modelos de rejillas y modelos orientados por objetos) y su utilizacin en el modelado cartogrfico y en anlisis espacial. 3. Adquirir destrezas y habilidades en el diseo de sistemas de informacin geogrfica. Requisitos para tomar el curso: Prelaciones: Lgica y Matemtica para Simulacin (MSS002) y Computacin para Simulacin (MSS004). Relacin con otras asignaturas: Apropiada para tesistas en simulacin ambiental.
Bosque, Sendra. J. Sistemas de Informacin Geogrfica.Editorial Rialp, Madrid. 1992. Burroughs, P.A. y Mc Donnell R. 1998. Principles of Geographical Information Systems for Land Resources Assesment. Second Edition Clarendon Press. Oxford, UK. Longley, P., Goodchild, M., Maguire, D. y Rhind D.2001. Geographic Information Systems and Science. Wiley, London. Gascon Sancho, Jess. 1982. El mapa su contenido y su lectura. Disponible en la biblioteca de Geografa, Ciencias Ambientales y Forestales y Postgrado de Urbanismo (GA155 G38) Gutierrez, J. y Gould, M. SIG.1994. Sistemas de Informacin Geogrfica. Editorial Sntesis. Madrid, Neteler M. Y Mitasova H. 2004. Open Source GIS: a GRASS GIS approach. Springer, USA. OSullivan, D., Unwin D. 2002. Geographic Information Analysis.Wiley: Hoboken, NJ Torrens, R. 2003. Desarrollo de Sistemas de Informacin Bioclimtica, Tesis de Postgrado en Computacin, Facultad de Ingeniera, Universidad de los Andes. Unidad 1: Introduccin a los sistemas de informacin geogrfica. Datos e informacin espacial. Problemas espaciales. Requerimientos de datos para Sistemas de Informacin Geogrfica (SIG). Definicin, funciones, arquitectura, componentes y usos de un SIG. Unidad 2 : Fundamentos. Representaciones Geogrficas, Georeferenciacin, La naturaleza de los datos geogrficos, Incertidumbre, Generalizacin, Abstraccin y Metadatos. Unidad 3 : Tcnicas. Software para SIG, Modelado de datos Geogrficos, Recoleccin y base de datos, Visualizacin, Consultas y anlisis geogrficos, Anlisis espacias avanzado, Incertidumbre, error y sensibilidad. Unidad 4 : Tpicos Avanzados Mtodos y enfoques en la simulacin espacial.
Contenido del Curso
25
Nombre del curso: Ingeniera Ontolgica y la Web Semntica Cdigo: MSS037

Teora: 4 Prctica: 0 Coordinador del Programa: Magdiel Ablan Centro de Simulacin y Modelos (CESIMO) Fac. de Ingeniera. Universidad de Los Andes. Ncleo La Hechicera Telfono: 074 2402879 Fax: 074 2402872 Laboratorio: 0 Unidades Crditos: 4 Profesores del curso Jacinto Dvila Centro de Simulacin y Modelos (CESIMO) Fac. de Ingeniera. Universidad de Los Andes. Ncleo La Hechicera Telfono: 074 2402879 Fax: 074 2402872

Objetivos del curso: Generales: El objetivo de este curso es introducir al estudiante en todos los aspectos relacionados con la Web Semntica, y analizar los mtodos, tcnicas y herramientas involucradas en la Ingeniera Ontolgica. Objetivos especficos: 1. Estudiar las herramientas y las tcnicas relacionadas con la Web Semntica y la Ingeniera Ontolgica. 2. Analizar los mtodos para la representacin del conocimiento para la Web. 3. Conocer arquitecturas para recuperacin de informacin con Ontologas en la Web Semntica. Requisitos para tomar el curso: Prelaciones: Ninguna
Antoniou, Grigoris y Frank van Harmelen. A Semantic Web Primer. The MIT Press Cambrigde, Massachusetts, London, England . ISBN: 0-262-01210-3.
Contenido del Curso
26
Unidad 1: Introduccin. La Web actual. De la Web actual a la Web Semntica. Tecnologa de la Web Semntica. Unidad 2 : Documentos Web estructurados en XML. Introduccin. El lenguaje XML. Estructura. Namespaces. Direccionamientos y consultas de documentos XML. Procesamiento y consultas Unidad 3 : Descripcin de recursos Web en RDF. Introduccin. RDF: ideas bsicas. RDF: sintaxis basada en XML. Esquemas RDF: ideas bsicas. Esquemas RDF: el lenguaje. RDF y esquemas. RDF en esquemas RDF. Una semntica axiomtica para RDF y esquemas RDF. Sistemas de Inferencia directa para RDF y RDFS. Consultas en RQL. Unidad 4 : El lenguaje ontolgico de la Web: OWL. Introduccin. El lenguaje OWL. Ejemplos. OWL en OWL. Extensiones futuras. Unidad 5 : Lgica e Inferencias. Introduccin. Ejemplos de Reglas: familia de relaciones. Lgica para razonamiento Montono: Sintaxis y Semntica. Lgica para razonamiento NO-Montono: Motivacin y Sintaxis. Ejemplos de Reglas en Lgica No-Montona. Reglas de Marcado en XML: Reglas Montonas. Reglas de Marcado en XML: Reglas No-Montonas. Lgica descriptiva vs lgica computacional para la Web semntica. Unidad 6 : Ingeniera Ontolgica. Introduccin. Construyendo Ontologas manualmente. Re-Uso de Ontologas existentes. Uso de mtodos semiautomticos. Construyendo arquitecturas y sistemas de consulta inteligentes para la Web Semntica. Revisin de Protg y Triple20.
27
Nombre del curso: Simulacin Paralela y Distribuida Cdigo: MSS045

Teora: 3 Prctica: 0 Coordinador del Programa: Magdiel Ablan Centro de Simulacin y Modelos (CESIMO) Fac. de Ingeniera. Universidad de Los Andes. Ncleo La Hechicera Telfono: 074 2402879 Fax: 074 2402872 Laboratorio: 0 Unidades Crditos: 3 Profesor del curso Herbert Hoeger Centro de Simulacin y Modelos (CESIMO) Fac. de Ingeniera. Universidad de Los Andes. Ncleo La Hechicera Telfono: 074 2402879 Fax: 074 2402872

Objetivos del curso: Generales: Dar las bases de computacin paralela y como esta se aplica en simulacin. Conocer las tcnicas y estrategias generales para disear e implementar simuladores paralelos y distribuidos. Especficos: Revisar los conceptos fundamentales de la computacin paralela. Aprender a construir un simulador de eventos discretos paralelo. Requisitos para tomar el curso: Este curso es prelado por Computacin para Simulacin (MSS005).
28
debido al contenido mismo del curso, no hay un texto especfico y se recomienda la siguiente bibliografia: 1. Baron, R., y Higbie, L. Computer Architecture, Addison-Wesley, New York, 1992. 2. Bryant, R. Simulation of Packet Communications Architecture Computer Systems, MIT-LCS-TR-188, Massachusetts Institute of Technology, 1977. 3. Chandy, K. Y Misra, J. Distributed Simulation: A Case Study in Design and Verification of Distributed Programs, IEEE Transactions on Software Engineering, SE-5(5), 1979, 440-452. 4. Foster, I. Designing and Building Parallel Programs: Concepts and Tools for Parallel Software Engineering, Addison-Wesley, New York, 1995. 5. Fujimoto, R. Parallel Discrete Event Simulation, Communications of the ACM, 33(10), 1990, 30-53. 6. Geist, A., Suderam, V., y otros. PVM: Parallel Virtual Machine. A Users Guide and Tutorial for Networked Parallel Computing, MIT Press, Massachusetts, 1994. 7. Hoeger, H. Y Jones, D. Integrating Concurrent and Conservative Distributed Discrete-Event Simulators, SIMULATION Vol 67, No. 5, pp. 303-312, 1996. 8. Hwang, K., y Briggs, F. Computer Architecture and Parallel Processing, McGraw-Hill, New York, 1984. 9. Hwang, K., y Xu, Z. Scalable Parallel and Computing : Technology, Architecture, Programming, McGrawHill, New York, 1998. 10. Jefferson, D. Virtual Time, ACM Transactions on Programming Languages and Systems, 7(3), 1985, 404425. 11. Jones, D. Concurrent Simulation: An Alternative to Distributed Simulation, Proceedings of the Winter Simulation Conference, 1986, 417-423. 12. El-Rewini,H., y Lewis, T. Distributed and Parallel Computing, Manning Publications Company, New York, 1998. 13. Quinn, M. Parallel Computing: Theory and Practice, McGraw-Hill, New York, 1994. 14. Righter, R.y Walrand, J. Distributed Simulation of Discrete Event Systems, Proceedings of the IEEE, 77(1), 1989, 99-113. 15. Snir, M., Dongarra, J., y otors. MPI: The Complete Reference. MIT Press, Massachusetts, 1996. Unidad 1: Introduccin a la computacin paralela. Introduccin Organizacin de procesadores Modelos de Computacin paralela. Diseo de Algoritmos Paralelos. Aceleracin y eficiencia. Herramientas. Ejemplos de programas paralelos. Unidad 2: Simulacin paralela de eventos discretos. Introduccin Simulacin conservadora. Simulacin optimista.
Contenido del Curso
29
Nombre del curso: Simulacin basada en objetos y agentes Cdigo: MSS046


Objetivos del curso: Objetivos generales: Explorar la teora de modelos jerrquicos modulares de y su aplicacin al modelado de sistemas basados en objetos y agentes. Objetivos especficos: Explicar que es un modelo jerrquico modular de un sistema. Describir un sistema con agentes como un modelo jerrquico modular. Explicar las caractersticas de las plataformas DEVS-Schema y AgeDEVS para modelado y simulacin de Sistemas. Explicar que es y cmo se puede construir una especificacin de un modelo (atmico) basada en reglas. Explicar la nocin de endormorfia y cmo se le puede usar para colocar conocimiento dentro de un agente simulador. Requisitos para tomar el curso: Esta asignatura es prelada por Introduccin al modelado y simulacin (MSS001).
Zeigler, Bernard. Object-Oriented simulation with hierarchical, modular systems: intelligent agents and endomorphic systems. Academic Press, Boston, 1990. Artculos selectos. Unidad 1: Representacin del conocimiento en ambientes de simulacin. Unidad 2: Formalismos y plataformas para simulacin de eventos discretos (DEVS-Scheme) Unidad 3 Modelos atmicos y estructuras entidad-sistema. Unidad 4 Agentes y endomorfia en simulacin. Unidad 5 DEVS-Scheme y AgeDEVS en perspectiva.
Contenido del Curso
30
Nombre del curso: Cmputo Numrico en Paralelo Cdigo: MSS047

Teora: 3 Prctica: 0 Coordinador del Programa: Magdiel Ablan Centro de Simulacin y Modelos (CESIMO) Fac. de Ingeniera. Universidad de Los Andes. Ncleo La Hechicera Telfono: 074 2402879 Fax: 074 2402872 Laboratorio: 0 Unidades Crditos: 3 Profesor del curso Pablo Guilln Centro de Simulacin y Modelos (CESIMO) Fac. de Ingeniera. Universidad de Los Andes. Ncleo La Hechicera Telfono: 074 2402879 Fax: 074 2402872

Objetivos del curso: El curso est organizado para familiarizar al participante con ideas, conceptos y herramientas disponibles de la computacin de alto rendimiento. Ms importante, mediante prcticas intensivas el participante podr adquirir conocimientos y destrezas en tcnicas computacionales contemporneas en el mbito de la computacin en paralelo, que le permitirn abordar con eficacia problemas comnmente encontrados en Ciencias e Ingeniera, que slo pueden ser analizados cuantitativamente mediante el uso del computador y que requieren de la computacin en paralelo para obtener resultados en un tiempo razonable. Requisitos para tomar el curso: Se recomienda que los participantes estn familiarizados con algn lenguaje de programacin, preferiblemente Fortran C en cualquiera de sus modalidades. El ambiente de trabajo es UNIX/LINUX, por lo que se recomienda estar familiarizado con este sistema operativo.
31
Acton, F. (1996).Real Computing Made Real: Preventing Errors in Scientific and Engineering Calculations. Princeton University Press. Ananth Grama (Editor), Vipin Kumar (2001). Introduction to Parallel Computing. Addison-Wesley Pub Co., 2nd edition. Buyya, R (1999) High Performance Cluster Computing Vol 1. Prentince Hall. Dowd, K. y Severance, C. (1998) High Performance Computing. O'Reilly & Associates, Inc., 2nd Edition. Fosdick, L. D., Jessup, E. R., Schauble, C. J. C., and Domik, G. (1996). An Introduction to High-Performance Scientific Computing. MIT Press. Gershenfeld, N. (1999) The Nature of Mathematical Modeling. Cambridge University Press. Kumar, V., Grama, A. , Gupta, A., and Karypis, G. (1994). Introduction to Parallel Computing. Benjamin/Cummings Pub. Press, W.H., Flannery, B.P., Teukolsky, S.A., and Vetterling, W.T. (1992). Numerical Recipes in Fortran 90: The Art of Parallel Scientific Computing. Cambridge University Press. Quinn, M. (1994) Parallel Computing: Theory and Practice (McGraw-Hill, New York). Redelfs, A.(1998) (Editor) High Performance Computing Contributions to Society. Tabor Griffin Communications.
Recursos en la WEB:
Hidrobo, F. y Hoeger, H. (1999). Introduccin a MPI. CeCalCULA reporte interno: http://www.cecalc.ula.ve/documentacion/manuales_tutoriales.html Hoeger, H. (1997). Introduccin a la computacin paralela. CeCalCULA reporte interno: http://www.cecalc.ula.ve/documentacion/manuales_tutoriales.html Foster, I. Designing and Building Parallel Programs: http://www-unix.mcs.anl.gov/dbpp/ Parallel Computing Resources: http://www.indiana.edu/~rac/hpc/links.html On-Line Web Supercomputing and Related Computational Science Texts: http://www.math.uic.edu/~hanson/Web-Texts.html Fortran Resources: http://www.lahey.com/other.htm Multiprecision Software Directory: http://www.nersc.gov/~dhbailey/mpdist/index.html An Informal Description of IEEE754: http://144.16.79.50/~ghoshal/story754.html Parallel Computing Works: http://www.npac.syr.edu/copywrite/pcw/ Computational Science Education Project: http://csep1.phy.ornl.gov/CSEP/CSEP.html MPI: The Complete Reference: http://www.netlib.org/utk/papers/mpi-book/mpi-book.html MPICH-A Portable Implementation of MPI: http://www-unix.mcs.anl.gov/mpi/mpich/ The Message Passing Interface (MPI) standard: http://www-unix.mcs.anl.gov/mpi/ The Object-Oriented Numerics Page: http://www.oonumerics.org/oon/ High Performance Object-Oriented Programming in Fortran 90: http://www.cs.rpi.edu/~szymansk/oof90.html Parallelization of Codes on the SGI Origins: http://people.nas.nasa.gov/~schang/origin_parallel.html
Contenido del Curso
32
Unidad 1.- Mtodos Numricos. En esta seccin se presentan en rasgos generales lo relacionado con la implementacin y ejecucin de algoritmos de programacin secuencial. Se revisa a profundidad aspectos claves de la precisin numrica y sus consecuencias de no tomarlo en cuenta. Tambin se presentan ideas relacionadas con los lenguajes de programacin y el uso efectivo de los compiladores. Se presentan estrategias bsicas de depuracin y el uso del Makefile como herramienta efectiva de compilacin. Generalidades: Uso del computador como herramienta indispensable para obtener respuestas a problemas de Ciencias e Ingeniera en la actualidad. Importancia de la precisin numrica. Elementos de Unix, lenguajes de programacin (Fortran, C++), compiladores disponibles y su invocacin, y utilidad del Makefile. Estudio y codificacin de algoritmos numricos relacionados con interpolacin, integracin, diferenciacin, lgebra lineal, y ecuaciones diferenciales ordinarias y parciales. Introduccin al software (de distribucin libre) para la resolucin numrica de problemas de Ciencias e Ingeniera en forma eficiente. Conceptos de Simulacin y Modelaje. Mtodos de simulacin en el computador. Ejemplos ilustrativos. Ejercicios. Unidad 2. Computacin Paralela En esta seccin se introducen las ideas esenciales de la computacin en paralelo y se distingue de la computacin secuencial. Se introducen aspectos especficos del cmputo en paralelo usando MPI y OpenMP. Tambin se introducen generalidades de la arquitectura de los computadores que permiten hacer uso ms eficiente de estas metodologas. Generalidades: Stream, multiple data stream (SIMD), Multiple instruction stream, single Modelos de computacin paralela. Ambientes de cmputo en paralelo (gerencia y administracin de la memoria compartida/distribuida). Conocimientos bsicos de arquitectura computacional. Taxonoma de Flynn Single instruction stream, single data stream (SISD), Single instruction data stream (MISD); Multiple instruction stream, multiple data stream (MIMD); Single program, multiple data (SPMD). Lenguajes de programacin en paralelo (Message passing interface, MPI; OpenMP). Modelado y Simulacin en paralelo de problemas en Ciencias e Ingeniera. Ejemplos ilustrativos. Ejercicios.
33
Universidad de Los Andes Facultad de Ingeniera Centro de Simulacin y Modelos CESIMO Programa de Postgrado en Modelado y Simulacin de Sistemas Mrida - Venezuela
Nombre del curso: Simulacin de Reservorios Petrolferos Cdigo: MSS048

Teora: 3 Prctica: 0 Coordinador del Programa: Magdiel Ablan Centro de Simulacin y Modelos (CESIMO) Fac. de Ingeniera. Universidad de Los Andes. Ncleo La Hechicera Telfono: 074 2402879 Fax: 074 2402872 Laboratorio: 0 Unidades Crditos: 3 Profesor del curso Pablo Guilln Centro de Simulacin y Modelos (CESIMO). Fac. Ingeniera. Universidad de Los Andes. Ncleo La Hechicera Telfono: 074 2402879 Fax: 074 2402872 Email: pguillen@ula.ve

Objetivos del curso: Generales: Familiarizar a los estudiantes con ideas, conceptos y tcnicas de simulacin de reservorios petrolferos. Especfico: Aprender a construir un simulador de reservorios petrolferos (crudo negro). Requisitos para tomar el curso: Introduccin al Modelado y Simulacin (MSS001) y Computacin para Simulacin (MSS004).
Fanchi John. Principles of Applied Reservoir Simulation. Gulf Professional Publishing 2001. Notas del Profesor. Unidad 1: Introduccin a Simulacin de Reservorios. Introduccin. Solucin analtica y numrica de la ecuacin 1-D y una fase. Flujo Lineal. Ecuacin Diferencial Parcial. Discretizacin. Solucin de la ecuacin de diferencia. Aspectos numricos para la solucin. Unidad 2: Derivacin de las Ecuaciones de Flujo. Conservacin de masa y momento. Ecuacin constitutiva para materiales porosos. Ecuacin constitutiva para fluidos. Ecuacin de Flujo. Unidad 3: Discretizacin de las Ecuaciones de Flujo. Discretizacin espacial. Condiciones de Frontera. Discretizacin en el tiempo. Formulacin Implcita. Formulacin Explcita. Unidad 4: Simulacin y Modelado Simulacin de Reservorios una fase, 1-D Simulacin Crudo-Agua. Simulacin Crudo-Gas Solucin IMPES. Codificacin de un Simulador de Crudo-Negro. Instalacin de Simuladores de Crudo-Negro de dominio pblico.
Contenido del Curso
34
Nombre del curso: Lgica Inductiva y Aprendizaje Automtico Cdigo: MSS049


Objetivos del curso: Generales: El objetivo de este curso es introducir al estudiante en los fundamentos y herramientas computacionales para lgica inductiva y sus aplicaciones a la minera de datos. Objetivos especficos: 1. Conocer los fundamentos de la programacin lgica inductiva. 2. Disear experimentos de aprendizaje automtico basados en lgica. 3. Estudiar las limitaciones y posibles mejoras a las herramientas de lgica inductiva. Requisitos para tomar el curso: Esta asignatura es prelada por: Lgica y Matemtica para Simulacin
Tom Michell. Machine Learning.Mc Graw-Hill. 1997. ISBN 0-007-042807-7 Notas y artculos seleccionados. Unidad 1: Planteando problemas de aprendizaje. Aprendizaje de Conceptos. rboles de decisin.
Contenido del Curso
Unidad 2: Revisin de conceptos de lgica inductiva Inferencia inductiva. Resolucin y las limitaciones de la Resolucin inversa. Generalizacin mnima relativa Implicacin inversa. Aprendicibilidad-U. Unidad 3: Semnticas interconstruidas. Teora computacional del aprendizaje. Aprendiendo programas lgicos estocsticos. Clasificadores bayesianos de primer orden. Redes Bayesianas de orden superior. Unidad 4: Revisin del estado del arte en aprendices automticos. Anlisis de un aprendiz prototipo.
35
7. Lneas y Proyectos de Investigacin asociados al Programa El CESIMO tiene tres lneas de investigacin establecidas con proyectos, personal formado y en formacin y trabajos realizados. A saber: La lnea de Lenguajes y plataformas de simulacin. El propsito de esta lnea es disear, implementar y evaluar plataformas computacionales para modelado y simulacin. El producto principal de esta lnea ha sido el lenguaje de simulacin GLIDER en desarrollo desde 1986 y cuya primera versin comercial se ofreci en 1991. El cdigo de simulador Glider, escrito en Pascal, fue liberado al dominio pblico en Mayo de 2004 (ver http://afrodita.faces.ula.ve/Glider/). Antes de eso, en 1999, se inici un proyecto para desarrollar una variante de Glider con Agentes para simulacin MultiAgente. Esta variante, basada en los lenguajes Java y Prolog, y conocida como GALATEA (http://cesimo.ing.ula.ve/INVESTIGACION/PROYECTOS/GALATEA/GALWEB/), an se encuentra en desarrollo. Sin embargo, parte del cdigo usado en los agentes puede verse en http://sourceforge.net/projects/gloria y en http://sourceforge.net/projects/simulants Es as como, en la actualidad, los proyectos de esta lnea se orientan hacia la incorporacin de nuevos paradigmas de simulacin como simulacin paralela y distribuida, simulacin de sistemas multi-agentes, simulacin lgica y simulacin cualitativa. La intencin es ofrecer a las otras lneas de investigacin, las plataformas computacionales que requieren para simular sus modelos. Al mismo tiempo, esta lnea de investigacin puede evaluar las capacidades de sus plataformas y lenguajes para resolver problemas concretos. Un ejemplo de eso ha sido el uso de GALATEA y de otra herramienta producto del esfuerzo de investigacin del CESIMO: SpaSIM (http://cesimo.ing.ula.ve/INVESTIGACION/PROYECTOS/SpaSim/SpaSim/) en el proyecto internacional en BIOCOMPLEJIDAD, cofinanciado por la National Science Foundation de los EE.UU (http://cesimo.ing.ula.ve/INVESTIGACION/PROYECTOS/BIOCOMPLEXITY/) A pesar de la evidente orientacin prctica, esta lnea ataca varios problemas tericos fundamentales: El problema del cambio estructural (como modelar y simular estructuras que cambian en el tiempo y que aprenden y crean), el problema de la computacin paralela y distribuida (como ejecutar programas que describen tareas que pueden ser simultneas, en varios procesadores) el problema de modelado de sistemas con agentes (como modelar y simular individuos que poseen intenciones, creencias y que pueden alterar sus entornos con sus acciones), el problema de modelado de sistemas biomdicos (como modelar mediante tcnicas de dinmica lineal y no lineal seales fisiolgicas) y el problema de modelado de reservorios petrolferos (como modelar y simular a travs de ecuaciones diferenciales parciales el flujo de fluidos en medios porosos). Uno de los proyectos pendientes para consolidar esta lnea de investigacin es la creacin de un repositorio de modelos y simuladores al que llamamos la modeloteca y que se pondra a disposicin de la comunidad global de modelistas y simulistas. La lnea de Aplicaciones en problemas ambientales El propsito de esta lnea de investigacin es desarrollar y aplicar modelos que apoyen la bsqueda de soluciones a problemas ecolgicos y ambientales. Esta lnea est activa desde 1973 (antes de la creacin del CESIMO) e incluso ha formado estudiantes doctorales que ahora son miembros activos del CESIMO. La lnea se afianz con la realizacin del proyecto PAN-EARTH. En los ltimos aos esta lnea ha continuado fortalecindose con el desarrollo de varios trabajos, entre los que se destacan: Modelado y Simulacin Forestal: Se han desarrollado o parametrizado modelos para estudiar los bosques a nivel de parcela y a nivel de paisaje desde el punto de vista de la aplicacin prctica (en las reservas forestales de Caparo e Imataca) y de la resolucin de algunos de los problemas tericos que plantean el escalamiento de estos modelos y su uso en un contexto tropical. Para ello se ha contado con financiamiento de FONACIT, a travs de su programa de cooperacin internacional (PI99000381) y de sub-contratos de investigacin otorgados por la Universidad de North Texas (EEUU) a travs de financiamientos de la Fundacin Nacional de la Ciencia (NSF).
36
Modelado y Simulacin de Modelos Espaciales: Debido a la heterogeneidad espacial de los sistemas ambientales, los modelos de simulacin ambiental tienen muchas veces una dimensin espacial y usan los sistemas de informacin geogrfica y tecnologas relacionadas. En esta lnea se desarrollan modelos y herramientas para el desarrollo de modelos espaciales. El principal producto de esta lnea es el SpaSim, desarrollado en el marco de un Programa para Investigadores Noveles del FONACIT. Modelado y Simulacin de Riesgo de Incendios: Esta lnea de investigacin se gener a partir de la necesidad de CVG-EDELCA de conocer y controlar los incendios de vegetacin en la cuenca Alta del ro Caron. En el marco de esta lnea se desarrollaron dos tesis de maestra y dos de pregrado. Modelado y Simulacin de Sistemas Socio-naturales o biocomplejos: Se han desarrollado proyectos sobre la relacin humano-natural en ecosistemas boscosos modelada a travs de dinmica de sistemas y sistemas multiagentes. El financiamiento de este trabajo ha sido a travs de la Comunidad Europea (GAIA) y sub-contratos de investigacin otorgados por la Universidad de North Texas (EEUU) a travs de financiamientos de la Fundacin Nacional de la Ciencia (NSF) (Proyecto Biocomplejidad).
Algunas de las publicaciones ms recientes y relevantes en esta lnea de investigacin son: Comunicaciones a congresos: Ablan M., Dvila N., Hoeger H., Ramos A.,Rivas E. y F. Zerpa. 2005. Modelling Fire Risk: The Upper Caron Watershed Case. V IASTED International Conference on Modelling, Simulation and Optimization, August 29-31, 2005. Oranjestad, Aruba. Ramrez, Hirma Torres-Lezama A., y M. Ablan. Stand dynamics simulation of a Venezuelan seasonal forest with emphasis on tree functional groups. XXI IUFRO World Congress. Agosto 2005. Brisbane, Australia Tern O., Alvarez J. Jaimes M y M. Ablan. 2005. Land Ocupation adn Land Use Change in a Forest Reserve: A MABS Approach. CABM-HRMA-SMGET Joint International Conference on Multi-Agent Modelling for Environmental Management. Saint Maurice Les Arcs, Francia 21 25 de Marzo 2005 Quintero R, R. Barros, N. Moreno, J. Dvila, M. Ablan and G. Tonella (presentador). 2004. A Model of the Biocomplexity of Deforestation in Tropical Forest: Caparo Case Study. In Pahl, C., Schmidt, S. and Jakeman, T. (eds) iEMSs 2004 International Congress: Complexity and Integrated Resources Management. International Environmental Modelling and Software Societey, Osnabrueck, Germany, June 2004. Ablan M., J. Dvila, Niandry M., R. Quintero, M. Uzcategui (presentadora). 2003. Agent Modeling of the Caparo Forest Reserve. European Modelling and Simulation Conference, October 27-29 2003, Naples, Italy. ISBN 90-77381-04-X. Moreno Niandry, Magdiel Ablan and Giorgio Tonella SpaSim: A software to Simulate Spatial Models. Integrated Assessment and Decision Support. Proceedings of the First International Environmental Modeling and Software Conference, ISBN 88-900787-0-7 Vol 3. pp. 348-358. June 24 - 27 2002. Lugano, Switzerland. Publicaciones: Moreno N., Quintero R., Ablan M., Barros R. Dvila J. Ramrez H., Tonella G. and M. Acevedo. 2006. Biocomplexity of deforestation in the Caparo tropical forest reseve in Venezuela: an integrated multi-agent and cellular automata model. A ser publicado en Environmental Modelling and Software. Ramrez-Angulo H., Ablan M. Torres-Lezama, A., M.F. Acevedo. 2006. Modelo de la dinmica de bosques tropicales inundables en los llanos occidentales de Venezuela. Interciencia 31(2).
37
Moreno Niandry, M. Ablan. 2004 Librera de Componentes para el desarrollo de Modelos de Simulacin Espaciales usando Autmatas Celulares. En: Montilva J. et al. (eds.), Sistemas de Informacin e Ingeniera del Software. Temas selectos. Venezuela. Acevedo M. F., S. Parmati, M. Ablan, D.L. Urban and A. Mikler. 2001. Modeling Forest Landscapes: Parameter Estimation from Gap Models over Heterogeneous Terrain. Simulation v 77: n 1-2, pp. 53-68. La lnea de Aplicaciones en sistemas socioeconmicos El proyecto principal en esta lnea de investigacin es la continuacin del desarrollo del modelo de Venezuela. El objetivo de este proyecto es crear un modelo global de la economa y sociedad venezolana y usar el modelo para estimar y evaluar escenarios posibles para el desenvolvimiento del pas. Este proyecto constituye un enorme reto cientfico y tecnolgico de largo plazo. Para alcanzar esos objetivos se ha diseado un complejo plan de trabajo que incluye la elaboracin de modelos parcial de la nacin, el estudio comparativo de modelos de otras economas y sociedades y el estudio de modelos globales que incorporan el conocimiento ecolgico a la par del econmico y social. Es importante destacar que en esta lnea la labor de investigacin no puede divorciarse de la labor de difusin, de la informacin y el entrenamiento, ya no de los investigadores, sino de los usuarios de esa informacin. As actividades de extensin y formacin de usuarios son parte del trabajo en esta lnea. Otros proyectos que estn gestndose en esta lnea de investigacin estn vinculados el desarrollo de tcnicas especficas para el modelado y simulacin de servicios sociales. Entre esos proyectos se cuenta la simulacin de servicios de transporte, la simulacin de redes de transporte de energa y materiales y el modelado lgico de servicios pblicos. Esas son las tres reas de investigacin establecidas en el CESIMO. Entre el 2000 y el 2005, el CESIMO deber analizar la relevancia y viabilidad de nuevas lneas de investigacin vinculadas a las necesidades del entorno social. Posibles lneas que ya se discuten incluyen: Aplicaciones en hidrodinmica, Simulacin de Reservorios Petrolferos, Sistemas biomdicos, Sistemas financieros y Sistemas de manufactura. 7.2 Proyectos de investigacin actuales: Proyecto Objetivo Financiado por FONACIT S12000000819 Inicio Culminacin Oct. 2001 Feb. 2006 Estado Responsable Actual En CESIMO evaluaci Jacinto Dvila n final1
Bioinformantes Una cama de pruebas para sistemas multiagentes de apoyo al trabajo en Bioinformtica Aprendiz Un agente de software con capacidad para aprendizaje interactivo.
Ao sabtico de Jacinto Dvila
Marzo 2006
Marzo 2007
Comenz CESIMO ando Jacinto Dvila
Varias tesis de Maestra han producido resultados en esa direccin. El mejor ejemplo es el resumidor de artculos en Espaol, producto de las tesis de H. Yelitza Contreras (PGCOMP) y Maril Parra (PGMSIM), disponible libremente en http://sourceforge.net/projects/resumidor 38
Predictor de genes
Modelo de programacin lgica, inductiva y progresiva para predecir regularidades en secuencias de ADN.
Herramientas de Acceso al Conocimiento
BioCOMPLEJI DAD
Influencia de ENOS (El Nio Oscilacin Sur) en la Variabilidad Climtica de Venezuela Simulacin Social aplicada a procesos de deforestacin y cambio de uso de la tierra
Becario Doctoral financiado por el proyecto ALFA en Herramientas Avanzadas en Bioinformtica de la UE y la Universidad Experimental del Tchira. Ao sabtico de Jacinto Dvila Diseo y Anlisis de Sin Herramientas financiamiento, Lingsticas para pero on Mejorar el Acceso al resultados Conocimiento a parciales 2 travs de los medios electrnicos. Integracin de Becaria modelos de Doctoral simulacin de parcialmente dinmicas naturales financiada por y humanas de la ULA. diversas escalas Becaria Alma geogrficas y Mater de la contextos culturales. Universidad de Guayana. El proyecto fuen cofinanciado por la NSF 3 en la primera etapa Desarrollar FONACIT, herramientas que S1-97000206 permitan determinar la influencia del ENOS en la variabilidad de precipitacin en Venezuela Investigar las Sin dinmicas sociales financiamiento que dan origen a los procesos de deforestacin y las que dan origen prcticas sustentables
Feb. 2006
Feb. 2011
Comenz CESIMO ando Jacinto Dvila Jos Lpez
Abril 2006
Indefinido
En CESIMO elaborar Jacinto Dvila cin Melva Mrquez Maril Parra Inicia segunda etapa CESIMO Magdiel Ablan Jacinto Dvila Mayerlin Uzctegui Virginia Padilla
2003
2005 (primera etapa)
2000
2006
En evaluaci n final
Rigoberto Andressen (ICAE) Magdiel Ablan, Miguel Acevedo (CESIMO) Oswaldo Tern, Magdiel Ablan (CESIMO) Toms Surez (SI)
2004
Indefinido
En elaborac in
Varias tesis de Maestra han producido resultados en esa direccin. El mejor ejemplo es el resumidor de artculos en Espaol, producto de las tesis de H. Yelitza Contreras (PGCOMP) y Maril Parra (PGMSIM), disponible libremente en http://sourceforge.net/projects/resumidor http://www.geog.unt.edu/biocomplexity/ 39
7.3 Propuestas de proyectos de investigacin y desarrollo en proceso de introduccin:
Proyecto
Objetivo
Herramientas Diseo y Anlisis de de Acceso al Herramientas Conocimiento Lingisticas para Mejorar el Acceso al Conocimiento a travs de los medios electrnicos. Modelado Desarrollar Se someti una Septie basado en herramientas que propuesta a la mbre agentes de permitan visualizar las Fundacin del cambios en el consecuencias Nacional de la 2006 uso de la tierra hidrolgicas de Ciencia (NSF) que afectan el decisiones que involucra aprovisionami relacionadas con un sub-contrato ento, la cambios de uso de la de regulacin y tierra. investigacin al los servicios CESIMO culturales proporcionado s por el agua
Financiado Inicio Culminacin Estado por Actual Sin Abril Indefinido En financiamiento, 2006 elaborar y con cin resultados parciales 4 2009 En revisin
Responsable CESIMO Jacinto Dvila Melva Mrquez Maril Parra Principales: Michael Monticino, Baird Callicot, Miguel Acevedo CESIMO: Jacinto Dvila, Magdiel Alan
Varias tesis de Maestra han producido resultados en esa direccin. El mejor ejemplo es el resumidor de artculos en Espaol, producto de las tesis de H. Yelitza Contreras (PGCOMP) y Maril Parra (PGMSIM), disponible libremente en http://sourceforge.net/projects/resumidor 40
8. Rgimen de estudios y de evaluacin Para todos los estudiantes del postgrado a tiempo completo, el tiempo mximo de clases tericas por semana es de 12 horas (en el primer perodo) y un mnimo de 6 horas (en el tercer perodo). El estudiante debe dedicar, como mnimo, tres horas de estudio por cada hora de clases. Durante el primer perodo los estudiantes tienen que cursar 4 asignaturas obligatorias cada una de 3 crditos. En el segundo perodo tienen una asignatura obligatoria (3 crditos), dos electivas (mnimo 6 crditos) y el seminario (2 crditos). En el tercer perodo tienen que cursar otra asignatura electiva (mnimo 3 crditos) y asistir al seminario obligatorio (2 crditos). Los estudiantes de la maestra deben asistir al taller sobre mtodos de investigacin e iniciar las investigaciones para su trabajo de grado (de 10 crditos) que continuarn, a dedicacin exclusiva, en el cuarto perodo. El taller sobre mtodos de investigacin no otorgar unidades-crditos asignados. El trabajo de grado de la maestra podr ser presentado, previa aprobacin del consejo directivo, en cualquier momento una vez que el estudiante haya aprobado 28 unidades-crditos. Los estudiantes a medio tiempo tienen una carga semanal de clases tericas mxima de 6 horas en el primer, tercer, cuarto y quinto perodo (segn las asignaturas que escojan) y mnima de 2 horas en el sptimo semestre. Las asignaturas electivas a cursar en los perodos cuarto y quinto dependen de la disponibilidad del postgrado para ese momento. Debe observarse que las asignaturas de investigacin dirigida o tpicos especiales (que se describen ms adelante) estn disponibles permanentemente. Combinaciones de los programas a tiempo completo y a medio tiempo son posibles. En tales casos el estudiante deber presentar una propuesta con un programa personal que deber ser discutido y aprobado por el Consejo Directivo antes de ser implementado. El Consejo Directivo se reserva el derecho de rechazar propuestas que consideren no viables con los recursos del postgrado. Como se explica ms adelante, el Consejo Directivo se reserva el derecho a programar mini-periodos para el dictado de asignaturas del segundo y el tercer perodo, con el fin de sincronizar el postgrado con su programa regular, despus de eventualidades que alteren su marcha normal. En resumen el programa de maestra a tiempo completo consta de: perodo 1: perodo 2: perodo 3: 4 asignaturas obligatorias de 3 crditos cada una 1 asignatura obligatoria (3 crditos) 1 seminario (2 crditos) 2 asignaturas electivas (mnimo 6 crditos) 1 asignatura electiva (mnimo 3 crditos) 1 seminario (2 crditos) 1 taller sobre mtodos de desarrollo de proyectos e investigacin Trabajo de grado (10 crditos) Continuacin del trabajo de grado para la maestra
perodo 4:
Las evaluaciones de las asignaturas se hacen mediante un mnimo de dos (2) exmenes parciales y un (1) examen final escrito y/o oral. No hay exmenes de reparacin. La nota definitiva de una asignatura estar compuesta por la suma de: El 60% de la nota de los exmenes parciales, redondeada a la dcima ms prxima. El 40% de la nota obtenida en el examen final, redondeada a la dcima ms prxima. La nota definitiva se redondea al entero ms prximo.
41
8.1 Modalidad y carga horaria Las asignaturas del primer perodo se dictan con una carga fija semanal de 3 horas cada una. Las asignaturas del segundo y tercer perodo pueden adoptar esta modalidad o ser dictadas por mdulos. Un mdulo de estudio es un curso intensivo con una carga semanal 4 veces mayor respecto al curso normal (por ejemplo, 12 horas en lugar de 3). El estudiante puede seguir a lo sumo un mdulo de estudio a la vez. Este sistema por mdulos permite cierta flexibilidad en la programacin de actividades y permite tambin sincronizar nuestros calendarios docentes con cursos en otras dependencias y Universidades. La intencin es permitir a los estudiantes el cursar asignaturas en otras dependencias o instituciones, previa autorizacin del Consejo Directivo del postgrado. Para autorizar a los estudiantes a cursar asignaturas en otras dependencias o Instituciones, el Consejo Directivo verifica que ninguno de los cursos mengua el nivel acadmico del postgrado y que el programa que sigue el estudiante no confronta las normativas del CNU (las cuales establecen que por lo menos el 60% de los cursos deben ser cursados en la institucin anfitriona del programa). Los estudiantes pueden seleccionar dos de las tres electivas como electivas en tpicos especiales. Bajo este rgimen el estudiante recibir atencin individualizada en el estudio de un tpico de inters personal, de acuerdo con la normativa del CNU (Artculo 23 del reglamento del 9 de Octubre de 1996). El tutor y el tpico de estudios de estas electivas en tpicos especiales deben ser autorizados por el Consejo Directivo del postgrado. 8.2 Cursos en otras Instituciones Como se indic en el apartado anterior, el Consejo Directivo puede permitir, previa aprobacin del Consejo de Estudios de Postgrado, que los estudiantes del postgrado cursen asignaturas de postgrado en otras instituciones de reconocido nivel acadmico. Para ello, el estudiante debe haber acumulado (aprobando satisfactoriamente los cursos correspondientes) 12 unidades-crditos y haber sido admitido para cursar esas asignaturas en un postgrado de reconocido prestigio nacional o internacional. Al culminar dichos cursos, el estudiante debe regresar a completar su trabajo de grado en la ULA. El reglamento del postgrado establece las pautas que debern cumplirse para realizar estudios en otras instituciones. Entre los postgrado con quienes existen o con quienes se preparan proyectos de cooperacin y acuerdos de intercambio para realizar este tipo de actividades se pueden mencionar a: En el pas: La Universidad Central de Venezuela (UCV, postgrado en Investigacin de Operaciones). La Universidad Simn Bolvar y el Instituto Venezolano de Investigaciones Cientficas. En el exterior: En Espaa: Universidad Politcnica de Catalua. Universidad de Murcia. Universidad Pompeu Fabra En los E.E. U.U: Universidad del Norte de Texas. En el Reino Unido: Departamento de Computacin. Imperial College. Universidad de Londres. Con las dos ltimas instituciones existen proyectos de convenios de cooperacin y bosquejos de los planes de estudio que los estudiantes del postgrado pueden cumplir. Estos detalles se describen ms adelante en este documento. Estas estadas pueden ser realizadas a partir del segundo perodo de actividades de las cohortes a tiempo completo y del cuarto perodo de actividades, para las cohortes a medio tiempo. Dependiendo del convenio subscrito entre este postgrado y el postgrado anfitrin, el estudiante puede ser inscrito regularmente en los cursos o puede tomar los cursos como alumno no evaluado por el postgrado anfitrin. En el primer caso se considera como las calificaciones de los cursos (cambiadas a la escala 1-20) las reportadas por la institucin anfitriona. En el segundo caso, el estudiante tiene que presentar, ante profesores del postgrado en Modelado y Simulacin de Sistemas, los exmenes de las asignaturas cursadas en la otra institucin, segn la programacin que establecer el coordinador del postgrado. El intercambio con otras instituciones tiene como objetivo (tal como se indica en el artculo 29 del reglamento de postgrados del CNU) propiciar la creacin de un centro de excelencia en simulacin y modelado en la
42
Universidad de Los Andes, favorecido por la interaccin con otros centros de excelencia en el pas y en el mundo. 8.2.1 Plan de intercambio con la Universidad del Norte de Texas. E.E. U. U Este plan est amparado por una fructfera historia de cooperacin acadmica entre la Universidad de Los Andes y la Universidad del Norte de Texas. Existe y est vigente el Convenio de Investigacin entre la Universidad de Los Andes (ULA) y la Universidad de North Texas (UNT), firmado el 1ro. de Noviembre de 1995 (la copia del convenio se incluye en los anexo de este documento). Para los efectos de este programa de postgrado son particularmente relevantes las siguiente clusulas del convenio: SEXTA: El Convenio tambin incluye la capacitacin profesional y tcnica de personal de ambas universidades mediante: 1. Cursos, seminarios, conferencias, simposios y otras reuniones de esta naturaleza. 2. Colaboracin en programas de formacin mediante tesis de pregrado, postgrado, trabajos de ascenso, pasantas de estudiantes y proyectos especiales. Las partes podrn sugerir temas de investigacin para que sean ofrecidos como trabajos de tesis; los cuales se incluirn en los planes de financiamiento que se acuerden. [..]. NOVENA: Este Convenio no excluye la participacin de otras instituciones, en actividades especficas, previo acuerdo entre las partes signatarias. DECIMA: La duracin del presente Convenio ser de (5) aos, prorrogables, a partir de la fecha de su firma por las partes. [..]. Para los efectos del presente proyecto, los estudiantes del postgrado en Modelado y Simulacin podran cursar sus 3 asignaturas electivas y el curso obligatorio sobre tpicos avanzados de simulacin, en cursos con extensin equivalente dictados por UNT. Entre los cursos que seran admitidos para ser tomados en UNT, se incluyen: Revisin de lenguajes para computadores (Survey of Computer Languages) Introduccin a la inteligencia artificial (Introduction to Artificial Intelligence) Introduccin a la computacin grfica (Introduction to Computer Graphics). Anlisis de algoritmos y teora de la complejidad (Algorithm Analysis and Complexity Theory) Resolucin de problemas en lenguajes de alto nivel (Problem-solving in High-Level Languages) Teora de automatas (Automata Theory) Teora de grafos para cientficos en computacin (Graph Theory for Computer Scientists). Fundamentos de la programacin lgica (Foundations of Logic Programming). Inteligencia artificial (Artificial Intelligence) Computacin grfica (Computer Graphics) Modelado y simulacin (Modeling and Simulation). Diseo de compiladores (Compiler Design). Algoritmos y procesamiento paralelo (Parallel Processing and Algorithms). Computabilidad (Computability). Computacin grfica avanzada (Advanced Computer Graphics). Computacin cientfica avanzada (Advanced Scientific Computing). Modelado y simulacin avanzada (Advanced Modeling and Simulation). Inteligencia artificial avanzada (Advanced Artificial Intelligence). Complejidad de la computacin paralela (Complexity of Parallel Computation). Dinmicas de ecosistemas (Ecosystem Dynamics). Modelado ambiental (Environmental Modeling). Introduccin a los sistemas de informacin geogrficos (Introduction to Geographic Information Systems). Sistemas de informacin geogrficos avanzados (Advanced Geographic Information System). Dinmicas globales (Global Dynamics). Tcnicas cuantitativas avanzadas (Advanced Quantitative Techniques). La incorporacin de estos cursos al plan de estudio de un estudiante debe cumplir con las pautas establecidas en el reglamento del postgrado en Modelado y Simulacin de Sistemas (que se incluye con este documento).
43
8.2.2. Plan de intercambio con el Imperial Collage of Science, Technology and Medicine, University of London. Reino Unido El Departamento de Computacin del Imperial College of Science, Technology and Medicine (IC), una de las cinco universidades ms importantes del Reino Unido por su produccin acadmica, ha manifestado inters en permitir que los estudiantes del postgrado en Modelado y Simulacin de Sistemas de la ULA asistan a cursos que son parte de sus postgrados en computacin (MSc. in Computing) y computacin avanzada (MSc. in Advanced Computing). Los estudiantes deben cumplir con los requisitos de admisin de IC (financiamiento y exmenes de ingls, entre otros) y, de ser admitidos, seguiran los cursos regulares como occasional students (que no siguen todo su programa) presentando exmenes de fin de curso como estudiantes regulares. Las calificaciones finales sern enviadas directamente desde el Imperial College a la coordinacin del postgrado en Modelado y Simulacin en la ULA. El acuerdo final para este plan de intercambio est en preparacin . Es la primera vez que el Imperial Collage se plantea este plan de cooperacin con una Universidad Latinoamericana, y la primera vez que el Departamento de Computacin de Imperial Collage establece este tipo de acuerdo con una Universidad no Europea (En la actualidad existe un acuerdo idntico entre los departamentos de computacin del Imperial Collage y la Universidad de Upssala, en Suecia). Para los efectos del presente proyecto, los estudiantes del postgrado en Modelado y Simulacin podran cursar sus 3 asignaturas electivas y el curso obligatorio sobre tpicos avanzados de simulacin, en cursos con extensin equivalente dictados por IC. Entre los cursos que seran admitidos para ser tomados en IC, se incluyen: En el trimestre de otoo (Octubre-Diciembre): Bases de datos avanzadas (Advanced Databases) Complejidad (Complexity) Introduccin a la Inteligencia Artificial (Introduction to Artificial Inteligence) Fundamentos de Programacin Lgica (Logic Programming Foundations) Lgica: Teora del Modelo y Teora de Prueba (Logic: Model Theory and Proof Theory) Modelos de Computacin Concurrente (Models of Concurrent Computation). Algoritmos paralelos (Parallel Algorithms) Arquitecturas paralelas (Parallel Architectures) Ambientes de Ingeniera del Software (Software Engineering-Enviroments) En el trimestre de Primavera (Enero-Abril): Redes Neurales (Neural Nets) Prueba automtica de teoremas (Automated Theorem Proving) Algoritmos Distribuidos (Distributed Algorithms) Resolucin de problemas en paralelo (Parallel problem solving) Razonamiento temporal y planificacin (Planning and Temporal Reasoning) Razonamiento no-montono y metalgica (Non-monotonic reasoning and metalevel reasoning) Bases de datos deductivas (Deductive databases) Inteligencia Artificial Distribuda (Distributed Artificial Intelligence) Anlisis de rendimiento (Performance Anlisis) Teora de Dominio y Fractales. (Domain Theory and Fractals) Computacin para toma de decisiones. (Management-Computing for optimal decisions) La incorporacin de estos cursos al plan de estudio de un estudiante deber cumplir con las pautas establecidas en el reglamento del postgrado en Modelado y Simulacin de Sistemas (que se incluyen con este documento). 9. Nmero mximo de alumnos por cohorte Se estipula un nmero mximo de veinte (20) estudiantes de Maestra por cohorte. El Consejo Directivo revisar esta cantidad y podr decidir otro cupo mximo al abrir una nueva cohorte.
44
10. Recursos 10.1 Profesores del postgrado Nombres y Apellidos Carlos Domingo Giorgio Tonella Herbert Hoeger Jacinto Dvila Magdiel Ablan Oswaldo Tern Pablo Guilln Niandry Moreno Vicente Ramrez Kay Tucci Melva Marquez Escalafn Personal de Planta Calificaciones
Profesor Titular Dr. HC Profesor Titular Ph.D Profesor Titular Ph.D Profesor Asociado Ph.D Profesor Asociado Ph.D Profesor Asociado Ph.D Profesor Agregado Ph.D Profesor Asistente Cursa Ph.D - Canada Profesor Agregado Ph.D Profesor Agregado Ph.D Profesor Asociado Ph.D Colaboradores Miguel Acevedo Profesor Invitado Ph.D Tania Jimnez Profesor Invitado Ph.D Jose Aguilar Profesor Titular Ph D Giampaolo Orlandoni Profesor Titular M.Sc Personal en formacin que podr dictar clase a la obtencin de sus doctorados Liliana Capacho Profesor Asistente Cursa Ph.D -Espaa Francisco Palm Profesor Agregado Cursa Ph.D - Espaa Mayerlin Uzcategui Profesor Agregado Cursa Ph.D - ULA Hungra Berbes Profesor Asistente Cursa Ph.D - USA Se anexan (ms adelante) los currculum vitae de los profesores asociados directamente al postgrado. 10.2 Personal de apoyo (empleados administrativos, tcnicos, ayudantes) El postgrado cuenta con el apoyo administrativo directo del CESIMO (Centro de Simulacin y Modelos) e indirectamente de la Facultad de Ingeniera. Adems, se cuenta con una secretaria a tiempo parcial por lo que el postgrado cuenta con la plataforma administrativa mnima que requiere para sus actividades. Esta plataforma continuar creciendo conforme aumente la matrcula y las tareas administrativa correspondiente en el postgrado. 10.3 Materiales Los estimados para gastos de material durante un ao del postgrado (suponiendo un grupo de 20 estudiantes) son: Concepto Fotocopias de los apuntes del profesor. 20 pginas por alumno por semana, por 16 semanas, por dos semestres. Fotocopias de los apuntes del profesor. 20 pginas por alumno por semana, por 16 semanas, por dos semestres. Fotocopias de artculos. 20 pginas por alumno por semana, por 16 semanas, por dos semestres. Fotocopias de artculos. 20 pginas por alumno por semana, por 16 semanas, por dos semestres. Impresin lser. 120 pginas por alumno por semestre por dos semestres. Impresin lser. 120 pginas por alumno por semestre por dos semestres. Cantidad 12800 hojas (26 resmas) 1.2 cartuchos de toner para la fotocopiadora (1 cartucho da para 10500 copias ). 12800 hojas (26 resmas) 1.2 cartuchos de toner para la fotocopiadora. 4800 hojas (10 resmas) 2 cartuchos de toner para la impresora lser (HP 6MP)
45
Impresin de matriz. 240 pginas por alumno por semestre por dos semestres. Impresin de matriz. 240 pginas por alumno por semestre por dos semestres. 10.4 Biblioteca
9600 hojas (12 cajas) 10 cintas para la impresora.
Actualmente existe una gran cantidad de recursos bibliogrficos bsicos disponibles en bibliotecas de la ULA, citamos por ejemplo: Texto Zeigler, B. Theory of Modeling and Simulation. Delong, H. A profile of Mathematical logic Hogger, C. Essentials of Logic Programming Domingo, C. Notas de Lgica para Computacin Ross, K. y Wright, C. Matemticas Discretas Zeigler, Bernard. Theory of Modeling and Simulation.. 1976. Zeigler, Bernard. Objects and Systems : Principled Design With Implementations in C++ and Java. 1997. Hoeger, H. Notas para simulacin. 10.5 Hemerteca A nivel de postgrado, los recursos hemergraficos son fundamentales. Las reas de estudio son sumamente dinmicas, lo que provoca que la mejor manera de difundir el conocimiento sea a travs de las entregas peridicas en forma de revistas cientficas. Afortunadamente, la Universidad de Los Andes cuenta con un buen reservorio de publicaciones peridicas: Algunas de las Revistas disponibles en bibliotecas de la ULA. COMPUTACIN 1.-ACM Communications, ISSN 000-0782. 2.-ACM COMPUTING REVIEWS, ISSN 0010-4884. 3.-ACM Computing Surveys, ISSN 0360-03300. 4.-ACM Transactions On Computer Systems, ISSN 0734-2071. 5.-ACM Transactions On Database Systems, ISSN 0362-5915. 6.-ACM Transactions On Graphis. 7.-ACM Transactions On Programninf Language and systems, ISSN 0730-0301. 8.-ACM Transactions On software engineering and methodology, ISSN 1049-331X. 9.-Advances in Modelling and analisys -A- general mathematical and computer toold. 10.-Byte, ISSN 0360-5280. 11.-Cartography and geography information systems, ISSN 1050-9844. 12.-Computational intelligence, ISSN 0824-7935. 13.-Computer -IEEE- , ISSN 0018-9162. Biblioteca en la ULA Biaci Biaci Biaci Publicacin interna Biaci Biaci Biaci Publicacin interna 2 1 10 10 1 2 2 10 Nmero de Ejemplares
46
14.-Computer and Control Abstrats, ISSN 0036-8113. 15.-Computer architecture News, ISSN 0163-5964. 16.-Computer graphics forun, ISSN 0167-7055. 17.-Computer Journal, ISSN 0010-4620. 18.-Computer Languages, ISSN 0096-0551. 19.-Computer Networks and ISDN systems, ISSN 0376-5075. 20.-Computer and Biomedical Research, ISSN 0010-4809. 21.-Computers & Chemical Engineering, ISSN 0098-1354. 22.-Computers & Geoscience, ISSN 0098-1354. 23.-Computers & Graphics, ISSN 0097-8493 24.-Computers & Industrial Engineering, ISSN 0360-8352. 25.-Computers and Mathematics with applicationes, ISSN 0097-4943. 26.-Computers and Operationes Research, ISSN 0303-0548. 27.-Computers and Structures, ISSN 0045-7949. 28.-Computers in Industry, ISSN 0166-3615. 29.-Computers, Enviroment and Urban Systems, ISSN 0198-9715. 30.-Current Contents, Engineering Technology and Applied Sciences, ISSN 0095-7919. 31.-Data and Knowledge Engineering, ISSN 0169-023X. 32.-Data Communications, ISSN 0011-6399. 33.-Datamation, ISSN 0011-6963. 34.-Engineering Index, ISSN 0742-1974. 35.-IBM Journal of Research and Development, ISSN 0018-8646. 36.-IBM Systems Journal, ISSN 0018-8646. 37.-IEEE Proceedings-Computers and Digital Technique, ISSN 1350-2387. 38.-IEEE-Annales of the History of Computing, ISSN 1058-6180. 39.-IEEE Communications Letter, ISSN 1089-7798. 40.-IEEE Communications Magazine, ISSN 0163-6804. 41.-IEEE-Computational Science & Engineering, ISSN 1070-9924. 42.-IEEE-Computational Science & Engineering, ISSN 1070-9924. 43.-IEEE-Computer Graphics and Applications, ISSN 0272-1716.
47
44.-IEEE-Desing and Test of Computers, ISSN 0740-7475. 45.-IEEE-Internet Graputing, ISSN 1089-7801. 46.-IEEE-Micro, ISSN 0272-1732. 47.-IEEE-Multimedia, ISSN 1070-986X. 48.-IEEE-Network, ISSN 0890-8044. 49.-IEEE-Transactions on Communications, ISSN 0018-9332. 50.-IEEE-Transactions on Computer-Aided Design of Integrated Circuit and Systems, ISSN 0278-0070. 51.-IEEE Transactions on Computers, ISSN 0018-9340. 52.-IEEE Transactions on Evolutionary Computation, ISSN 1089-778X. 53.-IEEE Transactions on Information Theory, ISSN 0018-9448. 54.-IEEE Transaction on Knowledge and Data Engineering, ISSN 1041-4347. 55.-IEEE Transactions on Visualization Computer Graphics, ISSN 1077-2626. 56.-Imagen and Vision Computing, ISSN 0262-8856. 57.-Information and Computation, ISSN 0890-5401. 58.-Information and Managament, ISSN 0378-7206. 59.-Information and software technology, ISSN 0950-5849. 60.-Information Systems, ISSN 03-06-4379. 61.-International Journal in Computer Simulation, ISSN 1055-8470. 62.-International Journal Clinical Monitoring and Computing, ISSN 0920-5268. 63.-International Journal of Computer Vision, ISSN 0920-5691. 64.-Journal of Computer and Systems Science, ISSN 0022-0000. 65.-Journal of Computer-Based Instructions. 66.-Journal of Computing in Civil Engineering, ISSN 0887-3801. 67.-Journal of Microcomputer Applications, ISSN 0745-7138. 68.-Journal of the Association for Computin Machinery, ISSN 0004-5411. 69.-Knowledge-Based Systems, ISSN 0950-7051. 70.-Mathematical and Computer Modelling, ISSN 0895-7177. 71.-Mathematics of Computations, ISSN 0025-5718. 72.-Mathematics of Operations Reseach, ISSN 0364-765X. 73.-Micro-Systems, ISSN 0047-7206.
48
74.-Microcomputing, ISSN 0744-4567. 75.-Microprocessors and Microsystems, ISSN 0141-9331. 76.-Network, ISSN 0028-3045. 77.-PC Magazine, ISSN 0888-8507. 78.-Personal Computing. 79.-Popular Computing, ISSN 0256-0509. 80.-R .A.I.R.D. Mathematical Modelling And Numerical Analysis, ISSN 0764-583X. 81.-Revista Internacional de Mtodos numricos y diseo en Ingeniera, ISSN 0213-1315. 82.-SIAM Journal of Computing, ISSN 0097-5397. 83.-Science of Computer Programing, ISSN 0167-6423. 84.-Siemens. Magazine of Computers and Communications, ISSN 0177-7025. 85.-Software and Monosystems, ISSN 0261-3182. 86.-Soviet Journal of Computer and Systems Science, ISSN 8756-6648. SIMULACION Y MODELADO 1.-Ecological Modelling, ISSN 0304-3800. 2.-Mathematical and computers Simulation, ISSN 0378-4754 3.-Modelling Measurement & Control 3.1.-Human & socioeconomic problems, ISSN 0989-6074 3.2.-Energetics, chemistry, earth, enviromental & biomedical problems, ISSN 0761-2524 4.-Modelling, Simulation & Control 4.1.-Materials & Resources Chemistry, ISSN 0761-2516 4.2.-Environmental, Biomedical, Human & Social Systems, ISSN 0761-2524 4.3.-Electrical & Electronics Engineering, ISSN 0761-2508 5.-RAIRO: Mathematical Modelling and Numerical Analysis, ISSN 0764-583X 6.-SCS. Simulation, ISSN 0037-5497 7.-Simulation Pratice and Theory, ISSN 0928-4869 8.-Geographical models and image processing, ISSN 1049-9652 9.-Advanced in modelling and simulation, ISSN 0761-2494 10.-Advanced in modelling and analysis signals, information, data, patterns, ISSN 0761-2486
49
11.-The Journal of Logic Programming 12.-The Journal of Logic and Computation 13.-Environmental Modeling and Software 14.-Ecological applications 15.-Landscape Ecology 16.-The International Journal of Geographic Information Systems 17.-Ecological Management REVISTAS ONLINE ACM SIGSIM simulation digest ACM transaction on modeling and computing Communications in Nonlinear sciences and numerical simulation Communications in statistics: simulation and computation Computer modeling and simulation in eng. Journal of statistical computation and simulation Mathematicas and computers in simulation Modelling and simulation in material science and engin. Molecular simulation Multiscale modeling and simulation Simulation and gaming Simulation modelling practice an theory Simulation transactions of the society for mod. and sim. Systems analysis model simulation Applied mathematical modelling Ecological modelling Economic modelling Environmental modelling and software ESAIM math. modelling and numerical analysis Geogr. and envir. modelling Int. j. of numerical modelling J. of mathematical modeling and algorithm J. of molecular graphics and modelling Mathematical and computer modelling Mathematical and computer modelling of dynamical systems Mathematical modelling Ocean odelling Russian j. of numerical analysis and math. modelling Statistical modelling Theoretical biology and medical modelling Biomechanics and modeling in mechanobiology Environmental modeling and assessment Inter. journal of shape modeling J. of chemical information and computer and modeling J. of molecular modeling Journal of policy modeling Modeling identification and control Natural resource modeling Software and systems modeling Water quality and ecosystems modeling REVISTAS en SCIENCE DIRETCT
50
Communications in Nonlinear Science and Numerical Simulation Mathematics and Computers in Simulation Simulation Modelling Practice and Theory Simulation Practice and Theory Journal of Policy Modeling Applied Mathematical Modelling Ecological Modelling Economic Modelling Environmental Modelling & Software Journal of Molecular Graphics and Modelling Mathematical and Computer Modelling Mathematical Modelling Ocean Modelling Simulation Modelling Practice and Theory 10.6 Instalaciones (planta fsica)
10.6.1 Para administracin
El postgrado utiliza las instalaciones del CESIMO para ubicar sus oficinas administrativas. Esto significa que puede disponer de una oficina para el coordinador, con un escritorio, un archivador, un computador conectado a REDULA y un telfono con salida nacional. La oficina principal del CESIMO est ubicada en la Facultad de Ingeniera, Ncleo La Hechicera, Tercer Piso.
10.6.2 Para el personal docente y las consultas
Todos los profesores del plantel del postgrado son profesores regulares de varias dependencias de la ULA y cuentan con sus cubculos personales o compartidos. Para garantizar el espacio fsico para consultas con estudiantes y reuniones el CESIMO facilita su saln de seminarios.
10.6.3 Para aulas
Para clases tericas, el postgrado dispone de los salones de postgrado compartidos con los otros postgrados de la facultad de ingeniera (ubicados en el Ncleo La hechicera). Estos salones tiene una capacidad de 20 personas y cuentan con pizarrones y los dispositivos requeridos para presentaciones.
10.6.4 Para laboratorios y centros de trabajo
Los laboratorios de computacin son los centros de trabajo ms importantes del postgrado. Se requiere una plataforma de alta tecnologa, disponible las 24 horas del da, durante todo el ao, para garantizar que los estudiantes podrn cumplir con su trabajo computacional. Afortunadamente, la ULA posee excelente unidades de computacin facilitadas por el Consejo de Computacin Acadmica, la Divisin de Estudios de Postgrado de la Facultad de Ingeniera y el Parque Tecnolgico de la Universidad, a travs del Centro Nacional de Clculo Cientfico Universidad de Los Andes, CeCalCULA. Todos estos laboratorios poseen conexin permanente va REDULA a Internet. En concreto el postgrado tendr a su disposicin las instalaciones de: Laboratorio de Investigacin de Operaciones - Adscrito al Departamento de Investigacin de Operaciones Laboratorio de Sistemas Computacionales I - Adscrito al Departamento de Computacin Laboratorio de Sistemas Computacionales II - Adscrito al Departamento de Computacin Laboratorio de Simulacin Digital - Adscrito al Departamento de Sistemas de Control
51
Laboratorio de Sistemas de Control - Adscrito al Departamento de Sistemas de Control Laboratorio de Computacin Nikolaus Walczuch - Adscrito a la Escuela de Ingeniera de Sistemas Laboratorio de Sistemas Distribuidos y Automatizacin Industrial (LASDAI) LABORATORIO DE COMPUTACIN AVANZADA MULTIMEDIA Y VIDEOCONFERENCIA (LabCAMV) CENTRO NACIONAL (CeCalCULA) DE CALCULO CIENTIFICO UNIVERSIDAD DE LOS ANDES
LABORATORIO DEL CESIMO
El laboratorio del CESIMO cuenta con equipos bsicos de computacin, fotocopiadora y mobiliario de oficina. Todos sus equipos fueron adquiridos con proyectos de investigaciones o programas especiales para equipamiento. En particular, el CESIMO se cuenta con: Equipo PC PC PC PC PC PC PC PC PC Impresora Impresora Impresora Videobean Retroproyector Fotocopiadora Fotocopiadora Scanner Scanner Marca Compaq Compaq Compaq DELL DELL HP HP HP Sony 3M Gestetner Ricoh Genius Epson Descripcin Pentium IV 2.8 GHz; 256MB RAM; HDD 40 GB Pentium IV 2.8 GHz; 256MB RAM; HDD 40 GB Pentium IV 2.8 GHz; 256MB RAM; HDD 40 GB Pentium III, 800 MHZ; 128MB RAM; HDD 20 GB Pentium II 233 MHz; 64MB RAM; HDD 4 GB Workstation Precision 410 Proces. dual 550 MHz, PIII, XEON, 128MB, HDD 9GB Workstation Precision 610 Proces. dual 550 MHz, PIII, XEON, 128MB, HDD 9GB AMD Athlon XP 2200 1.8 GHZ, 512 MB RAM, HDD 40 GB AMD Athlon XP 2200 1.8 GHZ, 512 MB RAM, HDD 40 GB Modelo DesKjet 692C Modelo LaserJet 6MP Modelo LaserJet 4L Modelo CPJ-D500 Modelo 2000 AG Modelo 2513Z Modelo Aficio 220 Modelo Color Page II Modelo Epson Perfection 1250
11. Curriculum Vitae actualizado de los profesores Jacinto Dvila. http://webdelprofesor.ula.ve/ingenieria/jacinto/jacinto-espanol.htm
12. Condiciones que deben satisfacer los Tutores Cualquier profesional con Maestra o Doctorado que est trabajando activamente en Ciencias, Ingeniera y Computacin en cierto campo del conocimiento es, potencialmente, un Tutor. Los profesores que sirvan como tutores, sometern sus proyectos al Consejo Directivo del Programa, el que los analizar y luego de aceptarlos como adecuadamente aptos, los propondr a los alumnos de la Maestra en Modelado y Simulacin de Sistemas. El Tutor lo nombra el Consejo Directivo del Programa a proposicin del aspirante y ratificado por el Consejo de Estudios de Postgrado. El Tutor debe tener como mnimo un grado acadmico similar al que ofrece el
52
Postgrado. Excepcionalmente podra participar aquel profesor que por sus trabajos de investigacin tenga reconocidos mritos (Art. 29 Normativa Nacional de Postgrado). Para la presentacin y defensa del Trabajo de Grado, el Consejo Directivo del Postgrado designar un jurado que constar de un mnimo de tres (3) miembros los cuales deber incluirse el Tutor. Los miembros del jurado deben poseer ttulo de Postgrado y ser ingenieros-cientficos activos en la especialidad o en reas estrictamente afines con el tema del Trabajo de Grado (Tesis) y de reconocido prestigio local, nacional o internacional. El veredicto del jurado es inapelable y su juicio no ser revisable, para la presentacin del Trabajo de Grado, que ser pblica y posterior al resto de todos los dems exmenes, el Jurado convocar a la comunidad acadmica mediante avisos publicados dentro y fuera del recinto de la Facultad. De presentarse situaciones de fuerza mayor que merezcan consideraciones especiales, ellas sern analizadas, evaluadas y resueltas por el jurado, entre la presentacin del trabajo de Grado (Tesis) y el veredicto del jurado, no debern transcurrir ms de treinta das. El veredicto ser razonado y por escrito. El jurado podr: Aprobar. Aprobar, pero sujeto a correcciones formales, dentro de los treinta das siguientes. No aprobar en la versin presentada, pero permitiendo al aspirante a someter de nuevo el trabajo en un plazo no inferior a seis meses, debidamente revisado, corregido o ampliado, segn sea el caso. Reprobar.
13. Presupuesto de egresos-ingresos 13.1 Recursos Disponibles 13.1.1 Costo de personal Los profesores del postgrado pertenecen a la nmina de la Universidad de Los Andes y su dedicacin al postgrado no supone erogacin adicional a su salario regular. Obsrvese que slo en un caso esta carga es superior a 12 horas (equivalente a un curso de 4 crditos) y en este caso es personal del CESIMO que no posee docencia adicional asignada en otra dependencia. Nombres y Apellidos Escalafn Dedicacin semanal al postgrado (tomando como referencia en perodo de mayor carga) 9 horas 9 horas 4.5 horas 9 horas 9 horas 9 horas 20 horas Carga total
Carlos Domingo Giorgio Tonella Miguel Acevedo Giampaolo Orlandoni Herbert Hoeger Jacinto Dvila Magdiel Ablan
Profesor Titular Profesor Titular Profesor Titular Invitado Profesor Titular Profesor Titular Profesor Asociado Profesor Asociado
Un curso en cada perodo Un curso cada dos perodos Medio curso en el primer y medio curso en el segundo perodo. Un curso en el primer perodo Medio curso en el primero y un curso en el segundo Un curso en el primer y segundo perodo Dos medios cursos en el segundo, un curso en el tercer perodo y coordinacin del postgrado
Oswaldo Tern
Profesor Asociado
53
Vicente Rmirez Jose Aguilar Pablo Guilln Melva Mrquez Kay Tucci 13.1.2 Costo de planta fsica
Profesor Asociado Profesor Titular Profesor Agregado Profesor Asociado Profesor Asociado
12 horas 9 horas
Un curso en el segundo perodo Un curso en el segundo y tercer perodo
Se requieren 14 horas semanales de aulas de clases equipadas con facilidades para presentaciones. Se dispone de hasta 20 horas en los salones de la Hechicera. Se requieren 480 horas semanales (20 alumnos por 2 horas de uso por computador por horas de clase) de tiempo de mquina (estaciones de trabajo para los estudiantes). Se disponen de aproximadamente 500 horas semanales agrupando los recursos de los laboratorios de Ingeniera, CeCalCULA y el laboratorio del CESIMO. 13.1.3 Costo de materiales Material Papel fotocopias Toner fotocopiadora Papel impresora laser Toner impresora laser Papel continuo Cinta de impresin Transparencias Marcadores de pizarrn Marcadores de transparencias Costo Unitario (Dlares) 4.21 47.17 4.21 107,55 7.51 5.85 18.87 1 1 Unidades requeridas 52 2.4 10 1.2 12 10 7 20 20 Total: 13.1.4 Otros costos El CESIMO dispone de dos cargos beca-trabajo para apoyo tcnico y administrativo, que estarn a la orden del postgrado. 13.2 Recursos faltantes Personal administrativo: Categora Secretaria administrativa Dedicacin semanal 20 horas Salario Mensual 500.000 Salario Anual (12 meses) 6.000.000 Bs. Costo Total 1998 (Dlares) 219 113.21 42.10 129.06 90.12 58.5 132.09 20 20 824.08 Bs. 1.771.772
Una secretaria administrativa a medio tiempo de dedicacin est actualmente laborando para el postgrado. Personal tcnico: todo el personal tcnico estar pagado por los proyectos de investigacin. Esto incluye la contratacin de un administrador de la intranet del CESIMO y del postgrado. Personal obrero (para limpieza etc.) se usar el personal actual de la Facultad y se estudiar la posibilidad de cargar a los proyectos los gastos para contratar limpieza y mantenimiento de equipos. 14. Financiamiento El CESIMO tiene una asignacin presupuestaria de la Universidad de los Andes para 2006 de Bs. 12.896.578,00 para Materiales y Suministros. Esta partida se usar para cubrir parte de los gastos del postgrado. El resto se cubrir con proyectos de investigacin y con el inventario existente en el CESIMO. En
54
caso de existir un aumento en las necesidades presupuestarias, los proyectos de investigacin pueden generar ingresos para cubrir materiales y suministros que se puedan requerir.
15. Fecha de Aprobacin del Plan de Estudios Vigente La Maestra fue aprobada en Gaceta Oficial Nacional Nmero 37113 del 5 de Enero del 2001. 16. Informacin adicional del CESIMO El postgrado (a travs del CESIMO-ULA) tiene contactos con algunos de los mejores grupos de investigacin en modelado y simulacin. 16.1.1 Entre los grupos con quienes se est colaborando en trabajos de investigacin (o se terminaron recientemente trabajos) podemos mencionar a: Universidad de North Texas, USA, Institute of Applied Sciences. (modelado ambiental) uno de los miembros del CESIMO tiene relacin profesional con este instituto y otro obtuvo su doctorado en esta universidad. INRIA, Sophia Antipolis, Francia, colaboracin a travs del programa PEDIR INFORMACIN A RICHARD MARQUEZ. ESS, Instituto de investigacin en modelado ambiental. Gumpoldskirckhen, Austria. El contacto es el Dr. Kurt Fedra con quien se ha mantenido una constante cooperacin en proyectos de investigacin desde 1992. El prof. Fedra visit el CESIMO en dos oportunidades. Politcnico de Miln, Italia, departamento de Electrnica e Informtica. El contacto es el Dr. G. Guariso. El CESIMO tiene relacin con el grupo del Dr. Guariso desde 1990 y entre 1996-1999 se tuvo un proyecto en conjunto. Uno de los miembros del CESIMO realiz una pasanta de investigacin de unos meses con el Dr. Guariso, en Como, Italia. PREGUNTAR A BERTI PARA LAS RELACIONES CON EL GRUPO DE GRID PREGUNTAR A JACINTO RELACION CONLA UNIVERSIDAD DE MURCIA 16.1.2 Entre los grupos con quienes se tiene contactos para la colaboracin docente (intercambio, etc.) del postgrado se pueden mencionar a Universidad de North Texas, Institute of Applied Sciences. (modelado ambiental) uno de los miembros del CESIMO tiene relacin profesional con este instituto y otro obtuvo su doctorado en esta universidad. Imperial Collage. 16.1.3 Entre los grupos con quienes se tiene contactos (intercambio de investigadores, visitas, etc.) se pueden mencionar En los EE.UU: Universidad de Arizona, departamento de Electrnica y Ciencias de la computacin, Laboratorio de simulacin. El contacto es el Dr. B. Zeigler. autor de los textos clsicos sobre teora de simulacin; experto en simulacin por eventos discretos (DEVS). El Dr. Zeigler estuvo en Mrida dictando un curso sobre sus primeros dos libros, a peticin de quienes ahora son profesores del postgrado en modelado y simulacin. Universidad de Arizona, departamento de Ciencias de la computacin. El Prof. F. Cellier, experto en simulacin continua y cualitativa es el contacto. El Prof. Cellier fue tutor de la tesis doctoral de uno de los ex miembros del CESIMO. Actualmente el prof. Cellier es prof, emeritus en la Univ.de Arizona y prof, Titular en el ETHZ, Zurich.
55
Universidad de Florida, departamento de Computacin, grupo de simulacin. El contacto es el Prof. P. Fishwick experto en simulacin inteligente. Battelle Institute (Washington State) grupo de modelado ambiental. El Dr. Ron Kickert es el contacto. El CESIMO ha trabajado en propuestas de cooperacin en investigacin y aplicacin de modelos de simulacin con el Batelle Institute. Renssealer Polytechnic Institute, Rochester, NY, Los contactos es el Dr. Jorge Daz Herrera (experto en Inteligencia Artificial) y decano de la Facultad de ciencias de la informacin. El Dr. Daz visit en un par de oportunidades la ULA y el CESIMO. Francia: INRIA, Sophia Antipolis, en dos oportunidades se introdujeron propuestas de investigacin conjunta entre el CESIMO y el INRIA ante la comisin europea. Universidad de Avignon, Contacto el Dr. Eitan Altman, quien fue adems prof. Visitante en el CESIMO Inglaterra: Universidad Metropolitana de Manchester, Grupo de Modelado Econmico. Uno de los miembros del CESIMO realiz su doctorado en ese grupo. Espaa: Universidad Pompeu Fabra, Barcelona, Espaa. Melva Mrquez coloca el grupo, etc 16.2 Informacin d el CESIMO y su personal 16.2.1 El personal del CESIMO El personal del CESIMO se clasifica en: a. Miembros honorarios b. Investigadores o miembros titulares. c. Investigadores o miembros asociados. d. Investigadores o miembros tutelados. e. Investigadores o miembros visitantes. f. Ayudantes de investigacin. g. Personal tcnico - administrativo y obrero. - Los miembros titulares son los investigadores que estn en la nmina de CESIMO y los profesores jubilados activos que manifiestan sus intenciones de realizar sus investigaciones en el CESIMO. - Los miembros asociados son investigadores de la Universidad de Los Andes o de otras instituciones que colaboran con el CESIMO-ULA. Entre estos hay profesores del departamento de Investigacin de Operaciones de EISULA, profesores Del Departamento de Control de EISULA, profesores de la Facultad de Ciencias, de Ciencias ambientales y forestales, etc, de la Universidad de Los Andes. - Los tuteados son investigadores noveles (no personal del CESIMO) que desean formarse en las reas de actividades del CESIMO; en este grupo estn los tesistas doctorales y de maestra. - En los otros grupos estn investigadores visitantes y colaboradores de proyectos de investigacin, como tambin personal tcnico, empleados y obreros. La programacin de los investigadores del CESIMO para el 2006 es la siguiente: Miembros titulares Miembros asociados Miembros tutelados Miembros visitantes 6 19 1 1
56
A partir de 2006 se incrementarn los miembros tutelados para regresar a la proporcin que se tena hace unos 5-6 aos entre miembros titulares/asociados y miembros tutelados sea como nuevos estudiantes doctorales que como investigadores noveles que participarn en proyectos de investigacin. Paralelamente habr algunos de los miembros tutelados que pasarn a ser miembros asociados. Ms del 80% de los investigadores tienen doctorado los otros terminarn de obtenerlo entre 2-3 aos. Los doctorados cubren reas como: - Computacin: Inteligencia artificial, lenguajes de simulacin, computacin paralela, reingeniera, multiagentes, etc. - Control: control adaptivo, control no lineal, control cualitativo - Tpicos avanzados de simulacin: simulacin orientada hacia objeto, simulacin paralela/distribuida/ concurrente, cualitativa, continua/discreta, basada en conocimientos, de multiagentes, etc. - Aplicaciones en reas como: sistemas ambientales, sistemas socioeconmicos, sistemas forestales, sistemas ecolgicos, sistemas fsicos y sistemas industriales; biosistemas. Los doctorados fueron realizados en universidades de: Inglaterra: University of Sussex, Imperial College. Universidad Metropolitana de Manchester Estados Unidos: University of Iowa, University of North Texas, University of California at Berkeley Espaa: Universidad Politcnica de Catalua, Universidad de Alcal. Suiza: Universidad de la Suiza Italiana. Francia: Universit de Nice-Sophia-Antipolis, Universidad de Paris(PREGUNTAR A RICHARD) Venezuela Universidad de los Andes Miembros del CESIMO segn la edad: Ms de 45 aos Entre 36 y 45 aos Menores de 36 aos 5 16 5
16.3 Experiencia de los miembros del CESIMO El CESIMO puede ofrecer un personal altamente calificado con experiencia de muchos aos en sus reas de actividades. Actualmente no existe en Venezuela (y segn nuestro conocimiento en Amrica Latina) otro grupo de investigadores en las reas de simulacin y modelado como el del CESIMO. El desarrollo de proyectos interdisciplinarios a travs del CESIMO como el proyecto PAN-EARTH coordinado por Acevedo y despus Tonella; el proyecto GLIDER coordinado por Domingo, Sananes y otros; el proyecto MODVEN, modelo de Venezuela coordinado por Domingo; y el proyecto GAIA (coordinado por Tonella) financiado por la comisin europea y con participacin de grupos de 10 pases, demostraron la posibilidad de llevar a cabo proyectos interdisciplinarios de envergadura y con xito - El proyecto PAN-EARTH produjo entre publicaciones de artculos y de trabajos en proceedings una docena de informes tcnicos. - El proyecto GLIDER produjo el primer paquete de software especializado que se comercializ en nombre de la ULA, adems de artculos en revistas y en congreso. - El proyecto modelo de Venezuela produjo artculos y presentaciones en congresos en Venezuela y pases de Amrica Latina (Mxico, Per, Argentina, Chile) y sobre el tema del petrleo en Europa y USA. - El proyecto GAIA produjo entre otros un Cdrom con 7 estudios de casos de problemas ambientales complejos donde se aplican modelos de simulacin y la posibilidad de usar el material interactivamente a travs de la red (servidor web). La bsqueda de financiamiento externo (fuera de Venezuela) para realizar investigaciones mostr la viabilidad para fuentes alternas de financiamiento. El CESIMO puede ofrecer expertos en: modelado ambiental (Acevedo, Domingo, Ablan, etc.) modelado socio-econmico (Domingo, Ramrez, Tonella, etc.)
57
nuevos avances en simulacin (Hoeger, Dvila J., Tucci, etc.) lenguajes de simulacin (Sananes, Domingo, Tonella, etc.) sistemas ingenieriles (Guilln) cmputo en paralelo, simulacin biomdica y simulacin de reservorios (Hoeger, Guilln) Por otra parte el personal recin formado est en la posibilidad de ofrecer sus servicios junto con sus ex tutores de tesis, que son en la mayora de los casos investigadores de fama mundial como por ejemplo Bob Kowalski (Imperial College, Lgica, IA y multiagentes), Jones (Iowa, simulacin concurrente), etc.
Listado de Trabajos de Grado generados a partir de las lneas de trabajo o de investigacin

Nombre del Trabajo: Un modelo de mercado para los proveedores de internet en el enrutamiento Fecha de presentacin: 12-09-02 Autor: Ana Duek Tutor: Tania Jimenez
Nombre del Trabajo: Un Modelo de Poblacin y Uso de la Tierra en la Amazona Legal Brasilea Fecha de presentacin: 26-02-03 Autor: Thas Lpez Tutor: Giorgio Tonella
Nombre del Trabajo: Propuesta para mejorar las evaluaciones de impacto ambiental de las actividades de explotacin y produccin de petrleo en Venezuela Fecha de presentacin: 26-02-03 Autor: Eliana Guzman Tutor: Magdiel Ablan
Nombre del Trabajo: Simulacin Lgica de Relatos Narrativos Fecha de presentacin: 28-05-03 Autor: Luis Astorga Tutor: Jacinto Dvila Nombre del Trabajo: Agentes para un Modelo Juego de la Economa Venezolana Fecha de presentacin: 03-11-03 Autor: Isaura Correa Tutor: Carlos Domingo
Nombre del Trabajo: Desarrollo de un Componente de Software para los Agentes de Control del SCDIA
58
Fecha de presentacin: 28-05-04 Autor: Willie Zayas Tutor: Jose Aguilar
Nombre del Trabajo: Un Modelo Computacional para la Generacin de Resmenes Automticos de Artculos Cientficos en Espaol Fecha de presentacin: 15-06-04 Autor: Mara Parra Tutores: Jacinto Dvila, Melva Mrquez y Francoise Meyer
Nombre del Trabajo: Anlisis por Simulacin de Diferentes estrategias para el mejoramiento de voz sobre IP Fecha de presentacin: 31-01-05 Autor: Jos Bernardo Pea Tutor: Tania Jimenez
Nombre del Trabajo: Modelo de Agente Interfaz Basado en Lgica y Especificado como Componente de Software Reutilizable para Computacin Cientfica Fecha de presentacin: 14-04-05 Autor: Diego Mosquera Tutor: Jacinto Dvila
Nombre del Trabajo: Diseo e Implementacin de la Plataforma Distribuible para el Simulador Multiagente Galatea Fecha de presentacin: 20-05-05 Autor: Erasmo Gmez Tutor: Kay Tucci, Mayerlin Uzctegui
Nombre del Trabajo: GSPACES Meta-Modelo para Simular Desalojos de Espacios Urbanos y Arquitectnicos Basado en Galatea Fecha de presentacin: 25-05-05
59
Autor: Klaudia Laffaille Tutor: Kay Tucci, Mayerlin Uzcategui, Jacinto Dvila
Nombre del Trabajo: Modelado del Riesgo de Incendios en la Cuenca Alta del Ro Caron Fecha de presentacin: 18-11-05 Autor: Marianela Dvila Tutor: Magdiel Ablan, Herbert Hoeger Nombre del Trabajo: El compilador y el ambiente grfico para GALATEA Fecha de presentacin: 10-05-06 Autor: Alfredo Ramos Tutor: Kay Tucci, Mayerlin Uzctegui
Nombre del Trabajo: Desarrollo de un modelo predictivo del brote de la sigatoka negra al sur del lago de Maracaibo Situacin: En marcha Autor: Juan Freitez Tutor: Magdiel Ablan
Nombre del Trabajo: Pronstico de Aportes de Caudal al Embalse Gur usando Redes Neuronales Artificiales Situacin: En marcha Autor: Alfredo Vergara Tutor: Magdiel Ablan, Herbert Hoeger
Nombre del Trabajo: Resumidor de textos legales Situacin: En marcha Autor: Alexy Snchez Tutor: Melva Mrquez, Jacinto Dvila
60
ANEXO: TRABAJOS GENERADOS DE LA PLATAFORMA COMPUTACIONAL GALATEA
Jacinto Dvila, Erasmo Gmez, Klaudia Laffaille, Kay Tucci and Mayerlin Uzctegui. Multi-Agent Distributed Simulations with GALATEA. IEEE Proceedings of Distributed Simulation and Real-Time Applications. In A. Boukerche, S. Turner, D. Roberts and G. Theodoropoulos (eds) IEEE Computer Society. 2005. 165-170pp. ISBN 0-7695-2462-1, ISSN 1550-6525. http://www.cs.unibo.it/ds-rt2005/ http://www.informatik.uni-trier.de/~ley/db/conf/dsrt/ http://csdl2.computer.org/persagen/DLAbsToc.jsp? resourcePath=/dl/proceedings/&toc=comp/proceedings/dsrt/2005/2462/00/2462toc.xml Jacinto Dvila and Mayerlin Uzctegui. Agents that learn to behave in Multi-Agent Simulations. The Fifth IASTED Internacional Conference on Modelling, Simulation and Optimization (MSO 2005), 51-55pp. Oranjestad, Aruba. Agosto, 2005 (Arbitrado in extenso). http://www.actapress.com/Content_of_Proceeding.aspx? proceedingID=316 Jacinto Dvila, Mayerlin Uzctegui and Kay Tucci. A Multi-Agent Theory for Simulation. The Fifth IASTED Internacional Conference on Modelling, Simulation and Optimization (MSO 2005), 285-290pp. Oranjestad, Aruba. Agosto, 2005 (Arbitrado in extenso). http://www.actapress.com/Content_of_Proceeding.aspx? proceedingID=316 Klaudia Laffaille, Kay Tucci, Mayerlin Uzctegui and Jacinto Dvila. gSpace: a meta-model for simulating agent mobility in urban or arquitectonic designs. The Fifth IASTED Internacional Conference on Modelling, Simulation and Optimization (MSO 2005), 303-306pp. Oranjestad, Aruba. Agosto, 2005 (Arbitrado in extenso). http://www.actapress.com/Content_of_Proceeding.aspx? proceedingID=316 Jacinto Dvila and Mayerlin Uzctegui. GLORIA: An Agents Executable Specification. Colegium Logicum (Annals of the Kurt Gdel Society) Volume 8 (http://kgs.logic.at), ISBN 3-901546-03-0. 2004.
Jacinto Dvila y Kay Tucci. Towards a logic-based, multi-agent simulation theory. Proceedings of MSNN2000: International Conference on Modeling, Simulation and Neural Networks. Mrida. Venezuela. 2000. Pag. 199 a 215. (Publicado en Europa, en el volumen especial anual "The best of AMSE 2000" de la AMSE, International Association for Modeling and Simulation Techniques in Enterprises , http://www.amse-modeling.org/) (Arbitrado, 2 veces, in extenso).
61
Jacinto Dvila y Mayerln Uzctegui. GALATEA: A Multi-agent Simulation Platform. Proceedings of MSNN2000: International Conference on Modeling, Simulation and Neural Networks. Mrida. Venezuela. 2000. Pag. 217 a 233. (Publicado en Europa, en el volumen especial anual "The best of AMSE 2000" de la AMSE, International Association for Modeling and Simulation Techniques in Enterprises , http://www.amse-modeling.org/) (Arbitrado, 2 veces, in extenso). Jacinto Dvila. OPENLOG: A logic programming language based on Abduction. Lecture Notes in Computer Science. 1702. Springer. 1999. (Indizado en el Science Citation Index).
62

Simulacion

Încărcat de

Informații document

Descriere originală:

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Simulacion

Încărcat de

Drepturi de autor:

Formate disponibile

Universidad de Los Andes Facultad de Ingeniera Consejo de Estudios de Postgrado Centro de Simulacin y Modelos (CESIMO)

Programa de Postgrado de Maestra en Modelado y Simulacin de Sistemas

Teora de Modelado y Simulacin.

Maestra en Modelado y Simulacin de Sistemas

Maestra en Modelado y Simulacin de Sistemas

6.2.1. Descripcin de los cursos

Nombre del curso: Introduccin al Modelado y a la Simulacin de Sistemas Cdigo: MSS001

Breve Descripcin del curso

Contenido del Curso

Nombre del curso: Lgica y Matemtica para Simulacin Cdigo: MSS002

Breve Descripcin del curso

Contenido del Curso

Nombre del curso: Estadsticas y Simulacin Cdigo: MSS003

Breve Descripcin del curso

Contenido del Curso

Nombre del curso: Computacin para Simulacin Cdigo: MSS004

Breve Descripcin del curso

Contenido del Curso

Nombre del curso: Tpicos Avanzados en Simulacin Cdigo: MSS005

Breve Descripcin del curso

Contenido del Curso

Nombre del curso: Modelado y Simulacin Ambiental Cdigo: MSS015

Breve Descripcin del curso

Bibliografa (Libros texto)

Contenido del Curso

Nombre del curso: Economa Ecolgica Cdigo: MSS016

Breve Descripcin del curso

Contenido del Curso

Nombre del curso: Sistemas Multi-Agentes Cdigo: MSS025

Breve Descripcin del curso

Contenido del Curso

Nombre del curso: Modelado del Cambio Estructural Cdigo: MSS026

Breve Descripcin del curso

Contenido del Curso

Nombre del curso: Simulacin Lgica Cdigo: MSS035

Breve Descripcin del curso

Bibliografa (Libros texto)

Contenido del Curso

Nombre del curso: Sistemas de Informacin Geogrfica Cdigo: MSS036

Breve Descripcin del curso

Contenido del Curso

Nombre del curso: Ingeniera Ontolgica y la Web Semntica Cdigo: MSS037

Breve Descripcin del curso

Contenido del Curso

Nombre del curso: Simulacin Paralela y Distribuida Cdigo: MSS045

Breve Descripcin del curso

Bibliografa (Libros texto)

Contenido del Curso

Nombre del curso: Simulacin basada en objetos y agentes Cdigo: MSS046

Breve Descripcin del curso

Contenido del Curso

Nombre del curso: Cmputo Numrico en Paralelo Cdigo: MSS047

Breve Descripcin del curso

Bibliografa (Libros texto)

Contenido del Curso

Nombre del curso: Simulacin de Reservorios Petrolferos Cdigo: MSS048

Breve Descripcin del curso

Contenido del Curso

Nombre del curso: Lgica Inductiva y Aprendizaje Automtico Cdigo: MSS049

Breve Descripcin del curso

Contenido del Curso

Ao sabtico de Jacinto Dvila