Definição terminológica : fundamentos teórico-metodológicos para sua descrição e explicação

Ao propor uma nova metodologia analítico-descritiva para o enfoque da definição terminológica científica, este trabalho pretende contribuir para o reconhecimento dos perfis desse tipo de definição no escopo do desenvolvimento das teorias terminológicas de perspectiva lingüística. À luz de algumas idéias da semântica enunciativa, especialmente as cunhadas por Émile Benveniste, o estudo demonstra a viabilidade e produtividade de um reconhecimento de relações mantidas quer entre o enunciado-texto da definição e seu ambiente de significação, quer entre o enunciado definitório e seus sujeitos enunciadores. Para tanto, são examinadas as diferentes formulações de definições dicionarizadas para termos de Química, contrastadas com uma pequena amostra de definições de termos de Ciência Política, também coletadas em dicionários especializados. O trabalho conclui que é importante o reconhecimento do enunciado definitório em relação a todo um entorno de significação das linguagens científicas envolvidas, evidenciando que a definição é um objeto textual multidimensional, dotado de características que o fazem exceder aqueles limites mais usuais ou tradicionais de um objeto lógico-categorial. Além disso, o trabalho demonstra que não é funcional, no seu enfoque, uma separação a priori e estrita entre conceitos e significados.

Aproveitamento de cinza de carvão mineral na agricultura

A grande quantidade de cinza gerada pela queima de carvão mineral e a necessidade de redução de emissões sulfurosas advindas dessa queima, fazem com que se busquem alternativas para diminuir essas emissões, assim como para a utilização racional dessa cinza. Com o objetivo de avaliar a viabilidade de utilizar cinzas sulfatada e não sulfatada como fertilizante e corretivo da acidez do solo, foram conduzidos experimentos em laboratório e em casa de vegetação, com um solo Podzólico Vermelho Amarelo e solo regenerado de mina de carvão, usando como planta teste feijão - Phaseolus vulgaris L. . A cinza não sulfatada e não intemperizada produzida pela UTPM, quando aplicada ao solo, não corrigiu sua acidez, mas aumentou a resistência do feijão à antracnose e, quando aplicada com adubação, aumentou o rendimento da cultura. As cinzas sulfatadas resultantes de processo de dessulfuração produzidas em plantas pilotos da URCAMP e da CIENTEC foram eficientes para a correção da acidez do solo, tendo uma equivalência em carbonato de cálcio de 3,75 % e 16,8 %, respectivamente. A cinza CIENTEC aplicada ao solo ( 20, 40 e 80 t ha-1 ) aumentou a absorção de S, Mg, Ca e N, diminuiu a de Ni, Mn, Cu e Zn e não influenciou a absorção de B pelas plantas, enquanto a cinza UTPM não intemperizada ( 40, 80 e 160 t ha-1 ) aumentou a absorção de B e S e diminuiu a de Mn, sendo que a absorção de Cd, Cr e Pb não foi afetada pelas doses dessas cinzas.

Efeitos da variação da carga por eixo, pressão de inflação e tipo de pneu na resposta elástica de um pavimento

O presente trabalho é uma análise experimental que procura investigar os efeitos dos fatores carga por eixo, pressão de inflação e tipo de pneu sobre o desempenho de pavimentos. Os dados e informações existentes sobre o quadro de cargas por eixo praticada pela frota de veículos pesados é razoável. A ação conjunta dos referidos fatores é ainda uma questão pouco explorada. Assim, para compensar a escassez de dados sobre pressão de inflação e tipo de construção de pneus utilizados na frota de carga, programou-se uma pesquisa de campo na rodovia estadual RS/240. As informações oriundas da pesquisa demonstram que há um acréscimo generalizado no valor da pressão dos pneus e um aumento de uso dos pneus de fabricação radial em relação aos pneus convencionais. Os dados de campo subsidiaram a programação de um experimento fatorial cruzado executado na Área de Pesquisas e Testes de Pavimentos da UFRGS/DAER. A variação dos níveis dos fatores deu-se através de um simulador linear de tráfego atuando sobre uma pista experimental com 20 m de comprimento por 3,5 m de largura. Tendo como resposta estrutural do pavimento a máxima deflexão superficial recuperável medida com uma viga Benkelmam, determinou-se como significantes os efeitos dos fatores carga por eixo e pressão de enchimento dos pneus. Os cálculos estatísticos indicam também que não há diferenças significativas entre os pneus tipo 9.00R20 e 9.00x20 e que todas interações não exercem efeitos significativos sobre a variável de resposta. Em seqüência, determinaram-se as áreas de contato do rodado duplo do simulador de tráfego com a superfície do pavimento ensaiado para as combinações dos níveis dos fatores. Pode-se, então, comparar área de contato medida com área circular calculada, considerada em muitos modelos de dimensionamento de pavimentos. Relacionou-se a variação da pressão de contato com a deflexão recuperável e procedeu-se uma comparação da mesma com a pressão de inflação nominal dos pneus. Apresenta-se um modelo de análise do desempenho do pavimento em função da carga por eixo e da pressão de inflação, nos limites do experimento. Os dados decorrentes do experimento viabilizaram a determinação dos Fatores de Equivalência de Cargas para os níveis dos fatores, considerando-se o pavimento ensaiado. Avaliou-se, via evolução das deflexões e dos Fatores de Equivalência de Cargas, a redução da vida do pavimento, obtendo-se, para a combinação de níveis mais críticos de carregamento, resultados significativos de até 88 % de redução. Propõe-se, por último, uma formulação para o Fator de Equivalência de Cargas que considere também a ação da pressão de inflação.

Dom Casmurro em tradução : uma abordagem comparativista

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

Tesauro e terminologia : uma inter-relação lógica

Estudo compreendido como uma inter-relação lógica entre tesauros e Terminologia, mais especificamente nos princípios da Teoria Comunicativa da Terminologia — TCT. Analisa um tesauro do ponto de vista da sua organização estrutural. Estuda os descritores verificando sua representatividade como um elemento de representação e recuperação das informações de uma área de especialidade. Sinaliza para uma nova abordagem em relação ao tratamento dos descritores aproximando-os a uma unidade lexical terminológica. Tem como pressuposto de trabalho que a relação que se estabelece entre um sistema de recuperação da informação — SRI e os usuários do sistema é uma relação de comunicação. Apresenta algumas considerações e recomendações.

Calibração de métodos de determinação e estimativa de doses de fósforo e potássio em solos sob sistema plantio direto

O método de análise de solo Mehlich-1 em uso no RS e SC não é adequado para a avaliação da disponibilidade de fósforo em solos adubados recentemente com fosfatos naturais, além de, na comparação com o método da resina de troca iônica, freqüentemente apresentar coeficientes de determinação entre fósforo extraído do solo e parâmetros de plantas menores. Questiona-se também a adequaçãodos teores críticos de fósforo e potássio do solo e as doses de fertilizantes recomendadas atualmente, com base em calibrações feitas entre as décadas de 1960 a 1980, sob sistema convencional e amostragem da camada 0-20 cm de profundidade, para o sistema de plantio direto, com amostragem na camada 0-10 cm.Para equacionar alguns dos aspectos mencionados foram feitos três estudos. No primeiro, correlacionou-se o fósforo extraído, pelos métodos Mehlich-1 e resina de troca iônica, de 100 amostras de solos com diferentes classes de textura e teores de fósforo, com o objetivo de obter um índice de equivalência entre o fósforo determinado por ambos os métodos. No segundo estudo, foram enterradas lâminas de resina para avaliar a capacidade da resina em estimar a disponibilidade de fósforo para as plantas de milho e arroz em diferentes estádios de desenvolvimento. No terceiro estudo, utilizaram-se resultados de experimentos com doses de fósforo e potássio, cultivados com soja, trigo e milho, para re-calibrar os teores críticos de fósforo e potássio do solo pelo método Mehlich-1, e calibrar os resultados obtidos com o método Mehlich-3 e resina Os resultados obtidos no estudo 1 não permitiram estabelecer um índice de equivalência analítico entre os métodos Mehlich-1 e resina, pois a extração depende também da interação entre teores de fósforo e argila do solo. O método da resina enterrada foi eficiente para determinar a disponibilidade de fósforo para o arroz em solos inundados, mas pode não ser adequado para a cultura do milho. Os teores críticos de fósforo e potássio utilizados atualmente para recomendação de adubação estão subestimados, tanto para as amostras na camada 0-20, como na 0-10 cm de profundidade. As doses de fósforo e potássio, recomendadas para as culturas soja e milho, também estão subestimadas. Os coeficientes de determinação, obtidos entre o fósforo e o potássio determinados pelos métodos Mehlich-1 e resina e o rendimento das culturas soja, milho e trigo, foram maiores do que os obtidos com o Mehlich-3 para mesma relação.

Relações solo-planta-animal num sistema de integração lavoura-pecuária em semeadura direta com calcário na superfície

A desfolhação e o pisoteio animal podem afetar a cobertura vegetal e alterar a dinâmica do calcário no solo. Este trabalho estudou um sistema de integração lavoura-pecuária com níveis de biomassa de pastagem e seu reflexo sobre o solo, o desenvolvimento da soja e a dinâmica da correção da acidez a partir da superfície do solo. O experimento foi conduzido em um Latossolo Vermelho, em uma pastagem de aveia preta + azevém manejada sob diferentes alturas. O delineamento experimental foi o de blocos ao acaso com quatro tratamentos (10, 20, 30 e 40 cm de altura de manejo) e três repetições. Utilizou-se terneiros jovens em pastejo contínuo, com lotação variável, em dois períodos de pastejo (2001 e 2002). No final do primeiro período aplicou-se 4,5 Mg ha-1 de calcário na área, implantando-se a cultura da soja. As alturas da pastagem afetaram a massa de forragem e o desempenho dos animais. Na média dos dois anos, maiores rendimentos individuais e por área foram obtidos com pastagem manejada nas alturas médias de 25 e 10 cm, respectivamente. Após o pastejo, somente no manejo a 10 cm a densidade e a macroporosidade do solo atingiram valores que podem limitar o desenvolvimento da soja na camada de 0-2,5 cm. Efeitos sobre os atributos químicos manifestaram-se até 5 cm de profundidade, cinco meses após a calagem, avançando com o tempo, independentemente da condição anterior de pastejo. A população de plantas e o rendimento da soja diminuíram com a redução da altura de manejo da pastagem. Houve equivalência de rendimento econômico entre todos os tratamentos, sendo a diminuição do rendimento de soja, em situação de alta intensidade de pastejo, compensada pelo aumento do rendimento animal por unidade de área. O rendimento de soja na área sem pastejo foi similar àquele obtido em áreas com intensidade de pastejo leve.

Estudo etnobotânico das plantas utilizadas como medicinais por moradores do bairro Ponta Grossa, Porto Alegre,Rio Grande do Sul

Este trabalho foi realizado com o intuito de estudar as plantas utilizadas como medicinais pelos moradores do bairro Ponta Grossa e pelos Agentes Comunitários de Saúde relacionados ao Posto de Saúde da Família do bairro Ponta Grossa, Porto Alegre, Rio Grande do Sul. Como metodologia, foram realizadas entrevistas estruturadas, na forma de questionários, para obtenção dos dados socioculturais e semi-estruturadas para o levantamento dos dados sobre as plantas. Foram coletadas 150 espécies utilizadas pela população, sendo 9 delas identificadas somente até gênero, pertencentes a 59 famílias botânicas. As famílias mais representadas em número de espécies foram Asteraceae e Lamiaceae. As partes das plantas mais utilizadas foram folhas e partes aéreas, sendo o chá a principal forma de utilização. As doenças e/ou sintomas mais mencionados foram os relacionados aos aparelhos digestório e respiratório. Em uma análise dos nomes populares foram encontradas 56 espécies com etnohomônimos e 73 espécies com etno-sinônimos verdadeiros ou falsos. Também foi realizada uma revisão bibliográfica comparativa entre as indicações de uso originais e as indicações atuais referidas no estado do Rio Grande do Sul e países limítrofes. Esta revisão teve como objetivo verificar se houve alterações do conhecimento popular. Uma espécie apresentou equivalência entre as indicações de usos originais e atuais e 140 apresentaram alteração do conhecimento popular. Para 16 espécies foi detectada alteração total do conhecimento, 61 apresentaram ampliação do conhecimento e 21 redução do conhecimento popular. Ferramentas quantitativas foram utilizadas, como Valor de Uso (UV) e a porcentagem de Concordância corrigida quanto aos Usos Principais (CUPc), para verificar quais as espécies mais importantes para a população e as mais promissoras para a realização de estudos biológicos posteriores. Para as 21 espécies mais importantes foram feitas revisões na literatura científica com o objetivo de reunir dados químicos e biológicos, que resultarão na elaboração de um manual didático, o qual será devolvido como um retorno para a população estudada.

Influência dos fotoativadores PAC e QTH na polimerização de resina composta e na geração de calor

O objetivo deste estudo foi avaliar e comparar in vitro o desempenho dos fotoativadores Apollo® 95E /DenMed Technologies, com luz xênon (arco de plasma - PAC), e o Curing Light® XL 3000 /3M-Unitek, com luz halógena (convencional - QTH), comparando-se, desta forma, um fotoativador de alta intensidade de luz (PAC) com um convencional (QTH). A efetividade dos aparelhos foi verificada pelo grau de polimerização apresentado pela resina composta (Transbond™XT/3MUnitek), avaliado em espectrofotometria por infravermelho e pela análise de microdureza Knoop. Os tempos de ativação para a fonte PAC foram um, dois e três segundos e, para a fonte QTH, foram 10, 20 e 30 segundos, buscando-se avaliar a equivalência, ou não, dos diferentes tempos das diferentes unidades fotoativadoras. Foram usadas matrizes metálicas circulares, que receberam a resina para posterior polimerização. Para cada tempo de ativação, para cada aparelho e para cada teste, foi fotoativada a resina composta de cinco corpos-de-prova. Foi avaliada, também, a temperatura no extremo distal do condutor de luz de cada aparelho, nos seus respectivos tempos predeterminados, colocando-se justaposto, à ponta do fotoativador, o sensor do dispositivo de aferição Sekundenthermometer/GTH 1160 – Phywe. Os resultados obtidos foram submetidos ao teste não-paramétrico Kolmogorov-Smirnov, à Análise de Variância (ANOVA) e ao teste de comparações múltiplas de Tukey. Os resultados da espectrofotometria apontaram diferença estatística significativa entre os grupos estudados. O grupo QTH alcançou as maiores médias e diferiu do grupo PAC (p=0,01). O ensaio de microdureza Knoop também apresentou resultados que apontaram a existência de diferença estatística significativa entre os grupos estudados, tendo o grupo QTH alcançado as maiores médias (p=0,01). A avaliação da temperatura igualmente apresentou diferença estatística significativa entre os grupos estudados (p=0,01), sendo que o grupo QTH atingiu as maiores médias. Com base na metodologia empregada e na análise dos dados obtidos no presente estudo, pode-se concluir que o grau de polimerização da resina composta e a temperatura no extremo distal do condutor de luz apresentaram diferença estatística significativa com o uso das unidades fotoativadoras Apollo® 95E (xênon) e Curing Light® XL 3000 (halógena) nos respectivos tempos predeterminados (p=0,01), ficando sempre, com as maiores médias, o aparelho convencional com luz halógena.

Fatores relacionados à síntese de matérias-primas que podem alterar a biodisponibilidade do medicamento genérico

A eficácia terapêutica, segurança e intercambialidade dos medicamentos genéricos em relação ao medicamento de referência são comprovadas pelos ensaios de equivalência farmacêutica e bioequivalência. No entanto, alguns fatores que podem interferir na biodisponibilidade do princípio ativo, como o polimorfismo e a quiralidade, não são avaliados adequadamente. O presente trabalho teve como objetivo demonstrar, por meio de uma revisão da literatura, como alterações na rota de síntese de um fármaco podem afetar a biodisponibilidade/bioequivalência do medicamento genérico. Uma parte experimental foi realizada para a identificação de polimorfos em matérias-primas e medicamentos (genéricos e referência) do mebendazol, que apresenta 3 polimorfos distintos, com diferentes propriedades físico-químicas e biofarmacêuticas e, inclusive, diferentes comportamentos in vivo. Através de testes simples e rápidos, como a espectroscopia de infravermelho e ensaio de perfil de dissolução, foi possível caracterizar a presença dos diferentes polimorfos do mebendazol em matérias-primas e medicamentos disponíveis no mercado. Para o perfil de dissolução utilizou-se método modificado (sem lauril sulfato de sódio) da Farmacopéia Americana (USP 27), uma vez que o meio de dissolução preconizado impediu a diferenciação de polimorfos, deixando evidente que as monografias farmacopéicas não apresentam, normalmente, ensaios para a identificação das possíveis formas polimórficas de um mesmo fármaco. Os resultados obtidos demonstram que as 3 formas polimórficas do mebendazol estão presentes nos medicamentos e duas delas em matérias-primas, sugerindo que um maior controle deveria ser utilizado para a seleção de matérias-primas que apresentam polimorfismo, assegurando a qualidade de medicamentos genéricos.

Análise dos fatores influentes na tensão última de protensão em cabos não aderentes

A protensão não aderente é um sistema de pós-tensão caracterizado pela liberdade de deslizamento da armadura em relação ao concreto, ao longo de todo o perfil do cabo, com exceção das ancoragens. Devido à falta de aderência entre aço e concreto, a compatibilidade de deformações dos materiais na seção transversal não existe. O que se verifica é a compatibilidade de deslocamentos, com a equivalência entre os alongamentos do cabo e das fibras de concreto adjacentes ao mesmo. Isto acarreta complexidade no projeto de tais estruturas. No que se refere ao dimensionamento no Estado Limite Último, a tensão atuante nas armaduras não aderentes, também denominada tensão última de protensão, não é, a princípio, conhecida. Para sua obtenção, é fundamental a precisa determinação das curvaturas ao longo do elemento, tornando o desenvolvimento analítico de uma solução, praticamente inviável. Geralmente, são utilizados critérios empíricos para a previsão da tensão última de protensão em armaduras não aderentes. Estes levam em conta na sua formulação, parâmetros considerados como de grande influência no valor da tensão última de protensão. A fim de avaliar a significância de alguns destes fatores no valor da tensão última de protensão, um estudo paramétrico foi realizado. Parâmetros como a taxa de armadura, a tensão efetiva inicial de protensão, a relação entre a altura do elemento e o seu vão e, também, o tipo de carregamento, foram investigados. Para tal, um protótipo foi idealizado por meio de um modelo numérico Este modelo utiliza a formulação de elemento finito do tipo híbrido para pórticos planos, que é caracterizado pela precisa obtenção das curvaturas, e mostrou-se adequado para utilização na presente pesquisa. A análise dos resultados obtidos permitiu a identificação e quantificação da influência dos parâmetros estudados, no valor da tensão última de protensão. A relevância dos valores de tensão obtidos, em função dos parâmetros adotados, na capacidade portante dos elementos, foi também avaliada.

Estudo de pré-formulação com o composto polifenólico quercetina

As ferramentas termo-analíticas, tais como a calorimetria exploratória diferencial (DSC) e a análise termogravimétrica (TGA), são os métodos usualmente utilizados para a verificação preliminar acerca da existência de interações entre fármacos e adjuvantes. Neste trabalho, foram verificados a equivalência entre a quercetina, empregada como matéria-prima, e a quercetina referência, seus comportamentos térmicos e a possível existência de interações entre esta substância e adjuvantes tecnológicos usualmente empregados no desenvolvimento de formas farmacêuticas sólidas e semi-sólidas. A evidência de interações foi investigada por análise de misturas físicas binárias sólidas da quercetina e o adjuvante. Os adjuvantes utilizados foram o ácido esteárico, álcool estearílico, celulose microcristalina, croscarmelose sódica, dióxido de silício coloidal, estearato de magnésio, lactose, manitol, monoestearato de glicerila, polissorbato 80, povidona, propilenoglicol, talco e vaselina sólida. A influência do processo de secagem por aspersão sobre as características da quercetina isolada e em presença do adjuvante de secagem dióxido de silício coloidal também foi avaliada. Os perfis espectroscópicos e cromatográficos das duas amostras de quercetina foram sobreponíveis, enquanto que o comportamento térmico da quercetina matéria-prima, obtido por DSC, não se mostrou equivalente ao da referência, pressupondo diferentes forma de cristalização ou solvatação. Para as misturas físicas, apenas aquelas contendo estearato de magnésio e lactose apresentaram indícios de interação verificados por DSC e confirmados por TGA, mas não ratificados por espectroscopia no infravermelho. O processo de secagem por aspersão modificou o perfil térmico da quercetina, enquanto o produto seco por aspersão contendo adjuvante de secagem apresentou resultados semelhantes aos obtidos para a mistura física com as mesmas substâncias.

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.

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