Paralelização de métodos de resolução de sistemas lineares esparsos com o DECK em um Cluster de PCs

O objetivo desta dissertação é a paralelização e a avaliação do desempenho de alguns métodos de resolução de sistemas lineares esparsos. O DECK foi utilizado para implementação dos métodos em um cluster de PCs. A presente pesquisa é motivada pela vasta utilização de Sistemas de Equações Lineares em várias áreas científicas, especialmente, na modelagem de fenômenos físicos através de Equações Diferenciais Parciais (EDPs). Nessa área, têm sido desenvolvidas pesquisas pelo GMC-PAD – Grupo de Matemática da Computação e Processamento de Alto Desempenho da UFRGS, para as quais esse trabalho vem contribuindo. Outro fator de motivação para a realização dessa pesquisa é a disponibilidade de um cluster de PCs no Instituto de Informática e do ambiente de programação paralela DECK – Distributed Execution and Communication Kernel. O DECK possibilita a programação em ambientes paralelos com memória distribuída e/ou compartilhada. Ele está sendo desenvolvido pelo grupo de pesquisas GPPD – Grupo de Processamento Paralelo e Distribuído e com a paralelização dos métodos, nesse ambiente, objetiva-se também validar seu funcionamento e avaliar seu potencial e seu desempenho. Os sistemas lineares originados pela discretização de EDPs têm, em geral, como características a esparsidade e a numerosa quantidade de incógnitas. Devido ao porte dos sistemas, para a resolução é necessária grande quantidade de memória e velocidade de processamento, característicos de computações de alto desempenho. Dois métodos de resolução foram estudados e paralelizados, um da classe dos métodos diretos, o Algoritmo de Thomas e outro da classe dos iterativos, o Gradiente Conjugado. A forma de paralelizar um método é completamente diferente do outro. Isso porque o método iterativo é formado por operações básicas de álgebra linear, e o método direto é formado por operações elementares entre linhas e colunas da matriz dos coeficientes do sistema linear. Isso permitiu a investigação e experimentação de formas distintas de paralelismo. Do método do Gradiente Conjugado, foram feitas a versão sem précondicionamento e versões pré-condicionadas com o pré-condicionador Diagonal e com o pré-condicionador Polinomial. Do Algoritmo de Thomas, devido a sua formulação, somente a versão básica foi feita. Após a paralelização dos métodos de resolução, avaliou-se o desempenho dos algoritmos paralelos no cluster, através da realização de medidas do tempo de execução e foram calculados o speedup e a eficiência. As medidas empíricas foram realizadas com variações na ordem dos sistemas resolvidos e no número de nodos utilizados do cluster. Essa avaliação também envolveu a comparação entre as complexidades dos algoritmos seqüenciais e a complexidade dos algoritmos paralelos dos métodos. Esta pesquisa demonstra o desempenho de métodos de resolução de sistemas lineares esparsos em um ambiente de alto desempenho, bem como as potencialidades do DECK. Aplicações que envolvam a resolução desses sistemas podem ser realizadas no cluster, a partir do que já foi desenvolvido, bem como, a investigação de précondicionadores, comparação do desempenho com outros métodos de resolução e paralelização dos métodos com outras ferramentas possibilitando uma melhor avaliação do DECK.

Bem comum, razoabilidade prática e direito : a fundamentação do conceito de bem comum na obra de John M. Finnis

Esta dissertação expõe a fundamentação do conceito de bem comum no pensamento de JOHN MITCHELL FINNIS. Este jusfilósofo tem como ponto de partida para sua reflexão uma reinterpretação da ética tomista. Dela interessa o tratamento dado à separação das quatro ordens de conhecimento, particularmente a separação entre ordem natural e prática. A ordem prática de conhecimento tem suas próprias diretrizes. Logo, assim como na ordem natural de conhecimento a primeira diretriz é o princípio da não contradição, na ordem prática o primeiro princípio é o bem é para ser feito e buscado e o mal evitado. Estes postulados não são imperativos e nem indicativos, mas diretivos; e, no caso da ordem prática, uma diretiva para ação. A implicação epistemológica está em que a fundamentação imediata do agir humano não reside na natureza humana, mas na percepção prática de bens a serem realizados e dos males a serem evitados. Há um número determinado de bens humanos básicos, que são as razões primeiras para o agir humano. Eles são objetivos, incomensuráveis, auto-evidentes e pré-morais. O rol que FINNIS propõe é vida, conhecimento, matrimônio, excelência na realização, sociabilidade/amizade, razoabilidade prática e ‘religião’. O conteúdo da moral resulta destes bens humanos e tem como princípio supremo toda a escolha deve favorecer e respeitar o bem humano integral. Além de sintetizar a correção para o agir individual, a moral também fundamenta e demanda um agir social correto, que está expresso no conceito de bem comum. FINNIS define bem comum nos seguintes termos: um conjunto de condições que tornam aptos os membros de uma comunidade a alcançar por si mesmos objetivos razoáveis, ou realizar razoavelmente por si mesmos o(s) valor(es) pelos quais eles têm razão em colaborar uns com os outros (positiva e/ou negativamente) em uma comunidade. O conteúdo específico do bem comum da comunidade política é constituído pela justiça. O direito é o objeto da justiça e, assim, meio pelo qual o Estado a realiza e, por conseqüência, o bem comum.

Estudo, proposta e previsão de desempenho de um filtro de energia para experimentos com alta resolução de comprimento de onda em fontes pulsantes de nêutrons

Em fontes de nêutrons por spallation para pesquisa de materiais, o comprimento de onda dos nêutrons é geralmente determinado pelos tempos de percurso (TOF) dos nêutrons desde a fonte até o detector. A precisão atingível é limitada pelo fato de o tempo de emissão do pulso característico do sistema alvo/moderador ser diferente de zero (a situação ideal fictícia seria a emissão se ocorresse na forma de um impulso). “Moderadores acoplados” (elementos usados para produzir feixes de alta intensidade com nêutrons de baixa energia) apresentam um decaimento de intensidade em função do tempo muito longo, ao longo de todo o espectro usado nos experimentos. Por este motivo, “moderadores desacoplados”, os quais produzem feixes com intensidade mais reduzida, são freqüentemente usados para instrumentos que requerem alta resolução. Neste trabalho, propusemos e analisamos uma nova técnica de filtragem dinâmica de feixes de nêutrons polarizados de baixa energia para experimentos que utilizam TOF na determinação do comprimento de onda. O dispositivo consiste de um sistema ótico polarizador/analisador e um inversor de spin seletivo em energia, o qual funciona por ressonância espacial do spin. Variando a condição de ressonância em sincronia com a estrutura temporal do pulso de nêutrons (através do controle de campos magnéticos), o filtro pode ajustar a resolução de energia (ou de comprimento de onda) de pulsos de banda larga em tais experimentos, separando os nêutrons com a correta relação “TOF/comprimento de onda” dos demais Um método para o cálculo de desempenho do sistema foi apresentado em um Trabalho Individual (TI) (PARIZZI et al., 2002 - i), do qual se fará aqui uma breve revisão além de amplo uso na otimização dos parâmetros a serem ajustados para o projeto do filtro. Os resultados finais mostram que ganhos consideráveis em resolução podem ser obtidos com a aplicação desta técnica em experimentos de reflectometria por tempo de percurso, sem que para tal seja necessário comprometer a intensidade do feixe usado pelo mesmo instrumento quando operado em um modo de baixa resolução, dando ao usuário do instrumento a opção de escolher a relação ótima entre intensidade e resolução para seu experimento. Como parte da conclusão desta dissertação, é apresentada uma proposta de parâmetros para a construção deste tipo de filtro e previsão de desempenho da configuração proposta, baseada no software de modelamento desenvolvido.

Estudo de reatividade e resolução enantiomérica do (+-)-10-exo-hidróxipentaciclo[6.2.1.1 3,6.0 2,7. 0 5.9] dodecan-4-ona

Neste trabalho, realizou-se a síntese do ceto-álcool pentaciclíco (±)-5, assim como o estudo de reatividade do grupo carbonila do mesmo frente a reações de oximação e redução. Realizou-se também a resolução enantiomérica do composto (±)-5 através de reação de transesterificação com acetato de vinila catalisada pela lipase da Candida rugosa. Altos excessos enantioméricos foram obtidos (>95%, RMN) tanto para o álcool (+)-5 quanto para o éster formado (-)-8. Sugere-se a existência de uma interconversão enantiomérica no composto (+)-5, devido a observação de mistura racêmica, quando o mesmo foi analisado por cromatografia gasosa em coluna quiral. Um mecanismo para tal interconversão, o qual envolve um rearranjo intramolecular, é proposto.

Resolução de sistemas de equações lineares através de métodos de decomposição de domínio

A paralelização de métodos de resolução de sistemas de equações lineares e não lineares é uma atividade que tem concentrado várias pesquisas nos últimos anos. Isto porque, os sistemas de equações estão presentes em diversos problemas da computação cientí ca, especialmente naqueles que empregam equações diferenciais parciais (EDPs) que modelam fenômenos físicos, e que precisam ser discretizadas para serem tratadas computacionalmente. O processo de discretização resulta em sistemas de equações que necessitam ser resolvidos a cada passo de tempo. Em geral, esses sistemas têm como características a esparsidade e um grande número de incógnitas. Devido ao porte desses sistemas é necessária uma grande quantidade de memória e velocidade de processamento, sendo adequado o uso de computação de alto desempenho na obtenção da solução dos mesmos. Dentro desse contexto, é feito neste trabalho um estudo sobre o uso de métodos de decomposição de domínio na resolução de sistemas de equações em paralelo. Esses métodos baseiam-se 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 de cada subdomínio. Uma vez que diferentes subdomínios podem ser tratados independentemente, tais métodos são atrativos para ambientes paralelos. Mais especi camente, foram implementados e analisados neste trabalho, três diferentes métodos de decomposição de domínio. Dois desses com sobreposição entre os subdomínios, e um sem sobreposição. Dentre os métodos com sobreposição foram estudados os métodos aditivo de Schwarz e multiplicativo de Schwarz. Já dentre os métodos sem sobreposição optou-se pelo método do complemento de Schur. Todas as implementações foram desenvolvidas para serem executadas em clusters de PCs multiprocessados e estão incorporadas ao modelo HIDRA, que é um modelo computacional paralelo multifísica desenvolvido no Grupo de Matemática da Computação e Processamento de Alto Desempenho (GMCPAD) para a simulação do escoamento e do transporte de substâncias em corpos de águas.

Filtragem de informações no ambiente do Direito

Os Sistemas de Recuperação de Informações (SRI) computadorizados são sistemas capazes de armazenar, recuperar e manter informações, visando minimizar o esforço humano na realização de tais atividades. A classificação de textos é um subdomínio dos sistemas de recuperação de informações que tem como objetivo classificar um texto em uma ou mais categorias existentes. Pode ser utilizada na classificação de mensagens, notícias e documentos, na filtragem de informações, na sumarização de textos, além de auxiliar profissionais na execução destas tarefas. A filtragem automatizada das mensagens de correio eletrônico é uma forma de organizar o trabalho do usuário. O volume de informações divulgadas através deste serviço torna fundamental um sistema de filtros para melhor uso do serviço. Sieve é uma proposta para padrão de linguagens de filtro de mensagens. O Direto é um software de correio, agenda e catálogo corporativos que visa atender todo Governo do Estado do Rio Grande do Sul. Foi desenvolvido na PROCERGS, Companhia de Processamento de Dados do Estado do Rio Grande do Sul, utilizando a linguagem Java e utiliza os serviços de IMAP, SMTP, LDAP e SGBD. Está disponível com licença de software livre. O objetivo deste trabalho é aplicar técnicas de filtragem no Direto. O trabalho apresenta uma solução para filtrar as mensagens de correio do Direto utilizando Sieve. Também é especificado um serviço de canais de informação que visa divulgar informações de forma eficiente no Estado. Este serviço possui vários canais, cada um destinado a divulgar informações de determinado domínio. O usuário assina os canais que desejar e pode criar filtros para melhor refinamento das informações que deseja receber. Os filtros utilizam técnicas de classificação de textos no processo de filtragem.

Validação da termografia no diagnóstico de lesões por esforços repetitivos/distúrbios osteomusculares relacionados ao trabalho

As Lesões por Esforços Repetitivos e Doenças Osteomusculares Relacionadas ao Trabalho estão caracterizadas por queixas de grande incapacidade funcional, causadas pelo uso dos membros superiores em tarefas que envolvam movimentos repetitivos. Esses distúrbios também podem ocorrer nas atividades de lazer ou no cotidiano das pessoas, especialmente quando realizadas por períodos longos, sem pausas adequadas para recuperação muscular, ou ainda, sem devido acompanhamento médico. A avaliação de doenças ocupacionais é eminentemente clínica. São raros os casos em que os exames complementares apóiam o diagnóstico médico. Diante disso, o objetivo desta pesquisa foi verificar a eficácia da técnica de Termografia no diagnóstico de LER/DORT. A amostra (n=51) foi dividida em dois grupos. Um grupo experimental (n=41) composto por 26 Taquigrafas da Assembléia Legislativa do Rio Grande do Sul e 15 digitadores da Companhia Estadual de Energia Elétrica do Rio Grande do Sul e um grupo controle (n=10) composto por participantes com outras profissões. Todos eles estavam de acordo com o que prescreve a resolução 196/96 do Conselho Nacional de Saúde. Os resultados do teste Q de Cochran mostraram diferenças estatisticamente significativas entre os 3 observadores da Termografia nas regiões dos punhos, cotovelos e ombros para o teste. Os coeficientes de concordância Kappa de cada observador no teste e reteste foram elevados. O coeficiente de concordância Kappa entre os observadores no teste mostraram que os 3 observadores estavam seguros para diagnosticar punho direito e cotovelos. Tais resultados mostram que a Termografia foi mais sensível e específica que a Ecografia e o Exame Clínico nos punhos direito e esquerdo. Assim, podemos inferir que os dados obtidos através das imagens termográficas permitiram uma melhor visualização das áreas traumatizadas nos componentes da amostra.

Discurso e reforma do estado no governo Collor

Este trabalho aborda a Reforma do Estado dentro do período Collor e tem como material os pronunciamentos proferidos por ele, sob o foco da Análise do Discurso. A preocupação foi verificar como o discurso estrutura um campo de disputas em torno da Reforma do Estado. Foram abordados os principais aspectos e teorias deste tema, quer no mundo, quer no Brasil em especial. A Tese inicia com um detalhamento do pilar ideológico da Reforma do Estado no período Collor: o neoliberalismo; a seguir apresenta-se uma gênese do Estado brasileiro da década de 30 à de 70 do século XX definindo contra o que a proposta de Reforma do Estado de Collor de Mello veio. Após, o texto traz uma caracterização da Crise do Estado brasileiro nos anos 80. O estudo permitiu ver que era premente a solução de problemas fiscais, a melhoria dos serviços públicos e o resgate da dívida social. A Reforma do Estado iniciada neste governo teve um importante papel, muito embora feita sob o uso excessivo de Medidas Provisórias. Entretanto, não é dito como os atores políticos se posicionaram quer frente ao quadro externo (realidade econômica e teorias), quer frente às questões internas de cada país, o que constitui uma lacuna. Com intuito de preenche-la, faz-se uma descrição do conteúdo da Reforma do Estado no período, e se apresentam os resultados com os pronunciamentos mostrando a visão do presidente sobre processo e atores nele envolvidos. As hipóteses foram: 1) que a Reforma do Estado esteve presente nos pronunciamentos desqualificando o Estado precedente, relacionando essa desqualificação com os problemas enfrentados durante a transição; 2) que, junto com a resolução deles, impor-se-ia também a necessidade de combater a corrupção e a urgência em implementar uma nova matriz de Estado (neoliberal), para que se pudesse chegar a um futuro de justiça social, associando as reformas com o desenvolvimento e a modernização. Os estudos realizados apontam para a confirmação delas. Destacase sobretudo a presença constante da idéia de que um Estado esbanjador, ineficiente, em crise é responsável em grande parte pelos males que a população vivia, por um clima de imoralidade, falta de democracia, cidadania e direitos e também é o resultado da atuação de uma elite anacrônica e antipatriótica (opositores). A isto o presidente quis opor um projeto modernizador, calcado no que conceitua por democracia, resgate da cidadania e dos direitos, economia de livremercado e Reforma do Estado. Tudo isto é entendido como parte de um projeto de modernização e de reconstrução nacional, tendo sido o governo entendido como o implementador destas reformas por estar agindo em consonância e em nome da Nação, sobretudo da classe trabalhadora. Neste sentido suas ações foram tidas como positivas e como passos dados para romper com o passado e implementar um futuro promissor. Os poderes Legislativo e Judiciário, quando não identificados como aliados naturais foram conclamados a juntarem-se ao Executivo. As oposições foram entendidas como elites anacrônicas, antidemocráticas, imorais e antipatrióticas. O processo de Impeachment foi passado como uma reversão.

Um modelo de resolução para o problema de roteirização em arcos com restrição de capacidade

Os Problemas de Roteirização em Arcos constituem uma classe dos Problemas de Roteirização de Veículos, nos quais as demandas ocorrem de maneira contínua ao longo dos segmentos de uma rede de transporte. O campo de aplicação dos Problemas de Roteirização em Arcos abrange o planejamento da operação de serviços como a coleta de lixo; a entrega de correspondência e de jornais; a leitura de medidores de energia elétrica, água e gás; e o transporte escolar por ônibus. Nas situações de ordem prática é comum a ocorrência de restrições operacionais que impossibilitam o atendimento de todas as demandas existentes em uma rede de transporte por um único veículo ou pessoa. Desse modo, além da seqüência de percurso, é necessário determinar o conjunto de segmentos de via que cada unidade de trabalho pertencente a uma frota ou equipe de serviço deve atender. Este trabalho apresenta os aspectos conceituais e resolutivos dos Problemas de Roteirização em Arcos e do Problema do Particionamento de Redes de Transporte. É feita também a proposição de um modelo de resolução, desenvolvido a partir da estratégia de agrupar primeiro – roteirizar depois, para o Problema de Roteirização em Arcos Capacitado descrito em grafos não orientados. A demonstração do modelo é feita através de sua aplicação em um estudo de caso. São feitas, a seguir, a análise do desempenho do modelo nesta aplicação e a comparação entre os resultados obtidos e a prática atualmente utilizada, a qual é baseada na experiência de um planejador.

Poder normativo da Justiça do Trabalho : direito formal da classe trabalhadora brasileira

Resumo não disponível.

Implantação da metodologia Seis Sigma e aplicação da técnica estatística projeto de experimentos na resolução de problemas e otimização de processos de fabricação

Resumo não disponível.

Princípio da proteção substancial da confiança no direito administrativo brasileiro

O presente trabalho aborda o princípio da proteção substancial da confiança no Direito Administrativo brasileiro, enquanto decorrência do Estado de Direito e da segurança jurídica, o qual se presta à construção de um estado de estabilização das relações jurídicas oriundas da Administração Pública. Segue-se à compreensão de seu conteúdo jurídico, o enfrentamento dos principais instrumentos de concretização. Em tal enfrentamento, aponta-se o que já se encontra consolidado e os caminhos que ainda podem ser construídos em nome do princípio da proteção substancial da confiança.