Desarrollo dirigido por modelos para la simulación de tráfico rodado basada en agentes

El tráfico rodado es un fenómeno importante en las sociedades modernas, de ahí la relevancia de su estudio. La complejidad de las relaciones entre los individuos y otros objetos involucrados en él, junto a la cantidad y variedad de variables y parámetros que le afectan, hacen que su análisis en un entorno real sea muy complejo y costoso. Las simulaciones de tráfico son una herramienta para abordar este problema. Permiten reducir la cantidad de datos reales a considerar y simplificar la complejidad de ciertas operaciones, y ofrecen un entorno controlado donde realizar los experimentos. Sin embargo, las simulaciones tienen también sus inconvenientes. Los modelos más genéricos requieren simplificaciones muy importantes que los alejan de la realidad plausible, centrándose en muy pocas características. Los modelos que consideran más factores deben ser muy específicos para conseguir mantener tratable su especificación, análisis y complejidad computacional. Además, el desarrollo de estas simulaciones suele requerir expertos con diferentes perfiles (por ejemplo, en tráfico y en las plataformas de simulación). Esta heterogeneidad causa frecuentemente problemas de comunicación y comprensión en los equipos de desarrollo...

Semántica de simulación para relaciones de conformidad

Esta tesis trata de las llamadas relaciones de conformidad que pueden darse entre dos sistemas cualesquiera, especificación e implementación. Como novedad introduce el uso de técnicas coinductivas para la definición de iocos, una relación de conformidad capaz de distinguir el contexto local de ejecución de un proceso. Al constituir iocos la parte central de una nueva teoría de Model Based Testing (MBT), se precisa de una descripción formal de los sistemas en juego; esto se lleva a cabo en primera instancia mediante sistemas de transiciones etiquetadas y posteriormente mediante un enfoque más abstracto, un álgebra de procesos. Las teorías de testing tienen por objeto confirmar las relaciones de conformidad mediante la ejecución de un conjunto de tests sobre un sistema –la implementación– cuya estructura interna se desconoce. Particularmente los beneficios de un enfoque MBT son inmediatos, ya que la generación de los tests puede abordarse de manera sistemática una vez se disponga de un modelo formal de la especificación, lo que contribuye a eliminar el error imputable al factor humano; esto se logra dando un algoritmo generador de tests que toma cono entrada una especificación y produce un conjunto de tests, posiblemente infinito, suficientemente representativo para asegurar la relación de conformidad. Este enfoque inicial, conocido como testing offline o testing estático, es mejorado para ganar en eficiencia evitando un alto consumo en recursos tanto de tiempo como de memoria mediante la técnica de testing online o testing dinámico, donde ambos pasos de generación y ejecución se ejecutan de manera alternada...

Simulación de Sucesos Discretos. Prácticas en casos reales con R. Competición de estudiantes de simulación

La Simulación de Sucesos Discretos (SSD)es una metodología que permite aplicar los procedimientos de simulación estocástica, para representar un sistema en el que las variables aleatorias que lo componen están relacionadas entre si. En esta monografía se recogen distintos casos reales en los que puede aplicarse SSD junto con su implementación en R y resultados finales.

Interfaz software/hardware entre Raspberry Pi y FPGA Spartan-6 y su aplicación a simulación dirigida por eventos

Hoy día vivimos en la sociedad de la tecnología, en la que la mayoría de las cosas cuentan con uno o varios procesadores y es necesario realizar cómputos para hacer más agradable la vida del ser humano. Esta necesidad nos ha brindado la posibilidad de asistir en la historia a un acontecimiento sin precedentes, en el que la cantidad de transistores era duplicada cada dos años, y con ello, mejorada la velocidad de cómputo (Moore, 1965). Tal acontecimiento nos ha llevado a la situación actual, en la que encontramos placas con la capacidad de los computadores de hace años, consumiendo muchísima menos energía y ocupando muchísimo menos espacio, aunque tales prestaciones quedan un poco escasas para lo que se requiere hoy día. De ahí surge la idea de comunicar placas que se complementan en aspectos en las que ambas se ven limitadas. En nuestro proyecto desarrollaremos una interfaz s oftware/hardware para facilitar la comunicación entre dos placas con distintas prestaciones, a saber, una Raspberry Pi modelo A 2012 y una FPGA Spartan XSA3S1000 con placa extendida XStend Board V3.0. Dicha comunicación se basará en el envío y recepción de bits en serie, y será la Raspberry Pi quien marque las fases de la comunicación. El proyecto se divide en dos partes: La primera parte consiste en el desarrollo de un módulo para el kernel de Linux, que se encarga de gestionar las entradas y salidas de datos de la Raspberry Pi cuando se realizan las pertinentes llamadas de write o read. Mediante el control de los GPIO y la gestión de las distintas señales, se realiza la primera fase de la comunicación. La segunda parte consiste en el desarrollo de un diseño en VHDL para la FPGA, mediante el cual se pueda gestionar la recepción, cómputo y posterior envío de bits, de forma que la Raspberry Pi pueda disponer de los datos una vez hayan sido calculados. Ambas partes han sido desarrolladas bajo licencias libres (GPL) para que estén disponibles a cualquier persona interesada en el desarrollo y que deseen su reutilización.

Modelización y simulación de la configuración de un campo solar para centrales termosolares de torre: influencia de la óptica del concentrador sobre la generación de energía

Las energías renovables como alternativa a las plantas de producción eléctrica tradicionales que utilizan combustibles fósiles, suponen hoy en día una solución a los problemas de dependencia energética, y emisiones de CO2 no deseadas a la atmósfera, habiéndose producido un fuerte desarrollo en la tecnología especialmente eólica y solar en la última década. Empresas como Abengoa, Acciona, Aries, ACWA, Sener, Brightsource entre otras, están apostando fuerte por la energía solar, y es concretamente dentro de la compañía Abengoa, dónde surge la propuesta de esta tesis doctoral. El estudio aquí realizado surge como resultado del trabajo desempeñado dentro del Departamento de Investigación y Desarrollo de Abengoa Solar New Technologies, y posteriormente dentro de Abengoa Research, empresa creada para concentrar el I+D de toda la compañía. El objetivo final consiste en optimizar las plantas solares termoeléctricas de torre, centrándonos en el campo de heliostatos (espejos) que lo componen y en su influencia sobre la producción eléctrica de la planta pudiendo así facilitar unas pautas de optimización del campo según el tipo de heliostato utilizado, y plantear una alternativa a la configuración de campos de heliostatos ya existente. Para ello, se estudian dos posibles escenarios, en el que se contemplan dos tipos de facetas diferentes, siendo las facetas las diferentes unidades o espejos por los que está constituido el heliostato. Un primer escenario que consiste en un campo de heliostatos con facetas esféricas, y un segundo escenario que consiste en heliostatos con facetas planas, estando dichas facetas en ambos casos canteadas esféricamente, es decir, orientadas su normales adecuadamente para que conformen una superficie “imaginaria”, lo más cercana posible a la esférica...

COMPENDIUM: una herramienta de generación de resúmenes modular

En este artículo presentamos COMPENDIUM, una herramienta de generación de resúmenes de textos modular. Esta herramienta se compone de un módulo central con cinco etapas bien diferenciadas: i) análisis lingüístico; ii) detección de redundancia; iii) identificación del tópico; iv) detección de relevancia; y v) generación del resumen, y una serie de módulos adicionales que permiten incrementar las funcionalidades de la herramienta permitiendo la generación de distintos tipos de resúmenes, como por ejemplo orientados a un tema concreto. Realizamos una evaluación exhaustiva en dos dominios distintos (noticias de prensa y documentos sobre lugares turísticos) y analizamos diferentes tipos de resúmenes generados con COMPENDIUM (mono-documento, multi-documento, genéricos y orientados a un tema). Además, comparamos nuestro sistema con otros sistemas de generación de resúmenes actuales. Los resultados que se obtienen demuestran que la herramienta COMPENDIUM es capaz de generar resúmenes competitivos para los distintos tipos de resúmenes propuestos.

Programación y simulación de un PLC

Manual de la Práctica 1. Programación y Simulación de un PLC

Importancia de la caracterización de la masa de raíces en la simulación de ecosistemas forestales

Los análisis de sensibilidad son una herramienta importante para comprender el funcionamiento de los modelos ecológicos, así como para identificar los parámetros más importantes en su funcionamiento. Además, los análisis de sensibilidad pueden utilizarse para diseñar de forma más efectiva planes de muestreo de campo dirigidos a calibrar los modelos ecológicos. En los estudios de ecosistemas forestales, el análisis cuantitativo de la parte subterránea es mucho más costoso y complicado que el estudio de la parte aérea, en especial el estudio de la dinámica de producción y descomposición de raíces gruesas y finas de los árboles. En este trabajo se muestra un ejemplo de análisis de sensibilidad del modelo forestal FORECAST a parámetros que definen la biomasa, longevidad y concentración de nitrógeno en las raíces de los árboles. El modelo se calibró para simular dos rodales de pino silvestre (Pinus sylvestris) en los Pirineos de Navarra. Los resultados indican que la tasa de renovación de raíces finas es el parámetro más influyente en las estimaciones del modelo de crecimiento de los árboles, seguida de la concentración de N en las mismas, siendo la relación biomasa subterránea/total el parámetro al cual el modelo es menos sensible. Además, el modelo es más sensible a los parámetros que definen el componente subterráneo de la biomasa arbórea cuando simula un sitio de menor capacidad productiva y mayor limitación por nutrientes.

Integration of modular process simulators under the Generalized Disjunctive Programming framework for the structural flowsheet optimization

The optimization of chemical processes where the flowsheet topology is not kept fixed is a challenging discrete-continuous optimization problem. Usually, this task has been performed through equation based models. This approach presents several problems, as tedious and complicated component properties estimation or the handling of huge problems (with thousands of equations and variables). We propose a GDP approach as an alternative to the MINLP models coupled with a flowsheet program. The novelty of this approach relies on using a commercial modular process simulator where the superstructure is drawn directly on the graphical use interface of the simulator. This methodology takes advantage of modular process simulators (specially tailored numerical methods, reliability, and robustness) and the flexibility of the GDP formulation for the modeling and solution. The optimization tool proposed is successfully applied to the synthesis of a methanol plant where different alternatives are available for the streams, equipment and process conditions.

Simulación de la propagación del malware: modelos continuos vs. modelos discretos

La gran mayoría de modelos matemáticos propuestos hasta la fecha para simular la propagación del malware están basados en el uso de ecuaciones diferenciales. Dichos modelos son analizados de manera crítica en este trabajo, determinando las principales deficiencias que presentan y planteando distintas alternativas para su subsanación. En este sentido, se estudia el uso de los autómatas celulares como nuevo paradigma en el que basar los modelos epidemiológicos, proponiendo una alternativa explícita basada en ellos a un reciente modelo continuo.

La enseñanza de robótica en el Máster en Automática y Robótica mediante un robot modular

Este trabajo muestra cómo se realiza la enseñanza de robótica mediante un robot modular y los resultados educativos obtenidos en el Máster Universitario en Automática y Robótica de la Escuela Politécnica Superior de la Universidad de Alicante. En el artículo se describen los resultados obtenidos con el uso de este robot modular tanto en competencias genéricas como específicas, en las enseñanzas de electrónica, control y programación del Máster. En este artículo se exponen los objetivos de aprendizaje para cada uno de ellos, su aplicación a la enseñanza y los resultados educativos obtenidos. En los resultados del estudio, cabe destacar que el alumno ha mostrado mayor interés y ha fomentado su aprendizaje autónomo. Para ello, el robot modular se construyó con herramientas para fomentar este tipo de enseñanza y aprendizaje, tales como comunicaciones interactivas para monitorizar, cambiar y adaptar diversos parámetros de control y potencia del robot.

Desarrollo de un robot modular para la enseñanza en el Máster en Automática y Robótica

Este trabajo presenta el diseño, construcción y programación de un robot modular para el desarrollo tanto de competencias genéricas como específicas, en las enseñanzas de electrónica, control y programación del Master de Automática y Robótica de la Escuela Politécnica Superior de la Universidad de Alicante. En este trabajo se exponen los diferentes módulos propuestos, así como los objetivos de aprendizaje para cada uno de ellos. Uno de los factores más importantes a destacar en el presente estudio es el posible desarrollo de la creatividad y el aprendizaje autónomo. Para ello, se desarrollará especialmente un módulo de comunicación por bluetooth que servirá para monitorizar, cambiar y adaptar on-line diversos parámetros de control y potencia del robot. Además, dicha herramienta se ha introducido como parte de la metodología en las asignaturas del Máster de Electromecánica y Sistemas de Control Automático. En esta memoria se mostrarán los distintos resultados obtenidos durante y en la finalización de este trabajo.

Identification of YAP as sperm-PAWP’s predominant binding partner in MII-arrested oocytes and the relevance of this WWI domain modular interaction to oocyte activation

PAWP, a candidate sperm-borne oocyte activating factor, induces oocyte activation and acts upstream of the calcium signalling pathway, however, PAWP’s downstream signalling pathway in oocyte cytoplasm remains to be uncovered. Data from our lab suggested that the interacting partner of PAWP, at least in the frog (Xenopus laevis) model may be YAP, a highly expressed protein in amphibian and mammalian oocytes. Therefore, the objectives of this study were to confirm that PAWP’s predominant binding partner in Xenopus laevis oocyte is YAP; to determine if mammalian oocyte activation is also dependent on PAWP-YAP interaction; and to verify that the PAWP-YAP interaction during oocyte activation is dependent on the WWI domain module. By immunohistochemistry, YAP was localized predominantly in the cytosol of metaphase II-arrested Xenopus laevis oocytes, where presumably the PAWP-YAP interaction occurs. Utilizing Far Western blotting, YAP was identified as the predominant binding partner of PAWP, in metaphase II-arrested frog (Xenopus laevis), swine (Sus scrofa) and mouse (mus musculus) oocytes. The specificity of this interaction was then tested on Far Western blotting of mouse ovarian and oocyte cytosolic extracts, by competition with both wild-type and point-mutated recombinant WWI domains derived from YAP. The removal of GST from the wild-type WWI-GST fusion protein was a requirement for effective blockage of WWI module interaction between PAWP and YAP. As expected, the mutated WWI domain was ineffective in inhibiting the PAWP-YAP interaction. To conclude, this study identified YAP as the predominant binding partner of PAWP in both amphibian and mammalian oocytes, and showed this interaction is dependent on the WWI modular interaction. The results allow us to test the functional relevance of this WWI modular interaction during oocyte activation in vivo, in the future.