Submitted by Diogo Barreiros (diogo.barreiros@ufba.br) on 2017-02-17T15:32:24Z No. of bitstreams: 1 Dissertação J R Pacheco.pdf: 628707 bytes, checksum: 7d202afb9b4dff0b0674f5ffc4fd9874 (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-02-17T15:40:03Z (GMT) No. of bitstreams: 1 Dissertação J R Pacheco.pdf: 628707 bytes, checksum: 7d202afb9b4dff0b0674f5ffc4fd9874 (MD5) / Made available in DSpace on 2017-02-17T15:40:03Z (GMT). No. of bitstreams: 1 Dissertação J R Pacheco.pdf: 628707 bytes, checksum: 7d202afb9b4dff0b0674f5ffc4fd9874 (MD5) / Esta dissertação tem como objetivo principal o desenvolvimento de uma metodologia de reconhecimento de padrões de vibração em máquinas rotativas utilizando redes neurais artificiais. A proposta é reproduzir o diagnóstico dado por especialistas em vibração ao analisar um espectro de freqüência gerado a partir de dados de vibração coletado por sensores instalados em diversos pontos de uma máquina rotativa. Juntamente com a metodologia foi desenvolvido um algoritmo em programa Matlab, software amplamente utilizado e conhecido nos meios acadêmicos. De modo diferente do que é encontrado em sistemas industriais comercializados por empresas especializadas, o código do programa é aberto e com isto pode ser compreendido, aperfeiçoado ou ampliado por outros pesquisadores, especialistas em vibração ou engenheiros de manutenção. Pode também ser ajustado a condições próprias de cada instalação ou características de operação de grupo de máquinas a ser analisado. Os dados de vibração foram obtidos de uma empresa especializada que atua no Pólo Petroquímico de Camaçari. Com o uso desta metodologia, o pesquisador ou profissional da área de manutenção pode, a partir de dados gerados por coletores de dados de vibração, aplicar o método para desenvolver, por exemplo, um programa de manutenção preditiva para um grupo de máquinas. Devido ao foco do trabalho ser de caráter aplicativo, é evitado o uso de demonstrações matemáticas, focando em utilização de ferramentas já dominadas como a Análise de Fourier e algoritmos para redes neurais, amplamente disponíveis na literatura. Uma das contribuições deste trabalho é mostrar que um sistema de reconhecimento de padrões de vibração pode ser desenvolvido facilmente a partir das ferramentas citadas, com baixo custo e sem necessidade de um modelo matemático específico para a máquina a ser analisada. Uma outra contribuição é mostrar mais um estudo de caso de aplicações de redes neurais em manutenção preditiva de máquinas. Os fundamentos para o desenvolvimento de um software aberto para monitoração e diagnóstico de vibração foram definidos. Restringe-se o âmbito da pesquisa a problemas de vibração causados por desbalanceamento do rotor ou desalinhamento do eixo em máquinas rotativas, problemas que são considerados bastante comuns em um ambiente industrial

Submitted by Gregor Carvalho (gregor_gama@hotmail.com) on 2017-07-12T18:32:30Z No. of bitstreams: 1 Dissertação corrigida Gregor Gama 2.pdf: 12204335 bytes, checksum: f25239894e7f38e5a4d870e1b28f4637 (MD5) / Approved for entry into archive by Flávia Sousa (flaviabs@ufba.br) on 2017-07-13T17:14:06Z (GMT) No. of bitstreams: 1 Dissertação corrigida Gregor Gama 2.pdf: 12204335 bytes, checksum: f25239894e7f38e5a4d870e1b28f4637 (MD5) / Made available in DSpace on 2017-07-13T17:14:07Z (GMT). No. of bitstreams: 1 Dissertação corrigida Gregor Gama 2.pdf: 12204335 bytes, checksum: f25239894e7f38e5a4d870e1b28f4637 (MD5) / Os Shopping Centers (SCs) são considerados grandes centros comerciais, oferecendo uma variedade de produtos e serviços aos consumidores. Cada loja torna-se uma unidade independente, sendo a responsável individual pelo seu consumo de telefonia, internet, água e gás em alguns casos, e sobretudo energia elétrica. A tarifação do consumo mensal de energia elétrica é realizada através do registro e processamento de um valor lido em um equipamento específico, chamado de medidor de energia. O SC compra energia elétrica de uma concessionária, e, a partir da sua subestação elétrica, distribui para todos os seus consumidores internos. A administração do SC é a responsável por realizar a medição mensal do consumo de energia, em cada loja. Com a aplicação de uma equação teórica para o cálculo de consumo elétrico, é possível calcular o consumo mensal ou parcial de energia em uma loja ou estabelecimento. A equação requer, como entradas, os valores das correntes elétricas em todas as fases que energizam um estabelecimento. Em algumas circunstâncias, essa estimativa de consumo se torna imprescindível, tais como: a falha ou a troca de medidores integralizadores, a avaliação de consumo em lojas recém-inauguradas (que não possuam medidores instalados), em casos confirmados de erros nos medidores, etc. A proposta deste trabalho é o desenvolvimento de um protótipo de medição online do consumo de energia. O protótipo é equipado com um Microcontrolador e embarca um software capaz de estimar o consumo mensal ou parcial de energia em uma loja ou estabelecimento. O software implementa um modelo empírico desenvolvido, baseado em uma Rede Neural Artificial (RNA), e foi projetado sob a plataforma MATrix LABoratory (MATLAB)⃝R . O modelo desenvolvido tem como saída a previsão do consumo mensal de energia elétrica para uma loja. Os resultados são apresentados em uma interface World Wide Web (WWW), também criada no escopo deste projeto. A interface WWW permite que um consumidor acompanhe a estimativa do seu consumo mensal de energia, ou seja, permite, através da internet, o acompanhamento, em tempo real, da evolução da conta de energia de seu estabelecimento. / The Shopping malls are considered large shopping centers, offering a variety of products and services to consumers. Each store becomes an independent unit, being responsible for its individual consumption of telephony, internet, water and gas in some cases, and particularly electrical energy. The charging of the monthly consumption of electrical energy is conducted through the registry and processing of a value read in a specific equipment, called a power meter. The Shopping Center (SC) purchases electricity from an Electrical Power Concession, delivered from its electrical substation, and distributes to all its associated consumers. The Administration of the SC is responsible for the monthly measurement of energy consumption in each store. With the application of a theoretical equation for the calculation of electric consumption, it is possible to calculate the monthly or partial consumption of power in a shop or business establishment. The equation requires, as inputs, the values of electrical currents in all phases to energize an establishment. In some circumstances, this estimate of consumption becomes essential, as the following cases: failure or the exchange of accumulators meters, the evaluation of consumption in newly opened shops (which do not have meters installed), in confirmed cases of errors in meters, etc. The purpose of this work is the development of a prototype of an online meter of energy consumption. The prototype is equipped with a microcontroller and its developed software, capable to estimate the monthly or partial consumption of power in a shop or establishment. The software implements a model developed and is based on an Artificial Neural Network (ANN), and was designed under the MATrix LABoratory (MATLAB)⃝R platform. The model developed has as output the prediction of the monthly consumption of electrical energy to a business establishment. The results are presented in an interface with the WWW, also created in the scope of this project. The WWW interface allows a consumer to follow on line his estimated monthly or partial consumption of energy, i.e., allows monitoring, in real time, via the internet, the evolution of the energy bill of his establishment.

Submitted by Idelfonso Nogueira (idelfonso.nogueira@gmail.com) on 2017-10-05T08:02:15Z No. of bitstreams: 1 Dissertação_Idelfonso_Nogueira_VF.pdf: 3403905 bytes, checksum: 7d72015c2e2a00dadc3131d5e9abbb57 (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-10-06T15:24:37Z (GMT) No. of bitstreams: 1 Dissertação_Idelfonso_Nogueira_VF.pdf: 3403905 bytes, checksum: 7d72015c2e2a00dadc3131d5e9abbb57 (MD5) / Made available in DSpace on 2017-10-06T15:24:37Z (GMT). No. of bitstreams: 1 Dissertação_Idelfonso_Nogueira_VF.pdf: 3403905 bytes, checksum: 7d72015c2e2a00dadc3131d5e9abbb57 (MD5) / FAPESB / A estimação de parâmetros de modelos de polimerização nem sempre é uma tarefa trivial. Normalmente tais modelos configuram-se com dezenas de parâmetros, com alguns deles correlacionados entre si. O excessivo número de parâmetros e as possíveis correlações dificultam a resolução do problema de otimização associado à estimação. Além disto, a falta de informações sobre alguns sistemas e a obtenção de dados industriais tornam esta tarefa ainda mais complexa. A primeira parte deste trabalho tem por objetivo apresentar a estimação dos parâmetros de um modelo para a copolimerização de eteno em solução com comonômero e catalisadores para a produção de polietileno linear de baixa densidade (PELBD). O problema da estimação destes parâmetros foi solucionado através da análise de estimabilidade do sistema. De um número inicial de 69 parâmetros a análise possibilitou uma redução para 28 parâmetros a serem estimados. Por fim, o modelo foi validade a partir de dados obtidos do histórico operacional da planta. A estimação dos parâmetros e a validação de tal modelo possibilitou o estudo da inferência e do controle da qualidade do processo. Em relação à inferência foi proposto o desenvolvimento de modelos empíricos baseados nas redes neurais artificiais para realizarem a predição online do índice de fluidez e da densidade da resina produzida. O modelo empírico foi desenvolvido a partir de dados gerados pelo modeloV fenomenológico. Os resultados demonstram que o modelo é capaz de representar com eficiência o comportamento dinâmico das variáveis preditas. Por fim, o problema de controle de qualidade da resina polimérica foi abordado. Três propostas de controle foram desenvolvidas e comparadas entre si, o controle preditivo baseado em modelos (MPC), o controle preditivo de horizonte de predição infinito (IHMPC) e o controle preditivo robusto baseado em modelos (RIHMPC). Os resultados demonstraram que o RIHMPC consegue controlar o processo de forma mais eficiente do que os demais controladores analisados.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2013. / Made available in DSpace on 2014-08-06T17:34:32Z (GMT). No. of bitstreams: 1 323601.pdf: 3499862 bytes, checksum: 6f91e543fd542988c6ea40ea602ad442 (MD5) Previous issue date: 2013 / A flexibilidade de FPGAs baseadas em SRAM é uma opção atrativa para o projeto de sistemas embarcados. Contudo, estes sistemas críticos requerem a verificação funcional do projeto em HDL (Hardware Description Language) para assegurar o seu correto funcionamento. A verificação formal utilizando model checking representa um sistema em um modelo formal que pode ser automaticamente gerado por ferramentas de síntese. No entanto, as propriedades que descrevem o comportamento esperado, necessárias para provadores de modelo, são usualmente elaboradas de forma manual, o que é mais suscetível a erro humano, aumentando custo e tempo de verificação. Este trabalho apresenta uma nova abordagem para geração automática de propriedades para verificação de sistemas descritos em HDL. O estudo de caso industrial é o subsistema de comunicação de um satélite artificial que foi desenvolvido em parceria com o Instituto Nacional de Pesquisas Espaciais (INPE).<br> / Abstract: The flexibility of Commercial-Off-The-Shelf (COTS) SRAM-based FPGAs is an attractive option for the design of embedded systems. However, the functional verification of HDL-based designs is required and is of fundamental importance. Formal verification using model checking represents a system as formal model that are automatically generated by synthesis tools. On the other hand, the properties are represented by temporal logic expressions and are traditionally elaborated by hand, which is susceptible to human errors thus increasing the costs and verification time. This work presents a new method for automatic property generation for formal verification of Hardware Description Language (HDL) based systems. The industrial case study is a communication subsystem of an artificial satellite, which was developed in cooperation with the Brazilian Institute of Space Research (INPE).

BUARQUE, Hugo Leonardo de Brito. Predição de propriedades de gasolinas a partir das suas composições. 2006. 206f. Tese (Doutorado em Física) - Curso de Pós-Graduação em Física, Universidade Federal do Ceará, Fortaleza, 2006. / Submitted by francisco lima (admir@ufc.br) on 2013-04-12T13:50:23Z No. of bitstreams: 1 2006_tese_hldbbuarque.pdf: 89844 bytes, checksum: 09dd0a3616e88ec1e47ab52519f63da5 (MD5) / Approved for entry into archive by Edvander Pires(edvanderpires@gmail.com) on 2014-02-25T20:59:40Z (GMT) No. of bitstreams: 1 2006_tese_hldbbuarque.pdf: 89844 bytes, checksum: 09dd0a3616e88ec1e47ab52519f63da5 (MD5) / Made available in DSpace on 2014-02-25T20:59:40Z (GMT). No. of bitstreams: 1 2006_tese_hldbbuarque.pdf: 89844 bytes, checksum: 09dd0a3616e88ec1e47ab52519f63da5 (MD5) Previous issue date: 2006 / Commercial gasolines are normally produced by blendin g hydrocarbon fractions obtained from the distillation of crude oil or from o ther petrochemical or refining processes, and carried through in order to comply with a variety of legal and ambient specifications at minimum cost. The quality for the use a nd commercialization of gasolines is evaluated through certain characteristics specified by governmental regulation. Such characteristics are usually determined by different methodologies and experimental techniques, since those depend on the ir constituents and their respective concentrations with a high complexity. Thus, blending of gasolines in petrochemical and refining industries is sometimes a very laborious procedure. The prediction of fuel properties from composition data is growing in importance in the last few years. Methods of group contribution have been usedin the last decades to predict properties of pure organic compounds and some mix ture parameters (e.g.,UNIFAC). However, most of the recent studies use artificial neural networks as a technique for prediction for fuel properties using the composition of classes of constituents or key-compounds as input data. The main a dvantage of a neural network is its capacity to extract general and unknown in formation for certain series of data (training), supplying useful and fast models for prediction. However, the use of neural networks trained to predict properties of fue ls produced from one given combination of petroleum fractions can not be suitable in the prediction of the characteristics of other gasolines produced from other orig ins due to the complexity and variability of gasoline composition. In this study, methods of multiple linear regression and artificial neural networks have been eval uated in the correlation and prediction of gasoline properties from information of composition obtained by gas chromatography, as well as a methodology for prediction of properties using a hybrid method composed of neural networks and group contribut ion. The developed model is evaluated and compared to other methods, revealing to be sufficiently promising for prediction of properties of pure components and com plex mixtures. / As gasolinas comerciais são normalmente produzidas a partir de combinações de frações oriundas da destilação do petróleo ou de outros processos petroquímicos e de refino e realizadas de modo a atender uma variedade de especificações legais e ambientais, com o mínimo de custo possível. A qualidade para o uso e comercialização de uma gasolina é avaliada através de cer tas características especificadas por leis e normas governamentais. Estas caracter ísticas são normalmente determinadas por diferentes metodologias e técnicas experimentais, haja vista que dependem dos seus constituintes e suas respecti vas concentrações com uma complexidade bastante elevada, tornando a formulação da gasolina originada em refinarias e petroquímicas, um procedime nto muitas vezes bastante laborioso. O intuito de se predizer propriedades de derivados de petróleo a partir de dados de composição é antigo e vem crescendo em importância nos últimos anos. Métodos de contribuição de grupos têm sido utilizados ao longo das últimas décadas para predizer propriedades de compostos orgânicos puros e alguns parâmetros de misturas (e.g., UNIFAC). Entretanto, a maior parte dos estudos mais recentes utiliza redes neurais artificiais como técnica para predição de propriedades de combustíveis usando a composição de grupos de compostos ou mesmo de compo stos-chave como informação de entrada. A principal vantagem de um a rede neural é sua capacidade de extrair informações gerais e desconhecidas pa ra certa série de dados (treinamento), fornecendo modelos de predição úteis e rápidos tanto para sistemas lineares como não-lineares. Porém, dada a complexidade e variabilidade dos constituintes das gasolinas, a utilização de redes neurais t reinadas para modelar as propriedades destes combustíveis produzidos a partir de uma dada combinação de frações petrolíferas pode não se adequar na predição da s características de gasolinas obtidas a partir de uma outra origem. Neste estudo, métodos de regressão linear múltipla e redes neurais artificiais foram avali ados na correlação e predição de propriedades de gasolinas a partir de informações de com posição obtidas por cromatografia gasosa, como também foi desenvolvida uma metodologia de predição de propriedades utilizando um método híbrido de redes neurais e contribuição de grupos. O modelo desenvolvido é avaliado e comparado aos demais, mostrando-se bastante promissor para predição de propriedades de componentes puros e misturas mais complexas.

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2010 / Bibliografia: f. 75-84 / A técnica de cirurgia guiada por imagem (neuronavegação) utilizada para o implante de parafusos pediculares na coluna torácica e lombar é um método efetivo, seguro e exato quando comparada com a técnica utilizando a fluoroscopia. Apesar disso, ainda exist / Neuronavigation for thoracic and lumbar spine screw pedicle placement is considered an effective, safe and precise method when compared to fluoroscopy. However, results concerning time required for pedicle screw implantation and blood loss in both techniq

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2009 / Bibliografia: f. 75-84 / Articulações artificiais substituem articulações naturais degeneradas ou afetadas por doenças e a maioria das substituições acontece no quadril, representando 42% de todos os procedimentos. Apesar da artroplastia total do quadril, ATQ, ser considerada com / Artificial joints replace natural ones degenerate or affected by diseases and the majority of replacements happens at the hip, representing 42% of all replacements. Although the total hip arthroplasty, THA, is considered a breakthrough in health science i

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2011 / Bibliografia: f.99-109 / A literatura sobre endopróteses ortopédicas articuladas, seja para o quadril ou para o joelho, cita como uma das causas frequentes da falha asséptica, a ocorrência das partículas acumuladas no tecido periprostético oriundas do seu desgaste. Essas partícul / The literature about orthopaedic endoprosthesis for hip or knee articulations, mention the particles accumulated in the periprosthetic tissue from the endoprosthesis wear, as a major cause of aseptic failure. These particles promote undesirable adverse re

Submitted by Marco Antônio de Ramos Chagas (mchagas@ufv.br) on 2016-03-21T15:01:35Z No. of bitstreams: 1 texto completo.pdf: 4117409 bytes, checksum: 6ee1b32666cb31601d90748d1e3f29f1 (MD5) / Made available in DSpace on 2016-03-21T15:01:35Z (GMT). No. of bitstreams: 1 texto completo.pdf: 4117409 bytes, checksum: 6ee1b32666cb31601d90748d1e3f29f1 (MD5) Previous issue date: 2015-12-10 / As efemérides precisas IGS (International GNSS Service) empregadas nos posicionamentos precisos estão desde 07/10/2012 referenciadas ao sistema IGb08 (ITRF2008). Assim, após processamento dos dados GPS (Global Positioning System) são gerados vetores linha de base e coordenadas no mesmo referencial e época das efemérides precisas. A disponibilidade gratuita de observações GNSS (Global Navigation Satellite Systems) de estações das redes RAMSAC (Red Argentina de Monitoreo Satelital Continuo) na Argentina e RBMC (Rede Brasileira de Monitoramento Contínuo dos Sistemas GNSS) no Brasil facilitou a realização de experimentos relacionados a sistemas geodésicos de referência nestes dois países. O Brasil emprega o sistema de referência SIRGAS2000 (ITRF2000, época 2000,4) e a Argentina o POSGAR07 (ITRF2005, época 2006,632) para determinação da posição e, portanto, torna-se necessário realizar a compatibilização de referencial e época nos posicionamentos geodésicos. Na atualização das coordenadas das estações foram empregados 19 modelos de velocidade para a placa tectônica Sul-Americana (SOAM), dentre os quais, um foi modelado neste trabalho. O aplicativo desenvolvido GEO_TRANSF_REF_ATUALI possibilita a escolha dos 19 modelos de velocidades para a placa SOAM e realiza os procedimentos de atualização e mudança de referencial das coordenadas e velocidades. No experimento 1, os parâmetros de transformação do IGb08 (ITRF2008) para o SIRGAS2000 (ITRF2000) foram estimados e os resultados de sua aplicação no Brasil foram comparados com o emprego dos parâmetros do IERS e do IBGE- PPP. Pôde-se, também, verificar a influência da atualização das coordenadas com base em 19 modelos de velocidades na determinação da posição. Nos experimentos 2 e 3, os posicionamentos relativos foram executados com base em transporte de coordenadas e solução em rede e não foram detectadas melhoras na qualidade do posicionamento com a compatibilização de referencial e época. Nesses experimentos, as coordenadas semanais de estações das redes RBMC e RAMSAC que pertencem a rede SIRGAS-CON também foram empregadas e, após aplicação da mudança de referencial e atualização das coordenadas do (ITRF2008, época 2015,594) para os sistemas SIRGAS2000 (ITRF2000, época 2000,4) e POSGAR07 (ITRF2005, época 2006,632) e vice-versa foi possível quantificar a qualidade do posicionamento e identificar os melhores modelos de velocidade. No experimento 4, as coordenadas das estações de controle empregadas no ajustamento injuncionado das duas redes são provenientes da solução semanal da rede SIRGAS-CON. Na rede localizada no Brasil, comparando as coordenadas estimadas no cenário 1 do experimento 3 com as obtidas neste experimento não foi verificado melhora da qualidade do posicionamento, mas poderá haver piora a depender da escolha do modelo. Na rede localizada na Argentina houve melhora com aplicação do procedimento de transformação e atualização de coordenadas em relação à não aplicação desses procedimentos. Foi possível identificar os modelos que proporcionaram menores valores para o RMS das discrepâncias planimétricas. No experimento 5, o serviço AUSPOS que realiza o posicionamento relativo em rede, foi empregado para a determinação posicional no Brasil e na Argentina e pôde-se verificar a influência do emprego dos diferentes modelos de velocidade na atualização das coordenadas e a necessidade da compatibilização de referencial e época. / The IGS (International GNSS Service) precise ephemeris used in precise positions are referenced from 10/07/2012 to reference frame IGb08 (ITRF2008). Thus, after GPS data (Global Positioning System) processing are generated baseline vectors and coordinate in the same reference and epoch of the precise ephemeris. The free availability of GNSS observations (Global Navigation Satellite Systems) of RAMSAC networks stations (Argentine Network for Continuous Satellite Monitoring) in Argentina and RBMC (Brazilian Network for Continuous Monitoring of the GNSS Systems) in Brazil, facilitated the realization of associated experiments to geodetic reference frames in these two countries. The Brazil employs the reference frame SIRGAS2000 (ITRF 2000 epoch 2000.4) and Argentina use the POSGAR07 (ITRF2005, epoch 2006.632) to determine the position, so, is necessary to make compatible the referential and epoch in the geodetic positioning. In the updating of the coordinates of the stations were used 19 velocity models for the tectonic plate in South America (SOAM), among these one was modeled in this work. The application developed called GEO_TRANSF_REF_ATUALI offers the choice of 19 velocity models for SOAM plate and the realization of the upgrade and referential change procedures of the coordinates and velocities. In experiment 1, the transformation parameters of the IGb08 (ITRF2008) for SIRGAS2000 (ITRF2000) were estimated and the results this application in Brazil were compared with the use of the IERS and IBGE-PPP parameters. Was possible to verify the influence of the coordinates update based on 19 velocity models in the position determination. In experiments 2 and 3, the relative positioning was executed based on coordinate transport and network solution and was not detected improvements in positioning quality with the compatibility of referential and epoch. In these experiments, the weekly coordinate of stations of the RBMC and RAMSAC networks, belonging to SIRGAS-CON network were also employed and after the application of the referential change and coordinates update of the (ITRF2008, epoch 2015.594) for SIRGAS2000 systems (ITRF2000, epoch 2000.4) and POSGAR07 (ITRF2005, epoch 2006.632) and vice versa was possible to quantify the quality of positioning and identify the best velocity models. In experiment 4, the coordinates of the control stations employed in constrained adjustment of the two networks are from SIRGAS- CON network weekly solution. In the network located in Brazil, comparing the coordinates estimated in experiment 3, scenario 1, with those obtained in this experiment was not verified improves the quality of positioning, but will can be worse depending on the choice of model. In the network located in Argentina had improved with the application of transformation and coordinates update procedure in relation to the non-application of these procedures. Was possible to identify the models that provided lower values for the RMS of planimetric discrepancies. In experiment 5, the AUSPOS service that realize the relative positioning in network, was used for positional determination in Brazil and Argentina and was able to check the influence of the use of different speed models in the coordinates updating and need compatibility of reference and epoch.

Esta tese apresenta a formalização, construção e validação experimental de um mecanismo de interação entre agentes baseado em valores de troca. Através do mecanismo de interação, os agentes são capazes de estabelecer, avaliar e regular os balanços de troca de suas interações, com o objetivo de alcançar resultados que eles valorizem, i.e., considerem adequados. Na formalização do mecanismo de interação são considerados diversos aspectos abordados nas Ciências Sociais, na Psicologia e em Teorias Utilitaristas. No mecanismo são observados, igualmente, os aspectos sociais e psicológicos que podem influenciar os resultados das interações entre os agentes. Desse modo, o mecanismo leva em consideração que os agentes podem construir suas estratégias levando em consideração as informações relacionadas com o “poder social” e as “atitudes” de interação. No mecanismo de interação recorre-se aos diálogos de argumentação com a finalidade de permitir que os agentes possam influenciar os seus parceiros em relação ao estabelecimento de acordos sobre os serviços e aos valores de troca envolvidos nas interações. Na validação experimental, o cenário utilizado foi o dos “Robôs Coletores de Lixo em Marte”. Através dos resultados obtidos, pode-se observar que o mecanismo de interação considera os valores de troca no processo de formação da cooperação, auxiliando os agentes na escolha de futuros parceiros. / This thesis presents the formalization, construction and validation of an interaction mechanism based on exchange values. Through the interaction mechanism, the agents are capable to establish, to evaluate and to regulate the balances of exchange of their interactions, with the objective of reaching the results that they consider adequate. In the formalization of the mechanism several aspects of Social Sciences, Psychology and Utilitarian Theories are considered. In the mechanism are observed the social and psychological aspects that can influence the results of the interactions between the agents. In this manner, the mechanism considers that the agents can build their strategies considering the information related to the social power and to interaction attitudes. In the mechanism the argument dialogs are used with the purpose to allow the agents to influence their partners in relation to the establishment of agreements about the services and about the exchange values involved in the interactions. In the validation, the scenario used was the “Garbage Collector Robots in Mars”. Through the obtained results, it was possible to observe that the interaction mechanism considers the values of exchange in the process of formation of the cooperation, helping the agents to choose their future partners.