Um verificador seguro de integridade de arquivos

Este trabalho apresenta um modelo de mecanismo para o controle de integridade de arquivos em sistemas operacionais, com a capacidade de bloquear o acesso à arquivos inválidos de forma a conter os danos causados por possíveis ataques. O modelo foi inicialmente formulado a partir do estudo detalhado do processo de controle de integridade, revelando diversos pontos críticos de segurança nele existentes, e da avaliação dos mecanismos atualmente implementados nos sistemas operacionais que oferecem, mesmo que indiretamente, algum tipo de garantia de integridade dos arquivos do sistema. Durante o seu desenvolvimento, a segurança do próprio modelo foi detalhadamente analisada de forma a enumerar os seus pontos críticos e possíveis soluções a serem empregadas, resultando na definição dos requisitos mínimos de segurança que devem ser encontrados nesse tipo de mecanismo. Em seguida, visando a validação do modelo especificado e decorrente disponibilização do mecanismo para uso prático e em estudos futuros, um protótipo foi implementado no sistema operacional GNU/Linux. Procurando confirmar a sua viabilidade, foram realizadas análises do impacto causado sobre o desempenho do sistema. Por fim, foi confirmada a importância e viabilidade do emprego do modelo apresentado como mecanismo adicional de segurança em sistemas operacionais. Além disso, foi colocado em evidência um campo de pesquisa ainda pouco explorado e portanto atrativo para a realização de novos estudos.

Classificação e especificação de restrições de integridade em bancos de dados temporais de versões

Um Sistema gerenciador de Bancos de Dados (SGBD) possui como principal característica a capacidade de gerenciar bases de dados que representam parte do mundo real. Para que essa representação seja fiel, os dados presentes em uma base de dados devem obedecer a diversas regras conhecidas como restrições de integridade. Estas podem ser provenientes da realidade modelada, da implementação ou do modelo de dados utilizado. O suporte oferecido por sistemas gerenciadores de bancos de dados tradicionais não é suficientemente adequado a certas aplicações com necessidades que vão além das convencionais. Diversas aplicações necessitam armazenar dados históricos em conjunto com seus períodos de validade. Outras precisam armazenar versões de conjuntos de dados, gerenciando suas agregações e formas de representação. Através do suporte aos conceitos de tempo e de versão, provido por um SGBD, grande parte dessas necessidades é suprida. Este tipo de banco de dados usa o conceito de tempo para armazenar e controlar dados históricos enquanto o conceito de versão permite a gerência de alternativas de projeto. Existem atualmente diversos trabalhos e implementações relacionados à manutenção de restrições de integridade sobre bancos de dados tradicionais. Entretanto, restrições que consideram a gerência de tempo e de versões sobre dados ainda representam uma área de pesquisa praticamente inexplorada. De acordo com essa realidade, o primeiro objetivo do presente trabalho consiste em definir uma classificação de restrições de integridade para bases de dados com suporte a tempo e versões, a fim de prover uma base para o desenvolvimento de pesquisas relacionadas à sua especificação e manutenção. O segundo objetivo consiste em agregar ao Modelo Temporal de Versões (TVM), que suporta os conceitos de tempo e de versão, uma linguagem que permita a especificação de restrições de integridade. Esta linguagem considera características relacionadas à temporalidade e ao versionamento dos dados e das próprias restrições.

A natureza teleológica do princípio darwiniano de seleção natural : a articulação do metafísico e do epistemológico na origem das espécies

A presente tese tem por objetivo o exame da natureza explicativa do princípio de seleção natural (PSN) na Origem das Espécies de Charles Darwin, enquanto tal princípio exibe uma natureza teleológica, como ponto de articulação entre suas dimensões metafísica e epistemológica. A motivação inicial para este estudo encontrou-se num interesse mais profundo pela questão da "racionalidade", através do exame das relações entre ciência e nÃo-ciência provocada pelo reacender-se das discussões sobre evolucionismo versus criacionismo, nas escolas norte-americanas na década de 80. Todavia, uma detida leitura da Origem e o rastreamento de seu questionamento na trajetória intelectual de Darwin buscando empreender uma análise cuidadosa da teoria darwiniana como exigência prévia àquele exame mostrou-se, por si só, filosoficamente tão rica e absorvente, que direcionou a essa análise todos os esforços da presente tese. De imediato, o caráter multifacético dos padrões explicativos e das estratégias argumentativas encontradas na elaboração e defesa da teoria apresentada por Darwin na Origem das Espécies indicava a relevância de uma análise de PSN para a história e filosofia da ciência. De sua leitura igualmente aflorava uma nova abordagem para a questão teleológica, tema instigante nos questionamentos contemporâneos. O exame então empreendido teve, entre seus pressupostos orientadores, quatro pontos-chave: (1) a percepção do mútuo remetimento da História e da Filosofia da Ciência para a elucidaçÃo da natureza da produçÃo científica, partilhando certas idéias básicas das análises feitas por Thomas Kuhn, Paul Feyerabend e Imre Lakatos, entre outros, e, sobretudo, seu reconhecimento do papel do núcleo metafísico presente no questionamento científico; (2) a busca de uma compreensão contextualizadora da estrutura lógico-conceitual em que se insere a função e sentido do princípio a ser investigado, (a) privilegiando o contexto "interno" da obra e do desenvolvimento do pensamento de Darwin, mas buscando o contraponto esclarecedor em seu contexto "externo" e (b) construindo um referencial de análise emergente da estrutura contextual; (3) a visualização de uma relação todo-parte de mútuo suporte na estruturação da integridade contextual, constituindo uma tessitura tipo rede, em que a clarificação das partes, considerada sua posição no todo, faz avançar a inteligibilidade desse e confere-lhe sustentação, a qual, em troca, reverte em clarificação e fortalecimento das partes; (4) a busca de um novo enfoque da teleologia, numa nova perspectiva das relações explicativas e causais, pelo exame das bases metafísicas e epistemológicas da questão à época de Darwin e de tematizações e ambigüidades que permeiam o seu tratamento contemporaneamente. À luz de tais pressupostos, o fio condutor de trabalho é a análise da Origem das Espécies, em sua 6ª. ediçÃo inglesa (a última revisada pelo próprio Darwin), buscando complementar as requeridas elucidações, sobretudo no que concerne a certos pressupostos do pensamento de Darwin, nas obras e textos que perfazem sua trajetória intelectual (diário da viagem a bordo do Beagle, Notebooks 1836-1844, Ensaios de 1842 e 1844, o longo manuscrito de 1856-1858, correspondência) até a exposição madura de seu pensamento na Origem. Assim procedendo, o exame da natureza explicativa de PSN parte (I Parte) de uma leitura da Origem das Espécies como uma história da Natureza, constituindo o contexto no qual cabe dimensionar a função e sentido de PSN como a parte privilegiada da argumentação/narrativa da Origem como um todo (capítulo 1). Desse modo, a clarificação de PSN, encerrando a idéia mestra de que as espécies na Natureza originamse umas de outras por seleção natural, demanda a inteligibilidade e integração provida por esse princípio ao contexto da obra, ao "um longo argumento" em sua integridade, e essa inteligibilidade reverte em clarificação do próprio princípio. Nesse sentido, a atenção à estrutura argumentativa/narrativa da Origem permite ver como as partes desse argumento/os capítulos da narrativa estruturam-se, fugindo às rotulações usuais de um modelo "indutivo" ou "dedutivo", e constituindo, antes, uma rede argumentativa, em que os avanços, a seqüência dos capítulos, leva a retomadas, a uma nova inteligibilidade das etapas/capítulos anteriores, fortalecendo, na integridade desse movimento, as bases para novos avanços e crescentes explicitações e fortalecimento de sua sustentaçÃo. A atençÃo a esse movimento argumentativo leva igualmente a uma análise conceitual de "PSN" e "Natureza", ao longo da obra. Para tanto, procede-se a uma cuidadosa análise lógicosemântica da ocorrência desses conceitos no texto (capítulos 2 e 3, respectivamente), encontrando na visão de Natureza como "luta pela existência" um ponto privilegiado para a exploração de sua articulação. A análise realizada na primeira parte revela a natureza epistemológica e metafísica de PSN em sua condição explicativa e permite colocar a peculiar relação que se estabelece entre PSN (parte) e Natureza (todo) em termos de uma visão teleológica. No entanto, um aprofundamento desse ponto pede, antes (II parte), um exame mais detido dos conceitos de "explicação" e de "causa" na perspectiva darwiniana. Buscando uma compreensão contextualizadora, o contraponto "externo" ao contexto da Origem é balizado pelo enfoque dos padrões de cientificidade encontrados nas filosofias da ciência de John Herschel, William Whewell e Stuart Mill (capítulo 4). A construção de um referencial "interno", ponto a ser enfatizado, parte da análise lógico-conceitual do uso de "explicaçÃo", "causa" e cognatos feito no texto, levando, através de sucessivos refinamentos de análise, a uma ampliação e aprofundamento do elenco inicial de significações, de modo a determinar compreensivos focos orientadores de análise e identificar dimensões fundamentais do esforço explicativo darwiniano (capítulos 5, 6, 7, 8, 9). A exploraçÃo epistemológica conduzida na segunda parte fornece o instrumento analítico que permite retomar a colocação inicial da função e sentido de PSN em suas relações com o conceito de Natureza, projetando a indagação epistemológica no âmbito da especulação metafísica. Essa dupla dimensão de PSN pode então ser focalizada, tratando-se agora da articulação do epistemológico e do metafísico, presente na natureza explicativa de PSN - e o fazendo enquanto PSN exibe uma natureza teleológica (III Parte). Cabe, inicialmente, estabelecer, face ao exame realizado na segunda parte, os alcances e limites dos níveis e padrões explicativos e das estratégias argumentativas darwinianas, mostrando sua "novidade" e seu caráter multifacético (capítulo 10), a fim de compreender o escopo explicativo de PSN. Esse escopo, por sua vez, cabe vê-lo concretizado em sua função explicativa, através da reconstrução de argumentos-chave da Origem e representativos de seus diferentes níveis explicativos (capítulo 11). Assim visto, o poder explicativo de PSN pode ser compreendido como sendo estabelecido em duas grandes e mutuamente remissivas etapas: em sua fundamentação, como um princípio da Natureza, e em sua justificação, pelo seu poder explicativo operando em diferentes níveis e assim viabilizando empiricamente a visão de Natureza que lhe serve de fundamento (capítulo 12). Desse modo, a dimensão epistemológica de PSN, tornando o que ocorre na Natureza inteligível como objeto de conhecimento, operacionaliza a dimensão metafísica, ou seja, a visão do próprio "ser" da Natureza que lhe serve de fundamento - PSN é a Natureza no exercício de seu poder, é a Natureza (concebida como sistema que recebe suas cores em termos de "luta pela existência") atualizada. Em ambas dimensões explicativas, PSN exibe uma natureza teleológica, enquanto dá lugar a explicações telelógicas e apresenta-se como princípio teleologicamente fundado, abrindo o caminho a um novo enfoque da questão teleológica, redimensionando o tratamento de muitas das ambiguidades encontradas na problematização contemporânea dessa questão.

Incorporando suporte a restrições espaciais de caráter topológico ao modelo abstrato do consórcio Open GIS

Os Sistemas de Informação Geográfica (SIG) são construídos, especificamente, para armazenar, analisar e manipular dados geográficos, ou seja, dados que representam objetos e fenômenos do mundo real, cuja localização em relação à superfície da Terra seja considerada. A interoperabilidade desses sistemas, que constitui-se na capacidade de compartilhar e trocar informações e processos entre ambientes computacionais heterogêneos, se faz necessária, pois, devido ao elevado custo de aquisição dos dados geográficos, as comunidades de informação precisam compartilhar dados de fontes existentes, sem a necessidade de fazer conversões. Porém, pela complexidade e incompatibilidades de representação, de estrutura e de semântica das informações geográficas, a maioria dos softwares de SIG, hoje, não são interoperáveis. Existe também, além do problema da não interoperabilidade, uma crescente preocupação com relação à qualidade e à integridade espacial dos dados geográficos. Contudo, alguns modelos conceituais de dados geográficos e os softwares de SIG não oferecem, ainda, os meios adequados para representar e garantir a integridade espacial das informações. As restrições de integridade definidas durante a fase de projeto conceitual, normalmente, são implementadas durante o projeto físico, seja de forma implícita ou explícita, podendo ser incorporadas diretamente no modelo de implementação do SIG, de forma que o usuário da aplicação apenas mencione a regra e o sistema a implemente e a garanta automaticamente.Este trabalho de pesquisa propõe uma extensão ao Modelo Abstrato OpenGIS, modelo este que deve ser um padrão de interoperabilidade de software para SIG. A extensão proposta incorpora ao mesmo um subconjunto de tipos de restrição espacial, buscando com isso oferecer melhor suporte às regras da realidade geográfica expressáveis na modelagem conceitual do sistema.

A alteração da aparência das fachadas dos edifícios : interação entre as condições ambientais e a forma construída

Este trabalho se insere dentro dos estudos relativos à durabilidade ou integridade fisica da Arquitetura. mais particularmente à durabilidade da aparência das fachadas dos edificios. Estuda a interação que se estabelece entre as partículas de contaminação atmosférica combinadas com o vento e a chuva (condições ambientais), e a morfologia das fà.chadas (geometria e materiais) nas mudanças visuais ou manchamentos que degradam suas aparências. Após sistematização do conhecimento geral sobre os mecanismos e fatores envolvidos na formação desse tipo de manifestação patológica. utiliza um estudo baseado em casos reais para análise das correlações entre as variáveis envolvidas no processo, em nível de condições ambientais locais e caracteristicas da morfologia das fachadas. Os dois edificios escolhidos como estudo de caso estão dentro do centro da cidade de Porto Alegre, mais precisamente em área designada por Centro Histórico, tendo sido construídos na primeira metade do século. O Centro Histórico foi escolhido como área para a seleção dos exemplares analisados por possuir um alto potencial de acumulação de poluentes, exagerando o fenômeno estudado. Os exemplares analisados, apesar da mesma idade, chegaram aos dias de hoje em condições díspares quanto à manutenção da sua aparência. possibilitando a confinnação da influência da sua materialização no seu desempenho frente às condições de exposição aos agentes ambientais envolvidos no processo.

Investigação dos efeitos de temperaturas elevadas em reforços estruturais com tecidos de fibra de carbono

A necessidade cada vez maior de efetuar a reabilitação de estruturas que apresentam manifestações patológicas faz com que os profissionais da área busquem continuamente aperfeiçoar os meios tradicionais utilizados para este fim e investigar novos materiais que apresentem vantagens técnicas e econômicas. A utilização de tecidos de fibra de carbono para reabilitação ou reforço de estruturas de concreto armado apresenta-se como uma nova alternativa que tem despertado grande interesse tanto no meio científico quanto no meio profissional, justificando-se o seu estudo. A presente pesquisa investiga a sanidade do reforço quando submetido a elevadas temperaturas, uma vez que o risco de perda da integridade durante um incêndio constitui uma das principais preocupações no que se refere a esta nova técnica, pois a aderência do tecido ao substrato é realizada com adesivo epóxi, altamente vulnerável ao efeito do calor. A degradação em termos de perda de resistência do reforço é avaliada para temperaturas variando de 80 °C à 240 °C e tempos de exposição de 30 à 120 min. Proteções passivas com argamassa de revestimento e gesso aplicadas sobre a matriz de epóxi, como forma de atenuar a degradação do polímero, são também investigadas Pesquisas e várias combinações destas variáveis e os resultados indicam que o adesivo epóxi apresenta um processo de volatilização crescente com o aumento da temperatura, comprometendo a eficácia da técnica de reforço; no entanto, a aplicação de revestimentos incombustíveis e isolantes sobre os elementos reforçados retarda este fenômeno. O estabelecimento do que se constitui em boa técnica para a aplicação de reforço com tecidos de fibra de carbono é de vital importância para evitar o colapso de elementos estruturais reforçados ou, ao menos, garantir estanqueidade e isolamento dos mesmos por um intervalo de tempo suficiente que possibilite a retirada dos ocupantes e as operações de combate ao incêndio em condições de segurança.

Gerenciamento de documentação técnica para ambientes de engenharia/CAD com suporte a versões

Ambientes de engenharia apresentam a forte característica da necessidade de cooperação entre projetistas na concepção de projetos CAD, o que provoca uma série de problemas em relação aos ambientes usuais encontrados em aplicações convencionais. Na busca de solucionar tais problemas, vários recursos e mecanismos relativos às gerências de dados e do processo de projeto são apresentados em vários estudos encontrados na literatura. Boa parte desses recursos estão embutidos nesse trabalho, que visa apresentar um sistema gerenciador de documentação técnica para ambientes de engenharia/CAD chamado GerDoc Ábacus. A proposta da construção do GerDoc Ábacus é baseada na busca da solução dos problemas relativos à consistência dos dados de projetos e da integração de tarefas de projetistas que interagem em ambientes distribuídos de projeto. Unindo vários mecanismos, é proposta uma interface totalmente interativa, objetivando manter a harmonia entre projetistas que fazem parte de equipes de projetos que são mantidos em atividade durante longos períodos de tempo, além de documentar todos os passos realizados acerca de cada um desses projetos. Dessa forma, o GerDoc Ábacus é uma ferramenta organizacional e administrativa para projetos de engenharia, sendo de fácil operacionalização, buscando altos níveis de integridade dos dados mantidos.

A concentração, a composição e a qualidade do plasma seminal na preservação do sêmen eqüino a +4ºC.

O presente trabalho constou de três experimentos. O primeiro objetivou verificar a influência de diferentes concentrações de plasma seminal e de dois diluentes na motilidade e na integridade e funcionalidade da membrana plasmática de espermatozóides eqüinos resfriados. Para tanto, foram utilizados 4 garanhões, comprovadamente férteis e em atividade sexual. Imediatamente após a coleta, o sêmen foi avaliado, diluído 1:2 com EDTA-glicose, dividido em oito alíquotas e centrifugado a 600g, por 10 minutos, para remoção do plasma seminal. O pellet de cada alíquota foi ressuspendido com um determinado volume do plasma seminal, previamente removido e acrescido de um determinado volume de um dos dois diluente (leite desnatado UHT ou leite desnatado-glicose) até atingir uma concentração final entre 40 e 50x106 espermatozóides/ml, contendo as seguintes concentrações finais de plasma seminal: 0%, 2,5%, 5% e 10%. Imediatamente após a diluição, o sêmen foi avaliado quanto à motilidade progressiva e total e funcionalidade e integridade da membrana plasmática. A seguir, os oito frascos contendo o sêmen, com um volume aproximado de 12 ml cada, foram resfriados em câmara a +4ºC a uma taxa de resfriamento de 0,3º C/min, sendo o sêmen novamente avaliado às 24, 48 e 72 horas.

Se In é um ideal finitamente gerado então I é um ideal finitamente gerado?

Suponhamos que M seja um ideal maximal de um domínio R e que alguma potência de M seja finitamente gerada. Vamos mostrar que M será finitamente gerado em cada um dos seguintes casos: i M tem altura um, ii R é inteiramente fechado e altura de M é 2, iii R K X,S é um domínio monóide sobre um corpo K, onde S S 0 é um monóide cancelativo e livre de torção, tal que i 1 iS e M é o ideal maximal gerado por Xs/s S . Estendemos os resultados anteriores aos ideais I de um anel reduzido R tal que RI é anel Noetheriano. Provamos que um anel reduzido R é Noetheriano se cada ideal primo de R possui uma potência que é finitamente gerada. Para cada d tal que 3 d , estabelecemos a existência de um domínio de integridade d-dimensional que possui um ideal maximal M não finitamente gerado, de altura d tal que M2 é 3-gerado.

Um Mecanismo de notificação e propagação de mudanças para um modelo de versões

Um dos requisitos naturais na modelagem de diversas aplicações na área de banco de dados é a utilização de um mecanismo para controle de versões. Esse mecanismo fornece suporte a um processo evolutivo. Tal suporte permite armazenar os diferentes estágios de uma entidade em tempos distintos, ou sob diferentes pontos de vista. Estudos recentes nessa área mostram a importância de incorporar ao modelo conceitual de banco de dados, um mecanismo para auxiliar no controle da evolução de versões. A evolução de versões apresenta problemas principalmente quando ocorre em uma hierarquia de composição. Por exemplo, se existem objetos compostos fazendo referência à objetos componentes que representam versões, então modificações nos componentes podem causar alterações nos objetos que os referenciam. Normalmente as ações relativas a essas modificações são a notificação ou a propagação de mudanças. Algumas propostas adicionam mecanismos de notificação e propagação ao modelo conceitual utilizado por aplicações não convencionais. Isso é importante porque mecanismos deste tipo auxiliam no controle da integridade de dados e na divulgação de informações sobre as mudanças realizadas no banco de dados. O objetivo do trabalho aqui descrito é apresentar um mecanismo de notificação e propagação, que trata da evolução de dados, para um modelo de versões. É definido um modelo de classes com propriedades e operações que permitem manter e manipular subscrições de eventos referentes à evolução de objetos e versões e reagir diante da ocorrência destes eventos. Para atender os requisitos das diferentes aplicações, esta proposta especifica três estratégias. Cada uma delas apresenta diferentes funcionalidades: notificação ativa (enviar mensagens sobre mudanças ocorridas); notificação passiva (armazenar informações sobre mudanças ocorridas) e propagação (alterar o conteúdo do banco de dados automaticamente). Para validar o mecanismo proposto, uma implementação é apresentada para o sistema Oracle 8.

Caracterização molecular dos genes PSO2 e PSO4 de Saccharomyces cerevisiae envolvidos na reparação do DNA : análise funcional e identificação de interações proteína-proteína

O alelo mutante termo-condicionalmente letal pso4-1 do gene PRP19, que codifica uma proteína associada ao spliceossoma, permitiu investigar a influência deste gene no processamento de pré-mRNA, reparação do DNA e esporulação. Fenótipos relacionados a genes portadores de introns foram correlacionados à temperatura. Sistemas repórteres para processamento de pré-mRNA e RT-PCR mostraram que eficiência de processamento de mRNA no mutante pso4-1 é inversamente correlacionada com a temperatura de crescimento. Uma mutação pontual, substituindo uma leucina por uma serina foi identificada dentro da região codificadora N-terminal do alelo Pso4-1 e afeta as propriedades bioquímicas de Pso4-1p. Entre 24 clones isolados utilizando o sistema doishíbridos, 7 foram identificados como partes dos genes RAD2, RLF2 e DBR1. RAD2 codifica uma endonuclease indispensável para a via reparação por excisão de nucleotídeos (NER), RLF2 codifica a subunidade maior do fator de montagem da cromatina I, cuja deleção resulta em sinsibilidade à radiação UVC, enquanto que DBR1 codifica uma enzima que atua sobre substratos de RNA na forma lariat, degradando estruturas lariat em introns durante o processamento de mRNA. A caracterização dos fenótipos após tratamentos com mutágenos em linhagens mutantes simples e duplos de rad2∆, rlf2∆ e pso4-1 mostraram sensibilidade aumentada para para mutantes rad2∆/pso4-1 e rlf2∆/pso4-1, sugerindo uma interferência funcional destas proteínas no processo dereparação do DNA em Saccharomyces cerevisiae. O mecanismo exato de reparação de pontes inter-cadeia (ICL) em S. cerevisiae não é ainda totalmente conhecido. Identificando novos fenótipos e isolando proteínas potencialmente capazes de interagir com Pso2p através da técnica do sistema dois-híbridos, foi possível extender a caracterização deste gene específica para reparação de pontes intercadeia. Tratamentos com acetaldeído (ACA), um metabólito natural da via glicolítica, foi mais tóxico a linhagem mutante pso2 em comparação com a linhagem selvagem e também capaz de induzir a expressão da fusão contendo o promotor de PSO2 à lacZ (PSO2-lacZ) por um fator comparável à tratamentos com outros agentes indutores de ICLs, indicando que o metabólito natural ACA pode causar danos do tipo ICL em S. cerevisiae. A utilização do sistema dois-híbridos permitiu isolar partes de proteínas codificadas por nove diferentes genes, entre eles a proteína quinase Pak1p, um supressor de mutações termosensíveis da DNA Polimerase alfa. Pak1p interage com a extremidade C-terminal conservada de Pso2p, uma região da proteína recentemente nomeada β-CASP entre v ortólogos conhecidos do gene PSO2. A integridade do domínio β-CASP é essencial para a reparaçãode DNA proficiente como demonstrado em ensaios de complementação com mutantes pso2 ∆. Comparação da sobrevivência após tratamento com agentes mutagênicos de simples mutantes pso2 ∆ e pak1 ∆ assim com o dulpo mutante pso2 ∆/pak1 ∆ revelaram que o gene PAK1 é necessário para reparação do DNA proficiente como na linhagem selvagem. A interação epistática dos dois alelos mutantes na linhagem duplo mutante sugere que Pak1p atua na mesma via de reparação a qual PSO2 pertence e que PAK1 constitui um novo locus envolvido na reparação do DNA em S. cerevisiae.

Efeito do glutamato sobre a secreção da proteína S100B em cultura de astrócitos hipocampais

A proteína S100B pertence à família S100 de proteínas ligantes de Ca+2. Sua expressão dá-se primariamente em astrócitos, os quais também secretam esta proteína, exercendo um papel trófico sobre as células vizinhas. A adição de S100B tem promovido a sobrevivência de neurônios em cultura e, recentemente, tem sido proposto um papel protetor da S100B contra a excitoxicidade. Neste trabalho investigamos a liberação de S100B na presença de alta concentração de glutamato. A secreção de S100B em astrócitos de ratos em cultura foi quantificada, pelo método de ELISA, durante 24 horas após uma privação de soro de 30 minutos (condição estimulada) ou não (condição basal). A integridade dos astrócitos foi analisada por ensaios de exclusão de azul de tripan e medida da LDH. Glutamato (1 mM) não teve efeito sobre a secreção basal de S100B, mas diminuiu a liberação 1h depois da privação de soro. A privação de soro que estimulou a liberação de S100B foi dependente de síntese protéica e reduzida por Rp-AMPc e H-89, sugerindo o envolvimento da via AMPc/PKA, possivelmente sobre o elemento sensível ao AMPc no gene de S100B. Além disso, a privação de soro foi acompanhada por um aumento transitório do conteúdo intracelular de AMPc. Nossos resultados sugerem que o proposto papel neurotrófico da S100B, pelo menos em cultura de astrócitos hipocampais, poderia estar prejudicado por altos níveis de glutamato. Não está claro ainda se o efeito do glutamato é medeado por receptores. Na tentativa de investigar o mecanismo envolvido usamos inibidores do transporte de glutamato e agonistas de glutamato. Os resultados indicam que ambos receptores metabotrópicos do Grupo I/II e transportadores de glutamato estão envolvidos no decréscimo da secreção de S100B induzida pelo glutamato.

Utilização de Multicast na Disseminação de Escritas em Ambientes Replicados

Este trabalho trata da utilização de protocolos de comunicação de grupo para a disseminação de escritas em arquivos replicados. A replicação de arquivos tem como objetivo aumentar a disponibilidade dos dados mesmo mediante a ocorrência de alguma falha. Existem duas abordagens principais para a replicação de arquivos: a da cópia primária e das cópias ativas. Em ambas as abordagens é necessário que seja mantida a integridade dos dados replicados, de forma que todos cópias dos arquivos replicados estejam no mesmo estado. Essa integridade pode ser mantida pela escolha correta de uma estratégia de disseminação de escritas. Como os servidores que mantém cópias do mesmo arquivo formam um grupo de replicação, a disseminação de escritas pode ser feita através de comunicação de grupos. Neste trabalho são apresentados os sistemas de comunicação de grupo xAMp, da Universidade de Lisboa; Totem, Universidade da Califórnia; Transis da Universidade de Hebréia de Jerusalém; Horus, da Universidade de Cornell e Newtop da Universidade de Newcastle. Todos os sistemas descritos possuem características de comunicação de grupo e membership que permitem a sua utilização na disseminação de escritas para arquivos replicados. Este trabalho descreve, também, o protótipo PDERM (Protótipo para a Disseminação de Escritas em arquivos Replicados, através de Multicast), implementado para analisar o comportamento de um sistema de comunicação de grupo, o xAMp, na disseminação de escritas em arquivos replicados pela estratégia da cópia primária. Foi analisado o aspecto da manutenção da integridade das réplicas mesmo na ocorrência de falha do servidor primário.

Ferramenta de apoio ao teste de aplicações java baseada em reflexão computacional

A atividade de teste constitui uma fase de grande importância no processo de desenvolvimento de software, tendo como objetivo garantir um alto grau de confiabilidade nos produtos desenvolvidos. O paradigma da Orientação a Objetos (OO) surgiu com o objetivo de melhorar a qualidade bem como a produtividade no desenvolvimento de aplicações. Entretanto, apesar do aumento constante de aceitação do paradigma OO pela indústria de software, a presença de algumas de suas características torna a atividade de teste de programas neste paradigma mais complexa do que o teste de sistemas tradicionais. Entre estas características cita-se a herança, o encapsulamento, o polimorfismo e a ligação dinâmica [EIS 97] [PRE 95] [UNG 97]. Algumas técnicas estão sendo implementadas para auxiliarem a atividade de teste através do uso da tecnologia de reflexão computacional [HER 99]. Estas técnicas permitem a realização de análises de aspectos dinâmicos dos programas, sem a necessidade de instrumentar o código-fonte das aplicações que estão sendo monitoradas. Com o objetivo de auxiliar o processo de teste de programas orientados a objetos, este trabalho aborda o desenvolvimento de uma ferramenta, a qual automatiza parcialmente o teste de programas escritos em Java. A ferramenta evidencia o teste de estados fazendo uso da tecnologia de reflexão computacional. Através da especificação de asserções, feitas pelo usuário da ferramenta, na forma de invariantes de classe, pré e pós-condições de métodos, é possível verificar a integridade dos estados dos objetos durante a execução do programa em teste. A ferramenta possibilita também, armazenar a seqüência de métodos chamados pelos objetos da aplicação em teste, tornando possível ao testador, visualizar o histórico das interações entre os objetos criados no nível-base.

Caracterização das propriedades aerodinâmicas de torres metálicas para determinação da resposta devida ao vento

A utilização de torres metálicas treliçadas vem, nos últimos anos, se intensificando em todo o Brasil. Este aumento é resultado do salto tecnológico pelo qual o país passou no início da década de 90, onde a necessidade de ampliação dos sistemas de telecomunicações, principalmente, da telefonia celular, se tornou imprescindível para o seu crescimento tecnológico. Em função disso, vários são os projetos de torres metálicas treliçadas que tem sido contratados pelas diversas empresas de telefonia celular, espalhadas por todo país. No Brasil, onde, pelas benesses da natureza, não há registros de terremotos significativos, e devido ao baixo peso deste tipo de estrutura, a força do vento é o carregamento determinante para a elaboração do projeto estrutural de torres metálicas treliçadas. Sendo assim, se faz necessário perguntar: será que estes projetos estão atendendo às recomendações da norma de vento (NBR 6123/88)? Quais são os riscos aos quais as populações estão sujeitas com a edificação de torres cada vez mais próximas de suas casas? Neste trabalho, tomando como exemplo o projeto de uma torre metálica treliçada que colapsou no ano de 2000 na cidade de Porto Alegre-RS, foram feitas investigações numéricas no sentido de avaliar a integridade estrutural daquela torre ante os carregamentos devidos aos ventos locais, onde se concluiu que a carga de vento implícita no dimensionamento foi bem abaixo daquela calculada pelos padrões da norma brasileira Uma investigação experimental em dois modelos seccionais, um em latão e outro em madeira, construídos a partir de dois trechos da torre estudada, foi realizada a fim de analisar parâmetros aerodinâmicos como coeficientes de arrasto, ângulo de incidência do vento sobre a torre, índice de área exposta e fator de proteção. Os modelos foram construídos na oficina Paulo Francisco Bueno - LAC/UFRGS e ensaiados no Túnel de Vento Prof. Joaquim Blessmann do Laboratório de Aerodinâmica das Construções da Universidade Federal do Rio Grande do Sul – LAC/UFRGS. Neste trabalho são apresentados os resultados destes experimentos, bem como uma comparação destes resultados com informações até então disponíveis na literatura técnica, além de uma contribuição técnica ao capítulo 9 da NBR 6123/88.