Multi-agent systems (MASs) can be used to model phenomena that can be decomposed into several interacting agents which exist within an environment. In particular, they can be used to model human and animal societies, for the purpose of analysing their properties by computational means. This thesis is concerned with the automated analysis of a particular kind of such social models, namely, those based on behaviourist principles, which contrasts with the more dominant cognitive approaches found in the MAS literature. The hallmark of behaviourist theories is the emphasis on the definition of behaviour in terms of the interaction between agents and their environment. In this manner, not merely re exive actions, but also learning, drives, and emotions can be defined. More specifically, in this thesis we introduce a formal agent architecture (specified with the Z Notation) based on the Behaviour Analysis theory of B. F. Skinner, and provide a suitable formal notion of environment (based on the pi-calculus process algebra) to bring such agents together as an MAS. Simulation is often used to analyse MASs. The techniques involved typically consist in implementing and then simulating a MAS several times to either collect statistics or see what happens through animation. However, simulations can be used in a more verification-oriented manner if one considers that they are actually explorations of large state-spaces. In this thesis we propose a novel verification technique based on this insight, which consists in simulating a MAS in a guided way in order to check whether some hypothesis about it holds or not. To this end, we leverage the prominent position that environments have in the MASs of this thesis: the formal specification of the environment of a MAS serves to compute the possible evolutions of the MAS as a transition system, thereby establishing the state-space to be investigated. In this computation, agents are taken into account by being simulated in order to determine, at each environmental state, what their actions are. Each simulation execution is a sequence of states in this state-space, which is computed on-the-fly, as the simulation progresses. The hypothesis to be investigated, in turn, is given as another transition system, called a simulation purpose, which defines the desirable and undesirable simulations (e.g., \"every time the agent does X, it will do Y later\"). It is then possible to check whether the MAS satisfies the simulation purpose according to a number of precisely defined notions of satisfiability. Algorithmically, this corresponds to building a synchronous product of these two transitions systems (i.e., the MAS\'s and the simulation purpose) on-the-fly and using it to operate a simulator. That is to say, the simulation purpose is used to guide the simulator, so that only the relevant states are actually simulated. By the end of such an algorithm, it delivers either a conclusive or an inconclusive verdict. If conclusive, it becomes known whether the MAS satisfies the simulation purpose with respect to the observations made during simulations. If inconclusive, it is possible to perform some adjustments and try again. In summary, then, in this thesis we provide four novel elements: (i) an agent architecture; (ii) a formal specification of the environment of these agents, so that they can be composed into an MAS; (iii) a structure to describe the property of interest, which we named simulation purpose; and (iv) a technique to formally analyse the resulting MAS with respect to a simulation purpose. These elements are implemented in a tool, called Formally Guided Simulator (FGS). Case studies executable in FGS are provided to illustrate the approach. / Sistemas multi-agentes (SMAs) podem ser usados para modelar fenômenos que podem ser decompostos em diversos agentes que interagem entre si dentro de um ambiente. Em particular, eles podem ser usados para modelar sociedades humanas e animais, com a finalidade de se analisar as suas propriedades computacionalmente. Esta tese trata da análise automatizada de um tipo particular de tais modelos sociais, a saber, aqueles baseados em princípios behavioristas, o que contrasta com as abordagens cognitivas mais dominante na literatura de SMAs. A principal característica das teorias behaviorista é a ênfase na descrição do comportamento em termos da interação entre agentes e seu ambiente. Desta forma, não apenas ações refl exivas, mas também de aprendizado, motivações, e as emoções podem ser definidas. Mais especificamente, nesta tese apresentamos uma arquitetura de agentes formal (especificada através da Notação Z) baseada na teoria da Análise do Comportamento de B. F. Skinner, e fornecemos uma noção adequada e formal de ambiente (com base na álgebra de processos pi-calculus) para colocar tais agentes juntos em um SMA. Simulações são freqüentemente utilizadas para se analisar SMAs. As técnicas envolvidas tipicamente consistem em simular um SMA diversas vezes, seja para coletar estatísticas, seja para observar o que acontece através de animações. Contudo, simulações podem ser usadas de forma a pertmitir a realização de verificações automatizadas do SMA caso sejam entendidas como explorações de grandes espaços-de-estados. Nesta tese propomos uma técnica de verificação baseada nessa observação, que consiste em simular um SMA de uma forma guiada, a fim de se determinar se uma dada hipótese sobre ele é verdadeira ou não. Para tal fim, tiramos proveito da importância que os ambientes têm nesta tese: a especificação formal do ambiente de um SMA serve para calcular as evoluções possíveis do SMA como um sistema de transição, estabelecendo assim o espaço-de-estados a ser investigado. Neste cálculo, os agentes são levados em conta simulando-os, a fim de determinar, em cada estado do ambiente, quais são suas ações. Cada execução da simulação é uma seqüência de estados nesse espaço-de-estados, que é calculado em tempo de execução, conforme a simulação progride. A hipótese a ser investigada, por sua vez, é dada como um outro sistema de transição, chamado propósito de simulação, o qual define as simulações desejáveis e indesejáveis (e.g., \"sempre que o agente fizer X, ele fará Y depois\"). Em seguida, é possível verificar se o SMA satisfaz o propósito de simulação de acordo com uma série de relações de satisfatibilidade precisamente definidas. Algoritmicamente, isso corresponde a construir um produto síncrono desses dois sistemas de transições (i.e., o do SMA e o do propósito de simulação) em tempo de execução e usá-lo para operar um simulador. Ou seja, o propósito de simulação é usado para guiar o simulador, de modo que somente os estados relevantes sejam efetivamente simulados. Ao terminar, um tal algoritmo pode fornecer um veredito conclusivo ou inconclusivo. Se conclusivo, descobre-se se o SMA satisfaz ou não o propósito de simulação com relação às observações feitas durante as simulações. Se inconclusivo, é possível realizar alguns ajustes e tentar novamente. em resumo, portanto, nesta tese propomos quatro novos elementos: (i) uma arquitetura de agente, (ii) uma especificação formal do ambiente desses agentes, de modo que possam ser compostos em um SMA, (iii) uma estrutura para descrever a propriedade de interesse, a qual chamamos de propósito de simulação, e (iv) uma técnica para se analisar formalmente o SMA resultante com relação a um propósito de simulação. Esses elementos estão implementados em uma ferramenta, denominada Simulador Formalmente Guiado (FGS, do inglês Formally Guided Simulator). Estudos de caso executáveis no FGS são fornecidos para ilustrar a abordagem.

Nos últimos anos, as redes sociais na Web 2.0 vêm ganhando cada vez mais importância para trabalhar e compartilhar ideias. As redes sociais armazenam informações do usuário, como preferências, experiência profissional, dados pessoais e com quem o usuário interage. Essas informações são úteis para diversos fins, como oferecer produtos e serviços personalizados. Com a aparição de cada vez mais redes sociais, surgem problemas como a duplicação de perfis de usuários. Atualmente há algumas técnicas para interoperar as redes sociais, como serviços de autenticação única ou representação padrão para compartilhamento de dados. O objetivo deste trabalho foi realizar um estudo dessas técnicas e tecnologias disponíveis, implementá-las por meio de componentes do Groupware Workbench, e implantar e avaliar os componentes desenvolvidos na rede social Arquigrafia. A avaliação dos componentes foi realizada por meio dos aspectos e questões propostos pelo projeto DataPortability. A avaliação mostrou que as questões diretamente relacionadas com a interoperabilidade técnica e semântica foram respondidas. / In recent years, the importance of social networks for working and sharing ideas increased. Social networks store information such as user preferences, professional experience, personal data, and information about with whom the user interacts. This kind of information is useful for many purposes, such as offering personalized products and services. With the appearance of more social networks, problems as duplication of user profiles arise. Currently, there are some techniques for interoperating social networks, such as single authentication services and standard representation for data sharing. The objective of this work was to study techniques and technologies available, implement them as Groupware Workbench components, and deploy and evaluate the components in the social network Arquigrafia. The evaluation of the components was based on the DataPortability project. Issues related to technical and semantic interoperability have been successfully addressed.

Este trabalho teve como objetivo apresentar e discutir procedimentos e diretrizes para a construção e validação de um índice para a avaliação das condições de sustentabilidade da mobilidade associada a grandes Polos Geradores de Viagens (PGV), tais como, por exemplo, campi universitários. Os procedimentos foram organizados nas seguintes etapas: i) avaliação das condições atuais de mobilidade; ii) desenvolvimento ou adaptação de um índice de mobilidade sustentável; iii) definição de estratégias para cálculo e de valores de referência para os indicadores; iv) atribuição de pesos para o modelo; v) validação do modelo; e vi) aplicação do modelo. Uma abordagem bottom-up foi utilizada para o desenvolvimento do índice, com base em informações obtidas em uma pesquisa abrangente realizada com usuários de um campus (PGV). As opiniões dos usuários foram traduzidas em indicadores potenciais, que foram posteriormente organizados em uma estrutura hierárquica. Como os pesos atribuídos aos elementos da estrutura hierárquica devem expressar a relevância de cada componente do modelo, os valores de peso foram uma combinação de percepções dos usuários com diretrizes de planejamento baseadas em pontos de alavancagem. O processo de validação foi capaz de identificar falhas na estrutura do modelo, consequência de um viés posteriormente identificado na pesquisa com os usuários. Em relação aos pesos, a adoção de valores distintos se mostrou uma estratégia adequada quando comparada a uma hierarquia de modos de transporte definida por princípios de sustentabilidade. O uso de pesos constantes, por outro lado, não se mostrou capaz de satisfazer esta condição. A aplicação do índice desenvolvido no estudo de caso, com o nome IMSCamp, resultou em um valor de 0,459 (em uma escala de 0-1) para o campus da Universidade de São Paulo em São Carlos. O resultado sugere que as condições de mobilidade do campus estudado não eram sustentáveis. Apesar deste resultado negativo, a abordagem desenvolvida permitiu a identificação de indicadores, temas ou domínios prioritários para melhoria. Esta identificação é um primeiro passo importante para um processo cíclico de estabelecimento de metas, intervenção e acompanhamento dos resultados por meio de avaliações contínuas ao longo do tempo. / The objective of this study was to introduce and discuss procedures and guidelines for the construction and validation of an index for the assessment of sustainability conditions of mobility associated to large Trip Generators (TG), for example, university campuses. The procedures were organized in the following steps: i) assessment of the current mobility conditions; ii) development or adaptation of a sustainable mobility index; iii) definition of strategies for calculation and of reference values for the indicators; iv) assignment of weights to the model; v) model validation; and vi) model application. A bottom-up approach was used for the index development, based on information obtained in a comprehensive survey carried out with users of the campus (TG). The users\' views were translated into potential indicators, which were subsequently organized in a hierarchical framework. As the weights assigned to the elements of the hierarchical structure must express the relevance of each model component, the weight values were a combination of users perceptions with planning guidelines based on leverage points. The validation process was able to identify gaps in the model structure, which were a consequence of a survey bias later identified. Regarding the weights, the adoption of different values proved to be an adequate strategy when compared to a hierarchy of transportation modes defined by sustainability principles. On the other hand, the use of constant weights would not be able to satisfy that condition. The application of the index developed in the case study, named IMSCamp, resulted in a value of 0.459 (in a 0-1 scale) for the campus of the University of São Paulo at São Carlos. The result suggests that the mobility conditions of the studied campus were not sustainable. Despite this negative result, however, the developed approach allowed the identification of priority indicators, themes or domains for improvement. This identification is a first important step for a cyclic process of establishment of goals, intervention, and monitoring of the results through continuous assessments along time.

[pt] O varejo se depara hoje com a crescente onipresença de tecnologias móveis digitais. No entanto, a maioria das compras ainda é concluída em lojas físicas. Muitas questões surgem então com relação à conexão do digital com o físico, do online e do offline, sendo a proximidade do consumidor com relação ao ponto de venda um aspecto instigante do contexto estratégico do mobile marketing. Pouco se sabe ainda sobre os efeitos do marketing baseado em localização nas visitas à loja. O objetivo desta tese é então examinar os efeitos do conteúdo de mensagens mobile e dos dados de geolocalização nas visitas às lojas, conectando os esforços online ao comportamento offline, em uma perspectiva cross-channel. O método consiste em um estudo qualitativo, um estudo de dados secundários (estudo 1), experimentos de campo (estudos 2 e 3) e um experimento online (estudo 4), em uma abordagem de método misto. O estudo qualitativo envolveu entrevistas em profundidade com gerentes de nível C e especialistas em mobile de importantes empresas da indústria digital. O estudo 1 analisou quais elementos visuais e textuais são preditores de taxas mais altas de visitação (VTR) em campanhas mobile, usando visão computacional e aprendizado de máquina em uma amostra de 640 campanhas de celular baseadas em localização. Os resultados mostram que anúncios mobile com apelo de marca tendem a gerar mais visitas ao ponto de venda do que aqueles com apelo de compra. Um anúncio mobile exibindo uma pessoa / pessoas tende a gerar mais visitas ao ponto de venda do que um sem pessoa. As palavras black, desconto e participar tiveram um efeito positivo nas visitas. O Estudo 2 testou o efeito da proximidade do consumidor ao local em resposta a notificações push mobile. O Estudo 3 testou os efeitos do conteúdo de mensagens mobile (prompts promocionais, de marca ou personalizados) combinados com dados de geolocalização em visitas a lojas. Ambos os estudos foram realizados em um experimento de campo em um grande shopping center, com os usuários do aplicativo do shopping. Dadas as limitações dos dados dos estudos 2 e 3, devido à pandemia de Covid-19, foi realizado um quarto estudo experimental online, com 1.534 participantes. Como contribuição teórica, os estudos forneceram novas perspectivas sobre mobile marketing, comunicação baseada em localização e efeitos de notificação push sobre as atitudes e comportamento dos clientes, trazendo mais insights sobre a era do marketing de marca na mão. Os resultados ajudam a direcionar decisões estratégicas de mobile marketing, impulsionando ações de menor alcance, mas maior precisão, com expectativa de taxas de conversão mais altas. / [en] The retail context faces an increasing omnipresence of mobile technologies. Yet, most purchases are still concluded in brick-and-mortar stores. Many issues arise regarding connecting digital with physical, online and offline, with the consumer proximity to physical locations as an important aspect of the mobile marketing strategic context. Little is known about the effects of mobile location-based marketing on store visits. The objective of this dissertation is to analyze which visual and textual features of push online mobile messages generate more visits to brick-and-mortar stores, connecting online efforts to offline behavior, in a cross-channel perspective. The method consists of a qualitative study, a secondary data study (study 1), field experiments (studies 2 and 3) and an online experiment (study 4), in a mixed-method approach. The qualitative study involved in-depth interviews with C-level managers and mobile experts from major companies in the digital industry. Study 1 analyzed which visual and textual features are predictors of higher visit through rates (VTR) in mobile campaigns, using computer vision and machine learning in a sample of 640 location-based mobile campaigns. The findings show that mobile adds with branding appeal tend to drive more visits to the offline point of sale than those with purchase appeal. A mobile add displaying a person / people tends to drive more visits to the offline point of sale than one with no person. Words black, discount and participate displayed a positive effect. Study 2 tested the effect of the proximity of the consumer to the location in response to mobile push notifications. Study 3 tested the effects of mobile message content (promotional, branded or personalized prompts) combined with geolocation data on store visits. Both studies were conducted in a field experiment in a large shopping mall, with the mall app users. Given the limitations of the data from studies 2 and 3, due to Covid-19 pandemic, a fourth online experimental study was conducted, with 1.534 participants. As theoretical contribution, it provided new perspectives on mobile marketing, location-based communication and push-notification effects on customers attitudes and behavior, bringing further insights into the brand in the hand marketing era. The results help directing mobile marketing strategic decisions, driving actions of smaller reach but greater precision, with expected higher conversion rates.

[pt] O uso de sistemas baseados em agentes é adequado à construção de software complexo. Para garantir uma ordem social desejável é preciso lidar com a autonomia e a diversidade de interesses dos agentes e as normas são mecanismos eficientes de controle usados para regular o comportamento dos agentes. O teste de software continua sendo amplamente aplicado para garantir a qualidade do software. No contexto de sistemas multiagentes normativos, os testes devem lidar com a necessidade dos agentes atuarem de forma robusta sob condições normativas dinâmicas as quais os desenvolvedores não consideraram. Neste contexto, propomos uma abordagem para testar agentes normativos que seguem o modelo belief-desire-intention. Como contribuições, esta tese apresenta: um framework para desenvolvimento de agentes BDI normativos, o NBDI4JADE; um modelo modelo de faltas para apoiar a identificação dos diferentes tipos de falhas em agentes normativos; um framework para testar agentes BDI normativos, o N-JAT4BDI e, um método para geração de casos de teste a partir de modelos ANA-ML dos agentes. Avaliamos o framework de teste através de um estudo experimental no qual discutimos a eficiência e a eficácia do framework. Avaliamos, também, a eficácia do método de geração de casos de teste,aplicando-o a dois cenários de uso: (i) um sistema para gerenciar a submissão e o processo de revisão de artigos em conferências, e (ii) um sistema de venda de pacotes turísticos de uma agência de viagens. Os resultados obtidos nas avaliações de ambos os frameworks apresentam indícios positivos da eficiência e eficácia na detecção e identificação de falhas em agentes normativos e eficiência na geração dos casos de teste. / [en] The use of agent-based systems is suitable for the construction of complex software. To guarantee a desirable social order one we must deal with the autonomy and diversity of interests of the agents and norms are efficient mechanisms of control used to regulate the behavior of the agents. Software testing still have been widely applied to ensure the software quality. In the context of normative multiagent systems, the test must deal with the need for the agents to act robustly under dynamic normative conditions in which the developers did not consider. In this context, we propose an approach to test normative agents that follow the belief-desire-intention model. Among the contributions, this thesis presents: a framework for development of normative BDI agents, the NBDI4JADE; a fault model to support the identification of different types of failures in normative agents; a framework for testing normative BDI agents, the N-JAT4BDI, and a method for generating test cases from ANA-ML models.We evaluated the test framework through an experimental study in which we discussed the efficiency and effectiveness of the framework. We also evaluate the effectiveness of the test case generation method, applying it to two usage scenarios: (i) a system to the manage submission and the review process of articles in conferences, and (ii) a system of sale of tour packages from a travel agency. The results obtained in the evaluations of both frameworks presented positive indications of efficiency and effectiveness in the detection and identification of failures in normative agents and efficiency in the generation of test cases.

[pt] Séries Temporais que podem ser organizadas em níveis de acordo com, por exemplo, o tipo de produto, região geográfica, classe de consumo, dentre outros, são chamadas de Séries Temporais Hierárquicas (ou agrupadas, quando possuem mais de uma variável de agregação). Informações referentes à previsão destas séries são fundamentais para a tomada de decisão seja no nível gerencial ou operacional de todo tipo de negócio. Para atender a essas informações, são utilizadas técnicas de previsão hierárquica, que têm como foco reduzir os custos e melhorar a acurácia da previsão. O objetivo deste trabalho é estudar abordagens para agregar/desagregar previsões feitas para Séries Temporais Hierárquicas ou Agrupadas. Como resultado do trabalho destaca-se a apresentação das abordagens que representam o estado da arte em previsão hierárquica: Reconciliação Ótima (também chamada de Combinação Ótima) e Top-Down baseada na Proporção das Previsões. Ainda referente aos resultados destaca-se a análise das diversas técnicas de previsão hierárquica encontradas na literatura aplicadas a duas séries clássicas do contexto brasileiro: a série agrupada de consumo de energia elétrica agregada por região do país e classe de consumo, e a série hierárquica de demanda de transporte aéreo representada pela variável RPK (Revenue Passenger Kilometers). O desempenho preditivo das abordagens foi avaliado com base na métrica MAPE, e o teste de Diebold-Mariano foi aplicado para verificar se a diferença no desempenho das abordagens novas e tradicionais é significativa. / [en] Time Series which can be arranged in levels according to, for example, the type of product, geography, consumption class, among others, are called Hierarchical Time Series (or grouped, if they have more than one aggregation variable). Information relating these series prediction is fundamental for decision-making at the management or operational level of all types of business. To meet these information, hierarchical forecasting techniques are used, which are focused on reducing costs and improving the accuracy of prediction. The objective of this work is to study approaches to aggregate / disaggregate predictions for Hierarchical or Grouped Time Series. As a result of the work there is the presentation of the approaches that represent the state of the art hierarchical forecast: Optimal Reconciliation approach (also called the Optimal Combination) and Top-Down Forecast Proportions approach. Still on the results highlight the analysis of the various hierarchical forecasting techniques found in the literature applied to two classic series of the Brazilian context: a grouped series of electricity consumption aggregated by region of the country and consumer class, and the hierarchical series air transport demand represented by the variable RPK (Revenue Passenger Kilometers). The predictive performance of the approaches was evaluated based on the metric MAPE and the Diebold-Mariano test was used to verify that the difference in performance of new and traditional approaches is significant.

Submitted by Maicon Juliano Schmidt (maicons) on 2015-05-08T19:40:28Z No. of bitstreams: 1 Mirela Rosa.pdf: 33214432 bytes, checksum: 6b8afee33b9a338a882f4914815741d2 (MD5) / Made available in DSpace on 2015-05-08T19:40:28Z (GMT). No. of bitstreams: 1 Mirela Rosa.pdf: 33214432 bytes, checksum: 6b8afee33b9a338a882f4914815741d2 (MD5) Previous issue date: 2013-01-31 / Nenhuma / O Design de Serviços é constituído de uma metodologia que utiliza um conjunto de ferramentas que permitem projetar soluções para melhorar a percepção dos usuários sobre os serviços, que podem ser aplicadas em diversas áreas e contextos. Conforme a complexidade de cada setor, se torna necessário considerar abordagens de projeto que tornariam os resultados desta metodologia mais eficazes e mensuráveis, como é o caso da Saúde. Alguns autores que vêm pesquisando a aplicação neste setor, sugerem uma possível integração do Design baseado em evidências (DBE) e do Design baseado em experiências (DBEx) para viabilizar que um projeto orientado pelo usuário seja implementado em larga escala. Em busca da investigação sobre a lógica de evidências, foi estudada uma ferramenta utilizada no setor de serviços chamada Mecanismo da Função Produção (MFP), que prevê a quantificação das perdas dos processos. O presente estudo teve como contexto o Intensivismo Adulto (CTI) de um hospital privado em Porto Alegre e aplicou um caso em Design de Serviços com a lógica das evidências através da ferramenta MFP, para o desenvolvimento de uma abordagem integrada. Foi utilizado o método de pesquisa-ação com a descrição de todo o processo de projeto e dos resultados obtidos. A partir das análises pode-se constatar que (i) o olhar das evidências contribui para replicações dos resultados do projeto em casos futuros, (ii) o MFP pode ser um argumento para justificar a realização de um projeto em Design e (iii) para a integração das experiências com as evidências no setor hospitalar, pode-se gerenciar o projeto de modo a destinar um tempo maior para o diagnóstico e para a implementação. / Service Design consists of a methodology that uses a set of tools to create solutions to improve users perception on services, which can be applied in many fields and contexts. As the complexity of each field, it is necessary to consider approaches that would make results of this methodology more effective and measurable, such as health sector. Some authors have been research application of Service Design in this sector, and suggest a possible integration of evidence-based design (EBD) and experience-based design (ExBD) to enable a user-oriented design on a large scale implementation. In search on the logic of evidence, we studied a tool used in service sector called Mechanism of the Production Function, that provides quantification of loss processes. The present study was context in Intensive Care Unit (ICU) of a private hospital in Porto Alegre and applied a case of Service Design with the logic of the evidence through MFP tool for the development of an integrated approach. We used the method of action research with the description of the whole design process and results. From the analysis it was found that (i) the look of the evidence contributes to replication of project outcomes in future cases, (ii) MFP is an argument supporting the realization of a Design project and (iii) to integrate experiences with evidence in the hospital sector, we can manage the project in order to devote more time to the diagnosis and implementation.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-15T14:16:38Z No. of bitstreams: 1 ALEXANDRE NÓBREGA DUARTE - DISSERTAÇÃO PPGCC 2003..pdf: 1526817 bytes, checksum: dfc39cd8b1649bf64468cbe2eaefe99b (MD5) / Made available in DSpace on 2018-08-15T14:16:38Z (GMT). No. of bitstreams: 1 ALEXANDRE NÓBREGA DUARTE - DISSERTAÇÃO PPGCC 2003..pdf: 1526817 bytes, checksum: dfc39cd8b1649bf64468cbe2eaefe99b (MD5) Previous issue date: 2003-02-25 / Apresenta uma nova ferramenta para o diagnóstico automático de falhas em redes elétricas. A ferramenta utiliza uma técnica híbrida de correlação de eventos criada especialmente para ser utilizada em redes com constantes modificações de topologia. A técnica híbrida combina o raciocínio baseado em regras com o raciocínio baseado em modelos para eliminar as principais limitações do raciocínio baseado em regras. Com a ferramenta de diagnóstico foi possível validar o conhecimento dos especialistas em sistemas de transmissão de energia elétrica necessário para o diagnóstico de falhas em linhas de transmissão e construir uma base de regras para tal. A ferramenta foi testada no diagnóstico de falhas em linhas de transmissão de um dos cinco centros regionais da Companhia Hidro Elétrica do São Francisco (CHESF) e apresentou resultados satisfatórios de desempenho e precisão. / It presents a new tool for the automatic diagnosis of faults in electric networks. The toot uses a hybrid event correlation technique especially created to be used in networks with constant topological modifications. The hybrid technique combines ruJe-based reasoning with modelbased reasoning to eliminate the main limitations of rule-based reasoning. With the tool it was possible to validate the knowledge acquired from electric energy transmission systems specialists needed for the diagnosis of faults in transmission lines and to construct rules. The tool was tested in the diagnosis of faults in transmission lines of one of the five regional centers of the Companhia Hidro Elétrica do São Francisco (CHESF) and presented satisfactoiy results in terms of performance and precision.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-16T13:58:48Z No. of bitstreams: 1 STEFANI SILVA PIRES - DISSERTAÇÃO PGCC 2010..pdf: 819684 bytes, checksum: 625f468cb174d699bf5b98131d1adf61 (MD5) / Made available in DSpace on 2018-08-16T13:58:48Z (GMT). No. of bitstreams: 1 STEFANI SILVA PIRES - DISSERTAÇÃO PGCC 2010..pdf: 819684 bytes, checksum: 625f468cb174d699bf5b98131d1adf61 (MD5) Previous issue date: 2010-08-19 / Este trabalho apresenta uma técnica de análise de causa-raiz para sistemas elétricos de potência. A análise de causa-raiz é uma forma de auxiliar o operador na compreensão da ocorrênciadefalha,interpretandoasocorrênciascomefeito"cascata"entreoselementosda rede. A técnica proposta utiliza o raciocínio baseado em regras, onde regras parametrizadas constroem um modelo de propagação com os diagnósticos de uma ocorrência de falha. A técnica permite apontar o elemento causador da ocorrência, e detalhar a sua propagação para os demais elementos em um modelo de causa-efeito. A utilização de regras parametrizadas traz grandes vantagens ao processo, permitindo que a técnica seja adaptável a alterações na topologia do sistema, e contribuindo para sua escalabilidade. Um estudo de caso foi elaborado para sua avaliação, no contexto da Companhia Hidro Elétrica do São Francisco (CHESF), onde foi desenvolvido um protótipo que implementa a técnica, e levantados um conjunto de regras parametrizadas e um conjunto de cenários de falha utilizando uma ferramenta de simulação de um ambiente real, o Simulop. Utilizamos também na avaliação, um conjunto de regressões, que são dados históricos armazenados pela CHESF. As regressões foramimportantesnaprimeirafasededefiniçãodatécnica,masapresentamproblemascomo afaltadedados,ecomportamentosinesperadosdosistema,ondeamargemdeacertodatécnica foi de 74%. Para o conjunto de cenários levantados com oSimulop, a técnica proposta conseguiu realizar com sucesso o processo de análise de causa-raiz, identificando a causaraiz da ocorrência em 100% dos cenários de falha, e detalhando sua propagação para todos os outros elementos da rede envolvidos em 89% dos cenários, onde a margem de erro é composta de cenários cuja propagação foi identificada apenas parcialmente, devido à falta de regras que contemplassem os cenários. Dessa forma, a técnica proposta se mostrou uma abordagem viável para a análise de causa-raiz em sistemas elétricos. A margem de acerto reduzida nas regressões, indica que, para ser aplicada em um ambiente operacional real, faz-se necessária a elaboração de um conjunto de regras mais abrangente e que possa contornar esses problemas. / This paper presents a root cause analysis technique for electric power systems. The root cause analysis is a way to assist the operator in understanding the occurrence of failure, interpreting the events cascade occurrences. The proposed technique uses a rule based reasoning, where parameterized rules construct a propagation model with diagnosis of an occurrence of failure. The technique allows to point out the element that causes the occurrence, and detailing its propagation to other elements in a cause and effect model. The use of parameterized rules brings major benefits to the process, allowing the technique to be adaptable to changes in system topology, and contributing to its scalability A case study was prepared for evaluation in the context of the Companhia Hidro Elétrica do São Francisco (CHESF). We developed a prototype that implements the technique, and raised a set of parameterized rules and a set of failure scenarios using a tool to simulate a real environment, the Simulop. We also used in the evaluation process, a set of regressions, which are historical data stored by CHESF. The regressions were important in the first phase of the technique, but they have problems such as lack of data, and unexpected behavior of the system, where the accuracy of the technique was 74%. For the set of scenarios created with Simulop, the proposed technique has achieved success in the root cause analysis process, identifying the root cause of the occurrence in 100% of failure scenarios, and detailing their propagation to all other equipments involved in 89% of scenarios, where the margin of error is composed of scenarios whose propagation has been identified only in part due to the lack of rules that contemplate these scenarios. Thus, the proposed technique proved to be a viable approach to root cause analysis in electrical systems. The reduced margin of success in the regressions , indicates that, to be applied to an operational environment, it is necessary to elaborate a comprehensive set of rules that can deal these problems.

Made available in DSpace on 2010-04-20T20:14:34Z (GMT). No. of bitstreams: 0 Previous issue date: 1995-05-15T00:00:00Z / Apresenta uma nova abordagem de mensuração de desempenho para as empresas manufatureiras, com ênfase nos princípios, critérios, modelos e metodologias para a implementação destes sistemas. Aborda o tópico das mudanças ocorridas no ambiente de negócios e do contexto específico do setor fabril, com miras a construir uma visão global dos eventos ocorridos na organização de trabalho, que permita a melhor compreensão do tema particular deste estudo. Apresenta uma metodologia proposta para a medição de desempenho nas indústrias.