Konputaezintasun frogapen batzuk diagonalizazio teknika erabiliz

Konputagarritasunaren Teoriaren oinarriak lehenengo ordenadoreak azaldu aurretik (40. hamarkadaren bukaera aldera) ezarri ziren, eta ziztu biziko eta etenik gabeko eraldaketek aldatzea lortu ez duten oinarriak dira. Alan Mathison Turing-ek jadanik garai hartan frogatu zuen, ahalik eta potentzia handienekoa imajinatuta ere, inolako ordenadorek ebatzi ezingo zituen zenbait gai edo arazo bazeudela. Balizko algoritmorik ez duten problema horiek, konputaezinak deitzen ditugunak, ez dira salbuespenak eta adibide ugari aurki dezakegu. Programen portaeraren inguruan planteatzen diren problemen artean, asko konputaezinak dira. Familia horretako kide ezagunena, zalantzarik gabe, geratze problema da: sarrerako datu zehatz batzuk hartzerakoan, programa bat begizta infinituan geratuko ote den era orokorrean erabakitzeko algoritmorik ez dago. Problema baten konputaezintasuna frogatzeko, hau ebatziko duen algoritmo zehatz bat existitzen ez dela ziurtatuko duen argumentu logikoa behar dugu, edo beste era batera esanda, existitzen diren algoritmoak problema hori ebazteko gai izango ez direla egiaztatuko duen argumentua. Izaera unibertsaleko argumentu hori ezartzea ez da batere erraza izaten, eta normalean, absurduraino eramandako frogapen batekin erlazionatuta egon ohi da. Helburu hori lortzeko zenbait teknika daude. Diagonalizazioaren teknika horien artean oinarrizkoena da, eta nahiko ezaguna, ez baita Informatika Teorikoaren tresna espezifikoa. Dokumentu honen helburua ez da teknika bera azaldu edo deskribatzea, ezaguntzat hartzen baita, zailtasun maila desberdineko hainbat adibideren bitartez argitzea baizik.

Técnicas básicas de computabilidad

La Teoría de la Computabilidad es una disciplina encuadrada en la Informática Teórica que tiene como objetivo establecer los límites lógicos que presentan los sistemas informáticos a la hora de resolver problemas mediante el diseño de algoritmos. Frente a las disciplinas y técnicas que día a día amplían el campo de aplicabilidad práctica de los computadores, esta teoría establece una serie de barreras insalvables por ninguna tecnología digital de procesamiento de la información. Los métodos propios de la Teoría de la Computabilidad pueden ser extraordinariamente complejos, sin embargo, existe un núcleo de resultados fundamentales que son abordables mediante técnicas más asequibles, y que tienen la virtud de reflejar razonablemente el concepto central de indecidibilidad computacional. Este informe incluye una descripción de los conceptos y técnicas que configuran ese núcleo básico de la Teoría. Su propósito es dar cuenta de la primera batería de resultados relacionados con la incomputabilidad de algunos problemas conocidos y relevantes en Informática. Los resultados se presentan utilizando como estándar de programación los programas-while, incluyéndose una explicación detallada y sistemática de la técnica de Diagonalización, además de resultados tan importantes como la tesis de Church-Turing, la función universal o el problema de parada.

Metodología para la implantación de una herramienta de control virtual de robots serie

[Es]El objetivo principal de este trabajo es la introducción del usuario al mundo de la robótica, explicando para ello, desde un punto de vista práctico, los conceptos teóricos relacionados con la cinemática de mecanismos espaciales, específicamente la de los robots serie. Para lograr este objetivo se ha creado una metodología de aprendizaje, basada en tres ejercicios, que explica los comandos principales de RobotStudio; software de programación necesario para el control virtual de robots de la marca ABB, robot disponible en la escuela. Junto con esto, se desarrollan los conceptos necesarios para la realización de tareas básicas dentro del ámbito de la robótica. Mediante la implantación de esta metodología se pretende dotar al usuario de los conceptos esenciales para programar robots serie dentro de un ámbito virtual, otorgándole la posibilidad de conectarlo posteriormente a un robot real, obteniendo resultados prácticos y visibles.

Inplante erabilerako polimero erradio-opakoen lorpena eta ezaugarritzea

[EU]Biomedikuntzan gero eta material polimeriko gehiago aplikatzen dira. Metalezko inplanteekin alderatuz, ekoizterako orduan azkarragoak eta merkeagoak baitira beste hainbat ezaugarriren artean. Baina onurak ekartzearekin batera, erradio-opakotasun eza ere badakar. Eta ezaugarri hau gabe, inplantearen jarraipena behin giza gorputzean ezarrita dagoenean ezinezkoa da, X izpiekin ezin baita ikusi. Beraz, arazo horri aurre egiteko, proiektu honetan matrize polimerikoari kargak gehitzea proposatzen da. Lortutako material konposatuak, polimeroak soilik dituen ezaugarriak berdintzea edo hobetzea espero da. Hau da, erradio-opakotasuna lortzeaz gain, propietate mekanikoak behintzat mantentzea espero da. Giza gorputzean aplikatzen diren inplanteetarako erabiliko den material konposatu bat lortzea duenez helburu proiektu honek, matrizea polimero biobataragarria eta biodegradagarria izango da. Biodegradagarria izanik, inplantea kanporatzeko bigarren ebakuntza bat ekiditen da. Zehazki, poli(D-laktida) (PDLA) polimeroa matrize moduan eta karga moduan bismuto oxidoa (Bi2O3) erabiliko dira, medikuntza arloko inplanteetan erabili izan ohi dira eta.

LiDom builder: Automatising the construction of multilingual domain modules

136 p.

Effects of water abstraction on stream ecosystem functioning

133 p.

Towards intelligent aquaculture. Development of an early Biological Warning System to monitor exposure to contaminants and fish welfare: from artificial vision to systems modelling

161 p.

Optimización del software empotrado de los equipos HMI y sDIAG del TCMS COSMOS

Trabajo realizado en la empresa CAF Power&Automation

Batasuneko zirkulatzeko askatasuna ekonomikoki aktiboak ez diren hiritarrengan: non dago muga?

Askatasunez zirkulatu eta erresiditzeko eskubidea europaren integrazio prozesuko lorpen handienetako bat izan da, Europar Batasunean (aurrerantzean EB) egunero milaka pertsonek gauzatzen duten eskubidea izanik. Zertan datza eskubide honek? Pertsona batek nazionala ez den beste estatu batera sartu edo irtetzeko edo bertan bere egoitza finkatzeko duen eskubidea da. Hala ere, eskubide hau oso zabala izan daiteke, hau egikari dezaketen subjektuak anitzak izan daitezkeelako edota eskubidea egikaritu daitekeen espazio geografikoa oso zabala delako, beste zenbaiten artean. Horregatik, beharrezkoa deritzogu atal bat eskubidearen marko guztia aipatu eta horren barnean aztertuko duguna zehaztera eskaintzea.

Justizia trantsizionala euskal herriarentzat: azterketa kritiko bat

ETAk borroka armatuaren behin betiko etenaldi atzeraezinaren bidez, 2011ko urriaren 20an amaiera eman zion 53 urteko jardunari. Momentu horretatik, biktimen, presoen, adiskidetzearen inguruko politikak egunerokotasuneko eztabaida gai izan dira. Gau hauek, justizia trantsizionaleko gaiak badira ere, sektore batzuek justizia trantsizionala terminoa bera eta honek nazioartean dituen inplikazio eta edukiak eztabaida horietatik at kokatu nahi dute. Kontraesan honek nahasmena sortzen du aipaturiko politika horien irizpideen inguruko eztabaidan. Egoera honen aurrean, eztabaida hori justizia trantsizionalaren eremura eramateak izan ditzakeen onura eta garrantziaz gogoeta egin dut. Aldi berean ekarpen bat egin nahi izan dut, euskal kasuan aplikatu beharko litzatekeen justizia mota egokienaren inguruko eztabaidara. Honetarako, ezinbestekoa izan da justizia trantsizionalaren azterketa sakon bat egitea, interes alderdikoiak eta borroka terminologikoak alde batera utzita

Komunikazioen sekretuaren eta interbentzioen bilakaera prozesu penalean

Lan honen helburu nagusia, legediak komunikazioen interbentzioen inguruan izan duen bilakaera aztertzea izango da, batez ere eman den azken aldaketaren ikuspuntutik (hau da, 13/2015 LO), eta horrekin batera, hausnarketa egitea, puntu bateraino behintzat (kontutan izanda erreforma honen berritasuna eta ondorioz, oraingoz izan duen eragin txikia praktikan). Gizakiontzat, elkarren artean komunikatzeak beti izan du oinarrizkoenen diren beharren artean postu garrantzitsu bat. Komunikazio zantzu sinpleenak praktikan jarriak izan zirenetik, beti izan da gure helburua, elkarren arteko komunikazio metodoa erraztea eta azkarragoa egitea, nahiz eta distantzia fisikoak izugarriak izan. Horrela izan da hain zuzen, jatorrizko komunikazio metodo errazenetik, gaur egungo baliabide elektroniko garatuenetaraino.

Analysis of the Solarus C-PVT solar collector and design of the new prototype

Tesi hau Solarus AB enpresaren konzentratzailedun eguzki kolektore fotovoltaiko termikoei (C-PVT) buruz doa eta bi helburu nagusi ditu. Lehena Solarus-eko oraingo diseinuaren alderaketak diseinatzea da, MaReCo (Maximum Reflector Collector) diseinuaren eta parabola puruaren alderaketa batzuekin batera. Diseinu hauetan eguzki zelulen ebaketa berriak daude barruan eta 4 busbar-eko eguzki zeluletan oinarritua dago. Honi esker analisi sakon bat egin ahalko da hargailu eta estruktura diseinuak konparatuz. Bigarren helburua Solarus AB-k Gävleko unibertsitatean (HiG) kokaturik dituen kolektoreen errendimendu elektriko eta termikoa aztertzean datza. Datuak simulazio eta software espezifikoen bidez lortu dira eta ondoren Microsoft Excel®-en aztertu. Bi proiektu txikiagoak egin dira ere enpresan, bata eguzki kolektore fotovoltaiko termikoen merkatuaren ikerketan datza eta bestea eguzki kolektoreen produkzio prozesuaren gida batean. Hargailuen eta estrukturaren diseinu berriak preparatuta utzi dira prototipoen hurreneko eraikuntzarako eta proiektuarekin jarraitzeko etorkizuneko lan bat planeatu da. Unibertsitateko instalakuntzaren analisiari dagokionez, errendimendu elektriko eta termikoa estimatuena baino nabarmenki txikiagoak izan dira.

Synthesis and characterization of low-cost materials for aqueous Na-ion batteries

136 p.

Euskararen normalizazioan Guaixe astekariak duen eragina Sakanako bailaran

[EUS] Lan hau Sakana mailan Guaixe astekariak euskararen normalizazioan duen eraginari buruzko ikerketa bat da. Berau burutzeko, besteak beste, bi elkarrizketa kualitatibo (Guaixeko erredaktore buruari eta Itsasi euskaltegiko bi irakasleri) eta Guaixeri buruzko inkesta bat (bazkideei zuzendurikoa) egin dira, 2011n Aztikerrek astekariaren inguruan osaturiko txostena aztertzearekin batera. Ikerketatik honako ondorio nagusia atera da: Guaixe tresna eraginkorra da euskara normalizatzen laguntzeko.