A Systematic Approach to Constructing Families of Incremental Topology Control Algorithms Using Graph Transformation

In the communication systems domain, constructing and maintaining network topologies via topology control (TC) algorithms is an important cross-cutting research area. Network topologies are usually modeled using attributed graphs whose nodes and edges represent the network nodes and their interconnecting links. A key requirement of TC algorithms is to fulfill certain consistency and optimization properties to ensure a high quality of service. Still, few attempts have been made to constructively integrate these properties into the development process of TC algorithms. Furthermore, even though many TC algorithms share substantial parts (such as structural patterns or tie-breaking strategies), few works constructively leverage these commonalities and differences of TC algorithms systematically. In previous work, we addressed the constructive integration of consistency properties into the development process. We outlined a constructive, model-driven methodology for designing individual TC algorithms. Valid and high-quality topologies are characterized using declarative graph constraints; TC algorithms are specified using programmed graph transformation. We applied a well-known static analysis technique to refine a given TC algorithm in a way that the resulting algorithm preserves the specified graph constraints. In this paper, we extend our constructive methodology by generalizing it to support the specification of families of TC algorithms. To show the feasibility of our approach, we reneging six existing TC algorithms and develop e-kTC, a novel energy-efficient variant of the TC algorithm kTC. Finally, we evaluate a subset of the specified TC algorithms using a new tool integration of the graph transformation tool eMoflon and the Simonstrator network simulation framework.Comment: Corresponds to the accepted manuscrip

Programação homogénea de redes de sensores usando o middleware muffin

Projeto de mestrado em Informática, apresentada à Universidade de Lisboa, através da Faculdade de Ciências, 2013No contexto das redes de sensores sem fios, que atualmente são um tópico de bastante destaque e alvo de investigação em diversos domínios, surge a necessidade de programação dos seus dispositivos. Os serviços web são utilizados para disponibilizar uma interface o mais homogénea possível das funcionalidades das redes de sensores. O middleware MuFFIN permite inclusive a (re)programação remota do comportamento de redes de sensores através de serviços web. No entanto, esta reprogramação está dependente das características do hardware ou das linguagens de programação disponibilizadas pelos fabricantes. De modo a generalizar esta funcionalidade, propomos uma extensão ao middleware para incluir a execução de código em substituição dos sensores, quando estes não são reprogramáveis. Como prova de conceito, neste projeto utilizamos o middleware MuFFIN e a linguagem de programação de sensores Callas conjuntamente com a sua máquina virtual. Adicionalmente estendemos o MuFFIN com um componente que permite a comunicação entre duas redes de sensores sem que as mensagens trocadas extravasem o middleware, com o objetivo de criar uma forma de comunicação entre redes de sensores e atuadores, sem que esta tenha necessidade de passar pelas aplicações cliente.In the context of wireless sensor networks, which are currently a topic of research in various fields, there is the need to program their devices. Web services are used to provide an homogeneous interface to sensor networks. The MuFFIN middleware even supports the remote (re)programming of sensors via web services. However, this (re)programming functionality dependents on the hardware characteristics as well as on the programming languages manufacturers provide. In order to generalize this functionality, we propose a middleware extension which executes the code on behalf of sensor devices, in case they are not (re)programmable. As a proof of concept we use the MuFFIN middleware and the sensor programming language Callas together with its virtual machine. Additionally, we extend the MuFFIN with a new component that supports the communication between two sensor networks. This way, messages can flow from one network to another one without the intervention of the client application, reducing the number of messages exchanged between sensor networks and client application

Design of communication systems based on broadband sources for fiber and free space optical links

[ES] Las comunicaciones ópticas inalámbricas (OWC) constituyen una tecnología muy prometedora para el desarrollo de futuras comunicaciones inalámbricas. De hecho, ha despertado un interés creciente entre los investigadores y varias empresas de todo el mundo trabajan actualmente en el desarrollo de redes inalámbricas de muy alta velocidad. Las comunidades científica e industrial consideran la OWC como una tecnología complementaria en sus diversas formas: comunicaciones ópticas en el espacio libre (FSO), comunicaciones de luz visible (VLC) o fidelidad de la luz (Li-Fi). El espectro óptico ha sido considerado durante muchos años como una gran oportunidad para las comunicaciones inalámbricas, especialmente debido a la saturación del espectro de radiofrecuencia (RF). Esta disertación trata del uso de fuentes de banda ancha en sistemas de transmisión de luz visible (VLC), así como en sistemas de transmisión en el espectro infrarrojo por fibra óptica. En el trabajo de investigación realizado se pueden distinguir tres partes: En la primera parte, se considera el estudio y la simulación de componentes de Diodos Emisores de Luz (LED) con el software WIEN2k centrándose en las propiedades ópticas y eléctricas de los elementos II-VI. La segunda parte trata del diseño, la implementación y las pruebas de diferentes prototipos de comunicación VLC para la transmisión analógica y digital en modo simplex y semidúplex. Hemos demostrado un sistema OWC empleando una fuente de banda ancha (LED) para la transmisión no sólo de datos, sino también para la transmisión inalámbrica de energía. Además, se aborda el problema de la sincronización y la detección del nivel "1" o "0" de un bit en los sistemas de comunicación inalámbrica óptica implementados que surge como consecuencia de la atenuación de la luz a lo largo de la distancia y al problema de la pérdida de línea de visión (NLOS) entre el emisor y el receptor. Para hacer frente a este problema, se ha proporcionado un protocolo de comunicación que garantiza la transmisión fiable de datos digitales con un algoritmo de detección de nivel de bits adaptativo y se ha demostrado su eficacia mediante la transmisión de textos e imágenes. Además, esta tesis aporta una solución para la implementación de transmisores multiplexados en redes con división de longitud de onda (WDM) para formatos de modulación con multiplexación por división de frecuencia ortogonal (OFDM) basados en el uso de fuentes de banda ancha en el espectro infrarrojo para redes de fibra bidireccionales centralizadas. A pesar de las limitaciones impuestas por la dispersión cromática en el uso de este tipo de fuentes ópticas, la inclusión de ciertas estructuras antes de la detección permite la transmisión de señales OFDM en enlaces ópticos. En este trabajo se ha demostrado experimentalmente la reutilización de portadoras, la asignación dinámica de ancho de banda y la transmisión de señales OFDM multibanda mediante el uso de fuentes ópticas de banda ancha en redes WDM. Los principales resultados obtenidos en cada parte de esta tesis doctoral muestran los procedimientos de estudio, la eficacia de las soluciones propuestas y las limitaciones encontradas.[CA] Les comunicacions òptiques sense fils (OWC) constitueixen una tecnologia molt prometedora per al desenvolupament de futures comunicacions sense fils. De fet, ha despertat un interés creixent entre els investigadors i diverses empreses de tot el món treballen actualment en el desenvolupament de xarxes sense fils de molt alta velocitat. Les comunitats científica i industrial consideren la OWC com una tecnologia complementària en les seues diverses formes: comunicacions òptiques en l'espai lliure (FSO), comunicacions de llum visible (VLC) o fidelitat de la llum (Li-Fi). L'espectre òptic ha sigut considerat durant molts anys com una gran oportunitat per a les comunicacions sense fils, especialment a causa de la saturació de l'espectre de radiofreqüència (RF). Aquesta dissertació tracta de l'ús de fonts de banda ampla en sistemes de transmissió de llum visible (VLC), així com en sistemes de transmissió en l'espectre infraroig per fibra òptica. En el treball de recerca realitzat es poden distingir tres parts: ¿ En la primera part, es considera l'estudi i la simulació de components de Díodes Emissors de Llum (LED) amb el software WIEN2k centrant-se en les propietats òptiques i elèctriques dels elements II-VI. ¿ La segona part tracta del disseny, la implementació i les proves de diferents prototips de comunicació VLC per a la transmissió analògica i digital de manera simplex i semidúplex. Hem demostrat un sistema OWC emprant una font de banda ampla (LED) per a la transmissió no sols de dades, sinó també per a la transmissió sense fil d'energia. A més, s'aborda el problema de la sincronització i la detecció del nivell "1" o "0" d'un bit en els sistemes de comunicació sense fil òptica implementats, que sorgeix a conseqüència de l'atenuació de la llum al llarg de la distància i al problema de la pèrdua de línia de visió (NLOS) entre l'emissor i el receptor. Per a fer front a aquest problema, s'ha proporcionat un protocol de comunicació que garanteix la transmissió fiable de dades digitals amb un algorisme de detecció de nivell de bits adaptatiu i s'ha demostrat la seua eficàcia mitjançant la transmissió de textos i imatges. ¿ A més, aquesta tesi aporta una solució per a la implementació de transmissors multiplexats en xarxes amb divisió de longitud d'ona (WDM) per a formats de modulació amb multiplexació per divisió de freqüència ortogonal (OFDM) basats en l'ús de fonts de banda ampla en l'espectre infraroig per a xarxes de fibra bidireccionals centralitzades. Malgrat les limitacions imposades per la dispersió cromàtica en l'ús d'aquest tipus de fonts òptiques, la inclusió d'unes certes estructures abans de la detecció permet la transmissió de senyals OFDM en enllaços òptics. En aquest treball s'ha demostrat experimentalment la reutilització de portadores, l'assignació dinàmica d'amplada de banda i la transmissió de senyals OFDM multibanda mitjançant l'ús de fonts òptiques de banda ampla en xarxes WDM. Els principals resultats obtinguts en cada part d'aquesta tesi doctoral mostren els procediments d'estudi, l'eficàcia de les solucions proposades i les limitacions trobades.[EN] Optical wireless communication (OWC) is a very promising technology for future wireless communications developments. It has attracted increasing interest from researchers and several companies around the world are currently working on the development of very high-speed wireless networks. The scientific and industrial communities believe that OWC will be a complementary technology in its various forms: Free Space Optical communications (FSO), Visible Light Communications (VLC), Light Fidelity (Li-Fi). In fact, the optical spectrum has been considered for many years as a great opportunity for wireless communications especially due to the saturation of the radio frequency (RF) spectrum. This dissertation deals with the use of broadband sources in visible light transmission systems (VLC) as well as fiber optic systems. To carry out the research, three parts can be distinguished: In the first part, we consider the study and simulation of Light Emitting Diode (LED) components with the WIEN2k software by focusing on the optical and electrical properties of elements II-VI. The second part deals with the design, implementation and testing of different VLC communication prototypes for analog and digital transmission in simplex and half-duplex mode. We have demonstrated that an OWC system using a broadband source (i.e. an LED) can be used not only for data transmission, but also for wireless power transmission. Moreover, the synchronization problem and the detection of level "1" or "0" of a bit often arise in the optical wireless communication systems. This is a result of the attenuation nature of the light over the distance and the problem of Non Line-Of-Sight (NLOS) between the emitter and the receiver. To deal with this problem, a communication protocol ensuring reliable digital data transmission with an adaptive bit level detection algorithm has been provided and its effectiveness has been demonstrated by the transmission of texts and images. In addition, this thesis provides a solution for the implementation of wavelength division multiplexed - orthogonal frequency division multiplexed (WDM-OFDM) transmitters based on the use of broadband sources in the infrared spectrum for centralized bidirectional fiber networks. Despite the chromatic dispersion that avoids the use of this type of optical sources, the inclusion of certain structures before detection allows the transmission of OFDM signals in optical links. Carrier reuse, dynamic bandwidth allocation and multiband OFDM signals transmission will be experimentally demonstrated by using optical broadband sources in WDM networks. The main results obtained during this thesis work demonstrate the study procedures, for each part, the effectiveness of the proposed solutions as well as the constraints encountered.Sekkiou, I. (2021). Design of communication systems based on broadband sources for fiber and free space optical links [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/172542TESI

Fuzzy Logic

The capability of Fuzzy Logic in the development of emerging technologies is introduced in this book. The book consists of sixteen chapters showing various applications in the field of Bioinformatics, Health, Security, Communications, Transportations, Financial Management, Energy and Environment Systems. This book is a major reference source for all those concerned with applied intelligent systems. The intended readers are researchers, engineers, medical practitioners, and graduate students interested in fuzzy logic systems

Embedded System Design

A unique feature of this open access textbook is to provide a comprehensive introduction to the fundamental knowledge in embedded systems, with applications in cyber-physical systems and the Internet of things. It starts with an introduction to the field and a survey of specification models and languages for embedded and cyber-physical systems. It provides a brief overview of hardware devices used for such systems and presents the essentials of system software for embedded systems, including real-time operating systems. The author also discusses evaluation and validation techniques for embedded systems and provides an overview of techniques for mapping applications to execution platforms, including multi-core platforms. Embedded systems have to operate under tight constraints and, hence, the book also contains a selected set of optimization techniques, including software optimization techniques. The book closes with a brief survey on testing. This fourth edition has been updated and revised to reflect new trends and technologies, such as the importance of cyber-physical systems (CPS) and the Internet of things (IoT), the evolution of single-core processors to multi-core processors, and the increased importance of energy efficiency and thermal issues

Embedded System Design

A unique feature of this open access textbook is to provide a comprehensive introduction to the fundamental knowledge in embedded systems, with applications in cyber-physical systems and the Internet of things. It starts with an introduction to the field and a survey of specification models and languages for embedded and cyber-physical systems. It provides a brief overview of hardware devices used for such systems and presents the essentials of system software for embedded systems, including real-time operating systems. The author also discusses evaluation and validation techniques for embedded systems and provides an overview of techniques for mapping applications to execution platforms, including multi-core platforms. Embedded systems have to operate under tight constraints and, hence, the book also contains a selected set of optimization techniques, including software optimization techniques. The book closes with a brief survey on testing. This fourth edition has been updated and revised to reflect new trends and technologies, such as the importance of cyber-physical systems (CPS) and the Internet of things (IoT), the evolution of single-core processors to multi-core processors, and the increased importance of energy efficiency and thermal issues

Dual-Use Space Technology Transfer Conference and Exhibition

This document contains papers presented at the Dual-Use Space Technology Transfer Conference and Exhibition held at the Johnson Space Center February 1-3, 1994. Possible technology transfers covered during the conference were in the areas of information access; innovative microwave and optical applications; materials and structures; marketing and barriers; intelligent systems; human factors and habitation; communications and data systems; business process and technology transfer; software engineering; biotechnology and advanced bioinstrumentation; communications signal processing and analysis; new ways of doing business; medical care; applications derived from control center data systems; human performance evaluation; technology transfer methods; mathematics, modeling, and simulation; propulsion; software analysis and decision tools systems/processes in human support technology; networks, control centers, and distributed systems; power; rapid development perception and vision technologies; integrated vehicle health management; automation technologies; advanced avionics; ans robotics technologies. More than 77 papers, 20 presentations, and 20 exhibits covering various disciplines were presented b experts from NASA, universities, and industry

Just-in-time Pastureland Trait Estimation for Silage Optimization, under Limited Data Constraints

To ensure that pasture-based farming meets production and environmental targets for a growing population under increasing resource constraints, producers need to know pastureland traits. Current proximal pastureland trait prediction methods largely rely on vegetation indices to determine biomass and moisture content. The development of new techniques relies on the challenging task of collecting labelled pastureland data, leading to small datasets. Classical computer vision has already been applied to weed identification and recognition of fruit blemishes using morphological features, but machine learning algorithms can parameterise models without the provision of explicit features, and deep learning can extract even more abstract knowledge although typically this is assumed to be based around very large datasets. This work hypothesises that through the advantages of state-of-the-art deep learning systems, pastureland crop traits can be accurately assessed in a just-in-time fashion, based on data retrieved from an inexpensive sensor platform, under the constraint of limited amounts of labelled data. However the challenges to achieve this overall goal are great, and for applications such as just-in-time yield and moisture estimation for farm-machinery, this work must bring together systems development, knowledge of good pastureland practice, and also techniques for handling low-volume datasets in a machine learning context. Given these challenges, this thesis makes a number of contributions. The first of these is a comprehensive literature review, relating pastureland traits to ruminant nutrient requirements and exploring trait estimation methods, from contact to remote sensing methods, including details of vegetation indices and the sensors and techniques required to use them. The second major contribution is a high-level specification of a platform for collecting and labelling pastureland data. This includes the collection of four-channel Blue, Green, Red and NIR (VISNIR) images, narrowband data, height and temperature differential, using inexpensive proximal sensors and provides a basis for holistic data analysis. Physical data platforms built around this specification were created to collect and label pastureland data, involving computer scientists, agricultural, mechanical and electronic engineers, and biologists from academia and industry, working with farmers. Using the developed platform and a set of protocols for data collection, a further contribution of this work was the collection of a multi-sensor multimodal dataset for pastureland properties. This was made up of four-channel image data, height data, thermal data, Global Positioning System (GPS) and hyperspectral data, and is available and labelled with biomass (Kg/Ha) and percentage dry matter, ready for use in deep learning. However, the most notable contribution of this work was a systematic investigation of various machine learning methods applied to the collected data in order to maximise model performance under the constraints indicated above. The initial set of models focused on collected hyperspectral datasets. However, due to their relative complexity in real-time deployment, the focus was instead on models that could best leverage image data. The main body of these models centred on image processing methods and, in particular, the use of the so-called Inception Resnet and MobileNet models to predict fresh biomass and percentage dry matter, enhancing performance using data fusion, transfer learning and multi-task learning. Images were subdivided to augment the dataset, using two different patch sizes, resulting in around 10,000 small patches of size 156 x 156 pixels and around 5,000 large patches of size 240 x 240 pixels. Five-fold cross validation was used in all analysis. Prediction accuracy was compared to older mechanisms, albeit using hyperspectral data collected, with no provision made for lighting, humidity or temperature. Hyperspectral labelled data did not produce accurate results when used to calculate Normalized Difference Vegetation Index (NDVI), or to train a neural network (NN), a 1D Convolutional Neural Network (CNN) or Long Short Term Memory (LSTM) models. Potential reasons for this are discussed, including issues around the use of highly sensitive devices in uncontrolled environments. The most accurate prediction came from a multi-modal hybrid model that concatenated output from an Inception ResNet based model, run on RGB data with ImageNet pre-trained RGB weights, output from a residual network trained on NIR data, and LiDAR height data, before fully connected layers, using the small patch dataset with a minimum validation MAPE of 28.23% for fresh biomass and 11.43% for dryness. However, a very similar prediction accuracy resulted from a model that omitted NIR data, thus requiring fewer sensors and training resources, making it more sustainable. Although NIR and temperature differential data were collected and used for analysis, neither improved prediction accuracy, with the Inception ResNet model’s minimum validation MAPE rising to 39.42% when NIR data was added. When both NIR data and temperature differential were added to a multi-task learning Inception ResNet model, it yielded a minimum validation MAPE of 33.32%. As more labelled data are collected, the models can be further trained, enabling sensors on mowers to collect data and give timely trait information to farmers. This technology is also transferable to other crops. Overall, this work should provide a valuable contribution to the smart agriculture research space

Beyond input devices : a new conceptual framework for the design of physical-digital objects

Thesis (M.S.)--Massachusetts Institute of Technology, Program in Media Arts & Sciences, 1998.Includes bibliographical references (leaves 108-111).Matthew G. Gorbet.M.S

2016 Oklahoma Research Day Full Program

This document contains all abstracts from the 2016 Oklahoma Research Day held at Northeastern State University