Um metamodelo da linguagem de modelagem real time UML, de suporte à criação de dicionário de dados para ferramentas de modelagem de sistema tempo real, visando a verificação de consistência dos modelos

A computação de tempo real é uma das áreas mais desafiadoras e de maior demanda tecnológica da atualidade. Está diretamente ligada a aplicações que envolvem índices críticos de confiabilidade e segurança. Estas características, inerentes a esta área da computação, vêm contribuindo para o aumento da complexidade dos sistemas tempo real e seu conseqüente desenvolvimento. Isto fez com que mecanismos para facilitar especificação, delimitação e solução de problemas passem a ser itens importantes para tais aplicações. Este trabalho propõe mecanismos para atuarem no desenvolvimento de sistemas de tempo real, com o objetivo de serem empregados como ferramenta de apoio no problema da verificação de presença de inconsistências, que podem vir a ocorrer nos vários modelos gerados partir da notação da linguagem de modelagem gráfica para sistemas de tempo real - UML-RT(Unified Modeling Language for Real Time). Estes mecanismos foram projetados através da construção de um metamodelo dos conceitos presentes nos diagramas de classe, de objetos, de seqüência, de colaboração e de estados. Para construir o metamodelo, utiliza-se a notação do diagrama de classes da UML (Unified Modeling Language). Contudo, por intermédio das representações gráficas do diagrama de classes não é possível descrever toda a semântica presente em tais diagramas. Assim, regras descritas em linguagem de modelagem OCL (Object Constraint Language) são utilizadas como um formalismo adicional ao metamodelo. Com estas descrições em OCL será possível a diminuição das possíveis ambigüidades e inconsistências, além de complementar as limitações impostas pelo caráter gráfico da UML. O metamodelo projetado é mapeado para um modelo Entidade&Relacionamento. A partir deste modelo, são gerados os scripts DDL (Data Definition Language) que serão usados na criação do dicionário de dados, no banco de dados Oracle. As descrições semânticas escritas através de regras em OCL são mapeadas para triggers, que disparam no momento em que o dicionário de dados é manipulado. O MET Editor do SiMOO-RT é a ferramenta diagramática que faz o povoamento dos dados no dicionário de dados. SiMOO-RT é uma ferramenta orientada a objetos para a modelagem, simulação e geração automática de código para sistemas de tempo real.

Soluções unificadas para modelos com freqüência de colisão variável da dinâmica de gases rarefeitos

Neste trabalho, uma versão analítica do método de ordenadas discretas é usada para desenvolver soluções para alguns problemas da dinÂmica de gases rarefeitos, baseado em um modelo com freqüência de colisão variável (modelo CLF) da equação de Boltzmann linearizada. Em particular, resultados numéricos obtidos para os problemas de salto de temperatura, fluxo de Poiseuille, fluxo de Couette, Kramers, creep-térmico e deslizamento térmico são apresentados e discutidos.

Rede de modelos termodinâmicos locais

A simulação computacional de processos é uma ferramenta valiosa em diversas etapas da operação de uma planta química, tais como o projeto, a análise operacional, o estudo da estratégia de controle e a otimização, entre outras. Um programa simulador requer, freqüentemente, o cálculo das propriedades termofísicas que fazem parte das equações correspondentes aos balanços de massa, energia e quantidade de movimento. Algumas dessas quantidades, típicas de operações baseadas no equilíbrio de fases (tais como a destilação fracionada e a separação flash), são as fugacidades e entalpias das fases líquida e vapor em equilíbrio. Contudo, o uso de modelos e correlações cada vez mais sofisticadas para representar acuradamente as propriedades termofísicas dos sistemas reais fez com que grande parte do tempo gasto numa simulação de processos seja devida à avaliação destas propriedades. Muitas estratégias têm sido propostas na literaturas a fim de se reduzir a carga computacional envolvida na simulação, estática e dinâmica, dos problemas de Engenharia Química. Esta diminuição do tempo de processamento pode muitas vezes ser determinante na aplicação ou não da simulação de processos na prática industrial, como, por exemplo, no controle automático. Esta dissertação aborda uma das alternativas para a redução do tempo computacional gasto na simulação de processos: a aproximação das funções que descrevem as propriedades termofísicas através de funções mais simples, porém de fácil avaliação. Estas funções, a fim de se garantir uma aproximação adequada, devem ser corrigidas ou atualizadas de alguma forma, visto que se tratam de modelos estritamente válidos em uma pequena região do espaço das variáveis, sendo, por isto, chamados de modelos locais. Partindo-se do estado atual desta técnica, é proposta nesta dissertação uma nova metodologia para se efetuar esta aproximação, através da representação global da propriedade mediante múltiplas funções simples, constituindo, desse modo, uma rede de modelos locais. Algumas possibilidades para a geração efetiva destas redes são também discutidas, e o resultado da metodologia é testado em alguns problemas típicos de separação por equilíbrio de fases.

Adaptação dinâmica do timeout de detectores de defeitos através do uso de séries temporais

Uma aplicação distribuída freqüentemente tem que ser especificada e implementada para executar sobre uma rede de longa distância (wide-área network-WAN), tipicamente a Internet. Neste ambiente, tais aplicações são sujeitas a defeitos do tipo colapso(falha geral num dado nó), teporização (flutuações na latência de comunicação) e omissão (perdas de mensagens). Para evitar que este defeitos gerem comseqüências indesejáveis e irreparáveis na aplicação, explora-se técnicas para tolerá-los. A abstração de detectores de defeitos não confiáveis auxilia a especificação e trato de algoritmos distribuídos utilizados em sistemas tolerantes a falhas, pois permite uma modelagem baseada na noção de estado (suspeito ou não suspeito) dos componentes (objetos, processo ou processadores) da aplicação. Para garantir terminação, os algoritmos de detecção de defeitos costumam utilizar a noção de limites de tempo de espera (timeout). Adicionalmente, para minimizar seu erro (falasas suspeitas) e não comprometer seu desempenho (tempo para detecção de um defeito), alguns detectores de defeitos ajustam dinamicamente o timeout com base em previsões do atraso de comunicação. Esta tese explora o ajuste dinâmico do timeout realizado de acordo com métodos de previsão baseados na teoria de séries temporais. Tais métodos supõem uma amostragem periódica e fornececm estimativas relativamente confiáveis do comportamento futuro da variável aleatória. Neste trabalho é especificado uma interface para transformar uma amostragem aperiódica do atraso de ida e volta de uma mensagem (rtt) numa amostragem periódica, é analisado comportamento de séries reais do rtt e a precisão dee sete preditores distintos (três baseados em séries temporais e quatrro não), e é avaliado a influência destes preditores na qualidade de serviço de um detector de defeitos do estilopull. Uma arquitetura orientada a objetos que possibilita a escolha/troca de algoritmos de previsão e de margem de segurança é também proposta. Como resultado, esta tese mostra: (i) que embora a amostragem do rtt seja aperiódica, pode-se modelá-la como sendo uma série temporal (uma amostragem periódica) aplciando uma interface de transformação; (ii) que a série temporal rtt é não estacionária na maioria dos casos de teste, contradizendo a maioria das hipóteses comumente consideradas em detectores de defeitos; (iii) que dentre sete modelos de predição, o modelo ARIMA (autoregressive integrated moving-average model) é o que oferece a melhor precisão na predição de atrasos de comunicação, em termos do erro quadrático médio: (iv) que o impacto de preditores baseados em séries temporais na qualidade de serviço do detector de defeitos não significativo em relação a modelos bem mais simples, mas varia dependendo da margem de segurança adotada; e (v) que um serviço de detecção de defeitos pode possibilitar a fácil escolha de algoritmos de previsão e de margens de segurança, pois o preditor pode ser modelado como sendo um módulo dissociado do detector.

Avaliação da atividade neuroprotetora do extrato de kava (Piper methysticum) em modelos in vitro de lesão celular

As doenças cerebrovasculares, popularmente conhecidas como derrames, são uma das principais causas de morbidade e mortalidade entre adultos e idosos. Contudo, muitos pacientes que sofrem derrame sobrevivem e experimentam as conseqüências do insulto por muitos anos, muitas vezes a nível emocional, motor ou intelectual. Dentre estas lesões, destaca-se a isquemia cerebral. Existem modelos experimentais de isquemia cerebral in vivo e in vitro. Os modelos in vitro são realizados em culturas ou fatias de tecido cerebral submetidas à Privação de Oxigênio e Glicose (POG), que mimetizam condições traumáticas similares, mas não idênticas às produzidas in vivo. A investigação da atividade de substâncias potencialmente neuroprotetoras a partir da comparação da morte celular entre culturas ou fatias de tecido cerebral controle e tratadas é facilitada neste tipo de modelo experimental. Após a injúria, as culturas são expostas a métodos de avaliação da viabilidade ou dano celular como, por exemplo, o corante fluorescente iodeto de propídeo, que marca seletivamente células mortas ou em curso de morte, ou MTT (3-[4,5-dimethylthiazol-2-yl]-2,5-diphenyltetrazoliumbromide) que mede a viabilidade mitocondrial possibilitando uma posterior quantificação. As plantas são uma fonte importante de produtos naturais biologicamente ativos, muitos dos quais se constituem em modelos para a síntese de um grande número de fármacos. Um exemplo é a planta kava-kava ou somente kava (Piper Methysticum) a qual chamou a atenção dos pesquisadores devido à sua utilização nas ilhas do Pacífico sul. Foi demonstrada a possibilidade da kava possuir uma variedade de atividades farmacológicas importantes, entre elas a atividade de neuroproteção Esse trabalho tem como objetivo avaliar a atividade neuroprotetora do extrato de kava-kava (Piper methysticum) em modelos in vitro de morte neuronal em fatias de hipocampo de ratos, investigar o envolvimento da proteína de choque térmico HSP27 (Heat Shock Protein) no processo de morte e neuroproteção induzida pela kava, bem como investigar o efeito da lesão induzida por POG sobre o imunoconteúdo da proteína Oxido Nítrico Sintase induzível (iNOS). Os resultados dos experimentos por nós realizados nas culturas organotípicas submetidas à POG por 40 minutos e tratadas com extrato de kava (7µg/ml) demonstraram uma significativa redução, na ordem de 58% na intensidade da morte neuronal na região CA1 do hipocampo em resposta à injúria. Em fatias hipocampais submetidas à POG por 60 minutos a adição do extrato de kava 7µg/ml aumentou em 15% a viabilidade celular, confirmando a atividade neuroprotetora sugerida para esta planta. As culturas expostas à POG e tratadas com kava apresentaram um aumento significativo no imunoconteúdo da proteína HSP27, esse aumento é acompanhado de um aumento da fosforilação, uma vez que a percentagem de proteína fosforilada se mantém igual. As fatias lesionadas tratadas com kava apresentaram uma diminuição significativa no imunoconteúdo da iNOS na ordem de 35 % em relação as fatias lesionadas tratadas com DMSO (Dimetilsulfoxido). Estes dados podem sugerir que um dos mecanismos da neuroproteção observada para o extrato de kava, possa envolver essas proteínas.

Modelos de estimativa de radiação solar para elaboração de mapas solarimétricos

O objetivo fundamental desta dissertação foi desenvolver modelos de estimativa da radiação solar no intuito de complementar a base de dados visando o traçado de mapas de radiação solar para o Rio Grande do Sul. Inicialmente foi realizada uma pesquisa na literatura sobre as metodologias desenvolvidas para a estimativa da radiação solar para locais onde inexistem dados medidos desta variável. Foi feito um levantamento das técnicas estatísticas utilizadas na previsão de valores de variáveis. As metodologias pesquisadas foram aplicadas ao banco de dados SAMSON (Solar and Meteorological Surface Observational Network). Entre as variáveis deste banco de dados estão a radiação solar, a umidade relativa, a temperatura, a latitude, a altitude e a nebulosidade. A metodologia dos modelos de estimativa aplicada neste trabalho baseia-se no Método dos Mínimos Quadrados. Foram realizadas correlações mensais e anuais entre as variáveis acima citadas e seus resultados validados através de validação cruzada. Resultou apropriada, na disponibilidade de dados climatológicos, a aplicação de modelos com parâmetros mensais de regressão linear múltipla envolvendo as variáveis explicativas: insolação, temperatura média e umidade relativa. Este modelo, entre outros, foi aplicado aos dados do Rio Grande do Sul. A metodologia acima descrita aplicada aos dados medidos no Rio Grande do Sul, resultou eficaz. Foram pesquisadas técnicas de interpolação para traçado de mapas e estabelecidas regras para o traçado dos mesmos. Foram utilizados dados periféricos para a Argentina, Uruguai e Santa Catarina. Foram feitos mapas mensais de médias mensais de radiação solar global horizontal diária bem como um mapa da média anual de radiação solar global horizontal diária. Observou-se que o modelo de Ångström–Prescott apresenta bons resultados quando se dispõe apenas da insolação Os mapas serão úteis para a pesquisa e implementação de sistemas empregando Energia Solar no Estado do Rio Grande do Sul. Finalmente, a principal conclusão é a de que modelos de correlações obtidos com dados de cada mês e produzindo parâmetros mensais são mais adequados do que um único modelo de correlação com parâmetros de validade anual utilizado nas estimativas mensais.

APSEE-Monitor: um mecanismo de apoio a visualização de modelos de processos de software

A tecnologia de processos de desenvolvimento de software ´e uma importante área de estudo e pesquisas na Engenharia de Software que envolve a construção de ferramentas e ambientes para modelagem, execução, simulação e evolução de processos de desenvolvimento de software, conhecidos como PSEEs (do inglês: Process-Centered Software Engineering Environments). Um modelo de processo de software é uma estrutura complexa que relaciona elementos gerenciáveis (i.e. artefatos, agentes, e atividades) que constituem o processo de software. Esta complexidade, geralmente, dificulta a percepção e entendimento do processo por parte dos profissionais envolvidos, principalmente quando estes profissionais têm acesso apenas a uma visão geral do modelo. Desta forma, há necessidade de mecanismos para visualização e acompanhamento dos processos, fornecendo informações adequadas aos diferentes estados, abstraindo as informações relevantes tanto as fases presentes no processo de desenvolvimento quanto ao agente envolvido, além de facilitar a interação e o entendimento humano sobre os elementos do processo. Estudos afirmam que a maneira como são apresentadas as informações do modelo de processo pode influenciar no sucesso ou não do desenvolvimento do software, assim como facilitar a adoção da tecnologia pela indústria de software. Este trabalho visa contribuir nas pesquisas que buscam mecanismos e cientes para a visualização de processos de software apresentando a abordagem APSEE-Monitor destinada ao apoio a visualização de processos de software durante a sua execução. O principal objetivo desta pesquisa é apresentar um modelo formal de apoio a visualização de processos capaz de extrair dados de processos e organizá-los em sub-domínios de informações de interesse do gerente de processos. Neste trabalho aplica-se o conceito de múltiplas perspectivas como uma estratégia viável para a abstração e organização das informações presentes no modelo de processos. A solução proposta destaca-se por estender a definção original de perspectivas e fornecer uma estratégia de extração dos dados através de uma especificação formal utilizando o paradigma PROSOFT-Algébrico. Além disso, o trabalho apresenta um conjunto de requisitos relativos a interação entre gerentes de processos e PSEEs, a definição formal das perspectivas, uma gramática que define a linguagem de consulta aos processos, e um protótipo da aplicação.

Geração de modelos de co-simulação distribuída para a arquitetura DCB

O aumento na complexidade dos sistemas embarcados, compostos por partes de hardware e software, aliado às pressões do mercado que exige novos produtos em prazos cada vez menores, tem levado projetistas a considerar a possibilidade de construir sistemas a partir da integração de componentes já existentes e previamente validados. Esses componentes podem ter sido desenvolvidos por diferentes equipes ou por terceiros e muitas vezes são projetados utilizando diferentes metodologias, linguagens e/ou níveis de abstração. Essa heterogeneidade torna complexo o processo de integração e validação de componentes, que normalmente é realizado através de simulação. O presente trabalho especifica mecanismos genéricos e extensíveis que oferecem suporte à cooperação entre componentes heterogêneos em um ambiente de simulação distribuída, sem impor padrões proprietários para formatos de dados e para a descrição do comportamento e interface dos componentes. Esses mecanismos são baseados na arquitetura DCB (Distributed Co-Simulation Backbone), voltada para co-simulação distribuída e heterogênea e inspirada nos conceitos de federado (componente de simulação) e federação (conjunto de componentes) que são definidos pelo HLA (High Level Architecture), um padrão de interoperabilidade para simulações distribuídas. Para dar suporte à co-simulação distribuída e heterogênea, esse trabalho descreve mecanismos que são responsáveis pelas tarefas de cooperação e distribuição, chamados de embaixadores, assim como o mecanismo gateway, que é responsável pela interoperabilidade entre linguagens e conversão de tipos de dados. Também é apresentada uma ferramenta de suporte à geração das interfaces de co-simulação, que são constituídas de dois embaixadores configuráveis e um gateway para cada federado, gerado a partir de templates pré-definidos.

Comparação das simulações de tráfego dos modelos saturn e dracula

Os modelos computacionais SATURN e DRACULA avaliam o tráfego através de diferentes fundamentações teóricas. O SATURN é um modelo macroscópico de alocação de tráfego que incorpora uma estrutura mesoscópica de simulação de interseções. O DRACULA é um modelo microscópico de simulação de tráfego: reproduz a progressão dos veículos através da rede, representando cada entidade individualmente. Ambos os modelos foram desenvolvidos no ITS – Institute for Transport Studies – da Universidade de Leeds, e permitem a troca de informações, podendo ser aplicados em conjunto. O presente trabalho de pesquisa compara as estruturas de simulação do SATURN e do DRACULA. O estudo confronta as fundamentações teóricas dos modelos, relacionando-as com a aplicação prática. São avaliados os dados de entrada, os parâmetros de saída, e os processos particulares de estimação de parâmetros de cada modelo. Através de análises de sensibilidade, avalia-se o impacto da variação de dados de entrada nos parâmetros de saída. Em um estudo de caso, avalia-se a aplicação conjunta dos modelos, ao replicarem o mesmo cenário. O estudo identifica divergências e afinidades na conceituação e no tratamento de parâmetros de entrada e saída tais como dados de descrição de rede e demanda, atrasos, velocidades, tempos de viagem, e capacidade viária. Por fim, o estudo propõe recomendações sobre a implementação prática dos modelos, especialmente quando utilizados em conjunto.

Redes-em-Chip : arquiteturas e modelos para avaliação de área e desempenho

Com o advento dos processos submicrônicos, a capacidade de integração de transistores tem atingido níveis que possibilitam a construção de um sistema completo em uma única pastilha de silício. Esses sistemas, denominados sistemas integrados, baseiam-se no reuso de blocos previamente projetados e verificados, os quais são chamados de núcleos ou blocos de propriedade intelectual. Os sistemas integrados atuais incluem algumas poucas dezenas de núcleos, os quais são interconectados por meio de arquiteturas de comunicação baseadas em estruturas dedicadas de canais ponto-a-ponto ou em estruturas reutilizáveis constituídas por canais multiponto, denominadas barramentos. Os futuros sistemas integrados irão incluir de dezenas a centenas de núcleos em um mesmo chip com até alguns bilhões de transistores, sendo que, para atender às pressões do mercado e amortizar os custos de projeto entre vários sistemas, é importante que todos os seus componentes sejam reutilizáveis, incluindo a arquitetura de comunicação. Das arquiteturas utilizadas atualmente, o barramento é a única que oferece reusabilidade. Porém, o seu desempenho em comunicação e o seu consumo de energia degradam com o crescimento do sistema. Para atender aos requisitos dos futuros sistemas integrados, uma nova alternativa de arquitetura de comunicação tem sido proposta na comunidade acadêmica. Essa arquitetura, denominada rede-em-chip, baseia-se nos conceitos utilizados nas redes de interconexão para computadores paralelos. Esta tese se situa nesse contexto e apresenta uma arquitetura de rede-em-chip e um conjunto de modelos para a avaliação de área e desempenho de arquiteturas de comunicação para sistemas integrados. A arquitetura apresentada é denominada SoCIN (System-on-Chip Interconnection Network) e apresenta como diferencial o fato de poder ser dimensionada de modo a atender a requisitos de custo e desempenho da aplicação alvo. Os modelos desenvolvidos permitem a estimativa em alto nível da área em silício e do desempenho de arquiteturas de comunicação do tipo barramento e rede-em-chip. São apresentados resultados que demonstram a efetividade das redes-em-chip e indicam as condições que definem a aplicabilidade das mesmas.

Avaliação comportamental e neuroquímica em modelos de convulsão em ratos jovens

O ácido quinolínico (AQ) tem sido usado como modelo farmacológico de hiperestimulação do sistema glutamatérgico. A captação de glutamato é o principal mecanismo envolvido na manutenção do glutamato extracelular abaixo dos níveis tóxicos. A guanosina sistemicamente administrada previne convulsões induzidas pela hiperestimulação do sistema glutamatérgico em ratos adultos e aumenta a captação basal de glutamato em culturas primárias de astrócitos e em fatias corticais de ratos jovens. Este trabalho teve como objetivo investigar o efeito da guanosina p.o. sobre convulsões induzidas por ácido quinolínico e sobre a captação de glutamato em fatias corticais de ratos jovens (12-14 dias pós-natal). A infusão i.c.v. de 250nmol AQ induziu convulsões em todos os animais testados e diminui a captação de glutamato. A administração de MK-801 e fenobarbital i.p. 30 min antes preveniu as convulsões em todos os animais. Guanosina (7.5 mg/kg) 75 min antes, preveniu em 50% as convulsões induzidas por AQ bem como reverteu a captação de glutamato aos níveis do controle. No intuito de investigar se o efeito anticonvulsivo da guanosina é específico para convulsões induzidas por ácido quinolínico, testamos também o efeito da guanosina em convulsões induzidas por picrotoxina. O pré-tratamento com fenobarbital i.p. (60 mg/kg – 30 min) preveniu as convulsões em todos os animais, visto que guanosina p.o. (7.5 mg/kg – 75 min) e MK-801 i.p. (0.5 mg/kg – 30 min) não tiveram efeito. Desta forma, nossos resultados indicam que a guanosina pode ser considerado para o tratamento das epilepsias e possíveis transtornos neurológicos associados com excitotoxicidade mediada por AQ.

Influência do tratamento crônico com cafeína em modelos animais de esquizofrenia : parâmetros cognitivos e comportamentais

A esquizofrenia envolve um conjunto de sintomas de sensopercepção, cognição e afeto que compromete significativamente a vida do sujeito. O mais aceito modelo para se entender essa doença é o modelo de hiperatividade dopaminérgica, pois drogas como anfetamina e cocaína, que aumentam a atividade dopaminérgica, mimetizam alguns sintomas dessa patologia, e os fármacos usados para o tratamento são os que bloqueiam os receptores de dopamina. Além da dopamina, o sistema glutamatérgico também tem sido relacionado à esquizofrenia, pelo fato de antagonistas de receptores glutamatérgicos do tipo NMDA, tais como PCP, MK-801 e cetamina, provocarem alguns sintomas dessa doença, como desorganização cognitiva e delírios em pessoas saudáveis. adenosina, por sua vez, desempenha um papel neuromodulatório tanto da atividade dopaminérgica quanto da atividade glutamatérgica, inibindo o tônus de ambos neurotransmissores por diferentes vias. Assim, sugerimos que antagonistas de receptores adenosinérgicos, como a cafeína, também seriam um modelo farmacológico para a doença. Com base nisso, demonstramos previamente que camundongos tratados cronicamente com cafeína desenvolvem tolerância cruzada ao efeito do antagonista NMDA MK-801 em provocar hiperlocomoção, mas não em seu déficit cognitivo na esquiva inibitória. Buscando ampliar e melhor caracterizar essa interação, os seguintes parâmetros foram avaliados em camundongos: atividade locomotora realizando-se as curvas de dose e de tempo; memória de trabalho, avaliada na tarefa de alternação tardia; memória de longa duração, avaliada na tarefa de esquiva inibitória e a avaliação de ataxia. Os resultados nos mostraram que camundongos subcronicamente tratados com cafeína na bebida (1 mg/mL, por 1, 3, ou 7 dias) apresentaram habituação semelhante entre os grupos e que MK-801 (0,25 mg/kg, i.p.) produziu hiperlocomoção nos animais tratados com água e 1 dia de cafeína, com efeito diminuído depois de 3 dias e praticamente abolido depois de 7 dias. Depois de 7 dias, o efeito também foi dose-dependente, sem tolerância cruzada na dose de 0,1 mg/mL, intermediária na dose de 0,3 mg/mL e total a 1,0 mg/mL. Os escores de ataxia induzidos por 0,5 mg/kg de MK-801 não foram afetados pelo tratamento com cafeína por 7 dias a 1 mg/mL, mas uma hiperlocomoção transitória foi observada. O tratamento com cafeína por 7 dias a 1 mg/mL preveniu os déficits induzidos por 0,01 mg/kg de MK-801 na tarefa de esquiva inibitória e os atenuou, a 0,4 mg/kg de MK-801, na tarefa de alternação tardia, no labirinto em T. Conclui-se, então, que a hiperlocomoção e os déficits cognitivos – mas não a ataxia – induzidos por MK-801 podem estar influenciados pela atividade reduzida da adenosina. Assim, os estudos sobre a ação da adenosina podem se fazer relevantes para a melhor compreensão da neurobiologia da esquizofrenia. Estes resultados são concordantes com o novo modelo proposto, que é o de hipofunção adenosinérgica na esquizofrenia.

O uso de modelos compartimentais do tipo hospedeiro-macroparasita na dinâmica de doenças infecciosas causadas por helmintos diretamente transmitidos

Neste trabalho, nos propomos a estudar o desenvolvimento teórico de alguns modelos matemáticos básicos de doenças infecciosas causadas por macroparasitas, bem como as dificuldades neles envolvidas. Os modelos de transmissão, que descrevemos, referem-se ao grupo de parasitas com transmissão direta: os helmintos. O comportamento reprodutivo peculiar do helminto dentro do hospedeiro definitivo, no intuito de produzir estágios que serão infectivos para outros hospedeiros, faz com que a epidemiologia de infecções por helmintos seja fundamentalmente diferente de todos os outros agentes infecciosos. Uma característica importante nestes modelos é a forma sob a qual supõe-se que os parasitas estejam distribuídos nos seus hospedeiros. O tamanho da carga de parasitas (intensidade da infecção) em um hospedeiro é o determinante central da dinâmica de transmissão de helmintos, bem como da morbidade causada por estes parasitas. Estudamos a dinâmica de parasitas helmintos de ciclo de vida direto para parasitas monóicos (hermafroditas) e também para parasitas dióicos (machos-fêmeas) poligâmicos, levando em consideração uma função acasalamento apropriada, sempre distribuídos de forma binomial negativa. Através de abordagens analítica e numérica, apresentamos a análise de estabilidade dos pontos de equilíbrio do sistema. Cálculos de prevalências, bem como de efeitos da aplicação de agentes quimioterápicos e da vacinação, no controle da transmissão e da morbidade de parasitas helmintos de ciclo de vida direto, também são apresentados neste trabalho.