Otimização topológica de estruturas bidimensionais contínuas submetidas a restrições de flexibilidade e tensão

Neste trabalho é resolvido o problema da minimização do volume de estruturas bidimensionais contínuas submetidas a restrições sobre a flexibilidade (trabalho das forças externas) e sobre as tensões, utilizando a técnica chamada otimização topológica, que visa encontrar a melhor distribuição de material dentro de um domínio de projeto pré-estabelecido. As equações de equilíbrio são resolvidas através do método dos elementos finitos, discretizando a geometria e aproximando o campo de deslocamentos. Dessa forma, essas equações diferenciais são transformadas em um sistema de equações lineares, obtendo como resposta os deslocamentos nodais de cada elemento. A distribuição de material é discretizada como uma densidade fictícia constante por elemento finito. Esta densidade define um material isotrópico poroso de uma seqüência pré-estabelecida (SIMP). A otimização é feita através da Programação Linear Seqüencial. Para tal, a função objetivo e as restrições são sucessivamente linearizadas por expansão em Série de Taylor. A análise de sensibilidade para a restrição de flexibilidade é resolvida utilizando o cálculo da sensibilidade analítico adaptado para elementos finitos de elasticidade plana. Quando as restrições consideradas são as tensões, o problema torna-se mais complexo. Diferente da flexibilidade, que é uma restrição global, cada elemento finito deve ter sua tensão controlada. A tensão de Von Mises é o critério de falha considerado, cuja sensibilidade foi calculada de acordo com a metodologia empregada por Duysinx e Bendsøe [Duysinx e Bendsøe, 1998] Problemas como a instabilidade de tabuleiro e dependência da malha sempre aparecem na otimização topológica de estruturas contínuas. A fim de minimizar seus efeitos, um filtro de vizinhança foi implementado, restringindo a variação da densidade entre elementos adjacentes. Restrições sobre as tensões causam um problema adicional, conhecido como singularidade das tensões, fazendo com que os algoritmos não convirjam para o mínimo global. Para contornar essa situação, é empregada uma técnica matemática de perturbação visando modificar o espaço onde se encontra a solução, de forma que o mínimo global possa ser encontrado. Esse método desenvolvido por Cheng e Guo [Cheng e Guo, 1997] é conhecido por relaxação-ε e foi implementado nesse trabalho.

Linguagem de consulta temporal : definição e implementação

Até hoje, não existem implementações de SGBDs Temporais disponíveis no mercado de software. A tradução de linguagens de consulta temporais para o padrão SQL é uma alternativa para implementação de sistemas temporais com base em SGBDs comerciais, os quais não possuem linguagem e estrutura de dados temporais. OASIS (Open and Active Specification of Information Systems) é uma linguagem que serve como repositório de alto nível para especificação formal orientada a objetos e geração automática de software, em diversas linguagens, através da ferramenta CASE OO-Method. As aplicações geradas desta forma utilizam, como meio de persistˆencia de objetos, SGBDs comerciais baseados na abordagem relacional. A linguagem OASIS foi estendida com aspectos temporais. A extensão de OASIS com aspectos temporais requer a especificação de um modelo de dados e de uma linguagem de consulta temporais que possam ser utilizados em SGBDs convencionais. Há duas abordagens para resolver o problema. A primeira baseia-se em extensões da linguagem e/ou do modelo de dados de modo que o modelo não-temporal é preservado. A segunda, abordagem de generalização temporal, é mais radical e não preserva o modelo não-temporal. A linguagem ATSQL2 fornece recursos adequados aos conceitos encontrados na abordagem de generalização temporal. Neste trabalho utiliza-se os conceitos de generalização temporal preservando o modelo não-temporal. A presente dissertação tem por finalidade propor um modelo de dados para suporte à extensão temporal da linguagem OASIS, bem como estender a linguagem ATSQL2 para facilitar as consultas a eventos temporais. O sistema de tradução da linguagem de consulta temporal para SQL é também adaptado ao modelo de dados proposto.

Migração de sistemas legados

Mesmo depois de todas as novidades tecnológicas nos últimos anos, ainda existem muitos sistemas desenvolvidos com tecnologias antigas, muitas vezes ultrapassadas e obsoletas denominados sistemas legados. O problema do bug do ano 2000 funcionou como um excelente despertador para o fato de que não podemos nos esquecer do grande número de sistemas ainda em produção, e que são importantes para a empresa. Não se pode simplesmente descartar estes sistemas e é muito difícil migrar sistemas legados rapidamente para novas plataformas. Mais ainda, as regras de negócio que regem qualquer empresa são muito complexas para poderem ser modeladas e remodeladas em poucos meses e em seguida automatizadas porque a maior dificuldade em desenvolver sistemas não é escrever código nesta ou naquela linguagem, mas entender o que o sistema deve fazer. Este trabalho enfoca uma solução possível para o problema referente à migração de sistemas legados: a tradução destes sistemas legados da forma mais automatizada possível para que possam se beneficiar das novas tecnologias existentes deve ser o resultado final produzido. Assim, o objetivo desta dissertação é a investigação do problema de migração de sistemas legados e suas soluções assim como o desenvolvimento de uma ferramenta que traduz um sistema legado escrito na linguagem COBOL para PROGRESS, visando o aproveitamento do código e principalmente o aproveitamento de soluções de análise e projeto, que exigiram bastante esforço para serem elaboradas e poderiam ser reutilizadas em novos desenvolvimentos.

Simulação numérica da interação de escoamentos tridimensionais de fluidos compressíveis e incompressíveis e estruturas deformáveis usando o método de elementos finitos

Neste trabalho apresenta-se um algoritmo para a simulação de problemas tridimensionais de interação fluido-estrutura utilizando a técnica de elementos finitos. Um esquema de Taylor-Galerkin de dois passos e elementos tetraédricos lineares são empregados para o fluido, que pode ser compressível ou incompressível. É adotada uma formulação lagrangeana-euleriana arbitrária (ALE), compatível com o movimento da interface fluidoestrutura. Um método ftacionado de correção de velocidade é utilizado para os fluidos incompressíveis. A estrutura é analisada usando elementos triangulares com três nós e seis graus de liberdade por nó (três componentes de deslocamentos e três componentes de rotação). Os efeitos da não-linearidade geométrica são incluídos. O método de Newmark é empregado para integrar no tempo as equações dinâmicas de equilíbrio, usando-se uma descrição lagrangeana atualizada. O sistema de equações alge'bricas é solucionado através do método dos gradientes conjugados e o sistema não-linear, resultante de deslocamentos e rotacões finitas da estrutura, é solucionado com um esquema incremental-iterativo. O código é otimizado para aproveitar as vantagens do processamento vetorial.

Otimização em dois níveis da orientação e da topologia de cascas laminadas

Este trabalho é uma contribuição para o conhecimento de metodologias de projeto de estruturas de material composto, aplicando métodos de otimização estrutural a cascas laminadas e apresentando uma estratégia em dois níveis. No primeiro nível é realizada a minimização da flexibilidade da estrutura, tendo como variável de projeto a orientação de cada lâmina da estrutura. Utiliza-se Programação Linear Seqüencial (SLP) e direção de tensão principal para otimização da orientação. No segundo nível minimiza-se o volume de cada lâmina, usando a flexibilidade total da estrutura como restrição e a densidade relativa como variável de projeto, também através de SLP. Para evitar aparecimento de áreas com densidades intermediárias, utiliza-se um Método de Continuação, dividindo o nível de otimização topológica em duas ou mais etapas. As formulações desenvolvidas permitem a solução de problemas com múltiplos casos de carregamento. Para a solução da equação de equilíbrio de casca laminada, utiliza-se um elemento finito de casca degenerado de oito nós com integração explícita na direção da espessura. A implementação desse elemento é feita de modo a facilitar a obtenção das derivadas da matriz de rigidez, necessárias na linearização das funções objetivo e restrições. Evita-se assim o uso de derivadas numéricas. Resultados para vários tipos de estrutura são apresentados, incluindo comparações entre diferentes carregamentos, condições de contorno, número de lâminas, espessuras, etc. As soluções obtidas, formas de análise e possíveis aplicações são discutidas.

Um Modelo hierárquico baseado em políticas para o gerenciamento integrado de redes de computadores e grids computacionais

Como resultados constatou-se que o modelo de tradução de políticas proposto permite automatizar o gerenciamento da infra-estrutura de grid e rede. Além disso, a solução apresentada fornece novas facilidades de gerenciamento em comparação as soluções de gerenciamento de grid baseadas em políticas encontradas na literatura. A implementação do protótipo do modelo junto ao sistema QAME permitiu que o gerenciamento do grid e da rede fosse realizado de maneira integrada usando uma hierarquia de tradução de políticas.

A alma russa de um nordestino : Graciliano Ramos leitor de Dostoiévski

A aproximação entre Graciliano Ramos e Dostoiévski se dá quase instantaneamente para quem os lê. No caso de Angústia e Crime e castigo, a semelhança se acentua. Por isso, ao longo desta dissertação, apoiados pelo conceito de influência, traçamos um caminho de leitura em que os pontos de contato entre esses dois escritores pudessem ser percebidos sem, no entanto, privilegiar um ou outro. Para tal, recorremos à História, que demonstrou semelhanças no contexto social na época da publicação das obras escolhidas para análise, e à Psicologia, que, através do conceito de angústia, possibilitou a análise dos protagonistas de Angústia e Crime e Castigo. Nesse trajeto, abordamos também, embora de forma resumida, questões como a tradução, a narrativa autobiográfica e a intertextualidade. Todos esses caminhos, no entanto, convergiram para um único ponto: o ser humano. É, essencialmente, o ser humano que une esses dois escritores. Esse fato, bastante óbvio pelo perfil dos escritores em questão, propicia uma análise da sociedade moderna, apesar da distância temporal, pois a questão humana não se alterou. O Homem continua “angustiado” em sua condição social, especialmente se tem consciência de sua nulidade enquanto indivíduo. Sua liberdade é cerceada por mecanismos sociais que independem de sua vontade. Seu “eu” desaparece em meio a uma multidão de objetos de consumo (des)necessários, que o tornam um “eu-social”. Sem esses objetos, sendo o dinheiro o mais almejado, somos desprovidos de valor, somos “nada”. Sendo o Homem a matéria-prima de Dostoiévski e de Graciliano Ramos, é natural que se encontrem pontos de contato entre eles. Do mesmo modo, é igualmente natural que os dois sejam considerados universais e atuais.

Comportamento mecânico e hidráulico de misturas de solo-cimento-bentonita para a aplicação em barreiras verticais de contenção de contaminantes

O presente trabalho tem como objetivo investigar o comportamento hidráulico e mecânico de misturas de solo-bentonita (SB) e de solo-cimento-bentonita (SCB), bem como analisar a influência da variação do teor de bentonita e cimento com a finalidade de propiciar resultados capazes de auxiliar para um projeto construtivo de barreiras verticais de contaminantes. O programa experimental consistiu na realização de ensaios de compressão não-confinada, ensaios triaxiais convencionais adensados não-drenados (CIU) e ensaios de condutividade hidráulica a fim de se estudar o comportamento das misturas de SB e SCB em termos de tensão-deformação-resistência e permeabilidade. Foram analisados diferentes fatores água-cimento, teores de umidade, tensões confinantes. Também foi avaliado o comportamento desses materiais através da definição de três valores distintos de teor de bentonita nas amostras de SCB. Já para as amostras de SB foram avaliados dois teores de bentonita. Em um primeiro instante, os resultados dos ensaios realizados para cada tipo de mistura foram analisados separadamente. A análise global dos resultados permitiu identificar as alterações provocadas na resistência, deformabilidade e condutividade hidráulica pela variação dos parâmetros. Os resultados dos ensaios de compressão não-confinada demonstraram que a variação do teor de umidade não implicou na variação de resistência ao cisalhamento de pico para amostras com mesmo fator águacimento. Os ensaios CIU indicaram que o aumento do teor de bentonita nas amostras acarretou em um aumento da resistência ao cisalhamento de pico e da rigidez do material. A condutividade hidráulica das misturas de SB apresentaram valores inferiores em relação às misturas de SCB.

Estratégias tradutórias em Tratados Internacionais franco-brasileiros: terminologia jurídica em foco

Este trabalho visa, num estudo exploratório dos Tratados Internacionais assinados entre Brasil e França, analisar o tratamento dado à terminologia e a forma como esta se constitui em um contexto que envolve regulamentação jurídica e bilingüismo. Partimos do princípio que a terminologia dos tratados está estreitamente relacionada às estratégias de tradução adotadas pelas respectivas comunidades envolvidas, fazendo dela nossa porta de entrada para a reflexão da tradução de textos especializados. Realizamos assim, com base em pressupostos de Terminologia que consideram a dimensão textual e comunicativa da linguagem especializada e em pressupostos de Tradução que vêem o texto traduzido como produto de uma determinada situação comunicativa, sócio-culturalmente determinada, uma análise contrastiva dos tratados. A partir dessa análise, em que verificamos a interferência do processo tradutório na constituição da terminologia das leis, evidenciam-se também nas duas culturas certas preferências quanto às estratégias tradutórias e, conseqüentemente, o caráter singular da produção tradutória.

Projeto, construção e validação de transdutores para medição de esforços em semeadoras-adubadoras

A mecanização agrícola tem sido um importante fator que vem contribuindo para atender o aumento na demanda por alimentos. Porém, o desenvolvimento de máquinas e implementos com maior desempenho operacional ainda carecem de uma base de informações tecnológicas sistematizadas para a implementação em novos projetos de produtos. Desta forma, o principal objetivo deste trabalho foi o de implementar um sistema capaz de gerar informações para auxiliar no desenvolvimento de novos projetos de produtos, ou mesmo na melhoria das máquinas e implementos já existentes. Para tanto, foi construído um conjunto de transdutores de força – dinamômetros do tipo anel octogonal estendido, capazes de medir solicitações em duas direções ortogonais e o momento associado a estes dois esforços. Associados a estes transdutores foram utilizados outros recursos para a formação de uma instrumentação embarcada, a fim de possibilitar os registros, em tempo real, dos dados gerados para serem armazenados em bancos de dados para posterior análises e avaliações. Com o sistema implementado foram realizados diversos conjuntos de testes de campo, onde se ensaiou uma semeadora adubadora comercial com seus elementos ativos e/ou seus componentes isolados da máquina. No primeiro teste, foi avaliada uma linha completa de uma semeadora-adubadora, onde foram medidos os esforços no disco de corte da palha, na haste sulcadora para deposição do adubo e na unidade de semeadura. Nos testes seguintes, foram realizadas avaliações em dois modelos de hastes sulcadoras, trabalhando com diversos parâmetros distintos, a fim de comparar os respectivos desempenhos entre os dois modelos estudados. Também, verificaram-se avaliações das solicitações dos esforços de tração para sulcadores de adubo tipo disco duplo e, para tracionar somente os discos de corte. Finalmente, mediram-se os esforços para o arraste do chassi durante o deslocamento em campo. Os resultados dos sensores de força combinados com a instrumentação embarcada foram considerados satisfatórios durante as medições nos testes de campo, visto a sua repetibilidade tendo como referência um sistema de calibrações prévias. Desta forma, confirmouse que os registros dos testes de campo podem servir de referência para a análise de projeto de máquinas semeadoras-adubadoras, uma vez que os mesmos foram obtidos em condições reais durante as operações de campo.

Desenvolvimento de um simulador genérico de processos dinâmicos

Simulador de processos é uma ferramenta valiosa, pois possibilita desde a validação de projetos e sua operabilidade prática até aumentos de produção e redução de custos. Devido a estes e outros fatores, o interesse industrial em técnicas e pacotes computacionais para a modelagem, simulação e otimização de processos tem crescido muito nos últimos anos. Juntamente com este interesse cresce a qualidade das ferramentas disponíveis no mercado para tal, mas estas ainda não satisfazem totalmente as expectativas de seus usuários. Este trabalho consiste no projeto de um novo simulador genérico para processos dinâmicos que satisfaça os usuários de forma mais completa do que os disponíveis atualmente no mercado. Para tanto, foram reunidas e, quando necessário, desenvolvidas novas técnicas relativas à descrição, análise e solução de problemas dinâmicos. Uma nova linguagem de modelagem orientada a objetos e um sistema de tradução da representação nesta linguagem para sistemas de equações foram propostos. Métodos de análise dos sistemas de equações provenientes da modelagem foram desenvolvidos com o intuito de auxiliar o usuário na detecção de erros de modelagem. Algoritmos para solução de sistemas dinâmicos e estacionários foram reunidos e uma arquitetura interna foi proposta. Por fim, o sistema como um todo foi testado através de sua aplicação em problemas típicos e outros que não podem ser resolvidos diretamente com os pacotes computacionais disponíveis no mercado. O teste com os problemas práticos provou que a estrutura proposta é adequada e apresenta uma série de vantagens quando comparada com softwares largamente utilizados na simulação de processos.

Traduction et américanité dans Le Désert Mauve de Nicole Brossard

Este estudo sobre o romance Le Désert mauve, da escritora quebequense Nicole Brossard, foi desenvolvido tendo, como instrumentos de análise, a tradução e a identidade da América ou a americanidade. Esses temas foram determinados levando-se em conta a estrutura e o tema da obra, focalizados na figura do(a) tradutor(a), figura essa representativa da era pós-moderna. Os aspectos relacionados às questões feministas foram, até certo ponto, também abordados, principalmente pelo fato de a autora ocupar posição de destaque no meio feminista. Tendo-se em vista as especificidades do corpus, apresentamos, em um primeiro capítulo, uma contextualização do Quebec, abordando a literatura, o pós-modernismo e o feminismo quebequenses. O segundo capítulo é dedicado à obra brossardiana e seu impacto sobre o meio litérario, a partir do Quebec. Nossa análise propriamente dita do romance é apresentada no terceiro capítulo. Este trabalho tem como objetivo refletir sobre a problemática da tradução partindo-se de uma abordagem transcultural, isto é, dando-se ênfase à transformação que ela provoca. Esses traços do « novo » serão colocados em diálogo com os elementos próprios da América, como as referências culturais, a mescla de gêneros, a linguagem dos espaços abertos, as utopias, as buscas. Nosso estudo fundamenta-se basicamente nas teorias de Julia Kristeva, no que diz respeito à linguagem, ao texto; nas teorias de Henri Meschonnic e Sherry Simon, para os estudos da tradução e de Gérard Bouchard, quanto às questões que se referem à americanidade.

Estudo da instabilidade de um talude rodoviário em São Jerônimo/RS

Esta dissertação de mestrado apresenta um a investigação das causas que levara mum talude rodoviário à ruptura. Esse talude localiza-se no município de São Jerônimo, no Km 7+500 da rodovia RS/470. A ruptura foi progressiva, tendo início logo após a abertura do corte para a execução da rodovia e envolveu um a extensão demais de 100 metros. Foram levantados aspectos geológicos e geomorfológicos da região, indicando tratar-se de uma área localizada na Depressão Periférica, com relevo suave ondulado. Os dois solos que compõe o talude foram descritos e amostrados. Foram realizados ensaios de caracterização e ensaios de cisalhamento para as diversas condições de deformação dos materiais. Foram feitos diversos ensaios de cisalhamento direto: a) com amostras indeformadas, buscando-se determinar parâmetros de resistência para a condição de pico e, b ) ensaios especiais, utilizando a técnica de reversões múltiplas para determinar parâmetros de resistência na condição de grandes deformações. Foram feitos também ensaios de cisalhamento por torção (ring shear), buscando-se parâmetros de resistência para a condição residual. A estabilidade do talude foi verificada para duas geometrias, a inicial e a pós-ruptura, utilizando-se os parâmetros de resistência ao cisalhamento obtidos nos ensaios realizados. A retro-análise da situação inicial indicou que as rupturas iniciais mobilizaram um valor de resistência ao cisalhamento correspondente a um a condição de deformação intermediária entre a condição de pico e a de grandes deformações. A retro-análise da condição atua lindicou que os solos ainda não atingiram a condição residual, sendo que a resistência mobilizada é melhor representada pelos parâmetros na condição de grandes deformações.

Consultando XML por meio de modelos conceituais : extensão e formalização de CXPath

Com o objetivo de realizar consultas em diferentes fontes XML,é necessário que se escreva uma consulta específica para cada fonte XML. Uma solução mais adequada é fazer uma única consulta sobre um esquema conceitual e então traduzi-la automaticamente para consultas XML para cada fonte XML específica. CXPath é uma linguagem de consulta que foi proposta para consultar dados em nıvel conceitual. Este trabalho tem como objetivos formalizar a linguagem existente, estendê-la para permitir consultas que utilizem o conceito de herança e estender o mecanismo de tradução de consultas. A formalização da linguagem é feita por meio de um conjunto de regras que definem formalmente um critério para validar uma consulta escrita nessa linguagem sobre um esquema conceitual. Essa formalização permite estender a linguagem para que ela passe a tratar os relacionamentos de herança e especialização. Outra contribuição dessa formalização é que ela apresenta o primeiro passo rumo à verificação formal de que a avaliação da consulta global traz os mesmos resultados obtidos pela avaliação da consulta resultante do processo de mapeamento de consultas proposto. A extensão do mecanismo de tradução de consultas é necessária para traduzir relacionamentos representados no modelo conceitual para junções nas fontes de dados XML. Tal aspecto é fundamental para permitir a construção de modelos conceituais com relacionamentos semânticos e que não dependam de relacionamentos físicos existentes nos documentos fontes, mas apenas de junções tal como é feito em bases de dados relacionais.

Métodos multigrid paralelos em malhas não estruturadas aplicados à simulação de problemas de dinâmica de fluidos computacional e transferência de calor

Fenômenos naturais, tecnológicos e industriais podem, em geral, ser modelados de modo acurado através de equações diferenciais parciais, definidas sobre domínios contínuos que necessitam ser discretizados para serem resolvidos. Dependendo do esquema de discretização utilizado, pode-se gerar sistemas de equações lineares. Esses sistemas são, de modo geral, esparsos e de grande porte, onde as incógnitas podem ser da ordem de milhares, ou até mesmo de milhões. Levando em consideração essas características, o emprego de métodos iterativos é o mais apropriado para a resolução dos sistemas gerados, devido principalmente a sua potencialidade quanto à otimização de armazenamento e eficiência computacional. Uma forma de incrementar o desempenho dos métodos iterativos é empregar uma técnica multigrid. Multigrid são uma classe de métodos que resolvem eficientemente um grande conjunto de equações algébricas através da aceleração da convergência de métodos iterativos. Considerando que a resolução de sistemas de equações de problemas realísticos pode requerer grande capacidade de processamento e de armazenamento, torna-se imprescindível o uso de ambientes computacionais de alto desempenho. Uma das abordagens encontradas na literatura técnica para a resolução de sistemas de equações em paralelo é aquela que emprega métodos de decomposição de domínio (MDDs). Os MDDs são baseados no particionamento do domínio computacional em subdomínios, de modo que a solução global do problema é obtida pela combinação apropriada das soluções obtidas em cada um dos subdomínios Assim, neste trabalho são disponibilizados diferentes métodos de resolução paralela baseado em decomposição de domínio, utilizando técnicas multigrid para a aceleração da solução de sistemas de equações lineares. Para cada método, são apresentados dois estudos de caso visando a validação das implementações. Os estudos de caso abordados são o problema da difusão de calor e o modelo de hidrodinâmica do modelo UnHIDRA. Os métodos implementados mostraram-se altamente paralelizáveis, apresentando bons ganhos de desempenho. Os métodos multigrid mostraram-se eficiente na aceleração dos métodos iterativos, já que métodos que utilizaram esta técnica apresentaram desempenho superior aos métodos que não utilizaram nenhum método de aceleração.