An approach for design and analysis of User-centric Communication Middleware

Today, the development of domain-specific communication applications is both time-consuming and error-prone because the low-level communication services provided by the existing systems and networks are primitive and often heterogeneous. Multimedia communication applications are typically built on top of low-level network abstractions such as TCP/UDP socket, SIP (Session Initiation Protocol) and RTP (Real-time Transport Protocol) APIs. The User-centric Communication Middleware (UCM) is proposed to encapsulate the networking complexity and heterogeneity of basic multimedia and multi-party communication for upper-layer communication applications. And UCM provides a unified user-centric communication service to diverse communication applications ranging from a simple phone call and video conferencing to specialized communication applications like disaster management and telemedicine. It makes it easier to the development of domain-specific communication applications. The UCM abstraction and API is proposed to achieve these goals. The dissertation also tries to integrate the formal method into UCM development process. The formal model is created for UCM using SAM methodology. Some design errors are found during model creation because the formal method forces to give the precise description of UCM. By using the SAM tool, formal UCM model is translated to Promela formula model. In the dissertation, some system properties are defined as temporal logic formulas. These temporal logic formulas are manually translated to promela formulas which are individually integrated with promela formula model of UCM and verified using SPIN tool. Formal analysis used here helps verify the system properties (for example multiparty multimedia protocol) and dig out the bugs of systems.

Lightweight middleware for SDR inter-components communication

The ability to use Software Defined Radio (SDR) in the civilian mobile applications will make it possible for the next generation of mobile devices to handle multi-standard personal wireless devices and ubiquitous wireless devices. The original military standard created many beneficial characteristics for SDR, but resulted in a number of disadvantages as well. Many challenges in commercializing SDR are still the subject of interest in the software radio research community. Four main issues that have been already addressed are performance, size, weight, and power. ^ This investigation presents an in-depth study of SDR inter-components communications in terms of total link delay related to the number of components and packet sizes in systems based on Software Communication Architecture (SCA). The study is based on the investigation of the controlled environment platform. Results suggest that the total link delay does not linearly increase with the number of components and the packet sizes. The closed form expression of the delay was modeled using a logistic function in terms of the number of components and packet sizes. The model performed well when the number of components was large. ^ Based upon the mobility applications, energy consumption has become one of the most crucial limitations. SDR will not only provide flexibility of multi-protocol support, but this desirable feature will also bring a choice of mobile protocols. Having such a variety of choices available creates a problem in the selection of the most appropriate protocol to transmit. An investigation in a real-time algorithm to optimize energy efficiency was also performed. Communication energy models were used including switching estimation to develop a waveform selection algorithm. Simulations were performed to validate the concept.^

A middleware to support services delivery in a domain-specific virtual machine

The increasing use of model-driven software development has renewed emphasis on using domain-specific models during application development. More specifically, there has been emphasis on using domain-specific modeling languages (DSMLs) to capture user-specified requirements when creating applications. The current approach to realizing these applications is to translate DSML models into source code using several model-to-model and model-to-code transformations. This approach is still dependent on the underlying source code representation and only raises the level of abstraction during development. Experience has shown that developers will many times be required to manually modify the generated source code, which can be error-prone and time consuming. ^ An alternative to the aforementioned approach involves using an interpreted domain-specific modeling language (i-DSML) whose models can be directly executed using a Domain Specific Virtual Machine (DSVM). Direct execution of i-DSML models require a semantically rich platform that reduces the gap between the application models and the underlying services required to realize the application. One layer in this platform is the domain-specific middleware that is responsible for the management and delivery of services in the specific domain. ^ In this dissertation, we investigated the problem of designing the domain-specific middleware of the DSVM to facilitate the bifurcation of the semantics of the domain and the model of execution (MoE) while supporting runtime adaptation and validation. We approached our investigation by seeking solutions to the following sub-problems: (1) How can the domain-specific knowledge (DSK) semantics be separated from the MoE for a given domain? (2) How do we define a generic model of execution (GMoE) of the middleware so that it is adaptable and realizes DSK operations to support delivery of services? (3) How do we validate the realization of DSK operations at runtime? ^ Our research into the domain-specific middleware was done using an i-DSML for the user-centric communication domain, Communication Modeling Language (CML), and for microgrid energy management domain, Microgrid Modeling Language (MGridML). We have successfully developed a methodology to separate the DSK and GMoE of the middleware of a DSVM that supports specialization for a given domain, and is able to perform adaptation and validation at runtime. ^

Estudo sobre a detecção de invariância de escala discreta em sistemas com criticalidade auto-organizada

Recent studies have shown evidence of log-periodic behavior in non-hierarchical systems. An interesting fact is the emergence of such properties on rupture and breakdown of complex materials and financial failures. These may be examples of systems with self-organized criticality (SOC). In this work we study the detection of discrete scale invariance or log-periodicity. Theoretically showing the effectiveness of methods based on the Fourier Transform of the log-periodicity detection not only with prior knowledge of the critical point before this point as well. Specifically, we studied the Brazilian financial market with the objective of detecting discrete scale invariance in Bovespa (Bolsa de Valores de S˜ao Paulo) index. Some historical series were selected periods in 1999, 2001 and 2008. We report evidence for the detection of possible log-periodicity before breakage, shown its applicability to the study of systems with discrete scale invariance likely in the case of financial crashes, it shows an additional evidence of the possibility of forecasting breakage

Cloud Stratus: uma plataforma de middleware para desenvolvimento de aplicações em nuvem

Cloud Computing is a paradigm that enables the access, in a simple and pervasive way, through the network, to shared and configurable computing resources. Such resources can be offered on demand to users in a pay-per-use model. With the advance of this paradigm, a single service offered by a cloud platform might not be enough to meet all the requirements of clients. Ergo, it is needed to compose services provided by different cloud platforms. However, current cloud platforms are not implemented using common standards, each one has its own APIs and development tools, which is a barrier for composing different services. In this context, the Cloud Integrator, a service-oriented middleware platform, provides an environment to facilitate the development and execution of multi-cloud applications. The applications are compositions of services, from different cloud platforms and, represented by abstract workflows. However, Cloud Integrator has some limitations, such as: (i) applications are locally executed; (ii) users cannot specify the application in terms of its inputs and outputs, and; (iii) experienced users cannot directly determine the concrete Web services that will perform the workflow. In order to deal with such limitations, this work proposes Cloud Stratus, a middleware platform that extends Cloud Integrator and offers different ways to specify an application: as an abstract workflow or a complete/partial execution flow. The platform enables the application deployment in cloud virtual machines, so that several users can access it through the Internet. It also supports the access and management of virtual machines in different cloud platforms and provides services monitoring mechanisms and assessment of QoS parameters. Cloud Stratus was validated through a case study that consists of an application that uses different services provided by different cloud platforms. Cloud Stratus was also evaluated through computing experiments that analyze the performance of its processes.

Encapsulamento de solventes em nanotubos de haloisita para promoção de auto-reparo em polímeros

Micro cracking during service is a critical problem in polymer structures and polymer composite materials. Self-healing materials are able to repair micro cracks, thus their preventing propagation and catastrophic failure of structural components. One of the self-healing approaches presented in the literature involves the use of solvents which react with the polymer. The objective of this research is to investigate a procedure to encapsulate solvents in halloysite nanotubes to promote self-healing ability in epoxy. Healing is triggered by crack propagation through embedded nanotubes in the polymer, which then release the liquid sovent into the crack plane. Two solvents were considered in this work: dimethylsulfoxide (DMSO) and nitrobenzene. The nanotubes were coated using the layer-by-layer technique of oppositely charged polyelectrolytes: cetyltrimethylammonium bromide (CTAB) and sodium polyacrylate. Solvent encapsulation was verified by X-ray diffraction (XRD), Fourier transform infrared (FTIR), analysis thermogravimetry (TGA), adsorption and desorption of nitrogen and scanning electron microscopy (SEM). The introduction of the solvent DMSO into the cavity of the nanotubes was confirmed by the techniques employed. However, was not verified with nitrobenzene only promoted clay aggregation. The results suggest that the CTAB reacted with the halloystite to form a sealing layer on the surface of the nanotubes, thus encapsulating the solvent, while this was not verified using sodium polyacrylate.

Controle em modo dual adaptativo robusto aplicado a um sistema de geração de energia elétrica

Synchronous machines, widely used in energy generation systems, require constant voltage and frequency to obtain good quality of energy. However, for large load variati- ons, it is difficult to maintain outputs on nominal values due to parametric uncertainties, nonlinearities and coupling among variables. Then, we propose to apply the Dual Mode Adaptive Robust Controller (DMARC) in the field flux control loop, replacing the tradi- tional PI controller. The DMARC links a Model Reference Adaptive Controller (MRAC) and a Variable Structure Model Reference Adaptive Controller (VS-MRAC), incorpora- ting transient performance advantages from VS-MRAC and steady state properties from MRAC. Moreover, simulation results are included to corroborate the theoretical studies.

O figurino na narrativa dos filmes de Guel Arraes: O Auto da Compadecida (2000) e O Bem Amado (2010)

This research focuses on the course of Guel Arraes, moviemaker, and picks two movies for analysis: O Auto da Compadecida (2000) and O Bem Amado (2010), as well as their costumes. The focus on the costume is based on Semiology and aims to decode the meanings that stem out of the clothes. Three of the movies characters will have their costumes analyzed based on Roland Barthes’ theory, mainly considering semiology elements (language and speech), (significant and meaning) and (system and syntagma). The influence of the Armorial movement into the movie O Auto da Compadecida and the Kitsch aesthetic in O Bem Amado deserve consideration, aside from the study on costumes function within narrative, supported by Roland Barthes’ structural analysis of the narrative. We sought to highlight the balance between characters’ lines and the image of the costumes in the movies. Adding to the study on how costumes strongly accounts to narrative, we observed characteristic traits of director and scriptwriter Guel Arraes present in his works, which are the northeastern man identity, a presentation of the Northeast and popular comedy. We believe that his choices when creating and his life influences are not separate from one another. Our research was movie-appraisal centered and had a thorough investigation all over language. The main considerations are supported by the following theories: Barthes (2007), Figueirôa and Fechine (2008), Moles (2001), Stuart Hall (2005) and Mikhail Bakhtin (2013).

Controle adaptativo com desacoplamento aplicado a um sistema de tanques acoplados MIMO

O controle de sistemas MIMO (Multiple Input Multiple Output) é muitas vezes realizado por várias malhas de controladores clássicos que operam com restrições e apresentam baixo desempenho. Técnicas de controle adaptativo são uma alternativa interessante para aumentar o rendimento desses sistemas, como por exemplo os controladores MRAC (Model Reference Adaptive Control), que quando bem projetados, permitem que a dinâmica da planta seja escolhida de maneira a seguir um modelo de referência. O presente trabalho apresenta uma estratégia de desacoplamento para um sistema MIMO de três tanques acoplados e o projeto de um controlador MRAC para o mesmo.

Controle adaptativo com desacoplamento aplicado a um sistema de tanques acoplados MIMO

O controle de sistemas MIMO (Multiple Input Multiple Output) é muitas vezes realizado por várias malhas de controladores clássicos que operam com restrições e apresentam baixo desempenho. Técnicas de controle adaptativo são uma alternativa interessante para aumentar o rendimento desses sistemas, como por exemplo os controladores MRAC (Model Reference Adaptive Control), que quando bem projetados, permitem que a dinâmica da planta seja escolhida de maneira a seguir um modelo de referência. O presente trabalho apresenta uma estratégia de desacoplamento para um sistema MIMO de três tanques acoplados e o projeto de um controlador MRAC para o mesmo.

Progetto e sviluppo di un middleware per l’interfacciamento di sensori per la domotica in ambiente Java

La diffusione di soluzioni domotiche dipende da tecnologie abilitanti che supportino la comunicazione tra i numerosi agenti delle reti. L’obiettivo della tesi è progettare e realizzare un middleware per sensori distribuiti Java-based chiamato SensorNetwork, che permetta ad un agente domotico di effettuare sensing sull’ambiente. Le funzionalità principali del sistema sono uniformità di accesso a sensori eterogenei distribuiti, alto livello di automazione (autoconfigurazione e autodiscovery dei nodi), configurazione a deployment time, modularità, semplicità di utilizzo ed estensione con nuovi sensori. Il sistema realizzato è basato su un’architettura a componente-container che permette l’utilizzo di sensori all’interno di stazioni di sensori e che supporti l’accesso remoto per mezzo di un servizio di naming definito ad-hoc.

Diseño y desarrollo de herramientas para el auto-aprendizaje de Anatomía Patológica General Veterinaria

Este proyecto es la continuación de otro anterior de innovación docente: PIMCD 238/2014 “Implantación de un sistema de telepatología digital para la enseñanza práctica de Anatomía Patológica General (asignatura de 2º curso del Grado en Veterinaria)”. Hemos elaborado una colección completa de preparaciones digitalizadas para todas las prácticas de histopatología de APG. Con la colección completa de preparaciones histopatológicas digitalizadas, se han realizado también guías específicas de auto-ayuda para una mejor comprensión y observación de las mismas por parte del alumno, favoreciendo el auto-aprendizaje individualizado y en grupo. Así mismo, hemos realizado un módulo de auto-aprendizaje teórico-práctico en inglés para que el alumno auto-evalúe sus conocimientos de partes de la asignatura y los conocimientos transversales de otras asignaturas del grado en veterinaria. Como complemento se ha producido un juego de “pasapalabra” con contenidos de Anatomía Patológica, con el fin de estimular el aprendizaje mediante el juego. Ambos sistemas se encuentran en el campus virtual UCM para su utilización por los alumnos de veterinaria. Al finalizar el curso se enlazarán en la página web del Dpto.

Estatus social auto-percibido y sesgos en un dilema social sobre intervención en un conflicto entre pares

El propósito de este trabajo fue realizar una serie de estudios psicológicos sobre el estatus social humano, las decisiones de intervención en un conflicto hipotético entre pares; presentado por medio de un dilema social y las posibles consecuencias de tales decisiones. Para este fin, se investigaron muestras de jóvenes universitarios de dos distintas procedencias: Madrid, España y San José, Costa Rica. El estatus social es una de las variables que más frecuentemente se ha relacionado con las intervenciones durante los conflictos. Dada la importancia de la misma, el primer estudio empírico procedió a recabar evidencias de calidad de una medición de estatus social auto-percibido, esta estuvo compuesta por dos subescalas: dominancia auto-percibida y prestigio auto-percibido. Los procedimientos de validación incluyeron la traducción inversa inglés-español del instrumento así como procedimientos analíticos descriptivos, de diferencias de grupos, análisis factoriales exploratorios, análisis confirmatorios, análisis de congruencia e invarianza factorial, análisis de fiabilidad y análisis correlacionales con otras variables criterio (estrategia de historia de vida, dimensiones de la empatía y deseabilidad social). Los resultados mostraron que el modelo bidimensional de estatus (dominancia y prestigio cultural) era adecuado para ambos contextos estudiados. Por otra parte, los resultados obtenidos en los análisis correlacionales de la dominancia y el prestigio con las variables criterio fueron menos consistentes entre las diferentes muestras...