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.

Diseño de la lógica programable de un sistema de monitorización de estructuras.

[ES]El objeto de este trabajo es desarrollar la lógica programable de una FPGA para un sistema de monitorización de estructuras. El diseño se compone de un generador de señales arbitrarias y un sistema de adquisición. El sistema de monitorización está dirigido al campo aeronáutico, pero se puede emplear en otras áreas.

Invariant-free deduction systems for temporal logic

In this thesis we propose a new approach to deduction methods for temporal logic. Our proposal is based on an inductive definition of eventualities that is different from the usual one. On the basis of this non-customary inductive definition for eventualities, we first provide dual systems of tableaux and sequents for Propositional Linear-time Temporal Logic (PLTL). Then, we adapt the deductive approach introduced by means of these dual tableau and sequent systems to the resolution framework and we present a clausal temporal resolution method for PLTL. Finally, we make use of this new clausal temporal resolution method for establishing logical foundations for declarative temporal logic programming languages. The key element in the deduction systems for temporal logic is to deal with eventualities and hidden invariants that may prevent the fulfillment of eventualities. Different ways of addressing this issue can be found in the works on deduction systems for temporal logic. Traditional tableau systems for temporal logic generate an auxiliary graph in a first pass.Then, in a second pass, unsatisfiable nodes are pruned. In particular, the second pass must check whether the eventualities are fulfilled. The one-pass tableau calculus introduced by S. Schwendimann requires an additional handling of information in order to detect cyclic branches that contain unfulfilled eventualities. Regarding traditional sequent calculi for temporal logic, the issue of eventualities and hidden invariants is tackled by making use of a kind of inference rules (mainly, invariant-based rules or infinitary rules) that complicates their automation. A remarkable consequence of using either a two-pass approach based on auxiliary graphs or aone-pass approach that requires an additional handling of information in the tableau framework, and either invariant-based rules or infinitary rules in the sequent framework, is that temporal logic fails to carry out the classical correspondence between tableaux and sequents. In this thesis, we first provide a one-pass tableau method TTM that instead of a graph obtains a cyclic tree to decide whether a set of PLTL-formulas is satisfiable. In TTM tableaux are classical-like. For unsatisfiable sets of formulas, TTM produces tableaux whose leaves contain a formula and its negation. In the case of satisfiable sets of formulas, TTM builds tableaux where each fully expanded open branch characterizes a collection of models for the set of formulas in the root. The tableau method TTM is complete and yields a decision procedure for PLTL. This tableau method is directly associated to a one-sided sequent calculus called TTC. Since TTM is free from all the structural rules that hinder the mechanization of deduction, e.g. weakening and contraction, then the resulting sequent calculus TTC is also free from this kind of structural rules. In particular, TTC is free of any kind of cut, including invariant-based cut. From the deduction system TTC, we obtain a two-sided sequent calculus GTC that preserves all these good freeness properties and is finitary, sound and complete for PLTL. Therefore, we show that the classical correspondence between tableaux and sequent calculi can be extended to temporal logic. The most fruitful approach in the literature on resolution methods for temporal logic, which was started with the seminal paper of M. Fisher, deals with PLTL and requires to generate invariants for performing resolution on eventualities. In this thesis, we present a new approach to resolution for PLTL. The main novelty of our approach is that we do not generate invariants for performing resolution on eventualities. Our method is based on the dual methods of tableaux and sequents for PLTL mentioned above. Our resolution method involves translation into a clausal normal form that is a direct extension of classical CNF. We first show that any PLTL-formula can be transformed into this clausal normal form. Then, we present our temporal resolution method, called TRS-resolution, that extends classical propositional resolution. Finally, we prove that TRS-resolution is sound and complete. In fact, it finishes for any input formula deciding its satisfiability, hence it gives rise to a new decision procedure for PLTL. In the field of temporal logic programming, the declarative proposals that provide a completeness result do not allow eventualities, whereas the proposals that follow the imperative future approach either restrict the use of eventualities or deal with them by calculating an upper bound based on the small model property for PLTL. In the latter, when the length of a derivation reaches the upper bound, the derivation is given up and backtracking is used to try another possible derivation. In this thesis we present a declarative propositional temporal logic programming language, called TeDiLog, that is a combination of the temporal and disjunctive paradigms in Logic Programming. We establish the logical foundations of our proposal by formally defining operational and logical semantics for TeDiLog and by proving their equivalence. Since TeDiLog is, syntactically, a sublanguage of PLTL, the logical semantics of TeDiLog is supported by PLTL logical consequence. The operational semantics of TeDiLog is based on TRS-resolution. TeDiLog allows both eventualities and always-formulas to occur in clause heads and also in clause bodies. To the best of our knowledge, TeDiLog is the first declarative temporal logic programming language that achieves this high degree of expressiveness. Since the tableau method presented in this thesis is able to detect that the fulfillment of an eventuality is prevented by a hidden invariant without checking for it by means of an extra process, since our finitary sequent calculi do not include invariant-based rules and since our resolution method dispenses with invariant generation, we say that our deduction methods are invariant-free.

Designing High Performance Factory Automation Applications on Top of DDS

13 p.

Rumbo al Gran Banco: una etnohistoria de la pesca industrial del bacalao en los Bancos de Terranova

[ES]Rumbo al Gran Banco parte de los comienzos de la pesca industrial del bacalao española en el primer tercio del siglo XX, la situación que allí encontraron, los avatares humanos y los avances tecnológicos que se van incorporando, la Guerra Civil y la guerra mundial, la bonanza pesquera, la incorporación de las parejas, la concurrencia, así como la exploración de todo el Gran Banco. La gestión por parte de Canadá de las doscientas millas marinas y la moratoria del bacalao. También se presenta la historia de la pesca en Galicia y Terranova a lo largo de todo el siglo XX, dos territorios que comparten el mismo océano y una mirada puesta en la mar.

Políticas de suelo industrial en Álava

(ES) En este artículo son analizadas las políticas de suelo industrial en Álava, uno de los tres territorios históricos o provincias), junto con Vizcaya y Guipúzcoa, que integra la Comunidad Autónoma del País Vasco (CAPV en adelante). En un primer apartado exponemos los planteamientos teóricos actuales que inspiran el diseño de las políticas en materia de suelo industrial y posteriormente valoramos las actuaciones y los resultados de los diferentes organismos que gestionan este tipo de suelo en Álava. Finalmente, avanzamos los resultados preliminares obtenidos mediante el SIG Alavamap.

Home-Automation System

Nuestro proyecto trata de obtener un sistema centralizado para el manejo y monitorización de un conjunto de aparatos eléctricos del hogar, tales como luces, cámaras, sensores, y otros aparatos mediante una aplicación para dispositivos móviles Android. También se facilita una herramienta web para administrar dichos aparatos. Nuestro sistema da soporte al manejo individual y manual de estos aparatos, por ejemplo encender una lámpara, así como la posibilidad de incluir programas que se ejecuten a una determinada hora, y con una determinada recurrencia. Por ejemplo, se puede programar el encendido de una luz todos los días a las 20:00. Además, también se pueden crear reglas que, dado una determinada situación, realicen una serie de acciones. Por ejemplo, si se detecta que la luminosidad baja de cierto valor (detectado mediante un sensor de luz), se encienda una lámpara. Para conseguir esto se ha realizado una aplicación centralizada, a modo de servidor, que se comunica con los aparatos eléctricos mediante diferentes protocolos de comunicación, así como con el dispositivo móvil Android, y una aplicación web administrativa, a través de un portal de servicios web.

Comunicaciones integradas feriales o como planificar con éxito una feria industrial

En este artículo se explica que la feria es una herramienta comercial utilizada habitualmente en el área de Marketing Industrial y que, a pesar de las ventajas que ofrece, recibe diversas críticas. Los frenos a su utilización están muy relacionados con la inversión que suponen tanto en recursos económicos como humanos. En definitiva, la feria es una herramienta con una gran potencialidad pero que requiere de un proceso de planificación riguroso y sistemático, con unos objetivos claros y definidos a partir de la estrategia de marketing global de la empresa. La aplicación del concepto de Comunicaciones Integradas Feriales pretende garantizar al expositor la optimización del esfuerzo realizado, maximizando el valor que las distintas herramientas de Marketing pueden aportar al programa ferial.

Cálculo y diseño de una nave industrial con puente grúa

Cálculo y dimensionamiento de una nave industrial para la producción y almacenaje de bombas hidráulicas de pequeño y gran tamaño, con grúa puente de capacidad 6,3 Tn y una zona de oficinas donde se ubican los distintos departamentos de la empresa. Redactado en castellano.

Diseño y cálculo de una nave industrial para instalación de cogeneración

Diseño y cálculo de una nave industrial para la posterior instalación de una planta de cogeneración.

Nave industrial para troquelería

Diseño y cálculo de una nave industrial destinada a ser una troquelería.

Carbon leakage and the future of Old Industrial Regions

4 p.

Carbon leakage and the future of Old Industrial Regions after Copenhagen

35 p.

Análisis y estudio técnico de una instalación industrial para la fabricación de tubos de acero sin costura

[ES]En este trabajo se analiza el proceso de fabricación de tubos de acero sin soldadura en la planta de Tubos Reunido Industrial (en lo sucesivo TRI) en la localidad alavesa de Amurrio. Además, se acompaña el análisis con puntualizaciones sobre las alternativas aplicables en cada paso del proceso y la conveniencia de aplicarlas en la planta estudiada. De esta manera se realiza un estudio de los procesos y equipos requeridos para los distintos pasos que se dan para fabricar tubos de acero sin soldadura de gran calidad a partir de chatarra de acero. Así mismo, dada la importancia de la calidad y el medio ambiente en la estrategia de TRI, se aporta también en este trabajo un resumen de los métodos utilizados en estas áreas.

Modelado y control de estación de célula de manipulación

[ES]El objetivo de este proyecto es el diseño e implementación del modelo de la estación FMS 201 (alimentación de la base) y el diseño e implementación del control de la estación. Esta estación pertenece a la serie FMS 200 (sistema didáctico modular de ensamblaje flexible) distribuido por la empresa SMC. Se dispone uno en el laboratorio de investigación del departamento de Ingeniería de Sistemas y Automática de la Escuela Superior de Ingeniería de Bilbao (EHU/UPV). Para el desarrollo e implementación del modelo se usará la herramienta informática Automation Studio. Para el control del modelo se usará el PLC. Para el intercambio de información entre modelo y controlador se utilizará la comunicación OPC Para el control de la estación se usa un PLC S7-300 de la marca SIEMENS. Se finaliza el documento realizando las pruebas de validación del modelo desarrollado, ejecutándose el programa de control en el PLC y corriendo el modelo desarrollado en el PC.