Módulo experimental para la enseñanza de las reacciones químicas en la formación docente

Esta vigente la preocupación por investigar los problemas existentes en la enseñanza de las ciencias y particularmente en la ciencia química, y en ella el contenido temático de las reacciones químicas, que se constituyen como la base sobre la cuál se funda esta ciencia

Diseño técnico de la implementación de centro de respuesta a incidentes de seguridad informática. Cyber security de Colombia Ltda.

Se anexan tablas, imágenes, graficas y RAE, que describen el contenido del documento.Una gran preocupación de los administradores de TI de organizaciones privadas y estatales en Colombia, se enmarca en lo difícil que es contrarrestar los posibles riesgos de seguridad informática, e implementar una solución integral que pueda hacer frente al cibercrimen de manera eficiente y eficaz. Aunque se cuenta con apoyo estatal con la presencia de los CSIRT Ponal y CSIRT Gobierno, éstos fueron creados específicamente para responder a incidentes de nivel estado nación en las redes gubernamentales. Por otro lado, se encuentran las soluciones CSIRT comerciales que cuentan con experiencia en el manejo de eventos. Dicho equipo de profesionales se debe encargar de generar alertas y advertencias, enviando comunicados a los responsables del equipo o servicio afectado, realizar el adecuado tratamiento de incidentes, estudio y análisis de los mismos para determinar las causas o la vulnerabilidad que permitió que se materializara; realizar auditorías de seguridad de manera periódica para medir el nivel de vulnerabilidad y amenazas que presenta el sistema, y realizar análisis forense cuando ocurra algún caso de delito informático, con el fin de establecer responsabilidades.A great concern of IT administrators of private and state organizations in Colombia, is framed in how difficult it is to counteract possible computer security risks, and implement a comprehensive solution that can deal with cybercrime efficiently and effectively. Although there is state support with the presence of the Ponal CSIRT and Government CSIRT, these were created specifically to respond to nation-state-level incidents on government networks. On the other hand, there are commercial CSIRT solutions that have experience handling events. Said team of professionals must be in charge of generating alerts and warnings, sending notifications to those responsible for the affected equipment or service, carrying out the appropriate treatment of incidents, studying and analyzing them to determine the causes or vulnerability that allowed them to materialize; perform security audits periodically to measure the level of vulnerability and threats presented by the system, and perform forensic analysis when a case of computer crime occurs, in order to establish responsibilities

Análisis de Metodologías para desarrollo de Agentes, Caso Práctico: Buscador Inteligente para una Intranet

El ser humano a lo largo de su historia ha buscado siempre medios o mecanismos para (acuitar e] desarrollo de sus tareas. Kn la era industrial, por ejemplo, el ser humano valido de su ingenio creó instrumentos que fueran la extensión de las capacidades típicas de su cuerpo. Hoy an día, en la que se puede llamar la hra del Conocimiento, el ser humano, a través de la tecnología de la información, busca extender las capacidades de la mente humana, En esta búsqueda se han definido herramienlas. que tratan de expandir el conocimiento, enlrc ellas se puede citar: las herramientas Multimedia, llypermedía y la Inteligencia Artificial. Dentro de este último enfoque surge como paradigma interesante el de Agentes de Software. Un agente de Software, según Marvin Minsky, es "un programa computa!; ion al cnn cierta inteligencia" [MINSKY94]: u coma lo propone [JANCAQ5] "una entidad sotlware a la que se pueden delegar tareas", relacionadas con proceses mentales que únicamenle que el ser humano puede realizar. Varios esfucr/os en la Ingeniería de Software desde sus eomien/os, se han centrado en la construcción de abstracciones lo suficientemente poderosas y naturales para modelar, disertar y desarrollar sistemas complejos. Se puede citar como ejemplos: las abstracciones procedí menta les. los tipo de dalos abstractos y, más recientemente, los objetos. Algunos autores, como [WOOI.D95a: MAES91J creen que los agentes representan un avance similar. Según ellos, y debido a las tendencias recientes, la nalurale/a dinámica y distribuida del dato, asi como de las aplicaciones, requiere que el software no sólo responda a pedidos de sus usuarios sino que además anticipe de forma inteligente, que pueda adaptarse y busque activamente caminos para asistir a los usuarios, tn respuesta a estos requerimientos varios investigadores coinciden, que un camino particularmente interesante parece ser el desarrollo del paradigma: Agente, lo que constituye uno de los aspecto fundamentales del presente.Human beings throughout history has always sought means or mechanisms (acuitar and] carry out their tasks. Kn industrial era, for example, used its human ingenuity created instruments that were the ex tent of typical capabilities your body. Today an day, which you can call the HRA of Knowledge, man, through information technology, looking to extend the capabilities of the human mind, in this search are defined herramienlas. that try to expand knowledge, enlrc them can be mentioned:.. the Multimedia tools, llypermedía and Artificial Intelligence Within the latter approach comes as interesting paradigm of software agents software agent, as Marvin Minsky, is "a program !; computed ion the cnn some intellige nce "[MINSKY94]: u eat proposes [JANCAQ5] a" sotlware entity that can delegate tasks "related to mental proceses that únicamenle that humans can perform. Several esfucr / OS software engineering since its eomien / os, have focused on building powerful enou gh abstractions and natural modeling, lecturing and developing complex systems. One can cite as examples: abstractions proceeded mint them. dalos the abstract type and, more recently objects. Some authors, such as [WOOI.D95a: MAES91J believe that agents re present a similar breakthrough. According to them, due to recent trends, nalurale / a dynamic and distributed the data, as well as applications, requires that the software does not only respond to requests from its users but also intelligently anticipates that can adapt and actively seek ways to assist users, tn response to these requirements several researchers agree that a particularly interesting way appears to be the development paradigm: Agent, which is a fundamental aspect of this

A reference control architecture for teleoperated service robots

[SPA] Las unidades de control de robots son sistemas intensivos en software, por lo que el diseño del mismo es esencial para el desarrollo y evolución del sistema global. El hardware es también un elemento primordial en estos sistemas, no sólo por su papel como plataforma de ejecución del software de control, sino porque es habitual encontrar componentes COTS o diseñados especialmente para la aplicación, que realizan parte de la funcionalidad del sistema. Por ello, hardware y software se deben poder integrar adecuadamente y combinar de distintas formas de acuerdo con el diseño del sistema. Para manejar la complejidad intrínseca de estos sistemas, se hace necesario plantear modelos de desarrollo rigurosos y arquitecturas bien definidas que se puedan reutilizar en otros productos. Disponer de tales arquitecturas facilita enormemente el desarrollo de nuevas aplicaciones fiables y de calidad, pues permite, por un lado la reutilización de modelos y componentes y por otro, ofrece un marco para el desarrollo de los mismos. De este modo se pueden reducir costes dado que se reduce el tiempo de desarrollo y se reutilizan componentes ya probados. En esta tesis se propone ACROSET como una arquitectura de referencia para el dominio de las unidades de control de robots de servicio teleoperados que define los principales subsistemas que deben o pueden aparecer en cualquier arquitectura concreta, sus responsabilidades y relaciones. En ACROSET se propone un modelo de componentes conceptual en el que se definen los componentes que pueden aparecer en cualquier sistema del dominio considerado y los patrones de interacción entre componentes al mismo nivel que éstos, gracias al uso de puertos y conectores. Una de las principales características de ACROSET es su flexibilidad tanto para la definición de arquitecturas de sistemas concretos como para la evolución de las mismas. Precisamente el éxito de la arquitectura residirá en su habilidad para adaptarse a la variabilidad entre los sistemas del dominio para el que ha sido definida. Para el nivel de abstracción que exige el manejo de tal variabilidad, las metodologías de desarrollo dirigidas por casos de uso no son apropiadas, por lo que se adopta una metodología orientada específicamente hacia el diseño de arquitecturas como el ABD (Architecture Based Design Method), que parte de requisitos funcionales y de calidad lo suficientemente amplios y abstractos como para abarcar todo el dominio. Dicha metodología se completa con el modelo de 4 vistas propuesto por Hofmeister con el fin de expresar el modelo conceptual en UML y tratar a componentes y conectores como entidades de primera clase. Se ha validado ACROSET con su instanciación para las unidades de control de diversos robots de limpieza de cascos de buques. En concreto, en esta tesis se presenta su instanciación para el prototipo GOYA y la familia de robots del proyecto EFTCoR. También se ha utilizado un robot didáctico 4U4 para probar diferentes combinaciones hardware/software a partir de ACROSET.[ENG] Robots control units are software intensive systems, so that the design of that software is essential for the development and evolution of the overall system. Hardware is also a primordial element in these systems, not only for its role as an execution platform for the control software, but because it is habitual to find COTS components or especially designed components that carry out part of the functionality of the system. For that reason, hardware and software should can be appropriately integrated and combined in different ways according to the design of the system. To deal with the intrinsic complexity of these systems is necessary to use rigorous development methods and architectural frameworks and tools that embody well defined concepts to enable effective realization of systems to meet high level goals. Such methods and architectural frameworks allow rapid development of systems and reuse of a large variety of components, with oncomitant savings in time and money. In this thesis ACROSET is proposed as reference architecture for the domain of control units for teleoperated service robots. This architecture defines the main subsystems that should or could appear in any concrete architecture, their responsibilities and relationships. ACROSET proposes a conceptual framework to define the components and their interaction patterns that could appear in any system of the considered domain. This architectural framework relies on the abstract concepts of component,port and connector. One of the main characteristics of ACROSET is its flexibility as much for the definition of architectures for concrete systems as for the evolution of the same ones. The success of the architecture depends on its ability to deal with the variability among the systems of the considered domain. Furthermore, at the level of abstraction required to manage the variability of the systems, the development methodologies directed by use cases are not appropriate. For this reason, an architecture oriented approach is adopted: the ABD (Architecture Based Design Method), which starts from functional and quality requirements wide and abstract enough to include the entire domain. Such method is completed with the 4 views proposed by Hofmeister to express the conceptual view of the architecture with UML and to treat components and connectors as first class entities. ACROSET has been validated with different instantiations for the control units of various ship hull cleaning robots. Specifically, in this thesis the instantiation of ACROSET for the GOYA prototype and the family of robots in the EFTCoR project is presented. A didactic robot (4U4) has also been used to test different hardware/software combinations.Universidad Politécnica de CartagenaPrograma de doctorado en Tecnología electrónic

Simulador basado en agentes inteligentes para el apoyo a la toma de decisiones en los planes operacionales de negocios en centros comerciales

Modelar el comportamiento de los clientes dentro de un centro comercial y explorar las mo-tivaciones que dirigen sus acciones, ha sido objeto de estudio de múltiples trabajos y ha ge-nerado nuevas teorías en mercadeo. Visto desde una perspectiva informática, el modelado de este sistema es complejo, dada su naturaleza de comportamiento emergente. En este tra-bajo se propone ofrecer una herramienta de apoyo para la toma de decisiones a través de un modelo de simulación basado en sistemas multiagente para el estudio del comportamiento emergente que tienen los clientes dentro de un centro comercial. El modelo propuesto fue validado por un experto a través de la implementación de un caso de estudio.Modeling customer behavior within a mall and explore the motivations that drive their ac-tions, has been studied by several researchers and has generated new marketing theories. Viewed from a software modeling perspective, the system’s design is complex given its emerging behavior nature. In this paper a supporting tool for decision-making through a sim-ulation model based on multi-agent systems to study emergent behavior of customers within a mall is proposed. The proposed model was be validated by an expert through the imple-mentation of a case study.Magíster en Ingeniería de Sistemas y ComputaciónMaestrí

Diseño de un Sub-Sistema de Cómputo Distribuido que permita implementar virtualización inalámbrica para gestionar recursos (Procesamiento, memoria, almacenamiento y dispositivos E/S) distribuidos en una Red Ad Hoc, mediante el modelo de pseudo Estado

Las redes de comunicaciones dinámicas estocásticas como las redes ad hoc, están inmersas en ecosistemas altamente distribuidos como lo es Internet, incluso es un medio para implementar tecnologías como Ciudades inteligentes, Internet de las Cosas (IoT), entre otros. Estos ambientes distribuidos donde la cantidad de recursos de cómputo disponibles, la calidad de servicio (QoS), y la naturaleza de servicios solicitados por los usuarios son factores determinantes en las interacciones hombremáquina/ máquina-máquina, requieren de una abstracción que permita identificar y definir las interacciones entre los miembros de estos sistemas para ejecutar las tareas distribuidas con el fin de obtener el servicio sin importar las limitaciones de los dispositivos, una forma de resolver este problema es la construcción de un sistema operativo virtualizado orientado a redes ad hoc, bajo premisas sociales como la justicia o la equidad, necesaria en estos ambientes computacionales cambiantes.Abstract: The dynamic stochastic communication networks such as ad hoc networks are immersed in highly dis- tributed ecosystems such as the Internet, it is even a means to implement technologies such as Smart Cities, Internet of Things (IoT), among others. These distributed environments where the amount of computing resources available, the quality of service (QoS), and the nature of services requested by users are determining factors in human-machine / machine-machine interactions, require an abstrac- tion to identify and define the interactions between the members of these systems to execute the distributed tasks in order to obtain the service regardless of the limitations of the devices, one way to solve this problem is the construction of a virtualized operating system oriented to ad hoc networks, under social premises such as justice or equity, necessary in these changing computational environ- mentsDoctorad

Implementación de un clúster-controlador de SDN basado en un framework de software libre para la infraestructura Cloud de la facultad de ingeniería en Ciencias Aplicadas

Desplegar una Red Definida por Software mediante el uso de un clúster de servidores y un framework de código abierto sobre la infraestructura cloud de la Facultad de Ingeniería en Ciencias Aplicadas.El presente proyecto de tesis muestra el despliegue de una Red Definida por Software construida a base de elementos de software libre. El despliegue plantea una solución a la problemática de la gestión desarticulada de los recursos de networking del Centro de Datos FICA. Como parte de la etapa inicial se ejecuta una reorganización de los componentes y la creación de los elementos de red a base de virtualización para evitar el crecimiento en la cantidad de hardware de red y hacer uso de recursos genéricos creados mediante software. La aplicación de la arquitectura SDN requiere el manejo de conceptos y definiciones relacionadas con su arquitectura y componentes, así como los términos relacionados con la virtualización. Por esa razón este documento dedica una sección completa al análisis teórico de las alternativas para la implementación del controlador de red y de los modelos de despliegue de las SDN. Se consideran también los métodos de clusterizacion para integrar la infraestructura cloud del Centro de Datos con la red definida por software usando el mecanismo NetVirt. Uno de los objetivos principales de la etapa de despliegue, es la explicación de los pasos que se siguen para el levantamiento de la SDN. Se facilitan los movimientos detallados de la evaluación del cloud privado y posteriormente se aplican pruebas prácticas a los controladores candidatos, para obtener el resultado con pruebas fehacientes. Para este proyecto se ha hecho uso de las normas ISO/IEC/IEEE 29148 y 2504n para validar el software sobre el que se despliega la SDN. Luego de las pruebas de funcionamiento en varias sub etapas, se verifica que el funcionamiento de los elementos creados durante despliegue es satisfactorio. Aquí se pone en funcionamiento a toda la red permitiendo comprobar que el despliegue se ha concluido con éxito y que los mecanismos de virtualización de red funcionan están listos para usarse en producción

Lógica para Informática

El contenido de Lógica para Informática se basa en la asignatura Lógica e Inteligencia Artificial (capítulos 1, 2 y 3, sobre la lógica proposicional o de enunciados, la lógica de predicados de primer orden y la lógica modal, respectivamente) y en parte de las asignaturas Teoría de la Computación y Verificación de Programas y Teoría de la Computación y Verificación de Programas Avanzada (capítulo 4, sobre la verificación axiomática de programas), asignaturas que los autores dictamos desde hace tiempo en la Licenciatura en Informática de la Universidad Nacional de La Plata. Los cuatro tópicos referidos conforman el objeto de estudio de este libro: la lógica (matemática), considerando tres de las lógicas más difundidas, y una de sus aplicaciones más interesantes en el contexto de la informática. El título del libro puede parecer restrictivo, pero nuestra intención es la contraria. El libro es efectivamente para Informática porque nuestra idea primaria es aportar material bibliográfico para el dictado de las asignaturas mencionadas o similares en el marco de los planes de estudio para Informática. Lo es también porque estamos convencidos de la importancia del estudio de la lógica en la formación de los profesionales de la computación. Sin embargo el libro está orientado a informáticos y no informáticos, nuestro propósito es inclusivo, por el hecho de que la lógica forma parte de numerosos planes de estudio no solo de informática y matemática, y además porque la problemática del desarrollo de programas de computadora correctos es un tema de interés cada vez más amplio.Facultad de Informátic

Aplicación de la metodología GloBeM al servicio de cloud Hydra

El presente Proyecto de Fin de Máster consiste en crear una herramienta software capaz de monitorizar y gestionar la actividad de Hydra, una herramienta de gestión de entornos distribuidos, para que su estrategia de balanceo de carga se adecúe al modelo creado por GloBeM, una metodología de análisis de entornos distribuidos. GloBeM, que es una metodología externa, puede analizar y crear un modelo de máquina de estados finitos a partir de un sistema distribuido concreto. Hydra, una herramienta también externa, es un sistema de gestión de entornos cloud recientemente desarrollado y de código abierto, con un sistema de balanceo de carga efectivo pero algo limitado. El software construido recoge el modelo creado por GloBeM y lo analiza. A partir de ahí, monitoriza en tiempo real y a una frecuencia determinada la actividad de Hydra y el sistema cloud que ésta gestiona, y reconfigura sus parámetros para que su desempeño se ciña a lo estipulado por el modelo de GloBeM, extendiendo así el sistema de balanceo de carga original de Hydra.---ABSTRACT---This Master's Thesis Project involves creating a software able to monitor and manage the activity of Hydra, a tool for managing distributed environments, in order to adjust its load balancing strategy to the model created by GloBeM, an analysis methodology for distributed environments. GloBeM, which is an external methodology, can analyse and create a finite-state machine model from a particular cloud system. Hydra, also an external tool, is an open source management system for cloud environments recently developed, with a relatively limited system of load balancing. The created software gets the model created by GloBeM as an input and analyses it. From there, it monitors in real time and at a certain frequency Hydra’s activity and the cloud system that it manages, and reconfigures its parameters to adjust its performance to the stipulations by the GloBeM’s model, extending Hydra's original load balancing system

Propuesta de un sistema web RPANIC de control y administración inmobiliaria de propiedades residenciales/comerciales en la Empresa Real Property Associates S.A. en Nicaragua

Presenta una propuesta de sistema web para una inmobiliaria que contenga la información de todo el análisis y diseño que hace posible el producto de un sistema web para administración de propiedades