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.

Avaliação da genotoxicidade induzida por emissões de veículos automotores - Ctenomys minutus como organismo bioindicador

Existe um número crescente de componentes químicos lançados ao meio ambiente, muitos dos quais são capazes de induzir efeitos danosos adversos à saúde de animais e humanos, representando uma causa importante de preocupação por seus possíveis efeitos a longo prazo. O impacto ecológico e os riscos a saúde dos organismos associados com a exposição a poluentes ambientais são extremamente difíceis de se avaliar devido a muitos desses componentes serem parte de misturas complexas. Os gases produzidos pelos motores dos veículos à combustão contém diversos poluentes sabidamente genotóxicos, como óxidos de nitrogênio (NOX), monóxido de carbono (CO), óxidos de enxofre (SOx), hidrocarbonetos (HC) e seus derivados, bem como particulados, e metais (cádmio, cromo, cobre, níquel, vanádio, zinco e chumbo). Todos esses compostos isolados ou associados a outros elementos são tóxicos ou de efeito danoso aos organismos, de forma não totalmente esclarecida. Este estudo teve como objetivo verificar o possível efeito genotóxico das emissões dos automóveis em roedor nativo Ctenomys minutus cronicamente exposto, através do Ensaio Cometa (EC), comparando os resultados com o Teste de Micronúcleos (MN), ambos em sangue periférico. Levando em consideração alguns fatores que pudessem influenciar os resultados dos testes de genotoxicidade, este trabalho ainda teve como objetivos: identificar a presença de alguns agentes envolvidos na poluição gerada pelos veículos; verificar possíveis diferenças sazonais, como temperatura e ventos; e se existe influência da idade e sexo dos roedores. Os C. minutus (Octodontidae-Rodentia), foram capturados em dois campos diferentes, ambos ao lado da estrada RS/030, na cidade de Osório, Estado do Rio Grande do Sul (RS): (a) Amaral, e (b) Weber. Animais para controle externo foram capturados no Campo Maribo à cerca de 3 km de distância de outra estrada (RS/389-Osório/RS), conseqüentemente afastada das emissões dos veículos. No final do período desse estudo, foram capturados 123 animais (73 fêmeas e 50 machos).

Concepção, desenvolvimento e validação de instrumentos de coleta de dados para estudar a percepção do processo decisório e as diferenças culturais

A presente dissertação insere-se no contexto de um projeto global de pesquisa, em desenvolvimento no GESID-PPGA/EA/UFRGS, com a cooperação de algumas universidades estrangeiras. Tal projeto tem como tema a percepção do processo decisório individual e a influência da cultura nacional e da experiência decisória. Para estudar a inter-relação destes assuntos é preciso, antes de mais nada, elaborar um conjunto de instrumentos que permitam investigar a percepção das pessoas sobre a tomada de decisão. Este é o objetivo principal do presente trabalho, que refere-se à primeira fase desse projeto global: a partir da literatura, e do conhecimento de um grupo de pesquisadores, conceber e desenvolver um conjunto de instrumentos (quantitativos e qualitativos) válidos para estudar a decisão. E ainda estabelecer uma metodologia de aplicação desse instrumental, a qual possa determinar uma seqüência (ordem) e forma de aplicação mais adequada. Para tanto, primeiramente foram definidas as 3 questões de pesquisa, que nortearam o desenvolvimento dos instrumentos de pesquisa, as quais deverão ser investigadas no contexto do projeto global de pesquisa, e que podem ser resumidas da seguinte forma: (1) Independentemente da cultura nacional ou do nível de experiência decisória dos indivíduos é possível identificar fatores comuns (passos, princípios, insights) a respeito da forma como as pessoas percebem o processo decisório individual, especialmente se tomado o modelo de processo decisório da “Racionalidade limitada” de Simon (1947) como padrão de comparação? (2) A cultura atua como fator de diferenciação na percepção do processo decisório individual? (3) A Experiência Decisória (vivência) dos indivíduos influencia a forma como eles percebem o processo decisório individual? A definição destas 3 questões de pesquisa possibilitou a concepção dos instrumentos, nos quais posteriormente foi realizada uma validação de conteúdo (por uma comissão de juízes) e de sua seqüência de aplicação (testando-se diferentes ordens), bem como a verificação da sua fidedignidade (através do Teste-reteste). Com este processo obteve-se os seguintes resultados: (1) projeto global consolidado; (2) conjunto de instrumentos de pesquisa concebido e validado; (3) seqüência de aplicação do instrumental definida e validada; (4) quadro de construtos definido fornecendo subsídios para a definição de um protocolo de análise de dados; (5) concepção de um método para verificação da "contaminação" de instrumentos de pesquisa.

O espelho de Glatzel na avaliação da permeabilidade nasal em adultos

Introdução O espelho de Glatzel (EG) é correntemente utilizado em consultórios fonoaudiológicos para a avaliação rápida da permeabilidade nasal. O mesmo foi descrito inicialmente em 1898 por Zwaardemaker. Porém, estudos de validação inexistem na literatura. Este estudo teve por objetivos verificar a reprodutibilidade do EG e a correlação intra-sujeito entre área de condensação e percepção subjetiva de permeabilidade nasal. Material e Métodos Vinte e cinco sujeitos foram avaliados com o EG por cinco minutos consecutivos (475 medidas por sujeito); cada meia hora por quatro horas; cada dia no início da tarde, por cinco dias e toda a quinta-feira por cinco semanas consecutivas. Utilizou-se uma escala análoga visual para avaliar a percepção de respiração nos períodos de horas, dias e semanas. Resultados O coeficiente de correlação total (área direita mais esquerda) encontrado entre área de condensação e percepção subjetiva foi de r=0,04 (p=0,3761). No lado esquerdo foi de r=0,08 (p=0,0984) e no lado direito de r=0,05 (p=0,2862). Os coeficientes de variação unilaterais medianos foram menores que 15% e os totais menores que 12%, independente do intervalo de tempo entre teste e re-teste. Conclusão Não se evidenciou correlação significativa entre a percepção subjetiva e a área de condensação nasal. A variabilidade unilateral foi maior do que quando considerados os valores totais (direito mais esquerdo) e não houve diferença na variabilidade das medidas de área de condensação nasal nos diferentes momentos do tempo.

Uma análise das fugas para piano de Bruno Kiefer : uma busca por padrões estilísticos na sua escrita contrapontística

Este trabalho oferece um estudo dos padrões estilísticos definidos através da análise dos processos contrapontísticos encontrados no terceiro movimento da Sonata nº I, Fuga e Toccata e do movimento final de Duas peças Sérias da obra para piano de Bruno Kiefer. A fuga, uma das técnicas de composição linear mais estabelecidas na escrita musical, reflete as transformações estilísticas na música ocidental. Considerando a diversidade de possibilidades estéticas na música do século XX, faz-se mister investigar como Kiefer tratou uma técnica composicional consagrada, preservando de modo singular e consistente o estilo inovador atribuído às suas obras. O referencial teórico adotado para este estudo é Twentieth Century Fugue – A Handbook (1962) de William Graves, Jr.. A partir da análise dos padrões recorrentes nas fugas de Bruno Kiefer, verificou-se o distanciamento entre os parâmetros da fuga tradicional e o estilo da escrita contrapontística do compositor.

Introdução da truta arco-íris (Oncorhynchus mykiss) e suas conseqüências para a comunidade aquática dos rios de altitude do sul do Brasil

A introdução de espécies exóticas é uma prática que acompanha a história da humanidade, sendo as espécies introduzidas a base da nutrição e economia em vários países. Porém, esse processo contínuo tem levado a uma homogeneização da flora e fauna global. Os ecossistemas aquáticos, que têm recebido menor atenção que os terrestres, têm sofrido perda de diversidade, hibridação, introdução de patógenos, degradação do habitat além da necessidade e alto custo de controle das espécies introduzidas. O desenvolvimento da aqüicultura tem acelerado a introdução de peixes exóticos, que são a base dessa produção em países como o Brasil. Além desta, entre as razões para a introdução citam-se o esporte, a manipulação ecológica com controle de organismos indesejáveis, o melhoramento dos estoques, a ornamentação ou ainda introduções acidentais. No Rio Grande do Sul, nos rios dos Campos de Cima da Serra estão ocorrendo introduções da espécie exótica truta arco- íris (Oncorhynchus mykiss) desde meados da década de 90 como forma de estímulo ao turismo rural. O objetivo dessa prática é a pesca esportiva, que atrai turistas de várias regiões. Porém, os rios da região possuem várias espécies de peixes endêmicas e as conseqüências dessa prática sobre a biota aquática são desconhecidas. O objetivo do presente trabalho é avaliar o efeito da introdução da truta arco-íris sobre o ecossistema de rios de baixa ordem no município de São José dos Ausentes – RS, Brasil. Para tanto foi descrita a biologia da truta arco- íris no novo ambiente, verificando sua alimentação, movimentação, presença e viabilidade da reprodução. A ictiofauna autóctone dos rios com ausência e presença de trutas foi comparada, bem como o efeito da predação sobre a macrofauna bentônica. A ictiofauna foi amostrada com o uso da pesca elétrica, sendo o conteúdo estomacal das trutas avaliado sazonalmente. Três trutas foram marcadas e acompanhadas por ii biotelemetria para determinação da sua área de vida. Um experimento com ninhos artificiais foi conduzido para verificação da sobrevivência de ovos de trutas nas condições dos rios de São José dos Ausentes. O experimento de exclusão de peixes foi feito a fim de avaliar o efeito da predação sobre a macrofauna bentônica, comparando a macrofauna em rios com e sem trutas. Os resultados indicaram que a truta arco- íris tem como alimento principal os invertebrados bentônicos, porém as maiores classes de tamanho incluem peixes em seus alimentos principais. Logo após sua introdução a movimentação é restrita, porém alguns exemplares foram capturados em um rio onde não foi feita introdução dessa espécie. Apesar de baixa, a sobrevivência dos adultos ocorre, assim como a reprodução. A sobrevivência dos ovos também é baixa, porém, uma pós-larva foi encontrada. A ictiofauna autóctone é diferenciada nos rios com presença de truta, apresentando menor riqueza e diversidade e uma tendência a diminuição da biomassa. A macrofauna bentônica também é diferenciada, apesar de não ser possível atribuir essa diferença somente à presença das trutas.

O componente arbóreo de matas de restinga arenosa no Parque Estadual de Itapuã, Rio Grande do Sul : fitossociologia, regeneração e padrões de interações mutualistas com a avifauna

Esta dissertação teve como objetivo geral ampliar o conhecimento sobre a ecologia vegetal das matas de Restinga arenosa em substratos bem drenados no Rio Grande do Sul. Para tanto, foram realizados o estudo florístico e fitossociológico do componente arbóreo de cinco capões de Restinga e a verificação de padrões de interações mutualísticas entre aves frugívoras e as árvores, além do estudo do componente de regeneração e suas relações com o estrato arbóreo adulto. Para a amostragem da vegetação, foi usado o método de parcelas, incluindo-se todas as árvores com DAP ≥ 5cm, totalizando uma área de 1,02ha. Com estes dados, foram estimados os parâmetros usuais em fitossociologia. Em um dos capões, foi realizado também o levantamento florístico e fitossociológico das plântulas (0,05 ≤ altura < 1m) e juvenis (altura ≥ 1m, DAP < 5cm), avaliando-se as relações com o estrato arbóreo adulto, o potencial e a taxa de regeneração natural para cada espécie. Para o estudo dos mutualismos, foram feitas observações visuais e capturas de aves durante um ano. Foram estimadas a conectância do sistema mutualístico e o índice de importância das espécies. Também foi feita a rede de interações do sistema e feita a análise da variação destas interações ao longo das estações do ano. A composição florística resultou em uma riqueza total de 20 famílias e 29 espécies para os cinco capões. A densidade total arbórea teve uma média máxima de 1207 ind/ha e mínima de 747 ind/ha. Sebastiania serrata apresentou o maior valor de importância e Myrtaceae foi a família mais representada. A diversidade específica foi baixa, variando de 1,08 a 2,38 (nats). No sistema mutualístico, registraram-se 29 espécies interagindo (aves e plantas), com uma conectância de 23,9%. Turdus amaurochalinus e T. rufiventris interagiram com a maioria das espécies arbóreas e tiveram o maior índice de importância, sendo caracterizadas como as principais dispersoras em potencial. Ocotea pulchella e Myrsine spp. foram registradas com maior número de eventos de consumo de frutos, no entanto, Ficus organesis interagiu com mais espécies frugívoras, além de ter a maior importância na dieta das aves. Houve variações no número eventos de frugivoria ao longo das estações, bem como no número de espécies frugívoras e de espécies arbóreas consumidas. O componente de regeneração apresentou riqueza específica e diversidade semelhantes às do estrato arbóreo adulto, refletindo uma similaridade florística maior que 70%. A maioria das espécies (73,7%) apresentou taxa de regeneração negativa, revelando o padrão de 'J' invertido. Os resultados indicam a existência de diferenças na composição e estrutura arbórea entre os capões de Restinga, além de uma boa capacidade de regeneração para a maioria das espécies vegetais estudadas. Os dados revelam também um sistema dispersão generalista, no qual poucas espécies de aves interagem com muitas espécies arbóreas e vice-versa.

Low cost BIST techniques for linear and non-linear analog circuits

With the ever increasing demands for high complexity consumer electronic products, market pressures demand faster product development and lower cost. SoCbased design can provide the required design flexibility and speed by allowing the use of IP cores. However, testing costs in the SoC environment can reach a substantial percent of the total production cost. Analog testing costs may dominate the total test cost, as testing of analog circuits usually require functional verification of the circuit and special testing procedures. For RF analog circuits commonly used in wireless applications, testing is further complicated because of the high frequencies involved. In summary, reducing analog test cost is of major importance in the electronic industry today. BIST techniques for analog circuits, though potentially able to solve the analog test cost problem, have some limitations. Some techniques are circuit dependent, requiring reconfiguration of the circuit being tested, and are generally not usable in RF circuits. In the SoC environment, as processing and memory resources are available, they could be used in the test. However, the overhead for adding additional AD and DA converters may be too costly for most systems, and analog routing of signals may not be feasible and may introduce signal distortion. In this work a simple and low cost digitizer is used instead of an ADC in order to enable analog testing strategies to be implemented in a SoC environment. Thanks to the low analog area overhead of the converter, multiple analog test points can be observed and specific analog test strategies can be enabled. As the digitizer is always connected to the analog test point, it is not necessary to include muxes and switches that would degrade the signal path. For RF analog circuits, this is specially useful, as the circuit impedance is fixed and the influence of the digitizer can be accounted for in the design phase. Thanks to the simplicity of the converter, it is able to reach higher frequencies, and enables the implementation of low cost RF test strategies. The digitizer has been applied successfully in the testing of both low frequency and RF analog circuits. Also, as testing is based on frequency-domain characteristics, nonlinear characteristics like intermodulation products can also be evaluated. Specifically, practical results were obtained for prototyped base band filters and a 100MHz mixer. The application of the converter for noise figure evaluation was also addressed, and experimental results for low frequency amplifiers using conventional opamps were obtained. The proposed method is able to enhance the testability of current mixed-signal designs, being suitable for the SoC environment used in many industrial products nowadays.

A função social da propriedade : do CC/1916 ao CC/2000

A disciplina da função social da propriedade e o seu tratamento no âmbito do Direito Civil constituem o tema central deste trabalho. O estudo do tema proposto parte do exame do que denominamos pressupostos teóricos da função social da propriedade, onde situamos a origem da noção função social avançando para o exame de suas diversas manifestações, tendo por base os diplomas legais vigentes e os diferentes contextos jurídicos examinados, o que remete à especial consideração do CC/1916, da CF/88 e do CC/2002. Tal perspectiva exige, ainda, ainda uma abordagem dos fenômenos jurídicos que são subjacentes a esses instrumentos legais. Estabelecida a base teórica, prossegue-se com a verificação de sua aplicação prática, o que se revela na análise da contribuição da doutrina para a compreensão da regra do art. 1.228, § 1.º, CC/2002, bem como mediante uma exegese particular dessa norma e, ainda, no exame da contribuição da jurisprudência, o que abrange a interpretação das diferentes concepções da função social da propriedade recolhidas nas decisões dos Tribunais locais. De tudo resulta a tentativa de precisar as diferentes expressões da função social da propriedade como elemento de harmonização dos interesses sociais e individuais direcionado à concretização da justiça social.

Processo de controle de constitucionalidade : revisitando a inconstitucionalidade da norma

O presente trabalho tem como objetivo uma adequada compreensão da decisão judicial acerca da inconstitucionalidade da norma no ordenamento jurídico erigido sob a Constituição da República Federativa do Brasil de 1988, especialmente no que diz respeito às conseqüências da inconstitucionalidade da norma e à eficácia da decisão de inconstitucionalidade. A pesquisa desenvolvida é exploratória quanto a sua técnica e explicativa quanto a seu objetivo. É exploratória, porque busca no ordenamento jurídico, na jurisprudência e na doutrina instrumentos que permitam compreender o problema da norma inconstitucional e do controle jurisdicional da constitucionalidade das normas; é explicativa quanto a seu objetivo, pois busca compreender os fenômenos jurídicos envolvidos na decisão de inconstitucionalidade, identificando os fatores que determinam ou contribuem para a inconstitucionalidade da norma e para a definição das conseqüências desta inconstitucionalidade, buscando explicar adequadamente o fenômeno da inconstitucionalidade da norma, a fim de definir como esta inconstitucionalidade se reflete na própria norma e na decisão jurisdicional que a reconhece. Deste estudo, resulta que a jurisprudência e a doutrina afirmam, de forma predominante, a nulidade da norma inconstitucional e a eficácia declaratória e ex tunc da decisão de inconstitucionalidade, indicando, contudo, que, em determinados casos, é necessário mitigar essa concepção ou abrir exceções, a fim de preservar os efeitos jurídicos ou a eficácia da norma inconstitucional. Resulta, ainda, que o ordenamento jurídico erigido sob a Constituição da República Federativa do Brasil de 1988, na medida em que consagra a supremacia e a rigidez da Constituição e se caracteriza por sua unidade e coerência, exige que a inconstitucionalidade da norma tenha como conseqüências sua invalidade — ipso jure e a partir do momento em que se verifica a inconstitucionalidade —, sua inexistência enquanto norma jurídica e sua ineficácia ― identificada esta com a incapacidade de incidir sobre os fatos e atribuir-lhes efeitos jurídicos ―, conduzindo determinando, ademais, à eficácia declaratória e ex tunc da decisão de inconstitucionalidade. Resulta, por fim, que as perplexidades apontadas por aqueles que se insurgem contra a concepção acerca da invalidade da norma inconstitucional são meramente aparentes e o próprio ordenamento jurídico possui meios para solucioná-las, sem que, para tanto, seja necessário atenuar ou abrir qualquer exceção em relação à invalidade da norma inconstitucional. O trabalho conduz, então, à conclusão de que, no ordenamento jurídico erigido sob a Constituição da República Federativa do Brasil de 1988, a norma inconstitucional padece de invalidade, inexistência e ineficácia, características que se congregam na concepção acerca da nulidade da norma inconstitucional, e que a decisão de inconstitucionalidade possui eficácia declaratória e ex tunc, sendo que essa concepção pode ser aplicada em todo e qualquer caso, sem que seja necessário mitigá-la ou excepcioná-la.

A abordagem da capacitação como um modelo alternativo à nova administração pública para as ações estatais : um estudo de caso das políticas públicas dos municípios de Tupandi, Torres e Porto Alegre

Esta tese tem o objetivo de evidenciar a troca de prioridades na formulação de políticas públicas imposta pelas novas pressões e desafios sofridos pelo Estado, bem como pelas demandas e expectativas por parte da sociedade civil concernentes a uma agenda política voltada para questões de justiça, eqüidade e gastos públicos voltados para as necessidades dos cidadãos. Essa investigação fundamenta-se na limitação da abordagem que está na base do processo de reforma seguido pelo Estado a partir da década de oitenta. Conforme o paradigma subjacente (Nova Administração Pública), no processo de reforma, as ações governamentais e, portanto, a definição de políticas públicas, se reduzem a fins utilitários, focados na renda e na obtenção da maximização de resultados quantitativos. No entanto, o novo cenário exige uma ampla demanda por respostas estatais, cujas ações, através das políticas públicas, não podem ser voltadas apenas para a eficiência, mas, também para a eqüidade governamental. Dessa forma, toma-se necessário avançar em direção a um modelo que fundamente as ações estatais - elaboração e implementação de políticas públicas - que considere outras dimensões relevantes além da dimensão econômica. Para tanto, apresenta-se a Abordagem da Capacitação como um modelo alternativo para as ações governamentais mais recentes, preocupadas com a eficiência e a eqüidade. Assim, empregando o estudo de casos múltiplos e a técnica qualitativa de análise descritiva-interpretativa, foi verificado se as políticas públicas dos municípios estão incorporando questões mais relacionadas com a Abordagem da Capacitação, em comparação com aspectos mais instrumentais, como sugere o modelo da Nova Administração Pública. Como resultado, foi constatado que, de modo geral, todos os municípios pesquisados estão incluindo outros aspectos além da eficiência na elaboração de suas políticas públicas e, portanto, estão incorporando questões mais relacionadas com a Abordagem da Capacitação, em comparação com aspectos mais instrumentais, como sugere o modelo da Nova Administração Pública. Diante dessa constatação e dadas as limitações referentes ao modelo da Nova Administração Pública observadas nos casos de Tupandi e de Porto Alegre com respeito ao modelo de gestão implícito e da insuficiência do foco em questões administrativas e gerenciais no desenvolvimento das políticas para tratar problemas atuais verificada em todos os casos, conclui-se que as políticas públicas dos três municípios analisados estão seguindo uma intuição da Abordagem da Capacitação e, dessa forma, esse paradigma proposto representa melhor as ações governamentais mais recentes, preocupadas com a eficiência e a eqüidade, servindo, assim, como um modelo alternativo à Nova Administração Pública para as ações estatais.