Esse trabalho teve por escôpo rever e estudar a importante tafoflora da Camada Irapuá, com base em material proveniente de 4 afloramentos da região de Criciuma, SC. É a terceira camada de carvão dentre as cinco pertencentes à Formação Rio Bonito, do Subgrupo Guatá, seqüência pós-glacial do Grupo Tubarão, na região catarinense da bacia sedimentar do Paraná. Fez-se um extensivo estudo sistemático de seus elementos constituintes registrando-se os seguintes taxa novos: Ponsotheca lobifolia gen. et sp. nov.; Notoangaridium criciumensis (Rigby) gen. nov.; Arberiopsis boureaui gen. et sp. nov.; (?) Arberiopsis sp. A; (?) Arberiopsis sp. B; (?) Arberiopsis sp. C; Gangamopteris rigbyi sp. nov.; Glossopteris spathulato-cordata (Feistm.) emend. Banerjee & Ghosh var. dolianitii var. nov.; (?) Rhabdotaenia criciumensis (Dolianiti)n. comb. e Buriadia mendesii sp. nov. Muitas formas já conhecidas de outras regiões gondvânicas são, pela primeira vez, aqui registradas e outras ainda colocadas em sinonímia. Sua associação tafoflorística, mais ou menos, uniforme para toda a porção médio-superior daquela formação, corresponde à Tafoflora \"C\" de RÜSLER (1973). Apresenta-se como uma flora de Glossopteris, relativamente, pobre em elementos carboníferos nórdicos (Pecopteris, Sphenopteris) e onde as glossopteridófitas constituem cerca de 50% da associação, 40% dos quais são representados por elementos do gênero Glossopteris, com uma subordinação nítida de Gangamopteris. Coloca-se assim, entre as assembléias típicas da seqüência eogondvânica, pós-glacial, de Permiano Inferior-Médio (Artinskiano). Com base na litologia, na presença de um leaídeo e no tipo de fósseis sugere-se que o paleoambiente deposicional de camada fossilífera tenha sido o de planície de inundação. Fundamentando-se em reconstruções paleogeográficas elaboradas por paleomagneticistas e nas características da própria tafoflora crê-se que o clima predominante, durante a deposição da Camada Irapuá, foi o temperado frio. / Not available.

Neste trabalho abordamos a teoria da relaxação lagrangeana para resolução de problemas de programação linear inteira, a qual tem sido extensivamente usada e apresentado resultados satisfatórios. Esta abordagem busca reformular um problema inteiro, fazendo deste um problema mais simples. Para tal, relaxa-se algumas restrições, colocando-as como um termo \"penalidade\" na função objetivo, criando assim o chamado \"problema lagrangeano\". É formulado o problema dual, o qual pode ser resolvido pelo método subgradiente ou variações deste. A relaxação lagrangeana tem mostrado muita eficiência também quando usada para gerar limitantes para o algoritmo \"Branch-and-Bound\". Em muitos casos tais limitantes são melhores que os dado pela relaxação linear, gerando uma árvore de tamanho reduzido. Esta técnica lagrangeana tem sido aplicada com sucesso a um grande número de problemas importantes de pesquisa operacional, por exemplo: rotas, localização, sequenciamento, designação, cobertura entre outros. / In this work we survey the lagrangean relaxation theory to solve integer linear programming problems, which has been extensively used and showed satisfactory results. This approach searches a new formulation for the original problem, in which some constraints are removed and replaced as a \"penalty\" term in the objective function. This new problem is cal led \"lagrangean problem\". So, the dual problem is formulated, which can be solved via the subgradient method or its variants. The Lagrangean relaxation has proved to be efficient, when used to obtain bounds for the Branch-and-Bound algorithm. In many cases these bounds are better than those provided by the linear relaxation. In general, it yields a reduced tree. This lagrangean technique has been successfully applied to number of important problems of operational research as, for example: routing, location, scheduling, assignment, set covering and others.

Este trabalho trata do problema de Separação em Variedades por Mergulhos e Imersões. Consiste de três capítulos e o apêndice. O primeiro contém os conceitos matemáticos mais importantes e úteis para o desenvolvimento do trabalho. No segundo apresentamos teoremas sobre Separação por meio de mergulhos, dando também uma idéia geométrica do problema. No terceiro e último capitulo, estudamos e apresentamos as técnicas usadas na demonstração de um Teorema de Separação por imersões. Tal teorema foi enunciado por Mark E. Feighn em um artigo intitulado: \"Separation Properties of Codimension-1 Immersions\" [4]. Para finalizar, no apêndice são mostradas algumas aplicações dos teoremas de separação. / This work studies the problem of separation in manifolds by using embeddings and immersions. It consists of 3 chapters and a appendix. The first chapter contains the most important and useful mathematical concepts for the development of the work. In the second one we present separation theorems by embedding, giving also a geometric idea of the problem. In the third and final chapter, we study and present the techniques used in the demonstration of a separation theorem by immersion. Such a theorem was state by Mark E. Feighn in the article: \"Separation Properties of Codimension-1 Immersion\". Then in the appendix, some applications of the separation theorems are shown.

A Bacia Eleutério estende-se desde noroeste da cidade de Itapira (SP) até Jucutinga (MG) ao longo da porção sul da zona de Cisalhamento de Jacutinga (orientada segundo N60-70°E), que condicionou sua gênese e evolução. Caracteriza-se como uma bacia do tipo pull-apart, que se nucleou quando da movimentação transcorrente sinistral ao longo dessa zona de cisalhamento, no Eopaleozóico. O seu preenchimento ocorreu, num primeiro momento, com a contribuição de detritos oriundos da borda noroeste e, posteriormente, da borda sudeste. A sedimentação processou-se sob clima árido a semi-árido e sob forte controle tectônico, adquirindo caráter episódico. Desenvolveram-se, a partir das regiões de borda da bacia, sistemas de leques aluviais coalescentes e transicionais para a planície aluvial que, por sua vez, limitava-se distalmente com corpo d\'água lacustre ou marinho(?). Coadjuvou com os processos de sedimentação fluvial, principalmente durante os períodos entre chuvas torrenciais, a deflação eólica. A inversão e encurtamento da bacia ocorreu graças à modificação no sentido do movimento ao longo da zona transcorrente, de sinistral para dextral, implicando em deformação essencialmente rúptil, responsável por metamorfismo de grau muito baixo com geração da foliação \"S IND. 1\", adernamento das camadas (\"S IND. 0\") para NW e retalhamento da bacia ao longo da zona de cisalhamento. Apoiando-se em correlações realizadas com as outras bacias similares, condicionadas pela Faixa Ribeira, e nas correlações paleoclimáticas e paleogeográficas disponíveis para o Gondwana Ocidental durante o Eopaleozóico, sugere-se que essas bacias tiveram evolução sedimentar acompanhada da ingressão do oceano Proto-Pacífico pelo interior da Faixa, na forma de golfo, ao longo do qual se coalesciam. / A Bacia Eleutério estende-se desde noroeste da cidade de Itapira (SP) até Jucutinga (MG) ao longo da porção sul da zona de Cisalhamento de Jacutinga (orientada segundo N60-70°E), que condicionou sua gênese e evolução. Caracteriza-se como uma bacia do tipo pull-apart, que se nucleou quando da movimentação transcorrente sinistral ao longo dessa zona de cisalhamento, no Eopaleozóico. O seu preenchimento ocorreu, num primeiro momento, com a contribuição de detritos oriundos da borda noroeste e, posteriormente, da borda sudeste. A sedimentação processou-se sob clima árido a semi-árido e sob forte controle tectônico, adquirindo caráter episódico. Desenvolveram-se, a partir das regiões de borda da bacia, sistemas de leques aluviais coalescentes e transicionais para a planície aluvial que, por sua vez, limitava-se distalmente com corpo d\'água lacustre ou marinho(?). Coadjuvou com os processos de sedimentação fluvial, principalmente durante os períodos entre chuvas torrenciais, a deflação eólica. A inversão e encurtamento da bacia ocorreu graças à modificação no sentido do movimento ao longo da zona transcorrente, de sinistral para dextral, implicando em deformação essencialmente rúptil, responsável por metamorfismo de grau muito baixo com geração da foliação \"S IND. 1\", adernamento das camadas (\"S IND. 0\") para NW e retalhamento da bacia ao longo da zona de cisalhamento. Apoiando-se em correlações realizadas com as outras bacias similares, condicionadas pela Faixa Ribeira, e nas correlações paleoclimáticas e paleogeográficas disponíveis para o Gondwana Ocidental durante o Eopaleozóico, sugere-se que essas bacias tiveram evolução sedimentar acompanhada da ingressão do oceano Proto-Pacífico pelo interior da Faixa, na forma de golfo, ao longo do qual se coalesciam.

Esta dissertação de mestrado aborda o problema de balanceamento de carga em ambientes paralelos virtuais, com aplicações desenvolvidas em PVM-W95. São considerados no desenvolvimento deste trabalho algoritmos de balanceamento estáticos e dinâmicos, incluindo métodos de distribuição e de migração de tarefas. O trabalho apresenta uma vasta revisão bibliográfica que cobre os principais métodos e algoritmos de balanceamento de cargas em ambientes distribuídos e paralelos, propostos nos últimos anos. Os métodos e algoritmos relevantes para o domínio de aplicação considerado são cuidadosamente investigados. Os algoritmos estudados são implementados como parte dos programas de aplicação e o estudo desenvolvido abrange fundamentalmente programas com alto processamento numérico. Os resultados obtidos mostram claramente que o método gradiente e os algoritmos globais são os mais eficientes para os programas aplicativos desenvolvidos e para o ambiente paralelo virtual adotado. / This MSc dissertation approaches the load balancing problem in parallel virtual environments, with applications developed in the PVM-W95. Static and Dynamic load balancing algorithms are considered in the developement of this work, including methods for both task distribution and task migration. The work shows a wide literature review covering the main methods and algorithms for load balancing in distributed and parallel environments, proposed over the last few years. The relevant methods and algorithms for the application domain considered are carefully investigated. The algorithms studied are implemented inbeded into the application programs and the study developed mainly covers programs with high numerical processing tasks. The results obtained clearly shows that the gradient method and the global algorithms are the more efficient ones for the application programs developed and for the parallel virtual environment adopted.

Este trabalho discute o potencial e, principalmente, os problemas decorrentes do uso de sistemas hipermídia tradicionais (i.é redes de páginas manipuladas por browser) em aplicações de ensino & aprendizagem. Argumenta-se que um dos grandes problemas dos sistemas hipermídia consiste na usual falta de qualquer controle sobre a navegação do usuário, que pode refletir negativamente no processo de aprendizagem. O trâbalho propõe, e implementa no protótipo SASHE, o uso de recursos extremamente simples, como a associação de atributos aos nós do hiperdocumento, bem como a exploração da característica de aninhamento (ou composição) de nós, já usual nos modelos conceituais de hipermídia, para modelar aplicações hipermídia que atendam a algumas das necessidades tanto do autor quanto do estudante. Tais contribuições consistem em: a) oferecer mais recursos ao usuário-estudante, além das funções de controle; isto se dá através de um conjunto botões da interface para o acesso a informações contextuais, de controle e estratégicas (busca de nós alternativos de acordo com dificuldade associada e nó atual); b) oferecer mais recursos ao usuário-autor, no sentido de fornecer-lhe ferramentas de autoria de hiperdocumentos \"qualificados\" para aplicações no ensino (independente do domínio de conhecimento), bem como de possibilitar a criação de roteiros que imprimem uma forma de controle \"flexível\": ao selecionar cada nó que fará pafte de um roteiro, o autor pode definir um \"grau de liberdade\" associado, correspondente a um contexto da hierarquia que engloba aquele nó. O autor, ao definir os limites de \"fuga\" do roteiro, indica quais informações periféricas podem contribuir à leitura do estudante, sem interferirem negativamente nos objetivos do autor. / This work discusses the potential and the problems which arise from the use of traditional hypermedia systems in educational applications. One of the most controversial point is the lack of control on the student. Experiences have shown negative results when there is no such control. This work proposes, and implement in the prototype SASHE, the use of simple resources, such as nodes attributes and nested context nodes, to model hypermedia applications which address some author and students goals. Its contributions include: a) to offer other resources to the student which are different from the usual control functions of the browser; this is achieved through a set of interface buttons to access contextual, control and tactical information (the latter consists in searching alternative nodes according to difficulty values and to the actual node); b) to offer authoring tools which are specific for educational application and knowledge domainindependent and which make possible the creation of flexible guided-tours: when selecting a node to be added to the guided-tour, the author can define an associated \"level of freedom\" which corresponds to a context node which contains the selected node. This author\'s definition of a \"escape limit\" to the student determines which information is consídered relevant (and are preserved into the context) or not (are left out the context).

Nesta dissertação de mesûado, exploramos os modelos estatísticos de confiabilidade de softrvare que utilizam os processos de Poisson homogêneo e não homogêneo para modelagem dos dados de falhas. Para modelar os instantes de falhas, escolhemos a classe de modelos de estatísticas de ordem proposta por Yang (1994). Propomos uma extensão desses modelos, considerando a distribuição gaussiana inversa, para modelar a função de valor médio dos processos de Poisson não homogêneo. Os métodos considerados para fazet inferências pam os parâmetros de interesse são os métodos Bayesianos. Exploramos, ainda, o uso de algorinnos de Metropolis com etapas Gibbs para desenvolver a inferência Bayesiana. Tendo em vista a verificação das suposições dos modelos de estatísticas de ordem, desenvolvemos e incorporamos algumas técnicas Bayesianas de diagnóstico. Baseamos a seleção de modelos nos valores de predição ordenados. A metodologia desenvolvida neste trabalho é exemplificada com conjuntos de dados introduzidos por Jelinski e Moranda (1972) e Goel (1985). / In this dissertation, we explore software reliabilþ models based on homogeneous and nonhomogeneous Poisson process to model softrvare failure data. To model the epochs of the software failures, we choose the family of order statistics models introduced by yang (1994). we propose some generalization of these models considering the Gaussian inverse distribution, to model the mean value function of the nonhomogeneous Poisson process. The proposed methods to get inferences on the pararneters of interest are given by the Bayesian approach. V/e also explore the use of Metropolis-with-Gibbs algorithms to obtain the posterior summaries of interest. To veriff the adequability of the proposed models, we develop some diagnostic Bayesian methods. We choose the best model, based on the values of ordinated predictives. The methodolory presented in this work is illusfiated with the data sets introduced by Jelinski and Moranda (1972) andGoel (19g5).

Este trabalho apresenta um método numérico para resolver escoamentos axisimétricos não-Newtonianos com superfícies livres. A metodologia empregada é uma extensão do código bidimensional GENSMAC para problemas axisimétricos. O código GENSMAC é uma técnica numérica que utiliza o método das particulas marcadoras ( \"marker-and-cell\" ) para simular escoamentos incompressíveis transientes. As equações governantes são resolvidas usando o método de diferenças finitas numa malha diferenciada ( \"staggered grid\" ). O fluido é representado por partículas marcadoras, as quais permitem a localização e visualização da superfície livre do fluido. Vários exemplos que demonstram a aplicação dessa nova técnica são apresentados. Em particular, a simulação de enchimento de moldes, do \"die-swell\" e do \"splashing drop\" são apresentados. / This work presents a numerical method for solving axisymmetric non-Newtonian flows. The methodology is an extension of the two-dimensional GENSMAC code to axisymmetric flows. GENSMAC is a marker-and-cell technique for investigating the dynamics of an incompressible fluid. It solves the governing equations using the finite difference method on a staggered grid. The fluid is represented by marker particles which provide the location and visualization of the free surface. Various results demonstrating the applicability of this new technique is presented. In particular, the simulation of die-swell, container filling and the splashing drop is given.

Nesta dissertação de mestrado, apresentamos uma abordagem clássica e Bayesiana para o modelo de Captura-Recaptura proposto por Nayak (1988) para obter informação sobre o número de falhas, N, em um sistema de confiabitidade. A probabilidade de corrigir um elro, p, é assumida ser conhecida e desconhecida. Mostramos que o e.m.v. de N depende não somente das freqüências dos erros detectados, como também dos tempos entre falhas. A \'sensibilidade\' da distribuição a posteriori de N com respeito a p e a influência dos tempos entre falhas, são considerados através da distância da variação total e divergência de Kullback-Leibler. Também mostramos que a correção por recaptura é uma condição necessária para a existência da distribuição a posteriori de N quando utilizamos uma priori imprópria. / In this dissertation we describe a likelihood and Bayes approaches for the recapture debugging design proposed by Nayak (1988) to get information about the number of faults, N, in a reliability system. It is considered that the debugging is only sucessful with known and unknown probability p. It is shown that the mle of N depend not only of the frequencies of detect bugs but also of the times between bugs. The sensibility of the posterior distribution of N with respect to p and the influence of the time data are numerically considered via variational distance and Kullback-Leibler divergence. Also, it is shown that the recapture debugging is a necessary and sufftcient condition for the existence of the posteriori distribution of N when an improper priori is imposed.

Este trabalho estuda implicações do tempo na modelagem de dados e o tratamento a ele dispensado nos Modelos de Dados construídos para este fim. Busca-se soluções à representação do tempo em Sistemas de Informações apoiados em BD relacionais . Para este fim foram pesquisados conceitos de tempo, modelos de dados temporais e outras soluções propostas na literatura. A base desta pesquisa é resolver situações práticas de um projeto de Sistema de Informações (estudo de caso em uma Empresa de Telefonia) onde o tratamento de tempo é imprescindível. são propostas soluções que incorporam o tratamento de tempo no Modelo Entidade-Relacionamento Estendido, as quais podem ser generalizadas para atender problemas com características semelhantes. / This research studies the implications of time in data modelling and its treatment in Temporal Data Models constructed for this objective. It searches solutions to the time representations in Information Systems based on relational databases. To reach our aim, we researched time concepts, temporal data models\' and other solutions proposed in the literature related to this subject. Our main objective was to resolve the practical situations of an Information System project (case study of a telecommunications company in Brazil) where time treatment is essential. Solutions that incorporate Time representation in Extended Entity- Relationship Model (EE-R) are proposed. These solutions can be generalized to solve problems with similar characteristics.