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 cultura do polígrafo : práticas de leitura no ensino superior privado

Esta investigação busca compreender as relações de saber-poder nas práticas de leitura de estudantes do ensino superior privado. A pesquisa de campo foi composta por entrevistas individuais com alunos e professores, pela realização de discussões coletivas com um grupo de estudantes e pela análise de documentos de uma faculdade privada na cidade de Porto Alegre. A partir do referencial teórico da análise das práticas discursivas de Michel Foucault, discute-se as relações entre os percursos de vida das estudantes que participaram das entrevistas coletivas, o contexto sócio-histórico, os discursos universitários sobre a leitura e a identificação dos dispositivos presentes nas instituições escolares que afetam os modos de ler dos estudantes. Os resultados apontam a existência de regularidades nas práticas de leitura no ensino superior privado, as quais acabam por constituir a "Cultura do Polígrafo". Essa prática é caracterizada pela indicação de leitura por parte dos docentes, de textos, geralmente retirados de livros e/ou revistas, para serem fotocopiados pelos alunos. A Cultura do Polígrafo é atravessada pela lógica da fragmentação e do consumo de leituras. Constatou-se que a maioria dos alunos chega ao ensino superior com poucas experiências com a leitura de textos complexos e conceituais, assim sendo, os estudantes têm enfrentado muitas dificuldades para compreenderem a linguagem dos textos científicos. Uma das estratégias que os alunos lançam mão para lidarem com as tarefas de leitura exigidas é a fragmentação dos textos, na qual os alunos dividem os textos em partes, ficando cada um responsável pela leitura de apenas um pedaço do texto fotocopiado. O suporte fotocópia afeta a qualidade das leituras e a relação dos estudantes com o espaço da biblioteca. A Cultura do Polígrafo tem funcionado como um dispositivo de banalização e de esvaziamento do sentido das práticas de leitura, as quais são percebidas pelos discentes, principalmente, como uma obrigação para o cumprimento das tarefas universitárias.

Projeto cooperativo no Ambiente Cave baseado em espaço compartilhado de objetos

Este trabalho apresenta o módulo Collaborative Service, uma extensão do ambiente Cave, desenvolvido para suportar conceitos de trabalho cooperativo no projeto de circuitos integrados. Esta extensão por sua vez, é baseada na metodologia Pair- Programming e nas tecnologias Jini e Javaspaces. O módulo Collaborative Service foi desenvolvido para auxiliar a continuidade do processo de desenvolvimento de circuitos integrados complexos, inserindo uma dinâmica de grupo através da extensão de Pair-Programming para máquinas remotas. Esse modelo permite que dois ou mais projetistas interajam em um mesmo projeto ou blocos de projeto, independente de suas localizações geográficas e tipos de plataformas de hardware/software. Ele foi projetado para ser genérico e essa característica o torna capaz de suportar as ferramentas de CAD, atuais e futuras, do ambiente Cave (um framework de apoio ao projeto de circuitos integrados). Como estudo de caso, foram utilizadas duas ferramentas do Ambiente Cave. O primeiro caso mostra uma cooperação em nível de descrições gráficas, representada pela ferramenta Blade, um editor de esquemáticos hierárquico. O segundo caso foi representado pelo editor de descrições textuais (VHDL, Verilog e Linguagem C), chamado Homero. No estudo de caso com a ferramenta Blade foi demonstrado que a cooperação proposta por esse modelo pode atuar sob diferentes níveis de hierarquia de projeto, além de suportar a interação de inúmeros projetistas em um mesmo bloco. Na ferramenta Homero, demonstrou-se a cooperação em nível de descrições textuais, representados por (códigos) projetos VHDL acrescidos da participação de vários projetistas. Com esses exemplos, foi possível demonstrar as estratégias de percepção e comunicação com os projetistas, além de descrever a criação de blocos de projeto de uma forma cooperativa. Como contribuição desse trabalho, acrescenta-se ao Ambiente Cave mais um recurso para o projeto de circuitos integrados. Nesse sentido, grupos de projetistas podem projetar um sistema ou circuito integrado de forma cooperativa utilizando-se das funcionalidades desse modelo.

Interação de espirais em 2D : redução da dinâmica à interação de defeitos e exploração de novas estruturas espaço-temporais

O presente trabalho apresenta um anova proposta de tratamento de estruturas espirais em meios contínuos oscilatórios na vizinhança de bifurcações de Hopf supercríticas. Tais estruturas são normalmente descritas pela Equação de Cinzburg-Landau Complexa a qual usa um campo complexo associado a essas oscilações. A proposta apresentada reduz a dinâmica de espirais à interação entre os centros das mesmas. Inicialmente, comparamos numericamente as duas descrições e com os ganhos computacionais decorrentes da abordagem reduzida caracterizamos finamente as estruturas espaço-temporais formadas nesses sistemas: em vez dos estados congelados mencionados anteriormente na literatura encontrou-se uma dinâmica espaço-temporal intermitente. Esse regime ocorre em duas fases distintas: Líquido de Vórtices e Vidros de Vórtices. Esta última evolui em escalas de tempo ultralentas como fenômenos semelhantes encontrados na Mecânica Estatística, apesar de sua origem puramente determinista.

Síntese e caracterização físico-química de reticulados tridimensionais derivados de poli (isopreno) contendo grupos doadores e aceptores

Foram estudadas, neste trabalho, interacões por complexos de transferência de carga, através de medidas gravimétricas do grau de inchamento de géis de poli(isopreno) reticulado,contendo grupos aceptores de carga, em presença de grupos doadores de carga, de pequeno peso molecular, dissolvidos em tolueno. Para este fim, poli(isopreno) sintético proveniente da COPERBO - Companhia Pernambucana de Borracha Sintética, após purificação em clorofórmio, foi caracterizado por espectroscopia no infra-vermelho. O seu peso molecular médio foi determinado por viscosimetria em tolueno e o valor de Mv obtido foi 8,25 x 105. Através de epoxidação da dupla ligacão e hidrólise ácida do respectivo anel oxirano, foram introduzidos no poli(isopreno), previamente purificado, grupos aceptores de carga do tipo cloranil e ácido 3,5-dinitro-benzóico, e grupos doadores de carga do tipo carbazola. Obteve-se, desta forma, copolímeros aceptores do tipo poli (isopreno - co-cloranil) e poli(isopreno-co-(3,5-dinitro-benzoato)) e copolímero doador do tipo poli(isopreno- co-carbazola). A quantidade de cada espécie introduzida foi determinada por espectroscopia no ultra violeta. Poli(isopreno) e os copolímeros contendo grupos doadores ou aceptores foram reticulados em solução utilizando 4,4'-(4,4'-difenilmetileno)-bis- 1,2,4-triazolina-3,5-diona (BPMTD). Os filmes reticulados, após retirada a fase sol, e secos à vácuo, foram submetidos a inchamento em tolueno puro e em solução de tolueno contendo grupos aceptores ou doadores de carga, nas proporções 10:1, 1:1 e 1:10 (polímero: grupo doador ou polímero: grupo aceptor de carga), a 25, 30, 35 e 40ºC. Das medidas gravimétricas do grau de inchamento, foi verificado a formação de complexos por transferência de carga entre os copolímeros aceptores e carbazola. Foi verificado ainda que copolímeros contendo grupos aceptores do tipo cloranil possuem maior tendência a formar complexos por transferência de carga do que copolímeros aceptores contendo grupos 3,5-dinitro-benzoíla.

Entre a política e a poética do texto cultural : a produção das diferenças na revista Nova Escola

Ao partir de discussões que tomam como eixo central a temática da diferença na educação, a presente Dissertação busca problematizar o multiculturalismo e a retórica da diversidade cultural em suas “respostas” ao problema da diferença, bem como suas formas de “entrada” na educação. Situando a Revista Nova Escola – corpus de estudo desta pesquisa – no campo das pedagogias culturais e suas conexões com o currículo, analisa a produção cultural, os modos de ver e de narrar as diferenças, e os processos de produção/interação entre a revista e seu público leitor, estabelecendo, para tanto, uma articulação entre a política e a poética do texto cultural. Os aportes teóricos da pesquisa partem das contribuições dos Estudos Culturais, do Pós-Colonialismo e de autores/as que transitam por diversas teorias da diferença na educação, onde se busca dialogar sobre multiculturalismo, identidade, diferença, alteridade, cultura, currículo, pedagogias culturais, texto, discurso, imagem. As análises da pesquisa apontam percepções amplamente ambíguas a respeito da presença/ausência do outro na revista: por um lado, as imagens e narrativas do outro aparecem como invenções e fabricações culturais e discursivas instituídas a partir de determinados espaços de “referência” e/ou “normalidade”; por outro lado, tais invenções se mostram permanentemente perturbadas pela presença do outro na revista que emerge como linguagem outra e/ou de resistência. Ao finalizar, aponta a existência de uma multiplicidade de modos de produzir e nomear os “diferentes” na revista, ressaltando-se que essa produção não acontece independente de complexos jogos de poder e espaços de disputas em torno de significados e modos de ver, os quais precisam estar sempre abertos a incertezas e negociações. Tal reconhecimento torna possível, portanto, pensar as diferenças culturais para além das rígidas dicotomias entre identidade/diferença, eu/outro, nós/eles, norma/desvio... que freqüentemente povoam o pensamento educacional moderno.

O gerenciamento na administração de medicamentos da Secretaria da Saúde do município de Pelotas-RS : um estudo de caso

A sociedade vive atualmente a era da competitividade, na qual os desafios são mais difíceis e complexos. Os órgãos governamentais enfrentam terríveis déficits, aumento de demanda no campo de serviços tradicionais e, principalmente, na área da saúde pública para atender as necessidades da população. Cientes dessas dificuldades e com vistas a minimizar os desafios enfrentados pela Secretaria de Saúde de Pelotas, este trabalho de pesquisa aborda o gerenciamento na administração de medicamentos desta Secretaria. O trabalho visou analisar os processos que influenciam na dispensação de medicamentos pela Farmácia Municipal. Medicamentos da rede básica são distribuídos aos postos de saúde e medicamentos controlados aos usuários finais. O estudo atingiu quatro zonas urbanas e uma rural, sendo que na zona do centro encontra-se a Farmácia Municipal. A abordagem proposta identificou várias oportunidades de melhoria, revelando a necessidade de interferir em algumas zonas onde determinados itens e subitens obtiveram pontuação abaixo da faixa esperada. Essa situação conduziu o pesquisador a elaborar um plano de ação que permita, ao mesmo tempo, atender a demanda assim como reforçar a organização na dispensação de medicamentos básicos e controlados pela Farmácia Municipal, contribuindo para a melhoria dos serviços prestados ao município de Pelotas.

Síntese e análise estrutural de novos ciclopaladatos e síntese de N-heterociclos a partir de ciclopaladatos e alenos

Os compostos de paládio vêm apresentado uma vasta linha de aplicação, tanto como catalisadores como precursores em reações de síntese orgânica. Dentre esses compostos, os ciclopaladatos, que são compostos cíclicos com uma ligação Pd-heteroátomo, permite a formação de novas estruturas cíclicas contendo algum heteroátomo, como nitrogênio, oxigênio ou enxofre. Neste trabalho foram sintetizadas aminas propargílicas capazes de se coordenar a sais de paládio, formando novos ciclopaladatos através da reação de cloropaladação. Esses compostos se encontram na forma de dímeros e podem apresentar-se como diferentes isômeros. Estudos espectroscópicos, tais como RMN de 1H, 13C e raios-X de monocristais foram realizados para a elucidação estrutural desses novos compostos. Além dos isômeros geométricos clássicos (cisóide e transóide) foram observados pela primeira vez a formação de atropoisômeros. Esses ciclopaladatos, contendo nitrogênio ligado ao paládio, foram testados frente a alenos diferentemente substituídos, mostrando que ocorre a inserção do aleno na ligação Pd-C e, seguido da depaladação, ocorre a formação de novos compostos heterocíclicos a seis membros. Alguns ciclopaladatos, quando em solução, podem apresentar certa instabilidade, ocorrendo a decomposição do ciclopaladato com a regeneração do alcino precursor do respectivo ciclopaladato. Assim, estudou-se a reação de decomposição de diferentes ciclopaladatos, chamada de retrocloropaladação, utilizando a técnica de RMN de 1H em diferentes intervalos de tempo.

Uma proposta de arquitetura de um ambiente de desenvolvimento de software distribuído baseada em agentes

A crescente complexidade das aplicações, a contínua evolução tecnológica e o uso cada vez mais disseminado de redes de computadores têm impulsionado os estudos referentes ao desenvolvimento de sistemas distribuídos. Como estes sistemas não podem ser facilmente desenvolvidos com tecnologias de software tradicionais por causa dos limites destas em lidar com aspectos relacionados, por exemplo, à distribuição e interoperabilidade, a tecnologia baseada em agentes parece ser uma resposta promissora para facilitar o desenvolvimento desses sistemas, pois ela foi planejada para suportar estes aspectos, dentre outros. Portanto, é necessário também que a arquitetura dos ambientes de desenvolvimento de software (ADS) evolua para suportar novas metodologias de desenvolvimento que ofereçam o suporte necessário à construção de softwares complexos, podendo também estar integrada a outras tecnologias como a de agentes. Baseada nesse contexto, essa dissertação tem por objetivo apresentar a especificação de uma arquitetura de um ADS distribuído baseada em agentes (DiSEN – Distributed Software Engineering Environment). Esse ambiente deverá fornecer suporte ao desenvolvimento de software distribuído, podendo estar em locais geograficamente distintos e também os desenvolvedores envolvidos poderão estar trabalhando de forma cooperativa. Na arquitetura proposta podem ser identificadas as seguintes camadas: dinâmica, que será responsável pelo gerenciamento da (re)configuração do ambiente em tempo de execução; aplicação, que terá, entre os elementos constituintes, a MDSODI (Metodologia para Desenvolvimento de Software Distribuído), que leva em consideração algumas características identificadas em sistemas distribuídos, já nas fases iniciais do projeto e o repositório para armazenamento dos dados necessários ao ambiente; e, infra-estrutura, que proverá suporte às tarefas de nomeação, persistência e concorrência e incorporará o canal de comunicação. Para validar o ambiente será realizada uma simulação da comunicação que pode ser necessária entre as partes constituintes do DiSEN, por meio da elaboração de diagramas de use case e de seqüência, conforme a notação MDSODI. Assim, as principais contribuições desse trabalho são: (i) especificação da arquitetura de um ADS distribuído que poderá estar distribuído geograficamente; incorporará a MDSODI; proporcionará desenvolvimento distribuído; possuirá atividades executadas por agentes; (ii) os agentes identificados para o DiSEN deverão ser desenvolvidos obedecendo ao padrão FIPA (Foundation for Intelligent Physical Agents); (iii) a identificação de um elemento que irá oferecer apoio ao trabalho cooperativo, permitindo a integração de profissionais, agentes e artefatos.

Desenvolvimento de arquitetura para sistemas de reconhecimento automático de voz baseados em modelos ocultos de Markov

Este trabalho foi realizado dentro da área de reconhecimento automático de voz (RAV). Atualmente, a maioria dos sistemas de RAV é baseada nos modelos ocultos de Markov (HMMs) [GOM 99] [GOM 99b], quer utilizando-os exclusivamente, quer utilizando-os em conjunto com outras técnicas e constituindo sistemas híbridos. A abordagem estatística dos HMMs tem mostrado ser uma das mais poderosas ferramentas disponíveis para a modelagem acústica e temporal do sinal de voz. A melhora da taxa de reconhecimento exige algoritmos mais complexos [RAV 96]. O aumento do tamanho do vocabulário ou do número de locutores exige um processamento computacional adicional. Certas aplicações, como a verificação de locutor ou o reconhecimento de diálogo podem exigir processamento em tempo real [DOD 85] [MAM 96]. Outras aplicações tais como brinquedos ou máquinas portáveis ainda podem agregar o requisito de portabilidade, e de baixo consumo, além de um sistema fisicamente compacto. Tais necessidades exigem uma solução em hardware. O presente trabalho propõe a implementação de um sistema de RAV utilizando hardware baseado em FPGAs (Field Programmable Gate Arrays) e otimizando os algoritmos que se utilizam no RAV. Foi feito um estudo dos sistemas de RAV e das técnicas que a maioria dos sistemas utiliza em cada etapa que os conforma. Deu-se especial ênfase aos Modelos Ocultos de Markov, seus algoritmos de cálculo de probabilidades, de treinamento e de decodificação de estados, e sua aplicação nos sistemas de RAV. Foi realizado um estudo comparativo dos sistemas em hardware, produzidos por outros centros de pesquisa, identificando algumas das suas características mais relevantes. Foi implementado um modelo de software, descrito neste trabalho, utilizado para validar os algoritmos de RAV e auxiliar na especificação em hardware. Um conjunto de funções digitais implementadas em FPGA, necessárias para o desenvolvimento de sistemas de RAV é descrito. Foram realizadas algumas modificações nos algoritmos de RAV para facilitar a implementação digital dos mesmos. A conexão, entre as funções digitais projetadas, para a implementação de um sistema de reconhecimento de palavras isoladas é aqui apresentado. A implementação em FPGA da etapa de pré-processamento, que inclui a pré-ênfase, janelamento e extração de características, e a implementação da etapa de reconhecimento são apresentadas finalmente neste trabalho.

Governo etnomatemático : tecnologias do multiculturalismo

A partir da perspectiva foucaultiana do governo, utilizando-me das ferramentas analíticas de tecnologias de governo e de racionalidades políticas, analiso um conjunto de artigos publicados em revistas especializadas, em anais de encontros científicos, nacionais e internacionais, além de teses, dissertações e trabalhos apresentados em conferências, congressos e em aulas virtuais. Demonstro como a Etnomatemática, enquanto um dispositivo de governo multicultural, operacionaliza-se por meio do exercício do que denominei de tecnologias do multiculturalismo, (re)atualizando modos de governo multiculturais específicos. A análise produz dois conjuntos demonstrativos de tecnologias: Ordenando poder-saber e Esculpindo o eu. No primeiro conjunto, descrevo as tecnologias de Produção de identidades e as de Hierarquização de diferenças, mostrando como elas se constituem em instrumentos de governo, comportam todo um conjunto de níveis de aplicação e de alvos, hierarquizam modos de existência singulares e os fixam em uma identidade etnomatematizada; no segundo, analiso as tecnologias do eu Reflexivo, Sentimental, Cidadão e Livre, demonstrando como o dispositivo etnomatemático governa a subjetividade, põe a funcionar essas tecnologias, combinando-as com variadas técnicas, procedimentos e práticas específicas de governo. Ao concluir esta pesquisa, argumento sobre a produtividade analítica que a perspectiva foucaultiana oferece para, quem sabe, transgredir fronteiras que conformam os indivíduos em uma identidade (re)conhecida e (re)conhecível, criar experiências curriculares e educacionais renovadas pela possibilidade de uma constante atualização de modos de existência para além de uma subjetividade etnomatematizada.

Efeito dos ácidos D-2-hidroxiglutárico e L-2-hidroxiglutárico sobre vários parâmetros do metabolismo energético em cérebro, músculo esquelético e músculo cardíaco de ratos

As acidúrias L-2-hidroxiglutárica (LHGA) e D-2-hidroxiglutárica (DHGA) são distúrbios neurometabólicos hereditários caracterizados por extenso e severo dano cerebral, ocasionando predominantemente convulsões, coma e atrofia cerebral. Na LHGA, as lesões cerebrais ocorrem principalmente no cerebelo enquanto a maior parte do cérebro é afetada na DHGA. Além disso, hipotonia, fraqueza e hipotrofia muscular, bem como cardiomiopatia têm sido observadas nos pacientes afetados por essas acidemias orgânicas, com maior freqüência na DHGA. Bioquimicamente, ocorre acúmulo tecidual dos ácidos L- 2-hidroxiglutárico (LGA) e D-2-hidróxiglutárico (DGA), respectivamente, na LHGA e na DHGA. Além disso, elevadas concentrações urinárias de lactato, 2-cetoglutarato e outros metabólitos do ciclo de Krebs têm sido descritas em pacientes acometidos por essas patologias, sugerindo uma disfunção mitocondrial. mitocondrial. Tendo em vista que a etiopatogenia da disfunção tecidual nesses pacientes é desconhecida, o presente trabalho investigou o efeito in vitro dos ácidos LGA e DGA sobre diversos parâmetros do metabolismo energético celular. Inicialmente, avaliamos o efeito dos ácidos DGA e LGA sobre a utilização de glicose e produção de CO2 em homogeneizados e fatias de córtex cerebral. Verificamos que o DGA reduziu significativamente tanto o consumo de glicose quanto a produção de CO2 pelo córtex cerebral, enquanto o LGA não demonstrou efeito sobre esses parâmetros. Além disso, o DGA inibiu significativamente a atividade da citocromo c oxidase em homogeneizado de córtex cerebral de ratos (35-95%), de forma dose-dependente, sem alterar a atividade dos demais complexos da cadeia respiratória. A inibição verificada foi do tipo acompetitiva. Por outro lado, o LGA não alterou a atividade de nenhum dos complexos enzimático estudados. Posteriormente, avaliamos o efeito in vitro dos ácidos DGA e LGA sobre a atividade da creatina quinase (CK) em homogeneizado total e nas frações citosólica e mitocondrial de tecido cerebral, muscular esquelético e cardíaco de ratos. Os resultados mostraram que o DGA inibiu significativamente a atividade das isoformas mitocondrial e citosólica da CK em preparações de córtex cerebral, músculo esquelético de cardíaco. Por outro lado, tanto DGA quanto LGA inibiram seletivamente a isoforma mitocondrial em preparações de cerebelo. Estudos cinéticos mostraram um perfil não competitivo de inibição com relação à fosfocreatina para ambos os ácidos nos tecidos estudados. Além IV disso, observamos também que o efeito inibitório de ambos os ácidos foi totalmente revertido por glutationa reduzida, sugerindo uma modificação causada pelos metabólitos sobre os grupos sulfidrila, essenciais para a atividade da enzima. Nossos resultados sugerem que a inibição significativa causada pelo DGA sobre as atividades da citocromo c oxidase e da creatina quinase no córtex cerebral, assim como nos músculos cardíaco e esquelético poderiam explicar, ao menos em parte, a fisiopatogenia da disfunção neurológica e anormalidades estruturais no sistema nervoso central, bem como a mitocondriopatia esquelética e a cardiomiopatia presente nos pacientes afetados por DHGA. Por outro lado, é possível que a inibição seletiva da creatina quinase mitocondrial provocada pelo LGA em cerebelo possa estar associada à degeneração cerebelar característica dos pacientes com LHGA.

Ferramenta de injeção de falhas para avaliação de segurança

Nos ultimos anos, com a crescente popularização das redes de computadores baseadas no protocolo IP, desde pequenas redes até metropolitanas começaram a se agrupar e a fazer do que hoje se conhece como a rede mundial de computadores.Apesar dos benefícios de comunicação e troca de informação da Internet, esse feômeno global também trouxe problemas de segurança, pois a origem e estrutura dos protocolos utilizados na comunicação entre as diversas máquinas limitam as possibilidades de prevenir, identificar ou detectar possíveis ataques ou intrusos. Assim, várias ferramentas surgiram para prevenir e auxiliar na tarefa de identicar problemas de segurança nas redes como firewalls, sniffers e sistemas de detecção de intrusão. Apesar dos benefícios trazidos por essas novas tecnologias, surgiram muitas dúvidas referentes a segurança que esses recursos proporcionam. Afinal, o desenvolvimento e validação desses sistemas são procedimentos bastante complexos e, freqüentemente, esses sitemas têm se tornado o alvo primário de um atacante. O resultado disso, não raramente, é uma falsa noção de segurança devido à utilização inadequada desses mecanismos, o que é, normalmente, mais prejudicial do que a simples inexistência de segurança em uma organização, mas cujas falhas são conhecidas por seus administradores. A realização de testes para verificação da segurança de uma organização é uma atividade fundamental a fim de alcançar um ambiente operacional seguro e de verificar a correta aplicação dos requisitos de segurança de uma organização.O uso de testes permite a uma empresa verificar com precisão a postura de segurança utilizada em seus sistemas ao mesmo tempo em que permite visualizar a sua rede da mesma maneira que um atacante a visualizaria. Ao visualizar a rede como atacante, pode-se verificar com que facilidade obtém-se informações da rede, quais suas fragilidades e a dificuldade que se tem para invadí-la. Assim, obtém-se uma visão mais realista da segurança de uma organização. Além de técnicas para a avaliação, é muito importante que se possua ferramentas para a realização desses testes. Assim, é possível automotizar a realização de testes e verificar com maior facilidade a existência de problemas em uma rede. A existência de ferramentas que testem sistemas de segurnaça é extremamente importante e necessária, pois, afinal, a segurança de toda uma rede pode depender fortemente de algum desses sistemas. Este trabalho apresenta as técncias existentes para a injecção de falhas visando verificar as que são mais eficientes para a valiação de sistemas de segurança de rede. Adicionalmente são apresentadas algumas técnicas para o teste de mecanismos de segurança e algumas ferramentas existentes para a realizão de tais testes. A partir desses estudos, é apresentado um modelo de ferramenta adequando as funções de um sistema de injeção de falhas ao teste de mecanismos de segurança em rede. Um protótipo essa ferramenta foi desenvolvido e é apresentado neste trabalho. Esse protótipo permite o envio e o recebimento de pacotes da pilha TCP/IP, podendo testar problemas em protocolos e sistemas utilizados na rede. E, através da utilização de plug-ins, permite que diversos tipos de ataque mais sofisticados possam ser realizados.

Proposta de um framework conceitual para apoiar a criação de técnicas de indexação para banco de dados temporais

Bancos de Dados Temporais (BDTs) surgiram para tentar suprir a necessidade de se obter um melhor aproveitamento das informações que circulam atualmente. Porém, ao mesmo tempo em que é benéfico o seu uso, uma vez que armazenam o histórico das informações, existe um problema neste tipo de banco de dados, que é o desempenho. Além do grande volume de dados armazenados, este problema se agrava ainda mais devido à complexidade nas operações que governam os BDTs, como por exemplo, inclusão, remoção, alteração e consulta. Portanto, focalizando o problema, existe a necessidade de melhorar o desempenho dos BDTs frente às operações de manipulação de dados. Técnicas de indexação apropriadas para dados temporais podem amenizar este problema de desempenho. Técnicas consagradas de indexação são largamente usadas, amparadas no seu alto grau de desempenho e portabilidade. São exemplos B-Tree, B+-Tree e R-Tree, entre outras. Estas técnicas não suportam indexar os complexos BDTs, mas são fundamentais para que sirvam de base para novas estruturas que suportem esses tipos de dados. As técnicas de indexação para dados temporais existentes não conseguem suprir a semântica temporal na sua totalidade. Existem ainda algumas deficiências do tipo: poucas técnicas que abrangem ao mesmo tempo tempo de validade e tempo de transação; não existe uma técnica que oferece informações do seu desempenho; a maioria não distingue ponto no tempo de intervalo de tempo; entre outras. Entretanto, possuem características relevantes em cada uma delas. Assim, um estudo das características mais importantes se tornou um fator importante para que possa ser desenvolvido um modelo capaz de auxiliar na criação de novas técnicas de indexação para dados temporais, a fim de contemplar melhor estes tipos de dados. O objetivo deste trabalho é, com base nas características das técnicas estudadas, desenvolver um framework conceitual capaz de auxiliar na criação de novas técnicas de indexação para dados temporais. Esta estrutura apresenta as características mais relevantes das técnicas existentes, agregando novas idéias e conceitos para contemplar os dados temporais. O framework conceitual desenvolvido agrega características de diferentes técnicas de indexação, possibilitando de variar a arquitetura de um índice para dados temporais, ajustando-os para um melhor desempenho em diferentes sistemas. Para validar o framework proposto é apresentada uma especificação de índices para o modelo de dados TF-ORM (Temporal Functionality in Objects With Roles Model).

Efeitos citotóxicos do teniposide, um derivado semi-sintético das epipodofilotoxinas, sobre linhagens celulares de carcinoma renal humano

O câncer renal corresponde a aproximadamente 3% dos tumores malignos do adulto, sendo a terceira malignidade urológica mais comum. Os tratamentos sistêmicos disponíveis para pacientes portadores de carcinoma renal avançado são, via de regra, pouco eficazes e sem um impacto definido na sobrevida. Portanto, torna-se imperioso que novos agentes e/ou estratégias terapêuticas para esta enfermidade sejam desenvolvidas. O derivado das epipodolofilotoxinas, etoposide, tem sido utilizado com sucesso no tratamento de vários tipos de tumores sólidos e hematológicos. Este agente exerce a sua ação antitumoral através da inibição da enzima nuclear topoisomerase II. Estudos recentes demonstraram que o efeito citotóxico in vitro deste agente é bem mais pronunciado quando as linhagens tumorais são expostas à droga por um tempo mais prolongado. Isto vem sendo confirmado em estudos clínicos, nos quais foi documentado um aumento significativo no percentual de respostas tumorais objetivas em pacientes com câncer avançado tratados com etoposide em doses repetidas diárias de forma continuada, comparativamente a pacientes que receberam pulsos de doses altas da droga a intervalos mais longos. Infelizmente, estudos iniciais com etoposide não revelaram uma atividade antitumoral significativa em pacientes com câncer renal avançado. Por esta razão, os estudos preliminares explorando o potencial terapêutico de seu análogo teniposide nesta doença também não receberam a devida atenção na literatura. Entretanto, este análogo possui potenciais vantagens terapêuticas em relação ao etoposide, uma vez que apresenta um tempo de retenção intracelular mais prolongado em linhagens de tumores sólidos in vitro. Estas observações nos estimularam a reconsiderar o estudo do potencial citotóxico do teniposide em modelos experimentais de câncer renal avançado. Nesta dissertação, foram estudados vários protocolos de administração de teniposide em linhagens de câncer renal humano, uma vez que esta neoplasia carece de drogas ativas disponíveis no armamentário terapêutico. Foram utilizadas as linhagens celulares RXF-393, A-498 e TK-10, as quais foram incubadas com teniposide em concentrações pré-determinadas e tempos de incubação variáveis. Além disto, foram feitos experimentos em que protocolos de administração de teniposide como agente único foram comparados a protocolos em que o mesmo foi combinado com agentes que bloqueiam a ação da glicoproteína P, responsável pelo efluxo ativo da droga do interior da célula tumoral. Além disso, foram também estudados protocolos incluindo a associação de teniposide com agentes que interferem com a síntese do DNA. Para os estudos de avaliação de citotoxicidade dos agentes quimioterápicos, os mesmos foram pré-incubados por 24 h na ausência ou presença do inibidor da DNA polimerase α afidicolina glicinada (0,2 µM) ou do inibidor da ribonucleotídeo redutase hidroxiuréia (200 µM) e após incubados por diferentes tempos de exposição com diluições seriadas de teniposide. Os efeitos citotóxicos foram avaliados através do método colorimétrico com sulforodamina B (SRB). Os protocolos de exposição prolongada das células ao teniposide mostraram um aumento significativo na sua citotoxicidade nas linhagens RXF-393, A-498 e TK-10, sugerindo que a citotoxicidade do teniposide é dependente de tempo de administração. Neste sentido, uma maior taxa de dano no DNA foi observada nas células expostas ao teniposide por tempos de administração mais prolongados. Curiosamente, os diferentes tempos de exposição ao teniposide não influenciaram de forma clara na formação de complexos DNA-topoisomerase II, nem nas medidas da atividade desta enzima. O uso concomitante de agentes moduladores da glicoproteína P como o verapamil, a ciclosporina A e o tamoxifeno não produziu potencialização do efeito antiproliferativo do teniposide. Por sua vez, os tratamentos com agentes que interferem na síntese de DNA, como a afidicolina glicinada ou a hidroxiuréia, potencializaram a citotoxicidade do teniposide em todas as linhagens estudadas, seguindo as características intrínsecas de cada linhagem. Em conclusão, os resultados apresentados nesta dissertação sugerem que o teniposide apresenta um maior efeito citotóxico em protocolos de administração prolongada em combinação com agentes inibidores da síntese de DNA. Frente a estes resultados iniciais, o teniposide será testado nos protocolos de administração acima mencionados em um painel contendo um maior número de linhagens tumorais in vitro. Uma vez confirmadas as observações acima descritas, serão iniciados estudos em modelos tumorais in vivo. Estes estudos servirão de base nas decisões quanto à reavaliação clínica do teniposide em ensaios de fase I em pacientes com neoplasias avançadas refratárias.