Search

El presente Trabajo Final de Grado tiene dos objetivos principales, el primero es analizar las características constructivas, funcionales y el coste de adquisición de maquetas comercializadas para la enseñanza de la materia Teoría de Máquinas y Mecanismos (TMM) y; el segundo es aportar diseños novedosos y de bajo costo de materialización de maquetas funcionales de dos mecanismos básicos como son el cuadrilátero articulado de Grashof y el mecanismo de manivela-biela-pistón, así como proponer el control de su funcionamiento. Se ha realizado una búsqueda de empresas que comercializan maquetas para la enseñanza de TMM, y se muestra los mecanismos que comercializan y el coste de adquisición en la empresa alemana Gunt e inglesa TecQuipment, únicas que facilitaron dichos datos. El trabajo expone las características estructurales y funcionales de dichos mecanismos y comparativas entre las nuevas maquetas diseñadas y las comercializadas. El trabajo expone el diseño modular realizado para el cuadrilátero articulado y para el mecanismo de manivela-biela-pistón, aplicando soluciones creativas y factibles de materializar por procesos de impresión 3D y de corte con láser de bajo coste. Los diseños logrados permiten poder configurar todas inversiones cinemáticas de dichos los mismos, utilizando una única bancada. En los mecanismos se exponen además los esquemas de símbolos de cada inversión con la indicación de los parámetros geométricos correspondientes. Para la modelación de los sólidos y ensambles, así como la generación de la simulación virtual de su funcionamiento, se ha utilizado el programa SolidWorks y un Módulo Motion. La esquematización de los mecanismos se realizó con el Adobe Illustrator. El trabajo expone la propuesta para la motorización y el control del funcionamiento de las maquetas una vez puedan materializarse, utilizando básicamente motores paso a paso, una tarjeta de control BigEasyDriver y una placa Arduino UNO. Mediante el uso del programa Fritzing se muestra el esquema de conexión de dichos elementos. También propone el código a implementar en el controlador, generado con el entorno de desarrollo IDE de Arduino. Además, se hace la comparativa entre el coste de adquisición de las maquetas comercializadas y el coste de fabricación de las nuevas maquetas, justificándose la opción de autoproducción de las mismas. En el proyecto se ha utilizado el programa BCN3D Cura, para determinar la cantidad de plástico requerido para la impresión de las piezas, parámetro necesario en la determinación de su coste de fabricación. Por último, se expone el coste del desarrollo del proyecto y una breve explicación del impacto ambiental.

Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2019 Director: Juan Carlos Martínez Alonso, [en] This paper aims to approach automata theory which is the study of abstract computing devices. In the first part we are going to study regular languages and finite automatas, the devices that allow to recognize regular languages. In the last part we’ll see context-free languages and the machines to recognize them, the pushdown automatas.

El Internet de las Cosas (IoT) es un nuevo paradigma tecnológico, en el cual sensores y objetos comunes, como electrodomésticos, se conectan e interactúan a través de la Internet -- Este nuevo paradigma, de la mano con técnicas de Inteligencia Artificial (AI) y técnicas modernas para el análisis de datos, hace posible el desarrollo de productos y servicios inteligentes; lo que promete revolucionar la industria y la forma de vida de los humanos -- Sin embargo, existen muchos problemas que deben ser solucionados para poder contar con productos y servicios confiables basados en el IoT -- Dentro de estos problemas, el problema de los datos faltantes impide la correcta aplicación de modernas técnicas the AI y análisis de datos en aplicaciones basadas en el IoT -- Este escrito presenta un análisis del problema de los datos faltantes en el contexto del IoT, así como métodos de imputación actuales propuestos a solucionar este problema -- Del análisis se concluye que las soluciones actuales tienen grandes limitaciones si se considera lo amplio del contexto de las applicaciones basadas en IoT -- El análisis también expone que no hay un marco experimental en común que pueda ser usado por los diferentes autores, y que los experimentos encontrados carecen de reproducibilidad y no consideran adecuadamente como el problema de los datos faltantes se presenta en el contexto en particular del IoT -- De acuerdo con lo anterior, este escrito presenta dos propuestas principales: i) un marco experimental que permite evaluar adecuadamente los métodos de imputación que se pretendan evaluar en este contexto; y ii) un método de imputación que es lo suficientemente general como para ser aplicado en los diferentes escenarios del IoT -- El método de imputación se basa en el uso de Redes Neuronales Recurrentes, una familia de métodos de aprendizaje supervisado que ha mostrado un buen desempeño explotando patrones de datos sequenciales y relaciones intrínsecas entre variables, The Internet of Things (IoT) refers to the new technological paradigm in which sensors and common objects, like household appliances, connect to and interact through the Internet -- This new paradigm, and the use of Artificial Intelligence (AI) and modern data analysis techniques, powers the development of smart products and services; which promise to revolutionize the industry and humans way of living -- Nonetheless, there are plenty of issues that need to be solved in order to have reliable products and services based on the IoT -- Among others, the problem of missing data posses great threats to the applicability of AI and data analysis to IoT applications -- This manuscript shows an analysis of the missing data problem in the context of the IoT, as well as the current imputation methods proposed to solve the problem -- This analysis leads to the conclusion that current solutions are very limited when considering how broad the context of IoT applications may be -- Additionally, this manuscript exposes that there is not a common experimental set up in which the authors have tested their proposed imputation methods; moreover, the experiments found in the literature, lack reproducibility and do not carefully consider how the missing data problem may present in the IoT -- Consequently, the reader will find two proposals in this manuscript: i) an experimental set up to properly test imputation methods in the context of the IoT; and ii) an imputation method that is general enough as to be applied to several IoT scenarios -- The latter is based on Recurrent Neural Networks, a family of supervised learning methods which have excel at exploiting patterns in sequential data and intrinsic association between the variables of data

En este proyecto se estudian algunos de los problemas numéricos que surgen al usar la ecuación de Freudenstein en el análisis de mecanismos y estudiar experimentalmente el sistema de ecuaciones que se plantean al construir una falange proximal de un dedo antropomórfico, cuyo funcionamiento sea similar al de un homólogo humano desarrollado previamente por la referencia [1] (Édgar Alfredo Portilla Flores, Junio de 2010), esto conllevo a identificar si el sistema obtenido que modela la falange proximal, pueda ser inconsistente o mal condicionado usando el algoritmo de SOR -- Con lo anterior, estudiamos de una manera Heurística el sistema para ver si es posible mejorarlo en convergencia y precisión -- En la primera parte se describe el planteamiento del problema para mostrar el uso de la ecuación de Freudenstein, posteriormente el sistema de ecuaciones obtenidas se usará con el propósito de implementar un algoritmo de aproximación a la solución numérica basadas en el método de SOR -- El trabajo se llevó a cabo utilizando la herramienta de simulación Simulink de Matlab, la cual permite investigar el comportamiento del sistema en aspectos de condicionamiento, convergencia y precisión -- Esto abre múltiples posibilidades de simular, sin incurrir en costos elevados y en problemas asociados en la construcción de un modelo físico en laboratorio -- En el trabajo no se realiza un nuevo modelo físico del dedo falange proximal, pero si debía darse como referente los resultados numéricos ya establecidos por otros autores [1] (Édgar Alfredo Portilla Flores, Junio de 2010) para verificar los valores numéricos obtenidos que implementasen el algoritmo de SOR

We study some of the applications of category theory to functional programming, particularly in the context of the Haskell functional programming language, and the Agda dependently typed functional programming language and proof assistant -- More specifically, we describe and explain the concepts of category theory needed for conceptualizing and better understanding algebraic data types and folds, functors, monads, and parametrically polymorphic functions -- With this purpose, we give a detailed account of categories, functors and endofunctors, natural transformations, monads and Kleisli triples, algebras and initial algebras over endofunctors, among others -- In addition, we explore all of these concepts from the standpoints of categories and programming in Haskell, and, in some cases, Agda -- In other words, we examine functional programming through category theory

En este trabajo se presenta el diseño conceptual de un artefacto cuya función principal es realizar túneles continuos de diámetros inferiores a los manejados por mini TBMs actualmente -- Esta función tiene asociados 3 elementos constitutivos: el proceso de ex- ´ cavación, el proceso de remoción de escombros y el proceso de estructuración interna del túnel