O propósito deste trabalho é fazer uma análise Bayesiana conjugada e utilizar métodos amostrais na teoria de filas, em particular para os sistemas M/M/1, M/M/1/k, M/M/c e M/M/ ∞. Nosso maior interesse reside no estudo das chamadas medidas de desempenho: número de usuários no sistema e na fila, tempo de permanência no sistema e na fila e comprimento do período ocioso e ocupado, pois são essas medidas que nos fornecem o comportamento do sistema. Concentramos a atenção nas distribuições preditivas das medidas de desempenho. Na análise Bayesiana conjugada, mostramos que a escolha da priori é fundamental para que tenhamos distribuições preditivas com momentos. Mas esta escolha nem sempre é feita de maneira natural, e notamos que a análise Bayesiana conjugada pode se mostrar bastante complexa. Para evitarmos os problemas surgidos com a análise Bayesiana conjugada, sugerimos a utilização de métodos amostrais, através de uma técnica bastante original. Com o algoritmo Sampling-Importance-Resampling (SIR) simulamos as distribuições preditivas das medidas de desempenho. Com o histograma de Berger determinamos a informação a priori de p (intensidade de tráfego), que pode ser feito via MINITAB. Para a utilização deste procedimento necessitamos somente da informação a priori da intensidade de tráfego. / The purpose of this work is to do the conjugate Bayesian analysis and to use sampling methods in the theory of queue, in particular in the queue systems M/M/1, M/M/1/k, M/M/c and M/M/ ∞. Our mayor interest is to study the so called measures of effectiveness of the queue, ie, the number of customers in the system and in the queue, the waiting time in the system and queue and the length of idle periods and busy periods. These measures give us the behaviour of the system. We concentrate our attention the predictive distribution of the measure of effectiveness. We show that in the conjugate Bayesian analyis, the choice of the prior distribution is fundamental to determine the predictive distribution.s with moments. This choice is not always natural, and we show that the conjugate Bayesian analysis can become very complex. To avoid this problem with conjugate Bayesian analysis, we suggest the use of a particular simulation technique. We use the Samplin.g-Importance-Resampling (SIR) algorithm to simulate predictive distributions of the measures of effectiveness. The histogram approach describe by Berger, is use via MINITAB to assess the prior information of the intensity of trone. To appply the sampling proced-ure, we only need the prior information of the intensity of traffic.

O objetivo deste trabalho é estudar a generalização natural de genus de uma variedade de qualquer dimensão e seu relacionamento com o genus de π1(M) . O genus de uma variedade compacta e conexa m-dimensional M é o número máximo de subvariedades de codimensão 1 , conexas , disjuntas com colarinho duplo que não desconecta M e o genus de um grupo G é o maior inteiro r tal que existe epimorfismo de G em F , onde Fr é o grupo livre com r geradores. O trabalho é baseado no artigo \" The genus and the fundamental group of hight dimensional manifolds \" , cujo autor é Octav Cornea . Mostra-se vários resultados , em particular temos que genus(M) ≤ genus(π1(M)), valendo a igualdade se o bordo de M for vazio. Também fazemos uma classificação de enlaçamentos de circunferências numa superfície orientável de genus g qualquer. / The purpose of this work is a natural generalization of the concept of the genus of a manifold M of any dimension and its relationship to the genus of π1 ( M) . The genus of a m-dimensional , compact , connected manifold M is the maximum number of disjoint , connected , codimension one biccolared submanifolds that do not disconected M and the genus of a group G is the maximum integer r such that we can find an epimorfismo from G to Fr , where Fr is a free group of rank r. The basic reference for this work is the article \"The genus and the group fundamental of hight dimensional manifolds\" by Octav Cornea . Many results are developed in particular we have genus (M) ≤ genus (π1 ( M)) and for ∂M = ∅ the equalit holds . We also establish a classification for links of g componentes on a orientable surface of genus g, for any g.

Esta dissertação apresenta um estudo de algoritmos de visualização em Computação Gráfica e descreve a implementação de alguns deles no módulo de visualização do (SM)2 - Sistema de Modelagem de Sólidos Multirepresentacional, em desenvolvimento pelo grupo de Computação Gráfica e Processamento de Imagens do ICMSC/USP, e permite a descrição de objetos por instanciamento de primitiva, varreduras translacional e rotacional ou por semiespaços definidos implicitamente. A principal representação interna dos sólidos é uma estrutura B-Rep (Boundary Representation). O estudo bibliográfico realizado engloba vários algoritmos de remoção de linhas/superfícies ocultas, uso de modelos de iluminação local e global e a geração de diferentes efeitos de iluminação, como técnicas de tonalização, fontes de luz, sombra, textura e transparência. Como parte deste trabalho, foi implementado um módulo de visualização para o (SM)2. Este módulo possui uma interface para a manipulação de parâmetros da visualização e permite visualizar os sólidos B-Rep na representação fio-de-arame e na forma iluminada. A visualização iluminada utiliza uma versão otimizada do algoritmo seanline para a remoção de superfícies ocultas. Diferentes técnicas de tonalização podem ser empregadas (Flat, Gouraud e Phong). Além disso, o usuário pode definir várias fontes de luz, bem como definir diferentes propriedades de materiais, como cor, coeficientes de reflexão e transparência. Este trabalho permitiu a visualização eficiente de sólidos. / This work describes the implementation of basic rendering techniques into an efficient Rendering Module for a Multirepresentational Solid Modeling System (SM)2. This system is under development within the Computer Graphics and Image Processing Group at ICMSCUSP, and allows the description of objects either by primitive instancing, translational or rotational sweeping or yet by implicitly-defined half-spaces. A B-Rep (Boundary Representation) data structure is then created for internally representing any objects. A study on rendering algorithms for Computer Graphics is presented, which includes a review on algorithms for hidden lines and hidden surfaces removal, as well as on ilumination models, shading techniques, and the use of light sources, shadowing, textures and transparency for achieving realism. The Rendering Module developed as part of this work offers an interactive interface for the input and manipulation of rendering parameters, and enables the visualization of B-Rep solids either as wireframes or as Flat-, Gouraud- or Phong-shaded objects. Users may employ multiple light sources, and define material properties such as reflection coefficients and transparency levels. The rendering process is based on a local ilumination model used in conjunction with an optimised version of the Spanning Scanline algorithm, which takes advantage of some essential properties of the solids being rendered. This results in a very efficient visualization of scenes.

O teste de programas concorrentes tem sido objeto de preocupação nos últimos anos; mesmo assim, as iniciativas tomadas nesta área têm sido tímidas, com um número pequeno de publicações. A maioria das propostas para teste de programas concorrentes procura usar ao máximo o que já se tem feito para o teste de programas seqüenciais, procurando tratar com mais atenção aquelas construções que são específicas para programas concorrentes. Nesta dissertação estudam-se o teste estrutural de programas seqüenciais e a ferramenta POKE-TOOL, que apóia a aplicação dos critérios Potenciais Usos; discutem-se propostas de teste de programas concorrentes, objetivando a configuração da POKE-TOOL para o teste de programas concorrentes. Dentro deste escopo, propõe-se uma linguagem intermediária para programas concorrentes (LIConc), procurando considerar vários aspectos de linguagens de programação concorrente do tipo procedimental e implementa-se o módulo que mapeia programas escritos em Occam para programas escritos na LIConc. Essa abordagem possibilita que a extensão da POKETOOL para apoiar o teste de programas concorrentes mantenha a característica de multilinguagem já apresentada pela POKE-TOOL para programas seqüenciais. / Concurrent program testing has been object of worry in recent yerirs; even though, initiatives in this a¡ea have been very few, with a low number of publications. Most of these proposals for concurrent progra¡n testing explore mainly the theory developed for sequential program testing, giving more atention to constructions that are exclusive to concurrent programs. In this thesis sequential program testing and the testing tool named POKE-TOOL, that aids the application of Potential Uses criteria, are studied. Implementation models ofPOKE-TOOL are revisited aiming at supporting concurent program testing. An intermediate language for concurrent programs (LIConc) is proposed, considering various aspects of concurrent programming languages. The implementation of a POKE-TOOL program module that translates progr¿ùms written in Occam to LIConc is described. This approach aims at keeping the characteristic of a multilanguage tool already hold by POKE-TOOL for sequential program testing.

Não disponível / On this work we study stability properties of a system of Difference Equations x(t) = ∑Nk=1 Ak x(t-rk ), x ∈ Rn, Ak, n x n constant matrices, rk > 0, in the case that we allow the delays rk to vary in time. The main result we obtained is that if the above system is stable and the matrices Ak satisfy a commutative condiction Ak A*j = A*j, j, k = 1, 2, ..., n, then the system x(t) = ∑Nk=1 Ak x(t-rk (t)) is also stable.

0 propósito deste trabalho e mostrar algumas aplicações de dois teoremas importantes quais sejam: Teorema de Bezout e Teorema Fundamental de Max Noether. Entre as aplicações, nos temos os Teoremas clássicos de Pascal e de Pappa. A estrutura (abeliana) de grupo numa cúbica é apresentada no ultimo capítulo. Nós seguimos o livro: Curvas Algebrica\'s, de W. Fulton, fazendo os detalhes necessários para o entendimento das mencionadas aplicações. / The purpose of this work is to show some applications of two important theorems, namely, Bezout\'s and Max Noether Fundamental Theorem. Among these applications we have the classical Pascal\'s Theorem and Pappa\'s Theorem. The (abelian) group structure on a cubic is present in the final chapter. We followed Fulton\'s book, Algebraic Curves, making the necessary details, to understand the above mentioned applications.

Neste trabalho é apresentada uma análise do método JSD (Jackson System Development), como uma abordagem operacional para o desenvolvimento de sistemas. Faz-se também um breve resumo das características principais das Ferramentas de Software para Apoio por Computador ao Desenvolvimento de Software (CASE), visando dar uma idéia da evolução dessa área. Baseando-se nesses conceitos é apresentada uma ferramenta do tipo CASE, para apoio à especificação de sistemas chamada Analisador de Especificações Operacionais (AnEsp0). O AnEsp0 é parte do Ambiente de Desenvolvimento baseado na Abordagem Operacional - ADAO, que apoiará parte do ciclo de vida de desenvolvimento, de maneira a obter um protótipo executável do sistema alvo. O AnEsp0 é uma ferramenta dedicada exclusivamente a apoiar a fase de especificação, de sistemas que são desenvolvidos usando as diretrizes dos quatro primeiros passos do método JSD. A especificação criada é armazenada em formato interno em uma base de dados, estando disponível para obtenção de relatórios auxiliares de consistência, validação e referências cruzadas, bem como para ser utilizada na geração de um protótipo do Sistema de Informação. / The Jackson System Development Method (JSD) is analysed in this dissertation as an Operational Specification method for software development. It is also presented a summary of the Computer Aided Software Engineering field, specially tools to support the JSD Method. A tool (called AnEsp0) to support analysis and design of software based on the JSD method is discussed and a prototype developed to validate these ideas is shown. This prototype is part of a more comprehensive environment being developed which is known by the acronym ADA0,(Software Development Environment based on Operational Approach). The AnEsp0 Tool allows one to enter the especification of a target system, storing it in a data base where it can be later retrieved and displayed or printed. It can also be used by other tools being developed as for example a prototype generator.

Esta dissertação tem como objetivo principal aplicar resultados teóricos para obter fórmulas explícitas de soluções de vários problemas de Cauchy e de contorno envolvendo equações diferenciais parciais da física-matemática. Para tanto, tivemos que desenvolver gradualmente toda uma teoria, presente em toda a dissertação, do capítulo zero ao capítulo VI, como pode ser observado. Para que esse desenvolvimento se efetivasse, lançamos mão dos artigos do YU. A. DUBINSKI, em quem nos baseamos desde o começo do trabalho. / Not available

Uma grande variedade de materiais sao manufaturados em grandes unidades por processos nos quais o tamanho da unidade de produçao e restrito pela natureza da maquina utilizada. O problema de recorte de estoque e o de formular um esquema para o recorte das unidades de produçao em peças dos tamanhos encomendadas pelos clientes. Este estudo descreve modificaç-Oes para o modelo de recorte de estoque de Gilmore-Gomory que melhoram as características das soluçoes geradas. Mudanças Bao propostas para as restriçoes como tambem para a funçao objetivo. O ponto principal e que maxzcnao do lucro, ao inves de minimizac-ao da perda percentual, e a real meta que deve ser perseguida. Um conjunto de problemas exemplo resolvido e tempos computacionais sao fornecidos. / A wide variety of materiais are manufactured in bulk by processes in which the size of the unit of production is constrained by the nature of the machinery being used. The cutting stock problem is that of formulating a scheme for the cutting of the production units into pieces of the sizes ordered by customers. This study describes modifications to the Gilmore-Gomory cutting stock model that improve the characteristics of the solutions being generated. Changes are proposed for the constraints as well as for the objective function. The major point Is that profit maximization, rather than percentage waste mtnimization, is the real goal that should be persued. A set of sample problems is solved and computational times are provided.

Não disponível. / Not available.