Marco-reloj-despertador basado en FPGA

Gordon E. Moore, cofundador de Intel, predijo en una publicación del año 1965 que aproximadamente cada dos años se duplicaría el número de transistores presentes en un circuito integrado, debido a las cada vez mejores tecnologías presentes en el proceso de elaboración [1]. A esta ley se la conoce como Ley de Moore y su cumplimiento se ha podido constatar hasta hoy en día. Gracias a ello, con el paso del tiempo cada vez se presentan en el mercado circuitos integrados más potentes, con mayores prestaciones para realizar tareas cada vez más complejas. Un tipo de circuitos integrados que han podido evolucionar de forma importante son los dispositivos de lógica programable, circuitos integrados que permiten implementar sobre ellos las funciones lógicas deseadas. Hasta hace no muchos años, dichos dispositivos eran capaces de incorporar circuitos compuestos por unas pocas funciones lógicas, pero gracias al proceso de miniaturización predicho por la Ley de Moore, hoy en día son capaces de implementar circuitos tan complejos como puede ser un microprocesador; dichos dispositivos reciben el nombre de FPGA, siglas de Field Programmable Gate Array. El presente proyecto tiene como objetivo construir un marco de fotos digital con reloj y despertador programable, valiéndose para ello de la FPGA Cyclone II de Altera y una pantalla táctil de la casa Terasic. Con este fin, se documentará en primera instancia los dispositivos a utilizar con sus características y posibilidades que plantean, para pasar posteriormente al diseño de la aplicación y su implementación e integración en la placa para comprobar su correcto funcionamiento.

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.

Generación automática de VHDL mediante Simulink HDL coder y aplicación al procesado de señales

Gordon E. Moore, co-fundador de Intel, predijo en una publicación del año 1965 que aproximadamente cada dos años se duplicaría el número de transistores presentes en un circuito integrado, debido a las cada vez mejores tecnologías presentes en el proceso de elaboración. A esta ley se la conoce como Ley de Moore y su cumplimiento se ha podido constatar hasta hoy en día. Gracias a ello, con el paso del tiempo cada vez se presentan en el mercado circuitos integrados más potentes, con mayores prestaciones para realizar tareas cada vez más complejas. Un tipo de circuitos integrados que han podido evolucionar de forma importante por dicho motivo, son los dispositivos de lógica programable, circuitos integrados que permiten implementar sobre ellos las funciones lógicas que desee implementar el usuario. Hasta hace no muchos años, dichos dispositivos eran capaces de implementar circuitos compuestos por unas pocas funciones lógicas, pero gracias al proceso de miniaturización predicho por la Ley de Moore, hoy en día son capaces de implementar circuitos tan complejos como puede ser un microprocesador; dichos dispositivos reciben el nombre de FPGA, siglas de Field Programmable Gate Array. Debido a la mayor capacidad y por lo tanto a diseños más complejos implementados sobre las FPGA, en los últimos años han aparecido herramientas cuyo objetivo es hacer más fácil el proceso de ingeniería dentro de un desarrollo en este tipo de dispositivos, como es la herramienta HDL Coder de la compañía MathWorks, creadores también Matlab y Simulink, unas potentes herramientas usadas ampliamente en diferentes ramas de la ingeniería. El presente proyecto tiene como objetivo evaluar el uso de dicha herramienta para el procesado digital de señales, usando para ello una FPGA Cyclone II de la casa Altera. Para ello, se empezará analizando la herramienta escogida comparándola con herramientas de la misma índole, para a continuación seleccionar una aplicación de procesado digital de señal a implementar. Tras diseñar e implementar la aplicación escogida, se deberá simular en PC para finalmente integrarla en la placa de evaluación seleccionada y comprobar su correcto funcionamiento. Tras analizar los resultados de la aplicación de implementada, concretamente un analizador de la frecuencia fundamental de una señal de audio, se ha comprobado que la herramienta HDL Coder, es adecuada para este tipo de desarrollos, facilitando enormemente los procesos tanto de implementación como de validación gracias al mayor nivel de abstracción que aporta.

Efecto de las alteraciones respiratorias en las mujeres embarazadas y su correlación con el resultado de la gestación y del parto

212 p.

Proceso catalítico de transformación de dimetil éter en olefinas (DTO)

325 p.

Auto-ensamblaje de unidades porfirínicas para la obtención de dispositivos supramoleculares

Comunicación presentada en: II Reunión de Jóvenes Cristalógrafos, 29 Sept-1 Oct de 2010, Bilbao, España

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

112 p.+ anexos

Eficacia de la rehabilitación cardíaca en la cardiopatía isquémica. Y el rol de la enfermería.

El aumento de la prevalencia de la cardiopatía isquémica, una de las principales causas de muerte en España, le ha convertido en un gran problema de salud. Por su parte, la rehabilitación cardíaca ha surgido como una posible solución en la prevención de esta enfermedad y en la de sus secuelas físicas y psíquicas. El objetivo principal es analizar la eficacia de los programas de rehabilitación cardíaca en la salud física y mental, y la importancia de la enfermera en este tipo de programas. La metodología consistió en la revisión bibliográfica a través de libros y artículos encontrados en bases de datos, revistas electrónicas y páginas web de instituciones científicas. Los resultados encontrados demuestran la eficacia de los programas de rehabilitación en la mejora de la salud física y mental del paciente. La enfermera, cumpliendo sus funciones docente y asistencial, puede ayudar al paciente en los cambios de hábitos de vida para prevenir nuevos episodios de cardiopatía isquémica. A modo de discusión del trabajo se destaca que sería adecuado que todos los estudios utilizaran un número de muestra similar, evaluaran a los pacientes a corto y largo plazo, explicaran cuál es la sistemática de los ejercicios físicos del programa y utilizaran las mismas escalas de evaluación psicológica del paciente. Comparando los pacientes que participaron en rehabilitación cardíaca con los que no, se concluye a favor de los pacientes que sí participaron. La enfermera tiene una función importante en el cuidado del paciente para ayudarle a mejorar su calidad de vida.

Organization, functions, and achievements of the Inter-American Tropical Tuna Commission

ENGLISH: The Inter-American Tropical Tuna Commission (IATTC) operates under the authority and direction of a Convention originally entered into by the governments of Costa Rica and the United States. The Convention, which came into force in 1950, is open to the adherence by other governments whose nationals participate in the fisheries for tropical tunas in the eastern Pacific Ocean. The member nations of the Commission now are t in addition to Costa Rica and the United States, Canada, France, Japan, Mexico, Nicaragua, and Panama.This report is a description of the organization, functions, and achievements of the Commission. It has been prepared to provide in a convenient format answers to requests for information concerning the Commission. It replaces a similar, earlier report (Carroz, 1965), which is now largely outdated. SPANISH: La Comisión Interamericana del Atún Tropical (CIAT) funciona bajo la autoridad y dirección de un Convenio firmado originalmente por los gobiernos de Costa Rica y los Estados Unidos de America. El Convenio, que entro en vigencia en 1950, se encuentra libre para que otros gobiernos cuyos ciudadanos participen en la pesca de atunes tropicales en el Océano Pacifico oriental se afilien a el. Las naciones miembros de la Comisión, además de Costa Rica y los Estados Unidos, son Cañada, Francia, Japón, México, Nicaragua y Panamá. Este informe es una descripción de la organización, funciones y resultados de la Comisión. Ha sido preparado para suministrar en forma conveniente respuestas a preguntas sobre la Comisión. Reemplaza un informe anterior similar (Carroz 1965), que ya es anticuado en su mayor parte.

Agua, poder y sociedad en el mundo urbano alavés bajomedieval y moderno

561 p.

Frame presentations: variants of the reals, rings of functions, their Dedekind completions, and the unit circle

176 p.

Organization, functions, and achievements of the Inter-American Tropical Tuna Commission

ENGLISH: The Inter-American Tropical Tuna Commission (IATTC) operates under the authority and direction of a Convention originally entered into by the governments of Costa Rica and the United states. The Convention, which came into force in 1950, is open to the adherence by other governments whose nationals participate in the fisheries for tropical tunas in the eastern Pacific Ocean. The member nations of the Commission now are France. Japan, Nicaragua. Panama, and the United States. This report is a description of the organization, functions. and achievements of the Commission. It has been prepared to provide in a convenient format answers to requests for information concerning the Commission. It replaces similar, earlier reports (Carroz, 1965; Spec. Rep., 1), which are now largely outdated. SPANISH: La Comisión Interamericana del Atún Tropical (CIAT) funciona bajo la autoridad y dirección de un Convenio firmado originalmente por los gobiernos de Costa Rica y los Estados Unidos de America. El Convenio, Que entre en vigencia en 1950, se encuentra libre para Que otros gobiernos cuyos ciudadanos participan en la pesca de los atunes tropicales en el Océano Pacifico oriental se afilien a 61. Las naciones actuales que son miembros de la Comisión son: Francia, Japón, Nicaragua, Panamá y los Estados Unidos. Este informe es una descripci6n de la organización, funciones y resultados de la Comisión. Se ha preparado para suministrar en forma conveniente, informaci6n sobre la Comisión. Este informe renueva otros anteriores similares (Carroz, 1965; CIAT, Inf. Esp., 1) que en su mayor parte determinados.

A-SCALA: an age-structured statistical catch-at-length analysis for assessing tuna stocks in the eastern tropical Pacific Ocean

English: We describe an age-structured statistical catch-at-length analysis (A-SCALA) based on the MULTIFAN-CL model of Fournier et al. (1998). The analysis is applied independently to both the yellowfin and the bigeye tuna populations of the eastern Pacific Ocean (EPO). We model the populations from 1975 to 1999, based on quarterly time steps. Only a single stock for each species is assumed for each analysis, but multiple fisheries that are spatially separate are modeled to allow for spatial differences in catchability and selectivity. The analysis allows for error in the effort-fishing mortality relationship, temporal trends in catchability, temporal variation in recruitment, relationships between the environment and recruitment and between the environment and catchability, and differences in selectivity and catchability among fisheries. The model is fit to total catch data and proportional catch-at-length data conditioned on effort. The A-SCALA method is a statistical approach, and therefore recognizes that the data collected from the fishery do not perfectly represent the population. Also, there is uncertainty in our knowledge about the dynamics of the system and uncertainty about how the observed data relate to the real population. The use of likelihood functions allow us to model the uncertainty in the data collected from the population, and the inclusion of estimable process error allows us to model the uncertainties in the dynamics of the system. The statistical approach allows for the calculation of confidence intervals and the testing of hypotheses. We use a Bayesian version of the maximum likelihood framework that includes distributional constraints on temporal variation in recruitment, the effort-fishing mortality relationship, and catchability. Curvature penalties for selectivity parameters and penalties on extreme fishing mortality rates are also included in the objective function. The mode of the joint posterior distribution is used as an estimate of the model parameters. Confidence intervals are calculated using the normal approximation method. It should be noted that the estimation method includes constraints and priors and therefore the confidence intervals are different from traditionally calculated confidence intervals. Management reference points are calculated, and forward projections are carried out to provide advice for making management decisions for the yellowfin and bigeye populations. Spanish: Describimos un análisis estadístico de captura a talla estructurado por edad, A-SCALA (del inglés age-structured statistical catch-at-length analysis), basado en el modelo MULTIFAN- CL de Fournier et al. (1998). Se aplica el análisis independientemente a las poblaciones de atunes aleta amarilla y patudo del Océano Pacífico oriental (OPO). Modelamos las poblaciones de 1975 a 1999, en pasos trimestrales. Se supone solamente una sola población para cada especie para cada análisis, pero se modelan pesquerías múltiples espacialmente separadas para tomar en cuenta diferencias espaciales en la capturabilidad y selectividad. El análisis toma en cuenta error en la relación esfuerzo-mortalidad por pesca, tendencias temporales en la capturabilidad, variación temporal en el reclutamiento, relaciones entre el medio ambiente y el reclutamiento y entre el medio ambiente y la capturabilidad, y diferencias en selectividad y capturabilidad entre pesquerías. Se ajusta el modelo a datos de captura total y a datos de captura a talla proporcional condicionados sobre esfuerzo. El método A-SCALA es un enfoque estadístico, y reconoce por lo tanto que los datos obtenidos de la pesca no representan la población perfectamente. Además, hay incertidumbre en nuestros conocimientos de la dinámica del sistema e incertidumbre sobre la relación entre los datos observados y la población real. El uso de funciones de verosimilitud nos permite modelar la incertidumbre en los datos obtenidos de la población, y la inclusión de un error de proceso estimable nos permite modelar las incertidumbres en la dinámica del sistema. El enfoque estadístico permite calcular intervalos de confianza y comprobar hipótesis. Usamos una versión bayesiana del marco de verosimilitud máxima que incluye constreñimientos distribucionales sobre la variación temporal en el reclutamiento, la relación esfuerzo-mortalidad por pesca, y la capturabilidad. Se incluyen también en la función objetivo penalidades por curvatura para los parámetros de selectividad y penalidades por tasas extremas de mortalidad por pesca. Se usa la moda de la distribución posterior conjunta como estimación de los parámetros del modelo. Se calculan los intervalos de confianza usando el método de aproximación normal. Cabe destacar que el método de estimación incluye constreñimientos y distribuciones previas y por lo tanto los intervalos de confianza son diferentes de los intervalos de confianza calculados de forma tradicional. Se calculan puntos de referencia para el ordenamiento, y se realizan proyecciones a futuro para asesorar la toma de decisiones para el ordenamiento de las poblaciones de aleta amarilla y patudo.

Simulación de la estampación de una pieza de la estructura de un automóvil.

[ES]En este trabajo de fin de grado se tratará de optimizar los resultados de la simulación de estampación de la parte interior de la puerta de un automóvil propuesta por el programa de simulación Pam Stamp. Para llevar a cabo esta tarea se variarán diferentes parámetros los cuales serán expuestos posteriormente mediante el programa Pam Stamp. Con el fin de obtener una pieza de mayor calidad para llevar a cabo sus funciones; se expondrán tres soluciones respondiendo cada una a diferentes solicitaciones o circunstancias.

Desarrollo de un gestor de conexión con facebook para aplicación de mensajeria instantanea.

[EN]Until May 2015, an application for Linux KDE desktops called KDE-Telepathy had the possibility of adding Facebook accounts in order to talk to friends through an XMPP Gateway. After Facebook’s announcement of the closure of this Gateway, this project will try to explain the development process of a new connection manager. This fact generates the need of an unofficial alternative which Facebook does not provide. Along the different sections, there will be explained how to implement the most basic functions a connection manager must have, like: a contact list, sending or receiving messages. Meanwhile, there will be involved different solutions part of the Facebook’s official infrastructure, but also, some that are not.