Identificação e caracterização das argamassas para revestimento externo utilizadas na cidade de Belém-PA

O saibro é uma adição mineral utilizada na cidade de Belém-Pa com o objetivo de proporcionar plasticidade às argamassas, sendo utilizado indiscriminadamente e sem critérios técnicos. A ocorrência de fissuras apresenta-se como uma das mais freqüentes manifestações patológicas, sendo muito comum o meio técnico local apontar como principal causa a elevada permeabilidade destas argamassas. Devido ao desempenho insatisfatório apresentado e à ausência de pesquisas na área, tem sido comum a substituição deste material por aditivos químicos plastificantes nas grandes empresas de construção civil. Este trabalho tem o objetivo de caracterizar os materiais e identificar os traços mais utilizados, para o estudo do comportamento das argamassas para revestimentos externos desta cidade. Desta forma, para avaliar o comportamento de argamassas produzidas com saibro e com aditivo incorporador de ar, bem como a influência dos dois tipos de cimento mais usados na região, a análise das argamassas foi realizada através de ensaios no estado fresco (consistência, retenção de água e massa específica) e no estado endurecido (resistência mecânica, massa específica, absorção de água por imersão e por capilaridade). Na busca de alternativas que melhorem o desempenho destas argamassas, também utilizou-se a adição de 10% de sílica ativa, em relação à massa de cimento, em uma argamassa com saibro e em outra argamassa com aditivo químico. Os resultados obtidos indicam que existe influência significativa do tipo de cimento empregado e do teor de saibro, em relação à quantidade total de agregado. A substituição do saibro pelo aditivo químico, assim como a adição de sílica ativa, nem sempre apresentaram bons resultados.

O contínuo e a região estendida de linhas estreitas das galáxias ativas ESO 362-G18 e ESO 362-G8

Foram analisados espectros óticos de fenda longa das galáxias Seyfert 1 ESO362-G18 e Seyfert 2 ESO362-G8. Estas duas galáxias apresentam emissão por gás de alta excitação em forma anisotrópica, possivelmente devido a colimação por um tóro de poeira. O objetivo do presente trabalho consiste em estudar o contínuo e a região estendida de linhas de emissão (ENLR) destes objetos. Este trabalho constitui-se no primeiro estudo detalhado realizado sobre estas galáxias. A população estelar em cada galáxia e caracterizada em função da distância ao núcleo. O contínuo nuclear e estudado em termos de duas componentes: a população estelar e a componente AGN (\Active Galatic Nuclei"). Observa-se a presença desta componente AGN na gal axia Seyfert 1 ESO362-G18. A galáxia Seyfert 2 não permite observar esta componente AGN mesmo depois de subtraída a componente de população estelar. Nas duas galáxias observa-se importante contribuição de população de idade intermediária ( 5 108 anos). A partir das linhas estreitas de emissão, mapeamos a excitação do gás interestelar ao longo da ENLR. As razões entre estas linhas de emissão são reproduzidas a partir de um modelo de fotoionização de duas componentes - uma componente limitada por matéria ("matter-bounded") e uma componente limitada por ionização ("ionization-bounded"). Este modelo, construído utilizando o código de fotoionização MAPPINGS Ic, se propõe a resolver os problemas apresentados pelos modelos tradicionais de uma componente apenas. A partir dos resultados obtidos com o modelo de duas componentes, determinamos o fator de preenchimento e o fator de cobertura do gás em função da distância ao núcleo. Utilizamos estes parâmetros para testar a consistência do modelo proposto. Por fim realizase o cálculo de balanço de fótons e estuda-se a natureza do contínuo infravermelho (IR) médio e distante - comparando-se a luminosidade observada no IR, calculada a partir dos fluxos IRAS, com a luminosidade predita para um tóro que envolve a fonte modelada e re-emite a radiação incidente no infravermelho.

Protocolo de recuperação por retorno, coordenado, não determinístico

O uso da recuperação de processos para obter sistemas computacionais tolerantes a falhas não é um assunto novo. Entretanto, a discussão de algoritmos para a recuperação em sistemas distribuídos, notadamente aqueles que se enquadram na categoria assíncrona, ainda encontra pontos em aberto. Este é o contexto do presente trabalho. Este trabalho apresenta um novo algoritmo de recuperação por retorno, em sistemas distribuídos. O algoritmo proposto é do tipo coordenado, e seus mecanismos componentes determinam que seja classificado como um algoritmo baseado em índices (index-based coordinated). Desta forma, a tolerância a falhas é obtida através do estabelecimento de linhas de recuperação, o que possibilita um retorno consideravelmente rápido, em caso de falha. Seu desenvolvimento foi feito com o objetivo de minimizar o impacto ao desempenho do sistema, tanto quando este estiver operando livre de falhas como quando ocorrerem as falhas. Além disso, os mecanismos componentes do algoritmo foram escolhidos visando facilitar a futura tarefa de implementação. A satisfação dos objetivos decorre principalmente de uma importante característica assegurada pelos mecanismos propostos no algoritmo: o não bloqueio da aplicação, enquanto é estabelecida uma nova linha de recuperação. Esta característica, associada ao rápido retorno, oferece uma solução promissora, em termos de eficiência, para a recuperação, um vez que o impacto no desempenho tende a ser reduzido, quando o sistema encontra-se operando em ambas condições: livre de erros ou sob falha. Diferentemente da maioria dos algoritmos coordenados encontrados na literatura, o algoritmo proposto neste trabalho trata as mensagens perdidas. A partir da análise das características das aplicações, bem como dos canais de comunicação, quando estes interagem com o algoritmo de recuperação, concluiu-se que os procedimentos usados para recuperação de processos devem prever o tratamento desta categoria de mensagens. Assim, o algoritmo proposto foi incrementado com um mecanismo para tratamento das mensagens que têm o potencial de tornarem-se perdidas, em caso de retorno, ou seja, evita a existência de mensagens perdidas. Uma das decisões tomadas durante o desenvolvimento do algoritmo foi a de permitir um processamento não determinístico. Na realidade, esta escolha visou o aumento do espectro das falhas que poderiam ser tratadas pela recuperação. Tradicionalmente, a recuperação por retorno é empregada para tolerar falhas temporárias. Entretanto, a diversidade de ambiente, freqüente nos SDs, também pode ser usada para tolerar algumas falhas permanentes. Para verificar a correção do algoritmo, decidiu-se empregar um formalismo existente. Assim, a lógica temporal de Lamport (TLA) foi usada na especificação dos mecanismos do algoritmo bem como em sua demonstração de correção. O tratamento referente às mensagens perdidas, atrav´es do uso de mensagens de resposta, associado com o uso de uma lógica temporal, levou à necessidade de rever os critérios de consistência. Esta revisão gerou um conjunto de fórmulas de consistência ajustadas à existência de mensagens de diferentes classes: mensagens da aplicação e mensagens de resposta.

Desenvolvimento sustentável local : a contribuição do agente de desenvolvimento do Banco do Nordeste no estado do Ceará

Este é um estudo descritivo de caráter exploratório, realizado através da adição da pesquisa quantitativa à qualitativa. Aborda o Programa Agente de Desenvolvimento do Banco do Nordeste, cujo objetivo é promover o desenvolvimento sustentável nos municípios nordestinos, para identificar o grau de intervenção do Agente de Desenvolvimento em nível de comunidade, no estado do Ceará. Essa investigação teve como propósito identificar mudanças ocorridas nesses municípios a partir do Programa, verificando em que medida elas podem ser consideradas estratégias de desenvolvimento sustentável. Paralelamente, o estudo procurou, junto aos Agentes e representantes de associações, caracterizar o grau de intervenção do Agente naquelas mudanças que resultam em transformações econômicas e sociais. A estrutura da análise e, conseqüentemente, os resultados encontrados, seguem três dimensões: o Programa Programa, o A g e n t e e a Mudança. Pelos resultados obtidos, o Programa vem alcançando os objetivos propostos. Os Agentes, de fato, podem ser considerados articuladores estratégicos do desenvolvimento local. Quanto às mudanças, parecem contemplar gradativas melhorias na qualidade de vida da população, na transferência de tecnologia e na redução do impacto ambiental e, embora sutis, com certeza elas apontam na direção da sustentabilidade. Entretanto, para que os resultados elencados pelo Programa e esperados pelos Agentes e pela população possam adquirir maior consistência no longo prazo, é fundamental que os ajustes e as adequações demandadas e/ou sugeridos neste estudo sejam implementados em todas as dimensões.

Rotinas para a otimizacao experimental de misturas

No cenário atual, onde a globalização, aliada a um maior nível de exigência por parte do cliente, impõem às empresas um maior empenho por competitividade, a agdidade no desenvolvimento e otimização de produtos torna-se crucial para a sobrevivência das mesmas no mercado. Neste contexto, procurou-se compilar várias técnicas utilizadas em E n g e h dd Qd& em um método integrado para a Ot+o Expmmid de MWtwa. Essas técnicas fornecem resultados muito mais rápidos e econômicos do que a tradicional prática de variar um componente de cada vez na mistura, devido ao menor número de ensaios necessários. Entretanto, apesar de não serem tão recentes, as ferramentas aplicáveis à otimização de misturas não têm sido utilizadas pelo seu maior beneficiário (a indústria), provavelmente por falta de divulgação de sua existência, ou, principalmente, devido à complexidade dos cálculos envolvidos. Dessa forma, além do método proposto, desenvolveu-se também um sofiwa~q ue irnplementa todas os passos sugeridos, com o intuito de facilitar ainda mais a aplicação dos mesmos por pessoas não especializadas em técnicas estatísticas. Através do software (OptiMix), o método foi testado em uma situação real e em um estudo comparativo com um relato da literatura, a fim de testar sua validade, necessidade de adaptações e consistência dos resultados. A avaliaçio dos estudos de caso demonstrou que o método proposto fornece resultados coerentes com os de outras técnicas alternativas, com a vantagem de o usuário não precisar realizar cálculos, evitando assim, erros e agilizando o processo de otimização.

Dom Casmurro em tradução : uma abordagem comparativista

O presente trabalho se constitui de uma análise avaliativa comparada de duas traduções italianas do romance Dom Casmurro, de Machado de Assis, na busca da equivalência tradutória de aspectos estilísticos, pragmáticos e sociolingüísticos presentes na obra, tendo como base os postulados mais recentes da Teoria e Crítica da Tradução, objetivando averiguar a sua consistência e aplicabilidade na prática. Pelo estudo realizado foi possível comprovar a necessidade de um trabalho interdisciplinar para o processo tradutório e também a viabilidade de uma abordagem literária fiel, embora ao mesmo tempo criativa, capaz de preservar os aspectos mais relevantes do estilo machadiano, demonstrando-se também a importância da visibilidade do tradutor, juntamente com a complexidade do processo que requer dele um amplo e diversificado conhecimento de aspectos literários e socioculturais nas línguas e nas culturas em jogo.

A cobrança eficiente pela garantia de disponibilidade e pelo uso da água : proposta de um modelo multicritério de gestão

A iminente cobrança pela garantia de ter água no ambiente e pelo decorrente uso deste recurso natural deve ser condicionada ao quanto e ao que seja outorgado reter e usar. Tem caráter contingencial, somente sendo aplicável se, onde e quando for necessária. O pretendido é que nada se pague e que haja água para todos em qualquer tempo e lugar, como ocorria no passado. No entanto, este ideal está cada vez mais distante. Diante desta realidade, o trabalho contém uma proposta de como estruturar o problema da possível cobrança em questão, na forma de uma Hierarquia de Objetivos, por meio do emprego dos Mapas Cognitivos, uma forma de representar com ordenamento e consistência o consenso das preferências dos decisores, a partir dos seus valores e percepções particulares, para os contextos decisórios dos Comitês de Gerenciamento de Bacia Hidrográfica. Complementarmente e para fins de operacionalização do instrumento de gestão proposto, utiliza-se a modelagem multicritério para o estabelecimento das contribuições financeiras, através de cotas de participação, buscando o tratamento justo e proporcional aos usuários, além da constante indução ao uso racional da água. Uma aplicação real é apresentada, através de simulações, para a região da bacia hidrográfica do rio Santa Maria, no Estado do Rio Grande do Sul.

Bem-estar subjetivo infantil : conceito de felicidade e construção de instrumentos para avaliação

A presente Tese consiste de estudos na área do Bem-Estar Subjetivo dentro da área da Psicologia Positiva. O primeiro estudo desenvolvido trata da investigação do desenvolvimento do conceito de felicidade e suas principais características em crianças de idade escolar. Foram também investigados a autopercepção infantil sobre o bem-estar subjetivo, os indicadores de qualidade de vida subjetiva infantil, os principais eventos de vida positivos e negativos, além de identificarem-se as diferenças de gênero, entre faixas etárias e entre tipos de escolas. Participaram do estudo 200 crianças entre cinco e doze anos de idade (m= 8,7 anos) que foram entrevistadas individualmente. Uma Análise de Conteúdo das entrevistas geraram categorias consistentes relativas aos domínios de satisfação de vida infantil: Self, Família, Amizade, Escola, Satisfação de Necessidades Básicas, Satisfação de Desejos, Lazer e Não-Violência. Estas categorias permitiram o desenvolvimento de instrumentos objetivos para avaliar bem-estar subjetivo em nossa cultura. Os estudos de construção e de validação concorrente das escalas (Escala de Satisfação de Vida Global Infantil, Escala Multidimensional de Satisfação de Vida para Crianças e Escala de Afeto Positivo e Negativo para Crianças) são apresentados. Os resultados indicaram que as escalas possuem adequadas características psicométricas, incluindo elevados níveis de consistência interna. Os fatores extraídos possuem sentido teórico. Evidências de validade concorrente também foram obtidas. Estes estudos promoveram uma melhor compreensão do bem-estar subjetivo de crianças brasileiras e dos processos de desenvolvimento imbricados no conceito de felicidade. Os instrumentos desenvolvidos podem ser de utilidade para psicólogos que trabalham com crianças e adolescentes, como para os pesquisadores da área.

Associação entre eventos de vida, ansiedade e depressão e a doença periodontal

Este foi um estudo de caso controle desenvolvido para avaliar a associação entre eventos de vida, ansiedade e depressão com a doença periodontal avançada. No grupo caso, participaram 96 indivíduos entre 35 e 60 anos, de ambos os sexos e com doença periodontal avançada; no grupo controle, participaram 69 sujeitos da mesma faixa etária, de ambos os sexos e sem histórico de periodontite. Cada participante respondeu um questionário sobre história médica e odontológica, condições socioeconômicas e hábitos comportamentais. Após este momento, passaram por exame clínico realizado por um único examinador calibrado e responderam quatro testes de avaliação psicológica, auxiliados por um estudante de psicologia: Escala de Eventos Vitais, Inventário de Ansiedade de Beck, Inventário de Ansiedade Traço/Estado e Inventário de Depressão de Beck. A média final dos parâmetros clínicos de profundidade de sondagem e nível clínico de inserção foram de 3,44 e 4,01, no grupo caso e de 1,96 e 0,95, no grupo controle. Confirmou-se associação positiva da doença periodontal avançada com a idade, o gênero masculino, o fumo e o grau de escolaridade. Os resultados demonstraram que não houve diferenças significativas nas médias dos eventos de vida, dos sintomas de ansiedade, do traço e estado de ansiedade, bem como dos sintomas de depressão, entre os grupos caso e controle. Quando comparados apenas os indivíduos não-fumantes, as diferenças permaneceram sem significância. Cabe destacar a alta consistência interna das escalas de avaliação, a correlação positivas entre as escalas de ansiedade entre si e a correlação dos sintomas de ansiedade com os de depressão. Pode-se concluir, com a metodologia aplicada, que não houve associação significativa dos fatores psicossociais, avaliados através das escalas psicométricas, com a doença periodontal avançada.

Aproximação de Petrov-Galerkin para o escoamento de sangue em anastomoses sistêmico-pulmonares do tipo Blalock-Taussig modificada

A anastomose sistêmico-pulmonar é um excelente procedimento paliativo para crianças e recém-nascidos portadores de cardiopatias congênitas cianóticas com diminuição da circulação pulmonar. Neste artigo, as aproximações “Streamline Upwind/Petrov-Galerkin – SUPG” foram utilizadas na simulação de escoamento de sangue em uma anastomose sistêmico pulmonar. A Anastomose estudada neste artigo é conhecido como Blalock-Taussig modificada no qual um enxerto de tubo sintético (prótese) é interposto entre a artéria subclávia esquerda e a artéria pulmonar com o objetivo de desviar parte do fluxo sistêmico ao pulmonar. A metodologia de elementos finitos utilizada, conhecida como método SUPG, supera as dificuldades enfrentadas pelo método de Galerkin clássico em altos números de Reynolds, que são compatibilizar os subespaços de velocidade e pressão – satisfazendo deste modo a condição denominada de Babuška-Brezzi e evitar oscilações espúrias devido à natureza assimétrica da aceleração advectiva de equação de momentum – adicionando termos malha-dependentes para a formulação de Galerkin clássica. Estes termos adicionais são construídos para aumentar a estabilidade da formulação de Galerkin original sem prejudicar sua consistência. Um modelo tridimensional parametrizado, utilizando o elemento lagrangeano trilinear, foi criado a partir de medições obtidas durante procedimento cirúrgico para avaliar os efeitos dos parametros geométricos envolvidos na cirurgia (diâmetro e ângulo do enxerto e a pulsatilidade do escoamento) Os resultados apresentam que o ângulo da anastomose proximal tem sensível influência na quantidade de fluxo desviada pelo enxerto e enorme influência na porcentagem de fluxo direcionado para cada um dos pulmões. Quanto ao diâmetro do enxerto conclui-se que este é o regulador principal da porcentagem de fluxo desviada. A partir das simulações realizadas determinou-se correlações para o fator de atrito e porcentagem de fluxo sangüíneo desviado pelo enxerto.

Um Modelo de replicação em ambientes que suportam mobilidade

Os estudos sobre mobilidade intensificaram-se com o uso em grande escala da Internet, pois esta trouxe a possibilidade de explorar mobilidade através de redes heterogêneas, conectadas por diferentes links de comunicação e distantes umas das outras. A replicação de componentes em sistemas distribuídos normalmente é utilizada para torná-los mais confiáveis e seguros ou para aumentar o desempenho da aplicação, uma vez que acessos remotos podem ser evitados através da localidade da réplica. Em qualquer um dos casos, a replicação implica a manutenção na consistência entre as múltiplas cópias, isto é, é preciso garantir que as cópias estejam com seus estados consistentes em um determinado momento. Em sistemas que permitem mobilidade e replicação, a principal preocupação é com a consistência e o gerenciamento das réplicas do objeto móvel. Isto é, dependendo da técnica de replicação utilizada, como gerenciar um objeto e suas réplicas se estes podem mudar sua localização? Como garantir um bom desempenho do sistema? Estas perguntas esta proposta procura responder. Este trabalho apresenta um modelo de replicação em ambientes de objetos distribuídos que permitem mobilidade chamado ReMMoS - Replication Model in Mobility Systems. O objetivo deste modelo é prover um ambiente de execução para suporte ao desenvolvimento de aplicações envolvendo mobilidade explicita e replicação implicita. Assim, o programador não necessita preocupar-se com o gerenciamento e a consistencia das cópias.

Dinâmica vegetacional e tipos funcionais em áreas excluídas e pastejadas sob diferentes condições iniciais de adubação

O entendimento da dinâmica vegetacional facilitará a tomada de decisão quanto ao tipo de manejo ou prática de melhoramento a ser adotada numa pastagem natural. Para descrição da vegetação são utilizadas espécies ou tipos funcionais. O uso de tipos funcionais promove melhor discernimento de padrões e processos que ocorrem no ecossistema. Este trabalho foi desenvolvido no Centro de Pesquisa de Forrageiras, da FEPAGRO, em São Gabriel, RS, numa área de pastagem natural, de janeiro de 1998 a dezembro de 2000, com os objetivos de estudar a dinâmica da vegetação e definir tipos funcionais para os ambientes avaliados. O delineamento experimental utilizado foi um fatorial completamente casualizado em parcela subdividida, com três repetições. Os tratamentos pastejo e exclusão foram alocados nas parcelas principais e os níveis de adubação ( com ou sem NPK) nas subparcelas. O pastejo foi realizado por bovinos, equinos e ovinos a partir de janeiro de 1998 e a adubação, anualmente, de fevereiro de 1994 a fevereiro de 1996. A exclusão iniciou em dezembro de 1996. Independente das condições iniciais, as trajetórias das áreas pastejadas, com ou sem adubação, foram convergentes, apresentando comunidades vegetais semelhantes. Nas áreas excluídas adubadas houve divergência, podendo estar relacionada à escala espacial utilizada. As espécies com maior cobertura nas áreas pastejadas são Paspalum notatum, Chevreulia acuminata, Hypoxis decumbens e Eryngium nudicaule e nas áreas excluídas do pastejo Paspalum plicatulum, Melica eremophila, Orthopappus angustifolius, Eryngium horridum e Coelorachis selloana. O pastejo é o fator determinante do tipo de comunidade vegetal resultante. Altura da planta, consistência e superfície ventral da lâmina foliar são atributos que melhor caracterizam os ambientes pastejados e excluídos.

Um Modelo formal e executável de agentes BDI

Modelos BDI (ou seja, modelos Beliefs-Desires-Intentions models) de agentes têm sido utilizados já há algum tempo. O objetivo destes modelos é permitir a caracterização de agentes utilizando noções antropomórficas, tais como estados mentais e ações. Usualmente, estas noções e suas propriedades são formalmente definidas utilizandos formalismos lógicos que permitem aos teóricos analisar, especificar e verificar agentes racionais. No entanto, apesar de diversos sistemas já terem sido desenvolvidos baseados nestes modelos, é geralmente aceito que existe uma distância significativa entre esta lógicas BDI poderosas e sistemas reais. Este trabalho defende que a principal razão para a existência desta distância é que os formalismos lógicos utilizados para definir os modelos de agentes não possuem uma semântica operacional que os suporte. Por “semântica operacional” entende-se tanto procedimentos de prova que sejam corretos e completos em relação à semântica da lógica, bem como mecanismos que realizem os diferentes tipos de raciocínio necessários para se modelar agentes. Há, pelo menos, duas abordagens que podem ser utilizadas para superar esta limitação dos modelos BDI. Uma é estender as lógicas BDI existentes com a semântica operacional apropriada de maneira que as teorias de agentes se tornem computacionais. Isto pode ser alcançado através da definição daqueles procedimentos de prova para as lógicas usadas na definição dos estados mentais. A outra abordagem é definir os modelos BDI utilizando formalismos lógicos apropriados que sejam, ao mesmo tempo, suficientemente poderosos para representar estados mentais e que possuam procedimentos operacionais que permitam a utilizaçao da lógica como um formalismo para representação do conhecimento, ao se construir os agentes. Esta é a abordagem seguida neste trabalho. Assim, o propósito deste trabalho é apresentar um modelo BDI que, além de ser um modelo formal de agente, seja também adequado para ser utilizado para implementar agentes. Ao invés de definir um novo formalismo lógico, ou de estender um formalismo existente com uma semântica operacional, define-se as noções de crenças, desejos e intenções utilizando um formalismo lógico que seja, ao mesmo tempo, formalmente bem-definido e computacional. O formalismo escolhido é a Programação em Lógica Estendida com Negação Explícita (ELP) com a semântica dada pelaWFSX (Well-Founded Semantics with Explicit Negation - Semântica Bem-Fundada com Negação Explícita). ELP com a WFSX (referida apenas por ELP daqui para frente) estende programas em lógica ditos normais com uma segunda negação, a negação explícita1. Esta extensão permite que informação negativa seja explicitamente representada (como uma crença que uma propriedade P não se verifica, que uma intenção I não deva se verificar) e aumenta a expressividade da linguagem. No entanto, quando se introduz informação negativa, pode ser necessário ter que se lidar com programas contraditórios. A ELP, além de fornecer os procedimentos de prova necessários para as teorias expressas na sua linguagem, também fornece um mecanismo para determinar como alterar minimamente o programa em lógica de forma a remover as possíveis contradições. O modelo aqui proposto se beneficia destas características fornecidas pelo formalismo lógico. Como é usual neste tipo de contexto, este trabalho foca na definição formal dos estados mentais em como o agente se comporta, dados tais estados mentais. Mas, constrastando com as abordagens até hoje utilizadas, o modelo apresentanto não é apenas uma especificação de agente, mas pode tanto ser executado de forma a verificar o comportamento de um agente real, como ser utilizado como mecanismo de raciocínio pelo agente durante sua execução. Para construir este modelo, parte-se da análise tradicional realizada na psicologia de senso comum, onde além de crenças e desejos, intenções também é considerada como um estado mental fundamental. Assim, inicialmente define-se estes três estados mentais e as relações estáticas entre eles, notadamente restrições sobre a consistência entre estes estados mentais. Em seguida, parte-se para a definição de aspectos dinâmicos dos estados mentais, especificamente como um agente escolhe estas intenções, e quando e como ele revisa estas intenções. Em resumo, o modelo resultante possui duas características fundamentais:(1) ele pode ser usado como um ambiente para a especificação de agentes, onde é possível definir formalmente agentes utilizando estados mentais, definir formalmente propriedades para os agentes e verificar se estas propriedades são satifeitas pelos agentes; e (2) também como ambientes para implementar agentes.

Réplicas para alta disponibilidade em arquiteturas orientadas a componentes com suporte de comunicação de grupo

Alta disponibilidade é uma das propriedades mais desejáveis em sistemas computacionais, principalmente em aplicações comerciais que, tipicamente, envolvem acesso a banco de dados e usam transações. Essas aplicações compreendem sistemas bancários e de comércio eletrônico, onde a indisponibilidade de um serviço pode representar substanciais perdas financeiras. Alta disponibilidade pode ser alcançada através de replicação. Se uma das réplicas não está operacional, outra possibilita que determinado serviço seja oferecido. No entanto, réplicas requerem protocolos que assegurem consistência de estado. Comunicação de grupo é uma abstração que tem sido aplicada com eficiência a sistemas distribuídos para implementar protocolos de replicação. Sua aplicação a sistemas práticos com transações e com banco de dados não é comum. Tipicamente, sistemas transacionais usam soluções ad hoc e sincronizam réplicas com protocolos centralizados, que são bloqueantes e, por isso, não asseguram alta disponibilidade. A tecnologia baseada em componentes Enterprise JavaBeans (EJB) é um exemplo de sistema prático que integra distribuição, transações e bancos de dados. Em uma aplicação EJB, o desenvolvedor codifica o serviço funcional que é dependente da aplicação, e os serviços não–funcionais são inseridos automaticamente. A especificação EJB descreve serviços não–funcionais de segurança, de transações e de persistência para bancos de dados, mas não descreve serviços que garantam alta disponibilidade. Neste trabalho, alta disponibilidade é oferecida como uma nova propriedade através da adição de serviços não–funcionais na tecnologia EJB usando abstrações de comunicação de grupo. Os serviços para alta disponibilidade são oferecidos através da arquitetura HA (highly-available architecture) que possui múltiplas camadas. Esses serviços incluem replicação, chaveamento de servidor, gerenciamento de membros do grupo e detecção de membros falhos do grupo. A arquitetura HA baseia-se nos serviços já descritos pela especificação EJB e preserva os serviços EJB existentes. O protocolo de replicação corresponde a uma subcamada, invisível para o usuário final. O serviço EJB é executado por membros em um grupo de réplicas, permitindo a existência de múltiplos bancos de dados idênticos. Conflitos de acesso aos múltiplos bancos de dados são tratados estabelecendo–se uma ordem total para aplicação das atualizações das transações. Esse grupo é modelado como um único componente e gerenciado por um sistema de comunicação de grupo. A combinação de conceitos de bancos de dados com comunicação de grupo demonstra uma interessante solução para aplicações com requisitos de alta disponibilidade, como as aplicações EJB. Os serviços adicionais da arquitetura HA foram implementados em protótipo. A validação através de um protótipo possibilita que experimentos sejam realizados dentro de um ambiente controlado, usando diferentes cargas de trabalho sintéticas. O protótipo combina dois sistemas de código aberto. Essa característica permitiu acesso à implementação e não somente à interface dos componentes dos sistemas em questão. Um dos sistemas implementa a especificação EJB e outro implementa o sistema de comunicação de grupos. Os resultados dos testes realizados com o protótipo mostraram a eficiência da solução proposta. A degradação de desempenho pelo uso de réplicas e da comunicação de grupo é mantida em valores adequados.

Intoxicação por Sida carpinifolia (Malvaceae) em caprinos

Descrevem-se os achados clínicos e patológicos da intoxicação espontânea e experimental por Sida carpinifolia em caprinos. Os achados da intoxicação espontânea serão apresentados em dois artigos. Um deles relata pela primeira vez uma doença investigada em de 1997 no município de Lajeado, RS. O outro artigo descreve os aspectos clínicos e patológicos da intoxicação espontânea em dois surtos adicionais, ocorridos no ano de 2001 no município de Glorinha e em Porto Alegre, RS. Nesses trabalhos caracterizou-se através de exames clínicos, patológicos e ultra-estruturais uma doença de depósito lisossomal. Por análise do padrão de coloração com histoquímica de lectinas, em cortes histológicos do cerebelo, pâncreas e fígado, observou-se afinidade de marcação especificamente com Concanavalia ensiformis, Triticum vulgaris e T. vulgaris-succinilado, similar ao de alfa-manosidose hereditária ou adquirida por ingestão de plantas do gênero Swainsona, Oxytropis, Astragalus e Ipomoea. A caracterização do princípio tóxico da planta, associada com as lesões que induzem o quadro clínico, foi apresentada em forma de um artigo. A metodologia e resultados do estudo experimental da intoxicação por Sida carpinifolia serão aqui descritos. Para caracterizar o quadro clínico e patológico, foi administrada a 14 caprinos, divididos 7 grupos de dois indivíduos cada, Sida carpinifolia, secada a sombra e triturada por períodos de 15, 20, 40, 60, 90 e 120 dias. O consumo diário variou de 14 a 21g/kg nos diferentes grupos durante o experimento. Para outros 3 caprinos efetuou-se a administração forçada da planta seca por via oral, de 10 a 12,5 g/kg, durante 30 dias. O quadro clínico até os 30 dias de consumo da planta consistia principalmente de letargia, alteração intermitente da consistência das fezes e diminuição no ganho de peso. Por volta de 40 dias de consumo, os caprinos demonstravam também incoordenação motora aos estímulos e após os 60 dias de consumo ocorria incoordenação motora espontânea, com tremores musculares de cabeça e pescoço principalmente. As principais alterações histológicas e ultra-estruturais foram vacuolização e tumefação citoplasmática em neurônios, células da tireóide e pâncreas observadas com intensidade leve após 15 dias de consumo e acentuada após os 90 dias de consumo de Sida carpinifolia.