ISBN: 978-9942-9902-6-6 1 1 Copyright: Dirección de Investigación de la Pontificia Universidad Católica del Ecuador Sede Esmeraldas, prohibida la reproducción total o parcial de este libro por ningún medio impreso o electrónico sin el permiso previo y por escrito del dueño del copyright. PONTIFICIA UNIVERSIDAD CATÓLICA DEL ECUADOR SEDE ESMERALDAS Dirección: Espejo y subida a Santa Cruz Casilla: 08-01-0065 Teléfonos: +593 (06) 2721983 – 2721595 Email: [email protected] www.pucese.edu.ec ESMERALDAS - ECUADOR PUBLICACIÓN ELECTRÓNICA ISBN: 978-9942-9902-6-6 Los artículos incluidos en esta publicación fueron sometidos a procedimientos de admisión y revisión por pares, llevados a cabo por un comité científico nacional e internacional de alto nivel. 2 La simulación en ingeniería, transcendiendo fronteras Coordinador de la Carrera de Sistemas y Computación Víctor Xavier Quiñonez Ku Director de Investigación PUCE Esmeraldas Ignacio Carazo Ortega Comité Organizador Víctor Xavier Quiñonez Ku Jaime Paúl Sayago Heredia Luis Alberto Herrera Izquierdo Comité Editorial Pablo Antonio Pico Valencia, Universidad de Granada – España Evelin Lorena Flores García, Universidad de Almería – España Cesar Raúl García Jacas, Universidad Nacional Autónoma de México José Luis Sampietro Saquicela, Universidad de Barcelona – España Luis Dionicio Rosales Romero, Universidad de los Andes – Venezuela Juan Luis Casierra Cavada, Pontificia Universidad Católica del Ecuador Pedro Roberto Suarez Suri, Pontificia Universidad Católica del Ecuador Víctor Xavier Quiñonez Ku, Pontificia Universidad Católica del Ecuador Jaime Paúl Sayago Heredia, Pontificia Universidad Católica del Ecuador Luis Alberto Herrera Izquierdo, Pontificia Universidad Católica del Ecuador Franyelit María Suarez Carreño, Pontificia Universidad Católica del Ecuador Marc Grob, Pontificia Universidad Católica del Ecuador Comité Técnico Manuel Rogelio Nevárez Toledo Wilson Gustavo Chango Sailema Susana Gabriela Patiño Rosado José Luis Carvajal Carvajal Pedro César Godoy Rosero Junior Williams Mera Quiroz Kleber Rolando Posligua Flores Víctor Fabián Martínez Estupiñán Walter Eduardo Almeida Clavijo Verónica del Carmen Yánez Ortiz Ángel Anchundia Ortiz Rhay Pablo Bustos Vera Zully Betty Carvache Franco Luis Enrique Hidalgo Solorzano Walter Clemente Mosquera Torres Tania Elizabeth Posligua Flores Kleber Leonardo Vera Tortorella Diseño Gráfico Melba Cristina Marmolejo Cueva Autor: PUCE Sede Esmeraldas Editorial: Pontificia Universidad Católica del Ecuador Sede Esmeraldas Colección: Investigación, Temas relacionados con la Tecnología Fecha publicación: Enero 2018 Edición: 1ra edición Idioma: Español 3 PRESENTACIÓN La Pontificia Universidad Católica del Ecuador Sede Esmeraldas (PUCESE) ha asumido como un reto la tarea de la investigación en el desarrollo académico. Fruto de ello han sido las I Jornadas de investigación de la carrera de Sistemas y Computación bajo el título La simulación en Ingeniería: transcendiendo fronteras. La visión de la PUCESE ha sido siempre impulsar el desarrollo y mejorar la calidad de vida de las personas, especialmente las más vulnerables. La investigación en áreas técnicas también tiene este objetivo y eso es lo que se quiere poner de manifiesto en las presentes jornadas con la participación de profesionales, docentes y estudiantes de distintas universidades. Además de poner en común los trabajos que vienen realizando investigadores en ingeniería, las jornadas quieren consolidar alianzas para seguir trabajando en redes de investigación que permitan avanzar cooperativamente de forma más eficiente e interdisciplinaria. Estas jornadas se enmarcan también en un momento de cambio y rediseño de carreras, con los respectivos estudios de pertinencia para responder a las necesidades del país y las demandas de los estudiantes. En este sentido, dentro del área técnica, el próximo año 2018 tendremos una nueva propuesta académica, que se denomina Tecnologías de Información y que sustituye a la anterior de Sistemas y Computación. Un cambio importante en un área de conocimiento que evoluciona aceleradamente. Esperamos desde ella seguir aportando a la transformación de Esmeraldas. Un cordial saludo Aitor Urbina PRO-RECTOR 4 ÍNDICE DE ARTÍCULOS PÁG. MULTIMODAL HYPERDOCTRINES 5 GESTIÓN DE LUMINARIAS LED USANDO 6LOWPAN 12 IMPLEMENTACIÓN DE UN APLICATIVO PARA VERIFICAR LA 17 CONECTIVIDAD DE NODOS DE SENSORES INALÁMBRICOS UTILIZANDO IPV6 SIMULADOR DE COGNITIVE RADIO EN REDES MÓVILES 23 SCRUM Y DJANGO PARA EL DESARROLLO RÁPIDO DE UN SISTEMA WEB 29 PARA EL CONTROL DE MANTENIMIENTOS PREVENTIVOS Y CORRECTIVOS DE BIENES DEL CUERPO DE BOMBEROS DEL GADM DE SANTO DOMINGO GENERADOR AUTOMÁTICO DE APLICACIONES WEB E INTERFACES DE 37 USUARIOS CON FUNCIONALIDAD RESPONSIVA EN EL LENGUAJE PYTHON ANÁLISIS DE SENTIMIENTO CON LINGMOTIF: APROXIMACIÓN 43 METODOLÓGICA AL ANÁLISIS DE INTERVENCIONES EN SERIES TEMPORALES DE LA VALENCIA INCIDENCIA DE LA COMUNICACIÓN VISUAL EN LA EVALUACIÓN 52 HEURÍSTICA DETERMINACIÓN DEL RITMO CARDÍACO EN TIEMPO REAL PARA EL 56 DIAGNÓSTICO DE AFLICCIONES RELACIONADAS AL CORAZÓN MEDIANTE LA APLICACIÓN DE REDES NEURONALES PARÁMETROS INCIDENTES EN EL CONSUMO ELÉCTRICO, REFERIDOS AL 61 SECTOR RESIDENCIAL URBANO LA VINCULACIÓN ENTRE LA UNIVERSIDAD Y EL SECTOR PRODUCTIVO 66 INDUSTRIAL MINERÍA DE OPINIONES DE UN PERSONAJE PÚBLICO EN EL ECUADOR 72 METODOLOGÍA PARA PROCESOS DE INTELIGENCIA DE NEGOCIOS CON 77 MEJORAS EN EXTRACCIÓN Y TRANSFORMACIÓN DE FUENTES DE DATOS ANÁLISIS DE LA RESPUESTA ESPECTRAL EN PLANTACIONES DE BANANO, 81 A TRAVÉS DE LA RELACIÓN DE LOS MICRO ELEMENTOS DEL SUELO Y LOS ÍNDICES DE VEGETACIÓN, EN LA FINCA BLANCA AMÉRICA, PROVINCIA DEL GUAYAS, CANTÓN SAN JACINTO DE YAGUACHI SISTEMAS DE CONTROL DISTRIBUIDO PARA EL PROCESO DE GENERACIÓN 89 DE VAPOR EN UNA PLANTA TERMOELÉCTRICA ANÁLISIS COMPARATIVO DE METODOLOGÍAS DE INTERPOLACIÓN DE 93 POLINOMIOS QUE REPRESENTEN CONTORNOS DE MAPAS PARA CÁLCULO DE ÁREAS PLANAS 5 Multimodal hyperdoctrines Joaquín Díaz Boils Escuela de Ciencias Físicas y Matemáticas Facultad de Ciencias Exactas y Naturales Pontificia Universidad Católica del Ecuador 170150. Quito. Ecuador. [email protected] Abstract—This paper treats type systems addressed to the semantics of recursive function classes closed under the known as II. SAFE RECURSION AND COMPOSITION safe recursion scheme. The strategy has been the introduction of an extension of former The categorical work on the complexity hierarchies developments made for two sorts of variables which have no counterpart in the above-mentioned type systems. Since these contained in the Primitive Recursive Functions class has to typings make use of modal operators to perform safety, we need a deal with a characterization of the known as bounded suitable interpretation of multimodal systems. recursion: The main goal has been achieved through the introduction of Multimodal Hyperdoctrines whose models, obtained through 푓(푢, 0) = 푔(푢) categorical interpretations of Boolean Algebras with Operators, {푓(푢, 푥 + 1) = ℎ(푢, 푥, 푓(푢, 푥)) (1) should give an account of those semantics for recursion. 푓(푢, 푥) ≤ 푗(푢, 푥) Keywords—Fibrations, Grothendieck Construction, The Grzegorzcyk Hierarchy in particular is a well-known Hyperdoctrines, Multimodal Logic, Boolean Algebras with class which is closed under that scheme. Operators. The safe interpretation was introduced by Bellantoni and Cook in [3] as a way to substitute the bounding condition in the above scheme by a syntactical condition. Their central I. INTRODUCTION idea was to define two different kinds of variables (normal and safe) according to the use we make of them in the process Several different approaches are considered in this work. It of computation. In [3] the class of polynomial time functions contains an algebraic point of view by the consideration of has been characterized in safety terms. In particular, Boolean Algebras with operators, a type-theoretic Bellantoni and Cook define a class of functions in the form perspective and the use of logical systems all of them 푓(푥̅, 푦̅) where normal inputs are in the left and separate them addressed to a better understanding of complexity, and some from safe by making use of a semicolon. From that seminal recursive classes in particular. work two safe operations are defined in the following form: The systems considered to perform the idea expressed in the abstract contain a number of modal operators, following the • Safe Recursion corresponding to the scheme: ideas of [1], and that is precisely the starting point to introduce algebraic structures from which we can develop a 푓(0, 푥̅; 푎̅) = 푔(푥̅; 푎̅) categorical formulation of multimodal systems. Multimodal { (2) Hyperdoctrines appear in this context as an appropriate 푓(푦 + 1, 푥̅; 푎̅) = ℎ(푦, 푥̅; 푎̅, 푓(푦, 푥̅; 푎̅)) setting for these logic systems. It turns out, then, that the categories arising from the where 푔 and ℎ belong to the class considered and Grothendieck Construction associated to these hyperdoctrines contain the representation of the models • Safe Composition by means of which we can define a which we hope to use in the characterization of the new function f by complexity classes mentioned. Section 2 introduces the basic ideas of safety in the context 푓(푥̅; 푎̅) = ℎ(푔̅(푥̅; ); 푘̅(푥̅; 푎̅)) (3) of computability. In section 3, following the development of [1] and the extension introduced by the author in [2], a modal ̅ type system, suitable for our purpose is presented as well as where ℎ , 푔̅ and 푘 belong to the class considered. its meaning. Some example