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

Neste trabalho desenvolvemos métodos numéricos para aproximação de solução da equação do calor, baseados nos princípios extremos dúais de Noble e Sewell, onde usamos o método dos Elementos Finitos para a discretização. Exibimos um espaço de Hilbert X, uma forma bilinear\'s a ele associada e verificamos todas as condições do lema de Max-Milgram com as quais temos prova de existência e unicidade de solução da nossa formulação. Além disso provamos um teorema de convergência. Nós usamos funções lineares por partes no tempo e no espaço. Os problemas de minimização e maximização resultantes, são resolvidos por um método de Gradientes Conjugado matricial. Para uma precisão de 10-5, são necessárias cerca de n/20 iterações para n grande, onde n é o tamanho da discretização. / In this work we develop numerical methods for approximate solutions of the heat equation, based on the dual extremum principies of Noble and Sewell, where we use the Finite Element Method for discretization. We exhibit a Hilbert Space X, bilinear form S associated to it and we verify ali the condi tions of Lax-Milgram\'s lemma with Which we get proof of existence and uniqueness of solution of our formulation.Flurtilemore we prove a convergence theorem. We use piecewise linear functions both in time- and in space. The resulting minimization and maximization problents are solved by a matricial form of the Conjugate Gradient method . For n large enough it was needed about n/20 iterations to achiev the precision of 10-5, n is the size of the discretization.

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.

Com a popularização da Internet, a disponibilização online de documentos de qualquer espécie tornou-se extremamente rápida. Utilizando-se de ferramentas de busca, pode-se ter acesso a quase todos os tipos de informação em questão de segundos. Porém, a quantidade de sites que proporcionam alguma informação importante é, em geral, muito pequena, se comparada ao número total de páginas que é fornecido pela ferramenta de busca. Isso ocorre, basicamente, pelo fato de que as páginas retornadas são ordenadas, por exemplo, de acordo com a quantidade de acessos à página ou à quantidade de links que levam a ela. Isso significa que uma página contendo a informação que o usuário deseja, mas que esteja no final da lista, dificilmente será lida se existir uma grande, quantidade de páginas antes dela. Assim, seria de grande ajuda uma ferramenta capaz de: a) recuperar um conjunto apropriado de documentos de acordo com palavras-chave fornecidas pelo usuário; b) analisar o conteúdo dos links encontrados extraindo informações relevantes dos textos e decidir se o documento pode ser importante para o usuário; c) fazer um clustering (agrupamento por similaridade) desses documentos relevantes e d) exibir um mapa no qual documentos similares estejam próximos entre si e distantes daqueles relacionados com outra área. Essa ferramenta está sendo desenvolvida no LABIC/ICMC-USP e recebeu o nome de FIP (Ferramenta Inteligente de Apoio à Pesquisa). Este trabalho visa investigar técnicas de clustering, principalmente, as aplicadas a documentos e decidir por aquela que melhor atenda os requisitos da FIP em termos de qualidade dos clusters, tempo de processamento e consumo de memória, visto que é tratada uma grande quantidade de documentos na ferramenta. Neste trabalho são testadas técnicas de clustering aglomerativo hierárquico, de particionamento e de mapa auto-organizável em corpus de artigos científicos, jornalísticos e de fórums de discussão: são discutidas as vantagens e desvantagens de cada uma; e indicadas, no caso particular da ferramenta FIP, as abordagens apropriadas. / With the Internet popularization, the online deployment of any kind of document has become extremely fast. By using of searching tools, access to almost any kinds of information can be done in a matter of seconds. However, the amount of sites that provide some useful information is, in general, very small, if compared to the total number of pages supplied by the search tool. That happens, basically, by the fact that the retrieved pages are ranked, in general, in accordance with the amount of accesses to the page and/or the amount of links that point to them. That means, a page containing the information that the user desires, but at the end of a huge list, hardly will be seen. Thus, it would be very useful a tool capable of: a) to retrieve an appropriate set of document in accordance with keywords supplied by the usei\", b) to analyze the content, of those documents, extracting relevant information from the texts and to decide if the document is relevant for the user; c) to group (by similarity) those documents; and d) to exhibit a map, in which similar documents are close amongst themselves and distant of those related with other fields. Such a tool is being developed at LABIC/ICMC-USP and has received the name FIP (Ferramenta Inteligente de Apoio à Pesquisa). This work, part of the FIP project, seeks to investigate clustering techniques, mainly, those applied to text, and to decide for the one that best fit to the requirements of FIP in terms of clusters quality, processing time and memory consumption. Those issues are relevant because tho tool will deal with a great amount of documents. In this work we test agglomerative hierarchical clustering techniques, partitioning techniques, and self-organizing maps techniques in corpora of scientific articles, journalistic. and discussion forums. We also discuss the advantages and disadvantages of each technique; and indicate the appropriate approaches in the particular case of the FIP tool.