Controles internos e gestão de riscos em instituições financeiras

O Comitê de Supervisão Bancária da Basiléia, um dos organismos mais respeitados no mundo em normatização da indústria bancária, emitiu, em setembro de 1998, o documento: Framework for Internal Control Systems in Banking Organizations, que trata da necessidade da manutenção de controles internos adequados para a natureza e para a escala dos negócios das instituições financeiras. O documento originou-se a partir de pressões internacionais por controles internos mais eficientes e eficazes. De acordo com o documento, os instrumentos de controle devem incluir disposições claras para a delegação de competência e responsabilidade; a separação de funções que envolvam a assunção de compromissos pelos bancos, a utilização de seus recursos financeiros e a responsabilidade por seus ativos e passivos; a reconciliação de tais processos; a proteção de seus ativos; e as funções apropriadas de auditoria e de conformidades independentes, internas ou externas, para verificar a adesão a tais controles, assim como às leis e regulamentos aplicáveis. O Comitê de Supervisão Bancária da Basiléia verificou que diversos problemas ocorridos em grandes organizações bancárias poderiam ser evitados com um sistema eficiente de controles internos. Vários casos estudados demonstraram que controles internos inadequados resultaram em perdas significativas para os bancos. Assim, esta dissertação apresenta, com base no documento acima citado, os tipos de perdas e a análise dos princípios de controles internos recomendados pelo Comitê de Supervisão Bancária da Basiléia e adotados no Brasil a partir da publicação pelo Conselho Monetário Nacional da Resolução 2.554, de 24 de setembro de 1998.

Desenvolvimento de um sistema de custos integrado aos protocolos médicos para unidades hospitalares de tratamento intensivo

O ambiente de concorrência em que estão inseridas as empresas tem pressionado pela busca constante de novas ferramentas gerenciais. Os hospitais não estão alheios a este desafio e encontram-se em constante transformação ao encontro da excelência assistencial. A existência de um sistema de custos adequado, sendo um instrumento de informação acurado que auxilia na melhoria dos processos internos e nas tomadas de decisão como um todo, apresenta-se como elemento estratégico importante para a competitividade de um hospital. O propósito deste estudo de caso, realizado no primeiro semestre de 2002, foi o de desenvolver e validar um modelo de sistema de custos integrado aos protocolos médicos e rotinas assistenciais da Unidade de Terapia Intensiva (UTI) do Hospital Mãe de Deus de Porto Alegre - RS. O modelo foi matematicamente construído, embasado no método ABC (Actvity-Based Costing) para a alocação dos custos fixos e indiretos, e no método do Custo-Padrão real (corrente) para a alocação dos custos diretos, tendo como pressupostos o custeio dos diversos serviços e a conseqüente promoção de melhorias contínuas e auxílio ao processo decisório como vantagens competitivas nas negociações com fontes pagadoras. O desenvolvimento do modelo deu-se através do mapeamento de dez protocolos aprovados pela Comissão de Ética do hospital e representativos da assistência diversificada da UTI, seguido da alocação dos custos fixos e indiretos com mão-de-obra, depreciação, manutenção e gasoterapia, através do estabelecimento de direcionadores de tempo (mão-de-obra) e intensidade (demais custos), baseados no percentual de participação dos recursos ditados pelos protocolos. Os custos diretos com materiais e medicamentos foram alocados pela média do custo-padrão corrente. A coleta de dados primários, para o estabelecimento dos direcionadores de custos, foi realizada junto à equipe assistencial e utilizou-se medidas estatísticas de localização, dispersão e probabilidade para dar mais confiabilidade às análises. O modelo foi implementado computacionalmente, utilizando-se o software EXCEL da Microsoft. A validação foi dada pela comparação dos resultados entre o modelo desenvolvido e o demonstrativo contábil fornecido pela Controladoria do hospital. Concluiu-se que o modelo desenvolvido de sistema de custos integrado aos protocolos médicos atendeu os objetivos pretendidos, sendo um instrumento gerencial flexível e de fácil implementação, que deve ser utilizado pelo controller do hospital no auxílio ao processo decisório de gestores e da alta administração. Em adição, mostrou-se capaz de embasar tomadas de decisão no longo prazo em relação à capacidade instalada e oportunidades de redimensionamento de quadro de médicos plantonistas e enfermeiros.

A economia dos contratos no fornecimento de alimentação em uma empresa de refeições coletivas

O segmento de refeições coletivas é representado por empresas envolvidas com o fornecimento de refeições para uma clientela definida, posicionando-se como prestadoras de serviços. Esta relação de terceirização constitui-se em uma estrutura híbrida de governança que tem o contrato como garantia para a realização das atividades entre dois atores, correspondendo à corporificação da transação. Este trabalho se propôs a estudar como os contratos de fornecimento de alimentação são negociados, estruturados e geridos, a partir de um referencial fundamentado na Economia dos Custos de Transação. Para tanto, buscou identificar os elementos transacionais e comportamentais envolvidos na relação entre uma empresa de refeições coletivas (Regional-Sul do Brasil da empresa líder mundial do setor) e suas contratantes. No estudo de caso realizaram-se entrevistas semi-estruturadas com os 7 gestores dos contratos. Também analisaram-se os 92 contratos firmados entre a empresa e seus contratantes. Uma análise qualitativa foi realizada utilizando-se o conteúdo das entrevistas. Os contratos originaram uma série de dados dicotômicos, à medida que certas cláusulas se faziam presentes ou não nos contratos. Desta forma, foi possível investigar a presença de correlações entre as variáveis através de análises estatísticas. Os resultados demonstraram que os ativos específicos representam pequenos custos ex-ante e ex-post ao passo que são de responsabilidade apenas da parte contratante e são salvaguardados no contrato. Já no que se refere à incerteza ambiental e ao padrão dos serviços contratados esses são responsáveis por freqüentes renegociações, demandando os maiores esforços para a manutenção da relação O oportunismo não é comum nas relações estudadas, decorrente de cláusulas que protegem os atores de comportamentos de má-fé e da própria reputação dos agentes. Os contratos aceitam situações imprevisíveis e contemplam a possibilidade de renegociações, corroborando a racionalidade limitada dos atores. De forma geral, notou-se um esforço ex-ante para serem minimizados os custos de transação ex-post à medida que são formulados contratos incompletos e ao mesmo tempo flexíveis, garantindo a manutenção da relação entre os atores.

O polimorfismo T102C do receptor serotonérgico 5-HT2A participa na manutenção do tabagismo e dos mecanismos de preferência alimentar

A serotonina tem sido relacionada aos comportamentos apetitivo, emocional, motor, cognitivo e autonômico. Os neurônios serotonérgicos estão localizados nos núcleos da rafe, projetam-se para todas as regiões do sistema nervoso central e atuam através de sete tipos de receptores diferentes (5-HT1-7). Os receptores do tipo 2 são categorizados em 3 sub-tipos (A, B e C). Os receptores 5-HT2A são receptores pós sinápticos que promovem a ativação da fosfolipase C, responsável pela hidrólise de fosfolipídios da membrana neuronal, dando origem aos segundos mensageiros diacilglicerol e trifosfato de inositol. O gene do receptor 5-HT2A apresenta alguns polimorfismos, entre os quais o T102C, onde na posição 102 pode estar ou uma timina (T) ou uma citosina (C). Este polimorfismo, apesar de não determinar uma alteração na seqüência de amionoácidos que compõem o receptor determina sua expressão em quantidade diferente. Nesta tese, o polimorfismo T102C do gene do receptor 5-HT2A foi empregado como uma ferramenta para o estudo da neuroquímica do tabagismo e do comportamento alimentar. No estudo acerca do tabagismo, um grupo de 625 sujeitos foi genotipado e classificado de acordo com seu comportamento em relação ao fumo (fumantes atuais, exfumantes ou não fumantes). Foram encontradas diferenças na distribuição dos genótipos quando fumantes atuais foram comparados com ex-fumantes e não fumantes, sugerindo que o polimorfismo T102C está associado com a manutenção, e não o início, do hábito de fumar. O genótipo CC era mais freqüente nos fumantes atuais do que nos ex-fumantes e não fumantes. No estudo sobre o comportamento alimentar, um grupo de 240 sujeitos idosos foi genotipado e sua dieta espontânea foi avaliada tanto quanto ao conteúdo de macro quanto de micro-nutrientes. Foram encontradas diferenças na dieta relacionadas ao polimorfismo T102C. Os indivíduos TT comem uma maior quantidade e proporção de proteínas, apesar de não alterar a quantidade de calorias ingeridas. Eles ingerem mais carne vermelha todos os aminoácidos essenciais. Concluindo, através de um instrumento da genética molecular que identifica sujeitos com suscetibilidade para terem uma menor ou maior quantidade de receptores 5-HT2A, para o qual não há agonistas específicos, é possível sugerir o provável envolvimento deste receptor tanto nos mecanismos de manutenção da adição ao tabaco quanto nos de preferência alimentar.

Estruturação de um sistema de gestão da manutenção em uma empresa do segmento automotivo

Resumo não disponível.

Avaliação do uso de guias sonoras como medida de redução de acidentes nas rodovias do Rio Grande do Sul

Nos últimos anos, os profissionais que atuam na área da engenharia rodoviária têm se dedicado à busca de tratamentos e soluções de engenharia que conduzam a melhores condições de segurança na malha viária. Entre as soluções de engenharia capazes de contribuir de forma efetiva para a segurança viária, estão as Guias Sonoras. As Guias Sonoras são ranhuras ou saliências que marcam o pavimento das rodovias alertando motoristas desatentos. Este trabalho teve por objetivo sistematizar os conhecimentos existentes sobre o uso de Guias Sonoras no país e no mundo, afim de divulgar um dispositivo de baixo custo e de simples aplicação e manutenção. O estudo aborda questões referentes ao custo do dispositivo, aos seus aspectos construtivos e à sua durabilidade, bem como o seu potencial na redução de acidentes. Foi realizada um ampla pesquisa bibliográfica e um estudo de caso. No estudo de caso realizado, buscou-se (a) verificar a existência de locais com características geométricas que resultam em uma maior propensão à ocorrência de acidentes do tipo saída de pista, principal evento evitável pelo uso das Guias Sonoras,e (b) comparar os custos de implantação do dispositivo com os custos dos acidentes evitáveis pelas Guias Sonoras. O estudo de caso mostrou que acidentes do tipo saída de pista representam aproximadamente 30% do total de acidentes de uma rodovia típica. Esse percentual é compatível com o verificado na revisão bibliográfica. A análise dos segmentos nos quais este tipo de acidente ocorria de forma mais freqüente revelou uma tendência à sua ocorrência em aclives/declives e/ou curvas. De acordo com o comparativo feito entre custos dos acidentes e custos de implantação de Guias Sonoras, o custo de um acidente apenas com feridos equivale à execução de 3,8 quilômetros de Guias Sonoras nos acostamentos da rodovia. Já, o custo de um acidente com vítima fatal equivale à execução de 31 quilômetros de Guias Sonoras. Adicionalmente, constatou-se que o investimento necessário para a implantação do dispositivo nos acostamentos do trecho analisado seria menor do que os custos de acidentes de saída de pista ocorridos no trecho no período de 3 anos.

Efeito do transporte e da qualidade da armazenagem no custo da soja na Região das Missões do Rio Grande do Sul

O objetivo deste trabalho foi, por meio de pesquisa, analisar o efeito do transporte e da qualidade da armazenagem no custo, bem como definir o histórico do melhor mês para a comercialização da soja na região das Missões do Rio Grande do Sul. Foram coletados dados da região quanto à produção, produtividade e área plantada de soja, valores históricos da tonelada de soja cotada em dólar, valor dos serviços prestados pelo complexo armazenador, e valor dos fretes cobrados nos modais de transporte rodoviário e ferroviário nas cidades de Santo Ângelo e São Luiz Gonzaga. Foram verificadas e analisadas as perdas ocorridas no transporte e na armazenagem e, finalmente, chegou-se ao resultado do valor l íquido da soja em cada mês no período 1995/1996 a 2000/2001. Efetuou-se pesquisa com dados coletados diretamente do universo de cinco empresas transportadoras e três empresas armazenadoras instaladas na região, das quais foram entrevistados gerentes responsáveis pelas empresas. O sistema de armazenagem com controle de qualidade mostrou-se o mais apropriado para conservação da soja. O modal mais organizado para escoamento das exportações é o transporte rodoviário. O melhor mês para a comercialização da soja, considerando a região das Missões, foi novembro que apresentou maior margem de lucro sobre a tonelada de produto destinada a exportação considerando os custos de armazenagem e transporte.

Manutenção produtiva total : estudo de caso na indústria gráfica

A participação do Brasil no moderno processo tecnológico, disseminado através da globalização, tem colocado as organizações empresariais em ritmo aceleradode mudanças, proporcionando um mercado altamente competitivo. o aprimoramento da qualidade, valor, bom atendimento e inovação dos produtos e serviços, que precisam ser adaptados rapidamente, proporcionam condições de sobrevivência para as empresas num mundo altamente globalizado. O programa TPM - Total productive maintenance, que, traduzido, resulta em Manutenção Produtiva Total, auxilia as empresas na redução de ocorrência de falhas em instalações, máquinas e equipamentos nestes ambientes competitivos. O objetivo deste trabalho é consolidar uma metodologia de implementação de TPM. Para isso, tem-se o desenvolvimento de um estudo de caso de implementação do programa em uma indústris gráfica. O trabalho limita-se às etapas de planejamento, implantação e avaliação dos resultados obtidos com a aplicação do TPM em um equipamento piloto, buscando confirmar as vantagens do método proposto. Os resultados obtidos com a implantação do programa na equipe piloto demonstram a eficácia das atividades desenvolvidas em grupo.

A família Pso2/Snm1 e suas possíveis funções na reparação de DNA e na manutenção genômica dos cromossomos

O genoma das células eucarióticas é um dos principais alvos para danos induzidos por inúmeros fatores ambientes, sejam estes de origem biótica ou abiótica. Considerando a complexidade da molécula de DNA, não é supreendente que existam diferentes tipos de lesões com os mais variados graus de severidade. Dentre todas as lesões que podem ser induzidas no DNA, as pontes intercadeias (ICLs) estão entre as mais graves. Se não forem reparadas, a presença de apenas um ICL pode ser letal para a célula. Além disso, as lesões do tipo ICLs são quimicamente heterogêneas, podendo modificar a estrutura do DNA de forma permanente ou temporária. Os mecanismos relacionados à reparação de ICLs ainda são pouco conhecidos em eucariotos. Apesar de várias proteínas terem sido descritas como essenciais ao processo, não há um modelo único que explique esta reparação. Contudo, dentre as diferentes proteínas que participam na reparação de ICLs, destacam-se as nucleases Pso2/Snm1. A forma de atuação das proteínas Pso2/Snm1 não é conhecida, mas inúmeros dados obtidos com mutantes de Saccharomyces cerevisiae e, recentemente, com células de mamífero, mostram que a ausência de Pso2p/Snm1p bloqueia a restituição do DNA de alta massa molecular. Por outro lado, tem sido mostrado que o Pso2p/Snm1p provavelmente atua na manutenção da cromatina, mas de uma forma ainda não completamente esclarecida. Uma das proteínas pertencentes à família Pso2p/Snm1p, Ártemis, possui um papel importante no desenvolvimento do sistema imunológico adaptativo de metazoários e parece ser essencial para outros processos relacionados ao metabolismo de DNA eucariótico. Desta maneira, este trabalho teve como objetivo principal o estudo da família Pso2p/Snm1p por meio da análise filogenética e de seqüências, comparando-a com proteínas homólogas já descritas em outros organismos. Além disso, esta comparação XVII permitiu estabelecer uma correlação funcional entre as proteínas em termos de reparação de DNA e manutenção da cromatina eucariótica. As análises de filogenia e de seqüências claramente demonstraram que as proteínas Pso2/Snm1 podem ser agrupadas em quatro grupos principais ao invés de três, ao contrário do que se conhecia previamente. Três destes grupos, por sua vez, são formados por subgrupos específicos, que possivelmente atuam de forma diferenciada na reparação de DNA, na manutenção da cromatina e na geração de diversidade biológica. Por outro lado, os estudos das seqüências Pso2/Snm1, baseados principalmente na técnica de análises de agrupamentos hidrofóbicos (HCA), revelaram um alto grau de similaridade de estruturas primárias e secundárias entre os diferentes grupos, um indicativo da importância estrutural para a função destas proteínas no metabolismo de DNA. A técnica de HCA permitiu mapear regiões conservadas (CRs) em todas as seqüências estudadas, compondo o chamado domínio Pso2p/Snm1p. Em alguns casos, o domínio Pso2p/Snm1p encontra-se fusionado a outros domínios catalíticos. Neste caso, destaca-se o estudo de uma nova família de DNA ligases dependentes de ATP que são exclusivas de plantas. Esta nova família, denominada de Lig6p, parece ter funções importantes no metabolismo do DNA de plantas, sendo esta a primeira DNA ligase eucariótica com função nucleásica identificada. Usando os dados obtidos neste trabalho em conjunto com os resultados de outros autores, é sugerido um possível modo de atuação das proteínas Pso2p/Snm1p na reparação de danos do tipo ICL, na manutenção da cromatina e na geração de diversidade biológica.

A adoção do regime de parceria através da elaboração de contratos de longo prazo na terceirização de manutenção industrial

A terceirização das atividades industriais consideradas de apoio passou a ser fortemente implementada a partir de meados da década de 80. Sem compreender muito bem o conceito básico da terceirização e pressionada pelas dificuldades que a economia brasileira passava na época, a empresa na qual este estudo de caso foi desenvolvido optou por terceirizar parcela significativa da manutenção industrial, mesmo esta sendo parte parte do processo produtivo. A falta de empresas vocacionadas na região para uma prestação de serviço em terceirização precária, com contratação por mão-de obra(culminando com um acréscimo significativo dos gastos de manutenção), acidentes de trabalho e baixa qualidade na execução. O estudo analisa também as conseqüências jurídicas, o impacto na produção de fertilizantes e as dificuldades de as empresas fornecedoras se manteremsaudáveis financeiramente, com equipes treinadas e motivadas. Como conclusão, apresenta-se uma proposta de adoção de um regime de parceria sob contrato de longo prazo com cláusulas que garantam a efetividade no relacionamento entre as partes.

Uma Proposta de distribuição do servidor de arquivos em clusters

A evolução da Computação Baseada em Clusters, impulsionada pelo avanço tecnológico e pelo custo relativamente baixo do hardware de PCs, tem levado ao surgimento de máquinas paralelas de porte cada vez maior, chegando à ordem das centenas e mesmo milhares de nós de processamento. Um dos principais problemas na implantação de clusters desse porte é o gerenciamento de E/S, pois soluções centralizadas de armazenamento de arquivos, como o NFS, rapidamente se tornam o gargalo dessa parte do sistema. Ao longo dos últimos anos, diversas soluções para esse problema têm sido propostas, tanto pela utilização de tecnologias especializadas de armazenamento e comunicação, como RAID e fibra ótica, como pela distribuição das funcionalidades do servidor de arquivos entre várias máquinas, objetivando a paralelização de suas operações. Seguindo essa última linha, o projeto NFSP (NFS Parallèle) é uma proposta de sistema de arquivos distribuído que estende o NFS padrão de forma a aumentar o desempenho das operações de leitura de dados pela distribuição do serviço em vários nós do cluster. Com essa abordagem, o NFSP objetiva aliar desempenho e escalabilidade aos benefícios do NFS, como a estabilidade de sua implementação e familiaridade de usuários e administradores com sua semântica de uso e seus procedimentos de configuração e gerenciamento. A proposta aqui apresentada, chamada de dNFSP, é uma extensão ao NFSP com o objetivo principal de proporcionar melhor desempenho a aplicações que explorem tanto a leitura como a escrita de dados, uma vez que essa última característica não é contemplada pelo modelo original A base para o funcionamento do sistema é um modelo de gerenciamento distribuído de meta-dados, que permite melhor escalabilidade e reduz o custo computacional sobre o meta-servidor original do NFSP, e também um mecanismo relaxado de manutenção de coerência baseado em LRC (Lazy Release Consistency), o qual permite a distribuição do serviço sem acarretar em operações onerosas de sincronização de dados. Um protótipo do modelo dNFSP foi implementado e avaliado com uma série de testes, benchmarks e aplicações. Os resultados obtidos comprovam que o modelo pode ser aplicado como sistema de arquivos para um cluster, efetivamente proporcionando melhor desempenho às aplicações e ao mesmo tempo mantendo um elevado nível de compatibilidade com as ferramentas e procedimentos habituais de administração de um cluster, em especial o uso de clientes NFS padrões disponíveis em praticamente todos os sistemas operacionais da atualidade.

Análise do custo físico do trabalho de professoras de ginástica sistematizada

Este trabalho apresenta discussão sobre análise do custo físico do trabalho em professoras de ginásticas sistematizadas em academias. Seus objetivos se determinaram em relatar o custo físico do trabalho de professoras de ginástica, sua percepção subjetiva de esforço durante a aula e mensurar o nível de dor sentido em vários segmentos com o uso da escala de Corlett. A fim de atingir esses objetivos, determinou-se estudo de literatura abrangendo os conceitos de carga de trabalho, custo físico, fadiga muscular e mental e rotas energéticas. As aulas de ginástica analisadas para facilidade de estudo foram divididas em três momentos: 0 ao 21 minuto, do 22 minuto ao 40 e do 41 ao 60 minuto, obedecendo a metodologia empregada na maioria das aulas, aquecimento, parte principal e relaxamento. Para determinar o custo físico de trabalho foi utilizada a classificação proposta por Apud (1987), a carga de trabalho foi estabelecido com o auxílio de equação específica, utilizando-se os valores de freqüência cardíaca de repouso, freqüência cardíaca de trabalho e idade, a escala subjetiva de esforço foi medida pela escala de Borg. A escala de Corlett, que se constitui em uma escala contínua para cada segmento do corpo com duas ancoras, foi utilizada para medir o nível de dor. A análise dos resultados apresentou um elevado custo físico do trabalho, nas três partes da aula e uma elevada carga de trabalho, esse resultado foi encontrado em todos os professores, classificando seu trabalho como extremamente pesado. O maior nível de dor apontado pelos professores esta nos membros inferiores (joelho, coxa, perna e tornozelo) seguidos por queixas de desconforto das regiões de ombros.

Aplicação de Séries de Fourier para análise de retornos de ativos financeiros

As Séries de Fourier permitiram o advento de tecnologias aplicadas em diversas áreas do conhecimento ao proporcionar uma melhor compreensão do comportamento de séries de dados, decompondo-as em diversas harmônicas independentes. Poucos estudos foram encontrados aplicando tal ferramenta matemática para analisar séries de retornos de títulos financeiros. Este trabalho pesquisou - através de análise discreta de Fourier – o comportamento dos retornos de quatro ativos: Dow Jones, Ibovespa, e duas ações da Bolsa brasileira. Cotações mensais, diárias e de dez minutos (intraday) foram utilizadas. Além do espectro estático, registrou-se também a dinâmica dos coeficientes das harmônicas de Fourier. Os resultados indicaram a validade da forma fraca de eficiência de mercado para o curto prazo, dado que as harmônicas de período curto apresentaram comportamento aleatório. Por outro lado, o comportamento das harmônicas de longo prazo (período longo) apresentou maior correlação serial, sugerindo que no longo prazo o mercado não se comporta de acordo com o modelo Random Walk. Uma aplicação derivada deste estudo é a determinação do número de fatores necessários para uma modelagem via Precificação por Arbitragem (APT), dado um nível de correlação desejado.

Análise dos acidentes e doenças do trabalho ocorridos na atividade de construção, instalação e manutenção de redes de telecomunicações no Rio Grande do Sul em 2001 e 2002

Esta dissertação apresenta um levantamento da incidência de acidentes do trabalho nas atividades de construção, manutenção e instalação de redes de telecomunicações no Rio Grande do Sul. Os dados foram obtidos a partir da análise das CATs (Comunicação de Acidente do Trabalho), referentes aos anos de 2001 e 2002. São analisados o perfil dos trabalhadores, o tipo de atividade da empresa, a distribuição temporal dos acidentes, as partes do corpo atingidas, a natureza e a causa dos acidentes e das lesões. Os principais agentes causadores dos acidentes do trabalho, foram às escadas, os veículos e o esforço físico; a principal situação geradora de lesão foi o impacto de pessoa contra objeto; os tipos de lesões mais encontradas foram as contusões, fraturas e distensões; as partes do corpo atingidas foram os membros superiores, inferiores e dorso; os acidentes ocorreram em maior número nas primeiras horas trabalhadas, com os solteiros e o tipo de gravidade das lesões determinadas pelo maior número de afastamento com mais de 15 dias. Com os resultados obtidos, pretende-se subsidiar ações preventivas nestas atividades, pois com base nas principais causas de acidentes do trabalho é possível adotar medidas para reduzir o número e a gravidade dos acidentes.

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