Hyper-Automaton: avaliação interativa de alunos em cursos na WEB baseado em autômatos finitos

O objetivo desta dissertação é a elaboração de uma técnica da aplicação do formalismo de Autômatos Finitos com Saída (Máquina de Mealy e Máquina de Moore) como um modelo estrutural para a organização de hiperdocumentos instrucionais, em destacar especial, Avaliação e Exercício. Esse objetivo é motivado pela organização e agilização do processo de avaliação proporcionado ao professor e ao aluno. Existem diferentes técnicas de ensino utilizadas na Internet, algumas dessas continuam sendo projetadas com o uso de metodologias tradicionais de desenvolvimento, outras têm a capacidade de modelar de forma integrada e consistente alguns aspectos necessários para uma aplicação WEB. Para alcançar o objetivo proposto, foram realizadas pesquisas nas várias áreas abrangidas pelo tema em evidência, tanto relativo ao processo tradicional (aplicação de prova utilizando metodologia tradicional), como o desenvolvimento de software mediado por computador e uso da Internet em si. A modelagem de desenvolvimento para Internet deve integrar características de técnicas de projeto de sistemas de hipermídia devido à natureza hipertextual da Internet. O uso de hiperdocumento como autômatos com saída está na forma básica de representação de hipertexto, em que cada fragmento de informação é associado a um nodo ou a um link (estado/transições) do grafo. Sendo assim, os arcos direcionados representam relacionamentos entre os nodos ou links, ou seja, uma passagem do nodo origem para o nodo destino. As n-uplas dos autômatos apresentam uma correspondência as estruturas de hiperdocumentos na WEB, seu estado/transição inicial corresponde a sua primeira página e suas transições definidas na função programa, funcionam como ligações lógicas, quando selecionadas durante a navegação do hipertexto. Entretanto, faz-se necessário um levantamento dos modelos de hipertextos e das ferramentas de implementação disponíveis para a Internet, a fim de que seja capaz de suportar as peculiaridades do ambiente. Tudo isso deve ser integrado preferencialmente em um paradigma de desenvolvimento amplamente aceito, para que os projetistas não tenham muitas dificuldades em assimilar os conceitos propostos. A proposta apresentada nesta dissertação, batizada de Hyper-Automaton (hipertexto e autômato), consiste na integração de um Curso na WEB, utilizando formalismo de Autômatos Finitos com Saída para a modelagem dos conceitos necessários e definição das fases adequadas para completar a especificação de Sistema Exercício e Avaliação, bem como a especificação da Geração Automática dos Exercícios e Avaliações baseadas em autômatos para a WEB. Os modelos criados abrangem conceitos de Máquina de Mealy, Máquina de Moore e Aplicações de Hiperdocumentos e Ferramentas de Programação para Internet, os mesmos já testados em caso real. Os parâmetros apurados, nos testes, serviram a uma seqüência de etapas importantes para modelar e complementar a especificação do sistema projetado. Com os parâmetros e etapas de modelagem, a metodologia Hyper-Automaton consegue integrar, de forma consistente, as vantagens de várias técnicas específicas de modelagem de documentos e sistemas de hipermídia. Essas vantagens, aliadas ao suporte às ferramentas de desenvolvimento para Internet, garantem que a metodologia fique adequada para a modelagem de Sistemas com aplicação de métodos de autômatos para exercícios e avaliação na WEB.

Teste embarcado de conversores analógico-digitais

A confiabilidade de sistemas de processamento digital de sinais é, entre tantos fatores, diretamente proporcional à confiabilidade dos conversores analógico-digitais neles presentes para serem usados como interface com o mundo real. Este trabalho propõe um método novo de teste de conversores analógico-digitais baseado em ruído. O método proposto possibilita a detecção de falhas nos conversores em teste. Além disto, a técnica proposta é capaz de estimar simultaneamente características estáticas e dinâmicas tornando-se, portanto, inovador em relação aos demais métodos presentes na literatura. A proposta, a simulação e a implementação do método são apresentadas ao longo desta dissertação. A comparação dos resultados obtidos com um método padrão de teste de ADCs, o método do histograma, comprovam a eficácia do método.

Diretrizes e critérios de cobertura de teste a partir de especificações UML

As maiores dificuldades encontradas no teste de software estão relacionadas à definição dos dados de teste e a decisão de quando encerrar os testes. Uma das formas encontradas para minimizar tais dificuldades está centrada na utilização de critérios de cobertura. O principal objetivo dos critérios de cobertura é tornar o processo de testes mais rápido e preciso, fornecendo informações que determinem o que testar em um software para garantir sua qualidade. A modelagem é um dos elementos de maior importância nas atividades relacionadas ao desenvolvimento de software. Os modelos são construídos principalmente para melhor se entender o sistema, descrever a estrutura e comportamento desejados, visualizar a arquitetura e documentar as decisões tomadas durante o seu desenvolvimento. Atualmente, o sistema de notação mais utilizado para a modelagem de sistemas baseados nos conceitos de orientação a objetos é a Linguagem de Modelagem Unificada – UML [LAR 99]. Nesta notação, um sistema é descrito por um conjunto de diagramas que apresentam diferentes aspectos do sistema. As informações disponibilizadas por estes diagramas propiciam, já nas fases iniciais do desenvolvimento da aplicação (análise e projeto), o planejamento dos casos de teste e a definição de critérios de cobertura. Observa-se que nestas fases a maioria das informações necessárias para o teste já estão disponíveis, como por exemplo, a definição das classes com seus atributos, métodos e relacionamentos, a representação da interação existente entre objetos para a realização de um cenário e a descrição dos possíveis estados e transições de um objeto em resposta a eventos externos e internos. Este trabalho propõe um conjunto de diretrizes e critérios de cobertura de teste, tendo como base as especificações diagramáticas UML. As diretrizes estabelecem um conjunto de instruções para que o teste seja feito e os critérios de cobertura identificam os pontos principais e serem considerados durante o teste. Na definição das diretrizes e dos critérios foram avaliadas as informações disponibilizadas pelos diagramas de classes, seqüência, colaboração e estados.

Um modelo composto para realizar previsão de demanda através da integração da combinação de previsões e do ajuste baseado na opinião

Resumo não disponível.

O processo de tomada de decisão para o agendamento de consultas especializadas em centrais de regulação : proposta de um modelo baseado em análise multi-critério

A regulação de consultas especializadas tem se mostrado como uma das áreas mais problemáticas do Sistema Único de Saúde (SUS) no Brasil. Cabe aos gestores de saúde nos municípios, estados, e governo federal, estabelecerem mecanismos de regulação coerentes com o volume de recursos disponíveis e com o contingente populacional a atender. Diversas centrais de regulação para atendimentos especializados foram implantadas nas secretarias municipais de saúde e sistemas de informação foram criados como ferramentas para apoio a estas centrais. Seu escopo tem sido progressivamente ampliado, de maneira a incluir uma visão crítica das necessidades da população em relação à capacidade de atendimento dos prestadores de serviço. No processo de regulação de consultas especializadas, duas questões têm-se destacado: (1) para um dado caso, quais pacientes têm maior prioridade de atendimento, e (2) quais prestadores de serviço podem resolver melhor o caso? Fundamentado nestas duas questões, e a partir da consideração dos requisitos legitimados na área da assistência à saúde, este trabalho propõe um sistema para apoio à decisão de agendamento de consultas especializadas para servir às centrais de regulação. O sistema proposto integra análise de decisão multi-critério e programação linear para o agendamento das consultas, onde a alocação dos pacientes é definida em função da relevância relativa de um conjunto de critérios relacionados à noção de efetividade da assistência médica especializada e da capacidade de atendimento das unidades de assistência credenciadas. Da integração destes modelos resulta uma representação que leva em conta simultaneamente os aspectos relacionados ao diagnóstico médico e suas conseqüências na vida do paciente, os aspectos relacionados às instalações e processos disponíveis nas unidades assistenciais credenciadas, e os aspectos relacionados à dificuldade de acesso do paciente a estas unidades. O uso do sistema permite que as informações pessoais e médicas do paciente, assim como as informações sobre as unidades assistenciais, sejam incorporadas em um modelo de programação linear de maneira a maximizar a efetividade do conjunto de solicitações para cada especialidade. Os modelos foram implementados em um sistema informatizado, e aplicados em uma parcela dos serviços da Secretaria Municipal de Saúde de Porto Alegre para as especialidades de cardiologia e cirurgia vascular. O sistema e os resultados obtidos foram validados por um grupo de peritos, que confirmou a viabilidade do uso deste modelo como uma ferramenta para a otimização da alocação de recursos no atendimento especializado pelo SUS.

Desenvolvimento de um modelo de apoio à gestão para uma instituição de educação superior baseado em indicadores de desempenho

As últimas décadas apresentaram grandes desafios para a gestão das organizações em geral. A globalização e o acirramento da concorrência têm exposto as fragilidades dos modelos de gestão das empresas menos preparadas. No mercado da educação superior privada no Brasil não é diferente. Este setor tem experimentado forte expansão da oferta, decorrente da percepção das oportunidades de negócio nesta área. Neste contexto, a gestão de Instituições de Ensino Superior (IES) têm representado um desafio para seus administradores. As características destas organizações exigem a adaptação do modelo de gestão às características de um mercado fortemente concorrencial e regulado pelo Estado. O presente trabalho propõe um modelo de apoio à gestão para uma Instituição de Ensino Superior baseado em indicadores de desempenho com vistas a garantir que as estratégias e as ações que delas se desdobrarem estejam alinhadas com sua visão. Para tanto, partiu-se de uma revisão bibliográfica acerca do tema medição de desempenho. Com o estudo de caso buscou-se identificar o atual modelo de gestão da IES, por meio de pesquisas qualitativa e quantitativa. Com a pesquisa foi possível identificar as necessidades da instituição e cruzá-las com os modelos de medição de desempenho estudados. Nesta etapa foi possível relacionar teoria e prática e identificar com a metodologia do grupo focado o melhor modelo de medição de desempenho a ser sugerido como apoio a gestão da instituição. A partir desta etapa é sugerido um modelo de medição de desempenho, baseado no Balanced Scorecard. Foram criadas cinco perspectivas, os objetivos estratégicos e os indicadores de desempenho a eles vinculados. Os resultados obtidos demonstram o cumprimento do objetivo deste estudo, com a proposição das relações de causa-e-efeito entre os objetivos estratégicos e o Mapa Estratégico da Instituição, que permitem alinhar estes objetivos às estratégias definidas.

Teste em funcionamento de uma matriz de chaveamento

Este trabalho se insere na área de teste de sistemas de hardware. O alvo principal é o estudo do comportamento de um circuito roteador de canais telefônicos, parte integrante de um sistema de comunicação mais complexo, na presença de falhas. Neste contexto, o teste em funcionamento do referido circuito roteador é considerado. Na primeira parte deste trabalho são abordados aspectos do teste de circuitos e sistemas, do ponto de vista de sua aplicabilidade, tais como classificação, defeitos e modelos de falhas, simulação, geração de testes e projeto visando o teste. Na segunda parte, relata-se os estudos realizados para implementar o teste em funcionamento do circuito roteador. Nesta etapa são abordados a arquitetura, o modelo de falhas e a metodologia utilizada, os ensaios de detecção de falhas e as técnicas de tolerância a falhas adotadas. O projeto do circuito de chaveamento é apresentado em uma versão utilizando componentes discretos e outra utilizando dispositivos programáveis. Na conclusão deste trabalho são apresentados os resultados obtidos e as perspectivas para trabalhos futuros.

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.

Teste da rede de interconexões de field programmable analog arrays

Os dispositivos analógicos programáveis (FPAAs, do inglês, Field Programmable Analog Arrays), apesar de ainda não terem a mesma popularidade de seus pares digitais (FPGAs, do inglês, Field Programmable Gate Arrays), possuem uma gama de aplicações bastante ampla, que vai desde o condicionamento de sinais em sistemas de instrumentação, até o processamento de sinais de radiofreqüência (RF) em telecomunicações. Porém, ao mesmo tempo em que os FPAAs trouxeram um impressionante ganho na agilidade de concepção de circuitos analógicos, também trouxeram um conjunto de novos problemas relativos ao teste deste tipo de dispositivo. Os FPAAs podem ser divididos em duas partes fundamentais: seus blocos programáveis básicos (CABs, do inglês, Configurable Analog Blocks) e sua rede de interconexões. A rede de interconexões, por sua vez, pode ser dividida em duas partes: interconexões internas (locais e globais entre CABs) e interconexões externas (envolvendo células de I/O). Todas estas partes apresentam características estruturais e funcionais distintas, de forma que devem ser testadas separadamente, pois necessitam que se considerem modelos de falhas, configurações e estímulos de teste específicos para assegurar uma boa taxa de detecção de defeitos. Como trabalhos anteriores já estudaram o teste dos CABs, o foco desta dissertação está direcionado ao desenvolvimento de metodologias que se propõem a testar a rede de interconexões de FPAAs. Apesar das várias diferenças entre as redes de interconexões de FPGAs e FPAAs, muitas também são as semelhanças entre elas, sendo, portanto, indiscutível que o ponto de partida deste trabalho tenha que ser o estudo das muitas técnicas propostas para o teste de interconexões em FPGAs, para posterior adaptação ao caso dos FPAAs. Além disto, embora o seu foco não recaia sobre o teste de CABs, pretende-se utilizá-los como recursos internos do dispositivo passíveis de gerar sinais e analisar respostas de teste, propondo uma abordagem de auto-teste integrado de interconexões que reduza o custo relativo ao equipamento externo de teste. Eventualmente, estes mesmos recursos poderão também ser utilizados para diagnóstico das partes defeituosas. Neste trabalho, utiliza-se como veículo de experimentação um dispositivo específico (Anadigm AN10E40), mas pretende-se que as metodologias de teste propostas sejam abrangentes e possam ser facilmente adaptadas a outros FPAAs comerciais que apresentem redes de interconexão semelhantes.

Proposta de modelos de satisfação dos consumidores de serviços

A presente dissertação abordou a construção de modelos de satisfação dos consumidores para vários tipos de serviços, através da identificação dos determinantes da satisfação e respectivas relações causais. Para conduzir o estudo, foi selecionada uma tipologia de serviços e escolhidas organizações caracterizadas dentro dos quatro tipos de serviços selecionados. Foram definidos os determinantes a serem incluídos nos modelos baseado no referencial teórico sobre satisfação do consumidor. Os modelos de causa e efeito para a satisfação do consumidor dos serviços avaliados (restaurante à la carte, escola de línguas, tele-entrega e estação de rádio) foram construídos a partir de pesquisa a clientes destes tipos de serviço e foram validados tecnicamente através de entrevistas às organizações escolhidas. Uma vez comparados os modelos obtidos, constatou-se que existem diferenças significativas entre eles, em função das características particulares de cada tipo de serviço, descartando-se a possibilidade de um modelo único adaptar-se ao comportamento dos quatro tipos de serviços. A comparação com os modelos apresentados na literatura revelou que não existe nenhum modelo que se ajuste aos modelos obtidos para cada tipo de serviço, encontrando-se algumas convergências e outras divergências no que concerne aos determinantes e suas relações causais.

Consolidação de componentes de modelos de negócios para o comércio eletrônico de produtos virtuais

A internet tem provocado mudanças significativas em processos de compra, venda e troca de bens e serviços entre empresas e clientes. Uma das áreas mais afetadas pela internet é o comércio: têm-se novos produtos, processos e relações entre os atores. Esta pesquisa tem como tema os modelos de negócios de empresas que comercializam virtualmente produtos virtuais, ou seja, produtos ou serviços que podem ser divulgados, vendidos, pagos, entregues ou utilizados pela internet. O foco da pesquisa são os modelos de negócios. Um modelo de negócios pode ser definido como um sumário lógico da criação de valor de uma organização ou uma rede de empresas, incluindo suposições sobre seus parceiros, competidores e clientes, cuja importância consiste em identificar e analisar papéis, funções, recursos e habilidades necessários para manter uma empresa atuante e sustentável. O contexto de aplicação é a indústria de software, mais especificamente o Application Solution Provider, um produto virtual baseado em software, que consiste em hospedagem e gerenciamento remoto de soluções em sistemas de informação. Os elementos motivadores da pesquisa advém da pesquisa de Kauffman e Walden (2001), que indica a necessidade do estudo dos produtos virtuais, devido ao potencial de crescimento destes. Os autores também sugerem pesquisas que busquem compreender como os modelos de negócio estão sendo modificados pela (e para a) internet, formulando uma base de modelos de negócios para comércio eletrônico que possa oferecer às empresas que o utilizarem uma vantagem competitiva sustentável. Tendo em vista a delimitação de tema, foco e contexto apresentados, a questão de pesquisa consiste em estudar quais são os componentes de modelos de negócios e como se manifestam em uma empresa que comercializa eletronicamente produtos virtuais. O objetivo do trabalho é consolidar os componentes de modelos de negócios e compreender como estes se manifestam em uma empresa que comercializa eletronicamente produtos virtuais. O objetivo do trabalho é consolidar os componentes de modelos de negócios e compreender como estes se manifestam em uma empresa que comercializa eletronicamente produtos virtuais. Em relação aos procedimentos metodológicos, realizou-se análise de documentos, entrevistas com especialistas e estudo de caso. A análise de documentos teve o intuito de criar um conjunto de componentes de modelos de negócios baseado na teoria (artigos sobre o tema). Este conjunto de componentes foi apreciado por um grupo de especialistas. A partir da análise do roteiro de componentes os especialistas sugeriram unir, desmembrar, excluir, alterar ou manter inalterado cada um dos componentes. O roteiro consolidado após a opinião dos especialistas foi aplicado em um caso prático – um produto virtual comercializado eletronicamente – visando verificar a consistência e adequação do roteiro de componentes. O resultado deste trabalho – um conjunto de componentes de modelos de negócios – potencialmente pode ser útil a empresas que comercializam eletronicamente seus produtos, seja para definir um modelo de negócios adequado à sua atividade, seja para orientar, diagnosticar e compreender um modelo de negócios que já esteja em atividade.

Modelagem numérica aplicada aos fenômenos de escoamento e mistura em modelos físicos de panelas de aciaria

Esse trabalho tem por objetivo geral o desenvolvimento de uma metodologia de modelagem numérica que represente o escoamento e o fenômeno de mistura em um modelo físico de panela de aciaria de base elíptica. Os objetivos específicos do trabalho são: o estudo dos coeficientes das forças de interação líquido-bolha, dos modelos de turbulência e da mudança do formato da base da panela de circular para elíptica. O escoamento e o fenômeno de mistura foram calculados através do método de Volume Finitos baseado em Elementos por meio do software CFX5.7 da Ansys. Dados da literatura e ensaios em modelo físico, realizados em laboratório, auxiliaram na validação dos modelos numéricos. O estudo dos coeficientes das forças de não-arrasto mostrou que os resultados da distribuição de ar ao longo da altura do banho mudam com a variação dos coeficientes. No final, coeficientes para 3 configurações de panelas em diferentes vazões de ar foram encontrados. Com relação ao estudo dos modelos de turbulência, observou-se que para a solução do escoamento e do fenômeno de mistura em uma panela de base circular, o k-ε é o modelo de turbulência mais indicado. Por outro lado, para uma panela de base elíptica, o modelo RSM mostrou-se o mais adequado. Finalmente, com relação ao estudo da mudança do formato da base da panela, observou-se que os tempos de mistura de uma panela de base elíptica são maiores que uma de base circular e aumentam à medida que a vazão de ar diminui.

Estudos dos alcalóides β-carbolínicos em diferentes modelos biológicos

Os alcalóides β-carbolínicos possuem uma ampla distribuição, sendo encontrados em várias famílias de plantas, além de estarem presentes na fumaça do cigarro, bebidas alcoólicas, alimentos excessivamente cozidos e em mamíferos. Estes alcalóides são conhecidos por apresentarem várias ações farmacológicas sobre os sistemas nervoso central, muscular e cardiovascular, causando alucinações, tremores, convulsões, hipotensão e bradicardia. Possuem também atividade antioxidante e imunossupressora, além de ligarem-se a receptores de serotonina, dopamina, benzodiazepina; são também inibidores das enzimas monoamino-oxidase-A (MAO-A) e DNA topoisomerases. Os objetivos do presente estudo foram avaliar os possíveis efeitos antioxidantes, antimutagênicos, antigenotóxicos e neurocomportamentais dos alcalóides β-carbolínicos: harmano, harmina, harmol, harmalol e harmalina, utilizando teste de sensibilidade e antimutagênese em Saccharomyces cerevisiae, ensaio cometa em cultura de células de pulmão de hâmster chinês (V79) e avaliação do comportamento, através da tarefa de reconhecimento de novo objeto, em camundongos, respectivamente. Em testes de sensibilidade, todos os alcalóides protegeram as linhagens deficientes em sistemas de defesa antioxidante de S. cerevisiae contra danos induzidos pelos oxidantes H2O2 e paraquat. De maneira geral, os alcalóides β-carbolínicos protegeram mais as células dos danos gerados pelo H2O2 e o aumento da viabilidade foi mais significativo para as linhagens sod1Δ, sod2Δ e sod1Δsod2Δ. Também, possivelmente por uma ação seqüestradora de espécies reativas de oxigênio, os alcalóides β-carbolínicos mostraram forte atividade contra danos no DNA induzidos pelo H2O2, no teste de antimutagênese com a linhagem N123 de S. cerevisae e no teste de antigenotoxicidade, utilizando o ensaio cometa com células V79. As dihidro-β-carbolinas harmalina e harmalol mostraram um efeito mais pronunciado que as β-carbolinas nos ensaios citados acima. Quanto à avaliação dos efeitos neurocomportamentais em camundongos, a administração sistêmica dos alcalóides β-carbolínicos facilitou a formação de memória de curta duração, no caso da harmina, harmol e harmalina e, também a memória de longa duração (harmalina) em camundongos, verificada com uso da tarefa de reconhecimento de novo objeto.

Um modelo baseado em agentes para a análise da governança regulamentar do sistema financeiro

As pesquisas sobre governança no sistema financeiro contribuem significativamente para a análise dos diversos elementos que influenciam a performance nesse setor. No entanto, estudos empíricos nessa área ainda são limitados. Um dos motivos é a complexidade inerente à noção de governança na área pública. Da mesma forma que os sistemas complexos, a governança pode ser descrita como um sistema que abrange um grande número de entidades interdependentes entre si, com diferentes graus de relacionamentos. Neste trabalho de pesquisa, o significado de governança regulamentar do SFN se insere nesse escopo de entendimento, isto é, a governança como um fenômeno que resulta das diversas interações existentes entre os atores que influenciam ou são influenciados pelas atividades de regulação do setor financeiro. Em função das especificidades dos sistemas complexos, desenvolve-se e implementa-se um modelo baseado em agentes para a análise da governança regulamentar do SFN mediante experimentos de simulação. Os modelos baseados em agentes possibilitam explicitar aspectos relativos às interações e comportamentos dos agentes (nível micro), ou seja, os comportamentos não-lineares do sistema, que são difíceis de serem capturados com outros formalismos matemáticos. O modelo baseado em agentes é integrado a um modelo econométrico que tem como função caracterizar o ambiente macro-econômico. O ambiente micro é modelado por intermédio de agentes computacionais, com o uso da arquitetura BDI (do inglês, beliefs-desires-intentions). Esses agentes interagem entre si e com o ambiente, possuem crenças sobre o meio onde atuam e desejos que querem satisfazer, levando-os a formar intenções para agir. O comportamento dos agentes foi modelado utilizando-se lógica difusa (fuzzy logic), com o uso de regras construídas por intermédio de pesquisa de análise de conteúdo, a partir de informações coletadas em notícias de jornais, e entrevistas semiestruturadas com especialistasda área financeira. Os resultados dos experimentos demonstram o potencial da simulação dos modelos baseados em agentes para a realização de estudos de ambientes complexos de governança regulamentar.

Efeitos do composto 3'3-ditrifluormetildifenil disseleneto em diferentes modelos biológicos

O 3’3-ditrifluormetildifenil disseleneto (DFDD) é um composto organoselenado análogo ao disseleneto de difenila (DPDS). No entanto, diferentemente do DPDS, maiores estudos em relação às atividades biológicas do DFDD ainda permanecem escassos na literatura. Com o objetivo de ampliar o conhecimento dos efeitos biológicos do DFDD, nesse estudo investigou-se a interferência desta molécula no neurocomportamento em camundongos. Além disso, as atividades genotóxicas deste organoselenado em linhagens de Salmonella typhimurium, Saccharomyces cerevisiae e em células de mamíferos em cultura (células V79) também foram avaliadas. Nos ensaios neurocomportamentais em camundongos, o DFDD apresentou uma interessante atividade bloqueadora da estereotipia induzida por apomorfina, que é um modelo animal de esquizofrenia, sem agir sobre outros parâmetros importantes como a memória, ansiedade, exploração e locomoção detectados nas tarefas de esquiva inibitória, campo aberto e habituação a um novo ambiente. Demonstrou-se também neste trabalho que o DFDD não foi mutagênico no Teste Salmonella/microssoma tanto na presença quanto na ausência de ativação metabólica. Entretanto, em linhagens de S. cerevisiae, o DFDD induziu mutações “forward” e reversa, porém lócus não-específico. Diferentemente do seu análogo estrutural DPDS, o DFDD não foi capaz de induzir mutações “frameshift” em S. typhimurium ou S. cerevisiae mesmo quando as linhagens foram tratadas em condições de crescimento. Deste modo, sugere-se que o DFDD não é capaz de se intercalar entre as bases do DNA e que, possivelmente, este efeito seja provocado por um impedimento alostérico causado pelos grupamentos CF3 presentes neste organoselenado. Além disso, o DFDD mostrou-se um fraco agente citotóxico e genotóxico em S. cerevisiae e células V79. Por outro lado, como foi demonstrado no Teste Salmonella/microssoma, o DFDD apresentou um efeito protetor contra a mutagenicidade induzida por peróxido de hidrogênio. De maneira interessante, utilizando um ensaio in vitro, mostrou-se que o DFDD possui uma atividade “catalase-like” até o momento não apresentada por nenhum outro composto organoselenado. No presente trabalho tornou-se evidente também que o DFDD atua de maneira distinta do seu análogo DPDS em vários modelos experimentais e que, provavelmente, os grupamentos CF3 presentes no DFDD sejam de fundamental importância para as interessantes atividades demonstradas por este disseleneto.