Avanços no método LTSn para cálculo de criticalidade e desenvolvimento da primeira versão do código LTSn

O objetivo deste trabalho consiste no desenvolvimento de alguns avanços, teóricos e numéricos, no método LTSN visando implementar a primeira versão de um código computacional, para resolver a equação de transporte utilizando formulação LTSN na forma de multigrupos em geometria plana. Os avanços para o método LTSN estão fundamentados na solução iterativa para o sistema de equações que constituem as condições de contorno, um novo método para a busca do valor de keff baseado no método da bissecção. O desenvolvimento desta metodologia permitiu realizar o calculo muito rápido com altas ordens de quadratura e com esforço computacional muito reduzido. Juntos os avanços matemáticos e numéricos, implementados nesta primeira versão de um código fortran, tal como nos códigos já conhecidos permite solucionar a equação de transporte na forma de multigrupos, tanto para o cálculo direto como para o adjunto, com fontes arbitrárias. Este código utiliza de recursos computacionais da linguagem FORTRAN e as bibliotecas LAPACK, para a otimização de seus algoritmos, facilitando o desenvolvimento futuro. A validação deste trabalho foi feita utilizando dois problemas: um relativo ao fluxo angular e escalar, tanto para o fluxo direto como para o adjunto, cuja importância está relacionada com busca de convergência, relação de reciprocidade e comprovação da solução adjunta, e; um problema de criticalidade, para comprovar a eficácia do algoritmo de busca iterativa de keff e espessura crítica. Com este trabalho se abrem muitas possibilidades tanto teóricas como numéricas a investigar com o método LTSN.

Avanços na determinação da distribuição em profundidade de elementos leves com resolução subnanométrica utilizando reações nucleares ressonantes

A utilização de reações nucleares ressonantes estreitas em baixas energias é uma ferramenta importante para a determinação de distribuições de elementos leves em filmes finos com resolução em profundidade subnanométrica. O objetivo do trabalho descrito ao longo da presente dissertação é aprimorar os métodos utilizados para a aquisição e interpretação das curvas experimentais. A obtenção das curvas experimentais consiste na detecção dos produtos das reações nucleares em função da energia das partículas incidentes, fazendo necessária variar a energia das partículas do feixe em passos discretos no intervalo desejado. Neste trabalho implementou-se um sistema automático para o controle e incremento da energia do feixe e monitoramento dos produtos das reações nucleares. Esse sistema de varredura automático de energia, além de aumentar consideravelmente a velocidade da medida, aumenta a qualidade das curvas experimentais obtidas. Para a interpretação das curvas de excitação experimentais, foi implementado um programa em linguagem de programação C, baseado na teoria estocástica, que permite simular numericamente as curvas de excitação. Para demonstrar a sua funcionalidade o método desenvolvido foi aplicado para verificar a estabilidade termodinâmica de filmes dielétricos ultrafinos depositados sobre silício, que foram posteriormente nitretados por plasma.

Estado, política e gestão na/da educação em Porto Alegre : 1989-2004 : avanços e limites na produção da democracia sem fim

Esta tese fundamenta-se na descrição e interpretação das políticas e da gestão do ensino público desenvolvido em Porto Alegre durante os 16 anos (1989-2004) em que o PT- Partido dos Trabalhadores, através da Administração Popular, governou a cidade, tendo como problemática os avanços, os limites e as contribuições dessa experiência na produção de um “outro mundo possível”. O referencial teórico, fundamentado em autores do campo da política, sociologia, da educação e de teorias críticas de outros campos do conhecimento, como Karl Marx, Henri Lefebvre, Immanuel Wallerstein, Boaventura de Sousa Santos e Stephen Stoer, é apresentado nos 3 primeiros capítulos. O mesmo desloca-se do mais global e abstrato, da globalização econômica, política e social, inserindo nela a discussão dos conceitos Estado, de gestão (gerir, surfar e pilotar), de política (polity, politics e policy) e as reconfigurações dos sistemas de ensino (STOER, 2004) na transição paradigmática (SANTOS, 1999) e da crise do sistema-mundo (WALLERSTEIN, 2005), para o mais cotidiano (LEFEBVRE, 1973, 1991) das relações sociais e educativas na cidade. Chegando a este ponto, se verificou como estabeleceram as relações da gestora da educação em Porto Alegre (a Secretaria Municipal de Educação) no sistema municipal de ensino, em particular, na sua relação com as escolas e professores, no processo de implementação das políticas educativas durante os 16 anos em que o Partido dos Trabalhadores esteve à frente da Prefeitura Municipal da cidade. Na parte empírica do estudo, capítulos 4 ao 8, apresento e discuto o que o PT, em seus documentos nacionais, percebia e qualificava como educação no contexto de nosso país ao longo dos anos oitenta e noventa, como pano de fundo e paralelo ao desenvolvido em Porto Alegre através da SMED. Detalho manifestações de dirigentes da educação e do governo municipal, das atividades de cada gestão (1989-2004) e das Leis encaminhadas pelo Executivo e/ou vereadores como as que criaram o Conselho Municipal de Educação, os Conselhos Escolares, as Eleição de Diretores e o Sistema Municipal de Ensino. Apresento manifestações das escolas e dos professores e alunos, publicadas em âmbito acadêmico. Portanto, a partir do referencial teórico (dialético-histórico-espacial, HARVEY, 2004) que articulou o descritivo, o analítico-regressivo e o histórico-genético (LEFEBVRE, 1984), na descrição, sistematização e interpretação do material empírico (políticas, documentos, panfletos, programas do PT; mais Leis, relatórios de gestão, manifestações de dirigentes da SMED; teses, dissertações, pesquisas e artigos de pesquisadores da UFRGS), aponto os avanços, limites e contradições revelados na produção da democracia sem fim (SANTOS, 1998, 2005), desta experiência contra-hegemônica . Disto, a tese: forças políticas contra-hegemônicas ao sistema capitalista em que vivemos, ao ‘ocuparem espaços de poder’, podem avançar no desenvolvimento de políticas alternativas àquele, bem como na produção de novas relações sociais. Neste sentido, as escolas, professores, comunidades escolares e movimentos sociais podem se tornar sujeitos de suas próprias ações e obra educativa, na relação com o Estado/governo, ainda que o Estado e suas instituições estejam circunscritos a regras legais, normas e procedimentos e práticas sociais a grupos vinculados ao status quo e ao establishment. Isto depende da forma como as políticas, os conteúdos e as formas de implementação são geridas. Agindo assim, constrói-se um Estado como novíssimo movimento social (SANTOS, 1998, 2005), para o qual, a experiência de gestão da e na educação municipal de Porto Alegre, pelo PT e partidos de esquerda por 16 anos, aportaram contribuições significativas para a efetivação de um “outro mundo possível”, em alternativa ao que vivemos.

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.

Avaliação dos parâmetros genéticos da população de arroz irrigado CNA 11 e da divergência genética entre os genitores

Os avanços nas práticas de manejo e no melhoramento das cultivares de arroz irrigado têm permitido consolidar o Rio Grande do Sul como maior produtor deste cereal no Brasil. A seleção recorrente é um método alternativo de melhoramento que permite a recombinação cíclica de genótipos selecionados em uma população geneticamente divergente. Os objetivos deste trabalho foram avaliar o potencial da população CNA 11 para fins de melhoramento para tolerância ao frio, estudar a divergência genética dos seus genitores e quantificar as alterações nas freqüências alélicas como resultado do processo de seleção. Para isso foram conduzidos dois ensaios de campo compostos de 140 famílias S0:2 derivadas da população CNA 11 e quatro cultivares testemunhas, no delineamento látice 12 x 12 e em dois locais: Cachoeirinha (RS) e Santa Vitória do Palmar (RS), onde foram avaliados dez caracteres fenotípicos. O DNA dos genitores da população CNA 11 e de 133 famílias S0:2 foi analisado com marcadores moleculares do tipo microssatélites. A população CNA 11 apresentou alto potencial para fins de melhoramento, com ampla variabilidade genética em todos os dez caracteres avaliados. Os caracteres estatura de planta, esterilidade de espiguetas e número de grãos por panícula apresentaram altas correlações genotípicas com rendimento de grãos, podendo ser usados como critérios de seleção indireta. A esterilidade de espiguetas mostrou ser um critério eficiente de seleção para identificação de genótipos de arroz com tolerância ao frio no estádio reprodutivo. Os genitores da população CNA 11 apresentaram ampla divergência genética e, de modo geral, as freqüências dos alelos de microssatélites característicos dos genótipos da subespécie índica aumentaram e as da subespécie japônica diminuíram à medida que a intensidade de seleção aumentou. As melhores famílias S0:2 mostraram maior similaridade genética com os genitores da subespécie índica.

Estudo histórico para avaliar o uso da associação da ifosfamida, carboplatina e etoposide (ICE) para tratamento de neoplasias refratárias em pacientes pediátricos e adolescentes

O prognóstico das crianças com tumores sólidos malignos recidivados ou refratários permanece desfavorável apesar dos avanços significativos alcançados nos últimos anos em Oncologia Pediátrica. Estudos visando identificar opções terapêuticas mais eficazes torna-se, portanto, de fundamental importância para estes pacientes. Existem evidências na literatura que demonstram que as drogas utilizadas neste estudo tem, quando usadas isoladamente ou em combinação, atividade em neoplasias malignas recidivadas ou refratárias. A Carboplatina (C) apresenta respostas objetivas em um grande número de pacientes pediátricos com câncer, assim como a Ifosfamida (I) e o Etoposide (E). A combinação destas 3 drogas, em um regime que passaremos a designar como ICE, tem potencial de aumentar os índices de resposta, embora aumente também os riscos de toxicidade. O objetivo principal deste estudo foi avaliar a resposta e a toxicidade deste regime em pacientes com tumores sólidos malignos recidivados ou refratários diagnosticados antes dos 18 anos de idade. O ICE consistiu de Ifosfamida na dose 3g/m2/dia IV por 3 dias consecutivos associada a mesna como uroprotetor, em doses equivalentes, Etoposide 160 mg/m2/dia IV por 3 dias consecutivos e Carboplatina 400 mg/m2/dia IV durante 2 dias. Os ciclos foram repetidos com intervalos de 21 a 28 dias. Foram revisados 21 prontuários de pacientes tratados com este regime, entre julho de 1996 a novembro de 2000. Todos os pacientes foram avaliados para toxicidade e 19 pacientes foram avaliados para resposta. Um total de 93 ciclos de ICE foram administrados. A média dos ciclos de ICE recebidos foi de 4,4 (1-8). Os pacientes receberam um máximo de 8 ciclos. Todos os pacientes incluídos no estudo, receberam no mínimo 1 esquema quimioterápico prévio. A taxa de resposta completa + parcial foi de 52,6%. Os efeitos tóxicos incluíram mielossupressão, febre, naúseas ou vômitos, nefrotoxicidade, leve disfunção hepática e neurotoxicidade. Em 78% dos ciclos houve neutropenia grau 4 (contagem de neutrófilos menor de 500/microlitro). Trombocitopenia graus 3 e 4 foi observado em 73,1% dos ciclos administrados e em 82% destes foram necessárias transfusões de plaquetas. Anemia grau 3 a 4 ocorreu em 61,2% dos ciclos e em 75 (80,6%) dos 93 ciclos administrados foi necessário transfusão de glóbulos vermelhos. Nenhum dos pacientes apresentou hematúria macroscópica e em 19,3 % dos ciclos houve hematúria microscópica. Duas crianças apresentaram nefrotoxicidade tubular renal. Em conclusão, este estudo mostra que o ICE é uma combinação ativa em crianças com tumores sólidos refratários/recidivados. Embora esteja associado a mielossupressão severa, a incidência de infecção encontra-se dentro de índices considerados aceitáveis para este grupo de pacientes. O dano tubular renal é a toxicidade não hematológica mais significativa e, portanto, recomenda-se cuidados e monitorização da função renal durante o período de tratamento. Embora o uso do ICE seja factível mesmo sem o uso de fatores de crescimento hematopoiéticos em pacientes previamente submetidos a quimioterapia, a maioria deles necessita terapia de suporte, principalmente de transfusões de hemoderivados e antimicrobianos. A identificação de pacientes e patologias com maior índice de respostas requer a realização de estudos no futuro com maior número de pacientes a nível multi-institucional.

Orpheo : uma estrutura de trabalho para integração dos paradigmas de aprendizado supervisionado e não-supervisionado

Esta tese apresenta contribuições ao processo de Descoberta de Conhecimento em Bases de Dados (DCBD). DCBD pode ser entendido como um conjunto de técnicas automatizadas – ou semi-automatizadas – otimizadas para extrair conhecimento a partir de grandes bases de dados. Assim, o já, de longa data, praticado processo de descoberta de conhecimento passa a contar com aprimoramentos que o tornam mais fácil de ser realizado. A partir dessa visão, bem conhecidos algoritmos de Estatística e de Aprendizado de Máquina passam a funcionar com desempenho aceitável sobre bases de dados cada vez maiores. Da mesma forma, tarefas como coleta, limpeza e transformação de dados e seleção de atributos, parâmetros e modelos recebem um suporte que facilita cada vez mais a sua execução. A contribuição principal desta tese consiste na aplicação dessa visão para a otimização da descoberta de conhecimento a partir de dados não-classificados. Adicionalmente, são apresentadas algumas contribuições sobre o Modelo Neural Combinatório (MNC), um sistema híbrido neurossimbólico para classificação que elegemos como foco de trabalho. Quanto à principal contribuição, percebeu-se que a descoberta de conhecimento a partir de dados não-classificados, em geral, é dividida em dois subprocessos: identificação de agrupamentos (aprendizado não-supervisionado) seguida de classificação (aprendizado supervisionado). Esses subprocessos correspondem às tarefas de rotulagem dos itens de dados e obtenção das correlações entre os atributos da entrada e os rótulos. Não encontramos outra razão para que haja essa separação que as limitações inerentes aos algoritmos específicos. Uma dessas limitações, por exemplo, é a necessidade de iteração de muitos deles buscando a convergência para um determinado modelo. Isto obriga a que o algoritmo realize várias leituras da base de dados, o que, para Mineração de Dados, é proibitivo. A partir dos avanços em DCBD, particularmente com o desenvolvimento de algoritmos de aprendizado que realizam sua tarefa em apenas uma leitura dos dados, fica evidente a possibilidade de se reduzir o número de acessos na realização do processo completo. Nossa contribuição, nesse caso, se materializa na proposta de uma estrutura de trabalho para integração dos dois paradigmas e a implementação de um protótipo dessa estrutura utilizando-se os algoritmos de aprendizado ART1, para identificação de agrupamentos, e MNC, para a tarefa de classificação. É também apresentada uma aplicação no mapeamento de áreas homogêneas de plantio de trigo no Brasil, de 1975 a 1999. Com relação às contribuições sobre o MNC são apresentados: (a) uma variante do algoritmo de treinamento que permite uma redução significativa do tamanho do modelo após o aprendizado; (b) um estudo sobre a redução da complexidade do modelo com o uso de máquinas de comitê; (c) uma técnica, usando o método do envoltório, para poda controlada do modelo final e (d) uma abordagem para tratamento de inconsistências e perda de conhecimento que podem ocorrer na construção do modelo.

De senhoras a mulheres trabalhadoras rurais : a desordem no MSTTR

Esta pesquisa tem como principal objeto a mulher trabalhadora rural e sua atuação no MSTTR, buscando dar visibilidade às suas lutas, avanços e potencialidades que são, na maioria das vezes, difíceis de serem mensurados. A pesquisa busca demonstrar a presença da mulher trabalhadora rural como “figura de desordem”, a qual, através de sua participação e ações estratégicas, interfere na estrutura do MSTTR, forçando as mudanças que vêm ocorrendo ao longo das últimas décadas, entre as quais a mudança de postura das lideranças sindicais em relação às questões de gênero. Os depoimentos das mulheres reafirmam a importância da profissional trabalhadora rural no contexto da agricultura familiar, mostrando as discriminações pelas quais passa, mas, acima de tudo, as suas estratégias e ações para superar essas barreiras, conquistando seu espaço de cidadã. Por um lado, observa-se que a nova posição da mulher trabalhadora rural está na sua atuação entre o público e o privado, tornando a divisão dessas duas esferas cada vez menos distinta. Nesse sentido, existem muitos pontos convergentes nas relações sociais entre homens e mulheres, sendo estes estratégicos para as mudanças necessárias. A constatação central é a de que houve avanços, no sentido do reconhecimento da trabalhadora rural como cidadã, e que isso pode apontar para a importância desse espaço específico de formação e reflexão das questões que tratam das especificidades das mulheres trabalhadoras rurais dentro do MSTTR.

Functional timing analysis of VLSI circuits containing complex gates

The recent advances in CMOS technology have allowed for the fabrication of transistors with submicronic dimensions, making possible the integration of tens of millions devices in a single chip that can be used to build very complex electronic systems. Such increase in complexity of designs has originated a need for more efficient verification tools that could incorporate more appropriate physical and computational models. Timing verification targets at determining whether the timing constraints imposed to the design may be satisfied or not. It can be performed by using circuit simulation or by timing analysis. Although simulation tends to furnish the most accurate estimates, it presents the drawback of being stimuli dependent. Hence, in order to ensure that the critical situation is taken into account, one must exercise all possible input patterns. Obviously, this is not possible to accomplish due to the high complexity of current designs. To circumvent this problem, designers must rely on timing analysis. Timing analysis is an input-independent verification approach that models each combinational block of a circuit as a direct acyclic graph, which is used to estimate the critical delay. First timing analysis tools used only the circuit topology information to estimate circuit delay, thus being referred to as topological timing analyzers. However, such method may result in too pessimistic delay estimates, since the longest paths in the graph may not be able to propagate a transition, that is, may be false. Functional timing analysis, in turn, considers not only circuit topology, but also the temporal and functional relations between circuit elements. Functional timing analysis tools may differ by three aspects: the set of sensitization conditions necessary to declare a path as sensitizable (i.e., the so-called path sensitization criterion), the number of paths simultaneously handled and the method used to determine whether sensitization conditions are satisfiable or not. Currently, the two most efficient approaches test the sensitizability of entire sets of paths at a time: one is based on automatic test pattern generation (ATPG) techniques and the other translates the timing analysis problem into a satisfiability (SAT) problem. Although timing analysis has been exhaustively studied in the last fifteen years, some specific topics have not received the required attention yet. One such topic is the applicability of functional timing analysis to circuits containing complex gates. This is the basic concern of this thesis. In addition, and as a necessary step to settle the scenario, a detailed and systematic study on functional timing analysis is also presented.

O efeito da implementação de um site sobre os preços das ações das empresas brasileiras negociadas na BOVESPA

Os avanços nas Tecnologias de Informação, em especial a Internet, e a sua aplicação para fins comerciais, trouxe transformações para as empresas, no que se refere ao relacionamento com clientes, fornecedores e parceiros, e ao seu ambiente interno. A forma mais elementar que evidencia a conexão das empresas com essa tecnologia é a presença na rede, através de um site1. Este trabalho explora o papel da implementação de um site de uma S.A. na explicação da variação dos preços das suas ações no mercado de capitais brasileiro. O presente estudo tem por objetivo investigar se o mercado precifica a iniciativa das empresas em ingressarem no mundo virtual através da criação de um site próprio. Para uma amostra de 36 empresas brasileiras de capital aberto com ações negociadas em bolsa de valores, verificou-se, através de um estudo de evento, que a implementação do site de uma S.A. não afetou o preço de suas ações na data do evento e ao redor desta, para um período de doze meses, o que implica a aceitação da hipótese nula. Entretanto, quando realizada a segmentação da amostra por ano de lançamento do site2 e por versão do lançamento3, os resultados diferenciam-se daqueles da análise da amostra completa. Com relação aos resultados provenientes da segmentação por ano de lançamento, foram encontrados retornos anormais negativos significativos ao nível de 10% para o ano de 1995, retornos positivos significativos ao nível de 5% para o ano de 1997 e retornos positivos significativos ao nível de 10% para o ano de 2000. Para os demais anos, não foram encontrados retornos anormais significativos. Quanto aos resultados da segmentação por versão implementada, a primeira versão do site para estas empresas não resultou na existência de retornos anormais significativos, o que implica a aceitação da hipótese nula. Para as empresas cuja implementação da 2° versão foi analisada, observou-se a existência de retornos anormais negativos ao nível de significância de 10% na data +1, correspondente mês um da janela do evento.