Especificación de procesos en industria química para la implantación de la producción en SAP R/3

En este proyecto se ha realizado un estudio en el campo del modelado de los procesos de negocio y sus notaciones. En concreto, se han analizado las notaciones BPMN y UML que se han usado para especificar los procesos en la gestión de la fabricación de una empresa química. Tras estas especificaciones, se ha realizado la comparación de estas dos notaciones con el fin de escoger la mejor de ellas para especificar procesos de negocio. A partir de la especificación de procesos, se ha descrito la implantación del módulo de fabricación de SAP en la misma empresa.

Especificación e implementación de una librería para el estudio de la secuencia de excentricidades de un grafo

Implementación de una librería en Java capaz de calcular grafos conexos, incluidos todos los grafos conexos no isomorfos a un orden dado y sus respectivas tablas de secuencias de excentricidades (para órdenes pequeños). Aparte se ha realizado un estudio del sistema Nauty y se han utilizado sus ficheros auxiliares.

Proyecto PupitreNet. La especificación del proyecto IMS : Instructional Management System.

Resumen tomado del autor

Especificación, diseño, implementación y validación de diferentes estructuras de material informatizado para enseñanza y aprendizaje con computadora de la Física mediante un entorno de autor mixto.

La hipótesis fundamental del trabajo se centra en conocer los efectos de determinadas metodologías (conductista, cognitiva y tradicional) en las que interviene la computadora, como recurso didáctico, para alumnos de Secundaria. Los temas se han aplicado a alumnos de Secundaria representativos de la población. Se validan estas metodologías comparándolas entre sí y con una tercera metodología sin el uso de computadora. Se han diseñado una serie de temas de Física para alumnado de Enseñanza Secundaria implementándolos mediante distintos lenguajes de programación, utilizando principalmente como soporte el sistema de autor SIETE (Sistema Informatizado en Español para el desarrollo de Temas de Enseñanza), desarrollado por el Departamento de Informática y Automática de la Universidad Complutense de Madrid. Se ha validado el software creado mediante: el tratamiento y análisis estadístico de los datos obtenidos del rendimiento académico, en cada caso, mediante pruebas cualitativas y cuantitativas utilizando distintos instrumentos: pruebas escritas, grabaciones de audio, grabaciones de vídeo, ecos informáticos, informes de observaciones, etc.; su valoración por profesorado en ejercicio. Se ha obtenido una valoración del software muy positiva, en particular el basado en la enseñanza de la Física mediante descubrimiento y aprendizaje significativo.

Extensión de la especificación IMS Learning Design desde la adaptación e integración de unidades de aprendizaje. `Extension of the IMS Learnin Design specification based on adaptation and integration of units of learning´.

La tesis se centra en el aprendizaje personalizado y en la integración de Unidades de Aprendizaje. El objetivo fundamental es mejorar la expresividad pedagógica de IMS-LD, refinando estructuras de modelado y arquitectura existentes y desarrollando estructuras complementarias que permitan una formalización más precisa, versátil y sencilla de procesos de aprendizaje adaptativo y de mecanismos y procesos de integración con sistemas de aprendizaje y otras especificaciones. En esta tesis se estudia la especificación desde la base, analizando su modelo de información y cómo se construyen Unidades de Aprendizaje. Se analiza la estructura de la especificación, basándose en un estudio teórico y una investigación práctica fruto del modelado de Unidades de Aprendizaje reales y ejecutables que proporcionan una información útil de base. A partir de este estudio, se analiza la integración de Unidades de Aprendizaje con otros sistemas y especificaciones, abarcando desde la integración mínima mediante un enlace directo hasta compartir variables y estados que permiten una comunicación en tiempo real de ambas partes. La conclusión es que IMS-LD necesita una reestructuración y modificación de ciertos elementos, así como la incorporación de otros nuevos, para mejorar una expresividad pedagógica y una capacidad de integración con otros sistemas de aprendizaje y estándares eLearning, si se pretenden alcanzar: la personalización del proceso de aprendizaje y la interoperabilidad real. La implantación de la especificación se vería mejorada si existieran unas herramientas de más alto nivel, preferiblemente con planteamiento visual, que permitieran un modelado sencillo por parte de los usuarios finales reales de este tipo de especificaciones, como son los profesores, los creadores de contenido y los pedagogos-didactas que diseñan la experiencia de aprendizaje.

La función de producción educativa : algunas conclusiones de interés en la especificación de los modelos de evaluación de la eficiencia productiva de los centros escolares.

Este artículo se incluye en el monográfico 'Economía de la Educación'

Proteo : lenguaje para la especificación de lenguajes específicos de dominio

Máster Universitario en Sistemas Inteligentes y Aplicaciones Numéricas en Ingeniería (SIANI)

Educar, Enseñar, Escolarizar : El problema de la especificación en el devenir de la Pedagogía [y la transmisión]

En este trabajo proponemos un recorrido a través de tres comeptos: Educar, Enseñar y Escolarizar para analizar, desde una perspectiva histórica, distintos recortes sobre cada uno de ellos. El objetivo es profundizar la idea de "especificación" como definición de la relación entre estos conceptos y sus posibles efectos sobre la prescripción pedagógica. En este sentido, consideramos que la Pedagogía constituye parte de este proceso de especificación a través de operaciones de objetivación del conocimiento. Proponemos también que el concepto de"crisis" de la educación, la enseñanza, la escuela, se apopya sobre un circuito de especificaciones que no permite pensar a la Pedagogía como forma de intervención. Para ello, el trabajo se organiza en cuatro puntos. En el primero se toma el concepto de Educar. Se procede a la construcción de una definición a través del recorrido por diversos autores y formas de entender dicha acción. La segunda parte focaliza sobre el concepto de Enseñar en relación con el de Educar. Se señalar ciertas marcas históricas en el proceso de especificación del concepto entre las que se encuentra la constitución del campo de la Pedagogía. En la tercera parte, se considera el concepto de Escolarizar en tanto formato de espeificación de la enseñanza moderna. La relación con la pedagogía como ciencia del"arte" de enseñar sumada a los dispositivos de la forma escolar moderna son aquí los puntos centrales. Finalmente, la última parte recupera el concepto de Transmisión en tanto posible nexo en esta secuencia de especificación. Intenta también dotar de un nuevo sentido a la acción pedagógica en el llamado contexto de "crisis" de la educación (de la enseñanza, de la escuela...).

Educar, Enseñar, Escolarizar : El problema de la especificación en el devenir de la Pedagogía [y la transmisión]

En este trabajo proponemos un recorrido a través de tres comeptos: Educar, Enseñar y Escolarizar para analizar, desde una perspectiva histórica, distintos recortes sobre cada uno de ellos. El objetivo es profundizar la idea de "especificación" como definición de la relación entre estos conceptos y sus posibles efectos sobre la prescripción pedagógica. En este sentido, consideramos que la Pedagogía constituye parte de este proceso de especificación a través de operaciones de objetivación del conocimiento. Proponemos también que el concepto de"crisis" de la educación, la enseñanza, la escuela, se apopya sobre un circuito de especificaciones que no permite pensar a la Pedagogía como forma de intervención. Para ello, el trabajo se organiza en cuatro puntos. En el primero se toma el concepto de Educar. Se procede a la construcción de una definición a través del recorrido por diversos autores y formas de entender dicha acción. La segunda parte focaliza sobre el concepto de Enseñar en relación con el de Educar. Se señalar ciertas marcas históricas en el proceso de especificación del concepto entre las que se encuentra la constitución del campo de la Pedagogía. En la tercera parte, se considera el concepto de Escolarizar en tanto formato de espeificación de la enseñanza moderna. La relación con la pedagogía como ciencia del"arte" de enseñar sumada a los dispositivos de la forma escolar moderna son aquí los puntos centrales. Finalmente, la última parte recupera el concepto de Transmisión en tanto posible nexo en esta secuencia de especificación. Intenta también dotar de un nuevo sentido a la acción pedagógica en el llamado contexto de "crisis" de la educación (de la enseñanza, de la escuela...).

Especificación, control de calidad y calidad superficial del hormigón visto autocompactante

Al abordar aspectos de calidad superficial en hormigones vistos nos encontramos con la carencia de clasificación de calidades de superficies que se puedan utilizar como referencia, lo que obliga a establecer patrones propios. Una vez identificados los defectos que van a discriminar entre categorías se plantea el problema de la cuantificación de defectos. Es necesario además establecer si existe relación entre el cumplimiento de las especificaciones de autocompactabilidad y las calidades obtenidas, actividad que se contrastó mediante el control de recepción de hormigón en obra y la tipificación de calidades obtenidas, en una promoción de viviendas. Recientemente la fib (Aesthetics in concrete) y ACHE (hormigón visto) han creado dos grupos de trabajo en esta temática.

Implementación de Algoritmos de Procesado de Señal sobre FPGA: Especificación, Reutilización y Exploración del Espacio de Diseño

Esta Tesis aborda el diseño e implementación de aplicaciones en el campo de procesado de señal, utilizando como plataforma los dispositivos reconfigurables FPGA. Esta plataforma muestra una alta capacidad de lógica, e incorpora elementos orientados al procesado de señal, que unido a su relativamente bajo coste, la hacen ideal para el desarrollo de aplicaciones de procesado de señal cuando se requiere realizar un procesado intensivo y se buscan unas altas prestaciones. Sin embargo, el coste asociado al desarrollo en estas plataformas es elevado. Mientras que el aumento en la capacidad lógica de los dispositivos FPGA permite el desarrollo de sistemas completos, los requisitos de altas prestaciones obligan a que en muchas ocasiones se deban optimizar operadores a muy bajo nivel. Además de las restricciones temporales que imponen este tipo de aplicaciones, también tienen asociadas restricciones de área asociadas al dispositivo, lo que obliga a evaluar y verificar entre diferentes alternativas de implementación. El ciclo de diseño e implementación para estas aplicaciones se puede prolongar tanto, que es normal que aparezcan nuevos modelos de FPGA, con mayor capacidad y mayor velocidad, antes de completar el sistema, y que hagan a las restricciones utilizadas para el diseño del sistema inútiles. Para mejorar la productividad en el desarrollo de estas aplicaciones, y con ello acortar su ciclo de diseño, se pueden encontrar diferentes métodos. Esta Tesis se centra en la reutilización de componentes hardware previamente diseñados y verificados. Aunque los lenguajes HDL convencionales permiten reutilizar componentes ya definidos, se pueden realizar mejoras en la especificación que simplifiquen el proceso de incorporar componentes a nuevos diseños. Así, una primera parte de la Tesis se orientará a la especificación de diseños basada en componentes predefinidos. Esta especificación no sólo busca mejorar y simplificar el proceso de añadir componentes a una descripción, sino que también busca mejorar la calidad del diseño especificado, ofreciendo una mayor posibilidad de configuración e incluso la posibilidad de informar de características de la propia descripción. Reutilizar una componente ya descrito depende en gran medida de la información que se ofrezca para su integración en un sistema. En este sentido los HDLs convencionales únicamente proporcionan junto con la descripción del componente la interfaz de entrada/ salida y un conjunto de parámetros para su configuración, mientras que el resto de información requerida normalmente se acompaña mediante documentación externa. En la segunda parte de la Tesis se propondrán un conjunto de encapsulados cuya finalidad es incorporar junto con la propia descripción del componente, información que puede resultar útil para su integración en otros diseños. Incluyendo información de la implementación, ayuda a la configuración del componente, e incluso información de cómo configurar y conectar al componente para realizar una función. Finalmente se elegirá una aplicación clásica en el campo de procesado de señal, la transformada rápida de Fourier (FFT), y se utilizará como ejemplo de uso y aplicación, tanto de las posibilidades de especificación como de los encapsulados descritos. El objetivo del diseño realizado no sólo mostrará ejemplos de la especificación propuesta, sino que también se buscará obtener una implementación de calidad comparable con resultados de la literatura. Para ello, el diseño realizado se orientará a su implementación en FPGA, aprovechando tanto los elementos lógicos generalistas como elementos específicos de bajo nivel disponibles en estos dispositivos. Finalmente, la especificación de la FFT obtenida se utilizará para mostrar cómo incorporar en su interfaz información que ayude para su selección y configuración desde fases tempranas del ciclo de diseño. Abstract This PhD. thesis addresses the design and implementation of signal processing applications using reconfigurable FPGA platforms. This kind of platform exhibits high logic capability, incorporates dedicated signal processing elements and provides a low cost solution, which makes it ideal for the development of signal processing applications, where intensive data processing is required in order to obtain high performance. However, the cost associated to the hardware development on these platforms is high. While the increase in logic capacity of FPGA devices allows the development of complete systems, high-performance constraints require the optimization of operators at very low level. In addition to time constraints imposed by these applications, Area constraints are also applied related to the particular device, which force to evaluate and verify a design among different implementation alternatives. The design and implementation cycle for these applications can be tedious and long, being therefore normal that new FPGA models with a greater capacity and higher speed appear before completing the system implementation. Thus, the original constraints which guided the design of the system become useless. Different methods can be used to improve the productivity when developing these applications, and consequently shorten their design cycle. This PhD. Thesis focuses on the reuse of hardware components previously designed and verified. Although conventional HDLs allow the reuse of components already defined, their specification can be improved in order to simplify the process of incorporating new design components. Thus, a first part of the PhD. Thesis will focus on the specification of designs based on predefined components. This specification improves and simplifies the process of adding components to a description, but it also seeks to improve the quality of the design specified with better configuration options and even offering to report on features of the description. Hardware reuse of a component for its integration into a system largely depends on the information it offers. In this sense the conventional HDLs only provide together with the component description, the input/output interface and a set of parameters for its configuration, while other information is usually provided by external documentation. In the second part of the Thesis we will propose a formal way of encapsulation which aims to incorporate with the component description information that can be useful for its integration into other designs. This information will include features of the own implementation, but it will also support component configuration, and even information on how to configure and connect the component to carry out a function. Finally, the fast Fourier transform (FFT) will be chosen as a well-known signal processing application. It will be used as case study to illustrate the possibilities of proposed specification and encapsulation formalisms. The objective of the FFT design is not only to show practical examples of the proposed specification, but also to obtain an implementation of a quality comparable to scientific literature results. The design will focus its implementation on FPGA platforms, using general logic elements as base of the implementation, but also taking advantage of low-level specific elements available on these devices. Last, the specification of the obtained FFT will be used to show how to incorporate in its interface information to assist in the selection and configuration process early in the design cycle.

Aplicación de la especificación Data Distribution Service (DDS) al control de glucosa en pacientes diabéticos

En este trabajo se ha investigado la posibilidad de utilizar el estándar DDS (Data Distribution Service) desarrollado por el OMG (Object Management Group) para la monitorización en tiempo real del nivel de glucosa en pacientes diabéticos. Dicho estándar sigue el patrón publicador/suscriptor de modo que, en la prueba de concepto desarrollada, los sensores del punto de cuidado son publicadores de los valores de glucosa de los pacientes y diferentes supervisores se suscriben a esa información. Estos supervisores reaccionan de la forma más adecuada a los valores y la evolución del nivel de glucosa en el paciente, por ejemplo, registrando el valor de la muestra o generando una alarma. El software de intermediación que soporta la comunicación de datos sigue el estándar DDS. Esto facilita por un lado la escalabilidad e interoperatividad de la solución desarrollada y por otro la monitorización de niveles de glucosa y la activación de protocolos predefinidos en tiempo real. La investigación se enmarca dentro del proyecto intramural PERSONA del CIBER-BBN, cuyo objetivo es el diseño de herramientas de soporte a la decisión para la monitorización continua de pacientes personalizadas e integradas en una plataforma tecnológica para diabetes.

Especificación del comportamiento observable de sistemas software concurrentes

El desarrollo de métodos de especificación formal de sistemas software y de los modelos que los informan, ha sido reconocido como una necesidad básica en la ingeniería del software. En la especificación de sistemas software secuenciales, tanto las especificaciones axiomáticas, como las procedentes de abstracciones(ya sean datos o procedimientos)