Um algoritmo de criptografia de chave pública semanticamente seguro baseado em curvas elípticas

Esta dissertação apresenta o desenvolvimento de um novo algoritmo de criptografia de chave pública. Este algoritmo apresenta duas características que o tornam único, e que foram tomadas como guia para a sua concepção. A primeira característica é que ele é semanticamente seguro. Isto significa que nenhum adversário limitado polinomialmente consegue obter qualquer informação parcial sobre o conteúdo que foi cifrado, nem mesmo decidir se duas cifrações distintas correspondem ou não a um mesmo conteúdo. A segunda característica é que ele depende, para qualquer tamanho de texto claro, de uma única premissa de segurança: que o logaritmo no grupo formado pelos pontos de uma curva elíptica de ordem prima seja computacionalmente intratável. Isto é obtido garantindo-se que todas as diferentes partes do algoritmo sejam redutíveis a este problema. É apresentada também uma forma simples de estendê-lo a fim de que ele apresente segurança contra atacantes ativos, em especial, contra ataques de texto cifrado adaptativos. Para tanto, e a fim de manter a premissa de que a segurança do algoritmo seja unicamente dependente do logaritmo elíptico, é apresentada uma nova função de resumo criptográfico (hash) cuja segurança é baseada no mesmo problema.

A natureza teleológica do princípio darwiniano de seleção natural : a articulação do metafísico e do epistemológico na origem das espécies

A presente tese tem por objetivo o exame da natureza explicativa do princípio de seleção natural (PSN) na Origem das Espécies de Charles Darwin, enquanto tal princípio exibe uma natureza teleológica, como ponto de articulação entre suas dimensões metafísica e epistemológica. A motivação inicial para este estudo encontrou-se num interesse mais profundo pela questão da "racionalidade", através do exame das relações entre ciência e nÃo-ciência provocada pelo reacender-se das discussões sobre evolucionismo versus criacionismo, nas escolas norte-americanas na década de 80. Todavia, uma detida leitura da Origem e o rastreamento de seu questionamento na trajetória intelectual de Darwin buscando empreender uma análise cuidadosa da teoria darwiniana como exigência prévia àquele exame mostrou-se, por si só, filosoficamente tão rica e absorvente, que direcionou a essa análise todos os esforços da presente tese. De imediato, o caráter multifacético dos padrões explicativos e das estratégias argumentativas encontradas na elaboração e defesa da teoria apresentada por Darwin na Origem das Espécies indicava a relevância de uma análise de PSN para a história e filosofia da ciência. De sua leitura igualmente aflorava uma nova abordagem para a questão teleológica, tema instigante nos questionamentos contemporâneos. O exame então empreendido teve, entre seus pressupostos orientadores, quatro pontos-chave: (1) a percepção do mútuo remetimento da História e da Filosofia da Ciência para a elucidaçÃo da natureza da produçÃo científica, partilhando certas idéias básicas das análises feitas por Thomas Kuhn, Paul Feyerabend e Imre Lakatos, entre outros, e, sobretudo, seu reconhecimento do papel do núcleo metafísico presente no questionamento científico; (2) a busca de uma compreensão contextualizadora da estrutura lógico-conceitual em que se insere a função e sentido do princípio a ser investigado, (a) privilegiando o contexto "interno" da obra e do desenvolvimento do pensamento de Darwin, mas buscando o contraponto esclarecedor em seu contexto "externo" e (b) construindo um referencial de análise emergente da estrutura contextual; (3) a visualização de uma relação todo-parte de mútuo suporte na estruturação da integridade contextual, constituindo uma tessitura tipo rede, em que a clarificação das partes, considerada sua posição no todo, faz avançar a inteligibilidade desse e confere-lhe sustentação, a qual, em troca, reverte em clarificação e fortalecimento das partes; (4) a busca de um novo enfoque da teleologia, numa nova perspectiva das relações explicativas e causais, pelo exame das bases metafísicas e epistemológicas da questão à época de Darwin e de tematizações e ambigüidades que permeiam o seu tratamento contemporaneamente. À luz de tais pressupostos, o fio condutor de trabalho é a análise da Origem das Espécies, em sua 6ª. ediçÃo inglesa (a última revisada pelo próprio Darwin), buscando complementar as requeridas elucidações, sobretudo no que concerne a certos pressupostos do pensamento de Darwin, nas obras e textos que perfazem sua trajetória intelectual (diário da viagem a bordo do Beagle, Notebooks 1836-1844, Ensaios de 1842 e 1844, o longo manuscrito de 1856-1858, correspondência) até a exposição madura de seu pensamento na Origem. Assim procedendo, o exame da natureza explicativa de PSN parte (I Parte) de uma leitura da Origem das Espécies como uma história da Natureza, constituindo o contexto no qual cabe dimensionar a função e sentido de PSN como a parte privilegiada da argumentação/narrativa da Origem como um todo (capítulo 1). Desse modo, a clarificação de PSN, encerrando a idéia mestra de que as espécies na Natureza originamse umas de outras por seleção natural, demanda a inteligibilidade e integração provida por esse princípio ao contexto da obra, ao "um longo argumento" em sua integridade, e essa inteligibilidade reverte em clarificação do próprio princípio. Nesse sentido, a atenção à estrutura argumentativa/narrativa da Origem permite ver como as partes desse argumento/os capítulos da narrativa estruturam-se, fugindo às rotulações usuais de um modelo "indutivo" ou "dedutivo", e constituindo, antes, uma rede argumentativa, em que os avanços, a seqüência dos capítulos, leva a retomadas, a uma nova inteligibilidade das etapas/capítulos anteriores, fortalecendo, na integridade desse movimento, as bases para novos avanços e crescentes explicitações e fortalecimento de sua sustentaçÃo. A atençÃo a esse movimento argumentativo leva igualmente a uma análise conceitual de "PSN" e "Natureza", ao longo da obra. Para tanto, procede-se a uma cuidadosa análise lógicosemântica da ocorrência desses conceitos no texto (capítulos 2 e 3, respectivamente), encontrando na visão de Natureza como "luta pela existência" um ponto privilegiado para a exploração de sua articulação. A análise realizada na primeira parte revela a natureza epistemológica e metafísica de PSN em sua condição explicativa e permite colocar a peculiar relação que se estabelece entre PSN (parte) e Natureza (todo) em termos de uma visão teleológica. No entanto, um aprofundamento desse ponto pede, antes (II parte), um exame mais detido dos conceitos de "explicação" e de "causa" na perspectiva darwiniana. Buscando uma compreensão contextualizadora, o contraponto "externo" ao contexto da Origem é balizado pelo enfoque dos padrões de cientificidade encontrados nas filosofias da ciência de John Herschel, William Whewell e Stuart Mill (capítulo 4). A construção de um referencial "interno", ponto a ser enfatizado, parte da análise lógico-conceitual do uso de "explicaçÃo", "causa" e cognatos feito no texto, levando, através de sucessivos refinamentos de análise, a uma ampliação e aprofundamento do elenco inicial de significações, de modo a determinar compreensivos focos orientadores de análise e identificar dimensões fundamentais do esforço explicativo darwiniano (capítulos 5, 6, 7, 8, 9). A exploraçÃo epistemológica conduzida na segunda parte fornece o instrumento analítico que permite retomar a colocação inicial da função e sentido de PSN em suas relações com o conceito de Natureza, projetando a indagação epistemológica no âmbito da especulação metafísica. Essa dupla dimensão de PSN pode então ser focalizada, tratando-se agora da articulação do epistemológico e do metafísico, presente na natureza explicativa de PSN - e o fazendo enquanto PSN exibe uma natureza teleológica (III Parte). Cabe, inicialmente, estabelecer, face ao exame realizado na segunda parte, os alcances e limites dos níveis e padrões explicativos e das estratégias argumentativas darwinianas, mostrando sua "novidade" e seu caráter multifacético (capítulo 10), a fim de compreender o escopo explicativo de PSN. Esse escopo, por sua vez, cabe vê-lo concretizado em sua função explicativa, através da reconstrução de argumentos-chave da Origem e representativos de seus diferentes níveis explicativos (capítulo 11). Assim visto, o poder explicativo de PSN pode ser compreendido como sendo estabelecido em duas grandes e mutuamente remissivas etapas: em sua fundamentação, como um princípio da Natureza, e em sua justificação, pelo seu poder explicativo operando em diferentes níveis e assim viabilizando empiricamente a visão de Natureza que lhe serve de fundamento (capítulo 12). Desse modo, a dimensão epistemológica de PSN, tornando o que ocorre na Natureza inteligível como objeto de conhecimento, operacionaliza a dimensão metafísica, ou seja, a visão do próprio "ser" da Natureza que lhe serve de fundamento - PSN é a Natureza no exercício de seu poder, é a Natureza (concebida como sistema que recebe suas cores em termos de "luta pela existência") atualizada. Em ambas dimensões explicativas, PSN exibe uma natureza teleológica, enquanto dá lugar a explicações telelógicas e apresenta-se como princípio teleologicamente fundado, abrindo o caminho a um novo enfoque da questão teleológica, redimensionando o tratamento de muitas das ambiguidades encontradas na problematização contemporânea dessa questão.

A coordenação entre os segmentos perna e coxa no andar : uma análise a partir da teoria dos sistemas dinâmicos

Utilizando-se entre a perna e a coxa os princípios da Teoria dos Sistemas Dinâmicos, foi estudada a coordenação intra-membros durante o andar em 16 sujeitos do sexo feminino. Os movimentos da perna e da coxa e suas relações foram analisados dinamicamente como sistemas acoplados de ciclo limite. Os sujeitos foram filmados lateralmente executando o andar em duas situações experimentais: normal e com uma sandália na perna direita na proporção de 5% do comprimento do segmento inferior. Os dados transformados em variáveis cinemáticas possibilitaram a análise da coordenação em termos de ângulos de fase, ponto de coordenação e fase relativa. Através dos dados angulares, foram testadas as propriedades dos osciladores não-lineares de ciclo limite. Os resultados indicaram que os segmentos apresentam uma órbita atrativa específica para cada um deles, que se mantém invariante ao longo das idades. Esta órbita atrativa representa a organização espaço-temporal do segmento durante o andar, servindo também para a visualização da quantidade de energia dissipada por parte de cada segmento. A análise dos ângulos de fase no momento da reversão, do ponto de coordenação e da fase relativa possibilitaram a identificação do treinamento mútuo e da estabilidade estrutural.

Viabilidade tecnica da producao de blocos silico-calcarios na regiao de Santa Maria, no Rio Grande do Sul

Este trabalho é camposto por dois estudos basicamente: um estudo teórico sobre os blocos sílico-calcários de areia-cal e um estudo prático sobre a viabilidade técnica de produção destes blocos em uma região determinada. A pesquisa teórica procurou elucidar o que vem a ser um bloco síilico-calcário, buscando a viabilidade da pesquisa prática e os pontos principais a serem abordados. Foram estudados, nesta parte, as matérias-primas e o processo produtivo empregado na confecção destes elementos, mostrando a importância de cada item para as características do produto final. Foi dada atenção ainda às características técnicas, aos fatores que determinam a produção e emprego e aos aspectos positivos e negativos dos elementos deste tipo produzido em outros locais. A pesquisa prática buscou a disponibilidade de matéria-prima conveniente para a produção de blocos sílicos-calcários, e o efeito das variações do processo produtivo sobre os produtos confeccionados com os materiais estudados. A matéria-prima empregada foi uma areia quartzosa da região de Santa Maria-RS, cal calcítica virgem de São Sepé-RS, e cinza volante da termoelétrica Presidente Médici, em Bagé-RS, fazendo-se variações nas percentagens destes componentes. As variações do processo produtivo foram efetuadas no tipo de moldagem dos corpos de prova, em que foi usada pressão, vibração e vibro-compressão, e na pressão de autoclavagem. Para todas as variações efetuadas foram obtidas as seguintes características: variações por autoclavagem, massa específica aparente, absorção d´água, resistência à compressão, resistência à tração e módulo de elasticidade à compressão, as quais foram relacionadas através de quadros e figuras às diversas variações.

Aplicação da teoria de dano na análise do comportamento viscoelástico de estruturas de concreto

A presente dissertação de mestrado tem por assunto a representação do comportamento mecânico do concreto sob cargas de curta e longa duração, incluindo efeitos não-lineares. Para tal fim trabalha-se com equações baseadas na teoria do dano contínuo. São propostas equações para o caso triaxial e, baseado nelas, é implementado um programa computacional. Com diversos exemplos verifica-se que: a) A solução numérica aproxima bem os resultados teóricos. b) O comportamento do modelo representa bem as características qualitativas do concreto. c) O modelo permite aproximar bem alguns resultados experimentais, mas ainda deve ser aperfeiçoado, particularmente no que refere-se à identificação de parâmetros.

Desenvolvimento de um modelo de intervenção baseado no sistema toyota de produção e na teoria das restrições : autilização da pesquisa-ação em uma indústria de cerâmica vermelha de pequeno porte da região metropolitana de Porto Alegre

As teorias de gestão da produção, como o Sistema Toyota de Produção e a Teoria das Restrições, têm apresentado resultados positivos, em realidades organizacionais muito diferenciadas. Contudo, é preciso garantir a efetividade das ações em provocar as mudanças desejadas. Neste sentido, métodos de pesquisa participativa, como a pesquisaação, promovem a participação e o comprometimento das pessoas implicadas no processo de mudança. Esta dissertação propõe a construção de um modelo de intervenção visando aumentar a competitividade de uma realidade organizacional específica. Foram utilizados a pesquisa-ação, como método de trabalho e a Teoria das Restrições (TOC) e o Sistema Toyota de Produção (STP), como embasamento teórico. Cabe ressaltar que este modelo foi construído a partir de uma intervenção realizada em uma indústria de cerâmica vermelha da região metropolitana de Porto Alegre. Assim, a presente dissertação foi organizada da seguinte maneira: revisão bibliográfica do método de condução da pesquisa e adaptação do mesmo para o presente trabalho, fundamentação teórica, composta pelos princípios básicos de sustentação do STP e da TOC, análise do contexto do segmento industrial em questão, descrição da intervenção realizada e apresentação do modelo construído, análise dos resultados finais, conclusões e recomendações para futuras pesquisas. A análise dos resultados obtidos e as conclusões do estudo revelam a possibilidade de generalização parcial do modelo proposto, desde que observadas as características específicas da realidade industrial em questão.

Sistema de produção sincronizado : uma aplicação em processos produtivos de propriedade contínuos segundo a teoria das restrições

Este trabalho de conclusão investiga o efeito da geração de estoques intermediários nos indicadores principais empregados na Teoria das Restrições (Ganho, Despesa Operacional e Inventário) em uma unidade industrial de processo produtivo de Propriedade contínuo, que emprega embalagens, matérias-primas obtidas em larga escala e cadeias logísticas de longo curso. Este tipo de indústria produz bens de consumo imediato, com pouca variabilidade, de modo “empurrado”. A principal conseqüência é a perda do sincronismo na cadeia logística, resultando em uma grande quantidade de estoques intermediários e custos crescentes, relacionados principalmente ao custo de manutenção destes estoques. Através dos cinco passos de focalização e das ferramentas lógicas da Teoria das Restrições, propõe-se uma alternativa gerencial, que inclui o algoritmo Tambor-Pulmão-Corda e insere a organização em um processo de melhoria contínua, cujos impactos são avaliados por simulação computacional. Através de técnicas estatísticas e software apropriados, constrói-se um modelo de simulação computacional baseado em dados reais de uma planta produtora de cimento. A partir deste modelo, diferentes cenários são testados, descobrindo-se a condição ótima. Chega-se a uma conclusão, considerando a mudança na política de geração de estoques intermediários e seus impactos na redução de custos e riscos.

Teoria da decisão sob incerteza e a hipótese da utilidade esperada : conceitos analíticos e paradoxos

A teoria da utilidade esperada (EU) é a teoria da decisão mais influente já desenvolvida. A EU é o core da teoria econômica sob incerteza, presente na maior parte dos modelos econômicos que modelam situações de incerteza. Porém, nas últimas três décadas, as evidências experimentais têm levantado sérias dúvidas quanto à capacidade preditiva da EU – gerando grandes controvérsias e uma vasta literatura dedicada a analisar e testar suas propriedades e implicações. Além disso, várias teorias alternativas (teorias não-EU, geralmente, generalizações da EU) têm sido propostas. O objetivo deste trabalho é analisar e avaliar a teoria da utilidade esperada (objetiva) através de uma revisão da literatura, incorporando os principais conceitos desenvolvidos ao longo do tempo. Além disso, este trabalho desenvolve algumas análises originais sobre representação gráfica e propriedades da teoria da utilidade esperada. O trabalho adota uma perspectiva histórica como fio condutor e utiliza uma representação da incerteza em termos de loterias (distribuições de probabilidade discretas). Em linhas gerais, o roteiro de análise do trabalho é o seguinte: princípio da expectância matemática; Bernoulli e a origem da EU; teoria da utilidade sem incerteza; axiomatização da EU; representação gráfica e propriedades da EU; comportamento frente ao risco; medidas de aversão ao risco; dominância estocástica; paradoxos da EU e a reação dos especialistas frente aos paradoxos A conclusão é que existem fortes evidências experimentais de que a EU é sistematicamente violada. Porém, a existência de violações não foi ainda suficientemente testada em experimentos que permitam o aprendizado (tal como pode ocorrer em situações de mercado), onde existe a possibilidade de que as preferências evoluam e que haja uma convergência de comportamento para a EU (ainda que esta possibilidade não se aplique a situações singulares ou que ocorram com pouca freqüência). É possível que testes deste tipo venham a confirmar, em maior ou menor grau, as violações da EU. Mas mesmo que isto ocorra, não significa que a EU não seja útil ou que deva ser abandonada. Em primeiro lugar, porque a EU representou um grande avanço em relação ao princípio da expectância matemática, seu antecessor. Em segundo lugar, porque a EU implica em uma série de propriedades analiticamente convenientes, gerando instrumentos de análise bastante simples (de fato, permitiu a explicação de numerosos fenômenos econômicos), contrastando com a maior complexidade envolvida com o uso das teorias não-EU. Neste cenário, faz mais sentido pensar na EU sendo eventualmente complementada por teorias não-EU do que, sendo abandonada.

Análise da sensibilidade do seqüenciamento de lavra em função da incerteza do modelo geológico

Quantificação de incerteza e risco tem aplicação direta no projeto de limites de cava e na programação de produção. Pequenas variações nas condições de contorno de um projeto podem ter impacto significativo sobre o retorno final do mesmo na ordem de milhões de dólares. Preço de mercado do bem mineral, o custo de capital, taxas de atratividade, etc, são fatores usualmente testados para analisar a viabilidade de um empreendimento, porém, raramente é considerada a incerteza relacionada ao atributo geológico em questão. O propósito de um planejamento de lavra tem sido prover subsidio para o engenheiro de minas decidir sobre a capacidade de minerar determinadas unidades de lavra do depósito a partir de teores estimados. Salienta-se porém que existe, a partir dos dados amostrais, incertezas a respeito do modelo geológico que devem ser consideradas ao se projetar uma cava e desenvolver a lavra. A simulação geoestatistica tem a capacidade de produzir múltiplos modelos equiprováveis, os quais podem ser avaliados independentementecomo possíveis cenários do depósito mineral. Simulação condicional, ao contrário de técnicas de interpolação e estimativa, provê respostas para questões associadas a risco devido à variações nos teores do modelo geológico. Ao gerar múltiplos cenários tem-se acesso à probabilidade e conseqüentemente às variações de retorno financeiro e rotas de extração de minério de um projeto. o presente trabalho tem como objetivo a investigação de novas metodologias que contribuam para a construção de cenários de planejamento de lavra e avaliação do impacto provocado nestes pela incerteza fornecida a partir de modelos simulados. As respostas buscadas dentro da abordagem sugerida por esse trabalho, compreendem a definição de uma metodologia para controle e planejamento de lavra a médio e longo prazo por incorporação da flutuabilidade local associada ao minério, avaliando a sensibilidade do retorno financeiro e o traçado de lavra em relação ao método de geração do modelo geológico de teores. Para solucionar o problema em questão, sugere-se a geração de modelos estocásticos e a alimentação de múltiplos modelos selecionados por critérios considerados relevantes para a delimitação do espaço de incerteza. A aplicação de funções de transferência tais como mudança de suporte e seqüenciamento de produção sobre os modelos simulados é a chave para a obtenção de respostas a respeito do impacto sobre a lucratividade de um projeto. Ao alimentar à essas funções modelos equiprováveis que preservam as características estatísticas e a conectividade espacial dos dados amostrais mas que invariavelmente possuem diferentes distribuições de teores tem-se a dimensão em termos econômicos do risco associado à incerteza geológica. Foi confrontado o retorno financeiro produzido por modelos simulados e verificou-se para o caso especifico que os métodos de simulação geoestatistica empregados não produziram diferenças significativas quando comparados casos selecionados segundo os mesmos critérios. Porém, entre cenários extremos gerados pelo mesmo algoritmo de simulação foram verificadas desigualdades relevantes. Verificou-se também a transferência de minério entre diferentes classes de qualidade ao proceder-se com variações nas dimensões dos blocos de lavra.

Estudo da viabilidade do uso do pó de aciaria elétrica a arco na confecção de blocos de concreto para pavimentação

o Pó de Aciaria Elétrica (PAE) é um resíduo gerado em indústrias siderúrgicas que utilizam o Forno Elétrico a Arco (FEA) e a sucata como principal matéria-prima para a produção do aço. O PAE é composto por diferentes óxidos metálicos, entre eles o Zn, Cr, Pb e Cd. Devido às concentrações de Pb e Cdultrapassarem as pennitidas pela NBR 10004(1987), no ensaio de lixiviação, o PAE é classificado como resíduo perigoso Classe I. Este trabalho tem como objetivo o estudo da influência do PAEno desempenhomecânico e durabilidade de blocos de concreto para pavimentação. O programa experimental foi desenvolvido em duas etapas: a primeira. na qual foi fixada a relação água/cimento e a segunda, na qual foi fixado o índice de umidade, fator este relacionado com a capacidade de moldar os corpos-de-prova. Em ambas as etapas, o teor de adição do PAE empregado foi de 5%, 15% e 25% em relação à massa de cimento. Também foram moldados corpos-de-prova sem adição do resíduo (0%), utilizados como referência. Como ensaios complementares, foram detenninados o calor de hidratação, assim como a caracterização mineralógica e microestrutural de pastas de cimento com teores do PAE. Verificou-se que, nas duas etapas, os blocos contendo 15% de adição do PAE obtiveram melhor desempenho quanto à resistência à compressão axial. Para os ensaios de durabilidade, os blocos com o PAE mostraram-se com desempenho igual ou superior aos blocos que não o possuíam O PAE utilizado nos blocos de concreto, bem como em pastas de cimento, retardou os tempos de início e fim de pega. O cimento também pode agir como formador de uma matriz para encapsular os metais pesados contidos no pó de aciaria. Nos ensaios de caracterização ambiental, obselVou-seeste encapsulamento através da análise dos extratos lixiviados e solubilizados, onde as concentrações dos metais pesados, ao longo do tempo, diminuíram. Isto fez com que os blocos, contendo o resíduo em sua composição, fossem classificados neste trabalho como Classe II - não-inerte. Desta forma, a partir de um resíduo perigoso Classe L foi possível desenvolver, através do encapsulamento na matriz cimentante, um produto Classe 11.