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.

Amaciando a terra : o Projeto Casulo : um estudo sobre a política educacional dos projetos de colonização do Norte de Mato Grosso

Este trabalho pretende contribuir para lançar luz sobre a política de colonização implantada no Norte de Mato Grosso, em especial, sobre a política educacional embutida nos projetos de colonização de Reforma Agrária. Política pensada pelo Governo Federal no sentido de “resolver” os conflitos pela posse da terra nas regiões de ocupação antiga, mas, que, na verdade, escondia todo um conjunto de intenções e práticas que vinham a atender tão somente aos interesses do grande capital. Ao migrante, colocado nos projetos como “protagonista” dessa política, não restou outro espaço a não ser o de fornecedor de mão-de-obra barata ao grande proprietário, ou seja, o de tornar-se um proletário rural, um excluído do processo produtivo, quando não vítima da violência e dos desmandos das colonizadoras. A pesquisa resgata as políticas de colonização tendo por referência histórica dois períodos, a ditadura Vargas (1930 – 45), principalmente a política adotada a partir do Estado Novo (1937), e a ditadura militar (1964 – 85) com destaque para os projetos de colonização implantados na década de 70. Nesta pesquisa interessa-me, sobremaneira, a análise das políticas educacionais implantadas nos projetos de colonização, tendo, como estudo de caso, o Assentamento Projeto Casulo, no município de Santa Carmem/MT, onde a coleta de informações deu-se através de entrevistas semi-estruturadas e da observação participante O analfabetismo vem-se mostrando como um dos grandes problemas ainda existentes entre os trabalhadores rurais em todo o país, o que não é diferente no caso dos pequenos agricultores que vieram para povoar Mato Grosso. Uma realidade que pode ser verificada nos mais diferentes projetos de colonização de Reforma Agrária implantados neste estado. São frutos de uma política econômica e educacional adotada ao longo de nossa história e que, como resultado, deixam um saldo de milhões de trabalhadores rurais que carregam a marca do analfabetismo, do preconceito e da não valorização d seu trabalho.

David Copperfield e O apanhador no campo de centeio na perspectiva do romance de formação

O romance de formação é emblemático do Século das Luzes. Surgido na Europa do século XVIII, o subgênero teve seu apogeu neste e no século XIX, confundindo seu período de maturidade com boa parte da vida do romance moderno antes que o gênero começasse a ser desconstruído. Com o foco centrado no desenvolvimento da vida do protagonista e sua consciente adaptação ao mundo burguês, o Bildungsroman tomou formas semelhantes em vários países — inclusive na poderosa Inglaterra de então. Com seu legado de otimismo humanista, influencia (positiva ou negativamente) toda a literatura posterior. David Copperfield, de Charles Dickens, é um dos mais conhecidos clássicos romances de formação ingleses, surgindo como referência explícita no romance pós-Segunda Guerra Mundial O apanhador no campo de centeio, do norte-americano J.D. Salinger. Através da análise do desenvolvimento pessoal e da formação dos protagonistas desses dois romances buscaremos ver as mudanças sofridas, de meados do século XIX a meados do século XX, pelo processo de inserção do indivíduo na realidade coletiva. Deste modo pode-se lançar uma reflexão sobre de onde veio e como é o jeito de o ser humano ver a si mesmo como aprendiz.

Estruturação de relacionamentos horizontais em rede

Na tentativa de encontrar estratégias economicamente sustentáveis, muitas organizações vêm buscando diversas alternativas. Em uma dessas alternativas, as organizações tendem a lançar mão de práticas cooperativas de gestão, visando complementar suas potencialidades. Os relacionamentos de parceria ou cooperação buscam melhorar a capacidade das organizações nas suas relações de interdependências, na tentativa de melhorar a eficácia organizacional. Muitos estudos vêm corroborando essa linha de pensamento. A proposição central das teorias expostas é que as organizações inseridas em relacionamentos interorganizacionais, em geral, e em redes, em particular, têm maior probabilidade de conquistarem vantagens competitivas sustentáveis. No entanto, esses estudos são fragmentados, o que dificulta a compreensão sobre o todo. Poucos têm sido os trabalhos empíricos, no que se refere à análise das formas de cooperação horizontal. Este trabalho tem o objetivo de identificar como as organizações se estruturam em seus relacionamentos interorganizacionais, de modo que se possa contribuir para a melhor consolidação da teoria existente. Para isso, buscou-se descobrir como essas novas formas de organizações surgiram, quais são os fatores que influenciam as empresas a aderirem a esse processo de cooperação, como se estruturam esses relacionamentos horizontais e qual a performance das organizações inseridas nesses relacionamentos. Para esta análise, foram estudadas 110 empresas pertencentes a cinco diferentes tipos de redes horizontais. Os dados foram coletados por meio de 28 entrevistas e de 110 questionários aplicados nas empresas pertencentes às redes e situadas em 25 municípios diferentes no Estado do Rio Grande do Sul. Os dados foram analisados, utilizando-se múltiplos métodos (estudos de casos, análise fatorial, estatística descritiva e análise de regressão). Os resultados demonstram que as redes analisadas foram criadas como estratégias de sobrevivência no mercado. Sendo assim, as empresas ingressaram nas redes, buscando alavancar os seus negócios dentro de um ambiente que elas pudessem classificar como mais confiável e seguro. Não foram valorizadas variáveis, como inovação e aprendizagem, como determinantes do ingresso. Observa-se, assim, uma tentativa para a formação das redes com um caráter de crescimento e proteção contra possíveis mudanças ambientais, ou seja, o ingresso na rede gera uma percepção de segurança maior em relação às nuanças ambientais. Dessa forma, as redes têm capacidade de agregação de valor limitada. Esse caráter limitador das redes reflete na ausência de suas perspectivas estratégicas de crescimento qualitativo, criando estruturas meramente executoras de atividades rotineiras. Com isso, as redes reduzem as incertezas do ambiente para as organizações, mas não são guias para a formação de novas formas de agregação de valor. As redes estudadas são formadas, em sua maioria, por atores denominados "empresários" que visam, em primeiro lugar, atingir os seus objetivos individuais em rede e, em seguida, garantir, através dos mecanismos de controle, que esses objetivos não sejam perdidos por ações oportunísticas de outros atores. Apesar de as redes estudadas não almejarem novos benefícios coletivos, observou-se que a formação das redes constituiu-se em uma excelente alternativa estratégica para a sobrevivência dos atores. Assim, as constatações de caráter limitante do impacto das redes no desempenho das organizações nela inseridas não ofuscam essa forma inovadora de estruturação e nem as suas repercussões para a sociedade em geral.

Análise da variabilidade genética em genótipos de milho crioulo (Zea mays ssp. mays)

O milho é uma das principais espécies cultivadas no mundo, e tem importância fundamental na alimentação de animais e humanos. Além disso, é considerado um dos cereais com maior variabilidade genética entre os cultivados, a qual é expressa nas diversas variedades crioulas existentes. Entretanto, para que toda esta variabilidade genética possa ser utilizada pelo melhoramento genético, é imprescindível o conhecimento do potencial genético destas raças. Dessa forma, os objetivos deste trabalho foram caracterizar diversas variedades crioulas de milho provenientes do sul do Brasil a nível fenotípico, molecular e citogenético e, com base nestes resultados, estimar a distância genética existente entre eles. Os marcadores moleculares utilizados neste trabalho foram microssatélites e AFLP. As análises morfológicas e moleculares demonstraram a existência de variação genética entre os genótipos avaliados, possibilitando o agrupamento de acordo com a distância genética existente entre eles. As análises citogenéticas indicaram a presença de poucas anormalidades nos grãos de pólen, as quais não comprometem o potencial reprodutivo dos genótipos. Estas informações podem contribuir significativamente com os programas de melhoramento que se dedicam a lançar genótipos com maior potencial agronômico.

Tratamento e reciclagem do efluente de uma lavanderia industrial

O ramo de lavagem de roupas é um importante setor de serviços na sociedade moderna e responsável por uma parcela significativa no consumo de água no meio urbano. No entanto, são poucas as empresas que se preocupam em lançar seus efluentes dentro de um padrão de qualidade estabelecido pelos órgãos ambientais ou, ainda, reciclar a água no processo de lavagem. Portanto, o objetivo do presente trabalho foi estudar o tratamento e a reciclagem do efluente gerado por uma lavanderia industrial. Assim, realizou-se inicialmente um estudo de caracterização do efluente e uma investigação, em laboratório, das diferentes alternativas de tratamento, entre as quais a coagulação/floculação, adsorção/coagulação/ floculação e a Reação de Fenton, os quais foram avaliados em relação a padrões físicoquímicos e ecotoxicológicos de qualidade. Nas condições otimizadas em laboratório, realizou-se o tratamento de efluentes em escala industrial. Após, avaliou-se a possibilidade de reciclagem do efluente no próprio processo de lavagem de roupas e fez-se uma avaliação de custos considerando as diferentes alternativas de processos. Por fim, realizou-se um estudo de caracterização do lodo gerado. Os resultados obtidos demonstram que o efluente bruto da lavanderia não atinge os padrões físico-químicos exigidos pela legislação e apresenta um alto grau de toxicidade no meio aquático, devendo ser tratado para lançamento no corpo hídrico receptor. O efluente tratado por coagulação/floculação melhorou significativamente a qualidade da água, porém ainda apresentou resultados insatisfatórios quanto ao parâmetro surfactantes. Os índices toxicológicos melhoraram, porém ainda mostraram um nível de toxidade elevado. O efluente tratado por adsorção/coagulação/floculação apresentou bons resultados tanto nos parâmetros físicoquímicos quanto nos ensaios de toxicidade, mostrando ser a melhor opção de processo. A aplicação deste processo em escala industrial demonstrou que o processo apresenta uma grande confiabilidade em relação a todos os parâmetros de qualidade exigidos pelo órgão ambiental e a reciclagem do efluente pode ser realizada para fins de lavagem de roupas. O tratamento através da Reação de Fenton apresentou bons resultados em relação aos parâmetros físico-químicos, porém a presença de agentes oxidantes de forma residual foi tóxica sobre os organismos avaliados. A Reação de Fenton, apesar de gerar um efluente com boas características para reciclagem, apresenta um custo de insumos no processo bastante elevado. O lodo é um fator importante o processo de tratamento. Apresenta-se rico nos elementos alumínio e cálcio e é classificado, de acordo com a NBR 10.004, como um resíduo não perigoso (Classe II - Não Inerte). Esse lodo deve ser devidamente secado e envido para um aterro de resíduos industriais. Porém, apresenta potencial para reúso como matéria-prima na construção civil.