Análise estratigráfica da seção rift da Bacia de Camamu-Almada, Bahia

A seção rift das bacias brasileiras representa o registro associado à quebra do Gondwana e conseqüente separação entre o Brasil e a África, gerando os mais importantes sistemas petrolíferos do país. Porém, a seção rift nas bacias marginais brasileiras não é adequadamente conhecida em termos estratigráficos, e isto se deve claramente a carência de modelos conceituais cientificamente estabilizados acerca da evolução estratigráfica de bacias rift. A maioria dos estudos estratigráficos ainda aborda as seções rift sob o enfoque puramente litoestratigráfico, raros trabalhos desenvolveram uma análise estratigráfica sob uma óptica genética, utilizando a estratigrafia de seqüências. Isto acontece em parte porque os conceitos da estratigrafia de seqüências clássica são baseados em um controle eustático, em bacias do tipo margem passiva; esta abordagem não funciona se aplicada em bacias rift, pois estas possuem uma geometria muito diferente das bacias de margem passiva e, principalmente, bacias rift são controladas pela tectônica e possuem uma geometria bem diferente das bacias de margem passiva. Assim, com a integração dos conceitos e teorias evolutivas de bacias rift apresentados na literatura, foi desenvolvido um modelo evolutivo conceitual onde um pulso tectônico, relativamente rápido no tempo geológico, gera no sistema geométrico básico de uma bacia rift, o sistema de meiograben, um soerguimento e uma subsidência contemporâneos, resultando assim, em eventos erosivos correlatos a pacotes sedimentares. Em termos de padrões de sedimentação, observou-se também, que existe um atraso na chegada do pulso sedimentar em resposta ao pulso tectônico gerador, fazendo com que os eventos tectonicamente mais ativos do rift sejam caracterizados pela deposição de folhelhos, e sucedidos por sedimentos grossos. A aplicação destes conceitos na Bacia de Camamu-Almada (costa central da Bahia, margem leste brasileira), que possui as fases pré-rift, sin-rift e pós-rift preservadas, possibilitou uma maior compreensão da evolução estratigráfica da fase rift. Foram caracterizadas fácies, determinados os sistemas deposicionais, identificados padrões de empilhamento e delimitadas seqüências deposicionais e suas discordâncias limitantes. Assim, foi possível estabelecer modelos evolutivos sedimentológicos e paleogeográficos, que são fundamentais para a localização espacial (e temporal) dos possíveis folhelhos geradores e dos potenciais arenitos reservatórios. Por fim, pioneiramente, foi aplicado o modelo de Tratos Tectônicos, onde os tratos geométricos são identificados e relacionados a determinadas fases tectônicas da evolução da bacia rift, fornecendo assim, na obra completa, importantes avanços e fundamentais informações para o sistema petrolífero e geologia do petróleo da Bacia de Camamu-Almada, os quais também podem ser utilizados como base para avanços tecnológicos e científicos em outras bacias do tipo rift.

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.

A questão ambiental na esfera pública e a democracia no Paraguai

Este estudo focaliza a questão ambiental emergente na esfera pública no Paraguai e analisa a sua institucionalização nos órgãos do Estado, nos processos decisórios políticos e nas políticas públicas. A coleta de documentos e as entrevistas semi-estruturadas possibilitaram identificar as ações e interesses dos envolvidos na emergência pública da questão ambiental, assim como os conflitos e relações de poder presentes na sua institucionalidade política. O estudo demonstrou que a questão ambiental emerge na esfera pública privilegiando aspectos técnicos relativos à proteção dos recursos naturais. Observou-se também, que a manutenção pública da questão ambiental como assunto social relevante depende da ação e do discurso de vários grupos sociais, sendo que as decisões políticas ficam restritas às ações dos representantes das ONGs, de grupos privados, dos órgãos do Estado e da cooperação internacional. Neste contexto, a questão ambiental vai propiciando o surgimento de novas visões a respeito do modelo de desenvolvimento, com propostas de incorporação da sustentabilidade como objetivo final. As mudanças impulsionadas por esta questão influenciam também os processos de decisão política, propondo a conjugação entre a consciência cidadã, a representatividade política de interesses da maioria e as novas responsabilidades, obrigações e direitos sociais relativos ao meio ambiente.

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.