Propriedades antioxidantes de extratos de Passiflora alata Dryander e de Passiflora edulis Sims

O presente estudo investigou as atividades antioxidantes in vitro, ex vivo e in vivo dos extratos de folhas Passiflora alata e Passiflora edulis, plantas usadas na medicina popular e ricas em polifenóis, compostos com reconhecida atividade antioxidante. No modelo experimental in vitro, ambos os extratos demonstraram atividade antioxidante e proteção contra dano protéico induzido por glicose. Fatias de fígado de ratos foram utilizadas como modelo ex vivo. Tanto o extrato de P. alata quanto o extrato de P. edulis protegeram de forma significativa o dano protéico e a morte celular induzidos por FeSO4. Como a P. alata é uma droga oficial da Farmacopéia Brasileira, os efeitos antioxidantes deste extrato foram investigados in vivo. Ratos machos Wistar receberam tratamento intragástrico de extrato de folhas de P. alata (1 e 5 mg/kg), trolox (0,18 mg/kg) ou água (controle) durante 30 dias, seguido de uma dose de CCl4 (3 ml/kg, i.p.) no 30º dia. O dano hepático e os efeitos antioxidantes do pré-tratamento com extrato de P. alata foram avaliados em vários órgãos. Quando comparados ao grupo controle, os ratos pré-tratados com o extrato demonstraram dano hepático menor, evidenciado por um grau menor de necrose, níveis menores de lipoperoxidação e maior atividade das enzimas superóxido dismutase e catalase. Adicionalmente, níveis menores de lipoperoxidação cardíaca foram observados com o pré-tratamento de P. alata (5mg/kg). Os resultados obtidos neste estudo indicam que os extratos de Passiflora são fontes potenciais de antioxidantes naturais. Estudos adicionais investigando o papel de compostos isolados destes extratos em patologias humanas onde o estresse oxidativo está envolvido são necessários.

Avaliação da adição de cargas inorgânicas em EVA-18 e estudo do efeito de agentes interfaciais nas propriedades dos compósitos

Neste trabalho foi realizada a preparação de compósitos tendo como base o uso de poli(etileno-co-acetato de vinila) (EVA) a 18 mol% de acetato de vinila, com cinco tipos diferentes de carga (carbonato de cálcio, sílica, xisto retortado, xisto calcinado e argila sódica), sendo elas usadas naturalmente, funcionalizadas com silano ou tratadas termicamente. As misturas foram processadas durante 15 minutos em câmara de mistura a 160ºC com velocidade dos rotores de 50rpm. Foi verificado que o processamento do EVA não acarretou processos de degradação ou reticulação do polímero. Propriedades mecânicas, calorimetria diferencial de varredura e análises morfológicas foram realizadas para avaliar o efeito da adição de diferentes cargas em distintas concentrações. Os compósitos EVA-18/argila sódica silanizada e EVA-18/xisto calcinado silanizado foram os sistemas que apresentaram os melhores resultados em relação às propriedades mecânicas quando comparado com a matriz polimérica e as demais cargas ensaiadas. O silano teve um papel fundamental na melhoria das propriedades mecânicas. Com apenas 1% (m/m) de argila sódica silanizada obteve-se um aumento de 13% na tensão no ponto de ruptura. Ambos são melhores que o EVA-18/carbonato de cálcio e o EVA-18/sílica comumente utilizados na indústria. Baseando-se nos resultados obtidos, conclui-se que tanto a argila sódica silanizada quanto o xisto calcinado silanizado são alternativas econômicas e eficientes a serem aplicadas como uma possibilidade de escolha de carga para melhorar as propriedades mecânicas do EVA.

Equações de advecção-difusão: propriedades e comportamento assintótico

Neste trabalho, examinamos em detalhe resultados recentes apresentados em [Zingano, 1999], [Zingano, 2004], [Zingano, 1996a] [T. Hagstrom, 2004] sobre o comportamento de soluções para equações (escalares) de ad vecção-difusão nãolineares, da forma Ut + div(f(u)) = div(A(u)V'u), x E ]Rn, t > O correspondentes a estados iniciais u(., O) E LI(]Rn) n DXJ(JRn).Aqui, A(u) E ]Rn é uniformemente positiva definida para todos os valores de u em questão, e f( u) = (f1(u),..., fn(u)) corresponde ao fluxo advectivo, com A, f suaves. Entre os vários resultados, tem-se em particular os limites assintóticos . !!. (I_l) Iml (47rÀ)~ 11mt2 p Ilu(" t)IILP(JRn) = (4 À)!!. - , t-++oo 7r 2 P para cada 1 :::;P :::;00, uniformemente em p, bem como lim t~(l-i) Ilu(" t) - u(',t)IILP(JRn) = O, t-++oo 1:::; p:::; 00 para duas soluçõesu(', t), u(', t) quaisquer correspondentesa estados iniciais u(', O),u(', O)E LI (]Rn) n Loo(]Rn) com a mesma massa, isto é, r u(x, O)dx = r u(x,O)dx JJRn JJRn Outra propriedade fundamental, válida em dimensão n ;:::2, é lim t%(l-~) Ilu(" t) - v(', t) IILP(JRn) = O t-++oo para cada 1 :::;p :::; 00, se v(', t) é solução da equação de advecção-difusão linear Vt + f (O) . V'v= div(A(O)V'v), x E ]Rn, t > O, com u(', O),v(', O) E U(]Rn) n Loo(JRn) tendo a mesma massa. Outros resultados de interesse são também discutidos.

FreeMMG : uma arquitetura cliente-servidor e par-a-par de suporte a jogos maciçamente distribuídos

A popularização das tecnologias de acesso à Internet por “banda larga” suportam a crescente proliferação de aplicações do tipo “par-a-par” (peer-to-peer), onde o usuário doméstico, tipicamente consumidor de informação, passa também a atuar como provedor. De forma simultânea, há uma popularização crescente dos jogos em rede, especialmente dos “jogos maciçamente multijogador” (MMG ou massively multiplayer game) onde milhares de jogadores interagem, em tempo real, em mundos virtuais de estado persistente. Os MMGs disponíveis atualmente, como EverQuest e Ultima Online, são implementados como sistemas centralizados, que realizam toda a simulação do jogo no “lado servidor”. Este modelo propicia controle de acesso ao jogo pelo servidor, além de ser muito resistente a jogadores trapaceiros. Porém, a abordagem cliente-servidor não é suficientemente escalável, especialmente para pequenas empresas ou projetos de pesquisa que não podem pagar os altos custos de processamento e comunicação dos servidores de MMGs centralizados. Este trabalho propõe o FreeMMG, um modelo híbrido, cliente-servidor e par-a-par, de suporte a jogos maciçamente multijogador de estratégia em tempo real (MMORTS ou massively multiplayer online real-time strategy). O servidor FreeMMG é escalável pois delega a maior parte da tarefa de simulação do jogo para uma rede par-apar, formada pelos clientes. É demonstrado que o FreeMMG é resistente a certos tipos de trapaças, pois cada segmento da simulação distribuída é replicado em vários clientes. Como protótipo do modelo, foi implementado o jogo FreeMMGWizards, que foi utilizado para gerar testes de escalabilidade com até 300 clientes simulados e conectados simultaneamente no mesmo servidor Os resultados de escalabilidade obtidos são promissores, pois mostram que o tráfego gerado em uma rede FreeMMG, entre servidor e clientes, é significativamente menor se comparado com uma alternativa puramente cliente-servidor, especialmente se for considerado o suporte a jogos maciçamente multijogador de estratégia em tempo real.

Equação de burgers propriedades e comportamento assintótico

No presente trabalho, obtemos e analisamos diversas propriedades das soluções u(·, t) da equação de difusão linear (equação do calor em meios unidimensionais homogêneos) ut = μuxx x 2 R, t > 0 correspondentes a estados iniciais u(x, 0) = u0(x), com u0 2 Lp(R), para algum 1 p < 1; bem como da equação de Burgers ut + cuux = μuxx x 2 R, t > 0 onde c, μ são constantes dadas, sendo c 6= 0 e μ > 0 e ainda assumindo u(x, 0) = u0(x) com u0 2 Lp(R) para 1 p < 1, e limitado. Estudamos também a equação mais geral da forma ut + f(u)x = μuxx x 2 R, t > 0 discutindo várias propriedades importantes das soluções, associadas a estados iniciais u0 2 Lp(R) \ L1(R) para algum 1 p < 1. Em particular, examinamos o comportamento de ku(·, t)kLr(R), p r 1, para t >> 1, e diversas propriedades relacionadas.

Influência da imersão em desinfetante a base de ácido peracético sobre as propriedades de um compósito odontológico de uso indireto

O objetivo deste trabalho foi avaliar a influência da imersão no desinfetante a base de ácido peracético 0,2% (STERILIFE, Lifemed Produtos Médicos Comércio Ltda, São Paulo, SP) sobre as propriedades de resistência flexural, sorção e solubilidade do compósito odontológico BelleGlass HP (Kerr, Orange, USA). Para cada ensaio foram confeccionados dez corpos de prova do compósito, utilizando-se as matrizes determinadas pela especificação no 4049 da International Organization for Standardization (ISO), sendo cinco submetidos a três imersões no desinfetante durante 10 minutos, intercaladas por 10 minutos em água destilada estéril e os outros cinco serviram como grupo controle. Para o ensaio de resistência flexural, após os corpos de prova ficarem imersos em água a 37° C, por 24 horas, foram levados à Máquina de Ensaio Universal DL 2000 (EMIC, São José dos Pinhais, Paraná, Brasil). A norma ISO n0 4049 exige uma resistência flexural mínima de 100 MPa. Para os ensaios de sorção e solubilidade os corpos de prova foram submetidos a ciclos a 37 C em um dessecador por 22 horas e, 2 horas em um segundo dessecador, a 23C, até a obtenção de uma massa constante (m1). Após 7 dias em banho de água a 37 C, procedeu-se à avaliação da massa do corpo de prova hidratado (m2). Posteriormente as amostras retornaram para o primeiro dessecador e todo o ciclo foi repetido até encontrar-se a terceira massa (m3) recondicionada. A norma ISO n0 4049 exige valores menores ou iguais a 40 g/mm3 e 7,5g/mm3 para a aprovação, em relação à sorção e solubilidade. Os resultados deste trabalho mostraram que as propriedades de resistência flexural, sorção e solubilidade do compósito BelleGlass HP de todos os corpos de prova dos grupos experimental e controle atenderam às exigências da especificação. Portanto pode se prever que o procedimento da imersão neste desinfetante não trará prejuízo às restaurações indiretas do compósito considerando as propriedades avaliadas.

Estudo do efeito da remoção de graxa nas propriedades das juntas homocinéticas de poliéter-éster

Nesta dissertação, foi estudado o processo de remoção de graxa lubrificante, que estava untada em mangas das juntas homocinéticas de poliéteréster (Hytrel e Arnitel) com solventes. A proposta seria remover esta graxa com solventes e reutilizar as mangas novamente nas juntas homocinéticas, para diminuir o impacto ambiental. Para a limpeza das mangas, os solventes deveriam atender às exigências de máxima capacidade de remoção da graxa, mínima agressão às mangas e compatibilidade com as normas ambientais vigentes. Inicialmente, para a caracterização dos polímeros foram utilizadas as técnicas de análise térmica (TGA, DSC e DMA), e espectroscopia no infravermelho (IR); para os solventes foi utilizada a cromatografia gasosa acoplada à espectrometria de massa (CG/MSD), e para as graxas, o IR. A partir dos ensaios de inchamento dos solventes nos polímeros foram selecionados os três solventes (Solbrax-Eco 145/210, Siderclean 53 e Renotest LM) nos quais as graxas apresentavam maior solubilidade. Numa segunda etapa, estudaram-se as condições nas quais os solventes alterariam as propriedades dos polímeros através dos ensaios térmicos (TGA, DSC e DMA) e mecânicos (ensaio de tração e dureza). A partir do DSC obteve-se a Tm, Tc e o percentual de cristalinidade dos polímeros puros e dos polímeros imersos nos três solventes. Através do DMA, obteve-se o módulo de armazenamento (E’), módulo de perda (E”) e a tangente de perda (tan d) dos polímeros puros e dos polímeros imersos nos solventes (2, 5 e 9 dias). Baseado nos ensaios de tração dos polímeros puros e imersos nos solventes, estudou-se a tensão e o alongamento na ruptura, o módulo de elasticidade, e a força máxima até a ruptura. Concluiu-se, a partir dos ensaios térmicos, que os solventes atuam como plastificantes nos polímeros, alterando fortemente o seu comportamento térmico, dinâmico-mecânica e mecânico. À medida que o tempo de imersão dos polímeros nos solventes aumenta, uma maior quantidade de solvente é incorporada nos polímeros e a região da temperatura de transição vítrea e a tan d das amostras deslocam-se progressivamente para temperaturas mais baixas. Foi igualmente observada uma diminuição do módulo de elasticidade dos polímeros após a imersão nos solventes.

Determinação da microestrutura e relação com as propriedades dos terpolímeros de etileno-propileno-alfa-olefinas

Na busca por novos materiais, foram sintetizados uma série de terpolímeros de etilenopropileno –α-olefinas superiores (1-hexeno, 1-deceno e 1-octadeceno) usando o sistema catalítico rac-Et[Ind]2ZrCl2/MAO. A razão entre E/P foi variada e duas concentrações de termonômeros foram estudadas. Neste trabalho foram apresentados os resultados qualitativos e quantitativos da caracterização desses terpolímeros através da técnica de ressonância magnética de carbono 13 (RMN de 13C). Foram apresentados os deslocamentos químicos observados e devidamente identificados, assim como a análise quantitativa da distribuição das tríades, do comprimento médio de unidades consecutivas e das razões de reatividade. O efeito da adição de uma olefina de cadeia longa ao sistema etileno-propileno foi avaliado através dos resultados obtidos da atividade catalítica, teor de incorporação, nas propriedades térmicas, na massa molar e propriedades mecânicas. Também foi realizado um estudo da heterogeneidade de algumas amostras através do fracionamento por eluição com gradiente de temperatura (TREF). O sistema rac-Et[Ind]2ZrCl2/MAO mostrou-se eficiente na terpolimerização do etileno e a técnica de RMN de 13C permitiu a completa caracterização de todos os terpolímeros obtidos. Esses terpolímeros mostraram-se como um sistema complexo onde foi possível observar que, dependendo do tipo de olefina que irá coordenar no sítio ativo do rac- Et[Ind]2ZrCl2/MAO, haverá mudanças significativas nas atividade e nas propriedades desses materiais. Verificou-se que as três α-olefinas superiores estudadas foram incorporadas a cadeia polimérica, sendo que na maioria dos casos a α-olefina mais incorporada foi o 1-octadeceno nas duas concentrações de termonômero analisadas. O aumento da incorporação de propeno acarreta uma diminuição no teor de termonômero incorporado. A incorporação do propeno acarreta uma diminuição das unidades cristalizáveis de etileno, provocando um decréscimo na temperatura de fusão, com o aumento da incorporação de propeno ocorre um aumento das seqüências de propeno cristalizáveis e conseqüentemente a temperatura de fusão. A massa molecular também diminui devido ao aumento das reações de terminação por β-eliminação de hidreto. Observou-se que os terpolímero apresentaram um módulo menor do que os copolímeros. Esses terpolímeros estudados apresentaram um comportamento elastomérico, podendo ser classificados como Elastômeros Termoplásticos.

Determinação indireta das propriedades mecânicas de aço ASTM A36 laminado com o uso de ultra-som

Este trabalho tem por objetivo analisar a possibilidade do uso da técnica de análise por ultra-som como uma alternativa aos ensaios de tração para a avaliação das propriedades mecânicas de barras laminadas de aço baixo carbono. O método prevê a aplicação da técnica como uma opção econômica e ágil em programas de qualidade das características dos aços produzidos. Para o desenvolvimento deste estudo foi escolhido como material de análise o aço ASTM A36 na forma de barras redondas laminadas de 1 polegada de diâmetro. Foram adquiridas amostras de 15 corridas de produção deste aço sendo que as amostras de uma destas corridas foram submetidas a diferentes tratamentos térmicos. Foram realizadas medidas de velocidade sônica e avaliação da atenuação sônica por medidas de ganho com a aplicação de ondas longitudinais e com o uso de dois equipamentos diferentes e transdutores de 4, 5 e 15MHz. Esses resultados foram correlacionados com os dados de limite de escoamento, limite de resistência e alongamento na ruptura. Foi realizado um estudo metalográfico de tamanho de grão e do teor de inclusões, além de análise de composição química das amostras e a relação destes fatores com as propriedades acústicas. Foram comparados também os dados de velocidade e atenuação sônica das amostras apenas laminadas com os resultados obtidos com as amostras tratadas termicamente Como resultado, foi demonstrada a possibilidade do uso da técnica apresentada para estimar as propriedades mecânicas do aço estudado, em especial o limite de resistência, determinando a capacidade do uso do ultra-som para o controle das características mecânicas no processo produtivo deste e também de outros tipos de materiais metálicos.

Propriedades geotécnicas dos solos coluvionares do gasoduto Bolívia-Brasil em Timbé do Sul (SC)

Esta dissertação de mestrado apresenta estudos sobre as propriedades geotécnicas dos solos coluvionares existentes ao longo do gasoduto Bolívia-Brasil em Timbé do Sul (SC), na região sul do Brasil. Estas propriedades deverão ser utilizadas em análises de estabilidade de taludes naturais e de corte ao longo do gasoduto, principalmente na avaliação da suscetibilidade à iniciação de fluxos de detritos (debris flows), já constatados na região em Dezembro de 1995. Os fluxos de detritos são os movimentos de massa que representam maior risco à integridade física do gasoduto na região investigada. Ressalta-se que rupturas de gasodutos, como a ocorrida no México em Junho de 2003, em função de um fluxo de detritos, podem ter conseqüências devastadoras em termos de perda de vidas e danos a propriedades e ao meio ambiente. A área investigada é formada por depósitos coluvionares originados da Formação Serra Geral, geralmente associados à existência de perfis com horizontes de solo residual e blocos de rocha, originários de maciços rochosos fraturados. Dois depósitos coluvionares investigados foram identificados como provenientes da decomposição de rochas vulcânicas. Estes depósitos encontram-se assentes sobre solo residual de basalto. Outro depósito coluvionar estudado foi identificado como oriundo da degradação de arenito intertrap. Os ensaios de laboratório realizados foram ensaios de expansão, ensaios de caracterização, ensaios de cisalhamento direto, ensaios ring shear e ensaios triaxiais (CIU) e especiais Os ensaios triaxiais especiais consistiram em uma fase de cisalhamento inicial realizada sob condições drenadas até próximo do estado de tensões existente no campo, seguida de um carregamento não drenado até a ruptura. Estes ensaios demonstraram que, na fase não drenada e sob baixas tensões de confinamento, ocorre um aumento de poropressão seguido pela diminuição da mesma até valores negativos. Mostram também que, carregamentos não drenados em baixas tensões confinantes sobre este solo não induzem tendência a liquefação.

O uso da pressão expiratória positiva durante o desmame da ventilação mecânica : uma comparação com os métodos de pressão suporte e tubo T.

Introdução: O uso da pressão expiratória positiva na via aérea (EPAP) não é sugerido como técnica de desmame. O EPAP pode previnir o colapso das vias aéreas durante a expiração. Objetivo: O objetivo deste trabalho é verificar se a utilização da pressão expiratória positiva na via aérea (EPAP) apresenta benefícios na redução da hiperinsuflação dinâmica com redução do trabalho respiratório e melhora da oxigenação em pacientes submetidos ao processo de desmame da ventilação mecânica. Material e Métodos: Quarenta pacientes submetidos à ventilação mecânica por um período maior que 48 horas em 2 unidades de terapia intensiva foram avaliados prospectivamente em um estudo randomizado controlado cruzado. Todos os pacientes foram submetidos métodos de ventilação de pressão de suporte (PSV), tubo-t e EPAP, durante 30 minutos, com um período de descanso de 30 minutos entre cada método. Os pacientes foram monitorizados pelo VenTrack (Novametrix, EUA). As variáveis estudadas, mensuradas no minuto 1, 15 e 30, foram: PEEP intínseca (PEEPi), trabalho respiratório (WOBtotal), frequência respiratória (f), volume de ar corrente (Vt) e saturação periférica de oxigênio (SaO2). A amostra geral foi analisada e dividida em subgrupos DPOC (n= 14) e não-DPOC (n=26), traqueostomizados (n=15) e não-traqueostomizados (n=25). As comparações foram feitas pela Análise de Variância (ANOVA) e teste-t. O nível de significância foi de 95%. Resultados: PEEPi DPOC e não-DPOC minuto 1 (0,014 + 0,03 versus 0,17 + 0,38 cmH2O) e minuto 15 (0,042 + 0,13 versus 0,41 + 0,78 cmH2O) (p<0,05). No subgrupo não-traqueo, nos métodos de PSV15 (0,26 + 0,5 cm H2O) e EPAP15 (0,02 + 0,07 cm H2O), assim como PSV 30 (0,21 + 0,4 cm H2O) e EPAP 30 (0,02 + 0,1 cm H2O) (p<0,05). Para traqueo vs não-traqueo, no método EPAP minuto 1 (PEEPi traqueo 0,58 + 0,94 cm H2O; PEEPi não-traqueo 0,08 + 0,28 cmH2O) e minuto 15 (PEEPi traqueo 0,91 + 2,06 cm H2O; PEEPi não-traqueo 0,02 + 0,07 cmH2O) (p<0,05). Em relação ao WOBtotal houve um aumento significativo no método EPAP em relação ao tubo-t na análise geral da amostra (p<0,05). A f mostrou-se maior no método EPAP para o subgrupo não-DPOC e não-traqueo (minutos 1, 15 e 30). A SaO2 foi maior no subgrupo PSV quando comparada com tubo-t na análise geral da amostra, (p<0,05) Conclusões: A EPAP não demonstrou redução na PEEPi na análise geral da amostra, subgrupo DPOC, não-DPOC e traqueostomizados. Houve redução na PEEPi no grupo não-traqueostomizados. Houve aumento do WOBtotal com o uso da EPAP. Neste estudo a EPAP não demonstrou vantagens em relação aos outros métodos.

Workflow de autoria de cursos para educação a distância com suporte à cooperação

As exigências sociais atuais levam ao repensar das ações educacionais, evidenciando a Educação a Distância (EAD). Esta modalidade de educação, embasada por concepções pedagógicas consistentes e associada às tecnologias de informática e comunicação, é capaz de alavancar novos modelos rompendo com os já estabelecidos. As tecnologias de workflow se apresentam como uma alternativa à modelagem de cursos para EAD. Um workflow permite organizar e descrever todo o processo que está sendo modelado, a partir de suas atividades. Da mesma forma modelos de construção de cursos para EAD sugerem a separação do processo em etapas compostas por atividades. A autoria destes cursos acontece por meio de equipes multidisciplinares atuando em trabalho cooperativo. A cooperação na equipe de autoria é fundamentada pelos requerimentos de apoio à sua efetividade, de acordo com os comportamentos e funcionalidades cooperativas. No trabalho de Sizilio é sugerida a utilização de um workflow para guiar as atividades de autoria de um curso para EAD. Note-se que o workflow de autoria proposto por Sizilio considera apenas um autor para a construção do curso, não contemplando a autoria feita por uma equipe de autores desempenhando um trabalho cooperativo. O objetivo desta dissertação é especificar um workflow de autoria de cursos para EAD com suporte à cooperação, a partir do workflow de Sizilio. Este workflow constitui um modelo formal de construção cooperativa de cursos nesta modalidade educacional. O trabalho apresenta, além da proposta do workflow de autoria de cursos para EAD com suporte à cooperação, fundamentos e particularidades da EAD sob a ótica da autoria de cursos. Analisa, ainda, a cooperação vislumbrando as equipes de autoria em trabalho cooperativo e a tecnologia de modelagem de workflow aplicada a cursos de EAD. A análise de viabilidade do workflow proposto e do suporte oferecido ao desenvolvimento cooperativo de um curso foi feita através de estudo de caso real, sendo apresentados os comentários do grupo envolvido na autoria do curso.

Grafos internos e multirrelações como "spans" : propriedades e composicionalidade

Um span em uma categoria é um par ordenado de morfismos dessa categoria, ambos com origem num mesmo objeto. O destino do primeiro morfismo é a origem do span e o destino do segundo morfismo é o destino do span. Spans, embora sejam uma estrutura bastante simples numa categoria e tenham uma definição também bastante simples, são versáteis, pois, com especializações sutis apresentadas aqui, são capazes de representar outras estruturas, tais como as tratadas nesses trabalho: relações binárias, multirrelações binárias, grafos e, em conjunto com um morfismo adicional, sistemas de transições etiquetadas (LTS). Permitem ainda, como proposto nesse trabalho, definir de forma também simples, redes de Petri como sendo um endospan em uma categoria. Mostra-se que a composição de spans aplicada a essas estruturas é capaz de expresar a composição de multirrelações — mas não de relações —, uma composição de grafos cujo grafo resultante indica caminhos em que cada parte é uma aresta de um dos grafos operados, uma composição de LTS cujo LTS resultante apresenta transações que podem ser compostas por transições de diferentes LTS e uma composição de redes de Petri cujo resultado também apresenta transações compostas por transições que podem ser realizadas em redes de Petri distintas. Mostra-se algumas propriedades dessas composições, bem como suas provas. Como verificar propriedades de relações e de grafos através de spans também é proposto.

Primitivas para suporte à distribuição de objetos direcionados à pervasive computing

Renovados são os desa os trazidos à computação distribuída pelos recentes desenvolvimentos nas tecnologias de computação móvel. Tais avanços inspiram uma perspectiva na qual a computação tornar-se-á uma entidade ubíqua em um futuro próximo, estando presente nas mais simples atividades do dia-a-dia. Esta perspectiva é motivadora das pesquisas conduzidas no escopo do projeto ISAM, as quais investigam as questões relativas ao uso da computação em ambientes móveis de larga escala. Neste trabalho é apresentado o sistema PRIMOS (PRIMitives for Object Scheduling), o qual busca, pela complementação da plataforma Java, satisfazer as emergentes necessidades do ISAM. Especi camente, o PRIMOS constitui um conjunto de primitivas para instanciação remota e migração de objetos, comunicação e monitoração, direcionadas a um ambiente de computação distribuída de larga escala de características pervasivas. A primitiva de instanciação remota disponibilizada pelo PRIMOS aumenta a plataforma Java padrão com a possibilidade de criar e ativar objetos em nodos remotos do sistema. Por sua vez, a primitiva de migração faculta a relocação de objetos. A consecu- ção de tais semânticas tem como sub-produto a de nição de semânticas para ativação e desativação de objetos, assim como para captura e restauração de contexto de execução. Sob a perspectiva da comunicação, o PRIMOS de ne um esquema de endereçamento independente de protocolo de transporte, assim como uma interface neutra para acesso às facilidades de comunicação. A integração destas funcionalidades ao mecanismo de invocações remotas da plataforma Java, o RMI, permite a desvinculação deste da pilha TCP/IP. Por conseguinte, habilita a adoção de transportes otimizados ao hardware de comunicação disponibilizado pelo sistema. No que se refere à monitoração, o PRIMOS de ne um esquema exível e extensível baseado em sensores. A exibilidade vem principalmente da possibilidade dos sensores terem seus parâmetros de operação recon gurados a qualquer momento em resposta a novas necessidades do sistema. Por outro lado, o sistema é extensível pois o conjunto de sensores básicos, ditos nativos, pode ser aumentado por sensores providos pela aplicação. Com intuito de validar as idéias postuladas, um protótipo foi construído para o sistema. Sobre este, baterias de testes foram realizadas para cada uma das primitivas constituintes do PRIMOS.