Reconstrução da dinâmica de curta duração em vegetação campestre sob pastejo, com base em tipo funcionais

Comunidades campestres foram descritas por Tipos Funcionais de Plantas (TFs). Utilizou-se um método politético de identificação de atributos macromorfológicos da vegetação e TFs com máxima correlação com as variáveis ambientais consideradas. Avaliaram-se os padrões de resposta da vegetação à herbivoria por rebanho bovino (Tipos Funcionais de Resposta: TFRs), e o efeito da estrutura das comunidades de TFs no processo seletivo do pastejo (Tipos Funcionais de Efeito: TFEs), bem como o grau de sobreposição dos tipos identificados. A alternância entre condições de exposição ao distúrbio ou exclusão do mesmo permitiu observar variações em padrões espaciais e temporais da composição da vegetação assim descrita. Buscou-se a reconstrução de uma série temporal única através de um método determinístico baseado na sobreposição espaço-temporal desses padrões. O experimento foi realizado num período de nove meses, tendo sido a estrutura da vegetação avaliada em função de dois períodos de pastejo. Observou-se uma diferença mais nítida na composição de TFRs entre as comunidades protegidas do pastejo e aquelas mais freqüentemente pastejadas. Comunidades protegidas apresentaram TFRs de maior porte, biomassa uniformemente distribuída e maiores proporções de caules lignificados, enquanto que uma tendência mais nítida em direção a uma concentração de biomassa aérea próxima do solo foi verificada com o aumento da frequência do distúrbio. A relação com um índice de intensidade de desfolha indicou a preferência por TFEs com pouca proporção de lâminas foliares senescentes, porte intermediário, e uma mínima proporção de biomassa aérea alocada a caules lignificados. Embora tenha sido verificada uma correspondência entre os atributos que descreveram os TFRs e TFEs, a correlação obtida entre as duas abordagens mostrou-se pouco satisfatória A série temporal obtida pelo método determinístico não apresentou padrões estáveis, possivelmente devido ao número insuficiente de séries parciais observadas, bem como ao curto período de avaliação das mesmas.

Sistemática de análise e identificação de perdas operacionais em processos logísticos : um estudo de caso na empresa viaLOG

Atualmente, a logística é o principal foco das empresas para a redução de custos e aumento do nível dos serviços prestados. Com este intuito o presente trabalho apresenta uma sistemática de análise e identificação de perdas operacionais em processos logísticos. Para isso fez-se necessário identificar técnicas de análise e identificação de perdas, mapeamento e análise de processos logísticos, caracterização das principais atividades dos processos logísticos e análise de perdas apresentadas com os processos logísticos. A sistemática apresentada é composta por seis etapas: levantamento do processo logístico atual, identificação do fluxo de informação, identificação das atividades logísticas críticas, análise das atividades logísticas, proposição de melhorias e avaliação dos resultados. O trabalho aconclui com a aplicação parcial da sistemática de análise e identificação de perdas operacionais em processos logísticos em uma empresa do ramo jornalístico, identificando-se potenciais melhorias a serem implementadas, das quais destaque-se a aproximação do estoque ao ponto de separação e a conferência dos pedidos antes da etapa de embalamento.

Fatores competitivos de desempenho em uma empresa de sistemas de segurança patrimonial : identificação e avaliação sob a ótica do cliente

Identificar os critérios que os consumidores utilizam para avaliar os serviços prestados, possibilita orientar com maior sucesso as estratégias da empresa e assim alcançar as expectativas dos clientes. Com isso é possível identificar pontos de melhoria e pontos que merecem continuidade dentro do conjunto de atributos que a empresa fornece em um bem ou serviço, garantindo a satisfação dos clientes e conquistando um diferencial competitivo frente aos concorrentes. Porém, muitas vezes existem distorções entre o que a empresa acredita ser o melhor conjunto de atributos a satisfazerem seus clientes e aquele conjunto de atributos que realmente satisfazem os clientes. Baseando-se na importância de conhecer as expectativas dos clientes, desenvolve-se o presente estudo de caso, com o objetivo de identificar os fatores competitivos ou dimensões de qualidade dos serviços de segurança da empresa CIA, que afetam a satisfação dos seus clientes. Também são avaliados o grau de importância desses fatores e o desempenho dos mesmos em relação à concorrência, a partir da percepção dos clientes. Para identificar os fatores de desempenho é utilizada a pesquisa exploratória e na avaliação desses fatores, a pesquisa quantitativa. Utilizou-se a Matriz Importância x Desempenho de Slack et al. (1999) como ferramenta para análise dos dados coletados e para verificar o desempenho da empresa no mercado.

Identificação dos itens de demanda ergonômica em lojas de cosméticos e perfumes

Esta dissertação enfoca as características que um ambiente comercial deve ter para atender as necessidades dos diferentes usuários (cliente e funcionário). Com base na revisão bibliográfica foram pesquisados os métodos de projeto utilizados para o planejamento destes espaços, assim como a forma que os usuários interagem com os diferentes elementos que compõem uma loja. Com base no método Design Macroergonômico (Fogliatto e Guimarães, 1999) foram identificados os itens de demanda ergonômica do funcionário e cliente de cinco lojas franqueadas e dedicadas à comercialização cosméticos e perfumes. Os resultados demonstraram que na maioria das vezes este tipo de espaço preocupa-se tanto com as necessidades de venda que ignora as verdadeiras necessidades dos seus usuários. Verificou-se, também, que o método Design Macroergonômico pode ser utilizado por arquitetos no intuito de enriquecer a avaliação das necessidades dos diferentes usuários de um espaço comercial.

Preparação e caracterização de nanopartículas de ródio(0) imobilizadas em líquidos iônicos : novo sistema para hidrogenação de aromáticos

O presente trabalho investigou como a natureza de um líquido iônico pode influenciar a formação e o crescimento de nanopartículas de [Rh(0)], bem como estabeleceu o desempenho catalítico das nanopartículas obtidas em reações de hidrogenação de arenos. A simples redução de compostos de ródio RhCl3.3H2O, [Rh(cod)Cl]2 e [Rh(cod)2]X (X = BF4 -, CF3SO3 - e cod = 1,5-ciclooctadieno), dispersas em líquidos iônicos tetrafluoroborato (BF4 -), hexafluorofosfato (PF6 -) e trifluorometanosulfonato (CF3SO3 -) de 1- n-butil-3-metilimidazólio (BMI+), com hidrogênio molecular, rendeu nanopartículas de [Rh(0)], isoladas como pó escuro. As nanopartículas de [Rh(0)] formadas nos três líquidos iônicos foram caracterizadas por Microscopia Eletrônica de Transmissão (MET), Difração de Raios X (DRX) e Espectroscopia de Fotoelétrons de Raios X (XPS). O tamanho médio e a dispersão de tamanho destas nanopartículas depende pouco do precursor de ródio e mais do líquido iônico empregado. O tamanho médio das nanopartículas geradas em BMI.BF4 centram-se em 2,8 nm e em contraste, tamanhos médios maiores foram observados para nanopartículas de [Rh(0)] obtidas em BMI.PF6 (4,7 nm) e em BMI.CF3SO3 (5,0 nm). A atividade catalítica destas nanopartículas em reações de hidrogenação de arenos depende tanto da natureza do precursor quanto do líquido iônico empregado para prepará-las. Independentemente da natureza do líquido iônico, nanopartículas progressivamente mais ativas foram obtidas, primeiro, mudando o precursor na seqüência [Rh(cod)Cl]2 < [Rh(cod)2]CF3SO3 < RhCl3.3H2O < [Rh(cod)2]BF4 e, segundo, mudando o líquido iônico na sequência BMI.CF3SO3 < BMI.PF6 < BMI.BF4. É digno de nota, que as nanopartículas de [Rh(0)] obtidas pela combinação de [Rh(cod)2]BF4 / BMI.BF4 mostraram, na hidrogenação do benzeno, atividade catalítica similar à amostra de Rh/C.

Identificação e avaliação de sistemas de produção de leite em pastagens cultivadas na região do Planalto do Rio Grande do Sul

A pecuária leiteira tem uma importante participação na economia do setor primário do Sul do Brasil, porém, custos de produção elevados, impacto ambiental e qualidade dos produtos tem limitado sua viabilidade econômica. Entretanto, na busca por sistemas sustentáveis de produção depara-se com uma grande escassez de informações. Este trabalho pretendeu contribuir com a geração de conhecimentos que possam ser facilmente adotados pelos produtores da Região do Planalto Riograndense, através da condução da pesquisa em duas etapas: inicialmente foi desenvolvido um estudo baseado em procedimentos de pesquisa diagnóstica aplicados em 46 propriedades que incluiu características infra-estruturais, ambientais, sociais e técnico-econômicas. Em um segundo momento, realizou-se a comparação de dois sistemas de condução dos animais em pastagens, propostos a partir de características apontadas como relevantes no diagnóstico realizado, definindo os seguintes tratamentos: T 1: onde os animais tiveram acesso à pastagem por um período de 3 h/dia, e, T 2: onde os animais tiveram livre acesso à pastagem, ambos, mantidos em pastejo sobre sorgo forrageiro (Sorghum vulgare) e trevo branco (Trifolium repens L.) em pastejo rotativo, recebendo suplementação protéica e energética Os resultados do diagnóstico indicaram uma elevada importância das características de infraestrutura e de questões técnicas relativas à exploração leiteira, onde destacam-se variáveis relacionadas à questões de manejo e alimentação do rebanho. Os sistemas de pastejo apresentaram diferença significativa (p<0,01), na produção de leite, produzindo 16,6 e 18,9 L/dia, para T1 e T2, respectivamente. Com a obtenção desses resultados, fica evidenciado que animais de bom potencial genético, proporcionam respostas positivas de produtividade a medida que lhes é permitido maior tempo de permanência em pastagens de qualidade, ofertadas em quantidade suficiente possibilitando a expressão do potencial do animal em selecionar a sua dieta.

Identificação e representação política : uma análise do discurso de Lula (1978-1998)

Esta tese trata de questões ligadas à configuração da FD dos trabalhadores brasileiros e da instituição da posição-sujeito em que o discurso de Lula (DL) se inscreve, bem como analisa o processo de identificação e de representação política do sujeito enunciador do referido discurso, no período compreendido entre 1978/1998. A mesma está organizada em seis capítulos: no primeiro, apresento noções teóricas da AD básicas à análise; no segundo, trato da construção do arquivo, do corpus e da metodologia de análise; no terceiro capítulo, examino questões relativas à natureza do campo discursivo – o campo do político, abordando, na primeira seção, a política, o político e a cena de representação do político; na seção II desse capítulo, estabeleço a passagem da cena de representação do político para a cena discursiva; no quarto capítulo, metodologicamente trato da configuração da FD dos trabalhadores brasileiros e apresento o acontecimento histórico e enunciativo que fragmenta a forma-sujeito dessa FD e instaura a posição-sujeito em que se inscreve o discurso de Lula (DL). Nesse capítulo, através de três recortes discursivos, apresento a configuração histórica e discursiva da referida posição-sujeito; no quinto capítulo, também através de três recortes discursivos, trato do processo de identificação política do sujeito enunciador do DL; e, no sexto e último capítulo, analiso diferentes formas de representação do sujeito enunciador do DL, procurando compreender como esse sujeito, ao longo do espaço-tempo delimitado para a análise, se representa no discurso. Para tanto, dedico especial atenção a duas cenas de interlocução discursiva distintas: a primeira delas estabelece-se, quando, a partir do lugar da liderança, referido sujeito enuncia para os inscritos na mesma posição-sujeito e na mesma FD em que ele está inscrito; a segunda, quando, na função enunciativa de porta-voz, enuncia para a exterioridade dessa FD. Nas seções, recortes e blocos discursivos desse capítulo, analiso o funcionamento discursivo do “eu”, do “nós” e de “o Lula”, levando em conta as funções enunciativas que o sujeito enunciador do DL assume em diferentes condições discursivas. Como efeito de conclusão, apresento resultados da análise realizada nos diferentes capítulos, procurando evidenciar aqueles que julgo como os mais relevantes. É com esse objetivo que retomo questões levantadas sobre: a configuração metodológica da FD dos trabalhadores brasileiros; a configuração histórica e discursiva da posição-sujeito em que o DL está inscrito; o processo de identificação política do sujeito enunciador do DL; a representação política do sujeito enunciador do discurso em análise.

Nanopartículas de paládio e de ródio estabilizadas por líquidos iônicos : síntese, caracterização e propriedades catalíticas

Neste trabalho é apresentado um novo método para a preparação de nanopartículas de metais de transição em solução. O método consiste na redução por hidrogênio molecular de sais metálicos imobilizados em líquidos iônicos derivados do cátion 1,3-dialquilimidazólio. Nanopartículas de Rh(0) com tamanho entre (2,1+-0,1)nm foram obtidas pela redução de RhCl3 em líquidos iônicos derivados do cátion n-butilmetilimidazólio BMI.X (X=BF4, PF6, CF3SO3), e aplicados como catalizadores para as reações de hidrogenação de olefinas e aromáticos. Nanopartículas de Pd(0) com tamanho entre (4,9+-1,5)nm foram obtidas pela redução de Pd(acac)2 em BMI.PF6 e aplicadas como catalisadores para a reação de hidrogenação de 1,3-butadieno em regime heterogêneo e suportadas em BMI.X (X=BF4, PF6). Nanopartículas bimetálicas de Pd-Rh(0) com tamanho entre (9,1+-0,8)nm também foram obtidas pela redução concomitante de PdCl2 e RhCl3 em líquidos iônicos BMI.X (X=BF4, PF6) e aplicadas como catalisadores para a hidrogenação de 1,5-ciclo-octadieno. Os resultados obtidos sugerem que o líquido iônico deve ser o responsável pela estabilização das nanopartículas e está intimamente relacionado com a atividade catalítica das nanopartículas. A aglomeração e a sistemática perda de atividade catalítica das nanopartículas parecem ser devidas à presença de hidrogênio molecular no meio reacional. Além disso, os resultados obtidos na síntese de nanopartículas bimetálicas indicam que a sua composição pode ser regulada pelas condições da reação de síntese. As reações de hidrogenação foram utilizadas como sondas químicas para o estudo das propriedades catalíticas das nanopartículas. Os resultados obtidos sugerem um mecanismo de reação de superfície, típico de sistemas heterogêneos clássicos.

Otimização topológica de estruturas contínuas submetidas a restrições de flexibilidade, volume e frequência natural

Este trabalho trata dos problemas de otimização de minimização de volume com restrição de flexibilidade e freqüência natural e minimização de flexibilidade com restrição de volume. Os problemas são resolvidos para estruturas bidimensionais e tridimensionais. As equações diferenciais de equilíbrio são solucionadas de forma aproximada através do método dos elementos finitos, em um subespaço de dimensão finita. O método utilizado no estudo é o da otimização topológica, o qual consiste em encontrar dentro de um domínio pré-existente uma distribuição ideal de material. São avaliadas técnicas como programação linear e critério de ótimo. Em ambos os casos são utilizadas sensibilidades calculadas analiticamente. Para a otimização com restrição modal, problemas característicos como autovalores repetidos e normalização do autovetor são tratados. Ferramentas usadas na otimização topológica, como método da continuação, penalização e filtragem são discutidos. São abordados também problemas e características inerentes ao processo de otimização topológica, tais como instabilidades de tabuleiros, dependência de malha e sensibilidade da topologia a diferentes condições de contorno. Os resultados obtidos permitem avaliações referentes à otimização topológica (geometrias, ou seja, topologias resultantes) sob diferentes condições, utilizando-se as ferramentas discutidas nesse trabalho.

Das docências narradas e cruzadas, das sur-presas e trajetórias reveladas : os fluxos de vida, os processos de identificação e as éticas na escola de educação profissional

Este estudo faz uma reflexão da docência na escola de Educação Profissional, a partir das manifestações éticas e dos processos de identificação visibilizados nas trajetórias de vida, no estar-junto e na convivência da escola. Por meio da escuta do testemunho de vida de seis professores de Educação Profissional, bem como na relação do estar-junto na Escola Técnica Mesquita, a pesquisa contempla uma disposição em ser e estar escuta-dor da docência. Para tanto, são utilizados o Diário de Reflexões e os Relatos de Vida, através de disposições metodológicas como a empatia, a intuição, a escuta e o olhar sensível. O estudo apresenta e dá visibilidade às dimensões éticas manifestas na escola, caracterizadas na perspectiva da "outra lógica do estar-junto" (Maffesoli). Reflete sobre os processos de identificação e de a-firma-ção do ser docente, na dimensão de se compreender os múltiplos sustentáculos das emoções éticas e das pedagogias manifestas e anunciadas no testemunho da docência. Enquanto operador analítico-interpretativo, a investigação lança mão de um Baralho de Cartas na perspectiva da compreensão das diferentes e singulares formas e manifestações dos caminhos, dos des(a)tinos e da vida da docência. São apresentadas as imagens e os significados das Cartas, os lances, o jogo, suas leituras e interpretações. Nesse sentido, a escola dos destinos cruzados foi a metáfora encontrada para apresentar a vida da docência, caracterizadas pelas temáticas do ingresso na docência, dos processos de identificação, das éticas que sustentam o fazer e o conceber da docência, das desestabilizações e da negação da docência, dos processos de mobilização e a-firma-ção, bem como dos rituais do estar-junto na escola, vislumbrando um outro jeito de ver e compreender a formação de professores.O texto convida o leitor a sentar-se na mesa circular da pesquisa, juntamente com Maffesoli, Calvino, Maturana e os professores de Educação Profissional - atores e autores dos relatos de vida - para um inusitado encontro na perspectiva de se compreender a forma e o jeito que a docência se diz, se narra, se manifesta, se lembra.

Identificação de sistemas contínuos utilizando o método dos momentos de Poisson

A maioria dos métodos de síntese e sintonia de controladores, bem como métodos de otimização e análise de processos necessitam de um modelo do processo em estudo. A identificação de processos é portanto uma área de grande importância para a engenharia em geral pois permite a obtenção de modelos empíricos dos processos com que nos deparamos de uma forma simples e rápida. Mesmo não utilizando leis da natureza, os modelos empíricos são úteis pois descrevem o comportamento específico de determinado processo. Com o rápido desenvolvimento dos computadores digitais e sua larga aplicação nos sistemas de controle em geral, a identificação de modelos discretos foi amplamente desenvolvida e empregada, entretanto, modelos discretos não são de fácil interpretação como os modelos contínuos pois a maioria dos sistema com que lidamos são de representação contínua. A identificação de modelos contínuos é portanto útil na medida que gera modelos de compreensão mais simples. A presente dissertação estuda a identificação de modelos lineares contínuos a partir de dados amostrados discretamente. O método estudado é o chamado método dos momentos de Poisson. Este método se baseia em uma transformação linear que quando aplicada a uma equação diferencial ordinária linear a transforma em uma equação algébrica evitando com isso a necessidade do cálculo das derivadas do sinais de entrada e saída Além da análise detalhada desse método, onde demonstramos o efeito de cada parâmetro do método de Poisson sobre o desempenho desse, foi realizado também um estudo dos problemas decorrentes da discretização de sinais contínuos, como por exemplo o efeito aliasing decorrente da utilização de tempos de amostragem muito grandes e de problemas numéricos da identificação de modelos discretos utilizando dados com tempos de amostragem muito pequenos de forma a destacar as vantagens da identificação contínua sobre a identificação discreta Também foi estudado um método para compensar a presença de offsets nos sinais de entrada e saída, método esse inédito quando se trata do método dos momentos de Poisson. Esse trabalho também comprova a equivalência entre o método dos momentos de Poisson e uma metodologia apresentada por Rolf Johansson em um artigo de 1994. Na parte final desse trabalho são apresentados métodos para a compensação de erros de modelagem devido à presença de ruído e distúrbios não medidos nos dados utilizados na identificação. Esses métodos permitem que o método dos momentos de Poisson concorra com os métodos de identificação discretos normalmente empregados como por exemplo ARMAX e Box-Jenkins.

O rádio como espaço de visibilidade política : (governo da Frente Popular em Porto Alegre 1989/1990

Esta é uma pesquisa sobre mídia e política que aborda o uso do rádio pelo governo da Frente Popular em Porto Alegre, no período entre abril de 1989 e setembro de 1990. É um estudo de caso que trata do sistema de monitoração de rádio adotado pelo governo da Frente Popular em seis emissoras de rádio ( Gaúcha, Guaíba, Farroupilha, Princesa, Bandeirantes e Pampa) durante 24 horas. Defende-se a tese de que o governo da Frente Popular, em Porto Alegre, ao responder aos ouvintes, apropriou-se de um lugar específico da mídia para dar visibilidade ao seu projeto político de esquerda constituindo um novo cenário da disputa política. Com esta estratégia de responder a interpelação dos ouvintes, a Frente Popular pautou a mídia e provocou uma alteração nos critérios de noticiabilidade no rádio ao mesmo tempo em que estabeleceu um controle da programação das emissoras. Os objetivos do estudo são verificar se a estratégia de Comunicação da Prefeitura Municipal de Porto Alegre de controlar as demandas dos cidadãos, através do rádio, resulta em créditos político; entender como, em uma sociedade dominada pela informação, produto de grandes empresas de comunicação, consegue ser seduzida pela estratégia política de um governo; compreender a eficácia do rádio como instrumento de uso político de governos democráticos; reafirmar que a pesquisa de campo, que leva em conta a prática e a observação dos cidadãos comuns e seu cotidiano, é a base para todo e qualquer estudo sobre a ação da comunicação, especialmente, do jornalismo na sociedade. O governo da Frente Popular através das diferentes secretarias e autarquias respondia aos ouvintes, prometendo executar o serviço no espaço da própria emissora que havia veiculado a reclamação. Esta trama entre rádio, ouvinte e governo resulta no fortalecimento do projeto político da Frente Popular.

Planejamento de perturbações para a identificação de modelos dinâmicos

A identificação de modelos é determinante no sucesso das modernas técnicas de controle avançado de processos. Um modelo para o sistema pode ser obtido através de modelagem rigorosa, baseada em equações governantes do sistema ou através da modelagem empírica e estimação de parâmetros. Embora mais rápida e fácil, a modelagem empírica necessita de alguns testes de identificação nos quais as variáveis manipuladas são variadas de modo que resultem em variações nas variáveis controladas. Os testes de identificação podem apresentar custos muito elevados tendo em vista que o sistema pode sair de seu ponto normal de operação, gerando produtos com folga de especificação. Este fato ocorre porque usualmente as perturbações aplicadas nas variáveis manipuladas nas indústrias de processos são independentes umas das outras, aumentando a duração do teste de identificação. Desta forma, neste trabalho foi desenvolvida uma nova metodologia de projeto de perturbações simultâneas para a identificação de modelos dinâmicos baseada na direcionalidade do sistema, com o objetivo de fornecer dados mais ricos para se capturar corretamente o comportamento multivariável do sistema e manter o processo no ponto de operação normal. As perturbações são projetadas conforme as características de um modelo simplificado do processo, ou pré-modelo. Este modelo inicial é obtido essencialmente de dados históricos de planta, selecionados através de uma sistemática análise de correlação desenvolvida neste trabalho A metodologia proposta é composta de duas partes: a primeira parte diz respeito à análise dos dados históricos de planta para obtenção de informações prelimirares as quais são utilizadas no planejamento de perturbações, tais como amplitude do ruído de medida, correlação entre as variáveis de processo, constante de tempo do sistema e matriz de ganhos. E a segunda parte consiste no cálculo da amplitude das perturbações baseado nos resultados da primeira etapa do planejamento. Para sistemas mal-condicionados verificou-se que as perturbações planejadas pela metodologia removem menos a planta de seu ponto de operação gerando resultados mais consistentes em relação às perturbações tradicionais. Já para sistemas bem-condicionados, os resultados são semelhantes. A metodologia foi aplicada em uma unidade piloto experimental e numa unidade de destilação da PETROBRAS, cujos resultados apontam pouca remoção dos sistemas do ponto de operação e modelos consistentes. A validação dos modelos também foi contemplada na dissertação, uma vez que foi proposto um novo critério de validação que considera a derivada dos dados de planta e a do modelo e não apenas os dados de planta e os dados da simulação das saídas do modelo.

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-π.