Formalização da comunicação de conhecimentos probabilísticos em sistemas multiagentes : uma abordagem baseada em lógica probabilística

Durante os últimos anos as áreas de pesquisa sobre Agentes Inteligentes, Sistemas Multiagentes e Comunicação entre Agentes têm contribuído com uma revolução na forma como sistemas inteligentes podem ser concebidos, fundamentados e construídos. Sendo assim, parece razoável supor que sistemas inteligentes que trabalhem com domínios probabilísticos de conhecimento possam compartilhar do mesmo tipo de benefícios que os sistemas mais tradicionais da Inteligência Artificial receberam quando adotaram as concepções de agência, de sistemas compostos de múltiplos agentes e de linguagens de comunicação entre estes agentes. Porém, existem dúvidas não só sobre como se poderia escalar efetivamente um sistema probabilístico para uma arquitetura multiagente, mas como se poderia lidar com as questões relativas à comunicação e à representação de conhecimentos probabilísticos neste tipo de sistema, principalmente tendo em vista as limitações das linguagens de comunicação entre agentes atuais, que não permitem comunicar ou representar este tipo de conhecimento. Este trabalho parte destas considerações e propõe uma generalização do modelo teórico puramente lógico que atualmente fundamenta a comunicação nos sistemas multiagentes, que será capaz de representar conhecimentos probabilísticos. Também é proposta neste trabalho uma extensão das linguagens de comunicação atuais, que será capaz de suportar as necessidades de comunicação de conhecimentos de natureza probabilísticas. São demonstradas as propriedades de compatibilidade do novo modelo lógico-probabilístico com o modelo puramente lógico atual, sendo demonstrado que teoremas válidos no modelo atual continuam válidos no novo modelo. O novo modelo é definido como uma lógica probabilística que estende a lógica modal dos modelos atuais. Para esta lógica probabilística é definido um sistema axiomático e são demonstradas sua correção e completude. A completude é demonstrada de forma relativa: se o sistema axiomático da lógica modal original for completo, então o sistema axiomático da lógica probabilística proposta como extensão também será completo. A linguagem de comunicação proposta neste trabalho é definida formalmente pela generalização das teorias axiomáticas de agência e comunicação atuais para lidar com a comunicação de conhecimentos probabilísticos e pela definição de novos atos comunicativos específicos para este tipo de comunicação. Demonstra-se que esta linguagem é compatível com as linguagens atuais no caso não-probabilístico. Também é definida uma nova linguagem para representação de conteúdos de atos de comunicação, baseada na lógica probabilística usada como modelo semântico, que será capaz de expressar conhecimentos probabilísticos e não probabilísticos de uma maneira uniforme. O grau de expressibilidade destas linguagens é verificado por meio de duas aplicações. Na primeira aplicação demonstra-se como a nova linguagem de conteúdos pode ser utilizada para representar conhecimentos probabilísticos expressos através da forma de representação de conhecimentos probabilísticos mais aceita atualmente, que são as Redes Bayesianas ou Redes de Crenças Probabilísticas. Na outra aplicação, são propostos protocolos de interação, baseados nos novos atos comunicativos, que são capazes de atender as necessidades de comunicação das operações de consistência de Redes Bayesianas secionadas (MSBNs, Multiple Sectioned Bayesian Networks) para o caso de sistemas multiagentes.

Uma extensão do protocolo CAN para aplicações críticas em sistemas distribuídos

Sistemas computacionais de tempo-real são tipicamente construídos a partir de primitivas de sincronização que fornecem uma noção do tempo no objetivo de coordenar a execução múltiplos fluxos de instruções em um processador. Quando o processamento é centralizado, a base de tempo destas primitivas é extraída do oscilador local da plataforma, permitindo que as ações do sistema sejam devidamente ordenadas, respeitando restrições de tempo e causalidade. No entanto, em sistemas distribuídos o problema não pode ser resolvido desta forma em decorrência de imperfeições nos dispositivos físicos. Diferenças mínimas na freqüência de osciladores fazem com que as bases de tempo dos componentes divirjam cada vez mais ao longo do tempo, dificultando ou até mesmo impossibilitando um ordenamento consistente de eventos. Por esta razão, sincronização de relógios é um serviço de fundamental importância, sobretudo em aplicações críticas, onde os níveis de confiabilidade exigidos são mais elevados. O presente trabalho consiste na proposta e implementação de uma plataforma de comunicação otimizada para sistemas de controle distribuídos, caracterizados por uma alta regularidade no comportamento da comunicação. O objetivo é propor uma solução em baixo nível com suporte para o projeto de sistemas distribuídos no domínio de aplicações críticas. A plataforma proposta, à qual foi atribuído o nome CASCA, sigla para “Communication Architecture for Safety- Critical Applications”, é de fato uma extensão time-triggered do protocolo CAN. Acima da camada de enlace do protocolo original foram projetados mecanismos sincronização de relógios e criação inicial da base de tempo, implementados na forma de uma combinação de hardware e software. Principais características da plataforma são jitter mínimo, uma base de tempo global essencialmente distribuída e particionamento temporal. Diferentes alternativas de projeto foram consideradas, observando com maior atenção a viabilidade de prototipação em dispositivos FPGA para fins de validação e aplicação imediata em plataformas reconfiguráveis. Como forma de validação da plataforma, um sistema elementar formado por três nodos foi sintetizado com sucesso em bancada obtendo-se como resultado uma base de tempo essencialmente distribuída com precisão menor do que um micro-segundo.

Aplicações pedagógicas para terminais móveis

Esta tese descreve o desenvolvimento de duas aplicações de software cujo objetivo consiste em demonstrar o funcionamento de duas ferramentas base de Sistemas Digitais. A primeira aplicação, denominada KarnUMa, pretende demonstrar o funcionamento dos Mapas de Karnaugh, que são utilizados na simplificação de expressões algébricas Booleanas. Esta aplicação está disponível em duas versões com destino a duas plataformas distintas: a primeira KarnUMa, disponível para computador, e a segunda Pocket KarnUMa, disponível para terminais móveis sob a forma de Midlet ou Android Package. A segunda aplicação desenvolvida, denominada ParTec, terá como objetivo demonstrar o funcionamento da Técnica das Partições, que é utilizada na eliminação de estados redundantes nas máquinas de estados. Esta segunda aplicação tem apenas o computador como plataforma de destino. Este documento conta com um levantamento das aplicações atualmente existentes nas áreas de interesse, uma descrição das tecnologias utilizadas no desenvolvimento do software, uma apresentação desse mesmo software descrevendo o que este tem de inovador e por fim uma descrição da forma como as aplicações foram publicadas.

GATE - Uma abordagem baseada em middleware para aplicações interperceptivas envolvendo múltiplos dispositivos

In this work, we present the GATE, an approach based on middleware for interperceptive applications. Through the services offered by the GATE, we extension we extend the concept of Interperception for integration with several devices, including set-top box, mobile devices (cell phones), among others. Through this extension ensures the implementation of virtual environments in these devices. Thus, users who access the version of the computer environment may interact with those who access the same environment by other devices. This extension is just a part of the services provided by the GATE, that remerges as a new proposal for multi-user virtual environments creation.

Desenvolvimento de um ressoador retangular de fenda com múltiplas camadas de substrato e com utilização de material PBG para sistema de comunicação sem fio

In the globalized world modern telecommunications have assumed key role within the company, causing a large increase in demand for the wireless technology of communication, which has been happening in recent years have greatly increased the number of applications using this technology. Due to this demand, new materials are developed to enable new control mechanisms and propagation of electromagnetic waves. The research to develop new technologies for wireless communication presents a multidisciplinary study that covers from the new geometries for passive antennas, active up to the development of materials for devices that improve the performance at the frequency range of operation. Recently, planar antennas have attracted interest due to their characteristics and advantages when compared with other types of antennas. In the area of mobile communications the need for antennas of this type has become increasingly used, due to intensive development, which needs to operate in multifrequency antennas and broadband. The microstrip antennas have narrow bandwidth due to the dielectric losses generated by irradiation. Another limitation is the degradation of the radiation pattern due to the generation of surface waves in the substrate. Some techniques have been developed to minimize this limitation of bandwidth, such as the study of type materials PBG - Photonic Band Gap, to form the dielectric material. This work has as main objective the development project of a slot resonator with multiple layers and use the type PBG substrate, which carried out the optimization from the numerical analysis and then designed the device initially proposed for the band electromagnetic spectrum between 3-9 GHz, which basically includes the band S to X. Was used as the dielectric material RT/Duroid 5870 and RT/Duroid 6010.LM where both are laminated ceramic-filled PTFE dielectric constants 2.33 and 10.2, respectively. Through an experimental investigation was conducted an analysis of the simulated versus measured by observing the behavior of the radiation characteristics from the height variation of the dielectric multilayer substrates. We also used the LTT method resonators structures rectangular slot with multiple layers of material photonic PBG in order to obtain the resonance frequency and the entire theory involving the electromagnetic parameters of the structure under consideration. xviii The analysis developed in this work was performed using the method LTT - Transverse Transmission Line, in the field of Fourier transform that uses a component propagating in the y direction (transverse to the real direction of propagation z), thus treating the general equations of the fields electric and magnetic and function. The PBG theory is applied to obtain the relative permittivity of the polarizations for the sep photonic composite substrates material. The results are obtained with the commercial software Ansoft HFSS, used for accurate analysis of the electromagnetic behavior of the planar device under study through the Finite Element Method (FEM). Numerical computational results are presented in graphical form in two and three dimensions, playing in the parameters of return loss, frequency of radiation and radiation diagram, radiation efficiency and surface current for the device under study, and have as substrates, photonic materials and had been simulated in an appropriate computational tool. With respect to the planar device design study are presented in the simulated and measured results that show good agreement with measurements made. These results are mainly in the identification of resonance modes and determining the characteristics of the designed device, such as resonant frequency, return loss and radiation pattern

BMMobile: uma linha de produtos para dimensionamento de bombeio mecânico em dispositivos móveis

With the increase of processing ability, storage and several kinds of communication existing such as Bluetooth, infrared, wireless networks, etc.., mobile devices are no longer only devices with specific function and have become tools with various functionalities. In the business field, the benefits that these kinds of devices can offer are considerable, because the portability allows tasks that previously could only be performed within the work environment, can be performed anywhere. In the context of oil exploration companies, mobile applications allow quick actions could be taken by petroleum engineers and technicians, using their mobile devices to avoid potential catastrophes like an unexpected stop or break of important equipment. In general, the configuration of equipment for oil extraction is performed on the work environment using computer systems in desktop platforms. After the obtained configuration, an employee goes to equipment to be configured and perform the modifications obtained on the use desktop system. This management process equipment for oil extraction takes long time and does not guarantee the maintenance in time to avoid problems. With the use of mobile devices, management and maintenance of equipment for oil extraction can be performed in a more agile time once it enables the engineer or technician oil can perform this configuration at the time and place where the request comes for example, near in the oil well where the equipment is located. The wide variety of mobile devices creates a big difficulty in developing mobile applications, since for one application can function in several types of devices, the application must be changed for each specific type of device, which makes the development quite costly. This paper defines and implements a software product line for designing sucker-rod pumping systems on mobile devices. This product line of software, called BMMobile, aims to produce products that are capable of performing calculations to determine the possible configurations for the equipment in the design suckerrod pumping, and managing the variabilities of the various products that can be generated. Besides, this work performs two evaluations. The first evaluation will verify the consistency of the products produced by the software product line. The second evaluation will verify the reuse of some products generated by SPL developed

Planejamento de redes de comunicação sem fio para ambiente indoor considerando os efeitos da polarização das antenas: abordagem baseada em medições

Uma das principais aplicações de ondas eletromagnéticas, na atualidade, na área de telecomunicações trata dos enlaces em sistemas móveis sem fio. Sejam estes terrestres (indoor/outdoor) ou via satélites, o projetista do sistema de telecomunicações tem que ser capaz de determinar os sistemas irradiantes, as potências envolvidas, a frequência de operação do sistema, a área de cobertura e os parâmetros de qualidade do serviço. O planejamento das novas redes de comunicações sem fio representa um grande desafio ao incluir serviços cada vez mais avançados com diferentes requisitos de qualidade, suporte a mobilidade, altas taxas de transmissão e capacidades elevadas de tráfego. Os diversos ambientes nos quais essas redes operam, os fenômenos associados produzem diversos efeitos no comportamento do sinal recebido e, consequentemente, uma variação no desempenho do enlace de comunicação entre os pontos de acesso, a rede e os usuários. Por conseguinte, esses efeitos devem ser avaliados corretamente, de tal forma que o dimensionamento da rede atenda aos requisitos de qualidade regulamentados. O presente trabalho objetiva estabelecer uma metodologia para o planejamento de redes de comunicação sem fio para ambientes indoor, considerando os parâmetros de qualidade de serviços e os efeitos da polarização das antenas. Foi proposto um modelo empírico para determinar a área de cobertura desse ambiente a partir de uma abordagem baseada em medições. Como resultado de campanhas de medições, foram identificados os principais parâmetros que interferem nas perdas no enlace de propagação, destacando-se os materiais envolvidos no ambiente bem como os efeitos da polarização das antenas transmissora, entre outros. Tais efeitos, avaliados corretamente, permitirão ao projetista da rede, de uma forma crítica e com base em dados obtidos em campo, definir a melhor configuração de parâmetros e critérios de projeto para a implantação de uma rede móvel de acesso sem fio. As medições para determinação dos parâmetros de cobertura e de qualidade de serviços foram realizadas no prédio do Laboratório de Engenharia Elétrica e de Computação e no prédio de aulas do Instituto de Tecnologia da Universidade Federal do Pará. Nas campanhas de medição foram utilizadas algumas frequências, escolhidas devido à importância dos serviços disponibilizados: 2,4 GHz - redes locais sem fio (WLAN’s); 3,5 GHz - Wimax licenciado; 5,85 GHz - Wimax livre e 10 GHz (a faixa de 9,8 a 10 GHz não está ainda regulamentada, de 10 - 10,15 GHz-radioamador (Resolução Anatel, Nº 452/2006 - D.O.U. de 20.12.2006) ou serviços de comunicações multimídias (SCM) para sistemas em banda larga). Os principais resultados obtidos com o modelo proposto foram avaliados e comparados com os principais modelos da literatura e mostraram que a metodologia adotada para o planejamento de redes de comunicação sem fio em ambientes indoor teve um bom desempenho.

Otimização de antenas lineares e planares para aplicações em sistemas de banda larga

O objetivo deste trabalho é a otimização da largura de banda de antenas linear e planar para aplicações em sistemas de banda larga. Nesse sentido, foi feito um estudo das técnicas de análise, aumento da largura de banda e otimização adequadas para o problema em questão. Como técnica de análise, foi utilizado o método dos momentos, o qual está apresentado no capítulo II. Para aumentar a largura de banda, foram utilizadas as técnicas de colocação de elementos parasitas e construção de fendas no radiador, descritos sucintamente no capítulo III. Como algoritmo de otimização, foi utilizado o algoritmo genético, descrito sucintamente no capítulo II. Neste trabalho, são apresentadas duas propostas de antenas, uma antena dipolo linear combinada com quatros espiras parasitas, capítulo IV, e uma antena planar do tipo espira, capítulo V. No primeiro caso, foram utilizados elementos parasitas e o algoritmo genético para aumentar a largura de banda e, no segundo, foram empregadas fendas no radiador e a otimização paramétrica para este objetivo.

Planejamento de redes de comunicação sem fio para ambientes indoor considerando aplicações multimídia: abordagem híbrida - simulação e medição

As tecnologias wireless vêm evoluindo de forma rápida nas últimas décadas, pois são uma eficiente alternativa para transmissão de informações, sejam dados, voz, vídeos e demais serviços de rede. O conhecimento do processo de propagação dessas informações em diferentes ambientes é um fator de grande importância para o planejamento e o desenvolvimento de sistemas de comunicações sem fio. Devido ao rápido avanço e popularização dessas redes, os serviços oferecidos tornaram-se mais complexos e com isso, necessitam de requisitos de qualidades para que sejam ofertados ao usuário final de forma satisfatória. Devido a isso, torna-se necessário aos projetistas desses sistemas, uma metodologia que ofereça uma melhor avaliação do ambiente indoor. Essa avaliação é feita através da análise da área de cobertura e do comportamento das métricas de serviços multimídia em qualquer posição do ambiente que está recebendo o serviço. O trabalho desenvolvido nessa dissertação objetiva avaliar uma metodologia para a predição de métricas de qualidade de experiência. Para isso, foram realizadas campanhas de medições de transmissões de vídeo em uma rede sem fio e foram avaliados alguns parâmetros da rede (jitter de pacotes/frames, perda de pacotes/frames) e alguns parâmetros de qualidade de experiência (PSNR, SSIM e VQM). Os resultados apresentaram boa concordância com os modelos da literatura e com as medições.

Análise da robustez e aplicações de controle com modos deslizantes em sistemas incertos com atraso no controle

Pós-graduação em Engenharia Elétrica - FEIS

Controle e aquisição de dados experimentais com tecnologia bluetooth em dispositivos móveis

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

User interface de aplicações móveis para museus : atenção partilhada

With the emergence and growing supply of mobile apps for museums it becomes relevant to study the importance of all the design aspects of those apps in order to provide users/visitors with a better museum experience. One of these aspects is User Interface (UI) which may condition the quality of the application experience as well as the museum experience, serving the function of intermediary. Since interface design must combine usability with appearance (Schlatter e Levinson, 2013) the design must always appeal to the user, representing also a potential source of distraction. Hence the concern of this dissertation is to understand how we can distribute the user's attention in a balanced way, between the application and the exhibition via the User Interface design. For better understanding of the issue – sharing the attention between the physical experience and the application - questions are addressed as: what represents a distraction during a visit to a museum and what comprises the attention process. Thus, it was possible to find some good and bad practice to design a good mobile UI which suits the visual criteria and does not require too much visitor’s attention, serving as a complement to the visit

Controle de mobilidade infraestruturado e orientado à qualidade para maximização de admissões em sistemas WiNeMO: uma abordagem definida por software

The spread of wireless networks and growing proliferation of mobile devices require the development of mobility control mechanisms to support the different demands of traffic in different network conditions. A major obstacle to developing this kind of technology is the complexity involved in handling all the information about the large number of Moving Objects (MO), as well as the entire signaling overhead required to manage these procedures in the network. Despite several initiatives have been proposed by the scientific community to address this issue they have not proved to be effective since they depend on the particular request of the MO that is responsible for triggering the mobility process. Moreover, they are often only guided by wireless medium statistics, such as Received Signal Strength Indicator (RSSI) of the candidate Point of Attachment (PoA). Thus, this work seeks to develop, evaluate and validate a sophisticated communication infrastructure for Wireless Networking for Moving Objects (WiNeMO) systems by making use of the flexibility provided by the Software-Defined Networking (SDN) paradigm, where network functions are easily and efficiently deployed by integrating OpenFlow and IEEE 802.21 standards. For purposes of benchmarking, the analysis was conducted in the control and data planes aspects, which demonstrate that the proposal significantly outperforms typical IPbased SDN and QoS-enabled capabilities, by allowing the network to handle the multimedia traffic with optimal Quality of Service (QoS) transport and acceptable Quality of Experience (QoE) over time.

Aplicação para pesquisa de clip arts em dispositivos móveis baseada em esboços

Trabalho Final de Mestrado para obtenção do Grau de Mestre em Engenharia de Redes de Comunicação e Multimédia

A influência das aplicações móveis na percepção da imagem de marcas comerciais

A história da humanidade é marcada por invenções a nível tecnológico que provocam grandes alterações na sociedade e, consequentemente, no mundo. Depois do aparecimento da Internet há algumas décadas, assistimos atualmente ao surgimento de um novo grande marco histórico ao nível tecnológico: a era do marketing digital e da comunicação móvel. Nos últimos anos, o crescimento exponencial e o desenvolvimento do mercado de smartphones e das aplicações móveis fizeram com que estas se tornassem num dos principais meios de comunicação e impusessem novas dinâmicas quanto à forma de interagir, pesquisar informação, efetuar compras/pagamentos, organizar as mais diversas tarefas diárias, jogar e até de trabalhar. Os novos ritmos de vida garantem aos consumidores uma menor disponibilidade de exposição aos conteúdos e às atividades das marcas. Deste modo, e devido ao reconhecimento das potencialidades dos canais móveis, o conceito da mobilidade tem vindo a ganhar uma crescente valorização. A necessidade de criação de novas plataformas interativas que facilitem a vida dos consumidores é cada vez maior e permite às marcas uma relação de proximidade constante e sem barreiras com os seus consumidores em qualquer lugar e a qualquer hora através de dispositivos móveis que são, hoje em dia, uma ferramenta imprescindível tanto a nível pessoal e social como a nível profissional.