No description available.

Orientador: Aluir Porfirio Dal Poz / Resumo: Este trabalho propõe uma solução para o problema de verificação automática da malha viária georreferenciada em imagens aéreas digitais. O método proposto baseia-se em duas etapas básicas, isto é: 1- Extração automática de rodovias georreferenciadas; e 2- Análise de consistência das rodovias extraidas. Na primeira etapa, a metodologia para a extração de rodovias baseada no algoritmo de programação dinâmica é utilizada para a extração automática das rodovias georreferenciadas. O método é inicializado a partir da projeção de pontos salientes extraidos automaticamente ao longo destas rodovias para o espaço Imagem. Estes pontos descrevem grosseiramente a forma, a posição, e a topologia das rodovias georreferenciadas. Além disso, a precisão dos pontos transformados para o espaço imagem é também estimada, o que possibilita a definição automática das janelas debusca utilizadas pelo algoritmo de programação dinâmica. A análise de consistência das rodovias extraidas baseia-se num modelo de erro que permite concluir estatisticamente se as rodovias extraidas não discrepam significativamente das correspondentes projetadas na imagem. Os resultados obtidos mostram...(Resumo completo, clicar acesso eletrônico abaixo) / Mestre

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2010. / Submitted by Allan Wanick Motta (allan_wanick@hotmail.com) on 2011-01-21T18:14:44Z No. of bitstreams: 1 2010_FlavioJoseFerroBarros.pdf: 454810 bytes, checksum: 20b7e7f5115fdc9ff34396a6f5e6cc1f (MD5) / Approved for entry into archive by Daniel Ribeiro(daniel@bce.unb.br) on 2011-01-26T00:28:37Z (GMT) No. of bitstreams: 1 2010_FlavioJoseFerroBarros.pdf: 454810 bytes, checksum: 20b7e7f5115fdc9ff34396a6f5e6cc1f (MD5) / Made available in DSpace on 2011-01-26T00:28:37Z (GMT). No. of bitstreams: 1 2010_FlavioJoseFerroBarros.pdf: 454810 bytes, checksum: 20b7e7f5115fdc9ff34396a6f5e6cc1f (MD5) / Apresenta-se uma formalização das propriedades de composicionalidade do Cálculo lambda-ex em Coq. A abordagem utilizada baseia-se na lógica nominal de acordo com o trabalho desenvolvido por [3]. Mais especificamente estendemos a formalização do lambda-cálculo contida neste trabalho de forma a incluir a operação de substituição explícita do cálculo lambda-ex. Nessa abordagem, a alpha-equivalência coincide com a igualdade pré-construída de Coq, e os princípios de recursão e indução sobre classes de lambda-termos possuem tratamento específico. Escolhemos trabalhar com o cálculo lambda-ex por ser atualmente o único cálculo que satisfaz simultaneamente todas as propriedades desejáveis para um cálculo de substituições explícitas. Ele é uma extensão do lambda-x com uma regra de reescrita para composição de substituições dependentes e uma equação para comutação de substituições independentes. O cálculo lambda-ex usa um construtor unário para a substituição explicita, mas tem o mesmo poder de expressividade de cálculos com substituições simultâneas. _________________________________________________________________________________ ABSTRACT / We present a formalization of properties of compositionality of the ex-calculus in Coq. The approach is based in the nominal logic as presented in the paper [3]. More precisely, we extended a formalization of the -calculus in such a way that it now includes the explicit substitution operation of the ex-calculus. In this approach, -equivalence of -terms coincides with the Coqt’s built-in equality, and the principles of recursion and induction over classes of -terms are treated in a specific way. We chose to work with the ex-calculus because it is currently the only calculus that simultaneously satisfies all the desirable properties for a calculus of explicit substitutions. It is an extension of the x-calculus with a rewrite rule for composition of dependent substitutions and one equation for independent substitutions. The ex-calculus has a unary constructor for the explicit substitution operation, but have the same expressive power of calculi with simultaneous substitutions.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Agronomia e Medicina Veterinária, 2010. / Submitted by Shayane Marques Zica (marquacizh@uol.com.br) on 2011-03-17T20:45:45Z No. of bitstreams: 1 2010_SauloAmaralMoreira.pdf: 2853257 bytes, checksum: 2d7ae38e04917f121919bfd027bf3f0a (MD5) / Approved for entry into archive by Luanna Maia(luanna@bce.unb.br) on 2011-03-25T14:55:47Z (GMT) No. of bitstreams: 1 2010_SauloAmaralMoreira.pdf: 2853257 bytes, checksum: 2d7ae38e04917f121919bfd027bf3f0a (MD5) / Made available in DSpace on 2011-03-25T14:55:47Z (GMT). No. of bitstreams: 1 2010_SauloAmaralMoreira.pdf: 2853257 bytes, checksum: 2d7ae38e04917f121919bfd027bf3f0a (MD5) / A aplicação deste trabalho segue no sentido de fornecer subsídios aos produtores no processo de planejamento da produção e tomada de decisão. O estudo teve como base uma propriedade localizada no município de Cristalina – GO. A partir da coleta de dados reais e utilizando recursos da área de Pesquisa Operacional com técnicas de programação linear multiperiódica, determinou-se a configuração ótima para o sistema agropecuário integrado bem como a configuração de um cenário alternativo, visando dar suporte para o proprietário da empresa rural através da elaboração e implementação de um modelo de otimização que visa a maximização do lucro de sistemas produtivos que integram confinamentos de gado de corte e produção e comercialização de grãos. O modelo matemático de otimização desenvolvido e o programa computacional implementado a partir deste forneceram uma sequência detalhada das operações integrando as ações de comercialização e gerenciamento do confinamento. A programação linear multiperiódica, base do modelo matemático, mostrou-se um instrumento eficiente na otimização de sistemas agropecuários integrados, propiciando agilidade no processamento e respostas de fácil entendimento. Os resultados mostraram a viabilidade da aplicação desta ferramenta em empresas com este perfil, propiciando um melhor planejamento das atividades por meio do estudo de cenários elaborados de forma a refletir a realidade das propriedades estudadas. _______________________________________________________________________________ ABSTRACT / The application of this work is to provide allowance to producers in the planning process of production and decision making. The study was built on a property located in Cristalina - GO. From the collection of real data and using resources of the area of Operations Research with techniques multiperiod linear programming, determined the optimal configuration for the integrated farming system and the configuration of an alternative scenario, order to provide support to the owner of the company through development and implementation of an optimization model that seeks to maximize the net profit from production systems that integrate feedlot beef cattle and production and marketing of grain. The optimization model developed and implemented computer program from thar provided a detailed sequence of operations by integrating the actions of market and management of confinement. Multiperiod linear programming, based on the mathematical model, proved to be an efficient tool in optimization of integrated agricultural systems, providing flexibility in processing and answer of easy understanding. The results showed the feasibility of applying this tool in companies with this profile, providing a better planning of activities through the study of scenarios designed to reflect the reality of the properties studied.

Made available in DSpace on 2014-06-12T16:01:06Z (GMT). No. of bitstreams: 2 arquivo7160_1.pdf: 1101431 bytes, checksum: 69c90a543a0c30de3b872aae2a3bb5a2 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2005 / Uma das principais técnicas de abstração oferecida pelas linguagens de programação atuais é a possibilidade de dividir um sistema em unidades de código que capturam suas funcionalidades. Esta abstração permite que mudanças em uma unidade em particular não se propaguem por todo sistema. No entanto, isto é apenas aplicável quando tais funcionalidades ou preocupações podem de fato ser classificadas como unidades separadas. Algumas funcionalidades ou preocupações - conhecidas como preocupações entrelaçadas (crosscutting concerns) - repercutem por todo o sistema e não podem ser definidas em módulos tradicionais. Assim, todo o código que as implementa fica espalhado e misturado por diversos módulos. O paradigma de programação orientado a aspectos (AOP) tem sido apresentado na literatura como uma maneira alternativa de implementar os crosscutting concerns de um sistema, disponibilizando construções que permitem separá-los em unidades adequadamente. Um conceito central neste paradigma é o de aspecto, que é sua unidade modular. Uma linguagem de programação orientada a aspectos é usualmente estabelecida como uma extensão de uma linguagem de programação existente, provendo ao programador tanto as unidades modulares desta linguagem (conhecida como linguagem base) quanto os aspectos. Este trabalho apresenta a linguagem AspectH, uma extensão orientada a aspectos de Haskell. AspectH implementa o mecanismo AOP de pointcuts e advice como em AspectJ e foi projetada para atuar em programas Haskell que utilizam mônadas. Por meio de AspectH, investigamos os benefícios que uma abordagem AOP pode oferecer no contexto de uma linguagem puramente funcional. Em outras palavras, pretendemos demonstrar que AOP pode fazer por Haskell e linguagens funcionais o que já faz, como exemplo, por linguagens orientadas a objetos. AspectH oferece ao programador a possibilidade de implementar os crosscutting concerns de programas monádicos em aspectos, ajudando-o a criar programas mais modulares e conseqüentemente mais legíveis, mais fáceis de manter e reusar

Orientador: Saul Barisnik Suslick / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Geociencias / Made available in DSpace on 2018-07-21T07:03:13Z (GMT). No. of bitstreams: 1 Goncalves_MarcosAndreVeiga_M.pdf: 5620713 bytes, checksum: 2a826df6c6dcb825993b29cf8b0c498a (MD5) Previous issue date: 1996 / Resumo: O setor produtor de bauxita-alumina-alumínio passou ao longo das últimas duas décadas por um importante processo de mudanças estruturais e, sem dúvida, se tornou muito mais competitivo em nível internacional. O Brasil está consolidado hoje numa posição de destaque entre os seis maiores produtores mundiais de bauxita, alumina e alumínio primário. Cada vez mais as empresas buscam a correta gestão dos recursos minerais e de outros insumos necessários aos três estágios de produção de alumínio primário. Desse modo, as técnicas de pesquisa operacional vêm contribuir muito para a otimização de custos e do uso de insumos na produção de metal primário. Dentro dessa filosofia, esta dissertação visa mostrar o potencial de aplicação da programação linear na minimização dos custos de transporte de uma empresa produtora de alumínio primário. Para tal foi elaborado um modelo de diagrama de fluxos de redes que busca minimizar custos de transporte / Abstract: During the past two decades, the productive sector of bauxite-aluminum has undergone an important process of structural change, and has undoubtably become more competitive in the international arena. Brazil has become a major player in this field. Companies have increasingly searched for the optimal allocation of mineral resources and other inputs necessary for the three stages of primary aluminum production. As a result, the operations research techniques have become paramount in the cost optimization and in the use of other inputs in primary meta) production. In this context, this dissertation intends to demonstrate the potential of linear programming in minimizing transportation costs of a primary aluminum producer. A Network flow model which minimizes transportation costs has been developed for this purpose / Mestrado / Administração e Politica de Recursos Minerais / Mestre em Geociências

Orientador: Antonio Carlos Moretti / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-07-21T20:25:21Z (GMT). No. of bitstreams: 1 TiconaCenteno_PercyAntonio_M.pdf: 1518536 bytes, checksum: 2ae9742920290e4644104f29f576f03e (MD5) Previous issue date: 1996 / Resumo: Não informado / Abstract: Not informed / Mestrado / Mestre em Matemática Aplicada

Orientador: Mario Oscar Cencig, Paulo de Barros Correia / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-07-23T12:13:43Z (GMT). No. of bitstreams: 1 Carvalho_ElianeBezerrade_M.pdf: 4635236 bytes, checksum: fec7fd9003e8ab022ed379bb127d1e60 (MD5) Previous issue date: 1998 / Resumo: Este trabalho apresenta um modelo de otimização da operação de fomos elétricos de arco direto que utilizam sucata como principal matéria-prima. Para a modelagem se requer o conhecimento do circuito elétrico no qual o forno está conectado, além das características construtivas e operacionais do equipamento. Utiliza-se um algoritmo de programação dinâmica backward segundo uma abordagem multi-objetivo. Os objetivos considerados são a minimização dos custos com energia e a minimização do tempo de operação. Os resultados demonstram a grande atratividade desta abordagem na identificação de soluções de compromisso entre a melhoria de produtividade e a redução do consumo de energia. O modelo também permite a quantificação do potencial de conservação de energia propiciado pela otimização do programa de potência sem custos adicionais / Abstract: An optimisation model for the operation of direct arc electric furnaces that use scrap as the main raw material is presented in this thesis. A knowledge of the electric circuit to which the furnace is connected, as well as the design and operational characteristics of the equipment, are required for the modelling. A backward dynamic programming routine is employed, in a multi-objective approach. The objectives considered are the minimisation of energy consumption cost and the minimisation of the furnace operation time. The results obtained prove the attractivity of this approach in iddentifying trade-offs between improving productivity and reducing energy consumption. The proposed model also allows the calculation of the energy conservation potential provided by the power optimisation programme, at no extra cost / Mestrado / Mestre em Planejamento de Sistemas Energéticos

Orientador: Rogerio Drummond Burnier Pessoa de Mello Filho / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-07-23T12:49:47Z (GMT). No. of bitstreams: 1 Oliveira_AredisSebastiaode_M.pdf: 3427641 bytes, checksum: 37bbd69debac907793af9a3c65ed42a3 (MD5) Previous issue date: 1997 / Resumo: Este trabalho apresenta o projeto e a implementação de um Make Distribuído (MakeD) baseado na conhecida ferramenta make. A aplicação cliente/selVidor MakeD permite usar uma rede de computadores como um re~urso computacional único para minimizar o tempo gasto no processo de make durante o desenvolvimento de projetos de médio e grande porte. Num ambiente de desenvolvimento típico uma estação cliente apresenta um padrão de uso de CPU com curtos períodos de intensa utilização e longos períodos de inatividade ou baixa utilização. Dessa forma, utilizar os clientes como servidores de CPU e usar a ferramenta MakeD para distribuir as tarefas de compilações entre eles melhora o uso da capacidade de processamento disponível na rede, contribuindo para balancear a utilização dos recursos. A implementação do MakeD combina o mecanismo de RPC com recursos de multithreading para explorar a distribuição de tarefas na rede e a multi-tarefa em cada sistema. Os resultados de testes comparativos entre MakeD, GNU Make e outro make distribuído (Dmake) demonstram a eficiência dos métodos empregados. O trabalho também discute alguns aspectos de transformação de aplicações centralizadas em distribuídas e propõe um selVidor de make distribuído multi-usuário como extensão para o MakeD / Abstract: This work presents the design and implementation of a Distributed Make (MakeD) utility. The MakeD c1ient/server application allows using a network as a single computing resource to reduce compilation time in the development of medium and large projects. In a typical development environment, client workstations presents relatively short periods of high CPU load followed by long periods of low or zero utilization. MakeD uses ordinary c1ients as CPU servers in order to distribute tasks, thus making a network's id1e processor capacity available and balancing resource use. MakeD uses RPC and multithreading to achieve distributed processing in the network and multitasking within each node. The results of comparative tests show performance gains relative to GNU Make and a similar distributed make (Dmake). This work also discusses some aspects of transforming centralized applications into distributed ones and proposes a multi-user distributed Make Server as a future evolution / Mestrado / Mestre em Ciência da Computação

Orientadores: Luis Gimeno Latre, Maria Teresa Moreira Rodrigues / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-03T18:55:43Z (GMT). No. of bitstreams: 1 Pessoa_MarcosirisAmorimdeOliveira_M.pdf: 1025610 bytes, checksum: 1115cdec51d5e1f718aac28413cb39ad (MD5) Previous issue date: 2003 / Mestrado