Examinando por Materia "Machine theory"
Mostrando 1 - 6 de 6
Resultados por página
Opciones de ordenación
Ítem Análisis del acondicionamiento para un sistema de ecuaciones generado a partir de la ecuación de Freudenstein(Universidad EAFIT, 2015) Guerrero García, José Alberto; Estrada Álvarez, John JairoEn 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Ítem Capacidad tecnológica de la industria nacional para la fabricación de componentes estructurales de trenes(Universidad EAFIT, 2013) Méndez Zuluaga, Andrés Felipe; Betancur Giraldo, Germán RenéÍtem Category theory applied to functional programming(Universidad EAFIT, 2014) Villa Isaza, Juan Pedro; Sicard Ramírez, AndrésWe 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Ítem Diseño conceptual de un robot para la elaboración de conductos subterráneos de pequeña escala(Universidad EAFIT, 2011) López Restrepo, Juan Manuel; Jaramillo, Juan Manuel; Betancur Muñóz, Javier MauricioEn 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Ítem Imputation method based on recurrent neural networks for the internet of things(Universidad EAFIT, 2018) Rodríguez Colina, Sebastián; Mejía Gutiérrez, RicardoThe 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Ítem Reconversión del sistema de control de un robot tipo Scara(Universidad EAFIT, 2008) Flórez Escobar, Jaime Andrés; Mark Bailey, Andrew; Ruíz Gil, Alejandro