Neste trabalho desenvolveremos um análogo não-linear do Teorema de Schur que afirma que um subgrupo finitamente gerado de um grupo linear, cujos elementos são todos de ordem finita é, de fato, finito. No resultado principal abordaremos os grupos de difeomorfismos que preservam uma medida de probabilidade em certas variedades de dimensão 3 e grupos de simplectomorfismos de variedades de dimensão 4. / In this paper we obtain some non-Iinear analogues of Schur\'s theorem asserting tliat a finitely generated subgroup of a linear group ali of whose elements have finite order is, in fact, finite. The main results concern groups of diffeomorphisms preserving a probability measure of certain manifolds of dimension 3 and groups of symplectomorphisms of manifolds with dimension 4.

Um bom escalonamento de processos é de fundamental importância para o bom desempenho de um sistema computacional. Porém, a grande diversidade de objetivos de escalonamento, cargas de trabalho e tipos de sistema computacional tomam difícil a existência de um algoritmo de escalonamento que seja bom em todas as situações ou durante todo o tempo. Torna-se importante, portanto, que o software de escalonamento possa avaliar o desempenho do sistema computacional em resposta ao algoritmo de escalonamento utilizado. O PSMS (Process Scheduling Monitoring System - Sistema de Monitoração do Escalonamento de Processos), monitor que implementa a abordagem de monitoração proposta por esta tese, foi desenvolvido com o intuito de oferecer uma infra-estrutura de monitoração que pode ser usada por qualquer software de escalonamento e que permita que o escalonamento de processos possa ser avaliado de maneira sistemática, independente de seu objetivo. O PSMS baseia sua avaliação em métricas de desempenho, as quais são escolhidas de acordo com os objetivos do escalonamento e são de fundamental importância dentro da abordagem de monitoração proposta. Também são definidas regras de decisão, que são aplicadas sobre as métricas com o intuito de retornar um valor que quantifique o desempenho do sistema de acordo com o seu objetivo de escalonamento. Este tese apresenta uma descrição detalhada da abordagem de monitoração proposta e do protótipo desenvolvido; faz uma análise crítica sobre a utilização de métricas de desempenho na avaliação do escalonamento de processo; e propõe algumas regras de decisão. São apresentados alguns estudos de caso relacionando regras de decisão e métricas, que demonstram a viabilidade da abordagem de monitoração aqui proposta. / An efficient process scheduling is of vital importance to the performance of a computer system. However, the existence of so many scheduling goals, workload types and computer system architectures makes it very difficult for a scheduling algorithm to sustain a good performance. Therefore, it is very important for the scheduling software to be capable of evaluating the computer system performance in order to guarantee the accomplishment of its scheduling goal. This thesis presents PSMS (Process Scheduling Monitoring System), an on-line monitoring system for evaluating the process scheduling. PSMS was designed to be flexible, and it is capable of communicating with any scheduler and of evaluating computer systems with different scheduling goals. The evaluation performed by PSMS is based on the analysis of performance metrics, which are chosen based on scheduling goals. Decision rules are applied on these metrics, generating a performance value that quantifies the performance of the computer system. The scheduling software has access to this performance measurement and, in case of poor performance, it can change the scheduling algorithm or perform a process migration in order to fíx the performance problem. This thesis presents a detailed description of the proposed monitoring approach and of the prototype tool developed. It also presents an analysis of performance metrics commonly used in process scheduling evaluation and a description of some decision rules. Some case studies of the use of decision rules on metrics are also discussed, demonstrating the viability of the monitoring approach proposed.

Esta dissertação de mestrado apresenta o trabalho desenvolvido para avaliação e aprimoramento da biblioteca para simulação distribuída, ParSMPL, visando sua inclusão em um ambiente de simulação distribuída automático, ASDA. Durante o trabalho de mestrado desenvolvido foi feita uma análise do uso da ferramenta ParSMPL em plataforma Linux, coletando dados relevantes para o complemento de diretrizes apresentadas em trabalhos anteriores. Tais diretrizes visam auxiliar o desenvolvimento de aplicações utilizando simulação distribuída conservativa, e serão incluídas no módulo avaliador do ambiente ASDA. Novas características foram adicionadas ao ParSMPL, buscando melhorar seu desempenho e também facilitar sua depuração. Esse trabalho de adaptação e aprimoramento do ParSMPL encontra-se descrito nesta dissertação. Foi feito também um estudo do trabalho necessário à inclusão da biblioteca ao ASDA, apresentando uma visão geral das alterações necessárias ao gerador de aplicações existente para o ambiente ASiA, voltado à simulação sequencial, de modo a torná-lo apto à produção de programas de simulação distribuída utilizando protocolo conservativo. / This dissertation presents the work developed to evaluate and improve the performance of a distributed simulation library, ParSMPL, aiming its inclusion to the automatic environment for distributed simulation, ASDA. It is presented an analysis about ParSMPL tool utilization in Linux system. This analysis provides relevant data to complement the directrix presented in earlier works. Such directrix aims helping the development of conservative distributed simulation applications, and it will be included to the ASDA evaluator module. New features was included to ParSMPL, aiming to improve its performance and to facilitate its debugging process. The adapting and improvement work made to ParSMPL is related in this dissertation. Besides, it was made a study about the necessary effort to include ParSMPL library to ASDA environment, It results in an overview of necessary changes to the existent application generator that belongs to ASiA environment, in order to make it able to produce distributed simulation programs in conservative protocol.

Pequenas e médias empresas muitas vezes se deparam com oportunidades de negócios interessantes, porém além de suas capacidades de exploração. A possibilidade de uma união temporária que agregue competências para a realização de projetos em parceria levou os empresários a considerarem o conceito de Empresa Virtual (EV). A EV, por si só, requer gerenciamento de recursos distribuídos entre suas empresas participantes. Esse gerenciamento demanda serviços oferecidos por sistemas de informação que possam ser responsáveis pela organização e distribuição da informação da EV. Os serviços providos pelos sistemas de informação, apesar de oferecerem facilidades e vantagens, apresentam também pontos de vulnerabilidades por onde a empresa pode ser atacada. É necessário que haja formas de proteção contra esses ataques. Este trabalho analisa os processos em uma EV, determina seus pontos de fraqueza e propõe um conjunto de recomendações para efetuar transação segura nesse tipo de ambiente. / Small and middle sized enterprises many times come across with interesting business opportunities, byond their capabilities of exploitation. The possibility of a temporary union that adds up competences to execute joint projects, leads the entrepreneurs to consider the Virtual Enterprise (VE) concept. The VE, by itself, needs management of resources distributed among their participating enterprises. This management demands services offered by Information Systems (IS) responsible for the VE information organization and distribution. Although. the services provided by IS bring facilities and advantages, they present points of vulnerability throught which the enterprises can be attacked. This work analyses the process in a VE, determines their points of wealaiesses and propose a set of recommendation to make secure transaction in this kind of environment.

A computação distribuída sobre redes de estações de trabalho tem sido adotada como uma plataforma alternativa para a execução de aplicações paralelas. Essas redes não apresentam apenas uma boa relação custo/benefício, mas também fornecem um ambiente computacional de propósito geral, o qual pode ser usado tanto por aplicações paralelas quanto por aplicações não paralelas. Nesses ambientes multiusuários ocorre uma grande variação da carga de trabalho manipulada por cada usuário trazendo sérios problemas para o desempenho global do sistema. Dentro desse contexto, este trabalho descreve detalhadamente a implementação da DPWP, um algoritmo de escalonamento cuja principal finalidade é implantar balanceamento de cargas sobre uma rede de estações de trabalho heterogênea, para aplicações paralelas com grande quantidade de processamento. Os estudos preliminares realizados sobre os testes desenvolvidos serviram, acima de tudo, para validar e avaliar o desempenho da DPWP. Os resultados obtidos demonstram que o algoritmo tem um comportamento seguro e que as aplicações paralelas executadas, tendo a DPWP como algoritmo de escalonamento, apresentaram um excelente resultado, levando a um aumento considerável em seu desempenho final. / Distributed computing on workstation networks has been considered as an alternative platform for parallel applications. These workstation networks are not only cheaper, but also provide a general-purpose computing environment that is typically shared by both parallel and non-parallel application developers and users. Such a computing environment, where the use of resources varies as applications consume and release resources, brings important scheduling problems for global performance system. Thus, this work presents the implementation of the DPWP, a process scheduling policy aiming at balancing the computing load on a network of heterogeneous workstations, for parallel computing applications, that have more processing and less communication. Preliminary studies were developed in order to validate and to evaluate the performance reached by using the DPWP. The results showed that the scheduling policy behaves stable and the parallel applications reached excellent overall performance.

Neste trabalho apresentamos um estudo sobre as unidades no anel de Witt dos espaços bilineares sobre um anel local, generalizando os resultados apresentados por Lewis em [7]. / In this work we give a study about the units in the Witt ring of the bilinear spaces over a local ring, generalizing the results presented by Lewis in [7].

Os algoritmos de simulação de Monte Carlo em cadeia de Markov (MCMC) têm aplicações em várias áreas da Estatística, entre elas destacamos os problemas de Inferência Bayesiana. A aplicação destas técnicas no entanto, exige uma análise teórica da distribuição a posteriori para assegurar a convergência. Devido ao alto grau de complexidade de certos problemas, essa análise nem sempre é possível. O objetivo deste estudo é destacar estas dificuldades e apresentar alguns aspectos práticos computacionais que podem auxiliar na solução de problemas de inferência Bayesiana. Entre estes ressaltamos os critérios de seleção de amostras, o uso de técnicas de diagnósticos de convergência e métodos de estimativas. / The algorithms of Monte Cano Markov Chain simulation have application in many areas of statistics, among them we highlight the Bayesian inference problem. The application of these technics however, demands a theoretical analysis of the posterior distribution to assure the convergence. Because of the high complexity levei of certain problems, this analysis is not always possible the purpose of this study is to underline this difficulties and present some practical computational aspects that may help in the solution of the Bayesian inference problems. Among them we emphasize sample selection, convergence diagnostics and parameter inference by central limit theorem.

Este trabalho apresenta um procedimento de auxílio ao primeiro passo do método de engenharia reversa FUSION-REI! - obtenção de informações sobre o sistema. Esse procedimento compreende um processo para a criação de uma base de conhecimento (Processo de Aquisição de Conhecimento /PAIA, instanciado para o domínio de engenharia reversa) e diretrizes para a utilização dessa base de conhecimento na construção de visões funcionais do sistema. / This work presents a procedure to help the first step of the FUSION-RE/I reverse engineering method acquisition of system\'s information. This procedure comprises a process to create a knowledge base (IPAIA Knowledge Acquisition Process applied to reverse engineering domain) and guidelines for using this knowledge base to construct functional visions of the system

O interesse cada vez maior das empresas em adquirir novas tecnologias de processarnento e armazenamento de dados, além de visualizar a informação como seu maior patrimônio, tem direcionado várias pesquisas para o estudo do processo de transformação desses dados em conhecimento, o que pode proporcionar um auxílio efetivamente inteligente à tomada de decisão. Nesse contexto, o processo de Extração de Conhecimento de Bases de Dados (KDD - Knowledge Discovery in Database) desponta como uma tecnologia capaz de cooperar amplamente na busca do conhecimento embutido nos dados. Essa busca pode ser realizada utilizando métodos estatísticos e/ou técnicas de Inteligência Artificial, especialmente as que manipulam incerteza, que são amplamente aplicados na análise de dados com objetivo de encontrar relações de interesse. As redes Bayesianss representam um dos modelos mais proeminentes para encontrar essas relações. Este trabalho envolve a investigação dos conceitos, técnicas, métodos e ferramentas Bayesianas para auxiliar o processo de extração de conhecimento de bases de dados, considerando a incorporação de conhecimento de fundo, bem como o tratamento de dados incompletos. / The fa.ct that companies are becoming more and more interested in acquiring new technologies for processing and storing data, as well as the view that information is their largest asset, has led to much regearch about the process of transforming this data into knowledge, which can malce it possible to aid decision-making in an effective and intelligent miner. In this context, the Knowledge Discovery in Databases (KDD) proress has emerged as a technology well suited to searching for knowledge that is embedded in the data. This search can be made using statistical methods and/or Artificial Intelligence techniques, especially those that manipulate uncertainty, which are widely used to analyze data and find interesting relations. Bayesian networks represent one of the more proeminent models for finding these relations. This work involves the investigation of Bayesian concepts, techniques, methods and tools to aid the process of extracting knowledge from databases, considering the inclusion of background knowledge, as well as treatment of incomplete data.

A avaliação de pacotes de software em um ambiente empresarial pode ser realizada pelas pessoas que não são técnicas na área de informática utilizando as características de qualidade de produto de software da ISO/IEC 9126 e de outras encontradas na literatura, através da aplicação de um questionário. Um questionário é apresentado com sua elaboração baseada em estudos realizados conforme a norma ISO/IEC 9126 e o método Goal/Question/Metric (GQM). Um estudo de caso foi realizado usando seis pacotes de software de sistemas de informação em operação na CETERP S/A. O objetivo é proporcionar informação para o gerente no processo de análise e melhorar o apoio da tecnologia da informação disponível na empresa. / The evaluatán of software packages in an industrial environment can be achieved by non-technical personnel in the software engineering area using the software product quality characteristics of ISO/IEC 9126 and of others standards found in the literature, using a questionnaire. A questionnaire is presented, elaborated based on previous studies, on ISO/IEC 9126 and on Goal/Question/Metric (GQM). A case study was conducted using six information system packages already in use at CETERP S/A. The afim is to provide information to the manager in the process of analysing and improving the information technology support available in the company.