Made available in DSpace on 2016-06-02T20:34:16Z (GMT). No. of bitstreams: 1 2111.pdf: 4098526 bytes, checksum: 934a5ed1df0d898498c78f0ae9e109af (MD5) Previous issue date: 2005-06-29 / Financiadora de Estudos e Projetos / The Biotechnology has made possible the development of genetically modified (GM) organisms, including soybean, main Brazilian agricultural product. These GM specimens has been produced by changing some original characteristics of plant in order to increase productivity and to reduce production costs. However, these novel organisms should be evaluated, in order to verify its safety for environment and human and animal consume. In this context, it is necessary to develop new analytical methodologies for substantial equivalence determination of these novel plants. NMR is an important analytical tool allowing acquisition of a great number of chemical information in a single experiment. Within NMR techniques, HR-MAS makes possible direct acquisition on intact samples (In situ), without any sample treatment. In addition, chemometric analysis is a powerful tool, which allows interpretation of high complex data, such as NMR spectra. In this work, HR-MAS NMR has been employed for acquisition of NMR spectra directly of soybeans and leaves. Application of chemometric analysis on NMR data, has made possible to discriminate samples according to cultivar, geographic origin and mainly genetic origin, as well as to predict the identity of unknown samples by means of classification models. For this, all methodology, including HR-MAS NMR spectra measurements and chemometric analysis, was developed and optimized. Chemometric analysis performed on HR-MAS NMR spectra has also allowed to determine differences on chemical composition among samples, mainly those between traditional and GM specimens, giving important information about substantial equivalence of GM soybean crops. In conclusion, it has been demonstrated that HR-MAS NMR technique together with chemometric analysis is an important tool to be used in metabolomic studies and in quality control of agricultural products. / A biotecnologia tem possibilitado o desenvolvimento de organismos geneticamente modificadas (OGMs), entre eles a soja, principal produto agrícola brasileiro. Permitindo assim, alterar as características da planta, visando aumentar a produtividade e reduzir custos. No entanto, é necessário avaliar os OGMs quanto a segurança alimentar e ambiental. Desta forma, são necessárias metodologias analíticas capazes de atuar na determinação da equivalência substancial destes novos organismos. Dentre as técnicas, a RMN possui um importante atrativo devido ao fato de fornecer um grande número de informações químicas sobre o sistema em estudo, em um único experimento. Além disso, a técnica de RMN HR-MAS possibilita a aquisição de medidas diretamente de materiais intactos (In situ), sem a necessidade de quaisquer etapas de preparo de amostra. Aliada a esta, a quimiometria é uma poderosa ferramenta que permite analisar e interpretar dados de alta complexidade, tais como, espectros de RMN. Neste trabalho, a RMN HR-MAS tem sido empregada para a aquisição de experimentos diretamente de sementes de soja e de folhas da planta. A aplicação de análises quimiométricas sobre os espectros de RMN HR-MAS possibilitou discriminar as amostras de acordo com a cultivar, origem geográfica e, principalmente, origem genética, bem como predizer a origem de amostras desconhecidas através da construção de modelos de classificação. Para isso, toda a metodologia desde a aquisição dos espectros de RMN HR-MAS às análises quimiométricas foi desenvolvida e otimizada. A análise quimiométrica dos espectros de RMN HR-MAS tem permitido também determinar as diferenças na composição química entre as amostras, principalmente aquelas entre espécimens GM e convencionais, fornecendo importantes informações sobre a equivalência substancial da soja GM. Desta forma, a RMN HR-MAS aliada a quimiometria tem se mostrado uma importante ferramenta para atuar em estudos metabolômicos e no controle de qualidade de produtos agrícolas.

O Gerenciamento Autonômico de Redes é uma visão que utiliza princípios da Computação Autonômica para o Gerenciamento de Redes. Além disso, algum grau de descentralização é necessário para habilitar capacidades autonômicas completas. Uma alternativa interessante de infraestrutura para essa união é a utilização de overlays Peer-to-Peer (P2P). No entanto, a consistência do estado dos dados de gerenciamento entre os peers é um desafio importante. Mecanismos tradicionais para manter a consistência desses estados são implementados por meio de centralização, o que desperdiça algumas propriedades desejáveis de abordagens P2P. Em contraste com esses mecanismos, é proposto um mecanismo distribuído, escalável e robusto para a manutenção da consistência do estado dos dados de gerenciamento pela introdução de funcionalidades de Manutenção da Verdade Multiagente. Além disso, são propostas estratégias de comunicação para prover suporte a essas funcionalidades. São apresentados também estudos de caso para ilustrar as possibilidades da proposta: o gerenciamento cooperativo de falhas em enlaces Ethernet em provedores de serviços e a ativação distribuída de políticas de gerenciamento de redes. Experimentos simulados são realizados a fim de verificar as propriedades de escalabilidade e robustez da presente proposta. / Autonomic network management is a vision that brings Autonomic Computing principles to Network Management. Besides, it is necessary some level of decentralization to enable broad autonomic capabilities. An interesting alternative of infrastructure for this union is the utilization of Peer-to-Peer (P2P) overlays. However, the consistency of state of management data among peers is an important challenge. Traditional mechanisms to maintain consistency of these states are supported by some centralization which wastes some desirable properties of P2P approach. In contrast to these mechanisms, a distributed, scalable and robust mechanism to maintain the consistency of state of management data is proposed through the introduction of Multi-Agent Truth Maintenance features. Besides, communication strategies are proposed to support these features. Case studies are presented to show possibilities of this proposal: cooperative fault management of Ethernet links in service providers and distributed activation of network management policies. Simulated experiments are performed to verify the scalability and robustness properties of this proposal.

A abordagem de sistemas multiagentes tem sido cada vez mais utilizada para o desenvolvimento de sistemas complexos, o que despertou o interesse das pesquisas na área de engenharia de software orientada a agentes (AOSE) e modelos organizacionais. Neste contexto, esta tese estuda a aplicabilidade de alguns métodos formais tradicionais de engenharia de software para a especificação formal de organizações de sistemas multiagentes, analisando o uso da linguagem de especificação formal RSL para representar o modelo organizacional PopOrg. A escolha da linguagem RSL ocorreu pelo fato de ela ser uma linguagem de especificação formal que cobre amplo espectro de métodos de especificação formal (baseados em modelos e baseados em propriedades, aplicativos e imperativos, sequenciais e concorrentes) e o modelo PopOrg foi escolhido por ser um modelo mínimo de organização de sistemas multiagentes, concebido para representar o conjunto mínimo de aspectos estruturais e operacionais que tais organizações devem ter. O uso da linguagem RSL foi avaliado tanto para a especificação do aspecto estrutural dos sistemas PopOrg, quanto para especificação operacional desses sistemas. Um estudo preliminar realizado com a linguagem CSP para a especificação operacional do modelo PopOrg também é apresentado, visto que serviu como base para a especificação em RSL. Ao final, apresenta-se uma sugestão de extensão da linguagem RSL para sua maior aplicabilidade à especificação de sistemas multiagentes. / The multiagent systems approach have been increasingly used for the development of complex systems, which aroused the interest of research in Agent Oriented Software Engineering (AOSE) and organizational models. In this context, this thesis studies the applicability of some traditional formal methods of software engineering for the formal specification of multiagent systems organizations, analyzing the use of RSL formal specification language to represent the PopOrg organizational model. The choice of RSL language occurred because it is a formal specification language that covers a wide spectrum of formal specification methods (models-based and properties-based, applicative and imperative, sequential and concurrent) and the PopOrg model was chosen because it is a minimal model of multiagent systems organization, designed to represent the minimum set of structural and operational aspects that such organizations should have. The use of RSL language was evaluated both for specifying the structural aspect of PopOrg systems and the operational specification for these systems. A preliminary study carried out with the CSP language for the operational specification of PopOrg model is also presented, as was the basis for the specification in RSL. In the end, a suggestion is given for an extension of the RSL language, to allow for its wider applicability to the specification of multiagent systems.

Esta dissertação consiste primordialmente na descrição e interpretação do item lexical mas nas crônicas de Luis Fernando Verissimo, seguindo uma abordagem sintático-semântico-discursiva. O vocábulo mas é identificado nos textos de acordo com sua posição nos enunciados e analisado a partir desse ponto de inserção. Devido à variedade de emprego de tal item lexical, relacionando termos, orações, períodos, parágrafos e porções maiores de texto, evidenciou-se seu papel na construção da coesão, da progressão textual, da coerência, da delimitação de etapas discursivas e da orientação argumentativa dos segmentos de discurso. Pretendeu-se uma melhor compreensão das crônicas de Luis Fernando Verissimo através da marca lingüística do item lexical mas. / This dissertation consists of primarily in the description and interpretation of the lexical item but in cronics of Luis Fernando Verissimo following a syntax-semantics-discursive approach. The word "but" is identified in texts in accordance with its position in a sentence and analyzed from this insertion point. Due to the variety of implementations of such lexical item and related terms, sentences, periods, paragraphs and larger portions of text, its role in the construction of cohesion, coherent textual progression, limitations of discursive phases, and the argumentative orientation of the discurses was evidenced. A better understand of the cronics of Luis Fernando Verissimo is accomplished through the linguistic makr of the lexical item but.

Fundação de Amparo à Pesquisa do Estado do Rio de Janeiro / Neste estudo qualitativo, objetiva-se descrever os usos do conector mas em um corpus de mediação endoprocessual, à luz da Linguística Cognitiva, baseando-se, sobretudo, na Teoria da Metáfora Conceptual e nos conceitos de categorização, esquemas imagéticos e modelos cognitivos idealizados (MCIs). Investigam-se as bases cognitivas que fundamentam os sentidos do mas e a função argumentativa desse conector na mediação, a partir de duas hipóteses gerais, a saber: (i) defende-se que o conector mas funciona como um gatilho para a ativação do MCI de guerra, em termos do qual é conceptualizado o conceito de discussão, como afirmam Lakoff e Johnson (2002[1980]); e (ii) acredita-se que tal conector possa ser caracterizado como uma categoria radial, formada a partir dos diferentes esquemas imagéticos que fundamentam as ocorrências desse elemento na interação. Tendo em vista essas hipóteses, objetiva-se: (i) apontar as funções argumentativas do mas na mediação, sinalizadas pelos mapeamentos metafóricos ativados durante a discussão e (ii) descrever os sentidos evidenciados pelos usos do mas no gênero analisado, os quais são evocados pelos diferentes esquemas imagéticos em que se baseiam. Os resultados indicam que esse conector pode ser compreendido como uma categoria radial, formada a partir de esquemas de força distintos. Além disso, verifica-se que os três usos mais próximos ao centro da categoria relacionam-se fortemente a um confronto ou a uma disputa de posição entre os participantes da interação, enquanto os três mais periféricos são estreitamente ligados a uma estratégia de manutenção da posição argumentativa do falante. Considera-se que esta pesquisa possa colaborar para o estudo do conector mas, devido à observação do comportamento semântico-discursivo desse item em um gênero pouco contemplado, a mediação; e, devido à escolha do paradigma adotado, que permite analisar o conector em todas as suas ocorrências, não havendo necessidade de separar os usos chamados de interfrásticos daqueles denominados inícios acessórios ou pré-começos / This qualitative study aims to describe the usage of the connector but, in a corpus of mediation, under the light of Cognitive Linguistics, mainly based on the Theory of Conceptual Metaphor and in the concepts of categorization, image schema and idealized cognitive models (ICMs). The cognitive bases that underlie the meanings of the connector but, as well as its argumentative function in mediation, will be investigated from two general hypothesis: (i) it is defended that the connector but functions as a trigger to the activation of the ICM of war, in which the concept of discussion is conceptualized, as affirmed by Lakoff and Johnson (2002[1980]); and (ii) it is believed that the aforementioned connector can be characterized as a radial category, formed from the different image schemas that underlie the occurrences of this element on the interaction. Taking into account these hypotheses, we aim to: (i) indicate the argumentative functions of but in the mediation, signaled by metaphorical mappings activated during the discussion and (ii) describe the meanings stressed by the uses of but in the analyzed genre, meanings that are evoked by the different image schemas in which they are based on. The results indicate that this connector may be seen as a radial category, formed by distinct force schemas. Besides that, we verified that the three uses closer to the center of the category are strongly related to a confrontation or a dispute of position between the interaction participants, while the three more peripheral are tightly linked to a strategy to maintain the argumentative position of the speaker. This research is considered a collaboration to the study of the connector but, due to the observation of this items semantic-discursive behavior in a little addressed genre, i.e., mediation; and, because of the adopted paradigm, which allows the analysis of the connector in all occurrences, there is no need to separate the uses of but that appear between the conjunctions from those that appear in the beginning of the utterances

The purpose of this thesis is to describe the LEADER programme and to determine its potential applications in the Chelčicko-Lhenicko region. The theoretical portion of the thesis defines both the details of the structural funds for the implementation periods 2004 {--} 2006 and 2007 {--} 2013, as well as the contents page of the LEADER+ programme, which includes a brief overview of the LAG {--} Local action group. The practical portion focuses on describing the monitored area and on the potential applications of the LEADER+ programme in the Chelčicko-Lhenicko region, as evaluated using a SWOT analyses. The conclusion of the thesis presents the benefits of the LEADER programme for the monitored region and includes other suggested LEADER+ type programmes.

This Master’s thesis describes an evaluation of the stream-based knowledge pro-cessing middleware framework DyKnow in multi-UAV traffic monitoring applica-tions performed at Saab Aerosystems. The purpose of DyKnow is “to providegeneric and well-structured software support for the processes involved in gen-erating state, object, and event abstractions about the environments of complexsystems." It does this by providing the concepts of streams, sources, computa-tional units (CUs), entity frames and chronicles. This evaluation is divided into three parts: A general quality evaluation ofDyKnow using the ISO 9126-1 quality model, a discussion of a series of questionsregarding the specific use and functionality of DyKnow and last, a performanceevaluation. To perform parts of this evaluation, a test application implementinga traffic monitoring scenario was developed using DyKnow and the Java AgentDEvelopment Framework (JADE). The quality evaluation shows that while DyKnow suffers on the usability side,the suitability, accuracy and interoperability were all given high marks. The results of the performance evaluation high-lights the factors that affect thememory and CPU requirements of DyKnow. It is shown that the most significantfactor in the demand placed on the CPU is the number of CUs and streams. Italso shows that DyKnow may suffer dataloss and severe slowdown if the CPU istoo heavily utilized. However, a reasonably sized DyKnow application, such as thescenario implemented in this report, should run without problems on systems atleast half as fast as the one used in the tests.

O Gerenciamento Autonômico de Redes é uma visão que utiliza princípios da Computação Autonômica para o Gerenciamento de Redes. Além disso, algum grau de descentralização é necessário para habilitar capacidades autonômicas completas. Uma alternativa interessante de infraestrutura para essa união é a utilização de overlays Peer-to-Peer (P2P). No entanto, a consistência do estado dos dados de gerenciamento entre os peers é um desafio importante. Mecanismos tradicionais para manter a consistência desses estados são implementados por meio de centralização, o que desperdiça algumas propriedades desejáveis de abordagens P2P. Em contraste com esses mecanismos, é proposto um mecanismo distribuído, escalável e robusto para a manutenção da consistência do estado dos dados de gerenciamento pela introdução de funcionalidades de Manutenção da Verdade Multiagente. Além disso, são propostas estratégias de comunicação para prover suporte a essas funcionalidades. São apresentados também estudos de caso para ilustrar as possibilidades da proposta: o gerenciamento cooperativo de falhas em enlaces Ethernet em provedores de serviços e a ativação distribuída de políticas de gerenciamento de redes. Experimentos simulados são realizados a fim de verificar as propriedades de escalabilidade e robustez da presente proposta. / Autonomic network management is a vision that brings Autonomic Computing principles to Network Management. Besides, it is necessary some level of decentralization to enable broad autonomic capabilities. An interesting alternative of infrastructure for this union is the utilization of Peer-to-Peer (P2P) overlays. However, the consistency of state of management data among peers is an important challenge. Traditional mechanisms to maintain consistency of these states are supported by some centralization which wastes some desirable properties of P2P approach. In contrast to these mechanisms, a distributed, scalable and robust mechanism to maintain the consistency of state of management data is proposed through the introduction of Multi-Agent Truth Maintenance features. Besides, communication strategies are proposed to support these features. Case studies are presented to show possibilities of this proposal: cooperative fault management of Ethernet links in service providers and distributed activation of network management policies. Simulated experiments are performed to verify the scalability and robustness properties of this proposal.

A abordagem de sistemas multiagentes tem sido cada vez mais utilizada para o desenvolvimento de sistemas complexos, o que despertou o interesse das pesquisas na área de engenharia de software orientada a agentes (AOSE) e modelos organizacionais. Neste contexto, esta tese estuda a aplicabilidade de alguns métodos formais tradicionais de engenharia de software para a especificação formal de organizações de sistemas multiagentes, analisando o uso da linguagem de especificação formal RSL para representar o modelo organizacional PopOrg. A escolha da linguagem RSL ocorreu pelo fato de ela ser uma linguagem de especificação formal que cobre amplo espectro de métodos de especificação formal (baseados em modelos e baseados em propriedades, aplicativos e imperativos, sequenciais e concorrentes) e o modelo PopOrg foi escolhido por ser um modelo mínimo de organização de sistemas multiagentes, concebido para representar o conjunto mínimo de aspectos estruturais e operacionais que tais organizações devem ter. O uso da linguagem RSL foi avaliado tanto para a especificação do aspecto estrutural dos sistemas PopOrg, quanto para especificação operacional desses sistemas. Um estudo preliminar realizado com a linguagem CSP para a especificação operacional do modelo PopOrg também é apresentado, visto que serviu como base para a especificação em RSL. Ao final, apresenta-se uma sugestão de extensão da linguagem RSL para sua maior aplicabilidade à especificação de sistemas multiagentes. / The multiagent systems approach have been increasingly used for the development of complex systems, which aroused the interest of research in Agent Oriented Software Engineering (AOSE) and organizational models. In this context, this thesis studies the applicability of some traditional formal methods of software engineering for the formal specification of multiagent systems organizations, analyzing the use of RSL formal specification language to represent the PopOrg organizational model. The choice of RSL language occurred because it is a formal specification language that covers a wide spectrum of formal specification methods (models-based and properties-based, applicative and imperative, sequential and concurrent) and the PopOrg model was chosen because it is a minimal model of multiagent systems organization, designed to represent the minimum set of structural and operational aspects that such organizations should have. The use of RSL language was evaluated both for specifying the structural aspect of PopOrg systems and the operational specification for these systems. A preliminary study carried out with the CSP language for the operational specification of PopOrg model is also presented, as was the basis for the specification in RSL. In the end, a suggestion is given for an extension of the RSL language, to allow for its wider applicability to the specification of multiagent systems.

Made available in DSpace on 2014-06-12T15:54:00Z (GMT). No. of bitstreams: 2 arquivo5189_1.pdf: 2087717 bytes, checksum: 1718a5a73d49c7021a82fe893f78dbfe (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006 / A Ressonância Magnética Nuclear (RMN) e a Cromatografia em fase gasosa acoplada à espectrometria de massas (GC/MS) fornecem informações sobre a estrutura química de substâncias, bem como, sobre a constituição qualitativa e quantitativa de amostras sem a necessidade de padrões de análise ou pré-tratamento de amostras. Uma jovem estudante de 19 anos morreu de forma súbita após inalar um aerossol cujo componente principal, o 1-1-dicloro-1-fluoretano (HCFC-141b), foi identificado por meio de RMN e GC/MS. Nas vísceras e no sangue da vítima não foram detectados venenos, álcool ou outras drogas. Os resultados dos exames necroscópico, toxicológico e microscópico não excluem a hipótese de morte por inalação do HCFC-141b e estabelecem dois mecanismos de morte como viáveis: asfixia e arritmia cardíaca. As análises realizadas e os dados do inquérito policial suportam probabilisticamente a hipótese de morte por arritmia cardíaca fatal que pode ter ocorrido de forma associada com asfixia. Algumas técnicas de RMN como ¹H, ¹³C, Distortionless Enhancement by Polarization Transfer (DEPT), Cross-Polarization and Magic Angle Spinning (CP/MAS) and Dipolar Dephasing (DD) foram usadas para caracterizar amostras de cocaína. Os deslocamentos químicos dos espectros obtidos foram atribuídos por meio de Heteronuclear Correlation (HETCOR) e Heteronuclear Multiple Bond Correlation (HMBC). As amostras foram primariamente caracterizadas por espectrometria de massas cujos espectros foram comparados com dados obtidos na literatura. Os resultados obtidos indicam que ¹H, ¹³C e DEPT são técnicas bastante eficientes para caracterização de amostras ilícitas de cocaína no estado líquido e que por meio de CP/MAS e CP/MAS/DD RMN é possível distinguir o crack do cloridrato de cocaína de uma maneira não destrutiva. Portanto, a RMN é uma excelente ferramenta para caracterização de amostras ilícitas de cocaína