Automatic layout generation of static CMOS circuits targeting delay and power

The evolution of integrated circuits technologies demands the development of new CAD tools. The traditional development of digital circuits at physical level is based in library of cells. These libraries of cells offer certain predictability of the electrical behavior of the design due to the previous characterization of the cells. Besides, different versions of each cell are required in such a way that delay and power consumption characteristics are taken into account, increasing the number of cells in a library. The automatic full custom layout generation is an alternative each time more important to cell based generation approaches. This strategy implements transistors and connections according patterns defined by algorithms. So, it is possible to implement any logic function avoiding the limitations of the library of cells. Tools of analysis and estimate must offer the predictability in automatic full custom layouts. These tools must be able to work with layout estimates and to generate information related to delay, power consumption and area occupation. This work includes the research of new methods of physical synthesis and the implementation of an automatic layout generation in which the cells are generated at the moment of the layout synthesis. The research investigates different strategies of elements disposition (transistors, contacts and connections) in a layout and their effects in the area occupation and circuit delay. The presented layout strategy applies delay optimization by the integration with a gate sizing technique. This is performed in such a way the folding method allows individual discrete sizing to transistors. The main characteristics of the proposed strategy are: power supply lines between rows, over the layout routing (channel routing is not used), circuit routing performed before layout generation and layout generation targeting delay reduction by the application of the sizing technique. The possibility to implement any logic function, without restrictions imposed by a library of cells, allows the circuit synthesis with optimization in the number of the transistors. This reduction in the number of transistors decreases the delay and power consumption, mainly the static power consumption in submicrometer circuits. Comparisons between the proposed strategy and other well-known methods are presented in such a way the proposed method is validated.

Identificação de sistemas contínuos utilizando o método dos momentos de Poisson

A maioria dos métodos de síntese e sintonia de controladores, bem como métodos de otimização e análise de processos necessitam de um modelo do processo em estudo. A identificação de processos é portanto uma área de grande importância para a engenharia em geral pois permite a obtenção de modelos empíricos dos processos com que nos deparamos de uma forma simples e rápida. Mesmo não utilizando leis da natureza, os modelos empíricos são úteis pois descrevem o comportamento específico de determinado processo. Com o rápido desenvolvimento dos computadores digitais e sua larga aplicação nos sistemas de controle em geral, a identificação de modelos discretos foi amplamente desenvolvida e empregada, entretanto, modelos discretos não são de fácil interpretação como os modelos contínuos pois a maioria dos sistema com que lidamos são de representação contínua. A identificação de modelos contínuos é portanto útil na medida que gera modelos de compreensão mais simples. A presente dissertação estuda a identificação de modelos lineares contínuos a partir de dados amostrados discretamente. O método estudado é o chamado método dos momentos de Poisson. Este método se baseia em uma transformação linear que quando aplicada a uma equação diferencial ordinária linear a transforma em uma equação algébrica evitando com isso a necessidade do cálculo das derivadas do sinais de entrada e saída Além da análise detalhada desse método, onde demonstramos o efeito de cada parâmetro do método de Poisson sobre o desempenho desse, foi realizado também um estudo dos problemas decorrentes da discretização de sinais contínuos, como por exemplo o efeito aliasing decorrente da utilização de tempos de amostragem muito grandes e de problemas numéricos da identificação de modelos discretos utilizando dados com tempos de amostragem muito pequenos de forma a destacar as vantagens da identificação contínua sobre a identificação discreta Também foi estudado um método para compensar a presença de offsets nos sinais de entrada e saída, método esse inédito quando se trata do método dos momentos de Poisson. Esse trabalho também comprova a equivalência entre o método dos momentos de Poisson e uma metodologia apresentada por Rolf Johansson em um artigo de 1994. Na parte final desse trabalho são apresentados métodos para a compensação de erros de modelagem devido à presença de ruído e distúrbios não medidos nos dados utilizados na identificação. Esses métodos permitem que o método dos momentos de Poisson concorra com os métodos de identificação discretos normalmente empregados como por exemplo ARMAX e Box-Jenkins.

Abordagem probabilística na avaliação de depósitos de argila cerâmica

A argila é uma matéria-prima básica nos processos de fabricação de pisos e azulejos. Especificações industriais devem ser cumpridas para sua utilização como componente das formulações cerâmicas. A homogeneidade é vital. Nos depósitos minerais fonte desse material, as características cerâmicas da argila, sua representatividade, variabilidade e interação com a geologia local precisam ser bem conhecidas, a fim de propriamente quantificá-la e classificá-la de forma georeferenciada. Isso consubstancia a tomada de decisões mineiras relacionadas. Essa dissertação apresenta uma alternativa metodológica de avaliação de recursos geológicos e reservas recuperáveis de argila cerâmica, em uma perspectiva probabilística. Métodos geoestatísticos como krigagem e simulação estocástica são aplicados em suporte de blocos de lavra. Recursos geológicos ocorrentes nos diversos setores de um depósito estudado são estimados acuradamente. Em sua porção mais favorável reservas recuperáveis são avaliadas, sob critérios cerâmicos e de seletividade mineira, tomados separadamente e em conjunto, em escala global e local Para o estudo de caso apresentado, duas propriedades cerâmicas pós-queima são consideradas, absorção d’água e retração linear, além da espessura do horizonte argiloso. Modelos de cenários extremos e medianos de reservas são construídos, flexibilizando a apreciação do quadro geral obtido, e permitindo assim maior segurança na condução de decisões e eventuais operações mineiras. Comparativos com métodos tradicionalmente utilizados na avaliação deste tipo de depósitos, em suas diversas fases, comprovam as vantagens da metodologia proposta, a qual permite, além da quantificação e classificação cerâmica de reservas, uma incorporação de margem de riscos nas predições realizadas.

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.

Síntese e enriquecimento enantiomérico via catálise enzimática do sistema 5-bromo-12-oxa-pentaciclo[6.2.16,9.12,7.12,10]dodeca-4-eno-3-endo-ol e derivados. RMN de 1H e 13C: correlação de parâmetros teóricos e experimentais

Partindo de ciclopentadieno, ciclohexadieno, p-benzoquinona e 2,5-dibromo-pbenzoquinona, os adutos 1, 5, 30 e 31 foram sintetizados. Os adutos 1, 5 e 30 foram utilizados como produtos de partida para a síntese de 13 (treze) novos compostos, em sua maioria com potenciais características para apresentarem atividade biológica inibidora de glicosidases e reguladora da liberação de Insulina no sangue. O aduto 31 é inédito na literatura até o momento. Cinco novas propostas de mecanismos são apresentadas. Os álcoois racêmicos 6 e 29 foram submetidos a reações de transesterificação catalisadas por lipase de Pseudomonas cepacia em diferentes preparações e seus enantiômeros separados com enantiosseletividade (E) maior que 100 em todos os casos. Este processo resultou, também, na obtenção dos respectivos acetatos 43 e 44 enantiomericamente puros e com excelentes rendimentos químicos. Os compostos 6, 29 e 34 depois de terem suas estruturas moleculares resolvidas através dos métodos espectroscópicos de rotina, tiveram suas estruturas moleculares calculadas pelo método ab initio e por Funcionais de Densidade. As geometrias otimizadas foram submetidas ao método GIAO para o cálculo dos tensores de blindagem magnética isotrópica. Estes cálculos mostraram-se eficazes na descrição dos deslocamentos químicos da maioria dos átomos, incluindo os dos anéis ciclopropanos presentes nas estruturas moleculares de cada composto. Algumas dificuldades foram encontradas para a descrição do sistema vinílico halogenado dos álcoois 6 e 29. Foram utilizadas moléculas modelo para verificar a extensão de tais dificuldades.

Eletrosíntese de filmes de polímeros a partir de naftilaminas substituídas sobre metais oxidáveis e síntese química : aplicação na proteção contra a corrosão

Neste trabalho é apresentado um estudo da síntese e caracterização de polinaftilaminas substituídas com vistas à sua utilização na proteção contra a corrosão. É mostrada a possibilidade de eletrosíntese de filmes destes polímeros intrinsecamente condutores sobre metais oxidáveis passiváveis em meio aquoso ácido pelos métodos potenciostático e potenciodinâmico sem dissolução dos eletrodos. A caracterização química, morfológica e eletroquímica destes filmes poliméricos demonstrou que não há sensíveis diferenças em relação aos mesmos filmes obtidos sobre eletrodos inertes e que é preservada uma das funções na cadeia polimérica. Os filmes de naftilaminas substituídas oferecem uma barreira parcial contra a corrosão do aço carbono e quando polimerizado o 1,5-diaminonafttaleno juntamente com a anilina forma-se o compósito Poli 1,5-diaminonaftaleno/Polianilina que passiva anódicamente o Fe em meio sulfato pH 4. É apresentada também a síntese química do poli 5-amino 1-naftol, que se mostra passivante anódico do aço inox SS 430 em ácido sulfúrico aquoso 1M.

Síntese de co- e terpolimeros de etileno-propileno através de catalisadores metalocênicos homogêneos e heterogêneos

Neste trabalho, estudaram-se reações de co- e terpolimerização com sistemas metalocênicos, cocatalisadas por metilaluminoxano (MAO). A estrutura destes complexos foi analisada com respeito aos efeitos estéricos e eletrônicos. A otimização da geometria destes complexos foi realizada através de cálculos de campo de força, e os aspectos eletrônicos dos complexos neutros foram analisados por espectroscopia de UV-visível e fotoeletrônica de raios-X (XPS). A performance catalítica destes complexos foi avaliada com relação à atividade, incorporação de propileno, massa molar média e sua distribuição em diferentes condições de polimerização. O sistema catalítico Et(4-Ph-7MeInd)2ZrCl2/MAO foi testado pela primeira vez na literatura aberta para a reação de copolimerização de etileno-propileno obtendo-se altas atividades, alta incorporação de propileno e microestrutura tipo bloco nos copolímeros. A heterogeneização dos sistemas metalocênicos foi avaliada através de três rotas básicas: imobilização diretamente sobre sílica, sobre sílica modificada com MAO e sobre sílica modificada com compostos atuando como espaçadores horizontais. Estes três métodos foram comparados com relação às características finais dos copolímeros. Na etapa de modificação da sílica com MAO, inicialmente estudaram-se as condições de preparação do sistema catalítico, concentração de Zr e Al e temperatura, que poderiam levar a mudanças no produto final. Através de técnicas de análise de superfície como XPS, DRIFTS (Espectroscopia de Infravermelho por refletância difusa) e UV-DRS (Espectroscopia de UV-Visível por refletância difusa) foi possível o estudo das espécies formadas na superfície da sílica modificada com MAO. Os sistemas catalíticos suportados na sílica modificada com espaçadores horizontais mostraram ser mais ativos que o sistema suportado diretamente sobre sílica incorporando distintos teores de propileno. As modificações na superfície da sílica com relação ao teor final de grupos hidroxilas e energia de ligação dos elétrons 3d5/2 do átomo de Zr também foram analisadas. Foi feito o estudo cinético da co- e terpolimerização de etileno-propileno para alguns sistemas metalocênicos estudados. No caso da terpolimerização foi realizado o estudo teórico e experimental da reação de terpolimerização para a síntese de EPDM com o sistema catalítico Et(Ind)2ZrCl2/MAO e 2-etilideno-5-norbornadieno (ENB) como termonômero. Finalmente, este modelo foi adaptado às reações de copolimerização realizadas na primeira etapa do trabalho. As razões de reatividade foram determinadas para os precursores catalíticos Me2Si(2-MeInd)2ZrCl2, Et(IndH4)2ZrCl2, Me2Si(IndH4)2ZrCl2 and Et(4-Ph-7-MeInd)2ZrCl2 e também para os respectivos sistemas suportados em sílica modificada por MAO. Também realizou-se a determinação do coeficiente de transferência de massa convectivo para o etileno e o propileno nas reais condições de polimerização. As razões de reatividade e os parâmetros de transferência de massa foram usados no modelo da reação de copolimerização para sistemas metalocênicos homogêneos e suportado. Este modelo permitiu o discernimento das reações que controlam as características finais dos copolímeros sintetizados.

Estudo da reação de acoplamento de Eschenmoser e redução de sistemas beta-enaminocarbonílicos : aplicação em síntese de alcalóides

Neste trabalho tratou-se do estudo da Reação de Acoplamento de Eschenmoser e da redução dos sistemas β-enaminocarbonílicos derivados da mesma com sua aplicação da síntese de alcalóides com atividade biológica. Estudou-se condições de formação de compostos β-enaminocarbonílicos trissubstituídos e tetrassubstituídos, secundários e terciários. Métodos de redução via hidreto ou através de hidrogenação catalítica foram estudadas neste trabalho. O efeito do tamanho do anel (5 e 6 membros) na Reação de Acoplamento de Eschenmoser foi estudado ajudando no esclarecimento do mecanismo da mesma. A metodologia desenvolvida foi aplicada na síntese dos alcalóides Noralosedamina e Fenidato de Metila.

Paralelização de métodos de resolução de sistemas lineares esparsos com o DECK em um Cluster de PCs

O objetivo desta dissertação é a paralelização e a avaliação do desempenho de alguns métodos de resolução de sistemas lineares esparsos. O DECK foi utilizado para implementação dos métodos em um cluster de PCs. A presente pesquisa é motivada pela vasta utilização de Sistemas de Equações Lineares em várias áreas científicas, especialmente, na modelagem de fenômenos físicos através de Equações Diferenciais Parciais (EDPs). Nessa área, têm sido desenvolvidas pesquisas pelo GMC-PAD – Grupo de Matemática da Computação e Processamento de Alto Desempenho da UFRGS, para as quais esse trabalho vem contribuindo. Outro fator de motivação para a realização dessa pesquisa é a disponibilidade de um cluster de PCs no Instituto de Informática e do ambiente de programação paralela DECK – Distributed Execution and Communication Kernel. O DECK possibilita a programação em ambientes paralelos com memória distribuída e/ou compartilhada. Ele está sendo desenvolvido pelo grupo de pesquisas GPPD – Grupo de Processamento Paralelo e Distribuído e com a paralelização dos métodos, nesse ambiente, objetiva-se também validar seu funcionamento e avaliar seu potencial e seu desempenho. Os sistemas lineares originados pela discretização de EDPs têm, em geral, como características a esparsidade e a numerosa quantidade de incógnitas. Devido ao porte dos sistemas, para a resolução é necessária grande quantidade de memória e velocidade de processamento, característicos de computações de alto desempenho. Dois métodos de resolução foram estudados e paralelizados, um da classe dos métodos diretos, o Algoritmo de Thomas e outro da classe dos iterativos, o Gradiente Conjugado. A forma de paralelizar um método é completamente diferente do outro. Isso porque o método iterativo é formado por operações básicas de álgebra linear, e o método direto é formado por operações elementares entre linhas e colunas da matriz dos coeficientes do sistema linear. Isso permitiu a investigação e experimentação de formas distintas de paralelismo. Do método do Gradiente Conjugado, foram feitas a versão sem précondicionamento e versões pré-condicionadas com o pré-condicionador Diagonal e com o pré-condicionador Polinomial. Do Algoritmo de Thomas, devido a sua formulação, somente a versão básica foi feita. Após a paralelização dos métodos de resolução, avaliou-se o desempenho dos algoritmos paralelos no cluster, através da realização de medidas do tempo de execução e foram calculados o speedup e a eficiência. As medidas empíricas foram realizadas com variações na ordem dos sistemas resolvidos e no número de nodos utilizados do cluster. Essa avaliação também envolveu a comparação entre as complexidades dos algoritmos seqüenciais e a complexidade dos algoritmos paralelos dos métodos. Esta pesquisa demonstra o desempenho de métodos de resolução de sistemas lineares esparsos em um ambiente de alto desempenho, bem como as potencialidades do DECK. Aplicações que envolvam a resolução desses sistemas podem ser realizadas no cluster, a partir do que já foi desenvolvido, bem como, a investigação de précondicionadores, comparação do desempenho com outros métodos de resolução e paralelização dos métodos com outras ferramentas possibilitando uma melhor avaliação do DECK.