Mostramos que a hamiltoniana de Fröhlich em uma dimensão espacial é idêntica à de uma Teoria de Campos exatamente solúvel. O espectro da teoria é calculado. Encontramos um valor crítico da constante de acoplamento onde o sistema torna-se instável, sugerindo uma transição supercondutora. Também propomos e investigamos uma teoria de campos relativística, renormalizável e assintoticamente livre em duas dimensões, com uma interação quártica entre fermions de N componentes, a qual apresenta geração dinâmica de um gap supercondutor. Temperatura finita é introduzida e para N &#8594 &#8734 um valor crítico Tc é encontrado, acima da qual o gap se anula / It is shown that the Fröhlich\'s hamiltonian in one spatial dimension is identical to that of an exactly solvable field Theory. The spectrum of the theory is computed. A critical coupling is found above which the system becomes unstable, indicating a superconducting transition. We also propose and investigate a renormalizable relativistic field theory model in two space-time dimensions, with quartic self-interaction among N species of fermions, which undergoes dynamical generation of a superconducting gap and is asymptotically free. A finite temperature is introduced and, for N &#8594 &#8734 a critical value Tc is found above which the gap vanishes

Limitações de ordem física têm imposto limites máximos no aumento de desempenho de computadores baseados na arquitetura de Von Neumann. Sistemas computacionais para processamento paralelo representam a alternativa mais promissora para superar esses limites. O nível de paralelismo dos problemas pode resultar em urna subutilização das máquinas paralelas, particularmente em sistemas monousuários utilizadas para a solução de problemas com baixo nível de paralelismo. Isso contribui para tomar os sistemas paralelos mais onerosos. Uma nova arquitetura, baseada em um banco de transputers, é sugerida neste trabalho, introduzindo recursos para processamento paralelo para os usuários de um sistema distribuído baseado em uma rede local de computadores. Neste trabalho são discutidos os pontos relevantes do desenvolvimento do sistema. No projeto do servidor de processamento paralelo foram levados em consideração diversos aspectos relacionados com utilização facilitada e custo reduzido. A flexibilidade de operação também foi considerada. Os resultados obtidos dos testes efetuados mostraram que os principais objetivos foram atingidos. Duas linhas para a continuidade da pesquisa são propostas: Melhoramentos no sistema para incorporação de novas características e revisão da especificação inicial. Também são propostos diversos temas para novos trabalhos relacionados com o servidor. / Physical constraints have imposed performance bounds on Von Neumman\'s architecture. Parallel computers are at present the best solution to overcome this limitation. The cost/benefit relation in single-user parallel systems depends on the parallelism of the problem. Little parallelism implies poor cost/benefit relation. This contributes to make highly parallel systems more expensive. A new architecture based on a Tranputer bank, named in this thesis a parallel computing server\", is suggested to provide parallel processing power to the user community of a LAN-based computing system. The design of the parallel computing server took into account several aspects concerning the cost/benefit relation and ways to use the system more effectively. Flexibility was another key point. This work discusses all major design and implementation aspects, aiming at recording the required knowledge for further work on the server proposed. The results experimented in a prototype of the parallel computing server show that the main goals were reached, with parallel processing power being available at an effective cost/benefit relation. Two main lines for further investigation are proposed: Improvements to the prototype of the parallel computing server in order to test additional characteristics and revision of the initial specification. Furthermore, several project themes concerning the system proposed are also suggested

Neste trabalho apresentamos generalizações dos resultados sobre ideais primários em anéis de Witt contidos em [05], para anéis de Witt de anéis semilocais. / In this work we generalize the results about primary ideais in Witt rings contained in [05], for Witt rings of sernilocal rings.

Atualmente a qualidade deve ser uma característica presente em qualquer produto ou serviço, inclusive em todos os tipos de softwares. As aplicações hipermídia, por sua vez, são compostas por milhares de links e nós de uma forma bastante flexível, que as tomam facilmente passíveis de erros e merecem atenção para um efetivo controle de qualidade. Além disso, as aplicações hipermídia na Internet, por meio de páginas da Web, estão aumentando de forma considerável. Uma análise estrutural foi proposta com o objetivo de avaliar a qualidade das ligações de um hiperdocumento Web e uma classificação de casos de reuso de links foi definida. O objetivo deste trabalho é aplicar essa análise estrutural e avaliar os casos de links no domínio educacional, ou seja, identificar o que significa cada caso para esse domínio especifico e fornecer indicativos para que o autor possa melhorar sua aplicação hipermídia educacional. / Currently quality is an essential feature of any product, including all types of software. Hypermedia applications are composed of thousands of links and nodes in such a flexible way that can be easily error-prone and is worth of attention for an effective quality control of software. Moreover, the Internet hypermedia applications and web pages have been increased considerably. A structural analysis was proposed in order to evaluate the quality of hyperdocument links of Web. The analysis is based on an approach to reuse of link components that was also defined. This work describes how to apply the structural analysis and then evaluate those reuse cases of link components for educational domain. So, this paper presents the meaning of each reuse case of link components according to the educational domain. Also, we discuss how the authors (teachers) can improve the educational hypermedia application by using these meaningful cases of analysis.

Os requisitos de largura de banda para satisfazer as necessidades dos sistemas de vídeo sob demanda são críticos para a qualidade do serviço fornecido pelo servidor. Muitas técnicas tem sido propostas para reduzir estes requisitos. Este projeto modela uma aplicação que implementa a técnica do SNAPSHOT para reunir vários streams de vídeo permitindo o uso do multicasting. É baseada no método adaptive piggybacking que ajusta a taxa de exibição dos quadros dos streams novos (tornando-os mais rápidos) e velhos (tornando-os mais lentos) até que eles possam ser mesclados em um único stream. A modelagem foi feita em UML e alguns cenários de implementações são propostos. / The bandividth requirements to comply with the needs of video-on-demand systems are criticai for the quality of service provided by the server. Severa! techniques have been proposed to reduce these requirements. This project models an application wich implements the SNAPSHOT teci-migue to assemble several video streams together allowing for the use of multicasting. li is based on the adaptive piggybacking method that adjusts the displaying rate of the video fumes of the new (making them go Easter) and old (making them go slowex) strearns unta they can be merged into a single one. The modeling was made with UML and some scenarios of implementation are proposed.

A busca pela qualidade de processo de software é uma constante cada vez mais crescente entre as empresas produtoras de software. Para auxiliar na obtenção dessa qualidade, modelos de melhoria de processo de software vêm sendo desenvolvidos em todo o mundo. A Estratégia para Iniciar Melhoria de Processo de Software [Endo, 1998] define, relaciona e organiza as principais atividades que devem ser realizadas para avaliar um Processo de Software com relação ao nível 2 do SW-CMM1. Este trabalho de mestrado seleciona e adiciona à Estratégia as atividades das áreas-chave do nível 3 do SW-CMM, propiciando às empresas a avaliação de seu processo de software para que atinjam esse nível. Também a ferramenta SProQ 2 foi desenvolvida por este trabalho de mestrado para auxiliar na coleta de dados e reporte de resultados existente na Estratégia, configurando-se um importante sistema de informação destinado entre outras coisas a auxiliar nas tomadas de decisão quanto à melhoria do processo de software das empresas. / The search for the software process quality is more and more a constant growing among the companies producing of software. To aid in the obtaining of that quality, models of improvement of software process come being developed ali over the world. The Estratégia para Iniciar Melhoria de Processo de Software [Endo, 1998] it defines, it relates and it organizes the main activities that should be accomplished to evaluate a Software Process with relationship at the levei 2 of SW-CMM. This work selects and adds to the Estratégia the activities of the key process area of the levei 3 of SW-CMM, propitiating to the companies the evaluation of its software process so that they reach that levei. Also the tool SProQ was developed by this work to aid in the collection of data and existent reporte of results in the Estratégia. Thus, the SProQ is an important information system destined among other things to aid in the takings of decision with relationship to the improvement of the software process of the companies.

A aplicação da:informática na educação tem sido alvo de intensas pesquisas nos últimos anos. Em ambientes de educação, o computador pode ser visto como um instrumento que facilita o acesso às informações, podendo ser considerado como um parceiro para as tarefas de orientação do professor. Adicionalmente, um crescente interesse tem sido observado em termos do desenvolvimento de aplicações, ferramentas e ambientes para suporte 4. produção e publicação de materiais didáticos via Internet - mais especificamente no ambiente WWW, criando uma variedade de cursos disponíveis neste ambiente. Genericamente, o processo para o oferecimento de cursos no ambiente WWW pode ser dividido em três etapas principais, que são a autoria, a disponibilização e o gerenciamento. Atualmente, as duas primeiras etapas podem ser realizadas com a utilização de ferramentas para autoriaidisponibilização existentes. Por outro lado, a etapa de gerenciamento do curso ainda é uma tarefa pouco explorada. Assim, o objetivo deste trabalho está centrado no criação de ferramentas para ambientes de ensino distribuídos que promovam a intenção entre estudantes e professores para o gerenciamento das atividades didáticas envolvidas em um curso, tais como formação de grupos de trabalho, entrega de-trabalhos, visualização de notas, calendários, dentre outras. Este trabalho apresenta um conjunto de ferramentas WebCoM (Web Course Manager) baseado no conceito de agentes para a criação de um ambiente de gerenciamento e definição das atividades programadas para um curso via Internet. As ferramentas do WebCoM são fwadamentadas no princípio do isolamento de professores e estudantes das tarefas de baixo nível do gerenciamento, como é o caso do acesso às bases de dados e ao volume de documentos gerados durante o curso. / The aplication of computers in education has been the target of intense research. In teaching environmens, the computer can be viewed like an instrument to-easy the access to information being considered like a partner for the teacher. A increasing interest has been observed in the development of aplications, tools and programs for suporting the use of computers in teaching environments. This environments are normaly based on the publicafion of teaching materiais over the Internet, more specificaly in the WWW environment. The process of offering courses in the WWW environment can be divided in three parts: material authoring, publication and management of the course. Nowadays, the first two steps can be done using many avaiable tools, but the management step, however, isn\'t well suported by the tools currently avaiable. Thus, the objetive of this project is the development of tools to suport the management tasks envolved in Internet course, such as formation of work groups, deliver of assignments, visualization of grades, schedules, others. This work presents one set of tools called WebCoM (Web Course Manager) agents-based to the both creation of one management environment and definition of the scheduled activities for one course over the Internet. The WebCoM tools are based in the principie of the separation of both teachers and students of the lower levei taskx of the management, like is the case of the access at the database and control on documents generated cluring the course.

A dinâmica e a flexibilidade da autoria de hiperdocumentos na Web, por um lado popularizam a cada dia o uso da Internet, mas por outro, propiciam que facilmente muitas informações fiquem inconsistentes. Basta uma definição errônea de um hiperlinki , para que o usuário se depare com uma inconsistência e se sinta \"perdido\". Um procedimento comum durante o desenvolvimento de um site2 é a reutilização dos componentes de link, seja por haver na mesma página origem mais de um link, ou o mesmo rótulo de link em diversas páginas, ou ainda vários links para uma mesma página destino. Como um site, geralmente, contém uma grande quantidade de links, torna-se inviável a verificação manual da reusabilidade de seus links. A ferramenta DB-LiOS foi desenvolvida com o objetivo de automatizar a verificação da reusabilidade de links de um site da Web, através de processos de extração e classificação de links. Com a utilização de DBLiOS, os autores de um site podem obter um auxilio efetivo para avaliação da consistência de seus links. / The dynamics and flexibility of Websites authoring, on the one hand, popularize the Internet usage increasingly. On the other hand, they lead easily to inconsistent information. A wrong definition of a hyperlink is enough to users come across with inconsistency and then become \"lost in hyperspace.\" A common procedure used in site development is the reuse of link components, the same source page with one or more links, the same link label in different pages, or severa] links direct to the same destination page. In general, a site contains a great amount of links forbidding a manual verification of links reuse. In this paper, a tool named DB-LiOS is presented. It was developed to verify the reuse of links automatically, through links extracting and classification processes. Using DB-LiOS, website authors can get an effective aid to evaluate the consistency of links.

O modo tradicional de criar o layout de circuitos ASICs (Application Specific Integrated Circuits) requer um projetista humano para interagir com um programa. Ele utiliza uma metodologia de layout baseada em bibliotecas de células-padrão (standard cells). Essa metodologia é boa para os projetos ASIC porque os processos realizados para geração de layouts podem ser automatizados, diminuindo o tempo gasto no projeto e aumentando a sua confiabilidade. Porém, essa metodologia possui inconvenientes em relação à manutenção da biblioteca de células e em relação ao número total e variedade de células existentes, pois, algumas células requeridas num projeto, podem não existir na biblioteca forçando uma adaptação do projeto. O sistema Agents 2 foi desenvolvido para automatizar a geração de células para circuitos integrados, mais precisamente células-padrão. O sistema é composto por vários agentes servidores, o Placer (que posiciona os componentes do circuito) e vários Routers (que conectam os componentes do circuito). Os servidores trabalham de forma distribuída em uma rede de computadores e a escalabilidade do sistema aumenta à medida que novos computadores são introduzidos na rede. Entretanto, o sistema não é capaz de explorar os recursos computacionais de máquinas multiprocessadas. Para resolver esse problema foi desenvolvido nesse trabalho um novo servidor de roteamento, chamado de RouterServer. Ele foi desenvolvido usando a linguagem Java e programação multithreaded, permitindo que o sistema Agents 2 possa explorar o paralelismo existente em computadores multiprocessados com memória compartilhada, mas mantendo sua escalabilidade em sistemas distribuídos em rede. / The traditional way for creating layout for Application Specific Integrated Circuits (ASICs) demands that a human designer interacts with a computer program. This program uses a layout generation methodology based in standard cells libraries. This methodology is effective for designing ASICs because the processes for layout generation can be automated, reducing the time spent in designing circuits and increasing its reliability. However, this methodology has problems related to the maintenance of the cell libraries and to the total number and variety of available cells, because some cells required in a project may not exists in the library forcing design adaptations. The Agents 2 system was developed to automate the cell generation for integrated circuits (standard cells). Many server agents compose the system: the Placer (that places the components of a circuit) and many Routers (that wires the circuits\' components). The servers work distributed over a computer network and system scalability increases as new computers are added to the network. However, the system is not capable of using the resources of computers with more than one CPU. To solve this problem a new router server was developed, called RouterServer. It was developed using the Java language and a multithreaded design. It allows the Agents 2 system to use the parallelism that exists in multiprocessors machines with shared memory, at the same time that it retains its scalability in distributed networked systems.

A rede magnética do anel de armazenamento de elétrons de 1.15 GeV para a fonte de ultravioleta raios-X mole do LNLS (UVX) é apresentada e a estabilidade do movimento das partículas neste anel é analisada. Tanto a dinâmica linear como a não-linear nos espaços de fase transversal e longitudinal são abordadas. Estudos do efeito de sextupolos na rede permitiram a otimização da abertura dinâmica do anel através da minimização da aberração geométrica induzida pelos sextupolos de correção cromática. São apresentados também estudos da flexibilidade de ajuste do anel a diferentes configuraçõesóticas, de correção de órbita distorcida devido a erros de multipolo, alinhamento e excitação dos imãs; e do processo de injeção de elétrons. O movimento no espaço de fase longitudinal de anéis quase-isócronos é analisado incluindo-se termos de segunda ordem e efeitos das oscilações bétatron transversais sobre o fator de compactação de momentum. As condições de estabilidade neste caso são descritas. Propomos um modo de operação quase-isócrono para o UVX onde o fator de compactação de momentum é duas ordens de grandeza menor quer no modo normal, podendo fornecer pacotes de elétrons de 2.7 os (desvio padrão) / The magnet lattice of a 1.15 GeV electron storage ring for the LNLS ultraviolet-soft X-ray source is described and the stability of the particles motion in this ring is analyzed. Both the linear and non-linear dynamics in transverse and longitudinal planes are discussed. Studies of the effects of sextupoles on the lattice lead to dynamic aperture optimization through minimization of geometrical aberration induced by the cromaticity correction sextupoles. Discussions include also studies of the lattice flexibility to other optical configurations; multipole, alignment and excitation errors and orbit distortion correction, and the injection process. The motion in longitudinal phase space of quasi-isochronous rings is analyzed including second order terms and the effect of transverse betatron oscillations on the momentum compaction factor. We describe the conditions for stability in this case. We propose a quasi-isochronous operation mode for UVX where the momentum compaction factor is decreased by two orders of magnitude with respect to the standart operation mode. This mode can provide electron bunches 2.7 os (one sigma) long