Esta tese propõe o desenvolvimento de SMAs centrados em organizações de forma disciplinada, mesmo nos casos em que os modelos organizacionais de agentes utilizados não estejam incorporados aos métodos oferecidos pela Engenharia de Software Orientada a Agentes (AOSE). A fim de atingir tal objetivo, esta tese adota os princípios da Engenharia de Método Situational e propõe o Ateliê Medee, que permite a composição de métodos situacionais para SMAs usando fragmentos de método adequados à situação de cada projeto. Este ateliê oferece um repositório de fragmentos de método que contempla distintas fases de desenvolvimento de um projeto, tais como elucidação de requisitos, análise, design, e implementação, envolvendo os principais componentes de um SMA, como agentes, ambientes, interações e organizações. Tal repositório contém fragmentos extraídos de diversas abordagens para o desenvolvimento de SMAs, entre elas os métodos Gaia, Tropos, Ingenias, PASSI, e os modelos organizacionais MOISE+ e OperA. Além disso, esta tese mostra como tais métodos situationais podem contribuir no estabelecimento de um ciclo de melhoria do método de desenvolvimento para SMAs. Este ciclo aplica os princípios da Engenharia de Software a fim de prover um procedimento empírico para a adaptação, avaliação e melhoria de métodos situacionais para o desenvolvimento de SMAs centrados em organizações. Dessa forma, este ciclo contribui para uma utilização mais ampla de aplicações orientadas a agentes pela indústria.de software. Finalmente, esta tese apresenta um estudo de caso conduzido para investigar o uso do Ateliê Medee na composição de métodos situacionais para SMAs. Este estudo de caso envolveu o desenvolvimento de SMAs centrados em organizações para resolver o problema proposto pelo Torneio de Programação Multiagentes usando dois métodos situacionais distintos, compostos a partir de fragmentos de método extraídos de Tropos, Gaia e MOISE+. / This thesis proposes the development of organization centered MAS in a disciplined way, even though some agent organizational models are not currently incorporated into AOSE methods. In order to do that, this thesis proposes the Medee Framework for composing MAS situational methods out of method fragments according to a given project situation, by applying the principles proposed by Situational Method Engineering. Thus, it offers a method fragment repository that covers different development phases, like requirements, analysis, design, implementation, as well as the main components of a MAS application, such as agents, environments, interactions, and organizations. Such a repository has been sourced from several MAS development approaches, as such Gaia, Tropos, Ingenias, PASSI, MOISE, and OperA. Furthermore, this doctoral dissertation shows how such MAS situational methods could contribute to establish a method improvement cycle. Such a cycle applies principles of the Software Engineering discipline to provide an empirical procedure for tailoring, evaluating, and enhancing MAS situational methods. In this way, this cycle allows the continuous improvement of the Medee Method Repository, towards a steady and well founded path for MAS method maturation and, consequently, for a broader utilization of agent-oriented software development in the software industry. Finally, this dissertation presents a case study conducted to investigate the use of the Medee Framework for composing MAS situational methods, sourced mainly from Tropos, Gaia, and MOISE+. Moreover, these situational methods were used within an improvement cycle for MAS development methods. This case study, called the USP Farmer project, involved the development of organization centered MAS to solve the problem proposed by the Multiagent Programming Contest.

Dada a importância de agentes inteligentes e sistemas multiagentes na Ciência da Computação e na Inteligência Artificial, a programação orientada a agentes (AOP, do inglês Agent-oriented programming) emergiu como um novo paradigma para a criação de sistemas computacionais complexos. Assim, nas últimas décadas, houve um florescimento da literatura em programação orientada a agentes e, com isso, surgiram diversas linguages de programação seguindo tal paradigma, como AgentSpeak (RAO, 1996; BORDINI; HUBNER; WOOLDRIDGE, 2007), Jadex (POKAHR; BRAUBACH; LAMERSDORF, 2005), 3APL/2APL (DASTANI; VAN RIEMSDIJK; MEYER, 2005; DASTANI, 2008), GOAL (HINDRIKS et al., 2001), entre outras. Programação orientada a agentes é um paradigma de programação proposto por Shoham (1993) no qual os elementos mínimos de um programa são agentes. Shoham (1993) defende que agentes autônomos e sistemas multiagentes configuram-se como uma forma diferente de se organizar uma solução para um problema computacional, de forma que a construção de um sistema multiagente para a solução de um problema pode ser entendida como um paradgima de programação. Para entender tal paradigma, é necessário entender o conceito de agente. Agente, nesse contexto, é uma entidade computacional descrita por certos atributos - chamados de atitudes mentais - que descrevem o seu estado interno e sua relação com o ambiente externo. Atribuir a interpretação de atitudes mentais a tais atributos é válida, defende Shoham (1993), uma vez que esses atributos se comportem de forma semelhante as atitudes mentais usadas para descrever o comportamento humano e desde que sejam pragmaticamente justificáveis, i.e. úteis à solução do problema. Entender, portanto, o significado de termos como ’crença’, ’desejo’, ’intenção’, etc., assim como suas propriedades fundamentais, é de fundamental importância para estabelecer linguagens de programação orientadas a agentes. Nesse trabalho, vamos nos preocupar com um tipo específico de linguagens de programação orientadas a agentes, as chamadas linguagens BDI. Linguagens BDI são baseadas na teoria BDI da Filosofia da Ação em que o estado mental de um agente (e suas ações) é descrito por suas crenças, desejos e intenções. Enquanto a construção de sistemas baseados em agentes e linguagens de programação foram tópicos bastante discutidos na literatura, a conexão entre tais sistemas e linguagens com o trabalho teórico proveniente da Inteligência Artificial e da Filosofia da Ação ainda não está bem estabelecida. Essa distância entre a teoria e a prática da construção de sistemas é bem reconhecida na literatura relevante e comumente chamada de “gap semântico” (gap em inglês significa lacuna ou abertura e representa a distância entre os modelos teóricos e sua implementação em linguagens e sistemas). Muitos trabalhos tentaram atacar o problema do gap semântico para linguagens de programação específicas, como para as linguagens AgentSpeak (BORDINI; MOREIRA, 2004), GOAL (HINDRIKS; VAN DER HOEK, 2008), etc. De fato, Rao (1996, p. 44) afirma que “O cálice sagrado da pesquisa em agentes BDI é mostrar uma correspondência 1-a-1 com uma linguagem razoavelmente útil e expressiva” (tradução nossa)1 Uma limitação crucial, em nossa opinião, das tentativas passadas de estabeler uma conexão entre linguagens de programação orientadas a agentes e lógicas BDI é que elas se baseiam em estabelecer a interpretação de um programa somente no nível estático. De outra forma, dado um estado de um programa, tais trabalhos tentam estabelecer uma interpretação declarativa, i.e. baseada em lógica, do estado do programa respresentando assim o estado mental do agente. Não é claro, entretanto, como a execução do programa pode ser entendida enquanto mudanças no estado mental do agente. A razão para isso, nós acreditamos, está nos formalismos utilizados para especificar agentes BDI. De fato, as lógicas BDI propostas são, em sua maioria, estáticas ou incapazes de representar ações mentais. O ato de revisão uma crença, adotar um objetivo ou mudar de opinião são exemplos de ações mentais, i.e. ações que são executadas internarmente ao agente e afetando somente seu estado mental, sendo portanto não observáveis. Tais ações são, em nossa opinião, intrinsecamente diferentes de ações ônticas que consistem de comportamento observável e que possivelmente afeta o ambiente externo ao agente. Essa diferença é comumente reconhecida no estudo da semântica de linguagens de programação orientadas a agentes (BORDINI; HUBNER; WOOLDRIDGE, 2007; D’INVERNO et al., 1998; MENEGUZZI; LUCK, 2009), entretanto os formalismos disponíveis para se especificar raciocínio BDI, em nosso conhecimento, não provem recursos expressivos para codificar tal diferença. Nós acreditamos que, para atacar o gap semântico, precisamos de um ferramental semântico que permita a especificação de ações mentais, assim como ações ônticas. Lógicas Dinâmicas Epistêmicas (DEL, do inglês Dynamic Epistemic Logic) são uma família de lógicas modais dinâmicas largamente utilizadas para estudar os fenômenos de mudança do estado mental de agentes. Os trabalhos em DEL foram fortemente influenciados pela escola holandesa de lógica, com maior proponente Johna Van Benthem, e seu “desvio dinâmico” em lógica (dynamic turn em inglês) que propõe a utilização de lógicas dinâmicas para compreender ações de mudanças mentais (VAN BENTHEM, 1996). O formalismo das DEL deriva de diversas vertentes do estudo de mudança epistêmica, como o trabalho em teoria da Revisão de Crenças AGM (ALCHOURRÓN; GÄRDENFORS; MAKINSON, 1985), e Epistemologia Bayesiana (HÁJEK; HARTMANN, 2010). Tais lógicas adotam a abordagem, primeiro proposta por Segerberg (1999), de representar mudanças epistêmicas dentro da mesma linguagem utilizada para representar as noções de crença e conhecimento, diferente da abordagem extra-semântica do Revisão de Crenças a la AGM. No contexto das DEL, uma lógica nos parece particulamente interessante para o estudo de programação orientada a agentes: a Lógica Dinâmica de Preferências (DPL, do inglês Dynamic Preference Logic) de Girard (2008). DPL, também conhecida como lógica dinâmica de ordem, é uma lógica dinâmica para o estudo de preferências que possui grande expressibilidade para codificar diversas atiutudes mentais. De fato, tal lógica foi empregada para o estudo de obrigações (VAN BENTHEM; GROSSI; LIU, 2014), crenças (GIRARD; ROTT, 2014), preferências (GIRARD, 2008), etc. Tal lógica possui fortes ligações com raciocínio não-monotônico e com lógicas já propostas para o estudo de atitudes mentais na área de Teoria da Decisão (BOUTILIER, 1994b) Nós acreditamos que DPL constitui um candidato ideal para ser utilizado como ferramental semântico para se estudar atitudes mentais da teoria BDI por permitir grande flexibilidade para representação de tais atitudes, assim como por permitir a fácil representação de ações mentais como revisão de crenças, adoção de desejos, etc. Mais ainda, pelo trabalho de Liu (2011), sabemos que existem representações sintáticas dos modelos de tal lógica que podem ser utilizados para raciocinar sobre atitudes mentais, sendo assim candidatos naturais para serem utilizados como estruturas de dados para uma implementação semanticamente fundamentada de uma linguagem de programação orientada a agentes. Assim, nesse trabalho nós avançamos no problema de reduzir o gap semântico entre linguagens de programação orientadas a agentes e formalismos lógicos para especificar agentes BDI. Nós exploramos não somente como estabelecer as conexões entre as estruturas estáticas, i.e. estado de um programa e um modelo da lógica, mas também como as ações de raciocínio pelas quais se especifica a semântica formal de uma linguagem de programação orientada a agentes podem ser entendidas dentro da lógica como operadores dinâmicos que representam ações mentais do agente. Com essa conexão, nós provemos também um conjunto de operações que podem ser utilizadas para se implementar uma linguagem de programação orientada a agentes e que preservam a conexão entre os programas dessa linguagem e os modelos que representam o estado mental de um agente. Finalmente, com essas conexões, nós desenvolvemos um arcabouço para estudar a dinâmica de atitudes mentais, tais como crenças, desejos e inteções, e como reproduzir essas propriedades na semântica de linguagens de programação. / As the notions of Agency and Multiagent System became important topics for the Computer Science and Artificial Intelligence communities, Agent Programming has been proposed as a paradigm for the development of computer systems. As such, in the last decade, we have seen the flourishing of the literature on Agent Programming with the proposal of several programming languages, e.g. AgentSpeak (RAO, 1996; BORDINI; HUBNER;WOOLDRIDGE, 2007), Jadex (POKAHR; BRAUBACH; LAMERSDORF, 2005), JACK (HOWDEN et al., 2001), 3APL/2APL (DASTANI; VAN RIEMSDIJK; MEYER, 2005; DASTANI, 2008), GOAL (HINDRIKS et al., 2001), among others. Agent Programming is a programming paradigm proposed by Shoham (1993) in which the minimal units are agents. An agent is an entity composed of mental attitudes, that describe the its internal state - such as its motivations and decisions - as well as its relation to the external world - its beliefs about the world, its obligations, etc. This programming paradigm stems from the work on Philosophy of Action and Artificial Intelligence concerning the notions of intentional action and formal models of agents’ mental states. As such, the meaning (and properties) of notions such as belief, desire, intention, etc. as studied in these disciplines are of central importance to the area. Particularly, we will concentrate in our work on agent programming languages influenced by the so-called BDI paradigm of agency, in which an agent is described by her beliefs, desires, intentions. While the engineering of such languages has been much discussed, the connections between the theoretical work on Philosophy and Artificial Intelligence and its implementations in programming languages are not so clearly understood yet. This distance between theory and practice has been acknowledged in the literature for agent programming languages and is commonly known as the “semantic gap”. Many authors have attempted to tackle this problem for different programming languages, as for the case of AgentSpeak (BORDINI; MOREIRA, 2004), GOAL (HINDRIKS; VAN DER HOEK, 2008), etc. In fact, Rao (1996, p. 44) states that “[t]he holy grail of BDI agent research is to show such a one-to-one correspondence with a reasonably useful and expressive language.” One crucial limitation in the previous attempts to connect agent programming languages and BDI logics, in our opinion, is that the connection is mainly established at the static level, i.e. they show how a given program state can be interpreted as a BDI mental state. It is not clear in these attempts, however, how the execution of the program may be understood as changes in the mental state of the agent. The reason for this, in our opinion, is that the formalisms employed to construct BDI logics are usually static, i.e. cannot represent actions and change, or can only represent ontic change, not mental change. The act of revising one’s beliefs or adopting a given desire are mental actions (or internal actions) and, as such, different from performing an action over the environment (an ontic or external action). This difference is well recognized in the literature on the semantics of agent programming languages (D’INVERNO et al., 1998; BORDINI; HUBNER; WOOLDRIDGE, 2007; MENEGUZZI; LUCK, 2009), but this difference is lost when translating their semantics into a BDI logic. We believe the main reason for that is a lack of expressibility in the formalisms used to model BDI reasoning. Dynamic Epistemic Logic, or DEL, is a family of dynamic modal logics to study information change and the dynamics of mental attitudes inspired by the Dutch School on the “dynamic turn” in Logic (VAN BENTHEM, 1996). This formalism stems from various approaches in the study of belief change and differs from previous studies, such as AGM Belief Revision, by shifting from extra-logical characterization of changes in the agents attitudes to their integration within the representation language. In the context of Dynamic Epistemic Logic, the Dynamic Preference Logic of Girard (2008) seems like an ideal candidate, having already been used to study diverse mental attitudes, such as Obligations (VAN BENTHEM; GROSSI; LIU, 2014), Beliefs (GIRARD; ROTT, 2014), Preferences (GIRARD, 2008), etc. We believe Dynamic Preference Logic to be the ideal semantic framework to construct a formal theory of BDI reasoning which can be used to specify an agent programming language semantics. The reason for that is that inside this logic we can faithfully represent the static state of a agent program, i.e. the agent’s mental state, as well as the changes in the state of the agent program by means of the agent’s reasoning, i.e. by means of her mental actions. As such, in this work we go further in closing the semantic gap between agent programs and agency theories and explore not only the static connections between program states and possible worlds models, but also how the program execution of a language based on common operations - such as addition/removal of information in the already mentioned bases - may be understood as semantic transformations in the models, as studied in Dynamic Logics. With this, we provide a set of operations for the implementation of agent programming languages which are semantically safe and we connect an agent program execution with the dynamic properties in the formal theory. Lastly, by these connections, we provide a framework to study the dynamics of different mental attitudes, such as beliefs, goals and intentions, and how to reproduce the desirable properties proposed in theories of Agency in a programming language semantics.

Dentre as várias áreas de pesquisa em Inteligência Artificial Distribuída, priorizamos analisar a comunicação entre os agentes de uma sociedade. É através da comunicação que os agentes podem trocar informações entre si e assim resolver de forma cooperativa um problema global ou local que existe na sociedade. A análise do fluxo de comunicação entre agentes é portanto de grande interesse da comunidade científica que se dedica à IAD. Neste trabalho, através do estudo teórico (análise matemática) e simulações computacionais, comparamos o fluxo de comunicação entre os agentes de dois modelos de organizações dinâmicas: uma organização em que os agentes realizam uma busca informada de um parceiro (Coalisão Baseada em Dependências - CBD) e uma organização em que os agentes realizam uma busca não informada de um parceiro (Rede Contractual - RC). O Sistema CENINT, um sistema multiagente (SMA) baseado no modelo RC, foi desenvolvido a fim de realizar as simulações necessárias para os estudos deste trabalho. Por outro lado, sabemos que os sistemas multiagentes são utilizados para desenvolver modelos teóricos que permitem elucidar a estrutura de processos complexos e que a orientação a objetos facilita o desenvolvimento de sistemas complexos. Percebeu-se que a orientação a objetos poderia ser uma ferramenta adequada para desenvolver sistemas multiagentes. Assim neste trabalho, optou-se por desenvolver o sistema CENINT utilizando as técnicas de orientação a objetos, mais especificamente utilizar os diagramas da UML (Unified Modeling Language) para análise e projeto do sistema.

Made available in DSpace on 2016-04-29T14:23:42Z (GMT). No. of bitstreams: 1 Daniel Henrique da Silva.pdf: 3074984 bytes, checksum: 8157750ada0d1efd84ba9e3c3b73b64a (MD5) Previous issue date: 2015-12-11 / This research proposes a software architecture to the development of a tool for narrative scripts generation that follows the OCC-RDD technique. It is supposing that the choice of intelligent agents is adequate for this purpose, because of the diversity of inputs that make up a narrative script is propitious for artificial intelligence. In order to support the selection of the proposed architecture, a detailed study about OCC-RDD technique was made, followed by the use of a specific methodology for intelligent agents named TROPOS, in the analysis and solution design. There was also studies about theories and architectural styles suitable for software agents, as well as foundations and practices of software systems in general. The details of software architecture were designed with a prototype able to generate simple scripts which served to demonstrate the feasibility of the implementation. Some aspects of the text generation have been achieved by using a markup language built especially for this architecture. This language played the role of defining static text template in which intelligent agents consume to assemble the narrative script / A pesquisa propõe uma arquitetura de software para desenvolver uma ferramenta de geração de roteiros narrativos orientados a técnica OCC-RDD. Agentes inteligentes fo- ram escolhidos pela proximidade da área de estudo denomidada inteligência artificial que engloba a geração de roteiros narrativos. Para fundamentar a escolha da arquitetura pro- posta, foram feitos estudos detalhados sobre a técnica OCC-RDD, juntamente com o uso de uma metodologia específica para agentes inteligentes denominada TROPOS nas eta- pas de análise e de desenho da solução. Houve também estudos de teorias e de estilos arquiteturais apropriados para agentes, além de fundamentos e práticas de sistemas de software em geral. O detalhamento da arquitetura de software foi concebido junto com um protótipo capaz de gerar roteiros simples e que serviu para demonstrar a viabilidade da implementação. Alguns aspectos de geração de textos foram alcançados utilizando uma linguagem de marcação construída especialmente para esta arquitetura. Tal linguagem teve o papel importante de servir como uma definição de templates de texto estáticos no qual os agentes inteligentes a utilizam para montar o roteiro narrativo

Dentre as várias áreas de pesquisa em Inteligência Artificial Distribuída, priorizamos analisar a comunicação entre os agentes de uma sociedade. É através da comunicação que os agentes podem trocar informações entre si e assim resolver de forma cooperativa um problema global ou local que existe na sociedade. A análise do fluxo de comunicação entre agentes é portanto de grande interesse da comunidade científica que se dedica à IAD. Neste trabalho, através do estudo teórico (análise matemática) e simulações computacionais, comparamos o fluxo de comunicação entre os agentes de dois modelos de organizações dinâmicas: uma organização em que os agentes realizam uma busca informada de um parceiro (Coalisão Baseada em Dependências - CBD) e uma organização em que os agentes realizam uma busca não informada de um parceiro (Rede Contractual - RC). O Sistema CENINT, um sistema multiagente (SMA) baseado no modelo RC, foi desenvolvido a fim de realizar as simulações necessárias para os estudos deste trabalho. Por outro lado, sabemos que os sistemas multiagentes são utilizados para desenvolver modelos teóricos que permitem elucidar a estrutura de processos complexos e que a orientação a objetos facilita o desenvolvimento de sistemas complexos. Percebeu-se que a orientação a objetos poderia ser uma ferramenta adequada para desenvolver sistemas multiagentes. Assim neste trabalho, optou-se por desenvolver o sistema CENINT utilizando as técnicas de orientação a objetos, mais especificamente utilizar os diagramas da UML (Unified Modeling Language) para análise e projeto do sistema.

Dissertação apresentada para obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores (Área de especialização de Informática Industrial), na Faculdade de Engenharia da Universidade do Porto, sob a orientação do Professor Doutor Raúl Filipe Teixeira de Oliveira

Hoy en día, la utilización de redes de comunicaciones heterogéneas se ha vuelto en un desafío constante, debido a sus complejidades y crecimiento acelerado, tornándose en un factor crítico de sucesos en muchas organizaciones. Durante la última década, diversas arquitecturas de gestión de red han sido desarrolladas y estandarizadas permitiendo el control y monitorización de los diversos indicadores de redes de telecomunicaciones tales como: la utilización de la interfaz, tasa de error, rendimiento y el retardo extremo a extremo, afectando de manera sustancial la calidad de operación de toda red, percibida directamente (p.e en el servicio VoIP) o indirectamente (p.e. capacidad de transferencia de los protocolos de transporte) por los usuarios finales. Todo esto basados en la interconexión de redes de distintas tecnologías, operadas por distintos proveedores y con el paradigma de servicio best-effort. En telecomunicaciones, el término “Calidad de Servicio” o QoS, hace referencia precisamente a las técnicas y procedimientos utilizados para dar un tratamiento preferente a unas clases de tráfico o flujos frente a otras, con el objetivo de cumplir unos requisitos mínimos de performance, identificados por parámetros cuantitativos que deben ser respetados estrictamente para que se logre percibir una adecuada calidad subjetiva por parte de los usuarios, particularmente en las comunicaciones multimediales, lo que da lugar al término “Calidad de Experiencia” o QoE como una nueva forma de valoración de la calidad final ofrecida por las empresas proveedoras de servicio. Con estos antecedentes, la presente investigación explica una nueva forma de calcular estos parámetros, usando un prototipo de aplicación de gestión, de modo que sobre la base de estas mediciones, puedan hacerse los ajustes necesarios dentro de la red y los administradores puedan identificar congestión o potenciales eventos indeseables en la red. De acuerdo a investigaciones bien documentadas sobre este tema, en donde la gestión llegar a ser un factor importante, el paradigma tradicional de arquitectura centralizada es particularmente ineficiente durante periodos de alta congestión, debido al incremento de las interacciones entre la estación central y los dispositivos gestionados. De esta manera, esta investigación pretende suplir en determinada medida esta deficiencia, proponiendo un sistema de gestión de red, basado en agente móviles denominado “AgenteMobilSNMP – AMSNMP” aplicado dentro de un entorno distribuido para llevar a cabo el proceso de gestión y la recolección de los resultados. / Nowadays, the use of heterogeneous communications networks has become a constant challenger because of its complexities and accelerated growth, becoming a critical factor in many organizations. During the last decade, many network management architectures have been developed and standardized allowing the control and monitoring of several telecommunications networks indicators such as: the use of the interface, error rate, throughput, and the end-to-end delay, significantly affecting the quality of operation of the whole network, which is perceived directly (e.g. in VoIP service) or indirectly (e.g. transference capacity of the transport protocols) by the end users. All this made through the interconnection of networks of different technologies, operated by different suppliers and generally with the “best-effort” service paradigm. In telecommunications, the term “Quality of Service” or QoS, especially refers to techniques and procedures used to give preferential treatment to some class or traffic flows, over others, to meet minimum standards requirements of performance, identified by quantitative parameters, that must be strictly respected such that a suitable subjective quality is perceived by users, particularly in multimedia communications, where the term “Quality of Experience” or QoE as a new way of valuing the final quality offered by the companies service providers. With this background, the present document explains a new way to calculate these parameters, using a prototype management application so that on the basis of these measurements, adjustments can be made in the network and the administrators can be able to identify congestion trends and potentials undesirable events for the operation of the network. According to well documented researches on this subject, the centralized paradigm used by the traditional SNMP management architecture, among other aspects, where the central station (or management console) obtains the results of each managed station, one at a time, it is too restricted, because the amount of traffic up to this architecture cause, account to its, a proposing management system based on mobile agents called “AgenteMobilSNMP – AMSNMP, applied within a distributed environment, where the agent is transported throughout all the entities to manage in order to carry out the process management and data collection.

Submitted by Raniere Barreto (raniere.barros@ufvjm.edu.br) on 2018-08-17T18:26:35Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) jary_alves_santos.pdf: 1966576 bytes, checksum: db737a341539261dd88dd5436a57f2ac (MD5) / Approved for entry into archive by Rodrigo Martins Cruz (rodrigo.cruz@ufvjm.edu.br) on 2018-10-05T19:36:59Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) jary_alves_santos.pdf: 1966576 bytes, checksum: db737a341539261dd88dd5436a57f2ac (MD5) / Made available in DSpace on 2018-10-05T19:36:59Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) jary_alves_santos.pdf: 1966576 bytes, checksum: db737a341539261dd88dd5436a57f2ac (MD5) Previous issue date: 2017 / A elabora??o de artigos ou trabalhos cient?ficos ? uma constante no cotidiano de um estudante de gradua??o. Uma das principais produ??es cient?ficas ? o Trabalho de Conclus?o de Curso (TCC), o qual em alguns casos, figura como requisito parcial ? obten??o do t?tulo de gradua??o. A viv?ncia no ambiente acad?mico mostra que, na ocasi?o de elabora??o de TCC, alguns erros podem ser cometidos e, nesse processo, h? v?rias nuances que devem ser observadas. O desenvolvimento de um sistema Web de acompanhamento, hist?rico e controle de fluxo da produ??o pode representar um excelente recurso de aux?lio na rela??o de cumplicidade que h? entre orientadores e orientandos. Esta disserta??o se prop?e a desenvolver um sistema Web para essa finalidade, denominado ?Academic DUX?. Este ? um Agente Inteligente de Software que realiza verifica??es pr?vias de trabalho, compara??o entre vers?es, coment?rios e acompanhamento dos mesmos atrav?s de uma linha de tempo. A automatiza??o do processo de acompanhamento dos trabalhos, utilizando-se metodologia relacionada ? Minera??o de Textos, proporciona o aprendizado atrav?s dos acertos e erros dos orientandos, bem como as principais orienta??es dos professores. / Disserta??o (Mestrado Profissional) ? Programa de P?s-Gradua??o em Tecnologia, Sa?de e Sociedade, Universidade Federal dos Vales do Jequitinhonha e Mucuri, 2017. / The elaboration of articles or scientific works is a constant in the daily life of a undergraduate student. One the main scientific productions the Course Competition Assignment (CCA) which, in some cases, is a partial requirement to obtain the degree. The experience in the academic environment shows that at the time of writing CCA some errors can be committed, and in this process there are several nuances that must be observed. The development of a Web monitoring, historical and production flow control system can be an excellent aid resource in the relationship of complicity between supervisors and undergraduates. This dissertation proposes to develop a Web system for this purpose, called "Academic DUX". This is a Intelligent Agents Software that performs pre-work checks, comparison of versions, comments, and tracking them through a timeline. The automation of the monitoring works process, using a methodology related to the Texting Mining, provides learning through the correct answers and errors of the undergraduate as well as the main teacher?s orientations.

Tese (doutorado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Mecânica, 2018. / Submitted by Fabiana Santos (fabianacamargo@bce.unb.br) on 2018-10-04T21:29:54Z No. of bitstreams: 1 2018_JorgeAndrésGirónCruz.pdf: 3947071 bytes, checksum: 0cce733c018362c50b17b1729129344e (MD5) / Approved for entry into archive by Fabiana Santos (fabianacamargo@bce.unb.br) on 2018-10-09T20:43:22Z (GMT) No. of bitstreams: 1 2018_JorgeAndrésGirónCruz.pdf: 3947071 bytes, checksum: 0cce733c018362c50b17b1729129344e (MD5) / Made available in DSpace on 2018-10-09T20:43:22Z (GMT). No. of bitstreams: 1 2018_JorgeAndrésGirónCruz.pdf: 3947071 bytes, checksum: 0cce733c018362c50b17b1729129344e (MD5) Previous issue date: 2018-10-09 / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPQ). / A busca por métodos de produção com melhor controle da qualidade e maior produtividade tem impulsionado o uso de sistemas automatizados em processos industriais como a soldagem. Porém, tornar a soldagem eficiente e econômica, é necessário para reduzir o desperdício de material e tempo gasto na produção e ensaios de verificação de qualidade. Isso pode ser conseguido por meio de sistemas automatizados que substituam os soldadores especialistas e sejam capazes de prever a geometria do cordão de solda a partir dos parâmetros de soldagem – permitindo que um processo realizado com os parâmetros determinados forneça uma junta com as propriedades mecânicas desejadas. Durante anos, muito se tem feito no sentido de prever os problemas na soldagem com o intuito de torná-la um processo estável, capaz de efetuar uniões de peças com o mínimo de interferência humana. Dos vários sensores utilizados em processos de soldagem, ainda não há uma opção eficaz capaz de identificar, diretamente, as características do cordão obtido durante o processo. Esse é um fator limitante no controle do processo, pois somente é possível determinar as características do cordão após a realização da solda através de ensaios (destrutivos ou não), quando nenhuma ação de controle pode ser tomada. Este trabalho propõe o desenvolvimento de um sistema de monitoramento da poça de fusão em tempo real usado para obter imagens do comportamento da oscilação da poça durante a solda. Uma nova abordagem para este tipo de imagens é a utilização de um sistema de iluminação por laser do processo, de modo que uma imagem de alta qualidade natural da poça de fusão, eletrodo e cordão de solda possa ser obtida, dando detalhes da poça e arredores. Essa estratégia, independente de modelos pré-definidos do processo, permite controlar a penetração dos cordões de solda no processo GMAW no modo de transferência metálica por curto-circuito (GMAW-S). Para o modelo e controlador definiuse a utilização de sistemas inteligentes focados diretamente nas medições da oscilação da poça de fusão e a estimação da penetração dos cordões de solda a partir dos parâmetros de processo. Finalmente, um modelo para relacionar a profundidade da penetração, a frequência de oscilação da poça com a formação e o padrão das escamas na superfície do cordão de solda é proposto. / The search for methods of production with better quality control and greater productivity has promoted the use of automated systems in industrial processes such as welding. However, make the welding efficient and economical; it is necessary to reduce the waste and time spent on the production and quality tests. This can be achieved by means of automated systems to replace those skilled welders and be able to predict the geometry of the weld bead as welding parameters - allowing a process performed with the determined parameters provide a joint with the desired mechanical properties. For years, much has been done to predict problems in welding in order to make it a stable process capable of making unions parts with minimal human interference. The various sensors used in welding processes, there is still no effective option able to identify, directly, the weld bead characteristics obtained during the process. This is a limiting factor in the process control, because only can be determined the weld bead characteristics after the completion of welding through testing (destructive or not) when no control action can be taken. This work proposes the development of a real-time weld pool monitoring system to obtain the images of the weld pool oscillation behavior during welding. A novel approach to this type of images is the use of a laser lighting system for illumination of the process, so that a high quality natural image of the weld pool, electrode and weld bead can be obtained, giving details of the weld pool and surrounding area. This strategy, regardless of predefined models, can control the weld bead penetration in the GMAW-S process. For the proposed model and controller is defined the use of intelligent systems focused on the measurements of the weld pool oscillations and the estimation of the weld bead penetration from the process parameters. Finally, a model to relate the weld penetration depth, the weld pool oscillation frequency with the formation and the pattern of the ripples on the weld bead surface is proposed.

132f. / Submitted by Suelen Reis (suziy.ellen@gmail.com) on 2013-04-10T19:22:39Z No. of bitstreams: 1 AntonioAraujo.pdf: 2047390 bytes, checksum: bda07bb1207880fe36653d55fd259804 (MD5) / Approved for entry into archive by Rodrigo Meirelles(rodrigomei@ufba.br) on 2013-05-08T11:59:57Z (GMT) No. of bitstreams: 1 AntonioAraujo.pdf: 2047390 bytes, checksum: bda07bb1207880fe36653d55fd259804 (MD5) / Made available in DSpace on 2013-05-08T11:59:57Z (GMT). No. of bitstreams: 1 AntonioAraujo.pdf: 2047390 bytes, checksum: bda07bb1207880fe36653d55fd259804 (MD5) Previous issue date: 2011 / Diversos sistemas existentes, seja na natureza, sejam nas sociedades humanas apresentam acaracterística peculiar de serem formados por subsistemas ou indivíduos que cooperam entre si para a realização de suas tarefas, e consequentemente alcançarem um objetivo global. Exemplos desses sistemas vão de uma sociedade de abelhas a uma organização financeira, de uma comunidade animal a um sistema de manufatura, entre tantos outros. Ao se observar um campo de produção de petróleo, por exemplo, é possível perceber a natureza distribuída e colaborativa desse tipo de sistema, onde diversos poços (de produção ou injeção), estações de coleta e tratamento de óleo, entre outros, distribuídos geograficamente, têm uma distribuição que naturalmente os induziria a cooperar constantemente para que os objetivos de produção sejam atingidos. Apesar disso, as atuais arquiteturas para operação de um campo de produção utilizam uma estrutura centralizada para o seu gerenciamento. As oportunidades advindas da automação, do aumento da capacidade de processamento dos sistemas computacionais e da diminuição do custo das plataformas de hardware têm, por sua vez, ensejado oportunidades para aperfeiçoar o modo de produção dos campos de petróleo. Os sistemas de manufatura por sua vez, têm sido cada vez mais influenciados pelos sistemas multiagentes, um novo paradigma para o desenvolvimento de software que tem no agente o seu elemento principal. Alguns dos benefícios deste paradigma são: maior poder de atuação, por conta comportamento autônomo e inteligente, maior capacidade de lidar com as falhas nos sistemas de computação, por conta da descentralização do controle, e maior flexibilidade por conta da estrutura dinâmica dos agentes. Este trabalho apresenta um modelo baseado em sistema multiagente para o gerenciamento e controle de um campo de petróleo, cuja proposta visa a dotar cada unidade do sistema produtivo com a capacidade de análise local de suas condições baseada no conhecimento especialista embarcado, de comunicação e de negociação com outras unidades a fim de estabelecer decisões com base em uma visão global do sistema que permita consequentemente, melhorar a sua operação. / Salvador