Ferramentas para a integração de redes de Petri e VHDL na síntese de sistemas digitais

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Sistemas digitais directos vs indirectos : níveis de referência de diagnóstico locais na radiografia de tórax em projeção postero-anterior em dois hospitais portugueses

Este estudo teve como objetivo avaliar e comparar as doses de radiação recolhidas numa amostra de 69 pacientes, em dois hospitais, com diferentes métodos de aquisição de imagem digital, direta e indireta, que realizaram radiografia de tórax, em projeção postero-anterior (PA). Para os dois hospitais, a dose à entrada da pele (DEP) e efectiva (E), foram medidas usando o software PCXMC para comparação entre si e com referências internacionais. No Hospital A, com aquisição digital direta, a média de DEP foi de 0,089 mGy e a média de E foi 0,013 mSv. No Hospital B, com aquisição digital de indireta, a média de DEP foi de 0.151 mGy e a média de E foi 0.030mSv. Em ambos os hospitais, as doses médias não ultrapassaram os limites recomendados por lei (0,3 mGy). Para a radiografia de tórax PA, o nível de referência diagnostico (NRD) local calculado foi 0.107 mGy, para o Hospital A e 0.164 mGy, para o Hospital B. Na radiografia de tórax PA, a utilização de um sistema de aquisição direta implicou uma redução de dose de 41 %, concordante com as referências disponíveis que apontam para a redução da dose de cerca de 50 % entre os dois sistemas.

Síntese de sistemas estritamente reais positivos através do critério de routh-hurwitz

Given a linear time-invariant plant Gol(s) with one input and q outputs, where q > 1, a method based on the Routh-Hurwitz Stability Criterion is proposed to obtain a constant tandem matrix F ∈ ℝq, such that FGOl(s) is a minimumphase system. From this solution, the system FGol(s) is represented in state space by {A, B, FC} and a constant output feedback matrix K0 ∈ ℝ is obtained such that the feedback system {A - BK0C, B, FC} is Strictly Positive Real (SPR). The proposed procedure offers necessary and sufficient conditions for both problems. Initially, the general case, with a generic q, is analyzed. Following, the particular cases q = 2 and q = 3 are studied.

Geotecnologias no mapeamento da aldeia Tekoa Pyau - São Paulo/SP e seu entorno: experiências de aplicação de técnicas cartográficas e sistemas digitais em ações de parceria com jovens indígenas

Pós-graduação em Geografia - IGCE

Ambiente virtual de apoio ao ensino com ênfase na teoria das inteligências múltiplas e sua aplicação em sistemas digitais

Pós-graduação em Ciência da Computação - IBILCE

Nova metodologia para análise e síntese de sistemas de aterramento complexos utilizando o método lN-FDTD, computação paralela automática e redes neurais artificiais

Neste trabalho, o método FDTD em coordenadas gerais (LN-FDTD) foi implementado para a análise de estruturas de aterramento com geometrias coincidentes ou não com o sistema de coordenadas cartesiano. O método soluciona as equações de Maxwell no domínio do tempo, permitindo a obtenção de dados a respeito da resposta transitória e de regime estacionário de estruturas diversas de aterramento. Uma nova formulação para a técnica de truncagem UPML em coordenadas gerais, para meios condutivos, foi desenvolvida e implementada para viabilizar a análise dos problemas (LN-UPML). Uma nova metodologia baseada em duas redes neurais artificiais é apresentada para a deteccão de defeitos em malhas de terra. O software FDTD em coordenadas gerais foi testado e validado para vários casos. Uma interface gráfica para usuários, chamada LANE SAGS, foi desenvolvida para simplificar o uso e automatizar o processamento dos dados.

Síntese evolucionária de circuitos sequenciais inspirada nos princípios da computação quântica.

Esta dissertação investiga a aplicação dos algoritmos evolucionários inspirados na computação quântica na síntese de circuitos sequenciais. Os sistemas digitais sequenciais representam uma classe de circuitos que é capaz de executar operações em uma determinada sequência. Nos circuitos sequenciais, os valores dos sinais de saída dependem não só dos valores dos sinais de entrada como também do estado atual do sistema. Os requisitos cada vez mais exigentes quanto à funcionalidade e ao desempenho dos sistemas digitais exigem projetos cada vez mais eficientes. O projeto destes circuitos, quando executado de forma manual, se tornou demorado e, com isso, a importância das ferramentas para a síntese automática de circuitos cresceu rapidamente. Estas ferramentas conhecidas como ECAD (Electronic Computer-Aided Design) são programas de computador normalmente baseados em heurísticas. Recentemente, os algoritmos evolucionários também começaram a ser utilizados como base para as ferramentas ECAD. Estas aplicações são referenciadas na literatura como eletrônica evolucionária. Os algoritmos mais comumente utilizados na eletrônica evolucionária são os algoritmos genéticos e a programação genética. Este trabalho apresenta um estudo da aplicação dos algoritmos evolucionários inspirados na computação quântica como uma ferramenta para a síntese automática de circuitos sequenciais. Esta classe de algoritmos utiliza os princípios da computação quântica para melhorar o desempenho dos algoritmos evolucionários. Tradicionalmente, o projeto dos circuitos sequenciais é dividido em cinco etapas principais: (i) Especificação da máquina de estados; (ii) Redução de estados; (iii) Atribuição de estados; (iv) Síntese da lógica de controle e (v) Implementação da máquina de estados. O Algoritmo Evolucionário Inspirado na Computação Quântica (AEICQ) proposto neste trabalho é utilizado na etapa de atribuição de estados. A escolha de uma atribuição de estados ótima é tratada na literatura como um problema ainda sem solução. A atribuição de estados escolhida para uma determinada máquina de estados tem um impacto direto na complexidade da sua lógica de controle. Os resultados mostram que as atribuições de estados obtidas pelo AEICQ de fato conduzem à implementação de circuitos de menor complexidade quando comparados com os circuitos gerados a partir de atribuições obtidas por outros métodos. O AEICQ e utilizado também na etapa de síntese da lógica de controle das máquinas de estados. Os circuitos evoluídos pelo AEICQ são otimizados segundo a área ocupada e o atraso de propagação. Estes circuitos são compatíveis com os circuitos obtidos por outros métodos e em alguns casos até mesmo superior em termos de área e de desempenho, sugerindo que existe um potencial de aplicação desta classe de algoritmos no projeto de circuitos eletrônicos.

Ambiente computacional para projetos de sistemas com tecnologia mista

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Desenvolvimento de uma ferramenta computacional de apoio ao ensino de sistemas eletrônicos digitais

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

TAB2VHDL: um ambiente de síntese lógica para máquinas de estados finitos

Pós-graduação em Engenharia Elétrica - FEIS

Análise e síntese de um processador digital wavelet

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Síntese de derivados oligoméricos de porfirinas e ftalocianinas

A presente dissertação contempla estudos de funcionalização de 5,10,15,20- tetrafenilporfirina via grupos nitro e amino e a preparação de sistemas porfirina-ftalocianina. Este trabalho encontra-se dividido em quatro partes. Na primeira parte descrevem-se as características gerais de porfirinas e ftalocianinas bem como algumas metodologias de síntese utilizadas na sua preparação e suas potenciais aplicações. Na segunda parte desta dissertação descreve-se a funcionalização de 5,10,15,20-tetrafenilporfirina com arilaminas recorrendo a duas rotas sintéticas diferentes. A reacção de 2-nitro-5,10,15,20-tetrafenilporfirina com anilina ou aminas aromáticas substituídas com grupos dadores de electrões permitiu, através do ataque do nucleófilo ao carbono beta-pirrólico onde está ligado o grupo nitro, ataque ipso, a obtenção de derivados do tipo 2-arilaminoporfirinas e derivados porfirínicos de anéis fundidos, sendo estes últimos resultantes da ciclização oxidativa de 2-arilaminoporfirinas. A reacção entre (2-amino- 5,10,15,20-tetrafenilporfirinato)níquel(II) e brometos de arilo na presença de paládio, reacção de aminação de Buchwald-Hartwig, permitiu, após descomplexação, a preparação de novos derivados do tipo 2- arilaminoporfirinas com grupos substituintes dadores e aceitadores de electrões. Um dos derivados porfirínicos de anéis fundidos foi submetido a reacção de complexação com diferentes iões metálicos e foram estudadas as respectivas propriedades fotoquímicas e electroquímicas. Esses estudos revelaram que estes compostos são bons geradores de oxigénio singuleto e que sofrem processos de oxidação-redução electroquimicamente reversíveis. Esta metodologia foi estendida ainda a brometos de hetarilo (derivados de piridina e tiofeno). Recorrendo ao acoplamento, em condições de Buchwald-Hartwig, de complexos metálicos da 5,10,15,20-tetrafenilporfirina, funcionalizados com grupos amino e bromo, preparam-se dímeros porfirina-amino-porfirina, cujos espectros electrónicos revelam a existência de uma boa “comunicação electrónica” entre as duas subunidades. A terceira parte descreve a síntese de sistemas porfirina-ftalocianina. Recorrendo à condensação estatística entre a 5,10,15,20-tetrafenilporfirina substituída com um grupo ftalonitrilo na posição beta-pirrólica com ftalonitrilo ou ftalonitrilo substituído foram obtidas díades porfirina-ftalocianina onde as duas subunidades se encontram directamente ligadas ou fundidas. Os porfirinilftalonitrilos necessários para a síntese das diferentes díades foram preparados através da reacção de adição do fumaronitrilo à 5,10,15,20- tetrafenilporfirina funcionalizada com o grupo 1,3-butadienilo ou vinilo, seguida de oxidação do aducto resultante. O acoplamento catalisado por paládio entre (2-bromo-5,10,15,20- tetrafenilporfirinato)zinco(II) e [9(10),16(17),23(24)-tri-terc-butil-2- etinilftalocianinato]zinco(II) permitiu a síntese de uma díade porfirinaftalocianina com as duas unidades ligadas por um grupo etinilo. Uma pentíade porfirina-ftalocianina foi obtida através da ciclotetramerização de um dos porfirinilftalonitrilos. A comparação dos espectros electrónicos das diferentes classes de sistemas revela que as correspondentes propriedades electrónicas são altamente afectadas pela distância entre as subunidades e também pelo número de cromóforos presentes no sistema. Os estudos fotofísicos de alguns dos novos compostos acima referidos permitiram verificar a ocorrência eficiente de transferência de energia da subunidade porfirínica para a da ftalocianina, capacidade essa que permitirá a estes sistemas serem usados para modelar o processo fotossintético. Na última parte descrevem-se, pormenorizadamente, todas as experiências efectuadas e as caracterizações espectroscópicas, nomeadamente de espectroscopia de ressonância magnética nuclear (RMN), espectrometria de massa e espectrofotometria de UV-vis, dos compostos sintetizados. Nalguns casos recorreu-se ainda a técnicas de RMN bidimensionais como COSY, HSQC, HMBC, NOESY e ROESY.

Co-simulação distribuída de sistemas heterogêneos

Na simulação heterogênea de um sistema eletrônico complexo, um mesmo modelo pode ser composto por partes distintas em relação às tecnologias ou linguagens utilizadas na sua descrição, níveis de abstração, ou pela combinação de partes de software e de hardware (escopo da co-simulação). No uso de modelos heterogêneos, a construção de uma ponte eficaz entre diferentes simuladores, em conjunto com a solução de problemas tais como sincronização e tradução de dados, são alguns dos principais desafios. No contexto do projeto de sistemas embarcados, a validação desses sistemas via co-simulação está sujeita a estes desafios na medida em que um mesmo modelo de representação precisa suportar a cooperação consistente entre partes de hardware e de software. Estes problemas tornam-se mais significativos quando abordados em ambientes distribuídos, o que aumenta a complexidade dos mecanismos que gerenciam os ítens necessários à correta cooperação entre partes diferentes. Contudo, embora existam abordagens e ferramentas voltadas para o tratamento de modelos heterogêneos, inclusive em ambientes distribuídos, ainda persiste uma gama de limitações causadas pela distribuição e heterogeneidade de simuladores. Por exemplo, restrições quanto à variedade de tecnologias (ou linguagens) utilizadas na descrição das partes de um modelo, flexibilidade para o reuso de partes existentes, ou em tarefas de gerenciamento de sincronização/dados/interface/distribuição. Além disso, em geral, nas soluções existentes para simulação heterogênea, alterações são necessárias sobre as partes do modelo, limitando a preservação de sua integridade. Esta é uma característica indesejável, por exemplo, no reuso de componentes IP (Intellectual Property) Neste contexto, esta tese apresenta o DCB (Distributed Co-simulation Backbone), cujo propósito geral é o suporte à execução distribuída dos modelos heterogêneos. Para isso, são observados de modo integrado quatro fatores básicos: a distribuição física; a independência dos componentes (partes); o encapsulamento das estratégias de gerenciamento de tempo, de dados e de comunicação; e a sincronização híbrida. Em geral, as soluções existentes valorizam um fator em detrimento dos demais, dependendo dos propósitos envolvidos e sua variação em relação ao grau de especificidade (soluções proprietárias ou restritas a um escopo de aplicações). O Tangram, também discutido nesta tese em termos de requisitos, é uma proposta de ambiente para projeto de modelos heterogêneos distribuídos. No contexto da especificação do DCB, esta proposta tem como objetivo geral agregar num mesmo ambiente funcionalidades de apoio para a busca e catalogação de componentes, seguidas do suporte à construção e à execução distribuída de modelos heterogêneos via DCB. À luz dos princípios de generalidade e flexibilidade da arquitetura do DCB, o Tangram visa permitir que o projetista reduza seu envolvimento com detalhes relacionados ao provimento de condições necessárias à cooperação entre componentes heterogêneos. No escopo desta tese, ênfase foi dada à co-simulação de sistemas embarcados, ênfase esta observada também na construção do protótipo do Tangram/DCB, e nos estudos de caso. Contudo, a estrutura do DCB é apropriada para qualquer domínio onde a simulação possa ser utilizada como instrumento de validação, entre outros propósitos.

Gerência dinâmica de memória em aplicações Java embarcadas

Esta dissertação apresenta duas implementações de algoritmos para gerência dinâmica de memória em software, as quais foram desenvolvidas utilizando como alvo uma plataforma embarcada Java. Uma vez que a plataforma utilizada pertence a uma metodologia para geração semi-automática de hardware e software para sistemas embarcados, os dois algoritmos implementados foram projetados para serem integrados ao contexto desta mesma metodologia. Como forma de estabelecer comparações detalhadas entre as duas implementações desenvolvidas, foram realizadas diversas estimativas em desempenho, uso de memória, potência e energia para cada implementação, utilizando para isto duas versões existentes da plataforma adotada. Através da análise dos resultados obtidos, observou-se que um dos algoritmos desenvolvidos obteve um desempenho melhor para realização da gerência dinâmica da memória. Em contrapartida, o outro algoritmo possui características de projeto que possibilitam sua utilização com aplicações de tempo-real. De um modo geral, os custos adicionais resultantes da utilização do algoritmo de tempo-real, em relação ao outro algoritmo também implementado, são de aproximadamente 2% para a potência média dissipada, 16% para o número de ciclos executados, 18% para a energia consumida e 10% sobre a quantidade de total memória utilizada. Isto mostra que o custo extra necessário para utilização do algoritmo de tempo real é razoavelmente baixo se comparado aos benefícios proporcionados pela sua utilização. Como impactos finais produzidos por este trabalho, obteve-se um acréscimo de 35% sobre o número total de instruções suportadas pela arquitetura utilizada. Adicionalmente, 12% das instruções que já existiam no conjunto desta arquitetura foram modificadas para se adaptarem aos novos mecanismos implementados. Com isto, o conjunto atual da arquitetura passa a corresponder a 44% do total de instruções existentes na arquitetura da máquina virtual Java. Por último, além das estimativas desenvolvidas, foram também realizadas algumas sugestões para melhoria global dos algoritmos implementados. Em síntese, alguns pontos cobertos por estas sugestões incluem: a migração de elementos do processamento do escopo dinâmico para o estático, o desenvolvimento de mecanismos escaláveis para compactação de memória em tempo-real, a integração de escalonadores ao processo de gerência de memória e a extensão do processo de geração semi-automática de software e hardware para sistemas embarcados.

Análise da distribuição de um simulador multinível

A validação de projetos de sistemas eletrônicos pode ser feita de diversas maneiras, como tem sido mostrado pelas pesquisas em síntese automática e verificação formal. Porém, a simulação ainda é o método mais utilizado. O projeto de um sistema digital típico pode ser desenvolvido em diversos níveis de abstração, como os níveis algorítmico, lógico ou analógico. Assim, a simulação também deve ser executada em todos esses níveis. A simulação apresenta, contudo, o inconveniente de não conseguir conciliar uma alta acuracidade de resultados com um baixo tempo de simulação. Quanto mais detalhada é a descrição do circuito, maior é o tempo necessário para simulá-lo. O inverso também é verdadeiro, ou seja, quanto menor for a acuracidade exigida, menor será o tempo dispendido. A simulação multinível tenta conciliar eficiêencia e acuracidade na simulação de circuitos digitais, propondo que partes do circuito sejam descritas em diferentes níveis de abstração. Com isso, somente as partes mais críticas do sistema são descritas em detalhes e a velocidade da simulação aumenta. Contudo, essa abordagem não é suficiente para oferecer um grande aumento na velocidade de simulação de grandes circuitos. Assim, surge como alternativa a aplicação de técnicas de processamento distribuído à simulação multinível. Os aspectos que envolvem a combinação dessas duas técnicas são abordados nesse trabalho. Como plataforma para os estudos realizados, optou-se por usar duas ferramentas desenvolvidas nessa Universidade: os simuladores do Sistema AMPLO e o Sistema Operacional HetNOS. São estudadas técnicas de sincronização em sistemas distribuídos, fundamentais para o desenvolvimento dos simuladores e, finalmente, são propostas alternativas para a distribuição dos simuladores. É realizada, ainda, uma análise comparativa entre as versões propostas.