Maestria en computacin CINVESTAV

Programa de Maestra

El programa de maestra tiene como objetivo preparar especialistas en el rea de computacin que conozcan y sepan aplicar la teora, las metodologas y las tcnicas ms modernas de la disciplina. Tiene una duracin de 2 aos organizados en cuatrimestres, e inicia en el cuatrimestre septiembrediciembre de cada ao. Durante los primeros tres cuatrimestres el estudiante toma en promedio 4 cursos por cuatrimestre completando un total de 12 cursos en el primer ao. Durante el segundo ao desarrolla, con la asesora de un profesor del departamento de Computacin, una tesis la cual defender ante un jurado para obtener el grado de maestra en Ingeniera Elctrica con opcin en Computacin. Puede existir un co-asesor de tesis, mas su participacin debe ser aprobada por el colegio de profesores del departamento. La Maestra est dirigida, aunque no exclusivamente, a personas que han estudiado una Ingeniera en Sistemas Computacionales, una Ingeniera en Comunicaciones y Electrnica, una Licenciatura en Informtica, una Licenciatura en Ciencias de la Computacin, Licenciatura en Fsica y Matemticas, o reas afines a stas. El enfoque de la Maestra depende del estudiante,y puede ser de investigacin o de aplicacin en alguna de las reas de la Computacin que se mencionan ms adelante.

Requisitos de admisin El proceso de admisin al programa de maestra inicia normalmente en el mes de junio de cada ao. El aspirante deber cubrir los siguientes requisitos:

Llenar solicitud de examen de admisin y una forma de concentrado curricular (que se le darn). Entregar curriculum vitae (incluyendo direccin y telfono para contactar al interesado). Entregar 2 cartas de recomendacin (copia) de profesores o investigadores que lo conozcan. El examen es en julio en un da a definir cada ao, por lo que el aspirante debe preguntar la fecha exacta con anticipacin. El aspirante deber traer una identificacin con foto al examen. Entrevistarse con una comisin de profesores del departamento.

El aspirante aceptado deber entregar los siguientes documentos: Solicitud de Admisin. Certificado de calificaciones del ciclo completo de licenciatura o ingeniera. Copia de la carta de pasante (en caso de ser pasante). Copia del acta del examen final o de su ttulo. Cuatro fotografas tamao infantil. Entregar 2 cartas de recomendacin (original y copia) de profesores o investigadores que lo conozcan.

Dos copias del acta de nacimiento. Copias de constancias o certificados de los seminarios, cursos, congresos y conferencias en los que haya participado.

Cursos propeduticos El departamento de Computacin no ofrece ni requiere cursos propeduticos para ingresar al Programa de Maestra. Los nicos requisitos de ingreso son aprobar el examen de admisin y, en base a la entrevista con los profesores del departamento de Computacin, satisfacer otros criterios necesarios para llevar a buen trmino sus estudios de Maestra. Para el examen de admisin se facilita una gua de estudio que incluye preguntas modelo del examen.

Programa de estudios El programa de estudios est dividido en dos fases cada una de un ao escolar. Durante el primer ao se toman un total de 12 cursos, 4 por cuatrimestre. Durante el segundo ao se desarrolla un trabajo de tesis, inscribindose para ello en temas de tesis y seminarios de investigacin. Primer ao: cursos Los cursos a acreditar durante el primer ao son seleccionados por cada estudiante y su asesor de estudios (un profesor del departamento de Computacin asignado al estudiante al ingresar). La seleccin de los cursos busca para el estudiante una formacin con los conocimientos esenciales de la Computacin, con la mayor amplitud posible en las diferentes reas de la Computacin, y con la mayor profundidad posible en las reas relacionadas con el tema de tesis del estudiante y sus intereses de desarrollo profesional. Los cursos estn agrupados bajo un ncleo y cinco reas de especialidad. Los cursos del ncleo se ofrecen todos por lo menos una vez al ao, no necesariamente en el mismo cuatrimestre. Los cursos en las reas de especialidad se ofrecen tomando en cuenta la demanda y la planta de profesores. Los cursos de cada rea de especialidad se dividen en formativos y de especializacion. Los formativos proporcionan amplitud de conocimientos, y los de especializacin proporcionan profundidad en alguna lnea de investigacin. Ncleo. El ncleo comprende los conocimientos bsicos que cualquier egresado del programa de Maestra en Computacin debe saber. Los cursos del ncleo son 7: Matemticas Discretas Anlisis y Diseo de Algoritmos Programacin Orientada a Objetos Ingeniera de Software Sistemas Operativos Arquitectura de Computadoras Contexto Social y Profesional de la Computacin

Cada estudiante debe acreditar por lo menos 4 de los 7 cursos del ncleo. La seleccin de los 4 cursos depende de la formacin acadmica y experiencia de cada estudiante, y es necesaria debido a la diversidad del perfil de los aspirantes. As, por ejemplo, algunos cursos del ncleo de un aspirante que estudi una Licenciatura en Informtica sern diferentes de los cursos del ncleo

de un aspirante que estudi una Licenciatura en Fsica y Matemticas, una Ingeniera en Computacin o una Ingeniera en Comunicaciones y Electrnica. Cursos Formativos y de Especializacin. Los cursos restantes se toman de las siguientes reas de especializacin. Los cursos formativos y de especializacin se presentan en la Tabla I por lnea de investigacin. Fundamentos Tericos de la Computacin e Inteligencia Artificial. Esta rea comprende los fundamentos tericos de la metodologa de la computacin y los modelos de razonamiento usados para el desarrollo de sistemas inteligentes artificiales. Bases de Datos y Sistemas de Informacin. Esta rea comprende el desarrollo e integracin de sistemas de software basado en la descomposicin funcional y el desarrollo de herramientas de software. Programacin de Sistemas, Sistemas Operativos, Sistemas Dsitribudos y Sistemas de Tiempo Real. Esta rea comprende el diseo y el desarrollo de sistemas de software que manejan los recursos de sistemas de cmputo y permiten el desarrollo de otros sistemas software. Criptografa, Arquitectura de Computadoras y Hardware Reconfigurable. Esta rea comprende la teora de mquinas y su aplicacin en el diseo de sistemas digitales y de arquitectura de computadoras. Graficacin, Visualizacin y Procesamiento de Imgenes. Esta rea comprende el diseo y desarrollo de sistemas de graficacin, sistemas de visualizacion de datos, sistemas multimedia y sistemas de realidad virtual.

Nivel

Fundamen tos Tericos de la Computaci n e Inteligenci a Artificial

Bases de Datos y Sistemas de Informaci n

Programaci n de Sistemas, Sistemas Operativos, Sistemas Distribuido s y Sistemas de Tiempo Real

Sistemas de Tiempo Real Redes de Computadoras

Criptografa , Arquitectur a de Computado ras y Hardware Configurabl e

Aritmtica Computacional Cdigos y Criptografa

Graficacin, Visualizaci ny Procesamie nto de Imgenes

Formativos

Inteligencia Artificial Introduccin a la Computacin Evolutiva Optimizacin Numrica Optimizacin Combinatoria

Lgica y Bases de Datos Minera de Datos

Graficacin

Procesamiento de Imgenes

Computacin Paralela Sistemas Distribuidos

Cmputo Mvil

Especializaci Optimizacin en Ingeniera n

Computabilid ad y Complejidad

Seguridad en Sistemas de Informacin Tpicos Selectos de IA: Sistemas de Soporte a la Toma de Decisiones Tpicos Selectos de Minera de Datos

Sistemas Colaborativos Distribuidos Cmputo Mvil y Ubicuo

Cmputo Reconfigurable Tpicos Selectos en Criptografa

Visin por Computadora Reconocimiento de Patrones

Tpicos Selectos de Computaci n Cientfica I Tpicos Selectos en Inteligencia Artificial: Sistemas de Agentes y Multiagentes Tpicos Selectos en Inteligencia Artificial: Teora de Juegos. Introduccin a la Optimizacin Evolutiva Multiobjetivo

Tpicos Selectos de Sistemas Distribuidos Tpicos Selectos de Interaccin Hombre Mquina

Tpicos Avanzados en Criptografa Simtrica Tpicos selectos en sistemas digitales: VHDL

Tpicos Selectos en Teora de Cdigos

Tabla I: Mapa curricular de los cursos formativos y de especializacin por lnea de investigacin.

Nota: Cada estudiante deber elegir 8 cursos de acuerdo a su rea de especializacin, no necesariamente los 8 cursos deben ser de la misma lnea de investigacin. No todos los cursos se ofrecen en el mismo ao escolar; los cursos se abren dependiendo de la disponibilidad de los profesores y de la demanda de los estudiantes. Segundo ao: tesis y seminarios Durante su segundo ao, el estudiante seleccionar un tema de tesis propuesto por un profesor del departamento de Computacin, o propondr uno a un profesor del departamento, quien fungir

como asesor de tesis. Puede exisitir un co-asesor de tesis, del departamento o de otra institucin, mas su participacin debe ser aprobada por el colegio de profesores del departamento. El tema se somete a evaluacin por un Consejo de Profesores para su aprobacin. Durante el segundo ao el alumno estar dedicado a seminarios de investigacin y desarrollo en laboratorios, los cuales corresponden a 12 trabajos de tesis que se acreditan con la misma escala de calificacin con que se acreditan los cursos del primer ao (esta escala es descrita ms adelante). El alumno podr hacer estancias industriales o en otro instituto de investigacin. Tambin durante el segundo ao, el alumno atender 3 Seminarios de Investigacin, uno por cuatrimestre, para presentar los avances de su proyecto de tesis a la comunidad para su evaluacin y crtica.

Requisitos de permanencia Solo se admiten estudiantes de tiempo completo. Es responsabilidad del estudiante solicitar su inscripcin al inicio de cada cuatrimestre, y solo podr estar inscrito hasta por 1 ao adicional a los dos aos base del programa de maestra. El departamento de Computacin brinda las facilidades para que cada alumno desempee sus actividades educativas y de investigacin adecuadamente y de tiempo completo en el CINVESTAV. El departamento:

Cuenta con el equipo de cmputo y software para el desarrollo de tareas y trabajos de investigacin. Brinda a cada alumno un cubculo en el saln de estudiantes, y cuenta con salones de seminarios y de clases. Sostiene proyectos de vinculacin, con la industra y otras instituciones educativas, en los que pueden participar los estudiantes para familiarizarse con el desarrollo de una investigacin.

Requisitos para la obtencin del grado Durante el primer ao el estudiante deber aprobar 12 cursos de la Maestra con un promedio mnimo de 8. La escala de calificaciones es 10, 9, 8, 7, 6 y 5, siendo las dos ltimas reprobatoras. Cuando un estudiante obtiene una calificacin reprobatoria causar baja definitiva del CINVESTAV. Al terminar el desarrollo de su tesis, el estudiante entregar un documento escrito para su revisin por un Comit de Graduacin integrado por profesores en su mayora miembros del programa de posgrado del Departamento de Computacin del CINVESTAV. El Comit de Graduacin es designado por la Coordinacin Acadmica a solicitud del supervisor de la tsis. Una vez que el Comit de Graduacin alcance un consenso sobre la calidad de la tsis, se proceder a la defensa de la misma mediante un examen pblico ante el Comit de Graduacin y el asesor de tsis. Para realizar la defensa es necesario contar con un grado de licenciatura y cumplir con todos los requisitos anteriores. Adems, de acuerdo con la poltica del Departamento de Computacin sobre la difusin de la cultura y el conocimiento, el Departamento de Computacin

no acepta tsis confidenciales o clasificadas; stas son del dominio pblico y se encuentran en bibliotecas al alcance de cualquier persona interesada. Si la defensa es exitosa de acuerdo con los criterios del Comit de Graduacin, el CINVESTAV otorgar al estudiante el grado de Maestro en Ciencias en Computacin.

CURSOS
Contenido condensado de los cursos de posgrado

Aprendizaje Mquina. El objetivo es presentar al estudiante un panorama general sobre el diseo y evaluacin de interfaces Hombre-Mquina. Se realiza la importancia del diseo apropiado de interfaces para investigadores, acadmicos e industriales. Se proporcionan las herramientas, tcnicas y conocimientos para sensibilizar al pblico en general sobre el uso de la computadora. A lo largo del curso se examinan las teoras de alto nivel (implcitas y explcitas), el modelo Foley/Van Dam (para diseo Top-Down), el modelo Goms, el modelo de etapas de accin, el modelo de interfaz objeto-accin, y los principios y lineamientos empleados en el diseo de interfaces hombre mquina. Se enfatiza el diseo de interfaces usando la ingeniera de la usabilidad y las formas de realizar e interpretar las pruebas realizadas al usuario final de un sistema.

Aritmtica Computacional. Se estudian los mtodos, algoritmos y tcnicas de mejora de desempeo necesarias para obtener implementaciones eficientes de operaciones aritmticas en sistemas computacionales con recursos restringidos y en dispositivos de hardware reconfigurable PGAs. Los conceptos y tcnicas a ser revisados en este curso hacen un nfasis especial en algoritmos de la aritmtica de campos finitos y su correspondiente implementacin en dispositivos FPGA's. Para la implementacin en circuitos programables se revisan las tcnicas de diseo de sistemas digitales, unidades aritmticas y unidades de control. Se hace una breve introduccin de la modelacin de tales circuitos mediante VHDL.

Cdigos y Criptografa. Este curso presenta las bases matemticas utilizadas en el diseo de cdigos de criptografa. Se revisa la aritmtica de grandes nmeros, generacin de sucesiones y funciones aleatorias y seudo-aleatorias, procedimientos de flujo de datos (stream), teora de cdigos algebricos, cdigos lineales, cdigos de Reed-Muller generalizados, cdigos de ReedSolomon generalizados, mtodos de llave pblica RSA y autentificacin de criptografa de curvas elpticas.

Computabilidad y Complejidad. Se presenta el concepto de computabilidad mediante mquinas de Tring. Se muestran los conceptos de recursividad y el problema de incompletitud de las teoras recursivas, vale decir, computables demostrada primeramente por Kurt Gdel. Se presentan algunos problemas clsicos NP-completos exhibidos por Karp. El objetivo es presentar la teora de complejidad y la intractabilidad de los problemas NP-completos. Mencionando finalmente, algunos resultados que hacen posible la conjetura P=NP.

Computacin Paralela. El propsito de este curso es discutir tcnicas y aplicaciones de la programacin paralela. El curso se concentra en el uso de varias computadoras que se comunican entre ellas mediante el envo de mensajes. La programacin paralela involucra muchos aspectos que no se presenta en la programacin convencional (secuencial). El diseo de un programa paralelo tiene que considerar, entre otras cosas, el tipo de arquitectura sobre la cual se va a ejecutar el programa, las necesidades de tiempo y espacio que requiere la aplicacin, el modelo de programacin paralelo adecuado para implantar la aplicacin y la forma de coordinar y comunicar a diferentes procesadores para que resuelvan un problema comn. Existen varias herramientas disponibles para programacin paralela. En el curso se revisan los paquetes PVM y MPI, dado su alta disponibilidad para computadoras diferentes y su aceptacin en la comunidad acadmica. Entre los tpicos discutidos se encuentran: modelos de programacin y arquitecturas paralelas, el proceso de diseo de programas paralelos, programacin para memoria compartida, programacin para memoria distribuida, programacin paralela para mejorar el rendimiento, lenguajes de programacin paralela y diseo de algoritmos paralelos para problemas especficos.

Cmputo Basado en Redes. El propsito del curso es entender los conceptos fundamentales y desarrollar las habilidades de programacin requeridos para la construccin de sistemas distribuidos basados principalmente en la arquitectura cliente/servidor. En el curso se analizan algunas de las tecnologas de Internet, conocidas generalmente como middleware (TCP/IP, sockets, RPC, RMI, CORBA y DCOM), que facilitan el desarrollo de dichas aplicaciones y que han sido incorporadas al lenguaje de programacion Java. El curso incluye prcticas y proyectos de programacin que enfatizan conceptos como sistemas abiertos, interoperabilidad, portabilidad, seguridad e integracin.

Cmputo Mvil. Se presentan los conceptos ms importantes asociados a las plataformas de telfonos mviles y los lenguajes de programacin ms importantes de la actualidad para dispositivos mviles. Base de Datos. Se presenta diversos modelos de datos que son abstracciones matemticas para representar la informacion del mundo real en datos y conocimiento.

Fundamentos Algebraicos. El principal objetivo de este curso es el de introducir los conceptos bsicos de las estructuras algebraicas. El conocimiento de estas estructuras es indispensable para el estudio de las ciencias computacionales modernas, por lo que el material a ser cubierto en este curso sirve como base terica para el estudio de temas tales como teora de cdigos, criptologa, etc.

Geometra Computacional. Se analizan los principales algoritmos, desde su complejidad y realizacin, que se utilizan para manipular entidades geomtricas en dos y tres dimensiones.

Graficacin. El objetivo es proporcionar los fundamentos para graficacin interactiva. Se trata con las matemticas para representaciones geomtricas en dos y tres dimensiones. Se plantean las transformaciones geomtricas y las estructuras de datos se tratan con detalle para ser usadas en el modelado de objetos. Se pretende que el estudiante sea capaz de trazar una escena y de entender las formas bi y tridimensionales que la componen, adems de las tcnicas para manipularla y visualizarla. La herramienta de trabajo, para desarrollar las tareas del curso, es un sistema de desarrollo de interfaces grficas (GUI, por sus siglas en ingls) basado en objetos, llamado Qt (www.troll.no) y OpenGL (www.opengl.org) o Mesa (www.mesa3d.org) para la contruccin y manipulacin de escenas tridimensionales.

Inteligencia Artificial. El objetivo consiste en presentar fundamentos en Inteligencia Artificial y sus aplicaciones. El primer tema que aborda el curso es la Representacin de Conocimiento en base a la lgica. Se ve entonces la lgica de predicados, modelado de imprecisin y razonamiento inexacto, redes semnticas, marcos, scripts, etc. Para la solucin de problemas, tratamos conestrategias de bsqueda, considerando bsquedas AND/OR y el mtodo AO*.

Introduccin a la Computacin Evolutiva. Se estudian los conceptos bsicos de las tcnicas ms importantes de computacin evolutiva. Se hace especial nfasis en los algoritmos genticos. Inicialmente, se hace un recorrido histrico en el que se resumen los logros ms importantes en torno a la simulacin de los procesos evolutivos como una herramienta para el aprendizaje y la optimizacin. Posteriormente, se analizan y comparan de manera general los 3 paradigmas principales que se utilizan hoy en da en la computacin evolutiva: las estrategias evolutivas, la programacin evolutiva y los algoritmos genticos. En cada caso se abordar su inspiracin biolgica, su motivacin, su funcionamiento y algunas de sus aplicaciones. Finalmente, se estudiar a mayor detalle el funcionamiento, fundamentos tericos, implementacin y operacin de los algoritmos genticos, que es actualmente el paradigma evolutivo ms utilizado por los investigadores que trabajan en esta disciplina.

Introduccin al Cmputo Reconfigurable. Se presentan los elementos bsicos para crear arquitecturas y algoritmos que utilicen dispositivos programables. Introduccin a la Probabilidad. Se estudian los principios bsicos de la teora de la probabilidad junto con algunas aplicaciones de sta. Se familiariza al estudiante con distintas distribuciones de probabilidad las cuales son utilizadas frecuentemente en otras reas de las ciencias computacionales.

Lenguajes de Programacin.El alumno conozca los conceptos ms importantes asociados al

diseo del lenguaje de programacin, as como los principales paradigmas de programacin, para permitirle realizar una evalucin critica de los lenguales existentes y futuros, y desarrollar criterios para elegir el lenguaje ms apropiado para resolver un determinado problema de programacin.

Lgica Matemtica. El objetivo del curso es presentar los conocimientos bsicos de la Lgica de Proposiciones y de Predicados de Primer Orden con aplicaciones a la Demostracin Automtica de Teoremas. Se hace nfasis en el principio de resolucin de Robinson, mostrando diversas estrategias en el sistema de inferencias. Se estudian Lgicas Modales y Polivalentes. El curso es

bsico para Programacin Lgica, Inteligencia Artificial y, en general, para las Ciencias de la Computacin.

Lgica y Base de Datos. El objetivo es dar una caracterizacin a las Bases de Datos desde el punto de vista de la Lgica. Se plantean los modelos minimales de: Suposicin del Mundo Cerrado (CWA), negacin como falla y circunscripcin. Se plantean dos diferentes clases de bases de datos deductivas: definidas e indefinidas. Se consideran algoritmos, estructuras y tcnicas de implementacin para los sistemas de tal naturaleza.

Minera de Datos. Se proporcionan conocimientos bsicos sobre teora y prctica de la Minera de Datos para tratamiento de informacin.

Modelado y Simulacin de Sistemas. Este curso proporciona una introduccin al modelado de sistemas usando tcnicas matemticas y simulacin por computadora. Entre las tcnicas matemticas utilizadas se encuentran redes de Petri y sistemas de eventos discretos. Entre las tcnicas computacionales se utilizan los paquetes MODSIM y Arena. Al final del curso, los estudiantes tendrn conocimientos suficientes para realizar simulaciones efectivas.

Optimizacin Combinatoria. Revisar diferentes meta-heursticas para realizar optimizacin combinatoria, tales como: Recocido Simulado, Bsqueda Tab y Colonias de Hormigas.

Optimizacin en Ingeniera. Se estudian diversos mtodos de programacin matemtica para resolver problemas de optimizacin no lineal (principalmente sin restricciones). El curso enfatiza aspectos algortmicos y de implementacin sobre los aspectos tericos, por lo que es necesario tener al menos conocimientos bsicos de programacin en C/C ++. Tambin se requieren conocimientos de clculo, trigonometra, geometra y lgebra. Procesamiento Digital de Imgenes. En este curso se ensean las diversas tcnicas del procesamiento de imagen para realce, segmentacin, interpretacin y reconocimiento de imagen. Se estudia tambin la transformada de Fourier y la transformada Coseno de imgenes. Las prcticas se realizan en el lenguaje de programacin C++ y el paquete para diseo de interfaces de usuario Qt (www.troll.no). El procesamiento de imagen puede definirse como la extraccin de caractersticas a partir de los pixels que constituyen una imagen. Las tcnicas pueden asemejarse a "una caja de herramientas'' y, dependiendo de la aplicacin, se escogen las adecuadas para resolver un problema, por lo que resulta necesario conocer la mayor cantidad de estas "herramientas'', esto es, las tcnicas del procesamiento de imagen. Programacin Concurrente. Se estudian los mecanismos para compartir y controlar recursos, los mecanismos basados en paso de mensajes. Se estudian adems lenguajes acadmicos de programacin concurrente, tales como Pascal -S, SR. Se revisan los conceptos fundamentales en el diseo e implementacin de aplicaciones multitarea y se ilustra el uso de bibliotecas para el desarrollo de aplicaciones multi-hilo, tales como: Pthreads, Java-Threads.

Realidad Virtual. Se estudia la tecnologa actual para realizar realidad virtual y sus aplicaciones, analizando los aspectos de ingeniera, cientficos y aspectos funcionales de sistemas de realidad virtual y los fundamentos de modelado de mundos virtuales y su programacin. Se tratan las tcnicas de imagen para la generacin de ambientes tridimensionales (3D): creacin de modelos, diseo de escenarios, iluminacin, texturas, interiores, exteriores y perpectiva. Reconocimiento de Patrones. Se revisan los procesos en ingeniera, computacin y matemticas relacionados con objetos fsicos y/o abstractos, con el propsito de extraer informacin que permita establecer propiedades de o entre conjuntos de dichos objetos. Redes Neuronales Artificiales. Se analizan y aplican algunos modelos clsicos de Redes Neuronales Artificiales (RNA) para la resolucin de problemas y descubrir la estrecha relacin entre la neurobiologa, la probabilidad, la estadstica y la computacin para la resolucin de problemas modelando las RNA inspiradas en el sistema nervioso.

Redes de Computadoras. En este curso el alumno conocer las tecnologas involucradas en las redes de computadoras analizadas a travs de la arquitectura por capas siguiendo un enfoque descendente. Presentar los principios bsicos de la arquitectura TCP/IP y su implementacin en Internet. Se revisarn distintas alternativas de interconexin de redes, la funcin y problemtica de cada una de las capas del modelo ISO/OSI. Se dar especial nfasis a las capas de aplicacin, transporte y de red del modelo de referencia de Internet. El alumno conocer los protocolos bsicos dentro de cada capa. Complementar los estudios tericos con implementaciones bsicas de algunos de los algoritmos y protocolos analizados. Analizar algunos aspectos generales de gestin de redes y de nuevas tecnologas de redes inalmbricas. Robots Mviles Inteligentes. Se revisan los fundamentos de los aspectos computacionales utilizados en robots mviles autnomos. Estudiar los componentes de un robot mvil: percepcin, visin, planeacin, navegacin, construccin de mapas y localizacin. Aplicar los conocimientos adquiridos en el desarrollo de proyectos con robots mviles.

Seguridad en Sistemas de Informacin. Este curso presenta el conjunto de polticas y mecanismos que permiten garantizar la confidencialidad, la integridad y la disponibilidad de los recursos de un sistema. Se estudia la seguridad (fsica y lgica) en una organizacin, las polticas y modelos de seguridad (en el sector militar, comercial y financiero), y los medios automatizados para probar tales polticas (Otter y Pruebas de consistencia). Se estudian tambin los principios criptologa (criptosistemas simtricos y asimtricos, Data Encryption Standard, Message Digest Algorithm y Certificados), la certificacin de sistemas, la seguridad en Internet (principales vulnerabilidades y soluciones), Herramientas de proteccin en Unix (Kerberos y S/Key), lgicas de autentificacin (lgica BAN), herramientas de monitoreo de Unix (COPS, SATAN, TRIPWIRE, etc.) y Firewalls. Finalmente se estudian los modos de operacin de algunos virus y las formas de ataque que pueden presentarse en redes de computadoras as como las formas de detectarlos y combatirlos. Sistemas Colaborativos Distribuidos. Se familiariza al alumno con los fundamentos tericos y prcticos del campo de investigacin multidisciplinario denominado "Trabajo Cooperativo Asistido por Computadora" (CSCW por sus siglas en ingls), haciendo nfasis en el estudio de los sistemas computacionales (Groupware por su denominacin en ingls) que soportan grupos de personas

comprometidas en un proyecto comn y que proveen una interfaz a un entorno compartido. En particular, se analizan las arquitecturas de distribucin fundamentales para permitir a personas fsicamente distribuidas comunicar, colaborar y coordinar sus actividades como si estuvieran cara a cara. Asimismo, se estudian los principales mecanismos propuestos para administrar la comparticin de la informacin, tanto a nivel de interfaz de grupo como a nivel de ncleo funcional. Este dominio de investigacin ha contribuido a la evolucin de diversos dominios de aplicacin, entre los que se encuentran los sistemas de mensajes, los editores de grupo, los sistemas de soporte para la toma de decisiones en grupo, las salas de reuniones virtuales, las conferencias por computadora, los agentes inteligentes, los sistemas de coordinacin (workflows) y la enseanza/aprendizaje colaborativo.

Sistemas Distribuidos. El curso tiene como objetivo aprender los principios fundamentales sobre sistemas distribuidos, revisando los tpicos ms importantes sobre el diseo y construccin de sistemas distribuidos. Entre los conceptos revisados se encuentran los siguientes: redes de computadoras, concurrencia, disponibilidad de recursos, transparencia, seguridad, modelos de sistemas y arquitecturas distribuidos, sistemas cliente/servidor, aplicaciones WWW, herramientas de programacin (Java y llamados a procedimientos remotos RPC), algoritmos distribuidos, relojes lgicos, sincronizacin de relojes, exclusin mutua distribuida, manejo de interbloqueos distribuidos, consensos, balance de carga en sistemas distribuidos, despachadores distribuidos, transacciones distribuidas, control de concurrencia, recuperacin, confiabilidad y disponibilidad, replicacin, cmputo distribuido confiable, seguridad y proteccin, conceptos bsicos de criptografa. Sistemas Empotrados. En este curso se cubren los conceptos, estructuras y mecanismos de los sistemas empotrados, empleados en muchas plataformas incluyendo robtica y manufactura avanzada, aplicaciones interactivas y multimedia, as como sistemas ubicuos. Los sistemas empotrados contienen componentes hardware y software, lo que requiere un diseo simultneo de ambos aspectos. Se describirn conceptos bsicos sobre los mtodos de especificacin y modelos computacionales para la representacin de diseos, incluyendo los aspectos de sntesis de interfaces y mtodos de diseo de bajo consumo.

Sistemas de Tiempo Real. El objetivo del curso es plantear los conceptos y modelos de sistemas en tiempo real, as como la programacin de los mismos. La meta es capacitar al alumno para hacer herramientas de software para resolver problemas en tiempo real, en particular, problemas enfocados al control de procesos por computadora y comunicacin de datos. El enfoque de programacin es el de concurrencia, tratando el problema de exclusin mutua, con solucin mediante semforos. En el curso se desarrolla la implementacin de una mquina virtual de tiempo real.

Teora de Autmatas. El curso hace nfasis en aspectos formales de lingstica algebraica visto desde el dominio de semigrupos. El curso desarrolla la teora de lenguajes formales desde el punto de vista de sus gramticas generadoras y sus dispositivos que reconocen (autmatas). El principal nfasis es en aspectos matemticos de lenguajes formales con dominio en lgebra de semigrupos. Se trata la jerarqua de Chomsky con: lenguajes regulares, libres de contexto y sensibles al contexto. En l curso se plantea la relacin entre el concepto de mquina y semigrupo, proporcionando un enfoque diagramtico a la composicin de cascada. Se trata el teorema de Krohn-Rhod.

Tpicos Selectos Sobre Inteligencia Artificial: Agentes y Multiagentes. Los sistemas multiagentes surgieron en el campo de la investigacin de tecnologa de la informacin en la dcada de los 90' s. Un agente es un sistema o componente de software, el cual es capaz de cooperar para resolver problemas especficos. El objetivo del curso es dar una visin introductoria a los agentes autnomos y a los sistemas multiagentes desde el punto de vista terico como prctico. Se explicarn las diferentes arquitectura de agente (reactiva, deliberativa e hbrida), as como los mecanismos de interaccin, coordinacin y cooperacin entre sistemas multiagentes. Las aplicaciones son diversas: control de procesos industriales, comercio electrnico, subastas, etc.

Tpicos Selectos Sobre Inteligencia Artificial: Introduccin a la Optimizacin Evolutiva Multiobjetivo. En este curso se estudiarn los conceptos bsicos de la optimizacin multiobjetivo, as como el uso de los algoritmos evolutivos en esta rea. El material cubierto abarca desde los orgenes de la optimizacin multiobjetivo (en economa y planeacin), hasta los avances ms recientes. Adems de analizar las tcnicas evolutivas multiobjetivo de mayor uso en la actualidad, se estudiarn otras heursticas que tambin han sido extendidas para lidiar con problemas multiobjetivo (p.ej., la colonia de hormigas), discutiendo sus ventajas y limitantes principales. Adicionalmente, se revisar el trabajo terico realizado en esta rea y se discutirn algunos de los temas de investigacin futura que han permanecido poco explorados durante los ltimos aos.

Tpicos Selectos Sobre Inteligencia Artificial: Razonamiento Aproximado. El tratamiento de la incertidumbre constituye uno de los campos fundamentales de la Inteligencia Artificial (IA), ya que est presente en todas las aplicaciones de la IA (sistemas expertos, control automtico, aprendizaje por una mquina, etc). En el curso se estudiarn los diferentes modelos de razonamiento aproximado; se desarrollar una base de conocimientos; y se diseara y construir un prototipo que muestre el razonamiento aproximado, de acuerdo con alguno de los modelos estudiados.

Tpicos Selectos Sobre Inteligencia Artificial: Sistemas de Soporte a la Toma de Decisiones. Estudio de metodologas y herramientas, matemticas y computacionales, para el anlisis, diseo y desarrollo de sistemas de soporte a la Toma de Decisiones. Estudio de las metodologas y herramientas para el anlisis, diseo y desarrollo de los procesos involucrados en la Toma de Decisiones. Estudio de los lenguajes para el anlisis, diseo y desarrollo de sistemas de soporte a la Toma de Decisiones. Estudio las tcnicas de Inteligencia Artificial, de Teora de Juegos y de Administracin del Conocimiento, con las cuales se fundamenta el desarrollan de sistemas Inteligentes para la Toma de Decisiones.

Tpicos Selectos en Computacin Cientfica I. Se estudian la teora y los mtodos matemticos computacionales para la resolucin de algunos problemas de ingeniera, fsica, qumica y biologa. Se hace nfasis en ecuaciones lineales de orden n y sistemas ecuaciones diferenciales de primer orden. Abordando el problema de condiciones iniciales y el problema de valores a la frontera. El problema de Sturm-Liouville es tratado como un problema de valores a la frontera regular y como un problema de valores propios. Se estudia el mtodo de Monte Carlo para simulacin y solucin de algunos problemas cientifcos y de ingeniera.

Tpicos Selectos en Computacin Cientfica II. Se estudian los modelos y mtodos matemticos computacionales haciendo nfasis en aspectos algebraicos, geomtricos y de visualizacin. Se estudian teora de grupos de matrices de rotacin con aplicacin a algunos problemas fsicos. Visualizacin de geometra del espacio fase en las soluciones de ecuaciones diferenciales. Autmatas Celulares y sistemas dinmicos discretos es tratado en este curso como un nuevo ambiente para modelar problemas de ecosistemas y fsicos.

Tpicos Selectos en Criptografa. Este curso presenta una seleccin de los descubrimientos ms recientes en criptografa. El curso inicia con un anlisis y recuento de las primitivas usadas en criptografa, seguido por una discusin de los esquemas que han sido propuestos recientemente para realizar criptografa simtrica y de llave pblica.

Tpicos Selectos en Complejidad Computacional. Revisin de los aspectos clsicos de la teora de los problemas NP-completos y la investigacin reciente relacionada con la caracterizacin de problemas NP-completos.

Tpicos Selectos en Redes Neuronales Artificiales. Aplicacin de los mtodos neuronales a la resolucin de problemas complejos inspirndonos en el funcionamiento de nuestro cerebro para su concepcin modular, local, distribuida y paralela con el fin de crear sistemas fcilmente adaptables e integrables a otros.

Tpicos Selectos en Sistemas Digitales: VHDL. En este curso el estudiante aprende a disear circuitos digitales por computadora, usando prevalentemente la heramienta XILINX. Durante el curso se hace especial nfasis en el diseo esquemtico y VHDL. Al final del curso el estudiante realizara un circuito de control digital completo. El curso se desarrolla en dos niveles uno terico y el otro real en laboratorio.

Tpicos Selectos en Teora de Cdigos. En la ltima dcada hemos presenciado numerosos y significativos avances en la teora de cdigos. El material de este curso se propone motivar el conocimiento de la teora de cdigos, as como presentar algunos de los ltimos avances alcanzados en esta disciplina. El curso inicia con una introduccin a la teora de la informacin de Shannon para despus discutir y analizar las propiedades y cotas tericas de cdigos especficos de correccin de error.

Tpicos Selectos en Visualizacin. Se revisan los fundamentos matemticos del modelado geomtrico de dominios en una, dos y tres dimensiones con un enfoque clsico y moderno. Se ve primero un estudio riguroso de las curvas y superficies como son: curvatura, torsin, curvaturas principales, curvatura media y total de Gauss, lneas de curvatura asinttica y no-asinttica, lneas

conjugadas, etc. En la segunda parte se estudia el ajuste de curvas y de superficies de slidos suaves (diferenciables), utilizando tanto interpolacin lineal y no lineal clsica. Se termina con las tcnicas de modelacin geomtricas basadas en funciones B-splines, curvas de Bezier y los parches de Coon y Fergunson.

Visin. En este curso se aplicarn las nociones de visin por Computadora (VC) en tres dimensiones. La meta de VC es deducir las propiedades y estructura de un mundo tridimensional a partir de una o ms vistas bidimensionales. Primero se estudiarn algunas tcnicas para procesamiento y anlisis de imagen y tambin se tratarn temas de visualizacin 3D, animacin y realidad virtual, para la creacin de modelos tridimensionales y para tener la habilidad de "navegar" a travs de ellos. La herramientas de trabajo sern la librera de procesamiento de imgenes scimagen, y Qt (www.trolltech.com) para el desarrollo de las interfaces grficas y Mesa (www.mesa3d.org) para interactuar con objetos tri-dimensionales.