Transições de fase em compostos de estrutura aberta sob altas pressões

Resumo não disponível.

Instituições de abrigo, família e redes de apoio social e afetivo em transições ecológicas na adolescência

Este trabalho enfoca a problemática da institucionalização, investigando a rede de apoio de adolescentes institucionalizados e o processo de reinserção familiar. A partir de uma revisão de literatura sobre institucionalização e da consideração dos abrigos de proteção como contextos de desenvolvimento, são apresentados dois estudos empíricos. O primeiro estudo objetivou investigar a percepção de adolescentes institucionalizados quanto à rede de apoio social e afetivo. Foram utilizadas entrevistas semi-estruturadas e o Mapa dos Cinco Campos em 35 participantes, de ambos sexos, com idade entre 11 e 16 anos. Os resultados do primeiro estudo apontam os adultos como principal fonte de apoio, especialmente os familiares e os monitores dos abrigos, sendo que o principal tipo de apoio foi o instrumental. A segunda pesquisa, um estudo de caso de uma adolescente de 12 anos, que esteve abrigada por suspeita de abuso sexual, objetivou compreender o processo de reinserção familiar, após um período de abrigamento. Foram utilizados os instrumentos Mapa dos Cinco Campos e FAST, entrevistas e levantamento em prontuários, além da inserção ecológica, possibilitando conhecer a percepção de rede de apoio social e afetivo, coesão e hierarquia da participante e, também, identificar os fatores de risco e proteção dos microssistemas família e abrigo. Os resultados indicam a presença de características disfuncionais na família da participante, como baixa coesão e desequilíbrio de poder, e de fatores de risco mais numerosos e expressivos, sobrepondo-se aos de proteção. Dessa forma, destaca-se a necessidade de trabalhos de capacitação com os profissionais dos abrigos, tendo em vista sua importância para os adolescentes, e de políticas de planejamento e acompanhamento dos processos de reinserção familiar, para que estas transições ecológicas possam ocorrer de forma satisfatória.

Influência do tipo e teor de comonômero na estrutura e propriedades de copolímeros de etileno sintetizados com catalisador metalocênico

As propriedades de uma série de copolímeros de etileno sintetizados com catalisador metalocênico (Et[Ind]2ZrCl2/MAO) foram estudadas. A fim de avaliar a influência do tipo e teor de comonômero na estrutura e propriedades dos mesmos, foram utilizados diferentes tipos de comonômeros: α-olefinas (1-buteno, 1-hexeno, 1-octeno, 1-deceno, 1-octadeceno e 4-metil-1-penteno), cicloolefinas (norborneno, ciclopenteno, ciclohexeno, cicloocteno e vinil-ciclohexano) e ciclodienos (ciclopentadieno, diciclopentadieno e 4-vinil-1-ciclohexeno) em uma larga faixa de composição (0 à 28 % em mol de comonômero). A influência da temperatura de polimerização e a concentração de comonômero na atividade catalítica e nas propriedades dos copolímeros de etileno/ciclodienos e etileno/cicloolefinas sintetizados foram estudadas e os copolímeros foram caracterizados através de 1H-NMR, 13C-NMR, HETCOR, DSC e GPC. As propriedades termodinâmicas, estruturais e mecânicas destes copolímeros foram estudadas através de técnicas tais como DSC, WAXS, espectroscopia Raman de modo interno, DMTA, ensaios de tensão/deformação, etc. Em geral, foi observado um decréscimo na cristalinidade e temperatura de fusão dos copolímeros com o aumento do teor de comonômero incorporado nos mesmos, independente do tipo de ramificação. Quando rapidamente resfriados, os copolímeros de etileno/α-olefinas e alguns copolímeros etileno/ciclodienos e etileno/cicloolefinas, com distribuição aleatória de comonômero na cadeia, apresentaram comportamento que concorda com o previsto pela teoria de equilíbrio de fases proposta por Flory. Análises termo-dinâmico-mecânicas dos copolímeros indicaram que o teor de comonômero apresenta grande influência nas transições α e β, mas apresenta pouca influência na transição γ. Em geral, foi concluído que as propriedades e morfologia dos copolímeros de etileno estudados são bastante influenciadas pelo teor de comonômero e distribuição do mesmo na cadeia polimérica, porém são pouco influenciadas pelo tipo de comonômero.

Functional timing analysis of VLSI circuits containing complex gates

The recent advances in CMOS technology have allowed for the fabrication of transistors with submicronic dimensions, making possible the integration of tens of millions devices in a single chip that can be used to build very complex electronic systems. Such increase in complexity of designs has originated a need for more efficient verification tools that could incorporate more appropriate physical and computational models. Timing verification targets at determining whether the timing constraints imposed to the design may be satisfied or not. It can be performed by using circuit simulation or by timing analysis. Although simulation tends to furnish the most accurate estimates, it presents the drawback of being stimuli dependent. Hence, in order to ensure that the critical situation is taken into account, one must exercise all possible input patterns. Obviously, this is not possible to accomplish due to the high complexity of current designs. To circumvent this problem, designers must rely on timing analysis. Timing analysis is an input-independent verification approach that models each combinational block of a circuit as a direct acyclic graph, which is used to estimate the critical delay. First timing analysis tools used only the circuit topology information to estimate circuit delay, thus being referred to as topological timing analyzers. However, such method may result in too pessimistic delay estimates, since the longest paths in the graph may not be able to propagate a transition, that is, may be false. Functional timing analysis, in turn, considers not only circuit topology, but also the temporal and functional relations between circuit elements. Functional timing analysis tools may differ by three aspects: the set of sensitization conditions necessary to declare a path as sensitizable (i.e., the so-called path sensitization criterion), the number of paths simultaneously handled and the method used to determine whether sensitization conditions are satisfiable or not. Currently, the two most efficient approaches test the sensitizability of entire sets of paths at a time: one is based on automatic test pattern generation (ATPG) techniques and the other translates the timing analysis problem into a satisfiability (SAT) problem. Although timing analysis has been exhaustively studied in the last fifteen years, some specific topics have not received the required attention yet. One such topic is the applicability of functional timing analysis to circuits containing complex gates. This is the basic concern of this thesis. In addition, and as a necessary step to settle the scenario, a detailed and systematic study on functional timing analysis is also presented.

A montagem no cinema e a associação-livre na psicanálise

O Cinema e a Psicanálise são contemporâneos. Ao longo do ano de 1995 muitos eventos marcaram a comemoração do centenário de um e outro. Se ambos surgem no mesmo momento histórico, que outros elos poderiam ser estabelecidos? Algumas considerações preliminares marcam possibilidades de interseções entre um e outro campo, para logo fazer um recorte onde a escolha recai por estabelecer uma associação entre os temas da associação-livre na psicanálise e a montagem no cinema. A questão básica norteadora da pesquisa está dada pela busca de bases comuns entre o fazer do analista quando interpreta a cadeia associativa produzida por seus pacientes e o fazer do montador quando produz cortes e junções de trechos fílmicos justapondo-os em uma seqüência determinada. A metodologia que perpassa a presente pesquisa está constituída basicamente pelo referencial psicanalítico. Subsidiariamente os aportes postos pelo método clínico piagetiano, em suas origens, servem de guia e inspiração para alguns momentos do trabalho. Estudamos cadeias associativas produzidas em três contextos diferentes, configurando três fontes de coleta e análise de dados: trechos de falas de pacientes em análise, principalmente aqueles que fazem referências a relatos de sonhos e filmes; "montagens" de trechos de filmes produzidas por alunos para ilustrar trabalhos na disciplina de "Teoria e Técnicas Psicoterápicas" e cortes e transições numa seqüência fílmica digitalizada utilizando os recursos propiciados pelo software Adobe Premiere LE. Algumas conclusões apontam no sentido da possibilidade de ser profícuo o trabalho conjunto de cineastas e psicanalistas, especialmente na constituição de um laboratório de estudos para construção de conhecimentos e desenvolvimento das habilidades requeridas para a formação de profissionais das duas áreas. Muitas perspectivas para desdobramentos e continuidade são indicadas, visando constituir uma linha de pesquisa sistemática na interseção dos campos do cinema e da psicanálise

Hyper-Automaton: avaliação interativa de alunos em cursos na WEB baseado em autômatos finitos

O objetivo desta dissertação é a elaboração de uma técnica da aplicação do formalismo de Autômatos Finitos com Saída (Máquina de Mealy e Máquina de Moore) como um modelo estrutural para a organização de hiperdocumentos instrucionais, em destacar especial, Avaliação e Exercício. Esse objetivo é motivado pela organização e agilização do processo de avaliação proporcionado ao professor e ao aluno. Existem diferentes técnicas de ensino utilizadas na Internet, algumas dessas continuam sendo projetadas com o uso de metodologias tradicionais de desenvolvimento, outras têm a capacidade de modelar de forma integrada e consistente alguns aspectos necessários para uma aplicação WEB. Para alcançar o objetivo proposto, foram realizadas pesquisas nas várias áreas abrangidas pelo tema em evidência, tanto relativo ao processo tradicional (aplicação de prova utilizando metodologia tradicional), como o desenvolvimento de software mediado por computador e uso da Internet em si. A modelagem de desenvolvimento para Internet deve integrar características de técnicas de projeto de sistemas de hipermídia devido à natureza hipertextual da Internet. O uso de hiperdocumento como autômatos com saída está na forma básica de representação de hipertexto, em que cada fragmento de informação é associado a um nodo ou a um link (estado/transições) do grafo. Sendo assim, os arcos direcionados representam relacionamentos entre os nodos ou links, ou seja, uma passagem do nodo origem para o nodo destino. As n-uplas dos autômatos apresentam uma correspondência as estruturas de hiperdocumentos na WEB, seu estado/transição inicial corresponde a sua primeira página e suas transições definidas na função programa, funcionam como ligações lógicas, quando selecionadas durante a navegação do hipertexto. Entretanto, faz-se necessário um levantamento dos modelos de hipertextos e das ferramentas de implementação disponíveis para a Internet, a fim de que seja capaz de suportar as peculiaridades do ambiente. Tudo isso deve ser integrado preferencialmente em um paradigma de desenvolvimento amplamente aceito, para que os projetistas não tenham muitas dificuldades em assimilar os conceitos propostos. A proposta apresentada nesta dissertação, batizada de Hyper-Automaton (hipertexto e autômato), consiste na integração de um Curso na WEB, utilizando formalismo de Autômatos Finitos com Saída para a modelagem dos conceitos necessários e definição das fases adequadas para completar a especificação de Sistema Exercício e Avaliação, bem como a especificação da Geração Automática dos Exercícios e Avaliações baseadas em autômatos para a WEB. Os modelos criados abrangem conceitos de Máquina de Mealy, Máquina de Moore e Aplicações de Hiperdocumentos e Ferramentas de Programação para Internet, os mesmos já testados em caso real. Os parâmetros apurados, nos testes, serviram a uma seqüência de etapas importantes para modelar e complementar a especificação do sistema projetado. Com os parâmetros e etapas de modelagem, a metodologia Hyper-Automaton consegue integrar, de forma consistente, as vantagens de várias técnicas específicas de modelagem de documentos e sistemas de hipermídia. Essas vantagens, aliadas ao suporte às ferramentas de desenvolvimento para Internet, garantem que a metodologia fique adequada para a modelagem de Sistemas com aplicação de métodos de autômatos para exercícios e avaliação na WEB.

Diretrizes e critérios de cobertura de teste a partir de especificações UML

As maiores dificuldades encontradas no teste de software estão relacionadas à definição dos dados de teste e a decisão de quando encerrar os testes. Uma das formas encontradas para minimizar tais dificuldades está centrada na utilização de critérios de cobertura. O principal objetivo dos critérios de cobertura é tornar o processo de testes mais rápido e preciso, fornecendo informações que determinem o que testar em um software para garantir sua qualidade. A modelagem é um dos elementos de maior importância nas atividades relacionadas ao desenvolvimento de software. Os modelos são construídos principalmente para melhor se entender o sistema, descrever a estrutura e comportamento desejados, visualizar a arquitetura e documentar as decisões tomadas durante o seu desenvolvimento. Atualmente, o sistema de notação mais utilizado para a modelagem de sistemas baseados nos conceitos de orientação a objetos é a Linguagem de Modelagem Unificada – UML [LAR 99]. Nesta notação, um sistema é descrito por um conjunto de diagramas que apresentam diferentes aspectos do sistema. As informações disponibilizadas por estes diagramas propiciam, já nas fases iniciais do desenvolvimento da aplicação (análise e projeto), o planejamento dos casos de teste e a definição de critérios de cobertura. Observa-se que nestas fases a maioria das informações necessárias para o teste já estão disponíveis, como por exemplo, a definição das classes com seus atributos, métodos e relacionamentos, a representação da interação existente entre objetos para a realização de um cenário e a descrição dos possíveis estados e transições de um objeto em resposta a eventos externos e internos. Este trabalho propõe um conjunto de diretrizes e critérios de cobertura de teste, tendo como base as especificações diagramáticas UML. As diretrizes estabelecem um conjunto de instruções para que o teste seja feito e os critérios de cobertura identificam os pontos principais e serem considerados durante o teste. Na definição das diretrizes e dos critérios foram avaliadas as informações disponibilizadas pelos diagramas de classes, seqüência, colaboração e estados.

Padrões e processos espaço-temporais em ecótonos de campos e floresta com araucária, em São Francisco de Paula, RS

Conjecturas sobre os processos ecológicos que formaram no Planalto Meridional Brasileiro o mosaico vegetacional de Floresta com Araucária e Campos têm sido postuladas. Estudos paleopalinológicos recentes confirmam a hipótese de expansão florestal sobre as áreas campestres, em virtude de alterações climáticas ocorridas no Holoceno. Por outro lado, os regimes de queima e de pastejo, provavelmente, têm retardado o estabelecimento arbóreo em áreas campestres. Portanto, os padrões vegetacionais têm resultado de processos ocorrendo em diferentes escalas espaço-temporais. Esta dissertação objetiva investigar padrões e processos espaço-temporais da vegetação atual em ecótonos entre Campos e Floresta com Araucária. Para tanto, estudos foram conduzidos no Centro de Pesquisas e Conservação da Natureza (CPCN) Pró-Mata, em São Francisco de Paula, RS, uma área de encontro de formações campestre e florestais, destinada à conservação desde 1994. Primeiramente, estudou-se a dinâmica vegetacional na escala de paisagem, por meio da comparação de registros aerofotográficos de 1974 e 1999 analisados num sistema de informações geográficas. Nesse período foram registradas intensas alterações na vegetação campestre adjacente às manchas de floresta, especialmente um pronunciado estabelecimento de arbustos. Além disso, foi evidenciado um padrão direcional de alteração nas comunidades campestres, indicado pelo estabelecimento de arbustos e posterior ocupação arbórea. Baseado em observações in situ , conjetura-se que as alterações foram muito mais pronunciadas a partir da criação do CPCN Pró-Mata, quando a área foi protegida de queima e pastejo. Em seguida, investigaram-se padrões e processos vegetacionais pela descrição da composição florística e das condições do solo em transecções localizadas na transição campo-floresta. Foram utilizados métodos de análise exploratória multivariada, considerando várias escalas de observação. Os resultados evidenciaram padrões vegetacionais consistentes, e associação destes com variáveis de solo. Pelos resultados infere-se que o processo de avanço florestal sobre os campos têm produzido alterações edáficas, como evidenciado pela relação Mg K-1, pH e teores de alumínio trocável. Os resultados de ambos os estudos sobre transições campo-floresta no nível da paisagem e no das comunidades corroboram a teoria de expansão florestal sobre os campos, bem como, ressaltam a influência de fatores de distúrbio atuando localmente no processo.

Investigação de técnicas de visualização para representação de autômatos finitos com saída

Atualmente, a World Wide Web (WWW) já se estabeleceu como um dos meios de divulgação mais difundidos. Sendo um meio de publicação de custo relativamente baixo, muitas iniciativas foram desenvolvidas no sentido de estendê-la e transformá-la também numa ferramenta de apoio. Assim, uma série de pesquisas foi realizada no sentido de promover e facilitar o gerenciamento das informações da WWW, que são estruturadas, em sua maioria, como conjuntos de documentos inter-relacionados. Grafos são estruturas utilizadas para a representação de objetos e seus múltiplos relacionamentos. Nesse sentido, pode-se afirmar que hiperdocumentos podem ser modelados através de grafos, onde uma página representa um nodo e um link para outra página é representado por uma aresta. Considerando estas características, e dada a crescente complexidade dos materiais publicados na WWW, desenvolveu-se, ao longo da última década, o uso de técnicas e recursos de Visualização de Grafos com larga aplicação na visualização da estrutura e da navegação na WWW. Técnicas de visualização de grafos são aplicáveis especificamente para representar visualmente estruturas que possam ser modeladas por meio de objetos relacionados, sendo investigadas técnicas para a abstração de modo a facilitar tanto o processo de compreensão do contexto da informação, quanto a apreensão dos dados relacionados. Este trabalho tem como objetivo a investigação de técnicas de Visualização de Grafos aplicadas a autômatos finitos com saída. Este direcionamento se deve ao fato de alguns autores utilizar a abordagem de autômatos finitos com saída para as estruturas de hiperdocumentos. Se for considerado que um documento da WWW (ou o estado de um autômato) é composto por fragmentos de informação (ou saídas) tais como trechos de texto, imagens, animações, etc e que este documento é relacionado a outros por meio de links (ou transições), tem-se a verificação de sua representatividade por meio destas estruturas. Em trabalho anterior, no âmbito do PPGC da UFRGS, a ferramenta Hyper-Automaton foi desenvolvida com o objetivo de estender o uso da Internet no sentido de prover uma ferramenta de apoio à publicação de materiais instrucionais. Por adotar a notação de autômatos finitos com saída, possibilita, além da criação e gerenciamento de hiperdocumentos, a reutilização de fragmentos de informação sem que haja qualquer interferência de um autômato que utilize este fragmento sobre outro. O Hyper-Automaton foi selecionado como caso de estudo motivador deste trabalho. As técnicas aqui desenvolvidas têm como intuito diminuir a complexidade visual da informação, assim como permitir a navegação através dos autômatos finitos com saída de forma que seja possível visualizar detalhes como as saídas e informações relacionadas a cada uma delas, mantendo a visualização do contexto da informação. Foram analisadas técnicas de agrupamento como forma de redução da complexidade visual, e técnicas do tipo foco+contexto, como alternativa para prover a visualização simultânea do contexto e dos detalhes da informação.

Desenvolvimento de procedimento analítico para determinação de fármacos e pesticidas em amostra aquosas ambientais

O presente trabalho conjuga estudo de fármacos e pesticidas em nível de traços como poluentes no meio aquoso, envolvendo o uso de cromatografia líquida com detector espectrofotométrico na região do ultravioleta (HPLC-UV) para fármacos e cromatografia líquida com detector espectrométrico de massas (LC-ESI-MS-MS) para pesticidas. Quatro fármacos (antibióticos), a saber: ampicilina, amoxilina, tetraciclina e cefalexina, foram avaliados em presença de diversas fases móveis, que foram selecionadas de acordo com a melhor performance cromatográfica, sendo que ampicilina e amoxilina apresentaram melhor performance cromatográfica na mesma fase móvel. Para extração em fase sólida dos fármacos amoxilina e ampicilina foram avaliados três fases comerciais: LC- 18 (SUPELCLEAN), Supelclean TM ENVI TM-Chrom P, Abselut NEXUS. Para os fármacos cefalexina e tetraciclina, além das fases comercias foram avaliadas três novas fases a base de sílicas funcionalizadas com zirconocenos: (MeCp)2ZrCl2, (nBuCp)2ZrCl2 e (iBuCp)2ZrCl2. Amoxilina e ampicilina não apresentaram boas recuperações nas fases e eluentes estudados. Para tetraciclina e cefalexina, a fase comercial Chrom P apresentou boas recuperações quando utilizados os solventes metanol e a mistura 1% de solução aquosa de ácido acético e metanol (60:40), respectivamente. Com relação aos pesticidas, diversas classes (triazinas, feniluréias, organofosforados, anilina, ácidos, molinato e propanil) foram estudadas, somando um total de 20 pesticidas. Três colunas foram avaliadas em diferentes gradientes. Foi selecionada a coluna Purospher START RP e o gradiente acetonitrila-água. Triazinas, feniluréias, organosfosforados, anilinas e o pesticida propanil foram determinadas em modo de ionização spray eletrônico positivo, os pesticidas ácidos e propanil foram determinados em modo de ionização spray eletrônico negativo. Para cada pesticida foi encontrada duas transições (íon produtor-íon produzido) e confirmadas por MRM (Multiple Reaction Monitoring). O método apresentou linearidade com coeficientes de correlação maiores que 0,99. Uma metodologia para extração em fase sólida on line foi também desenvolvida. Essa metodologia apresentou-se altamente sensível (limites de detecção entre 0,040 e 2,794 ng L-1), simples rápida (45 minutos por análise) e precisa (desvio padrão relativo entre 1,99 e 12,15 %).

Personalidades vocacionais e desenvolvimento na vida adulta : generatividade e carreira profissional

Esta pesquisa investigou relações entre interesses vocacionais e o desenvolvimento psicossocial e de carreira na vida adulta. A tipologia de interesses vocacionais de J. Holland, hegemônica no campo da psicologia vocacional, considera a escolha da carreira como expressão direta da personalidade. O modelo propõe seis tipos de interesse ou fatores de personalidade vocacional: realista, investigativo, artístico, social, empreendedor e convencional. Holland sugeriu que as preferências vocacionais estão relacionadas à diferenças em capacidades e disposição para fazer transições de carreira. O mercado de trabalho atual requer profissionais adaptáveis e capazes de gerenciar as suas carreiras. Estes comportamentos podem ser descritos através dos conceitos de comprometimento e entrincheiramento de carreira. O comprometimento inclui a identificação com o trabalho e o planejamento da carreira. O entrincheiramento refere-se à imobilização do sujeito numa ocupação devido a falta de alternativas de carreira e ao medo da mudança. Adultos na meia-idade são propensos ao entrincheiramento devido a restrição de suas oportunidades de crescimento profissional neste período. É também nesta época que surgem as preocupações generativas. A generatividade significa o envolvimento do indivíduo com o bem-estar das próximas gerações e o seu desejo de ser lembrado na posteridade. Diferenças de personalidade têm sido associadas à adaptabilidade de carreira e à generatividade. Esta pesquisa investigou relações entre personalidades vocacionais, comportamentos de carreira e generatividade na vida adulta. Participaram do estudo 733 profissionais (415 homens e 318 mulheres) com idades entre 25 e 65 anos e com, no mínimo, 5 anos de carreira profissional. Os sujeitos responderam a medidas de interesses vocacionais, generatividade, comprometimento com a carreira e entrincheiramento na carreira. A generatividade correlacionou positivamente com o comprometimento e negativamente com o entrincheiramento. Tipos convencionais revelaram menor generatividade em comparação com artísticos, sociais e empreendedores. Na adultez média, tipos investigativos mostraram maior entrincheiramento do que empreendedores e realistas. Tipos empreendedores mostraram maior planejamento de carreira do que realistas e sociais. Os resultados indicaram que a adaptabilidade de carreira e a generatividade estão relacionadas a tipos de interesse vocacional, corroborando a importância de fatores de personalidade para o entendimento do desenvolvimento adulto. As implicações teóricas e práticas são discutidas. Palavras-chave: interesses vocacionais, generatividade, carreira.

Categoria de grafos parciais com homomorfismos totais teoria e aplicações

O conceito de parcialidade e importante em diversas áreas como a Matemática e a Ciência da Computação; ele pode ser utilizado, por exemplo, para expressar computações que não terminam e para definir funções recursivas parciais. Com rela cão a grafos, categorias de homomorfismos parciais são comuns (por exemplo, em gramáticas de grafos com a técnica de single-pushout). Este trabalho propõe uma abordagem diferente: a parcialidade é usada na estrutura interna dos objetos (não nos morfismos).Istoéfeito utilizando uma extensão do conceito de Categoria das Setas, chamada de Categoria das Setas Parciais. E definida entãoa categoria Grp de grafos parciais(tais que arcos podem possuir ou não vértices de origem e/ou destino) e homomorfismos totais.A generalização deste modelo resulta em categorias de grafos parciais internos.Émostrado que Grp é bicompleta e, se C é um topos, a categoria dos grafos parciais internos a C é cocompleta. Grafos parciais podem ser utilizados para definir modelos computacionais tais como autômatos. Uma categoria de Autômatos Parciais, denominada Autp, é construída a partir da categoria de Grafos Parciais. Usando uma extensão de composição de spans de grafos para autômatos, chamada de Composição de Transições, e possível definir as computações de autômatos. Brevemente, uma composição de transi cões de dois autômatos parciais resulta em um autômato parcial onde cada transição representa um caminho de tamanho dois (entre vértices), tal que a primeira metade é uma transição do primeiro autômato e a segunda metade é uma transição do segundo. É possível compor um autômato consigo mesmo diversas vezes; no caso de n sucessivas composições de transições, pode-se obter as palavras da linguagem aceita pelo autômato que necessitam de n+1 passos de computação nos arcos que não possuem origem e nem destino definidos do autômato parcial resultante.

Efeitos da aplicação de altas pressões sobre compostos com estrutura de escuterudita

Neste trabalho foi estudado o comportamento em altas pressões e temperatura ambiente de dois compostos com estrutura de escuterudita, CoSb3 e LaFe3CoSb12. A determinação dos parâmetros das equações de estado isotérmicas, bem como a verificação das diferenças relativas nas curvas de compressibilidade desses compostos, foram os objetivos principais deste trabalho. Ambos compostos foram sintetizados conforme rota proposta na literatura. O sucesso da síntese foi verificado por meio de difração de raios X, não sendo observada a presença de fases contaminantes. Como meio gerador de altas pressões foi utilizada uma câmara de bigornas de diamante (DAC). A evolução das estruturas destes compostos com a pressão foi acompanhada por meio de difração de raios X por dispersão em energia. Até o limite de pressão estática de cerca de 14 GPa (definido pelas condições experimentais previamente existentes no laboratório), não foram observadas anomalias nas curvas de volume versus pressão desses compostos ou mesmo evidências de transições de fase. Com o objetivo de estender este limite de pressão, foram feitas melhorias na célula de alta pressão existente no laboratório, possibilitando assim a geração de pressões de até 40 GPa. Três equações de estado isotérmicas foram ajustadas aos dados experimentais, utilizando como parâmetros no ajuste o módulo volumétrico isotrópico e sua derivada primeira com relação à pressão. Como resultado deste procedimento, verificou-se que a escuterudita com lantânio apresenta um módulo volumétrico ligeiramente menor que o CoSb3, sendo, portanto, mais compressível, apesar da presença do íon lantânio preenchendo as cavidades deste composto. Foi observada também uma mudança na compressibilidade da escuterudita CoSb3 acima de 20 GPa, devido, talvez, ao congelamento do meio transmissor de pressão ou ao pinçamento do rubi (calibrante de pressão) entre as bigornas da DAC. O CoSb3 foi comprimido até a pressão de 40 GPa, apresentando indícios de um estranho comportamento na seqüência decrescente de pressão. Após a descompressão, o parâmetro de rede desse composto, a pressão ambiente, mostrou-se maior que o da fase original. Este aumento do parâmetro de rede não foi acompanhado de alterações significativas do espectro de difração de raios X. Este efeito anômalo dever ser sujeito a verificação por meio de novos experimentos.

Padrões de espécies e tipos funcionais de plantas lenhosas em bordas de floresta e campo sob influência do fogo

Mosaicos naturais de floresta e campo são freqüentes no sul do Brasil, apesar das condições climáticas em geral serem favoráveis às formações florestais. Os campos portanto têm sido considerados um tipo de vegetação relictual de um clima mais frio e seco. Dados paleopalinológicos têm confirmado a hipótese de expansão florestal proposta por Lindman e Rambo com base em evidências fitogeográficas. Porém, fogo e pastejo têm sido utilizados no manejo dos campos, limitando o estabelecimento de árvores em áreas de campo, e parecem ser essenciais para a existência dos campos num clima úmido. Mudanças na intensidade ou freqüência do fogo ou do pastejo podem permitir o adensamento de espécies lenhosas em comunidades campestres. Todavia, os processos envolvidos são influenciados pelas condições locais e tipo de espécies pioneiras. Esta tese aborda padrões espaciais de transição da floresta ao campo, na ausência de pastejo, porém sob diferentes condições locais relacionadas à exposição do relevo (norte, sul, sudoeste) e ao fogo. Os dados abrangem arbustos e árvores pela composição de espécies e tipos funcionais de plantas (plant functional types, PFTs), e variáveis do solo em bordas de floresta-campo, sob diferentes períodos de tempo transcorrido desde a última queimada nas áreas de campo. Dados sobre composição, diversidade, categoria de plantas (que rebrotam e não rebrotam) e PFTs foram analisados de acordo com o período de tempo sem fogo em dois levantamentos realizados em anos consecutivos. O objetivo desta última análise foi descrever como reagem as plantas lenhosas em áreas de campo freqüentemente queimadas, num contexto de ecótonos de floresta-campo O estudo foi conduzido no Morro Santana (30°03’ S, 51°07’ W, altitude máxima: 311m), Porto Alegre, RS, Brasil. A vegetação da área apresenta mosaicos de floresta-campo. Os dados foram coletados em seis pares de transecção (4,5 x 58,5 m cada) perpendiculares à borda florestacampo. Cada transecção era composta por seis quadros grandes (LP= 20,25 m²) consecutivos na floresta e sete no campo. Em cada um dos LP, foram instalados três quadros pequenos (SPs) consecutivos, a fim de medir todos os indivíduos iguais ou maiores que 10 cm de altura. Nos LPs, o critério de inclusão foi a altura mínima de 80 cm. Uma queimada experimental foi realizada nos quadros de campo, considerando sempre uma transecção de cada pa r, antes da coleta dos dados. Ao todo foram amostradas 124 espécies lenhosas de 42 famílias. Destas, 90 espécies foram amostradas nos quadros da floresta e 76 nos quadros do campo, das quais 44 foram comuns a ambas as formações (espécies típicas de borda ou pioneiras). No interior da floresta, plântulas e indivíduos jovens de árvores foram significativamente mais abundantes nos quadros próximos da borda, onde os índices de diversidade, eqüidade e riqueza também foram maiores. Os gradientes da floresta ao campo foram analisados como trajetórias de composição em um espaço de ordenação multidimensional. Diferenças nos padrões espaciais reveladas entre locais com exposição distinta foram evidenciadas. Bordas abruptas ocorreram principalmente nas transecções de exposição sul e sudoeste, enquanto transições mais graduais foram observadas no norte As condições do solo também diferiram em relação às exposições predominantes, porém os principais parâmetros variaram conforme a distância espacial do limite da floresta. Assim, apesar dos padrões de vegetação diferirem conforme a exposição predominante, o fator mais importante na explicação dos padrões foi a distância do limite florestal, não somente per se, mas por todos parâmetros correlacionados que variam no gradiente. Em relação aos dois levantamentos realizados em áreas de campo, 31 espécies arbustivas de campo e 45 florestais foram analisadas, das quais 65,8% tinham capacidade de rebrotar. A composição de espécies diferiu com o tempo após o fogo. Densidade, riqueza e diversidade foram menores nos quadros recentemente queimados, principalmente nos sítios com exposição sul. Considerando arbustos de campo, a riqueza e a densidade foram maiores nos quadros não queimados há um e dois anos do que naqueles há mais de três anos. Comparando arbustos com e sem capacidade de rebrotar, os que rebrotam tiveram sempre maior densidade Árvores com capacidade de rebrote predominaram nas áreas com exposição norte, apresentando densidades similares, independente do tempo após o fogo. Porém, árvores sem capacidade de rebrote apresentaram maior densidade nos quadros não queimados. Diferenças na dinâmica de recrutamento de arbustos ou árvores uni- ou multi-caulinares também foram detectadas. Nas análises com base em PFTs, foram identific ados nove PFTs florestais com máxima associação com a variável distância da borda. A habilidade de rebrote foi o principal atributo de plantas florestais que colonizam áreas de campo. A diversidade de PFTs foi maior nos quadros próximos da borda que no interior da floresta. Quatro PFTs foram identificados, entre espécies lenhosas florestais e campestres, com máxima associação com o tempo decorrido após o fogo nas áreas de campo. Alguns dos principais aspectos descritos no parágrafo anterior foram corroborados. Arbustos altos com base uni-caulinar predominaram nas áreas não queimadas (3-4 anos), enquanto arbustos baixos com base multi-caulinar predominaram nas áreas recentemente queimadas (3 meses a 1 ano). PFTs florestais ocorreram nos quadros da borda ou como adultos estabelecidos no campo, não sendo afetados pelo fogo. Com base nos principais resultados, as seguintes conclusões são possíveis: A alta proporção de espécies com capacidade de rebrote nas áreas de campo e a alta taxa de recrutamento das demais espécies caracterizam comunidades com distúrbios freqüentes e espécies bem adaptadas. O regime de fogo com intervalos de dois a três anos não impede o adensamento de arbustos do campo, porém retarda o avanço de espécies arbóreas florestais, exceto em sítios bastante próximos a borda ou em “ilhas” protegidas do fogo intenso PFTs lenhosos de áreas de campo, associados com os intervalos de fogo, sugerem que atributos facilmente mensurados são suficientes para avaliar a dinâmica pós-fogo em comunidades de espécies lenhosas. PFTs florestais nas áreas de campo se restringem àqueles com capacidade de rebrote, para sobreviver às queimadas recorrentes. Com base nas estratégias das plantas, nos PFTs e no padrão espacial das espécies nas bordas de floresta-campo sob influência freqüente do fogo, nós reforçamos a presença de dois mecanismos principais como formas de expansão florestal. Um deles refere-se ao adensamento gradual de espécies arbóreas junto à borda, em áreas cujo intervalo de tempo sem fogo é maior. Outro está relacionado ao recrutamento de árvores pioneiras isoladas no campo, freqüentemente próximo de matacões, onde menor biomassa de gramíneas conduz a menor intensidade do fogo. O fogo é portanto um fator de prevenção da expansão florestal sobre as áreas adjacentes de campo nas condições atuais de clima úmido. O presente regime de distúrbio permite a manutenção de uma elevada biodiversidade na paisagem dos morros de Porto Alegre pela co-ocorrência de ecossistemas ricos em espécies distintas (campos e florestas); a supressão de queimadas pode alterar o mosaico de tipos de hábitat, aumentando a proporção de áreas florestais.

Identificação de nomes ativos em agentes-π baseada em tipos

Na última década muitos esforços têm sido feitos em verificação formal de propriedades de agentes do cálculo-π. Uma dessas propriedades é a equivalência observacional, que serve para determinar se um processo é equivalente a sua especificação. Contudo, a verificação de equivalência observacional não é um problema trivial. A maioria dos algoritmos destinados a verificação de equivalência são baseados na construção de sistemas de transições rotuladas (π-autômatos). O principal problema com essa abordagem é o grande número de estados envolvidos podendo chegar a um número infinito. Montanari e Pistore mostram que é possível gerar π-autômatos finitos para agentes-π e é possível reduzir a quantidade de estados desses π-autômatos, através da identificação dos nomes ativos. Um nome é semanticamente ativo em um agente se ele pode ser executado de forma observável por ele. Este é um trabalho de análise estática, que tem por objetivo coletar os possíveis nomes ativos contidos em expressões-π, utilizando para isso um sistema de tipos. A vantagem da utilização de sistemas de tipos em relação a outras formas de análise estática é que sistemas de tipos são sistemas lógicos, logo as técnicas de prova da lógica podem ser aproveitadas no estudo de propriedades de sistemas de tipos. Além disso sistemas de tipos são definidos através da estrutura sintática de expressões, facilitando assim as provas por indução estrutural. Assim a principal contribuição deste trabalho é a elaboração do Active-Base-π, um sistema de tipos para a coleta de nomes ativos de expressões-π.