ORPIS: um modelo de consistência de conteúdo replicado em servidores Web distribuídos

O surgimento de novas aplicações que utilizam o protocolo HTTP nas suas transações e a crescente popularidade da World Wide Web (WWW) provocaram pesquisas pelo aumento do desempenho de servidores Web. Para tal, uma das alternativas propostas neste trabalho é utilizar um conjunto de servidores Web distribuídos que espalham a carga de requisições entre vários computadores, atuando como um só associado a uma estratégia de replicação de conteúdo. Um dos problemas centrais a ser resolvido em servidores Web distribuídos é como manter a consistência das réplicas de conteúdo entre os equipamentos envolvidos. Esta dissertação apresenta conceitos fundamentais envolvendo o tema replicação de conteúdo em servidores Web distribuídos. São mostrados detalhes sobre arquitetura de servidores Web distribuídos, manutenção da consistência em ambientes de servidores Web distribuídos, uso de replicação e formas de replicação. Além disso, são citados alguns trabalhos correlatos ao propósito de manter réplicas consistentes em ambientes de servidores Web distribuídos. Este trabalho tem por objetivo propor um modelo de manutenção da consistência de conteúdo em servidores Web distribuídos com características de transparência e autonomia. O modelo, denominado One Replication Protocol for Internet Servers (ORPIS), adota uma estratégia de propagação otimista porque não existe sincronismo no envio das atualizações para as réplicas. Este trabalho apresenta os principais componentes tecnológicos empregados na Web, além dos problemas causados pela escalabilidade e distribuição inerentes a esse ambiente. São descritas as principais técnicas de aumento de desempenho de servidores Web que atualmente vêm sendo utilizadas. O modelo ORPIS é descrito, sendo apresentados seus pressupostos, elencados seus componentes e detalhados os seus algoritmos de funcionamento. Este trabalho dá uma visão geral sobre a implementação e os testes realizados em alguns módulos do protótipo do modelo, caracterizando o ambiente de desenvolvimento do protótipo e detalhes da implementação. São enumerados os atributos e métodos das classes do protótipo e definidas as estruturas de dados utilizadas. Além disso, apresentam-se os resultados obtidos da avaliação funcional dos módulos implementados no protótipo. Um ponto a ser salientado é a compatibilidade do modelo ORPIS aos servidores Web existentes, sem a necessidade de modificação em suas configurações. O modelo ORPIS é baseado na filosofia de código aberto. Durante o desenvolvimento do protótipo, o uso de software de código aberto proporcionou um rápido acesso às ferramentas necessárias (sistema operacional, linguagens e gerenciador de banco de dados), com possibilidade de alteração nos códigos fonte como uma alternativa de customização.

ProTool : uma ferramenta de prototipação de software para o ambiente PROSOFT

Dentre as principais áreas que constituem a Ciência da Computação, uma das que mais influenciam o mundo atual é a Engenharia de Software, envolvida nos aspectos científicos e tecnológicos do desenvolvimento de software. No desenvolvimento de software, a fase de especificação dos requisitos é uma das mais importantes, visto que erros não detectados nesta são propagados para as fases posteriores. Quanto mais avançado estiver o desenvolvimento, mais caro custa reparar um erro introduzido nas fases iniciais, pois isto envolve reconsiderar vários estágios do desenvolvimento. A prototipação permite que os requisitos do software sejam validados logo no início do desenvolvimento, evitando assim a propagação de erros. Paralelamente, a utilização de métodos formais visa revelar inconsistências, ambigüidades e falhas na especificação do software, que podem caso contrário, não serem detectadas. Usar a prototipação de software juntamente com uma notação formal enfatiza a especificação do problema e expõe o usuário a um sistema “operante” o mais rápido possível, de modo que usuários e desenvolvedores possam executar e validar as especificações dos requisitos funcionais. O objetivo principal deste trabalho é instanciar uma técnica da área de Prototipação de Software que capacite o engenheiro de software gerar automaticamente protótipos executáveis a partir de especificações formais de tipos abstratos de dados, na notação PROSOFT-algébrico, visando a validação dos requisitos funcionais logo no início do desenvolvimento do software. Para tanto foi proposto um mapeamento da linguagem PROSOFT-algébrico para OBJ. Como OBJ possui um eficiente sistema de reescrita de termos implementado, a utilização deste propicia a prototipação de tipos abstratos de dados, especificados em PROSOFT-algébrico. Os componentes envolvidos na definição deste trabalho, assim como o mapeamento entre as linguagens, foram especificados algebricamente e implementados no ambiente de desenvolvimento de software PROSOFT. A implementação serviu para validar o mapeamento proposto através de dois estudos de caso. Por fim, são apresentadas as conclusões alcançadas e as atividades adicionais vislumbradas a partir do trabalho proposto.

Análise do comportamento em fadiga do aço SAE 52100 sob diferentes condições microestruturais

Devido às altas tensões envolvidas nos mecanismos de fadiga por contato, o uso de aços de alta dureza é uma exigência na fabricação de mancais de rolamento. Se a dureza de uma das partes em contato é baixa (sendo menor que 58 HRC), a ocorrência da descamação de camadas superficiais torna-se iminente no material menos duro. Estes defeitos superficiais podem, eventualmente, levar o componente a fraturar na direção radial se as tensões circunferenciais trativas forem relativamente elevadas. Os rolamentos que apresentam estes tipos de falhas são fabricados com o aço SAE 52100 temperado e revenido, com têmpera total. Recentemente tem sido sugerida a utilização do aço SAE 52100 processado por tratamento isotérmico para a obtenção de bainita inferior já que esta microestrutura apresenta boa tenacidade e resistência à fadiga associadas a uma alta dureza. Neste trabalho, foram realizados tratamentos térmicos utilizando o aço SAE 52100 a fim de obter microestruturas cujas matrizes fossem, predominantemente, martensita revenida ou bainita inferior. Para a condição martensítica, utilizou-se o tratamento térmico convencional de têmpera e revenido com três temperaturas de revenido para a obtenção de diferentes quantidades de austenita retida na matriz martensítica. Para a condição bainítica, utilizou-se o tratamento de austêmpera para a obtenção de bainita inferior com alto nível de dureza O comportamento mecânico do aço SAE 52100, tratado termicamente nas quatro condições, foi avaliado através de ensaio de tração e ensaio de impacto Charpy. O comportamento em fadiga, por sua vez, foi avaliado através de ensaios de propagação de trinca por fadiga realizados em corpos de prova tensão compacto. Para a determinação da influência da razão de carregamento (R=Kmin/Kmax) sobre o comportamento em fadiga este parâmetro foi variado entre 0,1 e 0,5. Foram realizadas análises fractográficas em todas as superfícies de fratura e de fadiga. Os resultados dos testes indicaram um melhor comportamento em fadiga para o aço SAE 52100 com microestrutura bainítica. No entanto para um R = 0,5, este material apresentou comportamento semelhante ao martensítico de mesmo nível de dureza na região limiar de fadiga. Observou-se o fenômeno de fechamento de trinca nos testes realizados com R de 0,1 e 0,3, sendo este efeito mais pronunciado para o menor valor de R.

CaTLeT : ferramenta computacional de apoio ao ensino/aprendizado de teoria das categorias

Teoria das Categorias é uma ramificação da Matemática Pura relativamente recente, tendo sua base sido enunciada ao final da primeira metade do século XX. Embora seja Teoria de grande expressividade, sua aplicação efetiva tem encontrado até o momento grandes obstáculos, todos decorrência natural da brevidade de sua História. A baixa oferta de bibliografia (e predominantemente em língua inglesa) e a falta de uniformidade na exposição do que sejam os tópicos introdutórios convergem e potencializam outro grande empecilho à sua propagação - a baixa oferta de cursos com enfoque em Teoria das Categorias. Consegue, a despeito destes obstáculos, arrebanhar admiradores em inúmeros centros de reconhecida excelência técnica e científica. Dentre todas as áreas do conhecimento, atrai em especial a atenção da Ciência da Computação, por características como independência de implementação, dualidade, herança de resultados, possibilidade de comparação da expressividade de outros formalismos, forte embasamento em notação gráfica e, sobretudo, pela expressividade de suas construções [MEN2001]. No Brasil, já conta com o reconhecimento de seu papel no futuro da Ciência da Computação por parte de instituições como SBC e MEC. Os obstáculos aqui descritos, entretanto, ainda necessitam ser transpostos. O presente trabalho foi desenvolvido visando contribuir nesta tarefa. O projeto consiste em uma iniciativa aplicada em Ciência da Computação, a qual visa oportunizar o franco acesso aos conceitos categoriais introdutórios: uma aplicação de computador que faça amplo uso de representação diagramática para apresentar a proposição de conceitos básicos do grupo de pesquisa em Teoria das Categorias do Instituto de Informática da UFRGS. A proposição e implementação de uma ferramenta, embora não constitua iniciativa inédita no mundo, até onde se sabe é a segunda experiência desta natureza. Ademais, vale destacar que os conceitos tratados, assim como os objetivos visados, são atendidos de forma única e exclusiva por esta aplicação. Conjuntamente, vislumbra-se a aplicação desenvolvida desempenhando importante papel de agente catalisador na propagação da visão dos Grupos de Pesquisa em Teoria das Categorias da UFRGS e da PUC/RJ do que sejam os "conceitos categoriais introdutórios".

Uso da função de transferência em problemas de condução do calor com a lei de Fourier modificada

Este trabalho visa o uso da função de transferência, a qual relaciona distribuição de temperatura e fluxo de calor, na comparação no domínio freqüência, entre o modelo de difusão usual (parabólico) e um modelo ondulatório (hiperbólico) que inclue o efeito de propagação do calor não instantâneo, sendo avaliados os casos de meio semi-infinito e finito. Para o caso de meio semi-infinito, são determinadas as expressões para as características de amplitude e de fase, considerando tanto a abordagem parabólica quanto hiperbólica. É observada a relação entre estas duas abordagens, mostrando que a abordagem parabólica é uma caso particular da abordagem hiperbólica, podendo ser obtida através de um processo de limite envolvendo o tempo de relaxação r . Para o caso de meio finito, são determinadas as expressões para as caracteríısticas de amplitude de ambas as faces da placa unidimensional, considerando tanto a abordagem parabólica quanto hiperbólica. Estas expressões são transformadas para a forma adimensional quando então são deduzidas as expressões correspondentes das características de amplitude. Mais uma vez, todos os resultados para o caso parabólico podem ser determinados a partir dos resultados do caso hiperbólico, através de um processo de limite envolvendo o tempo de relaxação r São apresentados resultados numéricos referentes às características de amplitude, onde é apontada a existência de uma freqüência limite, acima da qual a diferença entre os dois modelos, do tipo parabólico ou hiperbólico, aumenta rapidamente. Também é apresentada uma forma alternativa de cálculo da distribuição de temperatura transiente que faz uso da função de transferência do sistema.

Competições magnéticas no sistema Fe xCo 1-xTa 2 O 6

São apresentados resultados obtidos a partir de difração de raios-X (DRX), difração de nêutrons (DN), susceptibilidade magnética (X(T)), magnetização (M(H)), espectroscopia Mõssbauer (EM) e calor específico (Cp) de amostras do sistema FexCo1-x Ta206. Difratogramas de DRX e de DN e as curvas M(H) indicam que as amostras estão bem cristalizadas e homogêneas, e que o sistema é uma solução sólida para toda faixa de substituição Fe -> Co. Os ajustes de DN revelam fases magnéticas com dois vetores de propagação (::I::~~ ~) para o CoTa206 e (~ O ~) e (O ~ ~) para o FeTa206' A segunda configuração permanece a mesma para as amostras ricas em Fe (0,46 :S x < 1,00), enquanto que as amostras ricas em Co (0,09 :S x < 0,46) apresentam configuração magnética indexada pelos vetores de propagação (::I::~~ O). O diagrama de fase temperatura vs. x exibe um ponto bicrítico em torno de T = 4,9 K e x = 0,46. A temperatura de Néel máxima das região rica em Fe é 9,5 K, e 7,1 K para a região rica em Co. No ponto bicrítico, o sistema mostra coexistência de ambas estruturas magnéticas. Esse comportamento bicrítico é interpretado como sendo induzido pelas competições entre as diferentes fases magnéticas e pela variação das propriedades cristalográficas.

Desempenho de um pavimento flexível solicitado por simulador de tráfego

Esta dissertação apresenta os resultados de uma análise experimental de um pavimento flexível solicitado por um simulador de tráfego linear. A pista experimental (com 20 m de comprimento e 3,5 m de largura) tem uma estrutura representativa de pavimentos existentes no Rio Grande do Sul: camada final de terraplenagem de argila laterítica, sub-base de macadame seco, base de brita graduada, camada de concreto asfáltico de 4 cm trincada e recapeamento, também em CBUQ, de 5 cm. A pista foi dividida em três regiões, sendo que em duas a camada trincada e o recapeamento foram ligados por mantas geotêxteis impregnadas de asfalto. O tráfego foi aplicado ao longo de duas faixas. A Faixa A, com 70 cm de largura, foi ensaiada entre setembro e dezembro de 1999, sendo aplicados cerca de 50.000 ciclos de carga de eixo de 100 kN e mais de 30.000 cargas de eixo de 120 kN. A Faixa B, com 100 cm de largura, foi ensaiada entre maio de 2000 e março de 2001, aplicando-se cerca de 345.000 ciclos de carga de eixo de 100 kN. Ao longo do período de ensaio foram medidas deflexões, bacias de deformação e deformações permanentes (afundamentos nas trilhas de roda e irregularidade longitudinal). Os parâmetros ambientais foram monitorados e mediram-se temperaturas do pavimento em duas profundidades da camada asfáltica. Os resultados do estudo explicitaram a influência marcante da temperatura do pavimento na deformabilidade plástica do concreto asfáltico. O aumento da temperatura e da carga de eixo na Faixa A também resultou em aumento das deflexões, sugerindo o início da fase de fadiga. Esse comportamento não foi observado na Faixa B, na qual o tráfego ocorreu em condições de temperatura controlada Não se observou reflexão de trincas, sequer na região sem camada intermediária. Entretanto, a extração de placas mostrou a eficiência do geotêxtil no desvio na direção de propagação das trincas, retardando a reflexão das mesmas através do recapeamento asfáltico. Também se observou que o geotêxtil confinou a fluência do concreto asfáltico na camada de recapeamento, evitando danos às camadas inferiores. Finalmente, propõe-se nesta dissertação modelos estatísticos de grande significância que permitem estimar a temperatura no interior do pavimento em função da temperatura do ar e da irradiação solar.

Análise do modelo t-J e sua aplicação aos compostos de óxidos de cobre

Neste trabalho estudamos modelos teóricos que descrevem sistemas eletrônicos fortemente correlacionados, em especial o modelo t-J, e suas aplicações a compostos de óxidos de cobre, notadamente os compostos que apresentam supercondutividade de alta temperatura crítica e o composto Sr2CuO2Cl2. No primeiro capítulo do trabalho, fazemos uma exposição de três modelos que envolvem o tratamento das interações elétron-elétron, que são os modelos de Hubbard de uma banda, o modelo de Heisenberg e o modelo t-J. Na dedução deste último fazemos uma expansão canônica do hamiltoniano de Hubbard, no limite de acoplamento forte, levando-nos a obter um novo hamiltoniano que pode ser utilizado para descrever um sistema antiferromagnético bidimensional na presen- ça de lacunas, que é exatamente o que caracteriza os compostos supercondutores de alta temperatura crítica na sua fase de baixa dopagem.Após termos obtido o hamiltoniano que descreve o modelo t-J, aplicamos à este uma descrição de polarons de spin, numa representação de holons, que são férmions sem spin, e spinons, que são bósons que carregam somente os graus de liberdade de spin. Utilizando uma função de Green para descrever a propagação do polaron pela rede, obtemos uma equação para a sua autoenergia somando uma série de diagramas de Feynman, sendo que para este cálculo utilizamos a aproxima ção de Born autoconsistente[1]. Do ponto de vista numérico demonstramos que a equação integral de Dyson resultante do tratamento anterior não requer um procedimento iterativo para sua solução, e com isto conseguimos trabalhar com sistemas com grande número de partículas. Os resultados mostram, como um aspecto novo, que o tempo de vida média do holon tem um valor bastante grande no ponto (π,0 ) da rede recíproca, perto da singularidade de Van Hove mencionada na literatura[2]. Este aspecto, e suas implicações, é amplamente discutido neste capítulo. No capítulo 3 estudamos o modelo estendido t-t'-J, com tunelamento à segundos vizinhos e a incorporação dos termos de três sítios[3]. Fazemos a mesma formulação do capítulo anterior, e discutimos as aplicações dos nossos resultados ao óxido mencionado anteriormente. Finalmente, no último capítulo apresentamos uma aplicação original do modelo t-J à uma rede retangular, levemente distorcida, e demonstramos que os resultados do capítulo 3 são reproduzidos sem necessidade de introduzir termos de tunelamento adicionais no hamiltoniano. Esta aplicação pode se tornar relevante para o estudo das fases de tiras encontradas recentemente nesses materiais de óxidos de cobre.

Impacto das incertezas no custo de uma rede de macrodrenagem

Dada a escassez de informação (principalmente de vazão) nas sub-bacias urbanas, os parâmetros das metodologias usadas no dimensionamento de uma rede de macrodrenagem são estimados a partir de características físicas, introduzindo incertezas sobre os valores corretos do parâmetro. Neste trabalho são apresentados resultados que indicam o impacto que as incertezas nos parâmetros têm sobre os valores da vazão e custo da rede, e custo estimado para redução das mesmas. Foram analisados os parâmetros das metodologias dos blocos alternados utilizada na determinação da chuva de projeto; da “Curva Número” do SCS utilizada para determinação da precipitação efetiva; e de Clark e Hidrograma Unitário Triangular (SCS) empregadas para a propagação de vazão. Também foi analisado o efeito da variabilidade espacial da chuva. Da análise de sensibilidade dos parâmetros determinou-se que para simulação distribuída da bacia, o CN resultou o parâmetro mais sensível. Por exemplo, para um incremento de uma unidade no CN foram encontradas variações de entre 8 e 10% na vazão, o que representa um incremento de 5% no custo. Também foram significativas as diferenças na chuva de projeto obtidas a partir de diferentes IDFs de postos pluviométricos próximos (diferenças de até 80% na vazão ou seja 40% no custo. Mudanças no valor do tempo de concentração somente tiveram efeito significativo na simulação concentrada da bacia; já variações do parâmetro de forma no HTA do método de Clark não tiveram efeitos sobre a vazão ou custo. Por outro lado, os custos de medição de chuva e vazão, necessários para geração da informação que permitiria reduzir a incerteza resultam menores ao impacto produzido por um erro 1% no CN, ressaltando a importância de efetuar coleta contínua de dados de vazão.

A gramaticalização de A Gente no português brasileiro : análise histórico-social-linguística da fala das comunidades gaúchas de Jaguarão e Pelotas

O objetivo deste trabalho é descrever e analisar a gramaticalização de a gente no português brasileiro. A análise está apoiada nas concepções teóricas de gramaticalização e na Teoria da Variação Laboviana. O corpus da pesquisa é constituído de dois tipos de dados: fala de personagens de onze peças de teatro de autores gaúchos, correspondente a um período de cem anos (1896 até 1995), e fala de sessenta indivíduos das cidades gaúchas de Jaguarão e Pelotas. As entrevistas foram realizadas em 2000 e 2001: trinta e seis em Pelotas (VarX) e vinte e quatro em Jaguarão (BDS Pampa). Os corpora possuem uma divisão equilibrada de informantes por gênero, faixa etária e classe social. Os resultados do uso de a gente indicam que: a gramaticalização de a gente decorre de vários processos de mudança concomitantes e inter-relacionados – mudança semântica, sintática, morfológica e fonológica; a partir da década de 1960 a forma a gente cristaliza-se como pronome pessoal de primeira pessoa do plural; a utilização de a gente, em variação com nós, está relacionada a condicionadores lingüísticos de natureza discursiva, sintática, morfológica e fonológica; o uso de a gente em Pelotas está em um estágio mais adiantado do que em Jaguarão; a divisão por classe social indica que em Pelotas a mudança acontece ‘de cima para baixo’ e em Jaguarão ‘de baixo para cima’; o uso de a gente é maior nas faixas etárias mais jovens nas duas comunidades; em Pelotas ocorre a redução (mudança incipiente) de a gente para a ‘ente (~ ‘ente); a propagação da mudança ocorre dos grandes centros para os menores.

Aplicação de métodos de ultra-som para avaliação e caracterização da microestrutura de materiais cerâmicos à base de alumina e sua associação com propriedades mecânicas

O objetivo deste trabalho foi investigar a aplicação de métodos de ultra-som para avaliação e caracterização da microestrutura de materiais cerâmicos à base de alumina e sua associação com as propriedades mecânicas destes materiais. Para tanto, foram conformados por prensagem uniaxial corpos cerâmicos contendo 94,3% em peso de Al2O3. Os corpos cerâmicos foram sinterizados em forno de resistência elétrica em temperaturas que variaram entre 1100 e 1600 °C. A resistência mecânica e o KIc foram determinados por ensaios de flexão a quatro pontos. Para medir a resistência ao dano por choque térmico, os corpos cerâmicos foram colocados em um forno pré-aquecido na temperatura de teste e permaneceram nesta temperatura por 40 min, quando, então, foram resfriados bruscamente através da imersão dos corpos cerâmicos em água mantida a 0oC. A microestrutura dos corpos cerâmicos foi caracterizada por microscopia eletrônica de varredura e microscopia óptica. Para os ensaios de ultra-som foram utilizados transdutores piezelétricos de 2 e 4 MHz de freqüência nominal. A imagem resultante foi tratada via software e utilizouse um osciloscópio para padronização. Foram utilizados como parâmetros a velocidade da onda ultra-sônica e a sua atenuação. Os resultados indicaram a correlação entre as propriedades acústicas do material com a sua microestrutura e com suas propriedades mecânicas, tais como, resistência mecânica, módulo de elasticidade e dano por choque térmico. Foi possível propor equações relacionando a resistência mecânica com a variação do coeficiente de atenuação e da velocidade de propagação das ondas ultra-sônicas. Sugere-se também a possibilidade de utilização do coeficiente de atenuação para a determinação da confiabilidade do material cerâmico e o seu uso para a estimativa de vida útil do material sob carga constante ou submetido a choque térmico.

Produção de porta-enxertos cítricos em recipientes e ambiente protegido no Rio Grande do Sul

O objetivo deste trabalho foi o de verificar a influência de diversos substratos sobre o desenvolvimento vegetativo inicial de porta-enxertos cítricos; avaliar a influência do tamanho de tubetes no desenvolvimento inicial e depois da repicagem de porta-enxertos; testar dois sistemas de irrigação; avaliar dois métodos de propagação inicial de porta-enxertos; testar a influência de diferentes densidades de empacotamento nas características físicas dos substratos e na germinação de porta-enxertos; avaliar a eficiência de um método não destrutivo no monitoramento de pH e da salinidade do substrato, e verificar o desenvolvimento vegetativo de porta-enxertos cultivados em citropotes com o uso de fertirrigação.

Discurso proverbial : reafirmação do preconceito contra a mulher?

O presente trabalho tem o propósito de investigar o discurso proverbial enquanto ferramenta para propagação do preconceito contra a mulher. Filiandose à Análise do Discurso de linha francesa, analisa-se a questão do preconceito presente nos ditados populares, procurando demonstrar o quanto a figura feminina é discriminada na sociedade através de chavões institucionalizados ao longo dos tempos que são transmitidos como verdades universais. A grande questão que atravessa esse trabalho é a força que esse ditos têm em reafirmar a incapacidade da mulher para qualquer atividade que não esteja ligada ao lar. Mesmo após a mulher, nas últimas décadas, ter provado e comprovado sua plena capacidade para assumir responsabilidades iguais ou superiores às do homem, esses ditos, antigos ou novos, mantêm o mesmo grau de preconceito, senão até mais elevado. Sendo assim, no texto desta investigação, encontra-se uma explanação do que é entendido como provérbio e algumas questões que envolvem conceitos ligados à Análise do Discurso, cultura, senso comum, poder e preconceito, buscando, desta forma, estabelecer um referencial teórico para a análise. Na parte dedicada à análise propriamente, apresentam-se os cinco tipos de provérbios que foram identificados, nos quais examina-se a questão do preconceito e a presença/ausência de determinantes, demonstrando que estes – os determinantes - são utilizados de forma bastante diversa daquela mencionada nas gramáticas da nossa língua.

Um Estudo sobre modelos conceituais para ferramentas de definição de processos de workflow

A crescente necessidade de padronização, eficácia e gerenciamento de processos têm aumentado o interesse das mais diferentes organizações pela tecnologia de workflow. Entretanto, a rápida propagação da tecnologia de workflow, ocorrida na última década, fez com que muitos sistemas desenvolvidos nesta área fossem disponibilizados e difundidos sem uma padronização clara. Analisando-se especificamente a fase de construção do workflow, nota-se que há muitas divergências. Conceitualmente, ainda não há modelos nem metodologias de modelagem amplamente aceitos e consolidados. Quanto às implementações, ainda não existe uma especificação clara e detalhada das ferramentas de definição. A conseqüência deste panorama é a baixa interoperabilidade e a baixa padronização dos conceitos, funcionalidades e interações das ferramentas de definição. Contudo, muitos esforços estão sendo feitos para solucionar o problema da interoperabilidade e padronização. A área de workflow como um todo já começa a apontar fortes tendências de padronização dos conceitos, funcionalidades e interações de seus sistemas. Detectar e avaliar tais tendências são os focos de estudos desta dissertação. Mais precisamente, o objetivo desta dissertação é fornecer informações e métodos que possam ajudar desenvolvedores e usuários de ferramentas de definição a: compreender, descrever e avaliar os conceitos, funcionalidades e interações deste tipo de ferramenta. Para tanto, é mostrado um método de descrição de modelos conceituais de ferramentas de definição. O referido método é resultado de uma pesquisa sobre o modelo conceitual deste tipo de ferramenta. Com base nas informações pesquisadas, foi desenvolvido o modelo conceitual de uma ferramenta de definição chamada de Amaya Workflow (AW). Para mostrar a viabilidade de implementação do modelo conceitual AW e concretizar em um software os estudos desenvolvidos durante esta dissertação, foi implementado o protótipo Amaya Workflow. Por fim, é mostrado um panorama geral das funcionalidades, conceitos e interações das principais ferramentas de definição existentes. Com base neste panorama e nos estudos anteriores, é descrito um método de avaliação de modelos conceituais de ferramentas de definição.

Efeito in vitro do guanidino acetato sobre as atividades da Na+, K+-ATPase e da acetilcolinesterase em cérebro de ratos jovens

A deficiência de guanidino acetato metiltransferase (GAMT) é um erro inato do metabolismo da creatina caracterizado por hipotonia muscular, movimentos extrapiramidais involuntários e epilepsia. A doença é bioquimicamente caracterizada por acúmulo de guanidino acetato e deficiência de creatina e fosfocreatina nos tecidos dos pacientes afetados. Os mecanismos de disfunção neurológica que ocorrem nessa doença ainda são desconhecidos. A Na+,K+-ATPase desempenha um papel fundamental no sistema nervoso central (SNC), sendo responsável pela manutenção dos gradientes iônicos e pela propagação do impulso nervoso, consumindo cerca de 50% do ATP formado no cérebro. A acetilcolinesterase (AChE) é uma importante enzima regulatória que controla a transmissão de impulsos nervosos através de sinapses colinérgicas pela hidrólise da acetilcolina, e apresenta um papel fundamental na cognição. Com o propósito de ampliar o conhecimento sobre os mecanismos fisiopatológicos da deficiência de GAMT, esse trabalho teve como objetivo investigar o efeito do guanidino acetato, o principal metabólito acumulado na deficiência de GAMT, sobre as atividades das enzimas Na+,K+-ATPase, Mg2+-ATPase e AChE em estriado de ratos. A cinética de inibição da Na+,K+-ATPase causada pelo guanidino acetato também foi estudada. Além disso, investigamos o efeito in vitro do guanidino acetato sobre as atividades da Na+,K+-ATPase, Mg2+-ATPase e da AChE de hipocampo de ratos. Nossos resultados mostraram que o guanidino acetato não altera as atividades da AChE e Mg2+-ATPase. No entanto, a atividade da Na+,K+-ATPase foi inibida por esse composto guanidínico (CG), e a análise cinética mostrou uma inibição do tipo acompetitiva. Também foi demonstrada uma interação entre o guanidino acetato e o ácido arginínico, sugerindo um sítio comum de ligação entre esses dois compostos na Na+,K+-ATPase. Os resultados mostraram que, o guanidino acetato inibiu a atividade da Na+,K+-ATPase in vitro mas não alterou as atividades da Mg2+-ATPase e da AChE. Considerando que o guanidino acetato e outros compostos guanidínicos (CG) induzem a formação de espécies reativas de oxigênio e que a Na+,K+-ATPase e a AChE são inibidas por radicais livres, estudamos o efeito da pré-incubação de homogeneizado de hipocampo de ratos na presença de guanidino acetato sobre a atividade dessas enzimas. Além disso, o efeito da pré-incubação de homogeneizado de ratos com guanidino acetato foi investigado na presença e ausência de antioxidantes, tais como glutationa (GSH), trolox, taurina e L-NAME. A pré-incubação de homogeneizado de hipocampos na presença de guanidino acetato inibiu a atividade da Na+,K+-ATPase, mas não alterou a atividade da Mg2+-ATPase. No entanto, L-NAME e taurina foram capazes de prevenir tal efeito. Dessa forma, propõem-se que a inibição da atividade da Na+,K+-ATPase pelo guanidino acetato seja um dos mecanismos envolvidos na disfunção neuronal observada em pacientes com deficiência de GAMT.