Visualização em tempo real de dados volumétricos dinâmicos usando hardware gráfico

Dados volumétricos temporais são usados na representação de fenômenos físicos em várias aplicações de visualização científica, pois tais fenômenos são complexos, alteram-se com o tempo e não possuem uma forma de representação definida. Uma solução é usar amostragens sobre um espaço de forma geométrica simples que contém o fenômeno (um cubo, por exemplo), discretizado ao longo de uma grade em células de mesmo formato e usualmente chamado de volume de amostragem. Este volume de amostragem representa um instante da representação do fenômeno e, para representar dados temporais, simplesmente enumera-se tantos volumes quanto forem as diferentes instâncias de tempo. Esta abordagem faz com que a representação seja extremamente custosa, necessitando de técnicas de representação de dados para comprimir e descomprimir os mesmos. Este trabalho apresenta uma nova abordagem para compressão de volumes de dados temporais que permite a visualização em tempo real destes dados usando hardware gráfico. O método de compressão usa uma representação hierárquica dos vários volumes de dados dentro da memória do hardware gráfico, referenciados pelo hardware como texturas 3D. O método de compressão tem melhor desempenho para dados volumétricos esparsos e com alto grau de coerência (espacial e temporal). A descompressão destes dados é feita por programas especiais que são executados no próprio hardware gráfico. Um estudo de caso usando o método de compressão/descompressão proposto é apresentado com dados provenientes do Projeto MAPEM (Monitoramento Ambiental em Atividades de Perfuração Exploratória Marítima). O objetivo do projeto é propor uma metodologia para o monitoramento dos efeitos das descargas de materiais no ecossistema marinho durante a perfuração de um poço de petróleo. Para estimar certos descarregamentos de fluidos, o projeto usa um simulador CFD que permite mostrar tais descarregamentos, gerando grades planares e uniformes 2D ou 3D em qualquer instante de tempo durante a simulação.

A BDI-based approach for the assessment of driver's decision-making in commuter scenarios

The rapid growth of urban areas has a significant impact on traffic and transportation systems. New management policies and planning strategies are clearly necessary to cope with the more than ever limited capacity of existing road networks. The concept of Intelligent Transportation System (ITS) arises in this scenario; rather than attempting to increase road capacity by means of physical modifications to the infrastructure, the premise of ITS relies on the use of advanced communication and computer technologies to handle today’s traffic and transportation facilities. Influencing users’ behaviour patterns is a challenge that has stimulated much research in the ITS field, where human factors start gaining great importance to modelling, simulating, and assessing such an innovative approach. This work is aimed at using Multi-agent Systems (MAS) to represent the traffic and transportation systems in the light of the new performance measures brought about by ITS technologies. Agent features have good potentialities to represent those components of a system that are geographically and functionally distributed, such as most components in traffic and transportation. A BDI (beliefs, desires, and intentions) architecture is presented as an alternative to traditional models used to represent the driver behaviour within microscopic simulation allowing for an explicit representation of users’ mental states. Basic concepts of ITS and MAS are presented, as well as some application examples related to the subject. This has motivated the extension of an existing microscopic simulation framework to incorporate MAS features to enhance the representation of drivers. This way demand is generated from a population of agents as the result of their decisions on route and departure time, on a daily basis. The extended simulation model that now supports the interaction of BDI driver agents was effectively implemented, and different experiments were performed to test this approach in commuter scenarios. MAS provides a process-driven approach that fosters the easy construction of modular, robust, and scalable models, characteristics that lack in former result-driven approaches. Its abstraction premises allow for a closer association between the model and its practical implementation. Uncertainty and variability are addressed in a straightforward manner, as an easier representation of humanlike behaviours within the driver structure is provided by cognitive architectures, such as the BDI approach used in this work. This way MAS extends microscopic simulation of traffic to better address the complexity inherent in ITS technologies.

Estudo e análise de desempenho da antecipação de tarefas em sistemas gerenciadores de workflow

Sistemas Gerenciadores de Workflow (SGWf) têm atraído muita atenção nos últimos anos, por serem baseados em um modelo simples que permite definir, executar e monitorar a execução de processos. Mas este esquema é um tanto quanto rígido e inflexível, apresentando alguns problemas quando da necessidade de sua utilização no controle de processos com características cooperativas, em que o comportamento humano deve ser levado em conta. Este tipo de processo deve apresentar uma certa flexibilidade de forma a possibilitar a troca de resultados entre tarefas, acabando com a dependência fim-início existente entre tarefas seqüenciais nos SGWfs tradicionais. A fim de possibilitar este tipo de comportamento, surge a antecipação de tarefas, que tem por objetivo oferecer meios de flexibilizar o fluxo de controle e o fluxo de dados para permitir que tarefas possam ser disparadas antes mesmo da conclusão de suas antecessoras. A antecipação implica no aumento da cooperação entre tarefas e em melhor desempenho com relação ao tempo de execução dos processos. O aumento na cooperação está relacionado diretamente à troca de resultados, permitindo que duas ou mais tarefas trabalhem sobre instâncias de um determinado dado que ainda está sendo produzido. O melhor desempenho deve-se ao paralelismo (parcial) criado entre tarefas que deveriam executar de maneira estritamente seqüencial, devido ao disparo das tarefas antes do previsto. Este trabalho então, apresenta um estudo das abordagens de flexibilização de SGWfs, visando encontrar maneiras de prover antecipação de tarefas. O principal objetivo do trabalho é verificar a melhoria de desempenho em termos de tempo de execução dos processos que se pode obter utilizando a antecipação de tarefas Para tal, foi desenvolvido um simulador que suporta a antecipação de tarefas e foram conduzidas simulações, que mostraram os ganhos e alguns padrões de comportamento da utilização da antecipação de tarefas. Para possibilitar o uso da antecipação em processos reais foram realizadas alterações na ferramenta de definição de processos Amaya Workflow e na máquina de workflow do projeto CEMT.

Otimização dos parâmetros de lingotamento contínuo para minimizar a ocorrência de trincas superficiais no aço DIN-20MnCr5 Mod

As trincas superficiais são defeitos que podem ocorrer durante a fabricação de aços. A incidência e gravidade desses defeitos aumentam quando há a adição de elementos químicos fragilizantes na sua composição química, especialmente no fabrico de aços especiais microligados e acalmados ao alumínio.Para neutralizar o efeito nocivo desses elementos (ex: Nb, N e V), tem-se que otimizar os parâmetros do processo de lingotamento contínuo. Este trabalho buscou a otimização dos parâmetros de lingotamento para diminuir as trincas superficiais do aço DIN-20MnCr5 Mod.Os pontos básicos aqui tratados foram: otimização do pó de molde; otimização do resfriamento secundário e; otimização da velocidade de lingotamento. Pode-se concluir que o uso de um pó de molde de alta basicidade, a aplicação de baixas intensidades de resfriamento secundários e as altas velocidade de lingotamento diminuem a formação de trincas superficiais. Algumas conclusões foram tiradas em laboratório através de um simulador termomecânico e todos os resultados foram validados na planta da Gerdau Aços Finos Piratini.

Representação e Anáilse de Gramáticas de Grafos

Os sistemas computacionais estão tomando proporções cada vez maiores envolvendo situações bastante complexas, onde muitas vezes erros são inaceitáveis, como em sistemas bancários, sistemas de controle de tráfego aéreo, etc... Para obter software confiável e com desempenho aceitável, pode-se aliar técnicas de desenvolvimento formal de software a técnicas de simulação de sistemas. O ambiente PLATUS reúne essas duas áreas: modelos de simulação são descritos usando gramáticas de grafos uma linguagem de especificação formal. Gramáticas de grafos são uma generalização de gramáticas de Chomsky, substituindo strings por grafos. Neste trabalho, serão tratadas gramáticas de grafos baseados em objetos, um modelo onde vértices e arcos são tipados, e as especificações são modulares (a especificação de um sistema consiste em várias gramáticas de grafos combinadas). Assim, o modelo de um sistema pode ser descrito de forma precisa, e a linguagem de especificação é bastante abstrata e expressiva. Num ambiente de simulação a questão da recuperação de dados merece uma atenção especial, uma vez que a eficiência do simulador está diretamente ligada a agilidade na obtenção das informações. Neste trabalho, o objetivo principal é definir uma representação para gramáticas de grafos que facilite o armazenamento, a recuperação e análise das estruturas identificadas no ambiente PLATUS, ou seja, gramáticas de grafos baseadas em objetos. São definidas também funções que implementam os procedimentos necessários, para a recuperação de dados durante a simulação. A eficiência dessas funções é demonstrada através do cálculo de sua ordem de complexidade. As estruturas são validadas através da implementação de um protótipo de banco de dados.

Utilização dos aspectos ergonômicos na simulação de sistemas de produção

A simulação, como ferramenta de suporte à tomada de decisão, tem sido utilizada nas mais variadas áreas do conhecimento e especialmente no projeto e dimensionamento de plantas de produção. Em geral, os simuladores para sistemas de produção consideram variáveis relativas à quantidade, tipo e disposição física de máquinas, quantidades dos estoques intermediários, e aos tempos de produção sem, no entanto, considerar os tempos reais do trabalho do ser humano envolvido no processo, apesar de a mão de obra humana ser largamente empregada nestes sistemas, afetando diretamente a sua produtividade. Uma das possíveis razões disto é a complexidade dos fatores que influenciam na produtividade do ser humano, que varia em função de fatores ambientais, fisiológicos, psicológicos ou sociais. Normalmente, os sistemas de simulação da produção representam o trabalhador humano da mesma forma como representam uma máquina, uma ferramenta ou um equipamento, cuja previsibilidade é bem maior. Esta dissertação avalia a questão humana em um simulador bastante utilizado comercialmente, e evidenciou que os fatores ergonômicos são capazes de alterar significativamente os resultados de uma simulação, justificando o desenvolvimento de rotinas computacionais capazes de representar o elemento humano e suas interações com o sistema, de forma mais fidedigna.

Crescimento urbano e ambiente : Um estudo exploratório sobre as transformações e o futuro da cidade

Crescimento espacial tem sido um dos importantes fenômenos observados nas cidades contemporâneas, sendo a identificação de processos e padrões, de suas causas e conseqüências, um desafio para a ciência. Nesse caminho, esta pesquisa propõe um modelo de simulação de crescimento urbano dedicado a realizar simulações, incluindo de modo integrado fatores urbanos, naturais e institucionais, promovendo simultaneidade entre crescimento externo e interno a um espaço urbano preexistente, representados e modelados utilizando integradamente grafos, autômato celular e geotecnologias. Experimentos com modos de crescimento (axial, polar e difuso) e com cenários alternativos estão implementados, bem como são investigadas questões urbanas de conversão de território, de distribuição dos estoques construídos, de formação de periferias e vazios, de obsolescência e revitalização, de mono e policentralidade, de abrangência de funções urbanas e de influência da distância, de renaturalização e preservação ambiental, de limites de crescimento e problemas ambientais intra-urbanos, de ponderação de atributos, de crescimento difuso, fragmentação e compacidade. Estão também incluídas possibilidades de compressão de dados e alternativas de visualização de resultados, alcançando estudos exploratórios sobre forma urbana e sustentabilidade. O trabalho está dedicado inicialmente a fundamentar, construir e apresentar o modelo de simulação de crescimento denominado SACI – Simulador do Ambiente da Cidade®, depois a realizar simulações num caso real, em Pelotas, RS, quando são demonstrados os procedimentos de calibração, terminando com experimentos escolhidos para avançar na discussão do fenômeno do crescimento urbano. Esforços estão realizados para oferecer um instrumento de simulação com possibilidade de uso para além dos interesses exclusivos desta investigação, particularmente no campo do ensino e da prática do planejamento urbano municipal. Sendo assim, este argumento se dedica simultaneamente a documentar a trajetória de construção de um modelo de simulação de crescimento urbano, a explicitar sua aplicabilidade em casos de cidades reais e a contribuir para a compreensão teórica da dinâmica urbana e ambiental na cidade.

fwWorkCell : framework para a construção de simuladores didáticos de células de trabalho

Braços robóticos articulados são cada vez mais utilizados hoje em dia e consistem de dispositivos mecânicos programáveis, equipados com sensores e atuadores sob o controle de um sistema computacional. Existem atualmente no mercado inúmeros fabricantes e modelos destes braços, cada um adequado a uma determinada utilização ou faixa de mercado. Para que se saiba operar devidamente este robô é necessário um período de aprendizagem. Essa necessidade pode ser suprida pelo emprego dos simuladores de braços robóticos.Desenvolver um simulador é uma atividade complexa, mas alguns elementos de sua estrutura e de seu comportamento são comuns a vários tipos de simuladores e podem idealmente ser reusados. Permitir reuso de código e de projeto é exatamente um dos principais fatores que motivaram a construção de um framework. Este trabalho descreve a definição e a construção do fwWorkCell , um framework que permita agilizar a construção destes simuladores. Tal agilidade será obtida através da implementação de um ambiente de edição e de classes genéricas para controle, visualização e programação dos robôs. A proposta deste framework inclui definição de classes genéricas e de controle, a construção de todo um ambiente de suporte à manipulação e visualização das células de trabalho e suas simulações e visa dar suporte à construção de uma grande variedade de simuladores. O framework proposto foi utilizado em uma aplicação real: através dele foi feita a migração de um simulador já existente.

Determinação computacional da influência de parâmetros físicos no comportamento termoenergético de uma edificação

Este trabalho apresenta um estudo sobre a influência que alguns parâmetros físicos têm no desempenho termoenergético de uma edificação com um sistema de condicionamento de ar do tipo expansão direta, e visa auxiliar na busca por soluções que aumentem a eficiência energética das construções brasileiras. Para tal foi utilizado o programa simulador EnergyPlus, onde são estudados casos em que se alteram os seguintes parâmetros físicos: localização geográfica, tipo de vidro utilizado nas fachadas, área envidraçada das fachadas, e a orientação da edificação em relação ao eixo norte verdadeiro. São usados dados de dias de projeto de verão e inverno segundo a ASHRAE (American Society of Heating, Refrigerating and Air-Conditioning Engineers) para obter cargas térmicas de refrigeração e aquecimento, e arquivos climáticos para obter os seguintes consumos elétricos anuais: do sistema de condicionamento de ar, das lâmpadas e total. Visando reduzir o consumo elétrico das lâmpadas da edificação e assim promover um uso racional da energia elétrica, é modelado um sistema de controle automático da potência das lâmpadas, o qual é comparado com o tradicional sistema liga/desliga das lâmpadas. Também é feita uma análise econômica comparativa entre estes dois tipos de controle de potência das lâmpadas, onde se verifica se há vantagem econômica em aliar a utilização de películas nos vidros das fachadas da edificação O estresse térmico em vidros, caracterizado pelo surgimento de trincas ou até mesmo ruptura devido ao aparecimento de consideráveis diferenças de temperatura em seu interior, é avaliado observando a evolução da temperatura média das faces externa e interna dos vidros ao longo de um dia de projeto de verão. Os resultados mostram que as orientações e os tipos de vidro alteram sensivelmente tanto a potência requerida pelo sistema de condicionamento de ar quanto os consumos elétricos anuais do sistema de condicionamento de ar, das lâmpadas e total; o sistema de controle automático da potência das lâmpadas revela um grande potencial de redução do consumo elétrico anual das lâmpadas e um pequeno potencial de redução da potência requerida pelo sistema de condicionamento de ar; a análise econômica mostra que a utilização de película nos vidros é economicamente viável em boa parte dos casos avaliados; e a comparação da temperatura da face interna dos vidros estudados mostra diferenças significativas.

Desenvolvimento de modelos simplificados para o estudo da extrusão de polímeros

Neste trabalho, desenvolveram-se modelos matemáticos simplificados para o cálculo de duas variáveis importantes no estudo da extrusão de polímeros: vazão mássica (M&) e pressão na saída da extrusora (Psaída), em função das propriedades dos materiais e das condições de operação do equipamento. Podem-se utilizar esses modelos como ferramentas simples para a definição de critérios de ajustes que se devem fazer em uma extrusora de parafuso único para obter-se o desempenho desejado quando se alimenta o equipamento com um novo material. Para desenvolverem-se os modelos simplificados, utilizaram-se dados experimentais da extrusão de poliestireno (PS) e de polipropileno (PP), bem como resultados preditos por um programa computacional de simulação de extrusão disponível comercialmente. Mediram-se os dados experimentais de vazão mássica e de pressão na saída da extrusora em um equipamento de parafuso único de 45 mm de diâmetro. Realizaram-se esses testes, variando-se a velocidade de rotação do parafuso de 70 a 100 rpm para ambos os polímeros. No primeiro conjunto de simulações, utilizou-se o simulador Flow 2000 (Compuplast Inc.) para ajustarem-se os valores preditos de M& e de Psaída aos dados obtidos experimentalmente através da estimação dos fatores de atrito barril-polímero tanto para o PP quanto para o PS. Posteriormente, realizou-se um planejamento de experimentos, do tipo fatorial fracionado , para obter-se um segundo conjunto de simulações, considerando-se as propriedades dos materiais (reológicas e térmicas) e as condições de operação da extrusora (velocidade de rotação do parafuso e perfil de temperatura nas zonas de aquecimento da extrusora) como fatores de investigação. Com as novas simulações no Flow 2000, ajustaram-se os parâmetros dos modelos simplificados aos valores de vazão mássica e de pressão na saída da extrusora preditos no simulador. Elaboraram-se os modelos simplificados levando-se em conta as interações entre os fatores cujos efeitos consideraram-se significativos nas análises de variância (ANOVA). Obteve-se um modelo linear com 37 termos para o cálculo da vazão mássica e um modelo linear com 41 termos para o cálculo da pressão na saída da extrusora. Posteriormente, aplicou-se uma técnica de regressão multivariável para selecionar apenas os termos importantes dessas 1402IV2− XVI equações, conduzindo a um modelo linear com 10 termos para o cálculo da vazão mássica e a um modelo com 6 termos para o cálculo da pressão na saída da extrusora. Conseguiu-se boa concordância entre os dados experimentais e os valores preditos quando se aplicaram os modelos simplificados.

Modelos de simulação espacial de efeitos de pastejo em vegetação campestre

O principal objetivo da tese foi desenvolver um modelo matemático computacional espacialmente explícito, de autômatos celulares (CA), capaz de simular a dinâmica de vegetação campestre sob pastejo, descrita por tipos funcionais de plantas (PFTs), ao invés de espécies. Com dados obtidos a campo, utilizou-se um método recursivo de identificação politética de PFTs a partir de atributos morfológicos das plantas, de forma a expressar máxima correlação com diversidade de espécies. A alternância entre condições experimentais de exposição e exclusão de pastejo permitiu produzir variação em padrões espaciais e temporais da composição da vegetação descrita por esses PFTs. A seguir buscou-se modelar a dinâmica da vegetação. Assumiu-se que a dinâmica da vegetação, embora complexa, pudesse ser simulada a partir de mecanismos relativamente simples incorporados a um modelo CA formado por uma grade de células (comunidades). Cada célula tem uma dada composição de PFTs a qual se altera a cada passo no tempo conforme a composição da própria célula e da vizinhança e matrizes de transição determinadas empiricamente com os dados experimentais. A dinâmica simulada da composição de comunidades excluídas do pastejo mostrou determinismo no sentido de um PFT único, característico daquelas comunidades. A mesma tendência não foi observada nas simulações de comunidades sempre pastejadas. Os resultados indicam uma razoável concordância entre a dinâmica simulada e real, para as comunidades excluídas; e uma discordância para as comunidades sempre pastejadas. Sugere-se que diferenças no arranjo espacial inicial das comunidades motivam falhas do modelo sob pastejo. O Institut National de la Recherche Agronomique (INRA), na França, vem desenvolvendo um modelo simulador multi-agente espacializado como objetivo de representar realisticamente o manejo da vegetação campestre natural sob diferentes regimes de pastejo. Ele foi concebido como uma ferramenta de pesquisa para explorar o comportamento animal em pastagens heterogêneas Nesse modelo implícito e determinístico, uma definição funcional de três diferentes comunidades vegetais foi introduzida objetivando simular a dinâmica de pastagens multi-espécies. Isto foi feito pela intercambio de parâmetros do modelo com atributos funcionais da comunidade. Do ponto vista conceptual o modelo apresentou boa resposta e parece adequado para simular a dinâmica de uma vegetação campestre por atributos funcionais. O modelo apresentou um bom ajuste aos dados experimentais para alto nível de utilização, mas não tão bom para médio e baixo nível de pastejo, ou seja, comunidades vegetais mais heterogêneas. Reforça-se a idéia de que mais modelos que levem em conta a estrutura horizontal da vegetação são necessários.

Modelagem de motoristas e cenários de escolha de rota em simulações de tráfego veicular urbano

Este trabalho visa apresentar uma metodologia para modelagem de motoristas a serem utilizados em simulações de tráfego veicular discreto. Além da metodologia, será apresentada uma plataforma para implementação de motoristas, chamada DRIVER-DFW, baseada neste conceito. Inicialmente, serão apresentados alguns modelos de movimentação de veículos baseados no modelo de autômato celular Nagel–Schreckenberg. O modelo básico será apresentado juntamente com alguns de seus aperfeiçoamentos, que são os modelos utilizados no simulador ITSUMO, que por sua vez é utilizado como base para o trabalho. Além dos modelos de autômato celular, serão apresentados modelos de planejamento de rota, que se utilizam de várias heurísticas para a tomada de decisão dos motoristas. Destes, selecionou-se um para implementação e demonstração. Mostradas as etapas para composição do modelo completo de motorista, isto é, movimentação e planejamento, será apresentada a plataforma para implementação de motoristas desenvolvida neste trabalho. Esta separação é a base da plataforma DRIVER-DFW que é discutida com mais detalhes para auxiliar a compreensão do seu funcionamento. Além disso, é mostrado como a metodologia é aplicada na plataforma para implementação de motoristas DRIVER-DFW. Por fim, conclui-se que este trabalho apresenta uma alternativa bastante atraente para a implementação de modelos de motoristas, com uma metodologia e uma plataforma de desenvolvimento. Também são apresentadas as diretrizes para dar prosseguimento a este.

CaTReS : ferramenta de apoio à pesquisa e ensino em teoria das categorias

Teoria das Categorias é uma ramificação da Matemática Pura com campo científico aparentemente distinto daquele que é objeto de estudo e pesquisa para a Ciência da Computação. Entretanto, algumas características dessa teoria matemática demonstram sua utilidade na pesquisa computacional. Dentre essas características podemos citar independência de implementação, dualidade, herança de resultados, possibilidade de comparação da expressividade de formalismos, notação gráfica e, sobretudo, expressividade das construções categoriais. Sua expressividade é explicitamente destacada pelo MEC nas Diretrizes Curriculares de Cursos da Área de Computação e Informática, onde afirma-se que “Teoria das Categorias possui construções cujo poder de expressão não possui, em geral, paralelo em outras teorias”. Entretanto, Teoria das Categorias tem encontrado obstáculos para ser efetivamente aplicada na Ciência da Computação. A baixa oferta de bibliografia - predominantemente de língua inglesa - e a falta de uniformidade na exposição do que sejam os tópicos introdutórios convergem e potencializam outro grande empecilho à sua propagação: a baixa oferta de cursos com enfoque em Teoria das Categorias. A fim de transpor essas dificuldades, Fábio Victor Pfeiff desenvolveu o CaTLeT, um aplicativo de interface visual que tinha como objetivo facilitar o acesso aos conceitos introdutórios de Teoria das Categorias Com inspiração fortemente educacional, CaTLeT somente é capaz de representar objetos e morfismos atômicos, o que o limita a servir somente aos conceitos iniciais. Em 2003, o CaTLeT foi ampliado e os objetos e morfismos, antes atômicos, passaram a representar conjuntos e relações, respectivamente. Este projeto consiste em uma ampliação tanto do CaTLeT quanto dos objetivos que justificaram sua criação. Esta dissertação trata de um projeto de simulador categorial e de sua respectiva implementação as quais visam fornecer suporte computacional a fim de facilitar o acesso a conceitos intermediários de Teoria das Categorias e servir como suporte à pesquisa na área. A construção desse simulador possui três critérios de avaliação como parâmetro: boa acessibilidade, alta relevância das estruturas implementadas e alta cobertura. A nova ferramenta - denominada CaTReS - deve manter a acessibilidade a usuários leigos que sua predecessora possui e ampliar significativamente as estruturas suportadas, além de incluir tratamento à conceitos funtoriais. Dessa maneira, este projeto vem para auxiliar na superação dos obstáculos anteriormente mencionados.

Competição tributária regional, externalidades fiscais e federalismo no Brasil : uma abordagem de equilíbrio geral computável

Este trabalho analisa os efeitos econômicos da competição tributária regional a partir de uma metodologia de equilíbrio geral computável. O objetivo é investigar se a competição tributária regional pode ser consistente com um equilíbrio welfare-improving quando as externalidades fiscais, subjacentes às mudanças estratégicas na política tributária dos governos regionais e às regras do federalismo fiscal vigente no Brasil, são plenamente assimiladas nos payoffs dos agentes econômicos. Para tanto, foi elaborado um modelo inter-regional de equilíbrio geral computável que divide a economia brasileira em duas regiões integradas, o Rio Grande do Sul e o Restante do Brasil. Este modelo foi utilizado para implementar dois experimentos de simulação sobre políticas contra-factuais de competição fiscal. O primeiro experimento avalia os efeitos de uma política regional de incentivo realizada pelo governo estadual gaúcho, baseada na renúncia tributária do ICMS, visando a atração de novos investimentos. Este experimento considera que os novos investimentos são exógenos à região e ao país como um todo e não se assume resposta estratégica do governo do Restante do Brasil. Os resultados mostram que a política é welfare-improving para as duas regiões e gera um retorno tributário líquido positivo para o governo do Rio Grande do Sul. Contudo, o efeito sobre as finanças do governo do Restante do Brasil é negativo, resultado que pode ser visto como um fator de incentivo para uma resposta política de competição fiscal. O segundo experimento avalia os efeitos de políticas de competição tributária regional entre os governos estaduais, assumindo-se que as alíquotas do ICMS são utilizadas como instrumentos estratégicos num jogo não cooperativo para atração de fatores produtivos. O experimento foi implementado para três fechamentos fiscais distintos com a finalidade de avaliar a sensibilidade dos resultados. O primeiro fechamento assume um regime fiscal do tipo soft budget constraint pelo qual o déficit orçamentário é a principal variável endógena para acomodar os custos da competição; o segundo fechamento assume um regime fiscal do tipo hard budget constraint pelo qual o consumo dos governos regionais (provisão de bens públicos) é a principal variável endógena; o terceiro fechamento considera o governo federal como um terceiro player no jogo de competição tributária regional e assume que a alíquota do imposto sobre a renda é a principal variável endógena de ajuste fiscal para capturar o papel das ligações verticais via mecanismos de transferências. Independente do fechamento fiscal, constata-se que a competição tributária gera um equilíbrio welfare-improving, mas o nível dos efeitos de bem-estar é bastante diferenciado entre os fechamentos. Constata-se ainda que o equilíbrio de Nash é do tipo race-to-the-bottom para as alíquotas de ICMS nos dois primeiros fechamentos, mas é race-to-the-top no terceiro porque a estratégia ótima do governo federal força os governos regionais a um equilíbrio com alíquotas de ICMS mais elevadas. As externalidades fiscais têm um papel crucial nos resultados encontrados, particularmente no segundo experimento, pois aliviam a necessidade de ajuste na provisão de bens públicos provocada pelo equilíbrio race-to-the-bottom e, assim, permitem que os ganhos de bem-estar do consumo privado superem as perdas decorrentes da redução na provisão de bens públicos.

Controladoria no Banco do Brasil S.A. : uma contribuição ao estudo da controladoria em instituições financeiras

A contínua transformação no competitivo ambiente empresarial vem concorrendo para a mudança de paradigmas e o surgimento de novas práticas de gestão. Nesse contexto, a área de Controladoria das empresas assume fundamental importância, vez que é o centro gerador das informações que norteiam decisões, negócios, bem como a avaliação dessas performances. Cada segmento econômico, por suas especificidades, acaba desenvolvendo e aprimorando atribuições que geram modelos particulares de Controladoria, como o caso das instituições financeiras. O presente trabalho compreendeu um estudo comparativo da Controlado ria enquanto ciência (conceito, funções e estrutura organizacional) e o modelo encontrado na instituição financeira objeto da análise: o Banco do Brasil S.A. A exposição incluiu, ainda, breve histórico da instituição estudada e descreveu as principais atribuições e funções de sua Controladoria, principalmente aquelas relacionadas ao processo orçamentário, indicadores para a avaliação de desempenho corporativo e gestão de riscos. Apresentou, também, breve descrição dos principais projetos em andamento e propôs um modelo simplificado de Controladoria aplicável às instituições financeiras. Como contribuição fundamental, essa dissertação buscou demonstrar que a Controladoria Bancária corresponde a uma evolução particular da ciência da informação gerencial - afirmação que se baseia na amplitude de estratégias tecnológicas e ferramentas de gestão adotadas pelos bancos face à necessidade de decisões 'Just in time ", multiplicidade de riscos, canais de atendimento, abrangência geográfica de seus negócios, diversidade de unidades sujeitas à avaliação, e pela pluralidade de serviços e produtos ofertados à sua clientela.