Quantified real constraint solving using modal intervals with applications to control

Les restriccions reals quantificades (QRC) formen un formalisme matemàtic utilitzat per modelar un gran nombre de problemes físics dins els quals intervenen sistemes d'equacions no-lineals sobre variables reals, algunes de les quals podent ésser quantificades. Els QRCs apareixen en nombrosos contextos, com l'Enginyeria de Control o la Biologia. La resolució de QRCs és un domini de recerca molt actiu dins el qual es proposen dos enfocaments diferents: l'eliminació simbòlica de quantificadors i els mètodes aproximatius. Tot i això, la resolució de problemes de grans dimensions i del cas general, resten encara problemes oberts. Aquesta tesi proposa una nova metodologia aproximativa basada en l'Anàlisi Intervalar Modal, una teoria matemàtica que permet resoldre problemes en els quals intervenen quantificadors lògics sobre variables reals. Finalment, dues aplicacions a l'Enginyeria de Control són presentades. La primera fa referència al problema de detecció de fallades i la segona consisteix en un controlador per a un vaixell a vela.

Restricciones, privilegios y violencias : algunos aspectos sobre los mudéjares hispánicos (ss. XII-XV)

En el presente trabajo nos proponemos abordar algunos aspectos relacionados con las restricciones, los privilegios y la violencia, que se implementaron sobre los mudéjares de Castilla, Aragón y Valencia. En relación con los primeros, daremos cuenta del endurecimiento legal –real y eclesiástico– que se desplegó hacia los moros hispánicos y que regló casi todos los aspectos del vivir cotidiano y de sus prácticas religiosas. Sin embargo, los mudéjares y sus aljamas en algún área en particular, fueron sujetos de privilegios reales. Es por esto que analizaremos restricciones y privilegios como dos caras de un mismo proceso que se desplegó durante el tránsito de la baja edad media. Finalmente, indagaremos sobre los episodios de violencia hacia los mudéjares contrastando particularidades regionales, para conectar estos sucesos con la segregación y la restricción.

El razonamiento moral como elemento constitutivo de la competencia ética: dilemas reales e hipotéticos en profesores de educación secundaria en México

El objetivo del presente texto es la indagación del razonamiento moral en los profesores de secundaria como un elemento de la competencia ética. Se realizó con dilemas morales hipotéticos (analizados y probados previamente para su validación y cuya fiabilidad se obtuvo a través del alfa de Cronbach) y con dilemas reales. Se aplicó a 264 profesores, miembros de la comunidad académica de la Escuela Normal Superior de Michoacán, México. Se analizó a través del programa estadístico Aquad 6. Entre los descubrimientos se encuentra una presencia mayoritaria de conflictos entre las normas éticas interpersonales con las normas de conformidad social y con las normas institucionales particulares. También que la justicia y la protección contra daños a los alumnos son valores presentes en los dilemas reales y una prevalencia en el razonamiento convencional de los profesores

Influencia de las restricciones medioambientales en el sector eléctrico

El objetivo de esta tesis es la caracterización de la generación térmica representativa de la existente en la realidad, para posteriormente proceder a su modelización y simulación integrándolas en una red eléctrica tipo y llevar a cabo estudios de optimización multiobjetivo económico medioambiental. Para ello, en primera instancia se analiza el contexto energético y eléctrico actual, y más concretamente el peninsular, en el que habiendo desaparecido las centrales de fuelóleo, sólo quedan ciclos combinados y centrales de carbón de distinto rango. Seguidamente se lleva a cabo un análisis de los principales impactos medioambientales de las centrales eléctricas basadas en combustión, representados sobre todo por sus emisiones de CO2, SO2 y NOx, de las medidas de control y mitigación de las mismas y de la normativa que les aplica. A continuación, a partir de las características de los combustibles y de la información de los consumos específicos, se caracterizan los grupos térmicos frente a las funciones relevantes que definen su comportamiento energético, económico y medioambiental, en términos de funciones de salida horarias dependiendo de la carga. Se tiene en cuenta la posibilidad de desnitrificación y desulfuración. Dado que las funciones objetivo son múltiples, y que están en conflicto unas con otras, se ha optado por usar métodos multiobjetivo que son capaces de identificar el contorno de puntos óptimos o frente de Pareto, en los que tomando una solución no existe otra que lo mejore en alguna de las funciones objetivo sin empeorarlo en otra. Se analizaron varios métodos de optimización multiobjetivo y se seleccionó el de las ε constraint, capaz de encontrar frentes no convexos y cuya optimalidad estricta se puede comprobar. Se integró una representación equilibrada de centrales de antracita, hulla nacional e importada, lignito y ciclos combinados en la red tipo IEEE-57, en la que se puede trabajar con siete centrales sin distorsionar demasiado las potencias nominales reales de los grupos, y se programó en Matlab la resolución de flujos óptimos de carga en alterna con el método multiobjetivo integrado. Se identifican los frentes de Pareto de las combinaciones de coste y cada uno de los tres tipos de emisión, y también el de los cuatro objetivos juntos, obteniendo los resultados de costes óptimos del sistema para todo el rango de emisiones. Se valora cuánto le cuesta al sistema reducir una tonelada adicional de cualquier tipo de emisión a base de desplazarse a combinaciones de generación más limpias. Los puntos encontrados aseguran que bajo unas determinadas emisiones no pueden ser mejorados económicamente, o que atendiendo a ese coste no se puede reducir más allá el sistema en lo relativo a emisiones. También se indica cómo usar los frentes de Pareto para trazar estrategias óptimas de producción ante cambios horarios de carga. ABSTRACT The aim of this thesis is the characterization of electrical generation based on combustion processes representative of the actual power plants, for the latter modelling and simulation of an electrical grid and the development of economic- environmental multiobjective optimization studies. In this line, the first step taken is the analysis of the current energetic and electrical framework, focused on the peninsular one, where the fuel power plants have been shut down, and the only ones remaining are coal units of different types and combined cycle. Then it is carried out an analysis of the main environmental impacts of the thermal power plants, represented basically by the emissions of CO2, SO2 y NOx, their control and reduction measures and the applicable regulations. Next, based on the combustibles properties and the information about the units heat rates, the different power plants are characterized in relation to the outstanding functions that define their energy, economic and environmental behaviour, in terms of hourly output functions depending on their load. Optional denitrification and desulfurization is considered. Given that there are multiple objectives, and that they go in conflictive directions, it has been decided the use of multiobjective techniques, that have the ability of identifying the optimal points set, which is called the Pareto front, where taken a solution there will be no other point that can beat the former in an objective without worsening it in another objective. Several multiobjective optimization methods were analysed and pondered, selecting the ε constraint technique, which is able to find no convex fronts and it is opened to be tested to prove the strict Pareto optimality of the obtained solutions. A balanced representation of the thermal power plants, formed by anthracite, lignite, bituminous national and imported coals and combined cycle, was integrated in the IEEE-57 network case. This system was selected because it deals with a total power that will admit seven units without distorting significantly the actual size of the power plants. Next, an AC optimal power flow with the multiobjective method implemented in the routines was programmed. The Pareto fronts of the combination of operative costs with each of the three emissions functions were found, and also the front of all of them together. The optimal production costs of the system for all the emissions range were obtained. It is also evaluated the cost of reducing an additional emission ton of any of the emissions when the optimal production mix is displaced towards cleaner points. The obtained solutions assure that under a determined level of emissions they cannot be improved economically or, in the other way, at a determined cost it cannot be found points of lesser emissions. The Pareto fronts are also applied for the search of optimal strategic paths to follow the hourly load changes.

Exploración y evaluación de mecanismos para la captura de la posición y postura de personas en entornos reales

El presente trabajo consiste en el estudio de la viabilidad en el uso de tres posibles opciones orientadas a la captura de la posición y la postura de personas en entornos reales, así como el diseño e implementación de un prototipo de captura en cada uno de ellos. También se incluye una comparativa con el fin de destacar los pros y los contras de cada solución. Una de las alternativas para llevarlo a cabo consiste en un sistema de tracking óptico por infrarrojos de alta calidad y precisión, como es Optitrack; la segunda se basa en una solución de bajo coste como es el periférico Kinect de Microsoft y la tercera consiste en la combinación de ambos dispositivos para encontrar un equilibrio entre precisión y economía, tomando los puntos fuertes de cada uno para contrarrestar sus debilidades. Uno de los puntos importantes del trabajo es que el uso de los prototipos de captura está orientado a entornos de trabajo reales (en concreto en la captura de los movimientos del personal que trabaja en un quirófano), así que han sido necesarias pruebas para minimizar el efecto de las fuentes de luz en los sistemas de infrarrojos, el estudio de los dispositivos para determinar el número de personas que son capaces de capturar a la vez sin que esto afecte a su rendimiento y el nivel de invasión de los dispositivos en los trabajadores (marcadores para el tracking), además de los mecanismos apropiados para minimizar el impacto de las oclusiones utilizando métodos de interpolación y ayudándose del conocimiento del contexto, las restricciones de movimiento del cuerpo humano y la evolución en el tiempo. Se han desarrollado conocimientos en el funcionamiento y configuración dispositivos como el sistema de captura Optitrack de Natural Point y el sistema de detección de movimiento Kinect desarrollado por Microsoft. También se ha aprendido el funcionamiento del entorno de desarrollo y motor de videojuegos multiplataforma homónimos Unity y del lenguaje de programación C# que utiliza dicho entorno para sus scripts de control, así como los protocolos de comunicación entre los distintos sistemas que componen los prototipos como son VRPN y NatNet.---ABSTRACT---This project is about a viability study in the use of three possible options, oriented towards the capture of the position and view of people in a real environment, as well as the design and implementation of a capturing prototype in each of them. A comparative study is also included, in order to emphasise the pros and cons of each solution. One of the alternatives consists of an optical tracking system via high quality and precision infrareds, like Optitrack; the second is based on a low cost solution, such as Microsoft’s Kinect peripheral, and the third consists on a combination of both devices to find a balance between precision and price, taking the strong points of each of the mechanisms to make up for the weaknesses. One of the important parts of this project is that the use of the capturing prototypes is directed towards real life work situations (specifically towards the capturing of the movements of surgery personnel), so various tests have been necessary in order to minimize the effect of light sources in infrared systems, the study of the devices to determine the number of people that they are capable of capturing simultaneously without affecting their performance and the invasion level of the devices towards the workers (tracking markers), as well as the mechanisms adopted to minimize the impact of the occlusions using interpolation methods and with help of the knowledge of the surroundings, the human movement restrictions and the passing of time. Knowledge has been developed on the functioning and configuration of the devices such as Natural Point’s Optitrak capturing system, and the Kinect movement detection system developed by Microsoft. We have also learned about the operating of the development and incentive environment of multiplatform videogames of namesake Unity and of C# programming language, which uses said environment for its control scripts, as well as communication protocols between the different systems that make up prototypes like VRPN and NatNet.

Aplicación del Aprendizaje Basado en Problemas para el estudio de Funciones Reales de Variables Reales

Duración (en horas): De 21 a 30 horas. Nivel educativo: Grado

Interacción corporal con el ordenador para niños con restricciones motoras

Para los niños el juego es la manera más natural de aprender. Mediante el juego los niños interactúan con su entorno. Cuando se trata de niños con graves restricciones motoras esta interacción se ve limitada. Es por esta razón por la que intentamos poner los medios existentes a su disposición. Este proyecto muestra una interfaz persona-computador para manejar un robot Lego Mindstorm RCX en un entorno virtual proyectado sobre una superficie. En todo momento el sistema es capaz de determinar la posición del robot mediante un sensor Microsoft Kinect. Pretende ser el primer paso en la creación de una interfaz persona-computador para niños con restricciones motoras que ayude en su rehabilitación.

Procedimiento de refutación para un conjunto de restricciones sobre documentos XML

We present a prototype that implements a set of logical rules to prove the satis ability for a class of speci cations on XML documents. Speci cations are given by means of constraints built on Boolean XPath patterns. The main goal of this tool is to test if a given speci cation is satis able or not, showing the history of the execution. It can also be used to test if a given document is a model of a given speci cation and, as a subproduct, it allows to look for all the relations (monomorphisms) between two patterns or the result of doing some operations by combining patterns in di erent ways. The results of these operations are visually shown and therefore the tool makes these operations more understandable. The implementation of the algorithm has been written in Prolog but the prototype has a Java interface for an easy and friendly use.

Hacia un ética universal para la profesión contable: análisis de las restricciones socioeconómicas y culturales en la convergencia del código de ética internacional

Máster en Dirección Empresarial desde la Innovación y la Internacionalización. Curso 2011/2012

Restricciones de igualdad sobre el dominio de los naturales

El objetivo de este proyecto consiste en implementar una aplicación que busca todos los modelos de una fórmula recibida como entrada. Esta fórmula de entrada pertenece a la lógica NatEq, la cual es un subconjunto de la lógica de primer orden. Esta lógica consta de un sólo predicado, que es la igualdad. Además, no contiene símbolos de funciones, incluye los cuantificadores universal y existencial, y se interpreta sobre el dominio de los números naturales N.

Contributions to learning Bayesian network models from weakly supervised data: Application to Assisted Reproductive Technologies and Software Defect Classification

162 p.

Distribución de automóviles y restricciones verticales a la libre competencia

[ES] Analisis del mercado de distribución de automoviles en la UE y las diferencias de precios existentes, tratando de determinar las posibles causas.

El precio de la gasolina en España: distribución con restricciones verticales

[ES] Hemos realizado un análisis estructural del mercado de la gasolina en España para conocer la manera en la que se establecen los precios de la gasolina en comparación con los de la Unión Europea. Para ello analizamos la cadena de valor de las empresas más destacadas del mercado, así como las distintas barreras de entrada que limitan la competencia. Por último, destacamos las restricciones verticales que estas imponen a sus distribuidores minorista y su incidencia en el precio final del producto.

Principales restricciones asociadas a la performance del mercado avícola en Colombia : pertubaciones en la transacción : sector primario - alimentos balanceados

Durante la última década el sector avícola colombiano ha evolucionado de manera favorable, sin embargo, aún no alcanza los niveles de competitividad suficientes como para llegar a rivalizar con los grandes oferentes internacionales como Estados Unidos, China y Brasil que concentran el 50 por ciento de la producción mundial; esto, debido principalmente a problemas internos de competitividad, entre ellos, la alta dependencia que tiene la industria de los alimentos balanceados sobre la materia prima importada (Maíz y Soya), que sumado a la continua volatilidad del mercado granario y las continuas fluctuaciones del tipo de cambio influyen directamente sobre el precio de los bienes finales de la cadena. Esta fuerte dependencia del componente importado, se genera por la debilidad actual que presenta el sector productivo de soya y maíz, resultado de los bajos niveles de tecnificación en cultivos y tecnología, contrastando con la industria de alimentos balanceados, quien cuenta con una alta inversión en activos específicos de tipo físico como las tecnologías de punta aplicadas a sus procesos y de tipo temporal por los altos rendimientos en su producción, aspecto que limita a la producción nacional, obligando a los productores de alimentos balanceados a importar de Argentina y Estados Unidos la mayoría de sus materias primas para satisfacer su demanda de materia prima, en este sentido, también se ha observado que ante la crisis mundial de alimentos estos países han modificado los precios del mercado y por ende se han visto diezmados los márgenes de utilidad de los productores avícolas colombianos. Aunado a lo anterior, se observan problemas de competitividad en la cadena avícola, representados en la ausencia de coordinación vertical entre todos sus eslabones, puesto que cada eslabón trabaja de manera independiente buscando fortalecerse a sí mismo, aumentando el oportunismo, el poder de mercado y por ende diezmando las capacidades del eslabón anterior. De otro lado; se observa una deficiencia en la formación de capital social y un mercado de tipo oligopólico, que retrasan el desarrollo del sector. A través del desarrollo de este trabajo se pretende describir el funcionamiento del eslabón primario y el eslabón producción alimentos balanceados, como principales generadores de conflicto en la cadena avícola colombiana, para hacerlo se describirá a la cadena, y se realiza un análisis estructural discreto, sumado a un análisis de las transacciones encontradas en cada uno de los eslabones

Estudio del sistema de agronegocios lechero de la Región Sierra del Ecuador : identificación de restricciones y oportunidades para mejorar su competitividad

La creciente ola de prosperidad y urbanización en Asia, África y América Latina fomenta el aumento en la demanda de productos lácteos. Una investigación realizada por Tetra PakDairyIndex en el 2011, proyecta un aumento de cerca de 25 por ciento en el consumo global de leche entre 2010 y 2020. América Latina reúne condiciones insuperables para aumentar sus producciones de leche y ser proveedor de la demanda del propio continente En Ecuador, se ha incrementado la producción de leche y productos lácteos, aunque sólo exporta el 1 por ciento de su producción, mientras que la población ecuatoriana todavía mantiene un bajo nivel de consumo de lácteos. Este hecho mantiene latentes las oportunidades para el desarrollo de la industria láctea y la ganadería nacional. El presente trabajo tiene por objetivo realizar un estudio del Sistema de Agronegocios lechero de la Región Sierra de Ecuador, el cuál permita conocer su desarrollo y limitaciones, y a partir de las mismas proponer alternativas de mejora competitiva. Se utiliza el método EPESA el cual establece los lineamientos para el estudio de sistemas de agronegocios desde una óptica sistémica y utilizando como marco teórico de la nueva economía institucional. Se realizó un análisis de fuentes de información secundaria así como también se realizaron entrevistas con informantes calificados dada la escasez de información a nivel nacional. El SAG lechero de la Región Sierra cuenta con dos subsistemas: el subsistema formal y el informal, surgen a partir del bajo enforcement institucional y una demanda local que prefiere lácteos no pasteurizados y "directo del campo". Es por ello que se observan mayores niveles de tecnificación, productividad, inocuidad, sanidad y calidad en el subsistema formal, lo que lleva a competencia desleal entre ambos subsistemas. Otro aspecto se refiere a las transacciones, las cuales en general todas las transacciones del sistema (y en ambos subsistemas) son de altos niveles de incertidumbre y costos de transacción, a pesar que en el subsistema formal se observan contratos. Del análisis competitivo se observa en comparación con el SAG lechero del Uruguay, el SAG lechero cuenta desventajas competitivas en factores tecnológicos avanzados (status sanitario, genética, disponibilidad y uso de maquinaria), también en la demanda (dado el bajo consumo per cápita y una demanda de baja exigencia en calidad, y bajas exportaciones), la baja presencia en el sistema de organismos de investigación y organizaciones gremiales, y la ausencia de cooperativas sumado a una alta atomización de los productores. Este estudio ha sido clave para proponer una alternativa de mejora competitiva del sistema, el cual se resume en la creación de un organismo público-privado (CONALECH) que coordine y dictamine las estrategias que el sistema debe seguir.