Resolución de los problemas MaxSAT y MinSAT mediante programación lineal entera

Presentación de una traducción de los problemas MaxSAT y MinSAT a un problema de programación lineal entera e implementación de un resolutor MaxSAT y MinSAT usando Python y el software de programación lineal entera CPLEX. Evaluación de los resultados comparándolos con los de la MaxSAT Evaluation 2010.

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.

Matemática económica con programación lineal

La percepción del joven estudiante de economía es que la práctica con ejercicios es lo único que debe saber. Ésta percepción se puede cambiar con la Programación Lineal ya que unimos teoría y práctica y, al mismo tiempo, mejoramos la capacidad de modelar situaciones económicas y además, hacemos énfasis en el uso de las matemáticas como herramienta eficaz en la mejora de las actividades propias.

La capitación en la financiación territorial de los servicios públicos transferidos: el caso de la sanidad y de la educación

Se ofrece en el presente trabajo un estudio empírico sobre la garantíade suficiencia y equidad en la distribución territorial de los recursos sanitarios que se derivaría de una posible incorporación de la financiación sanitaria en la financiación autonómica general. Se pretende con ello analizar hasta que extremo el no ajuste por el grado de envejecimiento relativo en la transferencia del gasto sanitario a las CC.AA. compensa el asumir unos menores costes en educación, transferencia financiada igualmente con criterio poblacional puro. Se muestran para el caso español algunos escenarios de participación en una cesta general de impuestos que satisfagan los niveles de financiación requeridos para el conjunto de servicios anteriores, a través de un sencillo ejercicio de programación lineal, adoptando la estrategia del espacio fiscal en la financiación autonómica.

Characterisation of neutron spectra in mixed high energy fields in lineal accelerators: response functions validation

Actualment, la resposta de la majoria d’instrumentació operacional i dels dosímetres personals utilitzats en radioprotecció per a la dosimetria neutrònica és altament dependent de l’energia dels espectres neutrònics a analitzar, especialment amb camps neutrònics amb una important component intermitja. En conseqüència, la interpretació de les lectures d’aquests aparells es complicada si no es té un coneixement previ de la distribució espectral de la fluència neutrònica en els punts d’interès. El Grup de Física de les Radiacions de la Universitat Autònoma de Barcelona (GFR-UAB) ha desenvolupat en els últims anys un espectròmetre de neutrons basat en un Sistema d’Esferes Bonner (BSS) amb un contador proporcional d’3He com a detector actiu. Els principals avantatges dels espectròmetres de neutrons per BSS són: la seva resposta isotròpica, la possibilitat de discriminar la component neutrònica de la gamma en camps mixtos, i la seva alta sensibilitat neutrònica als nivells de dosi analitzats. Amb aquestes característiques, els espectròmetres neutrònics per BSS compleixen amb els estándards de les últimes recomanacions de la ICRP i poden ser utilitzats també en el camp de la dosimetria neutrònica per a la mesura de dosis en el rang d’energia que va dels tèrmics fins als 20 MeV, en nou ordres de magnitud. En el marc de la col•laboració entre el GFR - UAB i el Laboratorio Nazionale di Frascati – Istituto Nazionale di Fisica Nucleare (LNF-INFN), ha tingut lloc una experiència comparativa d’espectrometria per BSS amb els feixos quasi monoenergètics de 2.5 MeV i 14 MeV del Fast Neutron Generator de l’ENEA. En l’exercici s’ha determinat l’espectre neutrònic a diferents distàncies del blanc de l’accelerador, aprofitant el codi FRUIT recentment desenvolupat pel grup LNF. Els resultats obtinguts mostren una bona coherència entre els dos espectròmetres i les dades mesurades i simulades.

La Sexta: proceso de lanzamiento y estrategias de programación

En aquest treball es descriu i s’analitza el procés de llançament de La Sexta i les estratègies de programació d’aquesta nova cadena. Amb aquest naixement s’amplia la oferta de televisió analògica a Espanya, paradòxicament en un context de digitalització de les emissions per ones.

Extracción de parámetros de un resonador FBAR por optimización

L’objectiu d’aquest projecte que consisteix a elaborar un algoritme d’optimització que permeti, mitjançant un ajust de dades per mínims quadrats, la extracció dels paràmetres del circuit equivalent que composen el model teòric d’un ressonador FBAR, a partir de les mesures dels paràmetres S. Per a dur a terme aquest treball, es desenvolupa en primer lloc tota la teoria necessària de ressonadors FBAR. Començant pel funcionament i l’estructura, i mostrant especial interès en el modelat d’aquests ressonadors mitjançant els models de Mason, Butterworth Van-Dyke i BVD Modificat. En segon terme, s’estudia la teoria sobre optimització i programació No-Lineal. Un cop s’ha exposat la teoria, es procedeix a la descripció de l’algoritme implementat. Aquest algoritme utilitza una estratègia de múltiples passos que agilitzen l'extracció dels paràmetres del ressonador.

Programación de un robot autónomo: diseño, construcción, programación e integración de un robot autónomo en el entorno Pyro

En aquest projecte, s'ha dissenyat, construït i programat un robot autònom, dotat de sistema de locomoció i sensors que li permeten navegar sense impactar en un entorn controlat. Per assolir aquests objectius s'ha dissenyat i programat una unitat de control que gestiona el hardware de baix volum de dades amb diferents modes d'operació, abstraient-lo en una única interfície. Posteriorment s'ha integrat aquest sistema en l'entorn de robòtica Pyro. Aquest entorn permet usar i adaptar, segons es necessiti, eines d'intel·ligència artificial ja desenvolupades.

onductivitat tèrmica i índex de refracció no lineal dels compostos KRE(WO4)2 (RE=Gd,Y, Yb and Lu)

Projecte de recerca elaborat a partir d’una estada al Max Born Institute for Nonlinear Optics and Short Pulse Spectroscopy entre setembre i desembre 2007. Els materials monocristal•lins tungstats dobles de potassi i terra rara, KRE(WO4)2, a partir d'ara KREW, són en l'actualitat un material competitiu com a material actiu per sistemes de làser d'estat sòlid. Aquests materials monoclínics són fàcils de dopar amb altres densitats de ions lantànid, Ln3+, i a més presenten unes seccions eficaces d'absorció i d'emissió, molt elevades. Dins d’aquesta família, destaca el KLuW; degut als seus millors resultats com a material làser. Durant aquesta estada d’un mes al laboratori Max Born de Berlin, s’han realitzat les mesures de conductivitat tèrmica d’aquest material, per tal de obtenir el seu tensor de segon ordre de conductivitat tèrmica. El bombeig òptic dels materials làser d’estat sòlid genera calor com a resultat de la termalització en els multiplets, de les relaxacions no-radiatives i de les absorcions residuals (defectes, impureses). Per tant, el coneixement de les propietats tèrmiques de qualsevol material actiu és essencial pel disseny de la cavitat làser i l’avaluació de la funció làser, especialment en règims d’altes potències(...)

Interacción en los Sistemas Biológicos mediante nuevos índices basados en la Dinámica No Lineal

La majoria de sistemes biològics són complexes, formats per diverses parts connectades mitjançant vincles que contenen informació addicional i oculta a l’observador. Actualment, les aplicacions clíniques enregistren molts i diversos senyals les interaccions dels quals poden ésser estudiades mitjançant diferents tècniques: mètodes clàssics, generalment lineals, com ara la correlació i la coherència espectral; i mètodes no lineals que han estat definits i desenvolupats l’última dècada, com la predicció no lineal, la informació mútua i les entropies. Aquest projecte proposava l’obtenció d’eines pera l’anàlisi de: a) la coordinació dels músculs respiratoris en individus sans i pacients amb patologies respiratòries sotmesos a protocols d’esforç ventilatori, ja que es desconeix com es relacionen les activitats del diafragma i dels músculs accessoris de les vies aèries superiors; b)l’efecte de fàrmacs sobre la connectivitat funcional del cervell, ja que les eines i mètodes estàndard sovint no permeten extreure prou informació. Els resultats aconseguits han permès avaluar l’activitat muscular respiratòria mitjançant la funció d’informació mútua creuada (FIMC), demostrant que existeix un acoblament no lineal entre les activitats de diferents músculs. Aquesta coordinació muscular es veu afectada per una malaltia respiratòria com la Síndrome d’Apnea Obstructiva de la Son (SAOS), i s’han trobat diferències estadísticament significatives entre els pacients amb SAOS i els individus sans, especialment a nivells mitjans i alts d’esforç respiratori.

Representació no-lineal de les imatges per a codificació perceptiva

JPEG2000 és un estàndard de compressió d’imatges que utilitza la transformada wavelet i, posteriorment, una quantificació uniforme dels coeficients amb dead-zone. Els coeficients wavelet presenten certes dependències tant estadístiques com visuals. Les dependències estadístiques es tenen en compte a l'esquema JPEG2000, no obstant, no passa el mateix amb les dependències visuals. En aquest treball, es pretén trobar una representació més adaptada al sistema visual que la que proporciona JPEG2000 directament. Per trobar-la utilitzarem la normalització divisiva dels coeficients, tècnica que ja ha demostrat resultats tant en decorrelació estadística de coeficients com perceptiva. Idealment, el que es voldria fer és reconvertir els coeficients a un espai de valors en els quals un valor més elevat dels coeficients impliqui un valor més elevat d'aportació visual, i utilitzar aquest espai de valors per a codificar. A la pràctica, però, volem que el nostre sistema de codificació estigui integrat a un estàndard. És per això que utilitzarem JPEG2000, estàndard de la ITU que permet una elecció de les distorsions en la codificació, i utilitzarem la distorsió en el domini de coeficients normalitzats com a mesura de distorsió per a escollir quines dades s'envien abans.

Aplicativo Web Intranet para la gestión catastral con programación Libre

La present memòria descriu el projecte final: Aplicativo Web Intranet per a la gestió cadastral amb programació lliure, la finalitat d'aquest projecte és la creació d'un aplicativo web intranet per a la consulta de la geoinformación del sistema de Gestió Cadastral de l'Ajuntament de Cerdanyola del Vallès utilitzant programació lliure. Es va utilitzar MapServer menjo servidor de mapes i OpenLayers para la realització del Visor

Respuesta no lineal y criterios de diseño de puentes arco espaciales

El desarrollo más reciente de los puentes arco ha llevado a una nueva tipología: los “puentes arco espaciales”. Se entiende por puente arco espacial todo puente arco en el que, por su configuración geométrica y estructural, las cargas gravitatorias generan esfuerzos no contenidos en el plano del arco. Por un lado, aparecen para satisfacer las necesidades funcionales cuando estructuras en arco resultan las más adecuadas para sostener tableros curvos y evitar así apoyos intermedios. Desde un punto de vista estético, surgen como demanda de los nuevos puentes en entornos urbanos, buscando, no sólo una forma cuidada, sino persiguiendo convertirse en emblemas de la ciudad a partir de la originalidad y la innovación. Su proyecto y construcción es posible gracias a las grandes posibilidades que ofrecen los nuevos métodos de cálculo y dibujo por ordenador, en los que, a través del incremento de memoria y rapidez, cada vez se emplean programas más completos y nuevas modelizaciones, más cercanas a la realidad. No menos importante es el desarrollo de los medios auxiliares de construcción y de las herramientas de CAD/CAM, que convierte en construibles por control numérico formas de manufactura impensables. Ello trasciende en infinitas posibilidades de diseño y estructura. Sin embargo, el diseño y construcción de estas nuevas tipologías no ha estado acompañado por el avance en el estado del conocimiento fundamentado en la investigación, ya que se han desarrollado pocos estudios que explican parcialmente la respuesta estructural de estos puentes. Existe, por lo tanto, la necesidad de profundizar en el estado del conocimiento y clarificar su respuesta estructural, así como de plantear, finalmente, criterios de diseño que sirvan de apoyo en las fases de concepción y de proyecto a estas nuevas tipologías.

Comunidades virtuales en un entorno de programación libre : Calendario de congresos

Projecte relacionat amb el disseny, programació i implementació d'eines per a la generació de comunitats virtuals a Internet i per a l'administració de continguts dinàmics, emprant la separació per capes que proposa l'arquitectura J2EE. Concretament s'ha generat una eina per al manteniment d'un calendari de congressos, el que permetrà als professors de la UOC poder gestionar els congressos als quals hauran d'assistir d'una forma clara i senzilla a un entorn web.

Mophoua : Lenguaje de Programación Orientado al Contexto del Objeto

En la Universitat de Guadalajara es desenvolupa un projecte d'investigació que contempla la creació d'un model de programació que s'ha denominat Context Object Oriented Programming (COOP). En ell s'integren els enfocaments Orientats a Objectes, Orientats a Rols i Programació Dirigida per Esdeveniments. El present projecte consisteix desenvolupar el llenguatge de programació Mophoua que soporta aquest modelo.