Geração automática de leiaute através de matriz de células- MARTELO

Esta dissertação enquadra-se em um processo de busca de soluções para a geração do leiaute de circuitos integrados que permitam aumentar a qualidade da previsibilidade do comportamento de um circuito após a sua implementação. Isso é importante face ao crescimento dos problemas referentes aos efeitos elétricos adversos que surgem em nanocircuitos, tais como eletromigração, efeito antena, contatos mal formados e outros, assim como o aumento da variabilidade do processo de fabricação em tecnologias submicrônicas. O foco deste trabalho de pesquisa é a busca de soluções regulares através do uso de matrizes de portas lógicas. A experimentação efetuada realiza a geração de uma matriz de portas NAND que viabiliza a implementação de equações lógicas mapeadas para redes de portas NAND e inversores, admitindo-se a parametrização do fanout máximo. Foi desenvolvida uma ferramenta de CAD, o MARTELO, que permite efetuar a geração automática de matrizes de portas lógicas, sendo que a versão inicial está voltada para a geração de matrizes com portas NAND em tecnologia CMOS. Os experimentos efetuados revelam que esta técnica é promissora, sendo apresentados alguns dos resultados obtidos.

Lugares de fala do leitor no Diário Gaúcho

A tese tem como tema o segmento popular da grande imprensa, mais especificamente os Lugares de Fala dos leitores no jornal Diário Gaúcho (DG). O DG, editado pela Rede Brasil Sul de Comunicação no Rio Grande do Sul, é lido por mais de um milhão de leitores das classes B, C e D. Dedica-se à prestação de serviço, ao entretenimento e à concessão de ampla visibilidade aos seus leitores populares. A análise parte da noção de que a categoria do sensacionalismo perdeu seu vigor para caracterizar essa imprensa tanto por sua inconsistência, quanto pela mudança de perfil dos jornais populares. No caso do DG, é a fala do leitor popular que faz a diferença. Para explicar essa visibilidade, o estudo busca, a partir de conceitos da Sociologia de Pierre Bourdieu, dos Estudos Culturais e dos Estudos do Discurso, a formulação do conceito de Lugares de Fala, entendido como a representação, no texto, das posições sociais e da posse de capital simbólico do jornal e do leitor e do conceito prévio que têm de si e do outro. O trabalho analisa os lugares que a fala do leitor assume no jornal e aborda o jornalismo de referência e o jornalismo popular, para compreender quem é autorizado a falar em cada um deles. Pesquisa como o discurso do DG movimenta-se em conformidade com sua lógica heterônoma em relação aos valores tradicionais do jornalismo de referência. Estuda a apropriação de características culturais historicamente consideradas populares e debate algumas conseqüências da ênfase da fala do leitor popular para o habitus jornalístico. A tese também utiliza-se dos conceitos de Modos de Endereçamento e Matrizes Culturais para resgatar a representação do leitor popular e os elementos do folhetim e do melodrama presentes nessa imprensa. Descreve a interpelação e as representações do leitor a partir da análise de 28 edições do jornal, especialmente de suas seções fixas destinadas a essa fala. Reflete sobre o lugar da fala popular no jornalismo, aborda que lugares são esses e questiona em que medida o jornalismo é lugar de tais falas.

Redução do número de espermatozóides por fêmea suína inseminada por ano.

Na inseminação artificial de suínos, são utilizados de 9 a 12 bilhões de espermatozóides por fêmea inseminada. A utilização de menor número de espermatozóides, sem interferir na performance reprodutiva das fêmeas, poderia otimizar o uso dos machos e reduzir os custos de inseminação. Esta tese foi dividida em três experimentos para avaliar o efeito da redução do número de espermatozóides por fêmea inseminada com a técnica tradicional ou intra-uterina. No experimento 1 foram utilizadas 218 leitoas Camborough 22 inseminadas em três intervalos antes da ovulação (0-12, 13-23 e 24-30 h), com doses inseminantes contendo 1,5 bilhão de espermatozóides e armazenadas por 0-48 h ou 96-120 h. As leitoas receberam uma única inseminação. As fêmeas foram abatidas aos 30,83,7 dias de gestação e o trato genital foi removido para contagem do número de corpos lúteos e embriões totais. A taxa de prenhez foi influenciada pelo intervalo inseminação-ovulação quando o sêmen foi armazenado por 96-120 h (P<0,05). Da mesma forma, a interação tempo de armazenamento do sêmen e o intervalo inseminação-ovulação afetou (P<0,05) o número de embriões totais e a sobrevivência embrionária. Quando o período de armazenamento do sêmen foi de 120 h e o intervalo inseminação-ovulação de 24-30 h, foi observada redução no número de embriões totais e na sobrevivência embrionária. No experimento 2 foi avaliado o efeito do intervalo inseminação-ovulação e do número de espermatozóides na dose inseminante em fêmeas submetidas à inseminação intra-uterina. Foram utilizadas 66 matrizes pluríparas da linhagem Camborough 22. As fêmeas foram distribuídas em quatro tratamentos (doses de 1 ou 2 bilhões de espermatozóides diluídos em 60 ml e intervalo inseminação-ovulação de 0-24 e 25-36 h). As fêmeas receberam uma única inseminação intra-uterina. No momento da inseminação, não foi observado refluxo de sêmen. A passagem do cateter pela cérvix foi possível em todas as fêmeas. Foi observada presença de sangue em 1,7% das fêmeas. Aos 314,3 dias de gestação, as fêmeas foram abatidas e o trato genital foi removido para a contagem dos corpos lúteos e número de embriões totais. A taxa de prenhez e a sobrevivência embrionária não foram afetadas pelo número de espermatozóides ou pelo intervalo inseminação-ovulação. O número de embriões totais não foi influenciado pelo número de espermatozóides, mas foi reduzido para o intervalo inseminação-ovulação de 25-36 h comparado a 0-24 h (P<0,05). No experimento 3 foram utilizadas 298 fêmeas Camborough 22 com o objetivo de comparar o desempenho reprodutivo de fêmeas submetidas à inseminação intra-uterina e a tradicional. As fêmeas foram distribuídas em dois tratamentos: T1 – inseminação intra-uterina com doses inseminantes contendo 0,5 bilhão de espermatozóides em um volume total de 20 ml; T2 - inseminação tradicional com doses inseminantes contendo 3,0 bilhões de espermatozóides em um volume total de 90 ml. As fêmeas receberam múltiplas inseminações. Foi possível a realização da inseminação intra-uterina em 98,1% das fêmeas. A presença de sangue, na extremidade do cateter ou espiral da pipeta de inseminação intra-uterina, foi observada em 8,4 % das fêmeas. As taxas de prenhez e de parto ajustada não diferiram entre os tratamentos. No entanto, o tamanho da leitegada foi menor (P<0,05) na IAU quando comparado à tradicional. Na inseminação artificial tradicional, em leitoas, é possível utilizar 1,5 bilhão de espermatozóides sem que as taxas de prenhez, número de embriões totais e sobrevivência embrionária sejam comprometidas. Para a inseminação intra-uterina, a utilização de 1 bilhão de espermatozóides não compromete o desempenho reprodutivo.

Feições de textura para classificação de imagens

Presentemente, os métodos utilizados no processo classificação de imagens, em sua grande maioria, fazem uso exclusivamente dos atributos espectrais. Nesta pesquisa,são introduzidos os atributos espaciais, em particular a textura, no processo de classificação de imagens digitais. As informações de textura são quantificadas pelo método das matrizes de co-ocorrência, proposto por Haralick, e organizadas em um formato similar ao utilizado nas bandas espectrais, gerando desta forma canais de textura. Com a implementação deste atributo em adição aos espectrais, obtêm-se um acréscimo na exatidão obtida no processo de classificação de imagens.

Manejo dentário em leitões efeitos no ganho de peso na maternidade e creche, prevalência de abcessos periapicais e isolamento dos agentes bacterianos envolvidos.

O corte ou desgaste dos dentes dos leitões recém nascidos é uma prática comum na suinocultura, com o objetivo de reduzir lesões cutâneas na face dos leitões e no aparelho mamário das matrizes. Para avaliação da presença de lesões dentárias, foram analisados após eutanásia 280 animais que apresentavam sinais clínicos de definhamento (refugagem) compatíveis com uma forma de infecção por circovírus (síndrome da refugagem multissistêmica). Entre esses, 58 leitões (21%) apresentaram ao menos um abscesso periapical (total de 70 abscessos), onde: 3os incisivos superiores, 3os incisivos inferiores, caninos superiores e caninos inferiores foram respectivamente responsáveis por 31%, 23%, 6%, e 33% dos abscessos. Outros dentes foram responsáveis por 7% do total de abscessos. A prevalência de abscessos predominantemente nos dentes 3os incisivos e caninos inferiores sugere que estes dentes sofreram maior área de corte/desgaste, refletindo em superior prevalência de abscessos periapicais. Dentre as bactérias classificadas, o Streptococcus sp. foi a mais isolada (21,48% dos isolados em aerobiose e 27,7% em anaerobiose). Houve um isolamento significativamente maior de bactérias corineformes em atmosfera anaeróbica, quando comparado com isolamentos em aerobiose. Houve preponderância de isolamentos de bactérias Gram positivas. Através de um experimento a campo em granja de produção de leitões, foram avaliados 7 tipos de manejos dentários, medindo a influência dos mesmos na variável ganho de peso na maternidade e creche. Nenhuma entre as técnicas avaliadas mostrou diferença estatisticamente significativa.

Influência da imersão em desinfetante a base de ácido peracético sobre as propriedades de um compósito odontológico de uso indireto

O objetivo deste trabalho foi avaliar a influência da imersão no desinfetante a base de ácido peracético 0,2% (STERILIFE, Lifemed Produtos Médicos Comércio Ltda, São Paulo, SP) sobre as propriedades de resistência flexural, sorção e solubilidade do compósito odontológico BelleGlass HP (Kerr, Orange, USA). Para cada ensaio foram confeccionados dez corpos de prova do compósito, utilizando-se as matrizes determinadas pela especificação no 4049 da International Organization for Standardization (ISO), sendo cinco submetidos a três imersões no desinfetante durante 10 minutos, intercaladas por 10 minutos em água destilada estéril e os outros cinco serviram como grupo controle. Para o ensaio de resistência flexural, após os corpos de prova ficarem imersos em água a 37° C, por 24 horas, foram levados à Máquina de Ensaio Universal DL 2000 (EMIC, São José dos Pinhais, Paraná, Brasil). A norma ISO n0 4049 exige uma resistência flexural mínima de 100 MPa. Para os ensaios de sorção e solubilidade os corpos de prova foram submetidos a ciclos a 37 C em um dessecador por 22 horas e, 2 horas em um segundo dessecador, a 23C, até a obtenção de uma massa constante (m1). Após 7 dias em banho de água a 37 C, procedeu-se à avaliação da massa do corpo de prova hidratado (m2). Posteriormente as amostras retornaram para o primeiro dessecador e todo o ciclo foi repetido até encontrar-se a terceira massa (m3) recondicionada. A norma ISO n0 4049 exige valores menores ou iguais a 40 g/mm3 e 7,5g/mm3 para a aprovação, em relação à sorção e solubilidade. Os resultados deste trabalho mostraram que as propriedades de resistência flexural, sorção e solubilidade do compósito BelleGlass HP de todos os corpos de prova dos grupos experimental e controle atenderam às exigências da especificação. Portanto pode se prever que o procedimento da imersão neste desinfetante não trará prejuízo às restaurações indiretas do compósito considerando as propriedades avaliadas.

Projeto de desenvolvimento e encampações no discurso do governo Leonel Brizola : Rio Grande do Sul (1959-1963)

Esta dissertação aborda o discurso do desenvolvimento do governo Leonel Brizola (1959-1963) no Rio Grande do Sul. A partir de uma perspectiva que associa as preocupações da Ciência Política com a abordagem da Análise do Discurso, este trabalho examina alguns dos principais aspectos da construção do referido discurso. Neste sentido, a pesquisa apresenta uma reflexão teórica sobre a noção de discurso e sobre destacadas matrizes de pensamento acerca dos modelos de desenvolvimento. Isto oferece subsídios para um exame das políticas no campo econômico por parte deste governo estadual. Dentre as medidas adotadas por esta administração, a dissertação enfatiza os processos de desapropriação de empresas estrangeiras nos setores de energia elétrica e de telecomunicações. Baseado no estudo específico destes eventos de intervenção estatal, a pesquisa analisa a constituição heterogênea do discurso do desenvolvimento do governo Brizola. Estes aspectos permitem averiguar: os distintos sentidos atribuídos ao desenvolvimento, o significado político destas encampações, a dinâmica dos elementos discursivos envolvidos e a importância de tais iniciativas governamentais na configuração de um projeto econômico para o Rio Grande do Sul.

Modelos de simulação espacial de efeitos de pastejo em vegetação campestre

O principal objetivo da tese foi desenvolver um modelo matemático computacional espacialmente explícito, de autômatos celulares (CA), capaz de simular a dinâmica de vegetação campestre sob pastejo, descrita por tipos funcionais de plantas (PFTs), ao invés de espécies. Com dados obtidos a campo, utilizou-se um método recursivo de identificação politética de PFTs a partir de atributos morfológicos das plantas, de forma a expressar máxima correlação com diversidade de espécies. A alternância entre condições experimentais de exposição e exclusão de pastejo permitiu produzir variação em padrões espaciais e temporais da composição da vegetação descrita por esses PFTs. A seguir buscou-se modelar a dinâmica da vegetação. Assumiu-se que a dinâmica da vegetação, embora complexa, pudesse ser simulada a partir de mecanismos relativamente simples incorporados a um modelo CA formado por uma grade de células (comunidades). Cada célula tem uma dada composição de PFTs a qual se altera a cada passo no tempo conforme a composição da própria célula e da vizinhança e matrizes de transição determinadas empiricamente com os dados experimentais. A dinâmica simulada da composição de comunidades excluídas do pastejo mostrou determinismo no sentido de um PFT único, característico daquelas comunidades. A mesma tendência não foi observada nas simulações de comunidades sempre pastejadas. Os resultados indicam uma razoável concordância entre a dinâmica simulada e real, para as comunidades excluídas; e uma discordância para as comunidades sempre pastejadas. Sugere-se que diferenças no arranjo espacial inicial das comunidades motivam falhas do modelo sob pastejo. O Institut National de la Recherche Agronomique (INRA), na França, vem desenvolvendo um modelo simulador multi-agente espacializado como objetivo de representar realisticamente o manejo da vegetação campestre natural sob diferentes regimes de pastejo. Ele foi concebido como uma ferramenta de pesquisa para explorar o comportamento animal em pastagens heterogêneas Nesse modelo implícito e determinístico, uma definição funcional de três diferentes comunidades vegetais foi introduzida objetivando simular a dinâmica de pastagens multi-espécies. Isto foi feito pela intercambio de parâmetros do modelo com atributos funcionais da comunidade. Do ponto vista conceptual o modelo apresentou boa resposta e parece adequado para simular a dinâmica de uma vegetação campestre por atributos funcionais. O modelo apresentou um bom ajuste aos dados experimentais para alto nível de utilização, mas não tão bom para médio e baixo nível de pastejo, ou seja, comunidades vegetais mais heterogêneas. Reforça-se a idéia de que mais modelos que levem em conta a estrutura horizontal da vegetação são necessários.

Solução analítica do problema bidimensional transiente de dispersão de poluentes atmosféricos pelo método GITT dupla

Neste trabalho é apresentada uma solução analítica de um problema bidimensional e transiente de dispersão de poluentes atmosféricos. O modelamento utilizado é conhecido na literatura como modelo Kzz para dispersão de poluentes atmosféricos e é representado por uma equação difusivo-advectiva com coeficientes de difusão e advecção variáveis. São utilizados três diferentes coeficientes de difusão nas simulações, bem como as componentes horizontal e vertical do vento são tomadas como variáveis. A solução analítica é gerada através da aplicação da técnica GITT (Generalized Integral Transform Technique) dupla com problema transformado resolvido por Transformada de Laplace e diagonalização de matrizes. Filtros matemáticos são usados para homogenizar as condições de contorno viabilizando o uso da técnica citada. Além disso, o tipo de filtro matemático utilizado permite a sensível diminuição do custo computacional. Resultados numéricos são obtidos e comparados com dados experimentais e outras soluções da literatura.

Caracterização fenotípica e genotípica de isolados de Ornithobacterium rhinotracheale do Brasil.

Ornithobacterium rhinotracheale é uma bactéria associada com doença respiratória, decréscimo no crescimento, condenação de carcaças e mortalidade em galinhas e perus. Esta bactéria tem sido isolada em vários países e, recentemente, foi isolada no Brasil pelo nosso grupo que também estabeleceu um protocolo de reação em cadeia da polimerase (PCR) para a sua detecção e identificação e determinou a prevalência de anticorpos contra esta bactéria em plantéis comerciais de frangos e de matrizes da Região Sul do Brasil. O presente trabalho teve o objetivo de caracterizar isolados de O. rhinotracheale através de sorotipificação, resistência a antimicrobianos e single-enzyme amplified fragment length polymorphism (SAFLP). Vinte e sete isolados foram compatíveis com esta espécie através de isolamento em ágar sangue com gentamicina, coloração de Gram, teste de aglutinação em lâmina e reação em cadeia da polimerase. Dezenove isolados foram classificados como sorotipo A, seis não puderam ser sorotipificados com o painel de soros existentes e dois pertenceram ao sorotipo C. Vinte e cinco isolados foram sensíveis à norfloxacina, amoxicilina, doxiciclina, lincomicina e cefalotina, dois isolados foram resistentes à neomicina e 18 foram resistentes à sulfametoxazol/trimetoprima. Na análise de SAFLP, 22 isolados apresentaram padrão idêntico e os cinco isolados restantes foram classificados em cinco padrões distintos. Os resultados da sorotipificação indicaram que o sorotipo A de O. rhinotracheale é predominante em criações comerciais no Brasil. Os isolados brasileiros foram sensíveis à maioria dos antimicrobianos testados. O poder discriminatório do teste de suscetibilidade a antimicrobianos foi maior do que a sorotipificação e SAFLP, porém o método de SAFLP gerou um maior número de padrões, sugerindo que possa ser utilizado como ferramenta em estudos epidemiológicos.

Maja Nua : processos composicionais

Este trabalho descreve os processos de composição das peças: Seis Movimentos para Quinteto de Metais; As Canções do Livro do Tempo, para voz e Violão, com poemas de Carlos Nejar; Cavalo Ferido, em cinco movimentos para órgão solo; e Maja Nua, para orquestra. A estética de cada peça é oriunda de atitudes composicionais especulativas e distintas. No decorrer do texto estabelece-se uma distinção entre procedimentos técnicos que geram resultantes estéticas e a projeção estética que impulsiona as tomadas de decisões composicionais. Os processos de composição enfocados são particulares de cada peça, envolvendo rigidez estrutural e composição intuitiva. A estruturação do ritmo e outros parâmetros utilizando matrizes numéricas foram os fundamentos técnicos que orientaram a composição dos Seis Movimentos para Quinteto de Metais; As Canções do Livro do Tempo e Cavalo Ferido foram compostas por processos mais intuitivos; e, Maja Nua, que considero a composição mais importante deste portfólio, já no planejamento inicial busquei, a justaposição de momentos rigidamente estruturados a momentos compostos intuitivamente.

Cadeias de Markov clássicas e quânticas

Seguindo o trabalho de S. Gudder, fazemos uma construção de cadeias de Markov quânticas a partir de matrizes complexas, unitárias, estocásticas e analisamos o conceito de interferência nesse contexto, dando atenção para uma cadeia que chamamos de moeda quântica. Estamos interessados na entropia de cadeias de Markov reais, no princípio variacional para energia livre associado e em uma possível construção análoga no caso complexo. Este trabalho visa também dar uma introdução matematicamente rigorosa de certos aspectos de mecânica quântica

Ambiente de alto desempenho com alta exatidão para a resolução de problemas

Este trabalho visa a disponibilização de um ambiente de alto desempenho, do tipo cluster de computadores, com alta exatidão, obtida através da utilização da biblioteca C–XSC. A alta exatidão na solução de um problema é obtida através da realização de cálculos intermediários sem arredondamentos como se fossem em precisão infinita. Ao final do cálculo, o resultado deve ser representado na máquina. O resultado exato real e o resultado representado diferem apenas por um único arredondamento. Esses cálculos em alta exatidão devem estar disponíveis para algumas operações aritméticas básicas, em especial as que possibilitam a realização de somatório e de produto escalar. Com isso, deseja-se utilizar o alto desempenho através de um ambiente de cluster onde se tem vários nodos executando tarefas ou cálculos. A comunicação será realizada por troca de mensagens usando a biblioteca de comunicação MPI. Para se obter a alta exatidão neste tipo de ambiente, extensões ou adaptações nos programas paralelos tiveram que ser disponibilizadas para garantir que a qualidade do resultado final realizado em um cluster, onde vários nodos colaboram para o resultado final do cálculo, mantivesse a mesma qualidade do resultado que é obtido em uma única máquina (ou nodo) de um ambiente de alta exatidão. Para validar o ambiente proposto foram realizados testes básicos abordando o cálculo do produto escalar, a multiplicação entre matrizes, a implementação de solvers intervalares para matrizes densas e bandas e a implementação de alguns métodos numéricos para a resolução de sistemas de equações lineares com a característica da alta exatidão. Destes testes foram realizadas análises e comparações a respeito do desempenho e da exatidão obtidos com e sem o uso da biblioteca C–XSC, tanto em programas seqüenciais como em programas paralelos. Com a conseqüente implementação dessas rotinas e métodos será aberto um vasto campo de pesquisa no que se refere ao estudo de aplicações reais de grande porte que necessitem durante a sua resolução (ou em parte dela) da realização de operações aritméticas com uma exatidão melhor do que a obtida usualmente pelas ferramentas computacionais tradicionais.