[pt] A caracterização das pressões de poros nas bacias sedimentares marinhas é fundamental dentro da etapa de planejamento dos projetos de perfuração na indústria do Petróleo. Uma vez que o desconhecimento dessas pressões coloca em risco a integridade das pessoas nas sondas de perfuração, o ambiente, além de causar grandes prejuízos para as companhias. As metodologias para a estimativa das poropressões na indústria do petróleo tiveram grande desenvolvimento a partir da década de1950. Porém, a grande maioria delas não levam em consideração caraterísticas geológicas importantes como a diagêneses das rochas, as condições de contorno para o fluxo de fluidos, e os mecanismos de dissipação das sobrepressões durante o tempo geológico. Por isso, o principal objetivo do trabalho é fortalecer os estudos convencionais de estimativa de pressão de poros incluindo uma metodologia não convencional com abordagem na modelagem de bacias. Essa metodologia permite analisar o fenômeno como um sistema dinâmico, bem como levar em consideração os mecanismos de geração e de dissipação das pressões durante a evolução geológica da Bacia. Apresenta-se a descrição dos principais mecanismos de geração de sobrepressão, a teoria que descreve o fenômeno das sobrepressões, as metodologias convencionais utilizadas na indústria do petróleo e as hipóteses da metodologia baseada na modelagem de bacias. Utilizou-se o software SEMIMT, do instituto de pesquisa da Noruega, o SINTEF, para realizar a estimativa das poropressões na Bacia de Guajira, uma região offshore do norte da Colômbia. A estimativa das pressões considerou os contornos da bacia, o modelo geológico da região, o histórico de soterramento da Bacia, bem como de modelos de compactação e os modelos de fluxo vertical e fluxo horizontal dos fluidos. O resultado da estimativa das pressões permitiu definir quatro zonas com diferente grau de sobrepressão na área em estudo, que foram comparados com uma metodologia convencional, bem com dados históricos de poços perfurados na região. / [en] Pore pressure prediction is a critical issue for well planning in the oil and gas industry. It is even more critical for offshore environments due to high risks involved in drilling operation. Blowout is the main risk regarding pore pressure since it could cause rig explosion, and oil spills to environment. Such problems can lead a successful company to a very weak position. Therefore, since the fifties, several methodologies for pore pressure prediction have been developed for the industry. Most of them just consider the mechanism of compaction as the main cause of overpressure, ignoring other factors such as rock diagenesis, boundary conditions for fluid flow, and pressure dissipation during the geologic history. That is why the main objective of this work is improving current pore pressure studies, including an alternative methodology (developed by the Norway Petroleum Research Institute - SINTEF), from a scale of basin modeling. That methodology allows analyzing the pressure phenomenon like a dynamic system, where the interaction of the overpressure and the pressure dissipation mechanisms are considered during the geological history. In this paper, main characteristics of overpressure mechanisms are briefly described as well as common methodologies used in the Oil and Gas industry for pressure prediction. Furthermore, the most important hypothesis for basing modeling methodology is described. SEMIMT software was used to predict pore pressure in Guajira Basin, an offshore region located in north Colombia. Results of basin modeling methodology allowed defining four overpressure zones which fit adequately with wells data. Besides, that result was compared with a conventional methodology. Finally, a discussion about the results is presented, highlighting the main advantages and disadvantages observed in this research.

[pt] O primeiro estágio na linha de produção de um sistema de geração procedural de cidades é, tipicamente, a geração da malha rodoviária. Este trabalho apresenta um algoritmo para a geração de malhas rodoviárias em paralelo na GPU usando um modelo de execução baseado em filas de trabalho. Esse algoritmo recebe parâmetros declarativos, juntamente com mapas geográficos e sócio estatísticos, e produz uma representação em alto nível de uma malha rodoviária urbana. / [en] The first stage in the pipeline of a procedural city generation system is typically the generation of the road network. This work presents a parallel algorithm for road networks generation on the GPU, using a work-queue based execution model. This algorithm receives declarative parameters along with geographic and socio-statistical maps and produces a high level representation of an urban road network.

[pt] O presente trabalho avalia a utilização de elementos enriquecidos para obtenção de cargas críticas, freqüências de vibração e seus respectivos modos de peças estruturais bidimensionais (flexão de placas retangulares sujeitas a compressão em seu plano). O método de aproximação empregado foi o de Rayleigh-Ritz voltado para o uso de elementos finitos convencionais enriquecidos com funções de deslocamentos adicionais internas e de contorno. As funções ditas internas são desenvolvidas de forma a não envolver deslocamentos e rotações nodais e no contorno. Já as funções ditas de contorno são concebidas de forma a envolver apenas deslocamentos internos e ao longo de um lado apenas, sem deslocamentos generalizados nodais. Para este estudo foram desenvolvidas duas famílias de funções, uma com termos adicionais trigonométricos e outra com termos adicionais polinomiais. Para o cálculo de cargas críticas e freqüências são utilizadas as matrizes de rigidez elástica, rigidez geométrica e de massa, introduzidas em problemas generalizados de autovalores. Resultados numéricos são obtidos através de procedimentos computacionais utilizando o software Maple. Verifica-se que as funções adicionais trigonométricas, embora mais satisfatórias que as polinomiais quanto à convergência, exigem maior esforço computacional. São comparados resultados de elementos para placas esbeltas (teoria de Kirchhoff), com três e quatro graus de liberdade por nó, onde o quarto grau de liberdade corresponde à derivada mista (torção). Mostra-se que as funções adicionais, não-nodais, requerem o uso do elemento com quatro graus de liberdade por nó, para se ter convergência no cálculo das cargas críticas e freqüências em situações gerais. Outros exemplos abordam preliminarmente a inclusão de efeitos de dano e ortotropia no material, visando a modelagem de lajes comprimidas e pilares com seções retangulares alongadas. Esta modelagem envolvendo combinação de funções adicionais gerais e elementos convencionais representa um passo no desenvolvimento de uma técnica aplicável à combinação de modos globais e localizados de instabilidade / [en] The focus of the present work is to developand evaluate enriched elements used to obtain critical loads, frequencies of vibration and respective modes for two-dimensional structural components (rectangular plates in bending under inplane compressive loading). The Rayleigh-Ritz approximation method has been employed, directed to the use of conventional finite elements enriched by internal and boundary additional displacements functions. The socalled internal functions are do not involve nodal and boundary displacements and rotations. The boundary functions are conceived to include displacements within the element and along one side, without involving any generalized nodal displacements. Two displacement function families were developed, the first with trigonometric additional terms and the second with polynomial additional terms. Critical loads and frequencies, and respective modes, are obtained by the use of elastic stifiness, geometric, and mass matrices, introduced in generalized eigenvalue problems. Numerical results are obtained by computational procedures using Maple software. The trigonometric additional functions, in spite of better convergence properties, demand greater computational effort. The basic elements are classical thin plate elements (Kirchhoff's theory) with three or four degrees of freedom per node, where the fourth degree of freedom corresponds to the mixed derivative (torsion). The results indicate that non- nodal additional functions require the use of elements with four freedom degrees by node to obtain convergence of critical loads and frequencies convergence in general situations. Other examples consist of preliminary approaches to include damage effects, in reinforced orthotropic plates, as modeling columns with wide rectangular sections and compressed slabs. The use of general additional functions combined with conventional elements represents a step on the development of a technique applicable to global and localized instability modes.

[pt] Observam-se, na atualidade, novas formas de identidades masculinas sendo ofertadas a partir da ênfase na estética do corpo e da moda. Visando contribuir com os múltiplos agentes do setor de moda masculina para um maior conhecimento de seus consumidores, este estudo utilizou o conceito de envolvimento com vestuário como principal ferramenta para explorar a relação dos homens do Rio de Janeiro com os assuntos ligados ao vestuário. As seguintes questões centrais foram lançadas: Quais os atuais níveis de envolvimento dos homens com o vestuário? Quais fatores podem exercer influências em tais níveis? Quais as possíveis conseqüências desses níveis no comportamento de consumo masculino? Assim, foi proposto um modelo teórico relacionando os níveis de envolvimento dos homens com vestuário a três antecedentes (percepção dos valores simbólicos, hedônicos e utilitários do vestuário) e três conseqüentes (busca de informação, percepção da importância dos diferentes atributos da roupa e percepção de diferenças entre as marcas de roupa masculina). Tal modelo foi testado, através da técnica da Modelagem de Equações Estruturais, alcançando índices de ajuste satisfatórios. A análise do modelo indicou quais antecedentes e conseqüentes obtiveram apoio empírico. / [en] Nowadays, it can be observed that new forms of male identity have been created stemming from the emphasis placed on physical fitness and fashion. With the aim of providing the multiple agents in the male fashion sector with data that could help them learn more about their customers, this study has made use of the concept of apparel involvement as its main tool in examining how males from Rio de Janeiro relate to matters concerning apparel. The following are the central questions guiding this study: What are the present levels of male involvement with apparel? What are the factors that may influence these levels? How could these levels possibly affect the behavior of male consumers? Thus, a theoretical model has been proposed that links the levels of apparel involvement of males with three antecedents, namely perception of the symbolic, hedonic and utilitarian values of apparel, and with three consequences, namely search for information, perception of the relevance of the different attributes of clothes, and perception of differences among male clothing brands. The model has been tested through the Structural Equation Modeling technique and it has reached satisfactory fit indexes. The analysis of the model has indicated which antecedents and consequences of apparel involvement received empirical support.

[pt] O tema central deste trabalho é apresentar modelos de persistência. As probabilidades de persistência na carteira de um produto de determinada empresa de seguros e previdência serão estudadas de forma agregada, de tal forma que se torna possível a elaboração de outros estudos, como por exemplo, de análise de lucratividade, mesmo com poucos dados, o que inviabiliza a elaboração de tábuas de múltiplos decrementos. Serão avaliadas as possíveis causas de saídas de acordo com as características do plano. O desenvolvimento dos modelos tomam por base dados em forma de triângulo, técnica normalmente utilizada para cálculo de provisões de seguros. / [en] The objective of this work is to present persistency models. The probabilities of remaining in a Insurance and Pension company portfolio will be studied in a aggregate way, in this way it is possible to develop another results such as profitability, even though, there is poor data, what turns impossible to build multiple decrement tables. The possible lapses causes will be evaluated according to the plan. The models development is based on triangular data, this technique is usual on claims reserving.

[pt] Este trabalho consiste em desenvolver e avaliar modelos clássicos de elementos finitos combinados com funções polinomiais adicionais, para a obtenção de cargas críticas de instabilidade e freqüências naturais de estruturas planas, com seus respectivos modos. O objetivo consiste em buscar uma sistemática confiável para obter estimativas de deformações localizadas em regime próximo ao colapso. Utiliza-se o método dos Elementos Finitos em combinação com o método clássico de Rayleigh-Ritz. Como elemento fundamental para tal estudo, emprega-se o elemento retangular de Barber-Weaver, que contém quatro nós, cada nó com duas translações e duas rotações independentes (equivalentes a uma rotação e uma distorção angular). Esse elemento é enriquecido com funções de deslocamentos adicionais internas e de contorno, em forma de séries polinomiais gerais. Esse conjunto de funções é incorporado nas expressões de energia para levar ao estabelecimento de matrizes de rigidez elástica, geométrica e de massa. Tais matrizes permitem estabelecer problemas generalizados de autovalor para obtenção de cargas críticas e freqüências, e respectivos modos de flambagem e vibração. Para os estudos numéricos comparativos apresentados nos exemplos, são implementadas diversas rotinas usando o software Maple 9.0. Os resultados mostram que a metodologia apresentada pode ser usada no desenvolvimento de uma técnica aplicável à obtenção de modos globais e localizados de instabilidade, quando há a combinação de efeitos não lineares geométricos e de material. / [en] This work consists in developing and evaluating classical of finite element models combined with additional polynomial functions, to obtain critical loads of instability and natural frequencies of plane structures, and respective modes. The objective is to search for a reliable technique to get estimates of localized deformations near to collapse. The Finite Elements method is used in combination with the classic method of Rayleigh-Ritz. As a basic element for such study, the rectangular element of Barber-Weaver is used, containing four nodes, each one with two translations and two independent rotations (equivalents to a rotation and an angular distortion). This element is enriched with additional internal displacement functions and with functions on the boundary, forming general polynomial series. These nodal functions are incorporated in the energy expressions leading to the establishment of elastic stiffness, geometric, and mass matrices. Such matrices allow the establishment of generalized eigenvalue problems to obtain critical loads and frequencies, and the respective modes of buckling and vibration. For the comparative numerical studies presented in the examples, several routines are implemented using software Maple 9.0. The results show that the methodology presented herein can be used in the development of an applicable technique to the ascertainment of instability in global and located modes, when there is a combination of geometric nonlinear and material effects.

[pt] Os desafios de estudar formas levaram matemáticos a criar abstrações, em particular através da geometria diferencial. Porém, formas simples como cubos não se adequam a ferramentas diferenciáveis. Este trabalho é uma tentativa de usar avanços recentes da análise, no caso a teoria das distribuições, para estender quantidades diferenciáveis a objetos singulares. Como as distribuições generalizam as funções e permitem derivações infinitas, substituição das parametrizações de subvariedades clássicas por distribuições poderia naturalmente generalizar as subvariedades suaves. Isso nos leva a definir D-imersões. Esse trabalho demonstra que essa formulação, de fato, generaliza as imersões suaves. Extensões para outras classes de subvariedades são discutidas através de exemplos e casos particulares. / [en] The challenge of studying shapes has led mathematicians to create powerful abstract concepts, in particular through Differential Geometry. However, differential tools do not apply to simple shapes like cubes. This work is an attempt to use modern advances of the Analysis, namely Distribution Theory, to extend differential quantities to singular objects. Distributions generalize functions, while allowing infinite differentiation. The substitution of classical immersions, which usually serve as submanifold parameterizations, by distributions might thus naturally generalize smooth immersion. This leads to the concept of D-immersion. This work proves that this formulation actually generalizes smooth immersions. Extensions to non-smooth of immersions are discussed through examples and specific cases.

[pt] A combinação de modelos numéricos com modelos computacionais tem contribuido muito para o melhor entendimento matemático de fluxos gravitacionais, porém esses modelos não podem substituir a análise através de trabalhos experimentais. O uso de modelos físicos em escala provou ser essencial na validação de equações para modelagem de correntes de turbidez. Com o objetivo de diminuir o nível de dificuldade em modelar numericamente essas correntes e de gerar modelos computacionais de alto desempenho, algumas simplificações foram feitas durante o desenvolvimento das equações de velocidade. Dessa forma, para provar que tais simplificações não iriam alterar os resultados numéricos do modelo, foram realizados inúmeros experimentos, coletando informações sobre a evolução espaço- temporal de velocidades das correntes de turbidez não- confinadas com e sem partículas. Comparando os resultados do modelo numérico com os do modelo físico, foi concluído que, infelizmente, as aproximações influenciaram os resultados. Contudo, os dados e a comparação visual entre as simulações também revelaram alguns resultados encorajadores, os quais estimularão pesquisas futuras para se melhorar a precisão da equação de velocidade utilizada no modelo numérico. / [en] The combination between numerical and computer models has improved dramatically the mathematical understanding of gravity currents; however, these models can not replace the analysis by experimental work. The use of scaled analogue models, or physical models, proved to be essential in validating velocity equations for turbidity currents. In order to reduce the level of difficulty to model mathematically these currents, some approximations were applied during the development of the velocity equation. Therefore, willing to prove that these approximations would not compromise the numerical results, innumerous experiments were performed to acquire a spatio-temporal velocity evolution database for both unconfined particle free and particulate turbidity flows. Comparing the results from the numerical and physical simulations, it was concluded that, unfortunately, the approximations have influenced the numerical results. Nevertheless, the data and visual comparisons between the simulations also revealed some encouraging results, which will stimulate some future research to improve the accuracy of the depth-averaging velocity equation.

[pt] Nesta tese, apresentam-se estratégias de modelagem envolvendo modelos estruturais para a previsão do preço spot de energia elétrica do subsistema do Sudeste-Brasil. Foi utilizada a modelagem proposta por Harvey (1989), que extrai componentes não observáveis da série. Foram elaborados três modelos. No primeiro, utilizou-se somente o histórico da série. No segundo, inseriu-se uma variável de intervenção para o racionamento de energia ocorrido no Brasil no período de junho de 2001 a fevereiro de 2002. Por último, acrescentaram-se duas variáveis explicativas. / [en] In this thesis, modelling strategies are presented involving structural models to forecast the spot price of electric energy of Brazil. It had been used the modelling proposal of Harvey (1989) that extracts non-observable components of the series. Three models had been elaborated. In the first one, was adjusted only with the historical of the series. In the second, an intervention variable for the rationing occurred in Brazil in the period of June of 2001 till February of 2002 was inserted. Finally, in the last one, two explanatory variables were introduced.

[pt] Projetos de genômica e biológica molecular estão gerando dados cujos volumes e complexidades jamais foram observados nesta área. Além disso, fontes de dados e de conhecimento são produzidas e utilizadas por grupos de pesquisa os quais utilizam terminologias diferentes (sinônimos, apelido e fórmulas), sintaxes diferentes (estrutura de arquivos e separadores) e semânticas diferentes (intra e interdisciplinares homônimos). O sucesso da pesquisa em biologia dependerá da correta representação e manipulação dos dados biológicos permitindo os cientistas criarem, gerenciarem, manipularem, integrarem e analisarem os dados de forma a gerar informação e conhecimento. Neste trabalho, estudamos os problemas para representação de dados biológicos apresentados nas principais linguagens de modelagem tradicionais. Em seguida, levantamos os requisitos para um novo modelo de dados conceitual para biologia molecular. Finalmente, propomos um novo modelo conceitual contendo construtores específicos para solucionar alguns dos problemas estudados. Além disso, formalizamos o modelo proposto usando lógica de primeira ordem e utilizamos esta descrição lógica para realizar inferências que auxiliem o trabalho do projetista de banco de dados durante a criação de um esquema de banco de dados. / [en] Genomic and molecular biology projects are generating knowledge data whose volume and complexity are unparalleled in this research area. In addition, data and knoweledge sources produced and used by research groups have terminological differences (synonyms, aliases and formulae), syntactic differences (file structure, separators and spelling) and semantic differences (intra- and interdisciplinary homonyms). In this context, data management techniques play a fundamental role for biological applications development because it offers adequate abstractions to desing, implement, access and manage data, in order to generate knowledge. In this work, we study the representation problems presentd in traditional languages. Following, we raise the main requiremants for a new conceptual data model specially conceived for molecular biology. Finally, we propose a new conceptual data model with special types of constructor tryng to solve some of the representation problems discurssed before. In addition, we formalize our proposed model using first-order logic and we use this logical description to infer some properties that may help database designer during the elaboration of database schema.