Investigamos neste trabalho o comportamento crítico de um gás de bósons neutros com spin S na presença de um campo magnético uniforme. Os expoentes críticos são calculados como função da dimensionalidade d do sistema e do parâmetro &#948 do espectro E(K) &#8764 K&#948 de urna partícula. O comportamento crítico é examinado nas condições de volume constante e de pressão constante. Estabelecemos as relações entre os novos expoentes críticos e os calculados por Gunton e Buckingharn para o gás ideal de Bose-Einstein sem spin / The critical behavior of a d-dimensional ideal gas of uncharged bosons with spin S and spectrum of a single particle given by E(K) &#8764 K&#948 in a uniform magnetic field is examined. The critical exponents are calculated as a function of the dimensionality of the systems and the parameter &#948 for both constant volume and constant pressure. We establish the relationship between the new critical exponents with those calculated by Gunton and Buckingham for a spineless Bose-Einstein gas

As polianilinas são polímeros condutores contendo elétrons Π, sendo diferentes de outros membros desta classe de polímeros por apresentarem um átomo de nitrogênio entre os anéis-fenil constituintes, quebrando a conjugação da cadeia. A flexibilidade química fornecida por esse átomo de nitrogênio na cadeia permite acesso a vários estados de oxidação distintos: as bases leucoesmeraldina, esmeraldina e pernigranilina. Essas bases podem-se converter uma nas outras por reações de oxi-redução. Neste trabalho, estudamos o processo de conversão de uma base em outra, usando o oxidante peroxidissulfato de amônia ou o redutor ácido ascórbico (vitamina C). Este estudo foi realizado com o uso da espectroscopia de absorção ótica na região ultravioleta-visível. A base esmeraldina pode ser protonada em soluções ácidas, com a conseqüente alteração da cadeia polimérica, tomando o polímero de isolante para condutor elétrico. A condutividade elétrica aumenta, nesse processo, em mais de dez ordens de grandeza. Por outro lado, as propriedades térmicas não se alteram muito com o estado de protonação do polímero. Estudamos as propriedades térmicas através das técnicas fototérmicas: as espectroscopias Fotopiroelétrica e Fotoacústica. Essas técnicas mostraram ser de grande utilidade no estudo das propriedades térmicas e óticas das polianilinas nãoprotonadas e protonadas com o uso de ácido clorídrico. Realizamos medidas espectroscópicas e de sinal versus freqüência de modulação da luz. Usamos o modelo de Mandelis-Zver baseado nas equações de difusão de calor na condição de detetor termicamente espesso para o ajuste teórico-experimental, na fotopiroelétrica. Para a fotoacústica, usamos o modelo Rosencwaig-Gersho. Determinamos a difusividade e a condutividade térmicas, o calor específico, o coeficiente de absorção ótica e o gap ótico (este último para o polímero nãoprotonado) / The polyanilines belong to the class of the conductive polymers but, differently from the conjugated polymers, they present a nitrogen atom between \"phenyl rings\". The presence of this N-atom provides a major flexibility of the molecules permiting the existence of different oxidation states: leucoemeraldine, emeraldine and pemigraniline bases. These states may be converted one into another by redox reactions. In this work, we present optical spectroscopic studies of these conversions making use of ammonium peroxydisulfate or ascorbic acid (vitamine C). The emeraldine base, under protonation in acid solutions, evolutes from an insulator to a conductive material. Its conductivity increases by a factor of more than 1010. On the other hand, as it will be shown in this thesis, the thermal properties varies only slight1y under protonation of the material. These thermal properties are investigated by the photothermal techniques: photoacoustic and photopyroelectric spectroscopies. Measurements of the pyroelectric voltage and the signal phase were also studied in function of the chopping frequency. The Mandelis-Zver and the Rosencwaig-Gersho models, based on the heat diffusion equations, were used to fit the experimental results. From these fittings the thermal diffusivity, the thermal conductivity, the specific heat, the optical absorption coefficient and the optical gap of the studied polyanilines were obtained

Se G = (Zrq), q primo, atua livremente em Sn1 x ...Snk é r ≥ k. Neste trabalho, apresentamos uma resposta à questão acima no caso do produto de três esferas Sn x Sm x Sp ou quatro esferas Sn x Sm x St a uma dada classe de \"n\", \"m\" e \"p\" ou \"n\", \"m\", \"p\" e \"t\", não necessitando que G atue trivialmente na homologia do produto de esferas. / \"Suppose that G = (Zrq), where g is a prime number, acts freely on M = Sn1 x ... Snk\". Question: Is r ≥ k? In this work we do not require that the action of G on the homology groups of M is trivial and we give an answer to the question for M = Sn x Sm x Sp or M = Sn x Sm x Sp x St , under certain hypothesis on \"n\", \"m\" and \"p\" or on \"n\", \"m\", \"p\" and \"t\".

Esta dissertação descreve a criação e o desenvolvimento de um sistema interativo de modelagem e visualização de fractais determinísticos em 3-D. O domínio do sistema abrange inicialmente, estruturas fractais obtidas a partir de superficies equipotenciais de Julia e Mandelbrot, bem como quaternions aplicados aos mesmos conjuntos. A técnica de representação/visualização escolhida foi uma modificação de ray-tracing conhecida como \"boundary tracking\", com o auxílio de um z-buffer. O texto visa também introduzir a Geometria Fractal como uma técnica alternativa de modelagem e visualização tridimensional de objetos no contexto da Computação Gráfica. / This text describes the creation and the development of an interactive modelling and visualization system applied to deterministic fractals in 3-D. The system domain initially includes fractal structures generated by equipotential surfaces from the Julia and the Mandelbrot sets, as well as quaternions from these sets. The representation and the visualization technics used by the system are a kind of ray-tracing called \"boundary tracking\", and has an auxiliary z-buffer. The text introduces also the Fractal Geometry as an alternative modelling and visualization technic in the Computer Graphics context.

Este trabalho consiste na avaliação empírica da adequação e do custo de aplicação dos critérios Potenciais Usos no teste de programas COBOL, com o apoio de uma ferramenta de teste denominada POKE-TOOL. Os critérios Potenciais Usos são critérios estruturais de teste baseados em fluxo de dados: informação de fluxo de dados (definição e uso de variáveis do programa) é utilizada para derivar os requisitos de teste. Utiliza-se, para a realização deste experimento, uma estratégia de teste que combina técnicas funcionais e estruturais, reconhecido o aspecto complementar dessas técnicas. Para a geração do conjunto inicial de casos de teste são aplicados os critérios funcionais Análise de Valores Limites e Particionamento em Classes de Equivalência. Utiliza-se a ferramenta POKE-TOOL para a análise de adequação do conjunto inicial de casos de teste em relação aos critérios Potenciais Usos e novos casos de teste são gerados visando a cobrir todos os elementos requeridos. A análise dos resultados obtidos indica que o uso dos critérios Potenciais Usos no teste de programas COBOL é factível, pois um pequeno número de casos de teste é requerido para satisfazer estes critérios. Vários modelos de estimativas para a previsão do número de casos de teste requeridos e do número de caminhos não executáveis gerados para esta classe de programas são analisados. São caracterizadas também as principais causas de não executabilidade nos programas do \"benchmark\" utilizado, uma vez que a existência desses caminhos é um problema inerente ao teste estrutural. / This work aims the empirical evaluation of the cost to apply Potential Uses criteria in the testing of COBOL programs, with the support of a testing tool named POKE-TOOL. Potential Uses criteria are structural testing criteria based on data flow: data flow information (definition and uses of program variables) is used to establish the testing requirements. To conduct this experiment a testing strategy that combines functional and structural techniques is used, as the complementary aspects of these techniques is welt known. Boundary Value Analysis and Equivalence Partitioning criteria are used to derive the initial test case set. Coverage analysis of the initial test case set is done using POKE-TOOL, e.9., according to Potential Uses criteria; new test cases are generated to exercise the required elements, but not yet exercised. The analysis of the results obtained gives evidences that the use of Potential Uses criteria is factible, as a small number of test case is required to get a test set T adequate to these criteria. Models to estimate the number of test cases and the number of infeasible paths are analyzed. The main causes of path infeasibility for the programs of the benchmark applied are characterized, once the presence of these paths is a problem inherent to structural testing.

Neste trabalho, desenvolvemos uma análise para modelos de componentes de variância. Assumindo diferentes densidades a priori para os parâmetros do modelo de componentes de variância com 2 ou 3 componentes de variância, exploramos o uso de métodos de aproximação de Laplace para obter as quantidades a posteriori de interesse. Também estudamos a importância de uma boa parametrização para a obtenção de resultados precisos. Além disso, também consideramos distribuições não-normais para os efeitos aleatórios e desenvolvemos um estudo comparativo considerando diferentes conjuntos de dados. / In this work, we develop a Bayesian analysis for variance component models. Assuming different prior densities for the parameters of the model with 2 or 3 variance components, we explore the use of Laplace approximation methods to find the posterior summaries of interest. We also study the importance of a good parametrization to get accurate results. We also consider non-normal distribution for the randon effects and we develop a comparative study considering different data sets.

A busca por tecnologias que possibilitem ganhos substanciais de produtividade no desenvolvimento de sistemas de software é um dos desafios da engenharia de software. Ao longo dos anos, diversas tecnologias surgiram com o objetivo de aumentar a produtividade. Reutilização de software é uma tecnologia emergente que pode ajudar a aumentar o índice de produtividade no desenvolvimento de software. Um sistema de reutilização deve fornecer mecanismos que permitam ao desenvolvedor de software identificar, catalogar, recuperar e integrar componentes de software. A identificação de componentes de software é tarefa complexa, pois responder o que reutilizar, como reutilizar e quando reutilizar não é simples. Para auxiliar nas respostas às questões citadas, a análise de domínio surge como uma abordagem sistemática para identificação, registro e elaboração de diretrizes do uso dos componentes de software existentes em um domínio de aplicação. Este trabalho descreve uma experiência prática de aplicação de conceitos e técnicas de análise de domínios na busca de abstrações reutilizáveis de software existentes nas aplicações do domínio. Apresenta como resultado da análise: um esquema de classificação dos componentes reutilizáveis de software que permite a criação de uma biblioteca de componentes, apresenta o modelo de domínio através de uma arquitetura padrão de construção de aplicações e uma linguagem de domínio, baseada no jargão utilizado no domínio e que permite especificar novas aplicações. O trabalho mostra, também, um exemplo do uso dos resultados da análise de domínio através da implementação de uma ferramenta automatizada de software para gerencia de uma biblioteca de componentes de software, bem com descreve uma proposta para construção de um gerador de aplicação, ambos como parte de um sistema de reutilização. / The search for technologies aiming at increasing productivity in the development of software is one of the software engineering challenges. Many technologies have been proposed with this aim and software reuse is one of them. Reuse systems should provide mechanisms to the developer to identify, catalog and retrieve software components. Identification of software components is a complex task as the answer of what to reuse, how to reuse and when to reuse is not simple. Domain analysis is a systematic approach to help answering the questions above. It supports the identification, store and retrieval of software components as well as the development of guidelines of use of components in an existing application domain. This work describes a practical experience of domain analysis whose goals were to find reusable software abstractions. As result, a classification scheme for the reusable software components, a domain model in the form of a standard software architecture and a domain language based on the vocabulary of the domain are presented. This work shows how to use the results obtained from the analysis of the domain to build a software tool that integrates a library of software components and an application generator both as part of a reuse system.

Este trabalho apresenta meios alternativos para a obtenção de imagens aéreas e sua utilização na agricultura. Imagens aéreas representam uma ferramenta importante na avaliação de diversos aspectos da atividade agrícola moderna, principalmente aqueles que não podem ser avaliados ao nível do solo. Três tipos de sistemas são definidos com níveis crescentes de complexidade e funcionalidade. Diversos critérios são propostos para a avaliação do sistema e para a determinação da sua adequação às principais aplicações na agricultura. Foi construido um protótipo de sistema do Tipo I baseado em aeromodelos que foi utilizado na avaliação da tecnologia e validação do projeto. Foram utilizados componentes facilmente encontrados no mercado, existindo potencial para a evolução técnica do sistema construído em cada um dos seus componentes básicos: a aeronave, o método de controle e o meio de captação das imagens. Os resultados obtidos mostram que o sistema pode substituir, a baixo custo, os meios convencionais utilizados até então para a obtenção dessas imagens. / This work presents altemative methods to take aerial pictures and their use in agricultura! applications. Aerial pictures represent an important tool to evaluate several parameters In modern agricultural practice, especially those that cannot be detected at ground levei. In this text, three types of system are defined with increasing leveis of complexity and usability. A Type I system is further detailed and implemented, allowing for an evaluation of the technology. It was based almost entirely on model airplanes and commercially available parts. There is plenty of room for further improvements in the system, especially on the performance of the airplane, on the flight control mechanism and on the quality of the pictures taken. The results show that the approach is an effective low-cost ahemative to other procedures carried out conventionally for agricultural evaluation purposes.

O objetivo principal deste trabalho é o desenvolvimento e avaliação de algoritmos numéricos paralelos e sua execução em máquinas paralelas (máquinas multiprocessadas, máquinas vetoriais e máquinas paralelas virtuais). Os algoritmos desenvolvidos foram executados em diferentes condições tanto em termos de plataformas utilizadas como em termos de tamanho da aplicação considerada. Os resultados obtidos na implementação dos algoritmos numéricos são analisados baseando-se em algumas métricas (tempo de execução e operações em ponto flutuante) comuns aos resultados apresentados nos principais benchmarks estudados. Através dos resultados obtidos, o desempenho das bibliotecas de passagem de mensagem MPI e PVM, o desempenho das arquiteturas consideradas e da implementação dos algoritmos numéricos são analisados. / The main objective of this dissertation is the development and evaluation of numerical parallel algorithms and their execution on parallel machines (multiprocessor machines, vectorial machines and parallel virtual environments). The algorithms developed have been executed under different conditions both in terms of the hardware plataform adopted and the problem size. The results obtained with the numerical algorithms implementation are all analyzed according to some metrics (execution time and float-point operations) available in the main benchmarks studied. The performance reached with the message passing libraries PVM and MPI together with the performance observed from the different architectures considered and the numerical algorithms implemented are ali analyzed according to the result obtained in this work.

O avanço de algumas áreas como computação e comunicação de dados, bem como a busca incessante pelo domínio das informações, contribui para aumentar cada vez mais as pesquisas relacionadas com aquisição de conhecimento, tema central da área de Inteligência Artificial. A aquisição implícita de conhecimento é realizada utilizando-se algoritmos de Aprendizado de Máquina. No caso de algoritmos simbólicos supervisionados, o conhecimento adquirido é representado em estruturas lógicas, tais como regras do tipo se então, que são entendíveis pelo ser humano. Quando o número de regras é elevado, ou as regras consideram muitas condições no seu corpo, torna-se difícil, ao ser humano, a análise desse conhecimento. Uma solução para esta questão é o desenvolvimento de boas medidas de avaliação de regras. Independentemente da quantidade de regras, essas medidas ajudam a selecionar aquelas que são mais úteis e interessantes, pois parte do conhecimento adquirido dos exemplos pode ser muito óbvio ou irrelevante. Neste trabalho são discutidas algumas medidas propostas na literatura, com a finalidade de auxiliar o usuário no entendimento e utilização proveitosa do conhecimento adquirido. Com base nos estudos realizados foi projetado e implementado um sistema computacional, denominado 7.0 system , para auxiliar na avaliação dessas regras de conhecimento. 0 RQsystem foi desenvolvido na linguagem de programação lógica Prolog e consiste de dois módulos principais. O primeiro é responsável pelo pré-processamento dos dados de entrada. O segundo módulo é responsável por fornecer diversar informações pré-definidas no sistema ou construídas e formuladas pelo usuário. o TZQsystern está descrito neste trabalho utilizando um pequeno conjunto de dados do mundo real e as regras geradas pelos algoritmos de Aprendizado de Máquina C.111-2 e C4.5. Esse sistema tem características interessantes que lhe conferem uma boa utilidade tanto na avaliação de regras quanto no estudo de outras questões relacionadas com as regras. Extensões futuras do sistema poderão ser particularmente úteis em Data Mining. / The field of Machine Learning (ML) is concerned with the development of computational methods to implement various forms of learning, in particular methods capable of inducing knowledge from examples, i.e. determining a concept description from a set of provided concept examples. Learning algorithms can generally be classified into one of two,major categories: black-box methods and knowledge-oriented methods. The description produced by the black-box approach cannot be easily interpreted by the user and does not provide explanation of the recognition process. On the other hand, knowledgeoriented methods aim at creating symbolic knowledge structures that satisfy the principie of comprehensibility, providing explanation of the recognition process. In this work we consider knowledge-oriented ML algorithms that express the discovered concept in the form of if-then rules. An important problem is related to the reliability, quality and interestingness of the rules generated by these algorithms. Still, when the quantity of mie generated is lane, the selection of good rules can became a serious problem for the human user. In this work we present and discuss several measures that can provide useful support in interpreting and ranking the rules generated by Machine Learning algorithms. These measures were implemented in a computational system called R.Qsystem. The system uses as input a common file format for data sets and features description which is independent of the ML algorithm used to generate the if-then rules. The file format for the rules generated is algorithm dependent. The R.Qsystem has been implemented in Prolog and it is query-centered, permitting the user to specify any constraints on the desired result of a query. The user can either specify the constraints in terms of procedures already implemented in the system or can define his/her new procedures to be considered as new constraints. The RQsystem is described in this work using a small real world data set and the rules generated by CAI2 and C4.5 Machine Learning algorithms. Future extensions to the system that, we consider will be particularly useful in Data Mining are also discussed.