Optimización de la distribución de LNG en una red paneuropea de transporte pesado de mercancías de larga distancia por carretera por medio de programación lineal

Actualmente, el transporte por carretera de mercancías de larga distancia está dominado por vehículos propulsados por diésel. Este combustible fósil derivado del petróleo puede ser parcialmente sustituido por otro combustible alternativo: el gas natural licuado (LNG). Su uso proporcionará una disminución de la dependencia de los estados productores de petróleo, es comparable en energía específica y densidad energética al diésel, es seguro, disminuye las emisiones contaminantes, en nivel de ruido y es actualmente más económico. Recopilar datos reales sobre el transporte por carretera en la EU27 (energía utilizada por este tipo de transporte, localización de las terminales de LNG operativas, determinar las reservas disponibles, calcular la población que va a cubrir y calcular la energía necesaria disponible para dar cobertura a esa población según la cantidad de energía per cápita utilizada para este tipo de transporte). Determinar las interconexiones a cubrir por la red paneuropea de transporte propuesta y decidir las localizaciones de las EESS a ser construidas para cubrir las recomendaciones de la EC de manera que ningún tramo supere los 400 km dentro de esos itinerarios. Calcular todas las distancias que separan cada terminal de LNG operatica de cada EESS (1300 distancias calculadas). Construir el modelo de programación lineal. Resolver, interpretar, validar y comprobar que es posible su utilización para la puesta en práctica del modelo propuesto, asumiendo la distribución total del LNG disponible y la minimización de los costes globales de distribución del mismo, desde el punto de vista económico. Se procederá buscando los datos en fuentes fiables que nos permitan realizar los cálculos necesarios para construir el modelo y resolviéndolo con el software adecuado a un modelo de estas dimensiones. Se ha conseguido una solución óptima, con la distribución total del LNG y minimizando los costes globales. Además, se ha obtenido movimiento de combustible en 76 de las 1300 variables, que han mostrado un déficit de terminales de almacenamiento de LNG para su distribución en el norte y centro de Europa, que se ve compensando con un flujo de transporte de este combustible desde la península ibérica principalmente y, en menor medida, desde Italia.

¿Se puede hablar de una metrología ilercavona? Sobre la posible existencia de una unidad de medida lineal en la Ilercavonia

A partir del análisis metrológico realizado en 4 asentamientos ibéricos del tramo final del Ebro, en la región ilercavona planteamos la utilización de una unidad de medida basada en un pie de 0,32 m. Su primera aplicación probable se identifica en la torre bipartita del Castellot de la Roca Roja de Benifallet (final del siglo v a.C.), pero será entre los siglos iii y ii a.C. cuando tendrá una mayor adaptación, como se puede apreciar en su uso en la trama urbana de El Castellet de Banyoles de Tivissa, el sistema defensivo de Sant Miquel de Vinebre y probablemente en el edificio singular del Perengil de Vinaròs. Su mayor difusión durante el siglo iii a.C. se relaciona con el momento de concentración de poblamiento en el territorio ilercavón en grandes núcleos, como El Castellet de Banyoles, dentro de un fenómeno de jerarquización del territorio que muestra un sistema económico centralizado de tipo protoestatal.

Hipertensión y edema pulmonar de altura. Rol de la disfunción endotelial y de la programación fetal [Pulmonary hypertension and lung edema at high altitude. Role of endothelial dysfunction and fetal programming].

High altitude constitutes an exciting natural laboratory for medical research. While initially, the aim of high-altitude research was to understand the adaptation of the organism to hypoxia and find treatments for altitude-related diseases, over the past decade or so, the scope of this research has broadened considerably. Two important observations led to the foundation for the broadening of the scientific scope of high-altitude research. First, high-altitude pulmonary edema (HAPE) represents a unique model which allows studying fundamental mechanisms of pulmonary hypertension and lung edema in humans. Secondly, the ambient hypoxia associated with high-altitude exposure facilitates the detection of pulmonary and systemic vascular dysfunction at an early stage. Here, we review studies that, by capitalizing on these observations, have led to the description of novel mechanisms underpinning lung edema and pulmonary hypertension and to the first direct demonstration of fetal programming of vascular dysfunction in humans.

Smooth height/age curves from stem analysis with linear programming

[Abstract]

A programming environment having three levels of complexity for mobile robotics = Entorno de programación con tres niveles de complejidad para robótica móvil

This paper presents a programming environment for supporting learning in STEM, particularly mobile robotic learning. It was designed to maintain progressive learning for people with and without previous knowledge of programming and/or robotics. The environment was multi platform and built with open source tools. Perception, mobility, communication, navigation and collaborative behaviour functionalities can be programmed for different mobile robots. A learner is able to programme robots using different programming languages and editor interfaces: graphic programming interface (basic level), XML-based meta language (intermediate level) or ANSI C language (advanced level). The environment supports programme translation transparently into different languages for learners or explicitly on learners’ demand. Learners can access proposed challenges and learning interfaces by examples. The environment was designed to allow characteristics such as extensibility, adaptive interfaces, persistence and low software/hardware coupling. Functionality tests were performed to prove programming environment specifications. UV BOT mobile robots were used in these tests

Fetal programming of pulmonary vascular dysfunction in mice: role of epigenetic mechanisms.

Insults during the fetal period predispose the offspring to systemic cardiovascular disease, but little is known about the pulmonary circulation and the underlying mechanisms. Maternal undernutrition during pregnancy may represent a model to investigate underlying mechanisms, because it is associated with systemic vascular dysfunction in the offspring in animals and humans. In rats, restrictive diet during pregnancy (RDP) increases oxidative stress in the placenta. Oxygen species are known to induce epigenetic alterations and may cross the placental barrier. We hypothesized that RDP in mice induces pulmonary vascular dysfunction in the offspring that is related to an epigenetic mechanism. To test this hypothesis, we assessed pulmonary vascular function and lung DNA methylation in offspring of RDP and in control mice at the end of a 2-wk exposure to hypoxia. We found that endothelium-dependent pulmonary artery vasodilation in vitro was impaired and hypoxia-induced pulmonary hypertension and right ventricular hypertrophy in vivo were exaggerated in offspring of RDP. This pulmonary vascular dysfunction was associated with altered lung DNA methylation. Administration of the histone deacetylase inhibitors butyrate and trichostatin A to offspring of RDP normalized pulmonary DNA methylation and vascular function. Finally, administration of the nitroxide Tempol to the mother during RDP prevented vascular dysfunction and dysmethylation in the offspring. These findings demonstrate that in mice undernutrition during gestation induces pulmonary vascular dysfunction in the offspring by an epigenetic mechanism. A similar mechanism may be involved in the fetal programming of vascular dysfunction in humans.

Python as a programming language for the introductory programming courses

Tämä kandidaatintyö tutkii tietotekniikan perusopetuksessa keskeisen aiheen,ohjelmoinnin, alkeisopetusta ja siihen liittyviä ongelmia. Työssä perehdytään ohjelmoinnin perusopetusmenetelmiin ja opetuksen lähestymistapoihin, sekä ratkaisuihin, joilla opetusta voidaan tehostaa. Näitä ratkaisuja työssä ovat mm. ohjelmointikielen valinta, käytettävän kehitysympäristön löytäminen sekä kurssia tukevien opetusapuvälineiden etsiminen. Lisäksi kurssin läpivientiin liittyvien toimintojen, kuten harjoitusten ja mahdollisten viikkotehtävien valinta kuuluu osaksitätä työtä. Työ itsessään lähestyy aihetta tutkimalla Pythonin soveltuvuutta ohjelmoinnin alkeisopetukseen mm. vertailemalla sitä muihin olemassa oleviin yleisiin opetuskieliin, kuten C, C++ tai Java. Se tarkastelee kielen hyviä ja huonoja puolia, sekä tutkii, voidaanko Pythonia hyödyntää luontevasti pääasiallisena opetuskielenä. Lisäksi työ perehtyy siihen, mitä kaikkea kurssilla tulisi opettaa, sekä siihen, kuinka kurssin läpivienti olisi tehokkainta toteuttaa ja minkälaiset tekniset puitteet kurssin toteuttamista varten olisi järkevää valita.

Aplicació dels mètodes de programació lineal per a l'optimització de recursos en projectes d'enginyeria d'edificació

S'apliquen els mètodes d'optimització que ofereix el mètode matemàtic de la programació lineal i es fa una valoració sobre aquesta aplicació en l'enginyeria d'edificació mitjançant exemples de problemes proposats.

Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification

Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at the object-language level. In spite of its expressive power, an important limitation in P-DeLP is that imprecise, fuzzy information cannot be expressed in the object language. One interesting alternative for solving this limitation is the use of PGL+, a possibilistic logic over Gödel logic extended with fuzzy constants. Fuzzy constants in PGL+ allow expressing disjunctive information about the unknown value of a variable, in the sense of a magnitude, modelled as a (unary) predicate. The aim of this article is twofold: firstly, we formalize DePGL+, a possibilistic defeasible logic programming language that extends P-DeLP through the use of PGL+ in order to incorporate fuzzy constants and a fuzzy unification mechanism for them. Secondly, we propose a way to handle conflicting arguments in the context of the extended framework.

A logic programming framework for possibilistic argumentation: formalization and logical properties

In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with explicit uncertainty, nor with vague knowledge, as defeasibility is directly encoded in the object language. This paper presents Possibilistic Logic Programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on G¨odel fuzzy logic. One of the applications of P-DeLP is providing an intelligent agent with non-monotonic, argumentative inference capabilities. In this paper we also provide a better understanding of such capabilities by defining two non-monotonic operators which model the expansion of a given program P by adding new weighed facts associated with argument conclusions and warranted literals, respectively. Different logical properties for the proposed operators are studied

Sherali-Adams Relaxations and Indistinguishability in Counting Logics

Two graphs with adjacency matrices $\mathbf{A}$ and $\mathbf{B}$ are isomorphic if there exists a permutation matrix $\mathbf{P}$ for which the identity $\mathbf{P}^{\mathrm{T}} \mathbf{A} \mathbf{P} = \mathbf{B}$ holds. Multiplying through by $\mathbf{P}$ and relaxing the permutation matrix to a doubly stochastic matrix leads to the linear programming relaxation known as fractional isomorphism. We show that the levels of the Sherali--Adams (SA) hierarchy of linear programming relaxations applied to fractional isomorphism interleave in power with the levels of a well-known color-refinement heuristic for graph isomorphism called the Weisfeiler--Lehman algorithm, or, equivalently, with the levels of indistinguishability in a logic with counting quantifiers and a bounded number of variables. This tight connection has quite striking consequences. For example, it follows immediately from a deep result of Grohe in the context of logics with counting quantifiers that a fixed number of levels of SA suffice to determine isomorphism of planar and minor-free graphs. We also offer applications in both finite model theory and polyhedral combinatorics. First, we show that certain properties of graphs, such as that of having a flow circulation of a prescribed value, are definable in the infinitary logic with counting with a bounded number of variables. Second, we exploit a lower bound construction due to Cai, Fürer, and Immerman in the context of counting logics to give simple explicit instances that show that the SA relaxations of the vertex-cover and cut polytopes do not reach their integer hulls for up to $\Omega(n)$ levels, where $n$ is the number of vertices in the graph.

Simulation Supported Robot Programming using XML

The main objective of this master's thesis is to study robot programming using simulation software, and also how to embed the simulation software into company's own robot controlling software. The further goal is to study a new communication interface to the assembly line's components -more precisely how to connect the robot cell into this new communication system. Conveyor lines are already available where the conveyors use the new communication standard. The robot cell is not yet capable of communicating with to other devices using the new communication protocols. The main problem among robot manufacturers is that they all have their own communication systems and programming languages. There has not been any common programming language to program all the different robot manufacturers robots, until the RRS (Realistic Robot Simulation) standards were developed. The RRS - II makes it possible to create the robot programs in the simulation software and it gives a common user interface for different robot manufacturers robots. This thesis will present the RRS - II standard and the robot manufacturers situation for the RRS - II support. Thesis presents how the simulation software can be embedded into company's own robot controlling software and also how the robot cell can be connected to the CAMX (Computer Aided Manufacturing using XML) communication system.

Dinámica no lineal en la motivación en el trabajo: propuesta de un modelo y resultados preliminares

Muchos especialistas estarían de acuerdo en que la motivación en el trabajo debe entenderse como un proceso dinámico. Sin embargo, son pocas las investigaciones que se han interesado por la descripción y explicación de dicha dinámica motivacional. Este artículo propone un modelo complejo de motivación en el trabajo que integra tres variables clásicas en la literatura: motivos, autoeficacia e instrumentalidad. El modelo incorpora los cambios que se producen en la motivación a lo largo del tiempo como consecuencia de la retroalimentación producida por la variable ejecución (evaluada con un indicador de compromiso). En una muestra de 271 personas se establecen las relaciones que configuran el modelo y, utilizando la simulación informática, se demuestra que la dinámica del modelo es estable sólo cuando los motivos de la persona cambian de manera caótica. Este fenómeno tiene una serie de consecuencias, tanto para la investigación como para la gestión, que son ampliamente discutidas.