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.

Solutions for New Terrestrial Broadcasting Systems Offering Simultaneously Stationary and Mobile Services

221 p.

JonBike. Aplicación Android para bicicletas basada en geolocalización

En este Proyecto Fin de Carrera se ha realizado el diseño y la implementación de la aplicación JonBike. Tiene como objetivo mejorar y optimizar el seguimiento de los entrenamientos de los ciclistas. El desarrollo se ha realizado en un marco de integración y colaboración directa de los usuarios en el proyecto, partiendo de un Producto Mínimo Viable o "Minimum Viable Product" (MVP) inicial e integrando su feedback en la progresiva ampliación de las características del servicio. El sistema está compuesto por una aplicación móvil nativa para Android y una fuente de datos alojada en un servidor remoto. En implementación se han utilizado tecnologías emergentes, todas de código abierto: MongoDB junto con MongoLab para el almacenamiento de datos y plataforma base para el backend, y desarrollando como cliente, una aplicación Android nativa.

Interacciones entre las células madre pluripotentes del carcinoma embrionario y las células mioides peritubulares del testículo

112 p.+ anexos

Poly(lactic acid)-based bio-blends and nanocomposites

172 p.

Babelium, migración a HTML5

El proyecto consiste en migrar una aplicación web existente (Babelium) implementada mediante flash a una que utilice HTML5 y un Framework basado en Javascript para programar la funcionalidad de la aplicación. Se parte de un prototipo que contiene gran parte de contenido de la aplicación web Flash migrado a HTML5 pero que no utiliza ningún Framework.(http://mintzabel.com) El idioma del proyecto es el Español.

Estudio de señales cerebrales y aplicación a cojín elevador para discapacitados.

[ES]Estudio de obtención de señales cerebrales, creación de sensores de electroencefalograma y circuito que procesa frecuencias cerebrales para control de un prototipo de cojín elevador que ayude a personas discapacitadas a levantarse de un asiento con el fin de dar los primeros pasos en la creación de un exoesqueleto controlado cerebralmente.

Diseño, Modelado y Análisis por Elementos Finitos de un Cuadro de Bicicleta de Carretera.

[ES]El objetivo de este proyecto es llevar a cabo el diseño conceptual, modelado y análisis estructural de un cuadro de bicicleta de geometría de carretera, empleando herramientas de Diseño Asistido por Ordenador y software de Análisis con Elementos Finitos. El modelo inicial será analizado y optimizado de cara a que cumpla los requerimientos resitentes del escenario de cargas asumido. El propósito de este proyecto es completar la primera fase de un hipotético caso de producción.

Kautxu birziklatuzko materialek inpaktura duten erantzunaren simulazioa.

[EU]Ondorengo lanean ingeniaritzaren eremuan aurkitzen den eginkizunik garrantzitsuenetako bat egingo da: material berri bat karakterizatu. Hau da, errealitatean ikusten duguna era matematiko batean idatzi, edo beste era batean esanda, modelo matematiko bat lortu. Jorratuko den materiala kautxu birziklatua izango da, pneumatiko zaharretatik abiatuz egiten dena. Material honek, besteak beste, hurrengo abantailak ditu: produzitzeko erraza (beraz, prezio ekonomikoak, lehengaiak hondakin solidoak direla ikusita) eta inpakturako erantzun ona. Kautxu hau, beste erabileren artean, segurtasun-errailetan erabiltzen da, moto-gidariak ebaketetatik babesteko. Modelo matematikoa edo konstitutiboa lortzeko, lege hiperelastiko eta biskoelastikoetatik abiatuz, portaera bisko-hiperelastikorako lege bat proposatuko da. Lege hau deformazio handietarako eta deformazio abiadura handietarako aplikatu egingo da. Honen oinarria aurreko urteetan eskola honetako beste ikasleek eginiko gradu eta karrera amaierako lanak izango dira. Behin hau izanda, elementu finituetako software baten bidez simulatuko da, eta emaitza numerikoak esperimentalekin alderatuko dira. Honen bidez, modeloa hobetu ahal izango dugu, zehaztasun gehiago lortzeko asmoz.

Comparativa entre diferencial de baja impedancia de generador y de baja impedancia de transformador.

[ES]El objetivo principal de TFG es analizar y comparar el funcionamiento de las protecciones diferenciales de baja impedancia de generador y de transformador de potencia. Para ello, se describirán sus características principales de forma teórica y se realizarán simulaciones mediante el módulo SimPowersSystems contenido en Matlab.

Cuantificación de la carga interna en jóvenes futbolistas de élite

Objetivo: El objetivo de este estudio es analizar los diferentes métodos existentes para la cuantificación de la carga interna (CI) en el fútbol y estudiar las diferencias existentes en la CI en jóvenes jugadores élite de fútbol dependiendo de las características de las sesiones, equipo y puestos. Métodos: Se obtuvo la carga percibida, y la frecuencia cardiaca de 36 jóvenes jugadores élite (18,87 ± 1,24 años, masa:70,81 ± 5,62 kg) de las sesiones de entrenamiento realizadas durante tres semanas. Resultados: Las correlación encontrada entre el método de Edwards-TL y Stagno-TL fue de r=0,921 ± 0,126 entre Edwards-TL y el método de Foster r=0,47 ± 0,343 y entre el método de Stagno-TL y el método de Foster fue de r=0,451 ± 0,386. Los distintos indicadores, sRPE, Edwards-TL y Stagno-TL describen una CI similar en los diferentes tipos de sesión analizadas (Recuperación, Simulación, Resistencia, Fuerza y Velocidad) aunque no siempre coincidían. Siendo la sesión denominada Resistencia la que acumulaba más CI (172,68 ± 47,87; 76,01 ± 28,62y 445,49 ± 115,02 AU; Edwards-TL, Stagno-TL y Foster respectivamente). No se encontraron diferencias significativas en la CI dependiendo de los puestos jugadores, y solo se encontraron diferencias significativas entre los jugadores más veteranos y jóvenes en la carga percibida. Conclusiones: Los diferentes tipos de sesión suponen una CI diferente para los jugadores. Las diferencias existentes entre los tipos de sesión varían dependiendo del método de cuantificación utilizado. Los indicadores de CI basados en la FC y en la carga percibida no siempre pueden ser intercambiables y pueden aportar información distinta a los técnicos.

Efectos de la actividad física en la evolución de las relaciones interpersonales en alumnado de 5º y 6º de Primaria y 1º y 2º de Secundaria en campamento escolar de Vela

Hoy en día toda o casi toda la población de nuestra sociedad conocemos o bien de primera mano o de segunda mano los campamentos. Seguramente un alto porcentaje de la población haya estado en alguno, y el que no, habrá oído hablar de ellos. En los campamentos, se crea un caldo de cultivo idóneo para la socialización de los niños, ¿pero se les da las mismas oportunidades a todos? Un niño o niña con poca capacidad de socialización no va a tener las mismas oportunidades que los demás, por lo que es necesario buscar una metodología que ayude a la socialización de todos. Así pues, mediante este trabajo se plantea una metodología basada en la actividad física, y dentro de ella en los juegos cooperativos. Se analizará si con la utilización de juegos cooperativos se da un cambio en las relaciones interpersonales de los niños, y de ser así, si el cambio es positivo, es decir, si se trabajan las relaciones desde el aspecto de los valores humanos. Por consiguiente, veremos que los juegos cooperativos sirven y en gran medida para influenciar en ese cambio en las relaciones interpersonales de los niños en un campamento escolar de vela, siendo ese cambio muy positivo y dándose en la mayoría de los niños.

Subjektu egozgarri eta arriskutsuen tratamendu penala

[ES]El presente Trabajo de Fin de Grado analiza el tratamiento penal de los sujetos imputables peligrosos que mantienen la peligrosidad criminal tras el cumplimiento de la pena de prisión. De esta manera, se investiga la regulación jurídica española dirigida a este colectivo, poniendo de manifiesto que hasta la entrada en vigor de la Ley Orgánica 5/2010 de reforma del Código Penal no había prevista ninguna medida de seguridad enfocada a este grupo específico y concluyendo que la medida de “libertad vigilada” introducida en dicha reforma no es del todo efectiva para alcanzar la reinserción del reo. Por todo ello, se argumenta que la política criminal llevada a cabo en los últimos años ha llevado la seguridad a un extremo tal que no se han podido garantizar del todo los derechos individuales del colectivo anteriormente mencionado. Asimismo, se investiga la “custodia de seguridad” vigente en la regulación alemana, haciendo notoria la importancia de la seguridad e inocuización. En síntesis, se estudia si el delincuente ha quedado subordinado al orden jurídico y a la seguridad, esclareciendo si han sido respetados los principios y garantías inherentes a un Estado Social y Democrático de Derecho.

Análisis de la influencia de los sistemas de puesta a tierra en la eficiencia de instalaciones eléctricas de baja tensión residenciales e industriales.

[EN]Nowadays, global society is more aware of electrical energy’s risks than never before, and electrical safety has turned a priority when a new installation is designed. So, a great protection to an unwanted electric hazard is required, being specially careful with indirect contacts. If a circuit has an insulation failure and an indirect contact is produced, there is risk of an accidental electrocution, risk that must be avoided by making a good choice of the grounding methodology and properly coordinating the electrical protections in the installation. In order to minimize that risk, a study of low voltage industrial and residential installation’s grounding methodologies is introduced, analyzing the tree grounding methodologies internationally accepted (TT, TN, IT). In addition, two real examples are solved (using a computer-aided engineering software), confirming the results of the theoretical study.

Diseño de una tarjeta de drivers para un inversor de potencia.

[EN]The purpose of this project is to design a system which improves the e ciency of power inverters. The project is focused in the analysis of the di erent power semiconductors (based on silicon, silicon carbide and gallium nitride) and driver applications. This system can be implemented in di erent future versions of power inverters and in many kind of applications like electrical vehicles. Other than that, it can be also implemented on any machinery requiring an inverter obtaining more energy and reduce manufacturing costs.