Hacia la adaptación al crédito europeo en autómatas y lenguajes formales

Durante el curso 2006-2007 la asignatura Autómatas y Lenguajes Formales se ha incorporado al proyecto SICRE (Seguimiento para la Introducción de los CRéditos Europeos). El presente documento recoge cuál ha sido la orientación de la asignatura, principalmente en cuanto a actividades realizadas y resultados de las mismas.

Laboratorio asistido por autómatas.

Seleccionado en la convocatoria: Ayudas a la innovación e investigación educativa en centros docentes de niveles no universitarios, Gobierno de Aragón 2008-09

En torno al cuerpo humano : autómatas, máquinas, motores y 'cyborgs'.

Resumen tomado de la publicación

Apuntes básicos sobre programación de autómatas. OMRON : C20H.

Ejemplar fotocopiado

Simulación de una maqueta con autómatas y la tarjeta de I-O de Investrónica : memoria descriptiva y resumen.

Mención Honorífica de los Premios a la Innovación Educativa del CIDE 2000

Simulación de ecuaciones de reacción-difusión mediante autómatas de gas reticular : aplicación a vertidos costeros

Doctorado en Ciencias del Mar

Autómatas y automatismos en la narrativa rioplatense reciente

En este artículo se analiza la figura del autómata en la narrativa rioplatense reciente, a partir de los escritos ensayísticos de Edgar Allan Poe y de Lewis Mumford entre otros. Lejos del ideal romántico de progreso indefinido, la figura del autómata concentra un conjunto de ideas contradictorias sobre el sujeto, la sexualidad, el conocimiento científico, la creación y las costumbres sociales adquiridas y no; se trata de un conjunto de ideas que han sido exploradas tanto por el psicoanálisis como por el surrealismo francés y que ciertos textos de la escena literaria contemporánea ponen singularmente en foco

Autómatas y automatismos en la narrativa rioplatense reciente

En este artículo se analiza la figura del autómata en la narrativa rioplatense reciente, a partir de los escritos ensayísticos de Edgar Allan Poe y de Lewis Mumford entre otros. Lejos del ideal romántico de progreso indefinido, la figura del autómata concentra un conjunto de ideas contradictorias sobre el sujeto, la sexualidad, el conocimiento científico, la creación y las costumbres sociales adquiridas y no; se trata de un conjunto de ideas que han sido exploradas tanto por el psicoanálisis como por el surrealismo francés y que ciertos textos de la escena literaria contemporánea ponen singularmente en foco

Autómatas y automatismos en la narrativa rioplatense reciente

En este artículo se analiza la figura del autómata en la narrativa rioplatense reciente, a partir de los escritos ensayísticos de Edgar Allan Poe y de Lewis Mumford entre otros. Lejos del ideal romántico de progreso indefinido, la figura del autómata concentra un conjunto de ideas contradictorias sobre el sujeto, la sexualidad, el conocimiento científico, la creación y las costumbres sociales adquiridas y no; se trata de un conjunto de ideas que han sido exploradas tanto por el psicoanálisis como por el surrealismo francés y que ciertos textos de la escena literaria contemporánea ponen singularmente en foco

La teoría de la computación en las encrucijada de las teorías de autómatas y de la información

Este artículo de síntesis es la transposición de los dos primeros puntos de nuestra memoria de solicitud para la obtención de una de las becas del Fondo IBM del Centro de Cálculo de la Universidad de Madrid en su primera convocatoria (noviembre de 1968). El artículo representa un punto de vista personal sobre relaciones poco conocidas o discutidas entre diferentes aspectos de las teorías de los sistemas cibernéticos. Un año después (diciembre de 1969) el fruto de nuestro trabajo ha sido recogido en. una extensa memoria donde, junto a una presentación de origen bibliográfico, de la teoría de códigos lineales desde un ángulo matemático y en especial de los códigos cíclicos, se publica un conjunto de resultados originales en el campo de la detección y corrección de errores

Determinación del estado metabólico de pacientes con diabetes gestacional mediante autómatas finitos

Los nuevos criterios de diagnóstico de la diabetes gestacional recomendados por la IADPSGC disminuyen los efectos adversos de la hiperglucemia tanto en la madre como en el recién nacido, pero su aplicación supondría un aumento de la prevalencia llegando a triplicar el número de casos actual. Para que los Servicios de Endocrinología y Nutrición puedan hacer frente a la carga que supondría este aumento de prevalencia es necesario emplear nuevos procesos asistenciales que incluyan el uso de las TICs. Este trabajo presenta una herramienta de análisis automático de datos de monitorización que determina el estado metabólico de las pacientes con diabetes gestacional a partir de sus datos de glucemia, dieta y cetonuria. Su diseño se basa en dos autómatas finitos, uno para el análisis de la glucemia y de la dieta y el otro para el análisis de la cetonuria. La salida de ambos autómatas se combina para determinar el estado metabólico de la paciente a lo largo del tiempo. La herramienta se ha evaluado con datos retrospectivos de 25 pacientes pertenecientes al Hospital Parc Taulí de Sabadell comparando los 1288 estados metabólicos resultantes con los 47 ajustes de terapia realizados por el equipo médico. Se observó que el 91,49% de los cambios de tratamiento coincidieron con estados metabólicos deficientes determinados por la herramienta de análisis. La herramienta ayuda a diferenciar pacientes complejas que requieren una evaluación exhaustiva y un ajuste de terapia de las que tienen buen control metabólico y no necesitan ser evaluadas por el personal médico.

Sistemas dinámicos secuenciales y autómatas celulares

El estudio de los sistemas dinámicos es un campo importante de la investigación matemática actual. Estos pueden ser clasificados como sistemas dinámicos clásicos y sistemas dinámicos 100% discretos. A su vez los sistemas dinámicos clásicos se pueden dividir en sistemas dinámicos discretos y sistemas dinámicos continuos. El estudio de los sistemas dinámicos clásicos involucra herramientas de cálculo y geometría diferencial. En cambio los sistemas dinámicos 100% discretos se requiere utilizar herramientas de teoría de números, álgebra, combinatoria y teoría de grafos. Históricamente, los sistemas dinámicos llamados finitos sistemas dinámicos discretos no han recibido en modo alguna atención como la han tenido los sistemas continuos. Hay por supuesto muchas razones para esto, una de las cuales es el uso exitoso de las Ecuaciones Diferenciales Ordinarias (EDO’s) y Ecuaciones Diferenciales Parciales (EDP’s) como herramientas analíticas y descriptivas en las ciencias y sus aplicaciones.

Del diseño a la programación de sistemas de control para la automatización de procesos industriales basados en PLC`s

Actualmente las mayoría de sistemas de automatización industrial utilizan los Autómatas Programables (PLC - Programmable Logic Controller) como sistemas de control y el diseño de dicho sistema se realiza mediante el lenguaje de modelado Grafcet. SFCEdit es un editor de Grafcet que permite el diseño de estos sistemas de control y la exportación de los mismos en un formato XML. Resumen Por otra parte tenemos la norma IEC 61131-3 que busca estandarizar los lenguajes de programación de los PLC de esta manera no se tendría que usar un lenguaje distinto por cada fabricante, y la organización PLCOpen rigiéndose por la norma ha creado un formato XML para cada lenguaje, en los cuales se basa el traductor. Resumen Habitualmente el paso del diseño a la programación se realiza de forma manual. La automatización de este proceso es el objetivo general del proyecto realizado. En esté se ha desarrollado una herramienta que permite realizar la traducción del diseño gráfico al estándar IEC 61131-3 considerando las particularidades de algunos fabricantes de PLCs como Beckhoff (TwinCAT) y TSX Micro (PL7Pro). Además la herramienta realiza la traducción al formato XML de PLCOpen. Resumen El traductor funciona recibiendo un fichero XML (exportado de SFCEdit) procesa su información y genera los ficheros en función de la compatibilidad que el usuario seleccione.

Complemento práctico en la enseñanza de lenguajes formales usando las expresiones regulares en el contexto de aplicaciones web

Tradicionalmente la enseñanza de los autómatas y lenguajes formales basa su principal aplicación práctica en la construcción de compiladores. Sin embargo, las tareas de diseño y programación necesarias son excesivamente complejas como para que los estudiantes, que están cursando el tercer cuatrimestre de la Ingeniería, puedan abordarlas con el rigor necesario. Es posible incorporar otro enfoque práctico, real y más actual de las expresiones regulares en estas asignaturas, aprovechando su frecuente uso como herramienta de especificación de patrones a la hora de diseñar formularios de entrada de datos en diferentes contextos y, particularmente, en aplicaciones web de tres capas. El hecho de trabajar esta competencia junto con el desarrollo teórico de las expresiones regulares permite a los estudiantes ser conscientes de la importante utilidad práctica de este concepto, sin restringirlo a otros usos más clásicos relacionados con el diseño de procesadores de textos o analizadores léxicos. Durante el curso 2006-07 se ha propuesto a los estudiantes de Ingeniería Técnica en Informática de Sistemas de la Universidad del País Vasco desarrollar fragmentos de código basados en una notación formal para resolver problemas de reconocimiento de patrones. La experiencia se ha llevado a cabo utilizando concretamente la notación, inspirada en las expresiones regulares, de JavaScript, resultando viable, efectiva y bien valorada por parte de los estudiantes.

Control de seguimiento de trayectorias en sistemas no lineales con incertidumbre, aplicación a robots manipuladores Luis Alberto Rodríguez García

Tesis (Maestría en Ciencias en Ingeniería Eléctrica, con especialidad en Control). U. A. N. L.