Responsabilidade social nas organizações classe mundial no Brasil : só um discurso ou desempenho sustentável ?

Estudos demonstraram a associação entre as empresas classe mundiais, ganhadoras dos Prêmios Nacionais de Qualidade em seus países, e o sucesso financeiro dessas organizações. Falta na literatura acadêmica, um elo demonstrado empiricamente a associação entre os modelos de Excelência e os critérios de performance socioambientais. Nosso estudo buscou entender o alinhamento entre os conceitos de Qualidade e Excelência com os conceitos de Responsabilidade Social e Sustentabilidade, determinando os elementos de interface e buscando inter-relações. A partir da aplicação de um modelo consagrado de mensuração do desempenho Sustentável no país, os Indicadores Ethos, em quatro empresas vencedoras do PNQ - Prêmio Nacional da Qualidade no Brasil. Comparando os resultados obtidos com o banco de dados do Instituto Ethos e suas melhores práticas, o nosso estudo buscou responder a pergunta se existe uma associação entre a busca da Qualidade Total e o desempenho Sustentável, ou seja, aquele distribuído com justeza entre o social, o ambiental e o econômico. Para isso, utilizamos uma ampla revisão bibliográfica e uma pesquisa de campo com quatro empresas ganhadoras do PNQ, com portes, localização e atividades representativas das organizações vencedoras. Os resultados foram comparados utilizando-se elementos da estatística não-paramétrica e apontam para um desempenho superior das empresas classe mundial em relação ao banco de dados do Instituto Ethos e equivalente às melhores práticas registradas no Instituto. Ademais, percebeu-se um alinhamento entre a evolução dos Critérios de Excelência da Fundação Nacional da Qualidade com os modelos mais atuais de Responsabilidade Social

Comunidades virtuais e as organizações : um estudo sobre a utilização deste novo ambiente

Desde o final do século XX coexistem os mundos real e virtual. Não se deve entender o virtual como o oposto ao real, algo que não existe, mas sim como algo que é equivalente a outro. O virtual é uma simulação da realidade, não sua negação. As organizações procuram se adaptar a esta nova realidade da coexistência de dois mundos e adotam novas tecnologias que as permitam replicar no mundo virtual as atividades que desenvolvem no mundo real. Esta dissertação faz uma revisão dos vários aspectos que colaboram para a construção do conceito de comunidade virtual, apresentando entre outros a comunidade de prática, o ambiente virtual, o metaverso, a organização virtual, o real e o virtual. Não pretende esgotar o tema, o que seria impossível, mas apresentá-lo sob uma abordagem acadêmico-científica. O objetivo geral desta pesquisa foi o de identificar os fatores de atração das organizações para as comunidades virtuais e identificar as principais estratégias utilizadas pelas organizações em sua interação no ambiente virtual. A pesquisa identificou as principais características e funcionalidades que atraem as organizações para o mundo virtual. Para a garantia do rigor, a metodologia empregada foi a pesquisa qualitativa por estudo de caso descritivo. Foi detectado um elevado número de corporações do mundo real com iniciativas no metaverso, mas não foi possível identificar se parte destas organizações o fez apenas por mimetismo, para seguir um movimento capitaneado pelas agências de publicidade. Como resultado objetivo desta pesquisa é possível afirmar que as organizações detectaram as mudanças comportamentais decorrentes do desenvolvimento do ambiente virtual, e por conseqüência das comunidades virtuais, e já estão promovendo experimentos nos metaversos com a clara intenção de aprender como estes mundos virtuais operam.

Estratégias de relacionamento entre atacadistas e varejistas no mercado de baixa renda : uma perspectiva do pequeno varejo de auto-serviço

O mercado de baixa renda no Brasil, que engloba a população das classes sócio-econômicas CDE , representa cerca de 77% dos domicílios brasileiros, com renda familiar de até R$ 2.000,00 por mês (10 salários mínimos em 2002), movimentando cerca de R$ 500 bilhões/ ano em consumo, o equivalente a 35% do consumo agregado nacional (IBGE, 2003). Na categoria de alimentos, esse segmento da população é responsável por 53% do consumo nacional, sendo que em categorias como cereais em geral, leite fresco e em pó, fraldas descartáveis e sabão em pedra são responsáveis por cerca de 80% do consumo no país (LATIN PANEL, 2004). Os pequenos varejistas são os principais responsáveis pelo atendimento a este segmento da população, já que a participação das grandes redes de auto-serviço é relativamente baixa nesse mercado. Os pequenos auto-serviços e o varejo tradicional (padarias, mercearias, empórios) respondem por cerca de 81% das vendas (LATIN PANEL, 2004) e possuem uma penetração superior a 90% no mercado de baixa renda (HILÁRIO 2006). Eles são abastecidos em sua grande maioria de forma indireta pela indústria, que se utiliza de atacadistas e distribuidores para fazerem com que seus produtos cheguem até esses consumidores de menor renda. Esses varejistas possuem características e necessidades distintas dos supermercados de maior porte, dentre as quais pode-se citar: menor capital de giro; menor poder de negociação na hora da compra, em razão de falta de escala; dificuldade de investimento em tecnologia e em treinamento de pessoal (HILÁRIO, 2006) que demandam ações diferenciadas de seus fornecedores, atacadistas e distribuidores. Por meio de uma pesquisa de caráter exploratório, em uma amostra de empresas que atuam no setor varejista e de distribuição, buscou-se identificar, com base no modelo de relacionamentos comprador-vendedor desenvolvido por WILSON (1995), as variáveis ativas mais importantes em cada etapa dos relacionamentos entre o pequeno varejo de baixa renda e os intermediários da indústria, e apontar as estratégias de relacionamento de maior importância na visão dos varejistas. A conclusão do estudo mostra que as estratégias de relacionamento entre atacadistas e pequenos varejistas é ainda muito focada no aspecto transacional, imperando a questão do preço, com baixo envolvimento e compromisso entre os agentes. Embora esta seja, aparentemente, a realidade dos relacionamentos entre atacadistas e pequenos varejistas, existe uma diferenciação nas estratégias de relacionamento entre distribuidores e pequenos varejistas, bem como iniciativas por parte de alguns atacadistas em desenvolverem relacionamentos baseados também em compromisso e confiança. Este parece o caminho a ser trilhado pelas empresas atacadistas e distribuidoras que pretendem criar e manter vantagens competitivas sustentáveis e desenvolver parcerias de sucesso com o pequeno varejo.

Antes que Caia!: patrimônio histórico e turismo em Igarassu, Pernambuco

Lida-se aqui com turismo como alternativa para sustentação material do patrimônio histórico e artístico brasileiro. O turismo é visto, pois, como instrumento possível de uma política pública mais ampla que precisa ser urgentemente colocada em ação para minorar as perdas derivadas da deterioração que ameaça a maior parte dos bens tombados. Acompanhando a história da política patrimonial no Brasil, mostra-se como as instâncias oficiais criadas para a proteção tenderam em geral a isolar-se do conjunto da administração pública, configurando o que a moderna análise de public policies chama de insulamento burocrático. No caso do patrimônio, um insulamento resguardado pelo prestígio da cultura erudita e pela legitimidade de arquitetos e historiadores, que compõem sua elite dirigente. A conseqüência, como não poderia deixar de ser, tem sido as perdas freqüentes de participação no orçamento e a incapacidade de seus técnicos de dialogar com interlocutores de outras áreas de governo e da iniciativa privada, de modo a sondar fontes alternativas ou complementares de recursos e reverter o quadro generalizado de deterioração. Para não se exagerar nos efeitos positivos esperáveis do turismo, oferece-se um panorama comparativo do segmento do turismo cultural no estrangeiro, a partir da literatura especializada. Como, essa literatura, relativamente aos países avançados, ao contrário do que ocorre no Brasil, faz bom uso da economia da cultura e de estatísticas confiáveis e minuciosas dos fluxos turísticos, ela constitui uma referência inestimável para se pensar esse ramo de prestação de serviços sem preconceito nem otimismo exagerado. O foco empírico desta dissertação é o sítio histórico de Igarassu, inscrito em um circuito que também inclui Itamaracá, Recife e Olinda. A trinta km ao norte de Recife, em Igarassu se encontra um conjunto de edificações seiscentistas de alto valor artístico. Esse valor histórico, aliado ainda à beleza natural, contudo, não têm bastado para atrair o interesse dos vários elos do negócio turístico, nem para motivar a população e a prefeitura a adotar uma ação mais enérgica e conseqüente, a fim de que se chegue a um regime de visitação mais demorado e economicamente favorável. Em suma, para o turista, Igarassu é apenas um ponto no caminho da praia (Itamaracá), que não merece parada acima de quinze minutos, nem um gasto per capita superior a dois ou três reais. A receita turística não cobre pois o custo de manutenção do patrimônio, podendo ser qualificada de predatória e regressiva. O texto mostra, por fim, um elenco de recomendações e propostas capazes de reverter esse quadro tão negativo, uma vez que sua intenção é colaborar para a melhoria de qualidade da ação de governo em nosso país.

Automatic layout generation of static CMOS circuits targeting delay and power

The evolution of integrated circuits technologies demands the development of new CAD tools. The traditional development of digital circuits at physical level is based in library of cells. These libraries of cells offer certain predictability of the electrical behavior of the design due to the previous characterization of the cells. Besides, different versions of each cell are required in such a way that delay and power consumption characteristics are taken into account, increasing the number of cells in a library. The automatic full custom layout generation is an alternative each time more important to cell based generation approaches. This strategy implements transistors and connections according patterns defined by algorithms. So, it is possible to implement any logic function avoiding the limitations of the library of cells. Tools of analysis and estimate must offer the predictability in automatic full custom layouts. These tools must be able to work with layout estimates and to generate information related to delay, power consumption and area occupation. This work includes the research of new methods of physical synthesis and the implementation of an automatic layout generation in which the cells are generated at the moment of the layout synthesis. The research investigates different strategies of elements disposition (transistors, contacts and connections) in a layout and their effects in the area occupation and circuit delay. The presented layout strategy applies delay optimization by the integration with a gate sizing technique. This is performed in such a way the folding method allows individual discrete sizing to transistors. The main characteristics of the proposed strategy are: power supply lines between rows, over the layout routing (channel routing is not used), circuit routing performed before layout generation and layout generation targeting delay reduction by the application of the sizing technique. The possibility to implement any logic function, without restrictions imposed by a library of cells, allows the circuit synthesis with optimization in the number of the transistors. This reduction in the number of transistors decreases the delay and power consumption, mainly the static power consumption in submicrometer circuits. Comparisons between the proposed strategy and other well-known methods are presented in such a way the proposed method is validated.

Produtos estruturados vinculados a ações : uma análise empírica para operações com ativos subjacentes brasileiros durante o período de 2006-2007

"O objetivo deste trabalho é contribuir para aumentar a percepção dos investidores sobre as margens praticadas no mercado de notas estruturadas. Neste estudo aplicamos a metodologia utilizada em diversos artigos internacionais para avaliar os preços de emissão primária de produtos estruturados vinculados ao mercado de ações de companhias brasileiras. Concentramos nossa análise em dois tipos específicos de produtos estruturados, o primeiro conhecido como Reverse Convertible é negociado no mercado internacional, e o segundo conhecido como Capital Protegido Ibovespa é comercializado no mercado local. Analisamos 459 ofertas de emissão primária de Reverse Convertibles e 8 operações de Capital Protegido sobre o Ibovespa. Os valores das emissões primárias foram comparados aos valores teóricos calculados através da duplicação das estruturas utilizando uma carteira equivalente composta por opções e títulos de renda fixa. Comparamos as diferenças médias de preço e encontramos uma boa indicação sobre o tamanho das margens praticadas na estruturação destas operações. Este trabalho espera contribuir para o aumento da transparência sobre as margens praticadas nestes tipos de operações e também esperamos que a metodologia proposta auxilie os investidores interessados na avaliação dos tipos de estruturas abordados neste estudo"

Relaxação estrutural de camadas pseudomórficas de SiGe/Si(100) induzida pela implantação iônica de He ou Si e tratamento térmico

O Si tensionado (sSi) é um material com propriedades de transporte eletrônico bastante superiores as do Si, sendo considerado como uma alternativa importante para a produção de dispositivos MOSFET (transistor de efeito de campo metal-óxido-semicondutor) de mais alta performance (e.g. freqüências de operação f>100 GHz). O sSi é obtido através do crescimento epitaxial de Si sobre um substrato de mesma estrutura cristalina, porém com parâmetro de rede diferente. Esta tese apresenta uma investigação detalhada de um novo método que possibilita a produção de camadas relaxadas de Si1xGex com espessuras inferiores a 300 nm, consideradas como a melhor alternativa tecnológica para a produção de sSi. Este método envolve a implantação de íons de He+ ou de Si+ em heteroestruturas pseudomórficas de Si1-xGex/Si(001) e tratamentos térmicos. Foram estudados os efeitos dos diversos parâmetros experimentais de implantação e tratamentos térmicos sobre o processo de relaxação estrutural, utilizando-se heteroestruturas pseudomórficas de Si1-xGex/Si(001) crescidas via deposição de vapor químico, com distintas concentrações de Ge (0,19x 0,29) e com espessuras entre 70 e 425 nm. Com base no presente estudo foi possível identificar diversos mecanismos atômicos que influenciam o processo de relaxação estrutural das camadas de Si1-xGex/Si(001). O processo de relaxação é discutido em termos de um mecanismo complexo que envolve formação, propagação e interação de discordâncias a partir de defeitos introduzidos pela implantação. No caso das implantações de He, por exemplo, descobrimos que podem ocorrer perdas de He durante as implantações e que este efeito influencia negativamente a relaxação de camadas finas. Além disso, também demonstramos que os melhores resultados são obtidos para energias e fluências de implantação que resultam na formação de bolhas planas localizadas no substrato de Si a uma distância da interface equivalente a uma vez a espessura da camada de SiGe. O grau de relaxação satura em 50% para camadas de SiGe com espessura 100 nm. Este resultado é discutido em termos da energia elástica acumulada na camada de SiGe e da retenção de He. No caso de implantações de Si, discutimos a formação de defeitos tipo {311} e sua transformação térmica em discordâncias. Este estudo resultou numa visão abrangente dos principais fatores limitantes do processo, bem como na otimização dos valores de parâmetros experimentais para a produção de camadas de SiGe com alto grau de relaxação e com baixa densidade de defeitos.

Análise energética de sistemas de aquecimento de água com energia solar e gás

Esta Tese apresenta uma análise do comportamento térmico de um sistema de aquecimento de água combinando energia solar e gás como fontes energéticas. A ênfase desta análise está na influência que a forma de conexão dos coletores solares e do circuito da fonte auxiliar de energia ao reservatório exercem sobre a eficiência e o custo de operação do sistema. O trabalho engloba uma montagem experimental, caracterização de componentes, validação experimental de um programa de simulação, análises de eficiência utilizando o programa e análises econômicas com dados simulados. Na fase experimental desta Tese, foram montados três sistemas de aquecimento de água. Dois sistemas utilizando reservatórios verticais e um sistema utilizando reservatório horizontal. Os sistemas foram montados com componentes similares: reservatórios metálicos isolados termicamente com capacidade de 600 litros (verticais), reservatório de polietileno isolado termicamente com capacidade de 600 litros (horizontal), 2 coletores solares de placas planas, tubulação de cobre e aquecedores a gás de passagem de 7,5 l /min. Os componentes foram caracterizados mediante a curva de eficiência dos coletores solares, eficiência dos aquecedores a gás de passagem e o coeficiente de perdas térmicas dos reservatórios Sensores foram instalados para monitorar os sistemas em operação. Os sinais dos sensores foram medidos através de uma central de aquisição de dados conectado a um computador. Temperaturas, irradiância solar, consumo de gás e consumo de água foram registrados ao longo do tempo. Os resultados experimentais foram comparados com resultados calculados por meio de um programa desenvolvido no Laboratório de Energia Solar apresentando boa concordância. Utilizando o mesmo programa determinou-se a configuração do sistema de aquecimento de água com energia solar e gás mais eficiente para a cidade de Porto Alegre com um determinado perfil de consumo. Outros tipos de sistemas de aquecimento de água foram simulados para atender o mesmo perfil de demanda. Análises econômicas comparando estes sistemas entre si foram realizadas considerando diversos cenários econômicos.

Comportamento mecânico de agregados de basaltos alterados para pavimentação, rejeitos de garimpo de ametista

Nos últimos anos, a pesquisa de materiais alternativos de pavimentação vem ganhando projeção no meio acadêmico. Estes materiais apresentam restrições quanto ao seu uso em rodovias de elevado volume de tráfego, mas geralmente atendem adequadamente às exigências de estradas de baixo volume de tráfego, às quais se destinam. Eles apresentam características muito importantes: baixo custo, proximidade com o trecho a ser pavimentado e disponibilidade. Alguns materiais alternativos estudados são as rochas vulcânicas alteradas, as lateritas e plintossolos, entre outros. Nesta dissertação, avalia-se o comportamento mecânico para emprego em pavimentação de dois basaltos alterados que são rejeitos de garimpo da extração de ametista. Os materiais foram recolhidos em fragmentos, resultado do desmonte para abertura das galerias para garimpo. Existem dois materiais disponíveis denominados de laje e cascalho, com graus de alteração e características bem diferenciados. No estudo, experimental analisaram-se a durabilidade e a deformabilidade. Foram realizados ensaios de abrasão Los Angeles, sanidade a sulfatos, equivalente de areia, lamelaridade, módulo de resiliência e deformações permanentes. Os agregados foram submetidos a uma britagem simples, de forma a obter-se uma granulometria denominada GU1 (objeto de estudos prévios realizados no Laboratório de Pavimentação da UFRGS) Os dois materiais apresentaram resultados satisfatórios em termos de resistência, deformabilidade e durabilidade, sendo recomendado o seu uso na pavimentação de rodovias de baixo volume de tráfego. O material designado como laje pode ser usado como sub-base, desde que se assegure uma boa drenagem que evite a degradação decorrente de constantes ciclos de molhagem e secagem. O cascalho pode ser usado tanto como sub-base ou base. Recomenda-se a aplicação de uma camada asfáltica impermeabilizante, quando não for possível a execução do revestimento em curto prazo. Apresenta-se, nos capítulos finais, uma análise mecanística e algumas estruturas que incluem os materiais estudados nas camadas de base e sub-base, bem como recomendações construtivas destinadas a otimizar o emprego desses materiais em pavimentos.

Geração automática de leiaute através de matriz de células- MARTELO

Esta dissertação enquadra-se em um processo de busca de soluções para a geração do leiaute de circuitos integrados que permitam aumentar a qualidade da previsibilidade do comportamento de um circuito após a sua implementação. Isso é importante face ao crescimento dos problemas referentes aos efeitos elétricos adversos que surgem em nanocircuitos, tais como eletromigração, efeito antena, contatos mal formados e outros, assim como o aumento da variabilidade do processo de fabricação em tecnologias submicrônicas. O foco deste trabalho de pesquisa é a busca de soluções regulares através do uso de matrizes de portas lógicas. A experimentação efetuada realiza a geração de uma matriz de portas NAND que viabiliza a implementação de equações lógicas mapeadas para redes de portas NAND e inversores, admitindo-se a parametrização do fanout máximo. Foi desenvolvida uma ferramenta de CAD, o MARTELO, que permite efetuar a geração automática de matrizes de portas lógicas, sendo que a versão inicial está voltada para a geração de matrizes com portas NAND em tecnologia CMOS. Os experimentos efetuados revelam que esta técnica é promissora, sendo apresentados alguns dos resultados obtidos.

Teste em funcionamento de uma matriz de chaveamento

Este trabalho se insere na área de teste de sistemas de hardware. O alvo principal é o estudo do comportamento de um circuito roteador de canais telefônicos, parte integrante de um sistema de comunicação mais complexo, na presença de falhas. Neste contexto, o teste em funcionamento do referido circuito roteador é considerado. Na primeira parte deste trabalho são abordados aspectos do teste de circuitos e sistemas, do ponto de vista de sua aplicabilidade, tais como classificação, defeitos e modelos de falhas, simulação, geração de testes e projeto visando o teste. Na segunda parte, relata-se os estudos realizados para implementar o teste em funcionamento do circuito roteador. Nesta etapa são abordados a arquitetura, o modelo de falhas e a metodologia utilizada, os ensaios de detecção de falhas e as técnicas de tolerância a falhas adotadas. O projeto do circuito de chaveamento é apresentado em uma versão utilizando componentes discretos e outra utilizando dispositivos programáveis. Na conclusão deste trabalho são apresentados os resultados obtidos e as perspectivas para trabalhos futuros.

Contraste iodado em tomografia computadorizada : reações adversas imediatas em pacientes hospitalizados

Pesquisa quantitativa do tipo exploratório-descritivo, prospectivo, de caráter não experimental. O objetivo consistiu em conhecer as reações adversas imediatas ao contraste iodado intravenoso em pacientes internados, submetidos a tomografia computadorizada num hospital escola, sendo campo do estudo a Unidade de Tomografia do Hospital de Clínicas de Porto Alegre. A coleta de dados ocorreu através de planilha de registros preenchida pela equipe de enfermagem atuante na Unidade, durante as 24 horas de funcionamento do setor, no período entre outubro e dezembro de 2004, totalizando 351 pacientes observados. Os registros incluíram dados relativos à dinâmica do exame, características da clientela e ocorrência dos eventos em estudo. Para o tratamento dos dados, recorreu-se à estatística descritiva e descritiva, com emprego dos softwares SPSS, EPI INFO e PEPI. Os eventos adversos foram considerados imediatos quando ocorreram até 30 minutos após a injeção do contraste. Durante o período do estudo, todas as reações adversas apresentaram intensidade leve, manifestando-se com freqüência de 12,5% entre os 160 pacientes que receberam contraste iodado iônico e 1,0% entre os 191 pacientes que receberam contraste não iônico (p=0,000). O emprego do meio não iônico mostrou-se eficaz na prevenção de reações adversas ao contraste iodado, mesmo na presença de condições clínicas que aumentam o risco para ocorrência desses eventos. A administração intravenosa do contraste através de bomba injetora aumentou significativamente o percentual de reações adversas, em comparação com a injeção manual (p=0,013). O extravasamento de contraste, considerado um evento adverso local, ocorreu em 2,2% das 317 injeções em veia periférica, e os volumes extravasados oscilaram entre 1 e 15 mililitros, com média equivalente a 4,4 mililitros, não ocasionando complicações em nenhum dos casos. A administração intravenosa de contraste através de cateter plástico ocasionou freqüência significativamente menor de extravasamentos do que o emprego de agulha metálica (p=0,041). Os índices evidenciados no presente estudo encontram-se dentro dos limites que constam na revisão de literatura, apesar das pesquisas internacionais apresentarem diferenças entre si na seleção das amostras ou critérios para definição das reações adversas imediatas. Entre as recomendações, sugere-se que os serviços de tomografia conheçam as próprias taxas de reações adversas ao contraste iodado e as condições em que elas ocorrem, a fim de obter evidências para avaliação dos respectivos processos assistenciais.

Consumo e digestibilidade de feno de baixa qualidade suplementado com nitrogênio não protéico em bovinos de corte

Realizou-se um experimento convencional de digestibilidade e consumo com o objetivo de avaliar o efeito do nível de inclusão de nitrogênio não protéico em suplementos fornecidos a tourinhos Hereford de 17 meses e 220 kg de peso vivo, consumindo feno de tifton (Cynodon dactylon) fornecido ad libitum. Os tratamentos avaliados foram: T1 - Feno + suplemento sem uréia; T2 - Feno + suplemento com 0,28 g de uréia/UTM; T3 - Feno + suplemento com 0,55 g de uréia/UTM; T4 - Feno + suplemento com 0,83 g de uréia/UTM e T5 - Feno + suplemento com 1,11 g de uréia/UTM. O feno apresentou, na média, 3,86% de proteína bruta e 84,66% de fibra em detergente neutro (FDN). Não foram constatados efeitos da suplementação sobre a digestibilidade da matéria orgânica, da matéria orgânica do feno, da FDN, da celulose e da hemicelulose (P>0,05). O consumo de matéria orgânica total, de matéria orgânica do feno e de FDN responderam de forma quadrática a suplementação com NNP (P<0,05). A excreção fecal metabólica de matéria orgânica não foi afetada pela suplementação sugerindo um aumento simultâneo na taxa de passagem (variação no consumo) e na taxa de digestão (digestibilidade constante). O CMO digestível apresentou comportamento quadrático com o aumento dos níveis de uréia na dieta. A relação entre o consumo de proteína degradável no rúmen (PDR) e o CMOD apresentou-se maximizada quando o nível de proteína degradável no rúmen foi equivalente a 8,1% da MOD, valor este coerente com dados encontrados na literatura.

Alca e Protocolo de Quioto : uma avaliação integrada utilizando o GTAP-E

O objeto de estudo deste trabalho é uma avaliação dos impactos econômicos e ambientais de um possível acordo comercial da Área de Livre Comércio da Américas (ALCA) concomitantemente com as reduções de emissões de CO2 tratadas pelo Protocolo de Quioto. Acordos globais de redução de CO2 podem distorcer os resultados que seriam obtidos pelos acordos comerciais, e os acordos comerciais tendem a gerar mais emissões de CO2. Os cenários são construídos para a simulação de eliminação dos gravames tarifários entre os membros da ALCA bem como de redução de emissão de CO2 para os signatários do Protocolo, admitindo ainda a possibilidade de execução de um dos mecanismos de flexibilidade do Protocolo de Quioto – o comércio de emissões. O instrumento utilizado para as simulações - GTAP-E - é uma versão modificada do GTAP (Global Trade Analysis Project) desenvolvido pela Universidade de Purdue. O GTAP-E (energia), foi projetado para analisar assuntos relacionados ao uso de energia e impactos de políticas de mudança climática. Ele difere do modelo GTAP padrão principalmente pela descrição mais detalhada das possibilidades de substituição de uso entre as diferentes fontes de energia. Esse modelo utiliza uma base de dados que, além dos dados usualmente utilizados pelo GTAP padrão, inclui elasticidades de substituição para o uso dos commodities energia e quantidades de emissões de CO2 gerados pela queima dos combustíveis fósseis (carvão, petróleo cru e gás natural), e também pelo uso de produtos derivados do petróleo e geração de eletricidade Os resultados obtidos corroboraram a hipótese que a política ambiental de redução de emissões, apesar de contribuir para a diminuição de CO2 na atmosfera, de forma geral, afeta negativamente o bem-estar econômico dos países que abatem emissões, principalmente através do encarecimento das commodities de energia e a conseqüente redução do seu uso. Esse efeito é mais pronunciado em países cuja matriz energética é mais intensiva em carvão e petróleo. Para o Brasil, os resultados mostraram que a melhor estratégia para participar do processo de redução de emissões seria a de o país estar inserido diretamente no mecanismo de comércio de emissões. Essa situação traria ganhos de bemestar econômico, avaliados pela variação equivalente da renda, superiores, em comparação às alternativas em que o mesmo não participa de tal mecanismo.

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