Repositorio Institucional de CIMAT
Not a member yet
1133 research outputs found
Sort by
TRANSPORTLESS CONJUGATE GRADIENT FOR OPTIMIZATION ON STIEFEL MANIFOLDS
Get PDFEn este trabajo desarrollamos un método de optimización sobre la variedad de Stiefel que nos permite utilizar métodos de gradiente conjugado sin un transporte de vectores para vectores tangentes.
El transporte de vectores es un concepto crucial en el desempeño de los métodos de gradiente conjugado Riemanianos, nosotros investigamos la posibilidad de evitar aproximaciones y usar transporte paralelo para los vectores tangentes mediante la transformación de problemas sobre la variedad de Stiefel en problemas sobre espacios Euclideanos.
Sin embargo, nuestra propuesta considera conceptos Riemanianos como el de retracción. En particular, la retracción de Cayley y la retracción basada en la descomposición polar son usadas para parametrizar la variedad de Stiefel. Mediante esta parametrización, definimos una función objetivo compuesta, definida en un espacio vectorial, de modo que no es necesario utilizar un transporte de vectores
Visualización de datos a partir de patrones de despliegue en lenguaje de programación R
Get PDFctualmente para los científicos de datos representa un reto el muestreo gráfico de los
resultados del análisis de datos, regularmente los científicos de datos son expertos en
programación y en estadística, pero no en técnicas de diseño de gráficos, por esta razón se
propone el uso de patrones de visualización, estos patrones están publicados en el trabajo
de tesis de Christian Behrens en 2008.
El alcance del siguiente trabajo fue hasta los patrones de despliegue, puesto que Behrens
propone la separación de los patrones en tres categorías, patrones de despliegue es la
primera categoría. Consistió en la programación de cada patrón en el lenguaje de
programación R con uno o más paquetes, dependiendo del patrón y los tres paquetes
elegidos como prioritarios para el experimento de este trabajo. Una vez programados los
patrones con los paquetes mencionados se aplicaron las métricas de calidad de software
elegidas mediante AHP (Proceso Analítico Jerárquico), que consiste en la elección de las
métricas a partir de la encuesta a un grupo de expertos.
Con los resultados obtenidos de la aplicación de las métricas de calidad de software se hizo
una comparación con los resultados obtenidos de la programación de los mismos patrones y
sus métricas, pero con los resultados programados en Python, y a partir de esto llegar a las
conclusiones de cual lenguaje es más recomendable para hacer ciencia de datos y
visualización de patrones con software de calidad
IMPLEMENTACIÓN DE DBC Y REFINEMENT EN MANTIS
Get PDFDesde hace 9 años la cadena de bloques (blockchain) ha surgido como una tecnología y una revolución financiera iniciada por Bitcoin, desde entonces han aparecido muchas otras criptomonedas como por ejemplo Ethereum(ETH), Litecoin, Ripple.
Originalmente ETH fue creada como una mejora a Bitcoin y junto con ella nació un nuevo modelo empresarial llamado Organización Autónoma Descentralizada (DAO). La DAO fue creada como un Smart Contract (contrato inteligente) dentro de la cadena de bloques de ETH y en principio no contaba con una estructura administrativa convencional ya que esta estructura estaba formada por los inversionistas de la DAO. Uno de los métodos del contrato inteligente de la DAO tenía una vulnerabilidad de seguridad (splitDAOfunction), el resultado de este fallo se traduce en el robo de 3,642,408.53 de Ethers y el nacimiento de una nueva moneda criptográfica llamada Ethereum Classic (ETC). Hoy en día ETC se ha afianzado dentro de las criptomonedas más usadas, tanto es así que a la fecha (abril de 2018) la capitalización de mercado de esta moneda se calcula en $2,240,739,489 USD (datos tomados de coinmarketcap.com).
Todas las criptomonedas antes mencionadas tienen clientes que proporcionan interfaces gráficas o de consola que nos permiten interactuar con la blockchain, en las cuales es posible realizar bloques o transacciones. En ETC podemos encontrar al proyecto Mantis, el cual es un desarrollo realizado especialmente para esta moneda por la empresa IOHK. El cliente Mantis tienen un code coverage (cobertura de código) del 83% y ha sido sujeto a auditorías externas de seguridad. Con el objetivo de mejorar la calidad del software, los desarrolladores de IOHK se preguntaron si era posible utilizar precondiciones y postcondiciones en Mantis, esta es la pregunta que motiva este reporte técnico.
Objetivo: Hacer refactoring (refactorización) del cliente de Mantis utilizando Design By Contract (DBC) e identificar si esta técnica realmente mejora la calidad de Mantis o si con el desarrollo que se tiene es suficiente y no vale la pena utilizar DBC
Metaheurísticas aplicadas a la Resolución de Problemas de Ruteo de Vehículos con Capacidad
Get PDFEn esta tesis, se diseña un nuevo algoritmo evolutivo perteneciente a la familia de los algoritmos memeticos (Memetic Algorithms — MAs) para resolver algunas variantes del Problema del Ruteo de Vehículos. La primera variante que se aborda es el Problema del Ruteo de Vehículos con Capacidad y Ventanas de Tiempos (CVRPTW - Capacitated Vehicle Routing Problem with Time-Windows) en donde introducimos un nuevo operador de cruza que es comparado con el operador de cruza basado en secuencia (Sequence-Based Crossover - SBX) que fue diseñado para el CVRPTW. El operador de cruza propuesto es el operador de cruza de un punto en común de ruptura basado en secuencia (Single Breaking-Point Sequence Based-Crossover - SBSBX) y su principal ventaja es reducir el comportamiento destructivo que el operador SBX presentaba. La reducción del comportamiento destructivo facilita el control de la diversidad a través de la modificación de la presión de selección en la etapa de la selección de padres, de hecho, se muestra que con el operador SBX la diversidad no puede ser controlada mediante la modificación del operador de selección de padres. Sin embargo, este no es el caso con el operador SBSBX propuesto. El MA propuesto usa el recocido simulado (Simulated Annealing - SA) como método de trayectoria para mejorar los individuos generados por el operador de cruza. Se muestra que modificar exclusivamente la etapa de selección de padres no es suficiente para controlar de forma adecuada el balance entre la exploración y la explotación y, por esta razón, algunos de los métodos del estado del arte tienen problemáticas relacionadas con el control de diversidad. Debido a esto, una contribución adicional de esta tesis consistió en incorporar estrategias de control de diversidad más recientes y mostrar que las propuestas contribuyen significativamente al alcance de soluciones de alta calidad. Específicamente, la estrategia de control de diversidad dinámica basada en conceptos multi-objetivo (Replacement with Multi-objective based Dynamic Diversity Control strategy - RMDDC) es utilizada para administrar la diversidad de forma explícita. La propuesta es validada usando las pruebas de desempeño de Solomon con 100 clientes y las pruebas de desempeño de Homberger con 200, 400 y 600 clientes pudiéndose generar nuevas mejores soluciones para 14 instancias. Teniendo en cuenta que estas instancias han sido abordadas mediante una gran cantidad de métodos, se considera que este es un logro importante d
DESARROLLO DE UNA HERRAMIENTA DE SOPORTE PARA EL ASEGURAMIENTO DE LA CALIDAD EN PRODUCTOS DE SOFTWARE
Get PDFCONTRIBUCIONES ESTADÍSTICAS COMPUTACIONALES PARA EL ESTUDIO DE LA MIGRACIÓN INTERNA A NIVEL MUNICIPAL : CASO DE MÉXICO PARA EL PERIDO 2005-2010
No full textUna de las principales ramas de la demografía es la migración. Gracias a su estudio es posible crear planes de desarrollo, tanto a nivel estatal como municipal. En la literatura sobre migración interna se encuentra que la mayoría de los trabajos se han hecho a nivel estatal y que cuando se utilizan los municipios se toma la decisión de agruparlos. No queda claro si estos agrupamientos se deben a una cuestión interpretativa o si es por necesidad computacional.
El objetivo de este trabajo es construir una serie de herramientas que ayuden a los estudiosos de la migración en su trabajo de investigación, ya sea a nivel estatal o municipal. A la par se busca incluir la variable modularidad, la cual es propia del área de redes, como variable explicativa de los flujos migratorios municipales.
Se discuten los modelos más usados como el modelo gravitacional, el modelo autoregresivo espacial (SAR), Poisson, Binomial y Zero-InflatedPoisson-Logit. Se creó una librería de estas funciones que explota la estructura algebraica que subyace en cada uno de los modelos y para fines ilustrativos se analizaron los flujos migratorios reportados en el censo 2010
CONTRIBUCIONES ESTADÍSTICAS COMPUTACIONALES PARA EL ESTUDIO DE LA MIGRACIÓN INTERNA A NIVEL MUNICIPAL : CASO DE MÉXICO PARA EL PERIDO 2005-2010
No full textUna de las principales ramas de la demografía es la migración. Gracias a su estudio es posible crear planes de desarrollo, tanto a nivel estatal como municipal. En la literatura sobre migración interna se encuentra que la mayoría de los trabajos se han hecho a nivel estatal y que cuando se utilizan los municipios se toma la decisión de agruparlos. No queda claro si estos agrupamientos se deben a una cuestión interpretativa o si es por necesidad computacional.
El objetivo de este trabajo es construir una serie de herramientas que ayuden a los estudiosos de la migración en su trabajo de investigación, ya sea a nivel estatal o municipal. A la par se busca incluir la variable modularidad, la cual es propia del área de redes, como variable explicativa de los flujos migratorios municipales.
Se discuten los modelos más usados como el modelo gravitacional, el modelo autoregresivo espacial (SAR), Poisson, Binomial y Zero-InflatedPoisson-Logit. Se creó una librería de estas funciones que explota la estructura algebraica que subyace en cada uno de los modelos y para fines ilustrativos se analizaron los flujos migratorios reportados en el censo 2010
THE DUALITY BETWEN TEENSOR NORMS AND IDEALS OF MULTILINEAR OPERATORS A GEOMETRICAL APPROACH
Get PDFEn este proyecto doctoral se establece un marco teorico para el estudio de
los operadores multilineales desde un punto de vista geometrico. Este marco
teorico se describe en terminos de ideales de operadores multilineales, normas
tensoriales y la relacion dual que existe entre estos conceptos. La propuesta
que se presenta se concreta con el desarrollo de varios ideales de operadores
multilineales. Tales ideales son extensiones de clases de operadores lineales que,
bajo la propuesta que se presenta, derivan principalmente en diversos tipos de
factorizaciones de operadores multilineales.
El resultado principal de este proyecto es el Teorema de Representacion
de Ideales Maximales que nos permite estudiar los operadores multilineales
que pertenecen a ideales maximales en terminos de funcionales en productos
tensoriales normados con normas tensoriales nitamente generadas.
El aspecto geometrico del estudio de los operadores multilineales que aqu
se desarrolla se sustenta en el hecho de que todo operador multilineal acotado T
entre espacios de Banach se puede estudiar mediante una funcion auxiliar fT lla-
mada -operador. Esto nos lleva a establecer una correcta nocion de ideales de
operadores multilineales en terminos de -operadores. A lo largo de la tesis doc-
toral se prueba que esta nueva nocion de ideales esta ntimamente relacionada
con funcionales denidos en productos tensoriales. Tal relacion nos obliga a re-
nar el concepto de normas tensoriales tomando en cuenta aspectos geometricos
en los factores involucrados. Dicho renamiento de normas tensoriales da lugar
a las llamadas -normas tensoriales. As, el Teorema de Representacion de ide-
ales Maximales establece que los ideales maximales de -operadores se puede
representar a traves -normas tensoriales nitamente generadas.
Entre los ideales de operadores multilineales que se denen y desarrollan
se encuentran los operadores multilineales compactos, debilmente compactos,
nucleares, aquellos que factorizan por un espacio de Hilbert, (p,q)-dominados
y (p,q)-factorizables. Cabe destacar que en algunos de estos casos es posible
presentar generalizaciones de resultados relevantes en el caso lineal, por ejemplo,
el Teorema de Factorizacion de Kwapien para operadores (p,q)-dominados y
operadores que factorizan a traves de espacios de Hilbert
Non-Commutative Probability and Random Matrices with Discrete Spectrum
Get PDFIn this thesis, we present a variation of Free Probability called Cyclic Monotone Independence introduced by Collins, Hasebe and Sakuma (2016), along with its application to the study of random matrix models with discrete spectrum.
This work is divided into two parts. In the first one, we present the abstract notion of cyclic monotone independence on a non-commutative probability space with an additional linear functional , and we enunciate analogous definitions such as moments, convergence in distribution and asymptotic cyclic monotone independence for the linear functional . Then, we focus on the case that cyclic monotone elements have the same distribution of trace class operators, and we study explicit formulas for the eigenvalues of some selfadjoint polynomials on such cyclic monotone elements. We give an alternative proof by considering the respective polynomials as the (1,1)-entry of products of some matrices. This idea allows to find new formulas for other polynomials not considered in the paper of the three authors.
The second part of the thesis is dedicated to study the fact that random matrices that converge to trace class operators and rotationally invariant random matrices having limiting non-commutative distribution are asymptotically cyclically monotone independent on average and almost surely. This allows to prove that polynomials on the previous kind of matrices converge to deterministic compact operators. Combining the formulas from first part and the asymptotic cyclic monotone independence of random matrices, we obtain formulas for the limiting multiset of eigenvalues of the selfadjoint polynomials considered before
SMART-SPI : A data analysis model for software process improvement
Get PDFNowadays, software is everywhere. From simple applications to complicated pieces of software, these software products and services facilitate our day-to-day activities, but they also need to be high-quality products in order to guarantee their reliability, security, good performance, and usability. In this context, software development organizations have realized that product’s quality largely depends on the quality of the processed followed to build software. Software Process Improvement (SPI) initiative is set of best practices designed to improve software processes through the evaluation of the current organizational practices, competencies, and experiences. However, these SPI initiatives have presented some issues and challenges that complicate their success and preclude software organizations to get improvements. Most of these issues are related to how organizations manage, analyze and use their own data to improve decision-making. The purpose of this research is to present the SMART-SPI model, an 8-phase flexible reference model for implementing SPI initiatives. This model proposal takes advantage of business information to improve decision-making and is developed to solve the current issues and challenges of data analysis for SPI