CaTLeT : ferramenta computacional de apoio ao ensino/aprendizado de teoria das categorias

Teoria das Categorias é uma ramificação da Matemática Pura relativamente recente, tendo sua base sido enunciada ao final da primeira metade do século XX. Embora seja Teoria de grande expressividade, sua aplicação efetiva tem encontrado até o momento grandes obstáculos, todos decorrência natural da brevidade de sua História. A baixa oferta de bibliografia (e predominantemente em 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. Consegue, a despeito destes obstáculos, arrebanhar admiradores em inúmeros centros de reconhecida excelência técnica e científica. Dentre todas as áreas do conhecimento, atrai em especial a atenção da Ciência da Computação, por características como independência de implementação, dualidade, herança de resultados, possibilidade de comparação da expressividade de outros formalismos, forte embasamento em notação gráfica e, sobretudo, pela expressividade de suas construções [MEN2001]. No Brasil, já conta com o reconhecimento de seu papel no futuro da Ciência da Computação por parte de instituições como SBC e MEC. Os obstáculos aqui descritos, entretanto, ainda necessitam ser transpostos. O presente trabalho foi desenvolvido visando contribuir nesta tarefa. O projeto consiste em uma iniciativa aplicada em Ciência da Computação, a qual visa oportunizar o franco acesso aos conceitos categoriais introdutórios: uma aplicação de computador que faça amplo uso de representação diagramática para apresentar a proposição de conceitos básicos do grupo de pesquisa em Teoria das Categorias do Instituto de Informática da UFRGS. A proposição e implementação de uma ferramenta, embora não constitua iniciativa inédita no mundo, até onde se sabe é a segunda experiência desta natureza. Ademais, vale destacar que os conceitos tratados, assim como os objetivos visados, são atendidos de forma única e exclusiva por esta aplicação. Conjuntamente, vislumbra-se a aplicação desenvolvida desempenhando importante papel de agente catalisador na propagação da visão dos Grupos de Pesquisa em Teoria das Categorias da UFRGS e da PUC/RJ do que sejam os "conceitos categoriais introdutórios".

Fluxos financeiros internacionais : riscos e administração das políticas monetária e cambial - uma análise aplicada às economias Latino-Americanas

Os mercados internacionais de capital cresceram dramaticamente desde meados da década de 60. Embora reflitam parcialmente as economias em expansão, o aumento do comércio mundial e a globalização da produção, os movimentos internacionais de capital envolvem também fatores puramente financeiros que se propagam com velocidade perceptivelmente maior. Assim, ainda que tenham permitido o alívio das restrições financeiras impostas pela crise da dívida dos anos 80, e melhorado os índices de eficiência e alocação de capital para o conjunto das economias da América Latina, os volumosos influxos financeiros também suscitaram preocupação em razão de seus efeitos sobre a estabilidade macroeconômica, a competitividade do setor exportador e as políticas de crescimento e desenvolvimento sustentado dessas economias. Neste contexto, aos policymakers, através do adequado gerenciamento das políticas micro e macroeconômicas, recai, em última instância, a responsabilidade em minimizar eventuais condições de desajuste estrutural e conseqüente incerteza, visto que ingressos elevados e repentinos de capital podem causar instabilidade mediante crescimento rápido do consumo, inflação crescente, valorização da taxa de câmbio real e déficits cada vez maiores de conta corrente.

Uma Arquitetura de Hardware para estimação de movimento aplicada à compressão de vídeo digital

A tarefa de estimação de movimento, utilizada na compressão de vídeo digital, é normalmente realizada em hardware por processador dedicado, uma vez que demanda expressiva capacidade computacional. Este trabalho propõe e desenvolve uma arquitetura de hardware para realizar o cálculo dos vetores de movimento no contexto de compressão de vídeo digital. Essa arquitetura para estimação de movimento é composta pelos blocos: interface de entrada e saída (E/S), matriz de processamento com 64 elementos de processamento, unidade de comparação e unidade de controle. A arquitetura foi descrita em linguagem VHDL de maneira que o número de bits utilizados para representação da luminância dos pontos é configurável. A partir desta descrição, foi gerado um protótipo para dados representados em 4 bits utilizando um kit de desenvolvimento baseado no dispositivo FPGA XC2S150 da Xilinx. Para validação do algoritmo e da arquitetura implementada, além da simulação, foi desenvolvido um software para plataforma PC capaz de exercitar as funcionalidades do protótipo. O PC é utilizado como dispositivo controlador de E/S para esta validação, na qual uma implementação do algoritmo em software e outra em linguagem de descrição de hardware são comparadas. A máxima freqüência de trabalho do protótipo, estimada por simulação da arquitetura mapeada no FPGA XC2S150, é de 33 MHz. A esta freqüência o núcleo da arquitetura paralela de 64 elementos de processamento realiza cerca de 2,1 GOps (bilhões de operações inteiras por segundo). Esta arquitetura de hardware calcula os vetores de movimento para vídeo no formato 640x480 pontos à taxa de 107,32 quadros por segundo, ou um quadro a cada 9,3 ms. A arquitetura implementada para luminânica em 4 bits ocupa 16 pinos de E/S, 71,1% dos blocos lógicos do FPGA e 83,3% dos blocos de memória disponíveis no dispositivo XC2S150.

Análise crítica da implantação do programa Gestão da Produtividade Aplicada aos Correios, a partir da ótica da organização da aprendizagem

A presente dissertação enfoca, a partir de um estudo de caso, o Programa de "Gestão da Produtividade Aplicada aos Correios" – GPAC –, numa empresa pública, a Empresa Brasileira de Correios e Telégrafos. Este trabalho tem por objetivo analisar criticamente um método para introduzir conceitos, princípios e técnicas de Administração e Engenharia da Produção, a partir de uma ótica de uma organização que aprende – learning organization –, tendo como objeto de análise a ECT. Parte-se de uma perspectiva histórica que procura abordar a evolução do programa "Gestão da Produtividade Aplicada aos Correios" na Organização, desde sua fase inicial, em 1995, até o seu desenvolvimento no momento atual. Descreve-se as principais atividades desencadeadas, seguindo sua ordem cronológica. Após uma fundamentação teórica, descrevendo abordagens de diversos autores sobre aprendizagem organizacional, é analisado o programa GPAC à luz dos pressupostos de organizações de aprendizagem preconizados por Garvin, propondo-se um novo método. Neste novo método são apresentadas algumas alterações e inclusões em relação ao método adotado no programa GPAC, visando auxiliar na eficácia da disseminação e implantação de novos conceitos, princípios e técnicas de Administração e Engenharia de Produção na Empresa.

A indeterminação de senior e o curriculo minimo de economia

Expõe-se um programa de pesquisa sobre a natureza incompleta do conhecimento científico, estendendo-o para análise do currículo mínimo de economia no Brasil, e a consequente formulação de propostas de mudança. Considerando os diferentes níveis de abstração na tricotomia ciência pura, aplicada e arte da ciência, observa-se que o currículo mínimo prescreve formação apropriada para a economia social ou aplicada. Conclui-se pela conveniência de mais dois anos, um para reforço da economia pura no ciclo básico, outro para a arte da economia no profissionalizante. Considera-se ainda uma especialização em economia pura, voltada apenas para ensino e pesquisa.

Solução analítica da equação de difusão-advenção pelo método GILTT aplicada à dispersão de poluentes atmosféricos

O objetivo deste trabalho é obter uma nova solução analítica para a equação de advecção-difusão. Para tanto, considera-se um problema bidimensional difusivo-advectivo estacionário com coeficiente de difusão turbulenta vertical variável que modela a dispersão de poluentes na atmosfera. São utilizados três coeficientes difusivos válidos na camada limite convectiva e que dependem da altura, da distância da fonte e do perfil de velocidade. A abordagem utilizada para a resolução do problema é a técnica da Transformada Integral Generalizada, na qual a equação transformada do problema difusivo-advectivo é resolvida pela técnica da Transformada de Laplace com inversão analítica. Nenhuma aproximação é feita durante a derivação da solução, sendo assim, esta é exata exceto pelo erro de truncamento. O modelo ´e avaliado em condições moderadamente instáveis usando o experimento de Copenhagen. Apresentam-se os resultados numéricos e estatísticos, comparando os resultados obtidos com dados experimentais e com os resultados da literatura. O modelo proposto mostrou-se satisfatório em relação aos dados dos experimentos difusivos considerados.

Análise da cogeração aplicada em micro empresas

A crescente demanda energética no mundo visa uma racionalização do uso de energia da melhor forma possível. Os sistemas de cogeração visam produzir energia elétrica e aproveitar a energia térmica residual proveniente da geração de energia elétrica. O caso das micro empresas, onde a geração de energia elétrica não é de grande escala, e conseqüentemente o resíduo térmico também não é muito grande, requer sistemas com grande eficiência. O aproveitamento da energia térmica residual de um motor alternativo, utilizado para gerar energia elétrica, depende de vários fatores, entre eles destacam-se a qualidade e quantidade de energia disponível. A cogeração objetiva aproveitar a energia térmica proveniente dos gases do escapamento e também a energia térmica da água do radiador. Este trabalho visa fazer uma análise para uma possível implantação de um sistema de cogeração em uma micro empresa, com a aplicação de um motor alternativo para a geração de energia elétrica suficiente para suprir a demanda da empresa e aproveitar o calor residual proveniente do funcionamento deste, para aplicar no processo produtivo, que utiliza vapor produzido em uma caldeira a óleo. Mediante avaliação de todo o processo produtivo da empresa, de sua necessidade de energia elétrica, aplicação da energia térmica produzida pela caldeira, constatou-se que haveria a possibilidade da implantação de um sistema de cogeração para produzir energia elétrica e aproveitar o calor residual proveniente do funcionamento do motor diretamente no processo produtivo. Foram calculadas todas as energias disponíveis no motor, previamente determinadas em função da capacidade de geração de energia elétrica para suprir a demanda da empresa. Através de consultas executadas com fabricantes dos equipamentos verificou-se o rendimento dos mesmos para poder avaliar a disponibilidade de energia, bem como o preço e instalação de todo o sistema. Os cálculos mostram que existe inviabilidade econômica na implantação do sistema de cogeração, como é proposto. Diante dos valores encontrados pode ser feita uma análise financeira da aplicação do investimento relacionado com o seu retorno.

Interdisciplinaridade e adjudicação: caminhos e descaminhos da ciência no direito

Este artigo discute a questão da interdisciplinaridade no âmbito da adjudicação a partir do caráter ubíquo da dimensão extra-jurídica na análise das condições de validade das inferências jurídicas. Nos processos adjudicatórios, essa ubiquidade implica outra, a saber, a dos argumentos empíricos e teóricos necessários para suportar as pretensões de verdade que acompanham as premissas extra-jurídicas das inferências jurídicas (i.e., das inferências que estruturam os processos de adjudicação e fundamentam as decisões dos casos concretos). Esses argumentos, juntamente com as referidas premissas e pretensões de verdade, são pontos de comutação que se encontram disponíveis para transições do Direito à Ciência e, posteriormente, para recepção e aproveitamento dos produtos das mais variadas disciplinas científicas no âmbito da argumentação jurídica. A pergunta a ser formulada, portanto, não é se há maior ou menor espaço para a interdisciplinaridade nos processos de adjudicação, pois ela estará aí, sempre, potencialmente presente. O que devemos nos questionar é quais seriam as implicações de uma ampla atualização desta potencialidade, i.e., da intensificação de um movimento de penetração do conhecimento extra-jurídico (de procedência científica) enquanto fundamento das decisões de juízes e tribunais, normalmente às custas da confiança na capacidade racionalizadora do “senso comum” ou das “máximas de experiência” (Taruffo, 2001). Trata-se de um movimento que está ampliando-se e intensificando-se a toque de caixa e que já levou alguns autores a especularem inclusive sobre o eventual início de um processo de des-diferenciação do Direito (Schauer, 2000). A conjectura apresentada no presente artigo certamente não vai tão longe, mas ela sugere que esta possibilidade de circulação pelo interior da Ciência, inscrita nas inferências normativas que suportam argumentativamente os processos decisórios voltados à solução de casos concretos no Direito, poderá revelar-se problemática da perspectiva da garantia das condições de justificação intersubjetiva de tais inferências.

Análise do desempenho de regras da análise técnica aplicada ao mercado intradiário do contrato futuro do índice Ibovespa

Este artigo tem como objetivo verificar a robustez do contéudo preditivo de regras da análise técnica, usando informações intradiárias do mercado futuro do índice de ações da Bolsa de Valores de São Paulo (Ibovespa Futuro). A metodologia sugerida foi a avaliacão em grupos, conforme os resultados de Baptista (2002), tal que as regras são obtidas conforme os resultados em alguns dos subperíodos estudados, sendo testadas em períodos subsequentes. Como resultado, obteve-se robustez ao longo do tempo e à taxa de amostragem dos dados no desempenho das regras acima do benchmark (buy-and-hold), porém considerações realistas acerca do momento de compra, assim como da corretagem (exceto grande investidor), podem reduzir substancialmente os ganhos

Projeto para a criação do Centro de Memória do Instituto de Matemática Pura e Aplicada: uma história de competência, paixão e perseverança

O Instituto Nacional de Matemática Pura e Aplicada (IMPA) foi o primeiro órgão de pesquisa criado pelo Conselho Nacional de Pesquisas (CNPq), em 1952. Desde seu início o IMPA dedicou-se à pesquisa científica em matemática do mais alto nível e promoveu a formação de novos pesquisadores, promovendo também a difusão e aprimoramento da cultura matemática no país. Mais recentemente, passou a dedicar-se também às aplicações da matemática em outras áreas do conhecimento e em setores tecnológicos. Ao longo de mais de cinqüenta anos de trabalho, consolidou-se como o centro de referência em pesquisa matemática e formação de novos pesquisadores no Brasil e na América Latina. Tendo em vista a relevância da instituição para os rumos da pesquisa na área no país, este trabalho de conclusão de curso tem como objetivo estabelecer as diretrizes para a criação do Centro de Memória do Instituto Nacional de Matemática Pura e Aplicada (CEMIMPA), que seria um espaço para produção e re-elaboração de identidade e memória institucional – seguindo uma tendência que se afirma, no Brasil, desde a década de 1970. Discute-se aqui a trajetória do IMPA, os conceitos sobre memória, acervo e identidade para conseguir demarcar as linhas gerais do CEMIMPA e precisar sua importância para a instituição. A criação de um centro de memória como o que propomos, ajudaria a dar visibilidade à história do IMPA, de seus pesquisadores, suas áreas de atuação para além dos limites do cenário da pesquisa matemática, alcançando um público cada vez mais amplo e diverso. Isto poderia influenciar de forma ainda mais vigorosa a formação de jovens em geral, e em particular, de futuros matemáticos. Também poderá incrementar as pesquisas sobre a história da matemática no Brasil e a trajetória dos pesquisadores que a fizerem e dela fazem parte.

Formação de elites dirigentes no Brasil: o papel das instituições de ensino e pesquisa econômica aplicada

This research analyses the process of academic and practical formation of a particular group of political elite in Brazil, the economists. So, one characterizes the graduate programs of economics, in terms of their theoretical approach, their relationships with the government and private enterprises. The study also takes into account the role played by the applied research and economic planning agencies in the process of legitimation of the economists as ruling elites in Brazil.