A service-oriented middleware for integrated management of crowdsourced and sensor data streams in disaster management

The increasing number of sensors used in diverse applications has provided a massive number of continuous, unbounded, rapid data and requires the management of distinct protocols, interfaces and intermittent connections. As traditional sensor networks are error-prone and difficult to maintain, the study highlights the emerging role of “citizens as sensors” as a complementary data source to increase public awareness. To this end, an interoperable, reusable middleware for managing spatial, temporal, and thematic data using Sensor Web Enablement initiative services and a processing engine was designed, implemented, and deployed. The study found that its approach provided effective sensor data-stream access, publication, and filtering in dynamic scenarios such as disaster management, as well as it enables batch and stream management integration. Also, an interoperability analytics testing of a flood citizen observatory highlighted even variable data such as those provided by the crowd can be integrated with sensor data stream. Our approach, thus, offers a mean to improve near-real-time applications

Deep Learning Based Malware Classification Using Deep Residual Network

The traditional malware detection approaches rely heavily on feature extraction procedure, in this paper we proposed a deep learning-based malware classification model by using a 18-layers deep residual network. Our model uses the raw bytecodes data of malware samples, converting the bytecodes to 3-channel RGB images and then applying the deep learning techniques to classify the malwares. Our experiment results show that the deep residual network model achieved an average accuracy of 86.54% by 5-fold cross validation. Comparing to the traditional methods for malware classification, our deep residual network model greatly simplify the malware detection and classification procedures, it achieved a very good classification accuracy as well. The dataset we used in this paper for training and testing is Malimg dataset, one of the biggest malware datasets released by vision research lab of UCSB

Proceedings, MSVSCC 2019

Old Dominion University Department of Modeling, Simulation & Visualization Engineering (MSVE) and the Virginia Modeling, Analysis and Simulation Center (VMASC) held the 13th annual Modeling, Simulation & Visualization (MSV) Student Capstone Conference on April 18, 2019. The Conference featured student research and student projects that are central to MSV. Also participating in the conference were faculty members who volunteered their time to impart direct support to their students’ research, facilitated the various conference tracks, served as judges for each of the tracks, and provided overall assistance to the conference. Appreciating the purpose of the conference and working in a cohesive, collaborative effort, resulted in a successful symposium for everyone involved. These proceedings feature the works that were presented at the conference. Capstone Conference Chair: Dr. Yuzhong Shen Capstone Conference Student Chair: Daniel Pere

MODELING HYPERBARIC CHAMBER ENVIRONMENT AND CONTROL SYSTEM

Deep water activities are essential for many industrial fields, for instance in repairing and installation of underwater cables, pipes and constructions, marine salvage and rescue opera- tions. In some cases, these activities must be performed in deep water and hence require special equipment and prepared and experienced personnel. In some critical situations, re- motely controlled vehicles (ROVs) can't be used and a human diver intervention is required. In the last case, divers are required to perform work at high depths, which could be as low as 300m below the water surface. Usually, this is the limit depth for commercial diving and when operations must be carried out even deeper, ROVs remain only possibility to perform them. In the past, the safety regulations were less strict and numerous operations on depth of 300-350 meters of seawater were conducted. However, in the beginning of the 90s gov- ernments and companies started to impose limits on depths of operation; for instance, in Norway maximum operational depth for saturation divers is limited to 180 meters of sea- water (Imbert et al., 2019). Obviously, harsh environmental conditions impose various limitations on performed activi- ties; indeed, low temperature, poor visibility and high pressure make it difficult not only to operate at depth, but even to achieve the point of intervention. One of the main problems is related to elevated pressure, which rises for about 1 bar for each 10 meters of water depth and could achieve up to 20-25 bars at required depth, while pressure inside divers\u2019 atmospheric diving suites must be nearly the same. Considering this, there are several evident limitations. First is related to the fact that at high atmospheric pressure oxy- gen becomes poisonous for human body and special breath gas mixtures are required to avoid health issues. The second one is maximum pressure variation rate which would not cause damage for the human body; indeed, fast compression or decompression could easily cause severe damages and even death of divers. Furthermore, surveys found that circa 1/3 of divers experience headache during decompression which usually last for at least several hours and up to several days (Imbert et al., 2019). The same study indicates that majority of the divers experience fatigue after saturation and it lasts on average more than 4 days before return to normal. Obviously, risk of accidents increases with high number of compression- decompression cycles. To address these issues, in commercial deep water diving the common practice is to perform pressurization only one time before the start of the work activity which typically lasts 20-30 days and consequent depressurization after its end. Hence, divers are living for several weeks in isolated pressurized environments, typically placed on board of a Dive Support Vessel (DSV), usually barge or a ship, and go up and down to the workplace using submersible decompression chamber also known as the bell. While long-term work shifts provide numerous advantages, there is still necessity to perform life support supervision of the plant, the bell and the diving suits, which require presence of well qualified personnel. Currently, most of training activities are performed on empty plant during idle time, but obviously this approach is low efficient and costly, as well as accom- panied by the risk to broke equipment. To address such issues, this research project proposes utilization of simulator of plant and its life support system, devoted to train future Life-Support Supervisors (LSS), taking into account gas dynamics, human behaviour and physiology as well as various aspect of opera- tion of saturation diving plants

UAV Navigation System for Prescribed Fires

Since the beginning of mankind, a lot of fires have happened and have taken millions of lives, whether they were human or animal lives. On average, there are about twenty thousand forest fires annually in the world and the burnt area is one per thousand of the total forest area on Earth. In the last years, there were a lot of big fires such as the fires in Pedrogão Grande, Portugal, the SoCal fires in the US coast, the big fire in the Amazon Forest in Brazil and the bush fires in Australia, later 2019. When fires take such dimensions, they can also cause several environmental and health problems. These problems can be damage to millions of hectares of forest resources, the evacuation of thousands of people, burning of homes and devastation of infrastructures. When a big fire starts, the priority is the rapid rescue of lives and then, the attempt to control the fire. In these scenarios, autonomous robots are a very good assistance because they can help in the rescue missions and monitoring the fire. These autonomous robots include the unmanned aerial vehicle, or commonly called the UAV. This dissertation begins with an intensive research on the work that has already been done relative to this subject. It will then continue with the testing of different simulators and see which better fits for this type of work. With this, it will be implemented a simulation that can represent fires and has physics for test purposes, in order to test without causing any material damage in the real world. After the simulation part is done, algorithm testing and bench marking are expected, in order to compare different algorithms and see which are the best for this type of applications. If everything goes according to plan, in the end, it is expected to have an autonomous navigation system for UAVs to navigate through burnt areas and wildfires to monitor the development of these.Desde o início da humanidade muitos incêndios têm acontecido e têm levado milhões de vidas, quer estas sejam humanas ou animais. Em média, no planeta, existem cerca de vinte mil incêndios florestais anualmente e a área queimada é um por mil da área total de florestas do mundo e na última década, houveram grandes incêndios. Alguns destes são os de Pedrogrão Grande, em Portugal, os incêndios no sul da Califórnia, na costa dos EUA, o incêndio que deflagrou na floresta Amazónia, no Brasil e os incêndios na Austrália, no final de 2019. Quando os incêndios assumem estas dimensões, podem vir a causar vários problemas ambientais e de saúde. Estes problemas podem ser danos a milhões de hectares de recursos florestais, a evacuação de milhares de pessoas e podem haver habitações e infraestruturas ardidas. Quando um grande incêndio começa, a primeira prioridade é o resgate rápido e de seguida a tentativa de controlar o incêndio. Nestes cenários, robôs autónomos são uma excelente assistência. Estes robôs incluem o veículo aéreo não tripulado, o UAV. Esta dissertação começa com uma intensa pesquisa sobre o trabalho já realizado em relação a este tema. De seguida, vários testes irão ser realizados para testar diferentes simuladores e ver qual melhor se adapta ao trabalho que se irá realizar. Com isto, será implementada uma simulação que consiga representar um incêndio e suporte várias fisícas do mundo real. Após a secção da simulação estar concluída, espera-se vários testes de algoritmos e comparação entre eles, para ver qual o que se adequa melhor a este tipo de situações. Se tudo correr conforme planeado, é esperado no final desta dissertação ter-se um sistema de navegação autónoma para UAVs percorrem áreas florestais e ser possível monitorizar incêndios

Multi-Agent Systems

This Special Issue ""Multi-Agent Systems"" gathers original research articles reporting results on the steadily growing area of agent-oriented computing and multi-agent systems technologies. After more than 20 years of academic research on multi-agent systems (MASs), in fact, agent-oriented models and technologies have been promoted as the most suitable candidates for the design and development of distributed and intelligent applications in complex and dynamic environments. With respect to both their quality and range, the papers in this Special Issue already represent a meaningful sample of the most recent advancements in the field of agent-oriented models and technologies. In particular, the 17 contributions cover agent-based modeling and simulation, situated multi-agent systems, socio-technical multi-agent systems, and semantic technologies applied to multi-agent systems. In fact, it is surprising to witness how such a limited portion of MAS research already highlights the most relevant usage of agent-based models and technologies, as well as their most appreciated characteristics. We are thus confident that the readers of Applied Sciences will be able to appreciate the growing role that MASs will play in the design and development of the next generation of complex intelligent systems. This Special Issue has been converted into a yearly series, for which a new call for papers is already available at the Applied Sciences journal’s website: https://www.mdpi.com/journal/applsci/special_issues/Multi-Agent_Systems_2019

Bringing social reality to multiagent and service architectures : practical reductions for monitoring of deontic-logic and constitutive norms

As distributed systems grow in complexity, the interactions among individuals (agents, services) of such systems become increasingly more complex and therefore more difficult to constrain and monitor. We propose to view such systems as socio-technical systems, in which organisational and institutional concepts, such as norms, can be applied to improve not only control on the components but also their autonomy by the definition of soft rather than hard constraints. Norms can be described as rules that guide the behavior of individual agents pertaining to groups that abide to them, either by explicit or implicit support. The study of norms, and regulatory systems in general, in their many forms -e.g. social norms, conventions, laws, regulations- has been of interest since the beginning of philosophy, but has seen a lot of evolution during the 20th century due to the progress in the philosophy of language, especially concerning speech acts and deontic logic. Although there is a myriad of definitions and related terminologies about the concept of norm, and as such there are many perspectives on how to analyse their impact, a common denominator is that norms constrain the behaviour of groups of agents in a way that each individual agent can build, with a fair degree of confidence, expectations on how each of their counterparts will behave in the situations that the norms are meant to cover. For example, on a road each driver expects everybody else to drive on only one side of the road (right or left, depending on the country). Therefore, normative contexts, usually wrapped in the form of institutions, are effective mechanisms to ensure the stability of a complex system such as an organisation, a society, or even of electronic systems. The latter has been an object of interest in the field of Artificial Intelligence, and it has been seen as a paradigm of coordination among electronic agents either in multi-agent systems or in service-oriented architectures. In order to apply norms to electronic systems, research has come up with abstractions of normative systems. In some cases these abstractions are based on regimented systems with flexible definitions of the notion of norm, in order to include meanings of the concept with a coarse-grained level of logic formality such as conventions. Other approaches, on the other hand, propose the use of deontic logic for describing, from a more theoretical perspective, norm-governed interaction environments. In both cases, the purpose is to enable the monitoring and enforcement of norms on systems that include -although not limited to- electronic agents. In the present dissertation we will focus on the latter type, focusing on preserving the deontic aspect of norms. Monitoring in norm-governed systems requires making agents aware of: 1) what their normative context is, i.e. which obligations, permissions and prohibitions are applicable to each of them and how they are updated and triggered; and 2) what their current normative status is, i.e. which norms are active, and in what instances they are being fullfilled or violated, in order words, what their social -institutional- reality is. The current challenge is on designing systems that allow computational components to infer both the normative context and social reality in real-time, based on a theoretical formalism that makes such inferences sound and correct from a philosophical perspective. In the scope of multi-agent systems, many are the approaches proposed and implemented that full these requirements up to this date. However, the literature is still lacking a proposal that is suited to the current state-of-the-art in service-oriented architectures, more focused nowadays on automatically scalable, polyglot amalgams of lightweight services with extremely simple communication and coordination mechanisms- a trend that is being called “microservices”. This dissertation tackles this issue, by 1) studying what properties we can infer from distributed systems that allow us to treat them as part of a socio-technical system, and 2) analysing which mechanisms we can provide to distributed systems so that they can properly act as socio-technical systems. The main product of the thesis is therefore a collection of computational elements required for formally grounded and real-time e¬fficient understanding and monitoring of normative contexts, more specially: 1. An ontology of events to properly model the inputs from the external world and convert them into brute facts or institutional events; 2. A lightweight language for norms, suitable for its use in distributed systems; 3. An especially tailored formalism for the detection of social reality, based on and reducible to deontic logic with support for constitutive norms; 4. A reduction of such formalism to production rule systems; and 5. One or more implementations of this reduction, proven to e¬fficiently work on several scenarios. This document presents the related work, the rationale and the design/implementation of each one of these elements. By combining them, we are able to present novel, relevant work that enables the application of normative reasoning mechanisms in realworld systems in the form of a practical reasoner. Of special relevance is the fact that the work presented in this dissertation simplifies, while preserving formal soundness, theoretically complex forms of reasoning. Nonetheless, the use of production systems as the implementation-level materialisation of normative monitoring allows our work to be applied in any language and/or platform available, either in the form of rule engines, ECA rules or even if-then-else patterns. The work presented has been tested and successfully used in a wide range of domains and actual applications. The thesis also describes how our mechanisms have been applied to practical use cases based on their integration into distributed eldercare management and to commercial games.Con el incremento en la complejidad de los sistemas distribuidos, las interacciones entre los individuos (agentes, servicios) de dichos sistemas se vuelven más y más complejas y, por ello, más difíciles de restringir y monitorizar. Proponemos ver a estos sistemas como sistemas socio-técnicos, en los que conceptos organizacionales e institucionales (como las normas) pueden aplicarse para mejorar no solo el control sobre los componentes sino también su autonomía mediante la definición de restricciones débiles (en vez de fuertes). Las Normas se pueden describir como reglas que guían el comportamiento de agentes individuales que pertenecen a grupos que las siguen, ya sea con un apoyo explícito o implícito. El estudio de las normas y de los sistemas regulatorios en general y en sus formas diversas -normas sociales, convenciones, leyes, reglamentos- ha sido de interés para los eruditos desde los inicios de la filosofía, pero ha sufrido una evolución mayor durante el siglo 20 debido a los avances en filosofía del lenguaje, en especial los relacionados con los actos del habla -speech acts en inglés- y formas deónticas de la lógica modal. Aunque hay una gran variedad de definiciones y terminología asociadas al concepto de norma, y por ello existen varios puntos de vista sobre como analizar su impacto, el denominador común es que las normas restringen el comportamiento de grupos de agentes de forma que cada agente individual puede construir, con un buen nivel de confianza, expectativas sobre cómo cada uno de los otros actores se comportará en las situaciones que las normas han de cubrir. Por ejemplo, en una carretera cada conductor espera que los demás conduzcan solo en un lado de la carretera (derecha o izquierda, dependiendo del país). Por lo tanto, los contextos normativos, normalmente envueltos en la forma de instituciones, constituyen mecanismos efectivos para asegurar la estabilidad de un sistema complejo como una organización, una sociedad o incluso un sistema electrónico. Lo último ha sido objeto de estudio en el campo de la Inteligencia Artificial, y se ha visto como paradigma de coordinación entre agentes electrónicos, tanto en sistemas multiagentes como en arquitecturas orientadas a servicios. Para aplicar normas en sistemas electrónicos, los investigadores han creado abstracciones de sistemas normativos. En algunos casos estas abstracciones se basan en sistemas regimentados con definiciones flexibles del concepto de norma para poder influir algunos significados del concepto con un menor nivel de granularidad formal como es el caso de las convenciones. Otras aproximaciones proponen el uso de lógica deóntica para describir, desde un punto de vista más teórico, entornos de interacción gobernados por normas. En ambos casos el propósito es el permitir la monitorización y la aplicación de las normas en sistemas que incluyen -aunque no están limitados a- agentes electrónicos. En el presente documento nos centraremos en el segundo tipo, teniendo cuidado en mantener el aspecto deóntico de las normas. La monitorización en sistemas gobernados por normas requiere el hacer a los agentes conscientes de: 1) cual es su contexto normativo, es decir, que obligaciones permisos y prohibiciones se aplican a cada uno de ellos y cómo se actualizan y activan; y 2) cual es su estado normativo actual, esto es, que normas están activas, y que instancias están siendo cumplidas o violadas, en definitiva, cual es su realidad social -o institucional-. En la actualidad el reto consiste en diseñar sistemas que permiten inferir a componentes computacionales tanto el contexto normativo como la realidad social en tiempo real, basándose en un formalismo teórico que haga que dichas inferencias sean correctas y bien fundamentadas desde el punto de vista filosófico. En el ámbito de los sistemas multiagente existen muchas aproximaciones propuestas e implementadas que cubren estos requisitos. Sin embargo, esta literatura aun carece de una propuesta que sea adecuada para la tecnología de las arquitecturas orientadas a servicios, que están más centradas en amalgamas políglotas y escalables de servicios ligeros con mecanismos de coordinación y comunicación extremadamente simples, una tendencia moderna que lleva el nombre de microservicios. Esta tesis aborda esta problemática 1) estudiando que propiedades podemos inferir de los sistemas distribuidos que nos permitan tratarlos como parte de un sistema sociotécnico, y 2) analizando que mecanismos podemos proporcionar a los sistemas distribuidos de forma que puedan actuar de forma correcta como sistemas socio-técnicos. El producto principal de la tesis es, por tanto, una colección de elementos computacionales requeridos para la monitorización e interpretación e_cientes en tiempo real y con clara base formal. En concreto: 1. Una ontología de eventos para modelar adecuadamente las entradas del mundo exterior y convertirlas en hechos básicos o en eventos institucionales; 2. Un lenguaje de normas ligero y sencillo, adecuado para su uso en arquitecturas orientadas a servicios; 3. Un formalismo especialmente adaptado para la detección de la realidad social, basado en y reducible a lógica deóntica con soporte para normas constitutivas; 4. Una reducción de ese formalismo a sistemas de reglas de producción; y 5. Una o más implementaciones de esta reducción, de las que se ha probado que funcionan eficientemente en distintos escenarios. Este documento presenta el estado del arte relacionado, la justificación y el diseño/implementación para cada uno de esos elementos. Al combinarlos, somos capaces de presentar trabajo novedoso y relevante que permite la aplicación de mecanismos de razonamiento normativo en sistemas del mundo real bajo la forma de un razonador práctico. De especial relevancia es el hecho de que el trabajo presentado en este documento simplifica formas complejas y teóricas de razonamiento preservando la correctitud formal. El uso de sistemas de reglas de producción como la materialización a nivel de implementación del monitoreo normativo permite que nuestro trabajo se pueda aplicar a cualquier lenguaje o plataforma disponible, ya sea en la forma de motores de reglas, reglas ECA o incluso patrones si-entonces. El trabajo presentado ha sido probado y usado con éxito en un amplio rango de dominios y aplicaciones prácticas. La tesis describe como nuestros mecanismos se han aplicado a casos prácticos de uso basados en su integración en la gestión distribuida de pacientes de edad avanzada o en el sector de los videojuegos comerciales.Postprint (published version

Integration of sensor data by means of an event abstraction layer

Diese Doktorarbeit stellt eine Methodik vor, die aus Zeitreihen von Sensorbeobachtungen Events (Ereignisse) nahezu in Echtzeit ableiten und darstellen kann. Die Analyse der Sensor-Daten erfolgt unter zur Hilfenahme von Prozessen und Technologien des 'Semantic event processing'. Aus den Daten abgeleitete Ereignisse werden eindeutig und maschinenlesbar als Instanzen bestehender Wissensbasen (Ontologien) dargestellt. Der Einsatz einer erweiterten Form der 'Semantic Sensor Network' Ontologie ermöglicht in diesem Zusammenhang eine Modellierung von spezifischem Fachwissen in einer mehrstufigen Ontologie-Struktur. Infolgedessen können differenzierte Perspektiven verschiedener Fachgemeinschaften auf die gleichen Daten integriert und verglichen werden.This thesis presents a methodology to infer and represent events from time series of sensor observations in near real-time. Semantic event processing is used to analyse sensor data. Inferred events are modelled using an extension of the Semantic Sensor Network ontology. Domain knowledge is represented in a multilevel ontology structure. The proposed methodology allows information communities to integrate different views on the same data