Hezkuntza-premia bereziak Derrigorrezko Bigarren Hezkuntzan

Existe una versi??n en espa??ol, con el t??tulo "Las Necesidades Educativas Especiales en la Ense??anza Secundaria Obligatoria"

Aportaciones del modelo de Calidad de Vida en los procesos de individualización en los servicios de empleo y ocupación. Análisis del caso Gureak

368 p.

La traducción audiovisual en ETB2: Estudio descriptivo del género Western

360 p.

Aproximación al estudio de la justicia divina en la Corona de Castilla en la Baja Edad Media

528 p.

While programak: konputagarritasun teoria oinarritzeko tresna

Konputagarritasun Teoriaren asmoa sistema konputazionalen muga teorikoak aztertzea da. Bere helburu nagusia problemak konputagarri eta konputaezinen artean bereiztea da, problema konputagarria ebazpide informatikoa onartzen duenari deitzen diogula kontuan hartuta. Emaitza horiek garatzeko konputagailu eredu abstraktu erabiliena, historikoki, Turing-en Makina izan da. Ingeniaritza Informatikoko ikasleek eredu abstraktuaren eta konputagailu errealen artean distantzia dagoela nabari dezakete, horregatik programaziotik hurbilago dagoen eredu bat erabiltzea egokiagoa da, while programak hain zuzen ere. While programekin Turingen makinekin ebazten diren problema berak ebazten dira. Aldiz, while programak erabiltzen askoz errazagoak dira, batez ere aurretik informatika errealean esperientzia duten pertsonentzat, lengoaia agintzaile klasikoen programen itxura hartzen baitute. Testu honek while programak erabiltzen ditu, behar denean hauek birformulatuz eta beraien abantailak aprobetxatuz, konputazioa sinbolo arbitrarioen manipulazioaren baitan definituta gera dadin. Horrela, errealitate informatikotik askoz hurbilagoa egongo da. While programak zer diren eta nola erabiltzen diren zehaztasunez azaltzen da, eta gainera, beste agindu edo datu-mota batzuk gehitzea zergatik ez den beharrezkoa justifikatzen da.

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.

Distributional semantics and machine learning for statistical machine translation

[EU]Lan honetan semantika distribuzionalaren eta ikasketa automatikoaren erabilera aztertzen dugu itzulpen automatiko estatistikoa hobetzeko. Bide horretan, erregresio logistikoan oinarritutako ikasketa automatikoko eredu bat proposatzen dugu hitz-segiden itzulpen- probabilitatea modu dinamikoan modelatzeko. Proposatutako eredua itzulpen automatiko estatistikoko ohiko itzulpen-probabilitateen orokortze bat dela frogatzen dugu, eta testuinguruko nahiz semantika distribuzionaleko informazioa barneratzeko baliatu ezaugarri lexiko, hitz-cluster eta hitzen errepresentazio bektorialen bidez. Horretaz gain, semantika distribuzionaleko ezagutza itzulpen automatiko estatistikoan txertatzeko beste hurbilpen bat lantzen dugu: hitzen errepresentazio bektorial elebidunak erabiltzea hitz-segiden itzulpenen antzekotasuna modelatzeko. Gure esperimentuek proposatutako ereduen baliagarritasuna erakusten dute, emaitza itxaropentsuak eskuratuz oinarrizko sistema sendo baten gainean. Era berean, gure lanak ekarpen garrantzitsuak egiten ditu errepresentazio bektorialen mapaketa elebidunei eta hitzen errepresentazio bektorialetan oinarritutako hitz-segiden antzekotasun neurriei dagokienean, itzulpen automatikoaz haratago balio propio bat dutenak semantika distribuzionalaren arloan.

Implantación de un sistema para la medida del posicionamiento angular de un manipulador paralelo

[ES]El objetivo del presente proyecto es la programación, mediante la herramienta Labview, de un software para la lectura y almacenamiento de los datos recogidos por un inclinómetro analógico de la marca STW Technic. Una vez el programa esté listo, se procederá a realizar una serie de pruebas mediante vibraciones a distintas frecuencias y con distinta amplitud de ángulo para determinar los límites de medida del sensor.

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.

Development of practical methodology and indicators for on-farm animal welfare assessment

163 p.

Andamios porosos

222 p.

Ciudadanía y Discapacidad

453 p.

Gorka Goikoetxearen etxebizitzaren ziurtagiri energetikoa

[EU]Lan honen helburu nagusia Gorka Goikoetxearen etxebizitzaren ziurtagiri energetikoa lortzea da eta, hortik abiatuz, hobekuntza batzuen proposamena eta analisi ekonomikoa. Honetarako CE3X programa erabiliko da, datuak sartu hutsez kalifikazio zenbakia eta hizkia emango du eta ondoren hobekuntza aukera desberdinak eskainiko ditu. Hauek balioztatzeko analisi ekonomiko bat egingo da. Txosten honetan ziurtagiria lortzeko beharrezko urratsak azalduko dira, hobekuntzen deskripzioa eta kalifikazio berriak ere bai. Eranskinetan gehigarrizko informazioa erakutsiko da, prozesuaren ulermena errazteko.

Desarrollo de catalizadores en sistemas de reacción avanzados para la producción de hidrógeno a partir de biogás

[ES]En el presente documento se expone el estudio experimental que consiste en la comparación de diferentes catalizadores en sistemas de reacción avanzados, microrreactores, para la producción de hidrógeno a partir de biogás. El hidrógeno es un vector energético que puede emplearse como combustible, y por tanto, un candidato perfecto para sustituir aquellos combustibles provenientes de fuentes fósiles. Este Proyecto de Fin de Grado se ha basado en desarrollar el proceso conocido como tri-reformado de biogás. Esta técnica, al contrario que las técnicas convencionales de producción, presenta numerosas ventajas ya que la materia prima empleada, el biogás, es una fuente de origen renovable. Para llevar a cabo este estudio se han preparado distintos catalizadores, basados todos ellos en platino. La elección de este metal noble es debido a su alto grado de reactividad, especialmente en sistemas de reacción micro-estructurados. Con el objetivo de reducir los costes asociados al propio catalizador, se añadieron, junto con el platino, otros metales más baratos a fin de analizar su idoneidad en el proceso del tri-reformado. Por tanto, partiendo de un catalizador de referencia que contiene un 5% de platino, se prepararon otros catalizadores mantenido constante, en un 5%, la composición de metal total. Estos catalizadores se han denominado de la siguiente manera: 2.5(Pt-Me), siendo Me cada especie metálica diferente. Tras preparar los catalizadores, se llevaron a cabo diferentes experimentos con un reactor convencional de lecho fijo. El objetivo fue establecer unas condiciones de operación tal que asegurasen una adecuada comparación entre catalizadores. De este modo, se realizaron ensayos de actividad catalítica a diferentes temperaturas y velocidades espaciales para someter a los catalizadores a condiciones de operación extremas, bajo las cuales, las diferencias entre catalizadores fueran más notorias. Una vez detalladas las condiciones de operación adecuadas para la comparación de catalizadores, se llevaron a cabo los correspondientes ensayos con los catalizadores impregnados en los sistemas de reacción avanzados, denominados micorreactores. Estos ensayos se basaron en operar a una velocidad espacial constante para estudiar la influencia de la temperatura. Además, se llevaron a cabo ensayos de estabilidad de hasta 110 horas en las condiciones de operación más desfavorables. Por último se compararon las conversiones de CH4 y CO2 y el rendimiento de H2 de todas las formulaciones catalíticas preparadas, y se concluyó que el mejor candidato para el proceso del tri-reformado es el catalizador 2.5(Pt-Pd).

LDM teknologiaren errendimenduaren azterketa multicast zerbitzuetarako

[EN]The purpose of this project is to study the performance and the efficiency of the LDM technology for the transmission of multicast services in a cellular network and vehicular communication environment. In order to achieve this goal, it will be done a comparison with LTE, the technology nowadays used for multicast-grouping techniques. Thus, the specific parameters of each technology are going to be analyzed and a simulation software is going to be developed. Finally, the results from the above mentioned comparison will be shown, as well as an implementation of LDM in multicast-grouping technique.