RCAAP Repository

CAPES

Lectinas são proteínas ou glicoproteínas de origem não imune cuja ligação reversível e específica a carboidratos resulta em aglutinação celular. Estas proteínas, presentes em plantas, bactérias, invertebrados ou vertebrados, são detectadas por ensaio de hemaglutinação. Crataeva tapia L. pertence à família Capparaceae. Uma lectina de entrecasca de C. tapia, CrataBL, foi purificada à homogeneidade através de fracionamento com sulfato de amônio (Fração 30- 60%), seguida por cromatografia de afinidade (gel de guar) ou troca iônica (CMCelulose). CrataBL foi ativa com eritrócitos de humanos, galinha e coelho (atividade hemaglutinante específica, AHE, 102) e principalmente inibida por glicoproteínas. CrataBL foi termoestável e tratamento com EDTA não afetou a atividade hemaglutinante (AH); atividade não foi alterada após adição de Ca2+, Mn2+, Mg2+. CrataBL migrou como uma única banda após eletroforese para proteínas nativas básicas e duas bandas polipeptídicas de massa molecular 21 e 40.000 Da após SDS-PAGE com ou sem agente redutor; os polipeptídeos foram também detectados sob o gel usando reagente para glicoproteína. A natureza glicoprotéica de CrataBL foi também revelada por sua interação com lectina glicose/manose sob gel de agarose. A massa molecular da lectina por cromatografia de gel filtração foi de 52.000 Da. CrataBL imobilizada em Sepharose CL-4B adsorveu bioseletivamente e purificou caseína, fetuína e ovoalbumina

Face ao seu exotismo e diversidade, a família Bromeliaceae está entre as mais admiráveis da flora neotropical. Embora existam contagens cromossômicas para cerca de 200 espécies (10% dos membros do grupo), poucas são as análises cariológicas prévias agregando informações citogenéticas adicionais, como morfologia cromossômica, caracterização de núcleos interfásicos, dos padrões de condensação cromossômica, ou técnicas de bandeamento. Do ponto de vista molecular, a maioria das inferências têm ocorrido em nível macrotaxonômico, com base na análise de seqüências nucleares e extra-nucleares, havendo poucas análises em nível infragenérico e interespecífico com marcadores moleculares. O presente estudo fornece novas evidências citogenéticas para 73 espécies, dentre as quais 48 espécies e nove gêneros analisados pela primeira vez. Os resultados apontam para uma relativa conservação quanto ao padrão de condensação (proximal em todas as espécies analisadas) e ao principal tipo de núcleo interfásico (semi-reticulado), embora existam diferenças perceptíveis na forma e distribuição dos cromocentros. A maioria das espécies apresenta cromossomos diminutos, havendo uma tendência à bimodalidade em alguns taxa analisados. Para as espécies Aechmea aquilega (Salisbury) Grisebach, A. bromelifolia (Rudge) Baker, Ananas comosus L. Merrill, A. nanus L.B.Smith, Greigia sphacelata (Ruiz & Pavon) Regel, Ochagavia litoralis (Phil.) Zizka, Trumpler & Zoellner, Puya coerulea Lindley e Tillandsia bourgarei Baker, foram efetuadas análises com os fluorocromos CMA/DAPI, revelando predominância de heterocromatina CMA+/DAPI- rica em GC (Guanina-Citosina) associada às RONs (regiões organizadoras de nucléolos). A coloração com nitrato de prata também foi aplicada, revelando um ou dois pares portadores de RONs nas espécies analisadas. As análises de AFLP (Amplified Fragment Length Polymorphism ou Polimorfismos de Tamanho de Fragmentos Amplificados), aplicadas a 40 entidades taxonômicas do subgênero Ortgiesia do gênero Aechmea Ruiz & Pav. revelaram um clado basal incluindo espécies do complexo A. candida-A.coelestrix (composto de cinco genótipos relacionados), a partir do qual as demais provavelmente derivaram, emergindo em três ramos adicionais distintos e parcialmente consistentes com as características fitogeográficas e taxonômicas conhecidas. Os resultados gerados, especialmente aqueles relacionados às espécies de classificação controversa, são discutidos no trabalho

Conselho Nacional de Desenvolvimento Científico e Tecnológico

Faculdade de Amparo à Ciência e Tecnologia do Estado de Pernambuco

Atualmente os Sistemas Gerenciadores de Bancos de Dados (SGBD) possuem grande capacidade de armazenar desde os dados obtidos pelos sistemas transacionais até as informações sintetizadas pelos sistemas de tomada de decisão. Nesse contexto, tanto a busca pela informação quanto as rotinas de manutenção deste ambiente requerem um esforço maior por parte dos administradores de bancos de dados (ABD) e a criação de rotinas e mecanismos que automatizem as tarefas de administração e gerenciamento. A aplicação dos conceitos de auto-configuração, auto-otimização, auto-recuperação e autoproteção, utilizados pela área de computação autônoma, passaram a ser aplicados aos SGBD dando origem a um novo conceito denominado Sistemas Autônomos de Gerenciamento de Bancos de Dados (SAGBD) permitindo automatizar tarefas de detecção e correção de falhas que até então dependiam de interação humana intensa por parte dos ABD. Este trabalho tem o objetivo de aprimorar os mecanismos de identificação e solução de erros no domínio de Sistemas Autônomos de Gerenciamento de Banco de Dados. Para isso propõe-se conceitualizar o domínio de problemas em SGBD e das tarefas do ABD, formalizar os modelos conceituais destas ontologias e implementar rotinas de comunicação entre agentes de software que atuem nesse ambiente. A criação do sistema que utiliza agentes de software e ontologias recebeu o nome de OntoSitter

Faculdade de Amparo à Ciência e Tecnologia do Estado de Pernambuco

FACEPE

CNPQ

Neste trabalho foram desenvolvidos e otimizados métodos diagnósticos para dois agentes patogênicos com uma alta incidência no Brasil e cujos diagnósticos se baseiam principalmente em métodos invasivos como são o Helicobacter pylori e Leishmania chagasi (L. chagasi). A bactéria gram (-) Helicobacter pylori e a principal causa de ulcera péptica e gastrite maligna no mundo. Seu diagnostico e realizado preferencialmente por meio de endoscopia e biopsia de tecido gástrico. A bactéria e eliminada pelas fezes o que permitiria um diagnostico não invasivo e de controle de cura se implementar PCR de amostras de pacientes antes e durante o tratamento de doença. Não entanto as fezes possuem uma serie de inibidores o que tem dificultado o desenvolvimento de métodos de PCR para seu diagnostico. Aqui comparamos métodos de obtenção de DNA de fezes baseados em fervura das amostras descritos anteriormente por Holland (2000), com método de Lise Alcalina , modificado com o uso de Triton X-100 melhorando a obtenção de DNA eliminando a presencia de inibidores. Posteriormente DNAs provenientes de amostras de fezes de 10 pacientes foram utilizados em reações de PCR com alvos específicos descritos anteriormente para Helicobacter pylori (urec, RNAr e vac); 5 das amostras amplificaram de maneira especifica concordando com o diagnostico Giemsa (+) de biopsia de tecido gástrico de pacientes com dispepsia. L. chagasi, protozoário responsável de causar a leishmanioses visceral, no Brasil apresenta uma alta incidência e ampla distribuição, com formas graves e letais quando associada a quadros de ma nutrição e infecções concomitantes. O diagnostico e realizado principalmente por punção aspirativa de baço, fígado, medula óssea ou linfonodos permitindo a visualização do parasita no material. No presente trabalho desenvolvemos PCR simples usando diferentes DNAs parasitários de tripanosomatideos e oligonucleotideos PIA 3 e DEB 8 específicos para L. chagasi.. Os dois pares de oligonucleotideos resultaram serem específicos para L.chagasi, sendo a sensibilidade de 10 pg para PIA3 e de 1 pg para DEB8. Com o objetivo de diferenciar o diagnostico de Leishmaniose visceral e Leishmanioses tegumentar foi desenvolvida PCR múltipla utilizando alvos específicos para leishmania subgênero Viannia, denominados LV1 junto com os alvos específicos para L. chagasi . Os 4 oligonucleotideos não competeram entre sim na reação e mantiveram a especificidade e sensibilidade das PCR simples. Posteriormente um analise de bioinformática dos bancos de dados dos genes de Tripanosomatideos do portal GeneDB do Sanger Centre foi realizado na procura de um gene órfão de L. infantum para ser usado no diagnostico de L chagasi. 7.078 proteinas hipotéticas de L. infantum, foram comparados com 11.812 de T cruzi, 7557 de T brucei e 5.364 de L major. Através das ferramentas omni blast e Protogim, conseguimos seleccionar 93 proteinas hipotéticas de L infantum. Por critérios de tamanho, localização celular e outros, 5 putativos alvos foram escolhidos para serem testados in vitro. O gene Linj 20074, resultou ser altamente especifico e com sensibilidade de 1pg. Genes órfãos se apresentam como promissores alternativas para diagnostico ou alvo quimioterapicos em doenças parasitarias

CAPES

CAPES

Suporte à decisão é um campo da Tecnologia da Informação que objetiva ajudar a entender o comportamento dos dados do negócio de uma organização. Data Warehouse (DW), On- Line Analytical Processing (OLAP) e Sistemas de Informações Geográficas (SIG) são ferramentas para prover suporte à tomada de decisão. Destas tecnologias, as duas primeiras se caracterizam por serem voltadas para processamento multidimensional, enquanto a última é uma categoria de software específica para processamento geográfico. A integração destas ferramentas permite que os SIG examinem geograficamente os dados das ferramentas de DW e OLAP, e por outro lado, possibilita que estas cruzem e investiguem os dados geográficos sob diferentes níveis de detalhes. Muitos trabalhos têm objetivado realizar processamento multidimensional e geográfico. Porém, a maioria destes aplica tecnologias que não são independentes de plataforma, não reusa o legado das ferramentas OLAP e SIG ou define estruturas/tipos de dados que não são disponibilizados pela maioria das ferramentas comerciais. Visando contribuir para a realização desta integração, este trabalho define a seguinte infraestrutura: uma arquitetura de software que favoreça o reuso do legado de OLAP e SIG e seja baseada no uso de DW Geográfico e metadados - Geographical Online Analytical Processing Architecture (GOLAPA); um arcabouço para guiar a definição do projeto de um esquema para um DW geográfico - Geographical Data Warehouse Framework (GeoDWFrame); um metamodelo para aplicações que objetivam realizar consultas analíticas e geográficas - Geographical Analytical Metamodel (GAM); um esquema abstrato que orienta, em alto nível, como pode ser feita a integração entre os metadados geográficos de GAM e os metadados multidimensionais do padrão OLAP de CWM - Geographical Multidimensional (GeoMD); um metamodelo que define como os metadados anteriores podem ser semanticamente integrados - Geographical Multidimensional Metamodel (GeoMDM); e por fim, um esquema XML para integrar e trocar dados e metadados multidimensionais e/ou geográficos que a priori estão em esquemas XML distintos - Geography Markup Language for Analysis (GMLA). Ressalta- se que esta infra-estrutura é baseada em especificações padrões e foi validada experimentalmente através do desenvolvimento de um estudo de caso que utiliza tecnologias abertas e extensíveis e é voltado para integração de serviços multidimensionais e geográficos na Web

Liposomas são vesículas formadas por fosfolipídios, adicionados ou não de colesterol e lipídios com carga, que encapsulam um compartimento aquoso. Os lipossomas podem carrear fármacos hidrofílicos e hidrofóbicos. Uma variedade de polissacarídeos de diversas origens têm a habilidade de potencializar o sistema imune, comportando-se como imunomoduladores e farmacologicamente são classificados como modificadores de resposta biológica (MRB). O objetivo do presente trabalho consistiu em encapsular a o derivado sulfatado de Ramalina celastri (α-glucana-SO4) em lipossomas convencionais e avaliar a sua ação antihelmíntica em sua forma livre e encapsulada sobre a infecção experimental pelo Schistosoma mansoni. Os lipossomas foram preparados pelo método de hidratação do filme lipídico, cujos constituintes foram fosfatidilcolina de soja, colesterol e estearilamina (7:2:1) contendo α-Glucana-SO4 (2 mg/ml). As formulações lipossomais foram submetidas a testes de estabilidade acelerada (centrifugação 3000 rpm durante 1h; estresse mecânico, 150 strokes, 48 h) e a longo prazo (ciclo gelo/degelo durante 16 h a - 18°C e 8 h a 25°C ± 1°C). As preparações foram observadas macro e microscopicamente antes e após cada teste. Nos ensaios in vivo , foram utilizados camundongos fêmeas, albino Swiss (25±2 g, idade 30-40 dias), divididos em 4 grupos: G1- tratados com α- Glucana-SO4 livre, G2- controle NaCl 150mM, G3- tratados com α-Glucana-SO4 encapsulada em lipossomas e G4- lipossomas vazios. Os animais foram tratados 24 horas após a infecção, sacrificados e perfundidos após 56 dias da infecção. Os parâmetros avaliados foram: excreção de ovos, número de vermes recuperados do sistema portahepático- mesentérico, número de granulomas hepáticos e intestinais além do padrão de marcação com lectinas nestes órgãos. Foi obtido uma taxa de encapsulação de 50% e observou-se um leve decaimento de pH (7,4 a 6,8) dos lipossomas em suspensão, ao longo de 180 dias. Os lipossomas obtidos apresentaram-se estáveis quanto aos testes de estabilidade acelerada e a longo prazo. As formulações lipossomais na forma liofilizada apresentaram-se estáveis após 60 dias. O grupo tratado com α-Glucana-SO4 livre reduziu 90,1% na eliminação de ovos nas fezes e, em 80%, os vermes totais em relação ao grupo controle. Esses resultados foram estatisticamente iguais aos obtidos com a α-Glucana-SO4 encapsulada. Em ambos os parâmetros (ovos excretados e vermes recuperados), o grupo lipossomas vazios apresentou efeito sobre a parasitose. Com relação ao número de granulomas hepáticos, os dois tratamentos foram eficazes reduzindo em 62% e 63%, respectivamente, em relação aos controles. Foram encontrados raros granulomas intestinais em todos os grupos, o que já era esperado pelo próprio perfil da parasitose. Quanto ao padrão de marcação com lectinas, a Con A marcou o sistema ovo-granuloma no grupo α- Glucana-SO4 livre e encapsulada e não foi verificada esta marcação no grupo NaCl 150 mM e lipossomas vazios. Já a lectina WGA marcou o sistema ovo-granuloma em todos os grupos. Pelo exposto constata-se a atividade biológica da α-Glucana-SO4 e que a encapsulação neste tipo de lipossoma e nestas condições experimentais causaram o mesmo efeito do polissacarídeo livre

CNPQ

O aumento da demanda de soluções que aperfeiçoem os serviços oferecidos pelo governo à sociedade de maneira ágil e econômica, faz com que cresça o número de atividades críticas de TI (tecnologia da informação) que precisam ser gerenciadas. Logo, é um desafio para as organizações controlar estes processos de forma que sejam priorizadas e adequadamente gerenciadas as atividades que podem causar algum tipo de prejuízo. Nesse sentido, existem modelos de gestão de riscos que possibilitam um gerenciamento equilibrado dessas demandas levando em consideração as necessidades de cada organização. A implantação destes modelos é um grande desafio, pois em geral eles auxiliam a gestão de riscos apresentando “o que” e não “como” fazer. Assim, esta dissertação tem como objetivo propor um guia para apoiar a implantação da norma ISO 31000 (ABNT, 2009) para gerenciar riscos em processos de TI. Para a escolha dessa norma como referência desta pesquisa, foram comparados três modelos de gestão de riscos e sua relevância alcançou melhores resultados para proposta deste trabalho. Um estudo de caso foi realizado em uma organização pública com experiência na gestão de riscos corporativas. Ele teve a finalidade de identificar objetivos e características que um guia precisa satisfazer para apoiar a implantação de um modelo para gestão de riscos em processos de TI. Para obter tais informações, foram realizados grupos focais e entrevistas com especialistas da área gestão de riscos corporativa e de TI. A partir dos resultados do estudo, foi proposto um guia dividido em seis fases e duas atividades com exemplos práticos, para facilitar seu entendimento e aplicação. A avaliação do guia foi realizada por meio de uma pesquisa survey de natureza qualitativa, com a participação de sete gestores com formação em TI. Como resultado da avaliação do guia, constatou-se que o guia proposto contribui para apoiar a implantação de um modelo para gestão de riscos em processos de TI em organizações públicas, baseado em uma norma específica para este contexto.

Robots are increasingly being used in industry and starting their way to our homes as well. Nonetheless, the most frequently used techniques to analyze robots motion are based on simulations or statistical experiments made from filming robots’ movements. In this work we propose an alternative way of performing such analysis by using Probabilistic Model Checking with the language and tool PRISM. With PRISM we can perform simulations as well as check exhaustively whether a robot motion planning satisfies specific Probabilistic Temporal formulas. Therefore we can measure energy consumption, time to complete missions, etc., and all of these in terms of specific motion planning algorithms. As consequence we can also determine if an algorithm is superior to another in certain metrics. Furthermore, to ease the use of our work, we hide the PRISM syntax by proposing a more user-friendly DSL. As a consequence, we created a translator from the DSL to PRISM by implementing the translation rules and also, a preliminary investigation about its relative completeness by using the grammatical elements generation tool LGen. We illustrate those ideas with motion planning algorithms for home cleaning robots.

Program synthesis aims to automate the task of programming. Through program synthesis it is possible to let the programmer free to care about the description (specification) of the problem to be solved by the program under development, reducing human interaction with coding tasks. Automating new algorithms creation and transferring responsibility for writing code are some of the benefits propitiated by program synthesis. In this work, program synthesis is presented as an Alloy* specification for an imperative language. We synthesize programs described by pre and post-conditions (contracts) written using a Domain Specific Language proposed in this work. We embed the syntax and the denotational semantics of Winskel’s imperative language in Alloy*. Alloy* has proven to be an easy and productive way of building program synthesizers. Our experiments show that synthesis based on Alloy* is competitive once contracts, scopes and, if needed, sketches, are correctly chosen. As a consequence, our Alloy* program synthesizer can provide, in a single high-level framework, different features in comparison to other synthesizers: (i) synthesis based on scope; (ii) synthesis based on sketches; and (iii) verification. We introduce our Domain Specific Language for contracts and present a detailed description on the synthesis of the swap problem, the product of two numbers, the maximum of 2 and of 3 numbers, and the greatest common divisor. Another contribution of this work is a source code generator, using the programming language C#, of the algorithms created by our synthesizer.

Atualmente, com o crescimento da área de inteligência artificial e devido à necessidade do estudo das redes sociais no mundo virtual, ficou em evidência a importância da análise dessas redes. Existem vários tipos de problemas que podem ser levantados nesse sentido, entre eles, o problema de Predição de Links dentro de uma rede social, tarefa associada à Análise de Redes Sociais. Atualmente as abordagens buscam observar algum tipo de padrão na rede, sendo esses padrões estruturais, de similaridades entre os indivíduos, estatísticos, até modelos mais complexos, como padrões temporais. Este trabalho tem como objetivo propor uma nova metodologia temporal, chamada de Predição Temporal de Links baseada na Evolução de Tríades, de modo a prover uma solução mais satisfatória e computacionalmente viável para o problema de Predição de Links. Para isto, foi criado um novo modelo temporal de dados, chamado de Tensor de Transições de Tríades, que serve de base para o cálculo de modelos de predição temporal estatística de séries temporais. Este modelo foi concebido a partir da análise das principais abordagens vistas na literatura e identificação das suas vantagens e limitações. Os resultados obtidos mostraram que, em relação às abordagens de trabalhos relacionados, houve uma considerável melhora na qualidade da predição ao utilizar o modelo criado.

Os ambientes de trabalho de campo possuem diversas restrições, como falta de infraestrutura e dispositivos de baixa capacidade. Trabalhos atuais sobre redes ad hoc e computação pervasiva deixam de considerar diversos aspectos que poderiam melhorar os ambientes de campo. Este trabalho de tese descreve uma arquitetura composta de serviços e um protocolo projetados para dar suporte aos requisitos do trabalho de campo. Os serviços foram projetados para dar suporte aos diversos tipos de dispositivos, com diversos padrões de mobilidade. Os dados de roteamento dentro da área de trabalho consideram aspectos dos tipos dos dispositivos, indicando ao serviço de adaptação de conteúdo os tipos de nós do ambiente. O uso de uma estratégia de atualização de informações de localização física também reduz a carga de dados que é transmitida no ambiente. Também é apresentado um protocolo de roteamento que usa informações de localização física de diversas formas. Essas informações podem gerar sub-áreas de trabalho, limitando o escopo das mensagens que trafegam na rede, sendo utilizadas apenas pelos trabalhadores de uma área. Também permitem a troca de dados entre diferentes locais, através do uso de nós que controlam a borda das áreas de trabalho. O conhecimento dos nós vizinhos permite o roteamento por localização e a troca de informações somente entre os nós próximos. Estas contribuições podem também ser utilizadas por outros sistemas de computação pervasiva que tenham interesse em melhorar seu desempenho