Novos algoritmos para roteamento de circuitos VLSI

Este trabalho apresenta novos algoritmos para o roteamento de circuitos integrados, e discute sua aplicação em sistemas de síntese de leiaute. As interconexões têm grande impacto no desempenho de circuitos em tecnologias recentes, e os algoritmos propostos visam conferir maior controle sobre sua qualidade, e maior convergência na tarefa de encontrar uma solução aceitável. De todos os problemas de roteamento, dois são de especial importância: roteamento de redes uma a uma com algoritmos de pesquisa de caminhos, e o chamado roteamento de área. Para o primeiro, procura-se desenvolver um algoritmo de pesquisa de caminhos bidirecional e heurístico mais eficiente, LCS*, cuja aplicação em roteamento explora situações específicas que ocorrem neste domínio. Demonstra-se que o modelo de custo influencia fortemente o esforço de pesquisa, além de controlar a qualidade das rotas encontradas, e por esta razão um modelo mais preciso é proposto. Para roteamento de área, se estuda o desenvolvimento de uma nova classe de algoritmos sugerida em [JOH 94], denominados LEGAL. A viabilidade e a eficiência de tais algoritmos são demonstradas com três diferentes implementações. Devem ser também estudados mecanismos alternativos para gerenciar espaços e tratar modelos de grade não uniforme, avaliando-se suas vantagens e sua aplicabilidade em outros diferentes contextos.

Algoritmos para o posicionamento de células em circuitos VLSI

Este trabalho faz uma análise ampla sobre os algoritmos de posicionamento. Diversos são extraídos da literatura e de publicações recentes de posicionamento. Eles foram implementados para uma comparação mais precisa. Novos métodos são propostos, com resultados promissores. A maior parte dos algoritmos, ao contrário do que costuma encontrar-se na literatura, é explicada com detalhes de implementação, de forma que não fiquem questões em aberto. Isto só possível pela forte base de implementação por trás deste texto. O algorítmo de Fidduccia Mateyeses, por exemplo, é um algorítmo complexo e por isto foi explicado com detalhes de implementação. Assim como uma revisão de técnicas conhecidas e publicadas, este trabalho oferece algumas inovações no fluxo de posicionamento. Propõe-se um novo algorítimo para posicionamento inicial, bem como uma variação inédita do Cluster Growth que mostrta ótimos resultados. É apresentada uma série de evoluções ao algorítmo de Simulated Annealling: cálculo automático de temperatura inicial, funções de perturbação gulosas (direcionadas a força), combinação de funções de perturbação atingindo melhores resultados (em torno de 20%), otimização no cálculo de tamanho dos fios (avaliação das redes modificadas e aproveitamento de cálculos anteriores, com ganhos em torno de 45%). Todas estas modificações propiciam uma maior velocidade e convergência do método de Simulated Annealling. É mostrado que os algorítmos construtivos (incluindo o posicionador do Tropic, baseado em quadratura com Terminal Propagation) apresentam um resultado pior que o Simulated Annealling em termos de qualidade de posicionamento às custas de um longo tempo de CPD. Porém, o uso de técnicas propostas neste trabalho, em conjunto com outras técnicas propostas em outros trabalhos (como o trabalho de Lixin Su) podem acelerar o SA, de forma que a relação qualidade/tempo aumente.

ANAC : uma ferramenta para a automatização da análise da complexidade de algoritmos

A análise de um algoritmo tem por finalidade melhorar, quando possível, seu desempenho e dar condições de poder optar pelo melhor, dentre os algoritmos existentes, para resolver o mesmo problema. O cálculo da complexidade de algoritmos é muito dependente da classe dos algoritmos analisados. O cálculo depende da função tamanho e das operações fundamentais. Alguns aspectos do cálculo da complexidade, entretanto, não dependem do tipo de problema que o algoritmo resolve, mas somente das estruturas que o compõem, podendo, desta maneira, ser generalizados. Com base neste princípio, surgiu um método para o cálculo da complexidade de algoritmos no pior caso. Neste método foi definido que cada estrutura algorítmica possui uma equação de complexidade associada. Esse método propiciou a análise automática da complexidade de algoritmos. A análise automática de algoritmos tem como principal objetivo tornar o processo de cálculo da complexidade mais acessível. A união da metodologia para o pior caso, associada com a idéia da análise automática de programas, serviu de motivação para o desenvolvimento do protótipo de sistema ANAC, que é uma ferramenta para análise automática da complexidade de algoritmos não recursivos. O objetivo deste trabalho é implementar esta metodologia de cálculo de complexidade de algoritmos no pior caso, com a utilização de técnicas de construção de compiladores para que este sistema possa analisar algoritmos gerando como resultado final a complexidade do algoritmo dada em ordens assintóticas.

Fatores genéticos e não genéticos em formas avançadas de Retinopatia Diabética em pacientes com Diabete Melito tipo 2

Introdução: A retinopatia diabética (RD) é a principal causa de novos casos de cegueira entre norte-americanos em idade produtiva. Existe uma associação entre RD e as outras complicações microvasculares do diabete melito. A associação da RD com a fase inicial da nefropatia, a microalbuminúria, não está esclarecida em pacientes com diabete melito (DM) tipo 2. Polimorfismos de genes (ENNP1; FABP2) relacionados à resistência insulínica, entre outros, poderiam estar associados à RD. Objetivo: O objetivo deste estudo foi avaliar fatores genéticos e não genéticos associados à RD avançada em pacientes com DM tipo 2. Métodos: Neste estudo caso-controle foram incluídos pacientes DM tipo 2 submetidos à avaliação clínica, laboratorial e oftalmológica. Foi realizada oftalmoscopia binocular indireta sob midríase e obtidas retinografias coloridas em 7 campos padronizados. Foram classificados como casos os pacientes portadores de RD avançada (formas graves de RD não proliferativa e RD proliferativa) e como controles os pacientes sem RD avançada (fundoscopia normal, e outras formas de RD). Foram estudados os polimorfismos K121Q do gene ENNP1 e A54T do gene FABP2. Na análise estatística foram utilizados testes paramétricos e não paramétricos conforme indicado. Foi realizada análise de regressão logística múltipla para avaliar fatores associados à RD avançada. O nível de significância adotado foi de 0,05%. Resultados: Foram avaliados 240 pacientes com DM tipo 2 com 60,6 ± 8,4 anos de idade e duração conhecida de DM de 14,4 ± 8,4 anos. Destes, 67 pacientes (27,9%) apresentavam RD avançada. Os pacientes com RD avançada apresentaram maior duração conhecida de DM (18,1 ± 8,1 vs. 12,9 ± 8,2 anos; P< 0,001), menor índice de massa corporal (IMC) (27,5 ± 4,2 vs. 29,0 ± 9,6 kg/m2; P= 0,019), além de uso de insulina mais freqüente (70,8% vs 35,3%; P< 0,001) e presença de nefropatia diabética (81,1% vs 34,8%; P< 0,001) quando comparados com os pacientes sem RD avançada. Na avaliação laboratorial os pacientes com RD avançada apresentaram valores mais elevados de creatinina sérica [1,4 (0,6 -13,6) vs 0,8 (0,5-17,9) mg/dl; P<0,001] e de albuminúria [135,0 (3,6-1816,0) vs 11,3 (1,5-5105,0) μg/min; P<0,001] quando comparados com pacientes sem RD avançada. A distribuição dos genótipos dos polimorfismos do ENNP1 e FABP2 não foi diferente entre os grupos. A análise de regressão logística múltipla demonstrou que a presença de nefropatia (OR=6,59; IC95%: 3,01-14,41; P<0,001) e o uso de insulina (OR=3,47; IC95%: 1,60- 7,50; P=0,002) foram os fatores associados à RD avançada, ajustados para a duração de DM, presença de hipertensão arterial, glicohemoglobina e IMC. Quando na análise foram incluídos apenas pacientes normoalbuminúricos e microalbuminúricos, a microalbuminúria (OR=3,8; IC95%: 1,38-10,47; P=0,010), o uso de insulina (OR=5,04; IC95%: 1,67-15,21; P=0,004), a duração do DM (OR=1,06 IC95%: 1,00-1,13; P=0,048) e a glicohemoglobina (OR=1,35; IC95%: 1,02-1,79; P=0,034) foram os fatores associados à RD avançada, ajustados para a presença de hipertensão arterial e IMC. Conclusão: Pacientes com DM tipo 2 portadores de formas avançadas de RD apresentam mais freqüentemente envolvimento renal pelo DM, incluindo o estágio de microalbuminúria. Uma avaliação renal com medida de albuminúria dever ser incorporada como avaliação de rotina nestes pacientes.

Algoritmos adaptativos para o método GMRES(m)

Nesse trabalho apresentamos algoritmos adaptativos do M´etodo do Res´ıduo M´ınimo Generalizado (GMRES) [Saad e Schultz, 1986], um m´etodo iterativo para resolver sistemas de equa¸c˜oes lineares com matrizes n˜ao sim´etricas e esparsas, o qual baseia-se nos m´etodos de proje¸c˜ao ortogonal sobre um subespa¸co de Krylov. O GMRES apresenta uma vers˜ao reinicializada, denotada por GMRES(m), tamb´em proposta por [Saad e Schultz, 1986], com o intuito de permitir a utiliza¸c˜ao do m´etodo para resolver grandes sistemas de n equa¸c˜oes, sendo n a dimens˜ao da matriz dos coeficientes do sistema, j´a que a vers˜ao n˜ao-reinicializada (“Full-GMRES”) apresenta um gasto de mem´oria proporcional a n2 e de n´umero de opera¸c˜oes de ponto-flutuante proporcional a n3, no pior caso. No entanto, escolher um valor apropriado para m ´e dif´ıcil, sendo m a dimens˜ao da base do subespa¸co de Krylov, visto que dependendo do valor do m podemos obter a estagna¸c˜ao ou uma r´apida convergˆencia. Dessa forma, nesse trabalho, acrescentamos ao GMRES(m) e algumas de suas variantes um crit´erio que tem por objetivo escolher, adequadamente, a dimens˜ao, m da base do subespa¸co de Krylov para o problema o qual deseja-se resolver, visando assim uma mais r´apida, e poss´ıvel, convergˆencia. Aproximadamente duas centenas de experimentos foram realizados utilizando as matrizes da Cole¸c˜ao Harwell-Boeing [MCSD/ITL/NIST, 2003], que foram utilizados para mostrar o comportamento dos algoritmos adaptativos. Foram obtidos resultados muito bons; isso poder´a ser constatado atrav´es da an´alise das tabelas e tamb´em da observa ¸c˜ao dos gr´aficos expostos ao longo desse trabalho.

Fatores ambientais e genéticos associados ao transtorno de déficit de atenção/hiperatividad tipo desatento : Avaliação de fumo na gestão e genes dopaminérgicos e noradrenérgicos

Resumo não disponível

Um Estudo de técnicas de aceleração para algoritmos de análise de timing funcional baseados em geração automática de teste

Este trabalho tem como objetivo estudar e avaliar técnicas para a aceleração de algoritmos de análise de timing funcional (FTA - Functional Timing Analysis) baseados em geração automática de testes (ATPG – Automatic Test Generation). Para tanto, são abordados três algoritmos conhecidos : algoritmo-D, o PODEM e o FAN. Após a análise dos algoritmos e o estudo de algumas técnicas de aceleração, é proposto o algoritmo DETA (Delay Enumeration-Based Timing Analysis) que determina o atraso crítico de circuitos que contêm portas complexas. O DETA está definido como um algoritmo baseado em ATPG com sensibilização concorrente de caminhos. Na implementação do algoritmo, foi possível validar o modelo de computação de atrasos para circuitos que contêm portas complexas utilizando a abordagem de macro-expansão implícita. Além disso, alguns resultados parciais demonstram que, para alguns circuitos, o DETA apresenta uma pequena dependência do número de entradas quando comparado com a dependência no procedimento de simulação. Desta forma, é possível evitar uma pesquisa extensa antes de se encontrar o teste e assim, obter sucesso na aplicação de métodos para aceleração do algoritmo.

Estudo dos fatores genéticos de risco para o infarto agudo do miocárdio em idade precoce

O mecanismo patogênico mais importante no IAM é a oclusão trombótica de uma artéria coronariária no local de ruptura de uma placa aterosclerótica. Recentemente, diversos estudos têm investigado a associação entre o IAM e fatores genéticos protrombóticos. O presentetrabalho é um estudo tipo caso-controle a fim de avaliar o efeito de diversos polimorfismos genéticos em um grupo de pacientes com IAM antes dos 60 anos de idade. Foram investigados 283 pacientes e 93 indivíduos controles, todos caucasóides e sem diferenças quanto à proporção sexual e idade média entre os grupos.

Privacidade e tutela de dados genéticos

Este trabalho trata da questão da tutela dos dados genéticos e sua relação com o direito à privacidade. Em primeiro lugar, analisa-se a evolução da noção de privacidade e seus conflitos com o progresso tecnológico. Em seguida, realizou-se uma pesquisa que procurou apresentar como países estrangeiros lidam com a questão dos dados genéticos, tendo ficado evidente a utilização desses para fins de identificação criminal e como essas experiências influenciam o legislador brasileiro. Depois, são discutidas as controvérsias jurídicas decorrentes da formação de bancos de dados genéticos, o papel que o consentimento desempenha para a proteção da privacidade do indivíduo e a constituição de bancos de dados e os princípios que regem o tratamento desses dados. Por fim, conclui-se que se deve perseguir um equilíbrio entre a necessidade de proteção dos dados genéticos e a utilização desses para se atender interesses juridicamente relevantes de terceiros.