Modelo ontológico de verificación de sistemas multiagentes diseñados bajo masina

Existe un número importante de metodologías para la especificación y desarrollo de Sistemas Multiagentes (SMA), pero normalmente no garantizan que la especificación del sistema realmente satisfaga los requerimientos de diseño. Una de ellas es la metodología MASINA (MultiAgent Systems in Automation). Esta investigación apunta a presentar un Modelo Ontológico para la Verificación de los diseños de SMA hechos con MASINA, donde las propiedades a verificar son formalizadas semánticamente y son expresadas como sentencias en Lógica de Primer Orden. Para lograr esto se usan dos técnicas: la verificación de manera composicional (el SM A es visto desde diferentes niveles de abstracción , los cuales son llamados Componentes o Subcomponentes, y a los cuales se les deben verificar las relaciones entre ellos) y el cruce de modelos (MASINA posee un conjunto de modelos que son cruzados entre ellos para verificar si son consistentes sus relaciones). Dicho modelo ontológico ha sido implementado en Protégé-OWL y probado en un caso de Estudio (Diseño de un Sistema Operativo Web usando SMA)

Un modelo de control inteligente para sistemas de manufactura basado en los paradigmas holónico y multi-agente

Los Sistemas de control Inteligente de Manufactura son organizaciones altamente distribuidas, que toman ventaja de las tecnologías de la información y las comunicaciones, de las técnicas de inteligencia artificial y de la teoría moderna de control, integrándolas en estos sistemas que compiten en un medio altamente dinámico y de economías agiles. En estas circunstancias, el desafío se ha centrado en desarrollar sistemas de control inteligente con capacidades de autonomía, cooperación y de inteligencia, adaptación rápida a los cambios del entorno y más robustos contra la ocurrencia de disturbios. Para ello se han propuesto varias arquitecturas basadas en los paradigmas holónico (control holónico) y la inteligencia artificial distribuida mediante sistemas Multi-Agente. Por definición, las unidades de producción holónicas son unidades autónomas que permiten el modelamiento de la información e infraestructura que compone el sistema de control inteligente de manufactura. El holón recurso definido como componente de la unidad de producción holónica, permite el modelamiento del comportamiento de las dinámicas existentes en los elementos que realizan una parte del proceso de manufactura. La misión y la ingeniería del holón representan las componentes funcionales del holón y representan el objetivo y el conocimiento de producción respectivamente. En este trabajo se propone desarrollar un modelo de control inteligente que incluya las exigencias de modelamiento, diseño y análisis de los sistemas de control desde la teoría de sistemas dinámicos a eventos discretos, y atributos y requerimientos de representación tomados desde los paradigmas Holónico y Multi-Agente. / Abstract. The intelligent control manufacturing systems are organizations highly distributed. They take advantage from information technologies and communications, from intelligent artificial techniques and modern theory control, integrate them in these systems that compete among a highly dynamic medium and agile economics. In these circumstances, the challenge has centered in developing intelligent control systems with features of autonomy, cooperation and intelligence, fast adaptation facing the environment changes, having robust parameters against the disturbs occurrence. Several architectures have been presented, based in holonic paradigm (holonic control) and intelligent artificial distributed through Multi-Agent systems. By definition, the holonic production units are autonomous elements that permit to model information an infrastructure composing the intelligent control manufacturing system. The resource holon defined as a component of the holonic production unit, permit the modeling of the existing dynamics in the elements to do a part of manufacturing process. The mission and engineering of the holon represent the functional components and the objective and knowledge of production respectively. This work propose to developing a intelligent control model including the modeling exigencies, design and analysis from control systems and their dynamic theory to discrete events, with the attributes a requirements took from holonic paradigm and Multi-agent.Maestrí

Digital marketing, elements of the public sector competition value chain in Barranquilla, (Colombia)

La organización en la actualidad están obligadas a generar mayores beneficios a sus consumidores para lograr mayor posicionamiento en el mercado, eso depende del manejo de factores de competitividad internos y externos que predominan en las organizaciones medianas en el sector de la publicidad digital en Barranquilla. El objetivo de esta investigación fue describir el marketing digital del sector publicitario. La investigación es descriptiva con diseño no experimental y transversal. La muestra estuvo conformada por 15 empresas, cumpliendo los criterios: Empresa mediana, con departamento de Marketing digital, domiciliada en Barranquilla. Los resultados fueron descripción el marketing digital del sector publicitario, de acuerdo a los factores internos y externos en estas empresas presentan donde existe una consistencia moderada en la dinámica de respuesta de la empresa ante factores externos y viceversa. Se concluyó que las empresas de este sector requieren de estrategias que promuevan el desarrollo de los indicadores internos de competitividad que respondan a los factores cambiantes externo.The organization is currently forced to generate greater benefits to its consumers to achieve greater market positioning, that depends on the management of internal and external competitiveness factors that predominates in medium-sized organizations in the digital advertising sector in Barranquilla. The objective of this research was to describe the digital marketing of the advertising sector. The research is descriptive with non-experimental and transversal design. The sample was composed by 15 companies, fulfilling the criteria: Medium company, with department of Digital Marketing, placed in Barranquilla. The results were a description digital marketing of the advertising sector, according of the internal and external factors in these companies present where there is a moderate consistency in the dynamics of the company’s response to external factors and vice versa. It was concluded that companies in this sector have difficulties in strategies that promote the development of internal competitiveness indicators that respond to changing external factors