Made available in DSpace on 2015-04-14T14:49:59Z (GMT). No. of bitstreams: 1 448316.pdf: 3103458 bytes, checksum: b271ba4f6806f788988fdb8c59e61efc (MD5) Previous issue date: 2013-03-07 / In recent years, much research and development effort has been directed towards the fields of ubiquitous computing and multi-agent systems. Further progress is needed for taking full advantage of such technologies in order to provide a degree of intelligence, flexibility, and abstraction in building ubiquitous applications. This work presents the design of a programming language for the development of ubiquitous multi-agent applications. The language aims to define ubiquitous concepts at the same level of abstraction as multi-agent systems concepts, where important ubiquity concepts such as locations and devices are first-class abstractions. The design of the language was based on FAML, a generic meta-model for MAS development, and also draws upon some of the fundamental features of agent-oriented programming languages. / Nos ?ltimos anos muitos esfor?os em pesquisas e desenvolvimento tem sido direcionados para a ?rea de computa??o ub?qua e sistemas multiagentes (SMAs). O avan?o nessas ?reas ? necess?rio para obter vantagem na utiliza??o de suas tecnologias a fim de prover intelig?ncia, flexibilidade e novas abstra??es na constru??o de aplica??es ub?quas. Nesse contexto ? onde a intelig?ncia artificial e as t?cnicas de sistemas multiagentes desempenhar?o um papel importante. Este trabalho apresenta a constru??o de uma linguagem de programa??o para aplica??es multiagentes ub?quas. A linguagem define conceitos de ubiquidade no mesmo n?vel de abstra??o dos conceitos de sistemas multiagentes, onde conceitos importantes de ubiquidade como localiza??o e dispositivos s?o abstra??es de primeira ordem. O projeto da linguagem baseia-se no metamodelo FAML, um metamodelo gen?rico para o desenvolvimento de SMAs, e tamb?m em funcionalidades essenciais de linguagens de programa??o orientadas a agentes.

Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2015-09-24T14:02:01Z No. of bitstreams: 1 475171 - Texto Completo.pdf: 23619666 bytes, checksum: 28243e1337b86bf3d0ef2cd45f2a0717 (MD5) / Made available in DSpace on 2015-09-24T14:02:01Z (GMT). No. of bitstreams: 1 475171 - Texto Completo.pdf: 23619666 bytes, checksum: 28243e1337b86bf3d0ef2cd45f2a0717 (MD5) Previous issue date: 2015-03-27 / Argumentation appears in two main lines of research in the field of multi-agent systems: argumentation-based reasoning and argumentation-based dialogues. In this document we present an approach exploring both of those lines of research. First, we develop an argumentation-based reasoning mechanism in an agent-oriented programming language based on the BDI architecture. This reasoning mechanism is based on a defeasible logic formalism and the notion of defeasible semantics. Using that argumentation-based reasoning mechanism, agents can reason under uncertainty and can use arguments to supports their claims when engaging in multi-agent dialogues. Second, we give operational semantics to a set of speech acts found in the literature on argumentation-based dialogues. That semantics is also given in the context ofBDI-inspired agentorlented programming languages. Next, we define a protocol for argumentation-based dialogues for task reallocation, using the reasoning mechanism and the operational semantics. We prove that the protocol terminates and that it can reach ideal solutions under certain assumptions. Finally, we descrlbe an application domain used as case study, and we evaluate our work with some examples of real problems from that application scenario. / Argumenta??o aparece em duas principais linhas de pesquisa no campo de sistemas multi-agentes: racioc?nio baseado em argumenta??o e di?logos baseados em argumenta??o. Neste documento n?s apresentamos uma abordagem que explora essas duas linhas de pesquisa. Primeiro) n?s desenvolvemos um mecanismo de racioc?nio baseado em argumenta??o em uma linguagem de programa??o orientada a agentes, a qual ? baseada na arquitetura BDI. Este mecanismo de racioc?nio ? baseado no formalismo de defeasible logic e na no??o da sem?ntica defeasible. Usando este mecanismo de racioc?nio baseado em argumenta??o, agentes podem raciocinar sobre incertezas e podem usar argumentos para dar suporte ?s suas alega??es quando envolvidos em di?logos multiagentes. Segundo, n?s damos sem?ntica operacional para um conjunto de atos de fala encontrados na literatura de di?logos baseados em argumenta??o. Esta sem?ntica ? tamb?m dada no contexto de linguagens de programa??o orientada a agentes inspiradas pela arquitetura BDI. Al?m dissot n?s definimos um protocolo para di?logos baseados em argumenta??o para realoca??o de tarefas, considerando o mecanismo de racioc?nio e a sem?ntica operacional apresentados. Provou-se que o protocolo termina e que atinge solu??es ideais, dados alguns pressupostos desse trabalho. Finalmente, n?s descrevemos um dom?nio de aplica??o usado como estudo de caso, e avaliamos nosso trabalho com alguns exemplos de problemas reais dentro desse cen?rio da aplica??o.

Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2016-09-01T14:25:59Z No. of bitstreams: 1 DIS_RODRIGO_BUENAVIDES_WESZ_COMPLETO.pdf: 3502910 bytes, checksum: a897a41f4e7e0bc84816f91694e717ca (MD5) / Made available in DSpace on 2016-09-01T14:25:59Z (GMT). No. of bitstreams: 1 DIS_RODRIGO_BUENAVIDES_WESZ_COMPLETO.pdf: 3502910 bytes, checksum: a897a41f4e7e0bc84816f91694e717ca (MD5) Previous issue date: 2015-03-11 / O desenvolvimento de programas para controle de rob?s m?veis n?o ? uma tarefa trivial. Isso motivou a cria??o de v?rios frameworks para facilitar essa tarefa. Para cada novo comportamento racional adicionado ao rob?, cresce o n?mero de eventos que o rob? tem de lidar, e desenvolver esses comportamentos racionais atrav?s do uso dos frameworks pode resultar em um c?digo com mais identificadores e grandes blocos de condicionais, dificultando a modulariza??o e reuso de c?digo. Este trabalho apresenta uma forma de programar comportamentos racionais para rob?s m?veis atrav?s do uso de uma linguagem de programa??o de agentes. Isto permite ao programador de rob?s o desenvolvimento de comportamentos racionais usando um n?vel de abstra??o mais alto e de forma modular, resultando em um desenvolvimento mais simples, e c?digos mais leg?veis, menores e reutiliz?veis. / Developing programs responsible for controlling mobile robots is not a trivial task. This led to the creation of several robot development frameworks to simplify this task. For each new rational behavior added to the robot, the number of events that the robot has to handle grows. Therefore, the development of the rational behaviors by using the frameworks may result in a source code which has more identifiers and large blocks of conditional statements, making difficult modularization and code reuse. This work presents a mechanism to program rational behaviors for mobile robots through the use of an agent programming language. This allows the robots programmer to develop rational behaviors using a higher level of abstraction in a modular fashion, resulting in simpler development and smaller, more readable and reusable code.

Made available in DSpace on 2015-04-14T14:49:50Z (GMT). No. of bitstreams: 1 439447.pdf: 12654350 bytes, checksum: 6b1e68a168b4468adf4d1eba9517ad21 (MD5) Previous issue date: 2012-03-19 / This work proposes a Domain-Specific Language for Parallel Patterns Oriented Parallel Programming (LED-PPOPP). Its main purpose is to provide a way to decrease the amount of effort necessary to develop parallel programs, offering a way to guide developers through patterns which are implemented by the language interface. The idea is to exploit this approach avoiding large performance losses in the applications. Patterns are specialized solutions, previously studied, and used to solve a frequent problem. Thus, parallel patterns offer a higher abstraction level to organize the algorithms in the exploitation of parallelism. They also can be easily learned by inexperienced programmers and software engineers. This work carried out a case study based on the Master/Slave pattern, focusing on the parallelization of algorithms for multi-core architectures. The implementation was validated through experiments to evaluate the programming effort to write code in LED-PPOPP and the performance achieved by the parallel code automatically generated. The obtained results let us conclude that a significant reduction in the parallel programming effort occurred in comparison to the Pthreads library utilization. Additionally, the final performance of the parallelized algorithms confirms that the parallelization with LED-PPOPP does not bring on significant losses related to parallelization using OpenMP in most of the all experiments carried out. / Este trabalho prop?s uma Linguagem Espec?fica de Dom?nio de Programa??o Paralela Orientada a Padr?es Paralelos (LED-PPOPP). O principal objetivo ? reduzir o esfor?o e induzir o programador a desenvolver algoritmos paralelos guiando-se atrav?s de padr?es que s?o implementados pela interface da linguagem, evitando que ocorram grandes perdas de desempenho nas aplica??es. Anteriormente estudados, os padr?es s?o solu??es especializadas e utilizadas para resolver um problema frequente. Assim, padr?es paralelos s?o descritos em um alto n?vel de abstra??o para organizar os algoritmos na explora??o do paralelismo, podendo ser facilmente interpretados por programadores inexperientes e engenheiros de software. Como ponto de partida, este trabalho realizou um estudo de caso baseandose no padr?o Mestre/Escravo, focando na paraleliza??o de algoritmos para arquiteturas multi-core. Atrav?s de experimentos para medi??o de esfor?o e desempenho, a implementa??o de estudo de caso foi avaliada obtendo bons resultados. Os resultados obtidos mostram que houve uma redu??o no esfor?o de programa??o paralela em rela??o a utiliza??o da biblioteca Pthreads. J? com rela??o ao desempenho final das aplica??es paralelizadas, foi poss?vel comprovar que a paraleliza??o com LED-PPOPP n?o acarreta perdas significativas com rela??o a paraleliza??es com OpenMP na quase totalidade das aplica??es testadas.

Made available in DSpace on 2014-12-17T15:47:45Z (GMT). No. of bitstreams: 1 DemostenesSS.pdf: 468027 bytes, checksum: 7ef30fc93402336c75356410113f8a56 (MD5) Previous issue date: 2006-05-19 / Programs manipulate information. However, information is abstract in nature and needs to be represented, usually by data structures, making it possible to be manipulated. This work presents the AGraphs, a representation and exchange format of the data that uses typed directed graphs with a simulation of hyperedges and hierarchical graphs. Associated to the AGraphs format there is a manipulation library with a simple programming interface, tailored to the language being represented. The AGraphs format in ad-hoc manner was used as representation format in tools developed at UFRN, and, to make it more usable in other tools, an accurate description and the development of support tools was necessary. These accurate description and tools have been developed and are described in this work. This work compares the AGraphs format with other representation and exchange formats (e.g ATerms, GDL, GraphML, GraX, GXL and XML). The main objective this comparison is to capture important characteristics and where the AGraphs concepts can still evolve / Programas manipulam informa??es. Entretanto, as informa??es s?o essencialmente abstratas e precisam ser representadas, normalmente por estruturas de dados, permitindo a sua manipula??o. Esse trabalho apresenta os AGraphs, um formato de representa??o e transfer?ncia de dados que usa grafos direcionados tipados que permitem a simula??o de hiperarestas e de grafos hier?rquicos. Associado ao formato AGraphs existe uma biblioteca de manipula??o com uma interface simples de ser usada, mas dependente da linguagem. O formato AGraphs foi usado de maneira ad-hoc como formato de representa??o em algumas ferramentas desenvolvidas na UFRN, e, com a possibilidade de uso em outras aplica??es, tornou-se necess?ria uma defini??o precisa e o desenvolvimento de ferramentas de suporte. A defini??o precisa e as ferramentas foram desenvolvidas e s?o descritas neste trabalho. Finalizando, compara??es do formato AGraphs com outros formatos de representa??o e transfer?ncia de dados (ATerms, GDL, GraphML, GraX, GXL e XML) s?o realizadas. O principal objetivo destas compara??es ? obter as caracter?sticas significantes e em que conceitos o formato e a biblioteca AGraphs deve amadurecer

Made available in DSpace on 2014-12-17T14:52:34Z (GMT). No. of bitstreams: 1 IdelmarciaDO.pdf: 781272 bytes, checksum: fb2e5ba3247ab47eff60bb3c30b07e21 (MD5) Previous issue date: 2007-10-19 / The spread of the Web boosted the dissemination of Information Systems (IS) based on the Web. In order to support the implementation of these systems, several technologies came up or evolved with this purpose, namely the programming languages. The Technology Acceptance Model TAM (Davis, 1986) was conceived aiming to evaluate the acceptance/use of information technologies by their users. A lot of studies and many applications have used the TAM, however, in the literature it was not found a mention of the use of such model related to the use of programming languages. This study aims to investigate which factors influence the use of programming languages on the development of Web systems by their developers, applying an extension of the TAM, proposed in this work. To do so, a research was done with Web developers in two Yahoo groups: java-br and python-brasil, where 26 Java questionnaires and 39 Python questionnaires were fully answered. The questionnaire had general questions and questions which measured intrinsic and extrinsic factors of the programming languages, the perceived usefulness, the perceived ease of use, the attitude toward the using and the programming language use. Most of the respondents were men, graduate, between 20 and 30 years old, working in the southeast and south regions. The research was descriptive in the sense of its objectives. Statistical tools, descriptive statistics, main components and linear regression analysis were used for the data analysis. The foremost research results were: Java and Python have machine independence, extensibility, generality and reliability; Java and Python are more used by corporations and international organizations than supported by the government or educational institutions; there are more Java programmers than Python programmers; the perceived usefulness is influenced by the perceived ease of use; the generality and the extensibility are intrinsic factors of programming languages which influence the perceived ease of use; the perceived ease of use influences the attitude toward the using of the programming language / A difus?o da Web impulsionou a dissemina??o de Sistemas de Informa??o (SI) baseados na Web. Para apoiar a implementa??o desses sistemas, diversas tecnologias surgiram ou evolu?ram com este prop?sito, dentre elas as linguagens de programa??o. O Modelo de Aceita??o de Tecnologia - TAM (Davis, 1986) foi concebido com o intuito de avaliar a aceita??o/uso de tecnologias da informa??o por seus usu?rios. V?rios estudos e aplica??es diversas t?m utilizado o TAM, no entanto, n?o foi encontrada na literatura men??o a utiliza??o de tal modelo com rela??o ao uso de linguagens de programa??o. Este estudo objetiva investigar que fatores influenciam o uso de linguagens de programa??o utilizadas no desenvolvimento de sistemas Web por parte de seus desenvolvedores, utilizando uma extens?o do TAM, proposta neste estudo. Para tanto, foi realizada uma pesquisa com desenvolvedores Web pertencentes a dois grupos do Yahoo: java-br e python-brasil, no qual foram respondidos, na ?ntegra, 26 question?rios Java e 39 Python. O question?rio tinha quest?es de car?ter geral e quest?es que mediam os fatores intr?nsecos e extr?nsecos das linguagens de programa??o, a utilidade percebida, a facilidade de uso percebida, a atitude sobre o uso e o uso da linguagem de programa??o. A maioria dos respondentes eram homens, com n?vel superior, idade entre 20 e 30 anos, atuando nas regi?es sudeste e sul. Do ponto de vista de seus objetivos, a pesquisa foi descritiva. Em rela??o ? forma de abordagem, quantitativa. Para a an?lise de dados foram utilizadas ferramentas estat?sticas, estat?stica descritiva, componentes principais e an?lise de regress?o linear m?ltipla. Os principais resultados da pesquisa foram: Java e Python possuem independ?ncia de m?quina, extensibilidade, generalidade e confian?a; Java e Python s?o mais utilizadas por corpora??es e organiza??es internacionais do que apoiadas pelo governo ou institui??es de ensino; h? mais programadores Java do que Python; a utilidade percebida ? influenciada pela facilidade de uso percebida; a generalidade e a extensibilidade s?o fatores intr?nsecos as linguagens de programa??o que influenciam a facilidade de uso percebida; a facilidade de uso percebida influencia a atitude em rela??o ao uso da linguagem de programa??o

Made available in DSpace on 2014-12-17T14:08:34Z (GMT). No. of bitstreams: 1 FelipeCAC.pdf: 1359871 bytes, checksum: 241fcfb66da39be9d48445bc9f6d11de (MD5) Previous issue date: 2009-06-30 / This work proposes an environment for programming programmable logic controllers applied to oil wells with BCP type method of artificially lifting. The environment will have an editor based in the diagram of sequential functions for programming of PLCs. This language was chosen due to the fact of being high-level and accepted by the international standard IEC 61131-3. The use of these control programs in real PLC will be possible with the use of an intermediate level of language based on XML specification PLCopen T6 XML. For the testing and validation of the control programs, an area should be available for viewing variables obtained through communication with a real PLC. Thus, the main contribution of this work is to develop a computational environment that allows: modeling, testing and validating the controls represented in SFC and applied in oil wells with BCP type method of artificially lifting / Este trabalho prop?e um ambiente computacional para programa??o de controladores l?gicos program?veis aplicados aos po?os de petr?leo com m?todo de eleva??o artificial do tipo BCP. O ambiente ter? um editor para programa??o de PLCs baseado principalmente no diagrama de fun??es sequenciais (SFC). Esta linguagem foi escolhida por ser considerada de alto n?vel e por ser aceita pelo padr?o internacional IEC 61131-3. O uso destes programas de controle em PLCs reais ser? poss?vel com a utiliza??o de uma linguagem de n?vel intermedi?rio baseada na especifica??o TC6 XML pela organiza??o PLCopen. Para os testes e a valida??o dos programas de controle, dever? ser disponibilizada uma ?rea para visualiza??o das vari?veis obtidas atrav?s da comunica??o com um PLC real. Desta forma, a principal contribui??o deste trabalho ? desenvolver um ambiente computacional que permita: modelar, testar e validar os controles representados em SFC e aplicados nos po?os petrol?feros com m?todo de eleva??o artificial do tipo BCP