Orientador: Tomasz Kowaltowski / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-14T06:12:35Z (GMT). No. of bitstreams: 1 Carvalho_ClaudioSergiodaRosde_M.pdf: 4046863 bytes, checksum: 9f43bdd999d8967273f98101a319ae69 (MD5) Previous issue date: 1989 / Resumo: A proposta deste trabalho é a apresentação dos aspectos principais da linguagem de programação MG, que foi engendrada com o objetivo de incorporar algumas facilidades, chamadas do baixo nível, da linguagem C à estrutura da linguagem Modula-2. Como evoluções de MC em relação a Modula-2 e C podem-se citar, entre outras, a inclusão de tratamento de exceções, vetores com limites abertas, subprogramas com número variável de parâmetros c processos. O resultado é uma linguagem simples e precisa, de propósito geral, mas adequada à programação de sistemas / Abstract: Not informed / Mestrado / Mestre em Ciência da Computação

Orientador: Hermano de Medeiros F. Tavares / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-14T06:10:00Z (GMT). No. of bitstreams: 1 Cardoso_MarioAndrade_M.pdf: 1285975 bytes, checksum: 6684627ca1fae0d5cee6f0211626d55e (MD5) Previous issue date: 1981 / Resumo: Não informado. / Abstract: Not informed. / Mestrado / Mestre em Matemática Aplicada

Orientador: Hermano de Medeiros F. Tavares / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia de Campinas / Made available in DSpace on 2018-07-14T09:57:11Z (GMT). No. of bitstreams: 1 Ferreira_EdsondePaula_M.pdf: 1453191 bytes, checksum: afbf258d4d63b053749b020af47cdf54 (MD5) Previous issue date: 1978 / Resumo: Desenvolvemos o método Primal-Dual para problemas cuja função objetivo a minimizar é convexa linear por partes, numa formulação baseada na dualidade segundo a teoria de Lagrange. No capítulo 1 é feita uma nova caracterização do método Primal-Dual linear (DANTZIC, FORD, FULKERSON), e uma apresentação dos aspectos novos no tratamento de problemas lineares por partes. No capítulo 2 apresentamos o problema linear por partes e fazemos o desenvolvimento do método em questão. No capítulo 3 resolvemos um problema auxiliar pelo método primal linear por partes (YOUDINE) adequado às características particulares do problema. No capítulo 4 reapresentamos os métodos Primal e Dual Simplex linear por partes (CARCIA) e fazemos uma análise conjunta nos aspectos qualitativos relevantes dos três métodos em questão / Abstract: Not informed. / Mestrado / Mestre em Engenharia Elétrica

Orientador: Alberto Luiz de Andrade / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia de Campinas / Made available in DSpace on 2018-07-15T05:49:22Z (GMT). No. of bitstreams: 1 Ravagnani_MauroAntoniodaSilvaSa_M.pdf: 3606357 bytes, checksum: bffd437c7c186cd121bfd965f3ab8d1c (MD5) Previous issue date: 1989 / Resumo: Neste trabalho foi desenvolvido um programa para microcomputador para o projeto de trocadores de calor multitubulares, operando em processos com e sem mudança de fase. O programa foi desenvolvido, utilizando-se para os cálculos, equações disponíveis na literatura Como resultado do levantamento bibliográfico realizado, foram escolhidas as equações que apresentaram os melhores resultados. O diagrama de blocos correspondente ao programa principal, assim como os fluxogramas correspondentes a cada fase do programa e sua forma de utilização são apresentados, fazendo com que o mesmo possa ser utilizado por qualquer usuário que tenha conhecimentos básicos da operação de microcomputadores. Com a finalidade de demonstrar o uso do programa, algumas condições de operação são simuladas. A primeira simulação é apresentada passo a passo, com o objetivo de apresentar um detalhamento de toda a sistemática utilizada no programa. As demais são apresentadas de uma forma resumida, através de tabelas. Ressalta-se neste trabalho a inclusão de uma modificação significativa, com relação às sistemáticas de cálculo encontradas na literatura. Esta modificação consiste em não se arbitrar um valor inicial para o coeficiente global de troca térmica, fazendo com que o programa não seja iterativo. Além disto, o programa possibilita que se tenha sempre o menor trocador, com as máximas que das de pressão permitidas, garantindo que o mesmo possa trabalhar com segurança em relação à incrustação durante o tempo previsto para sua operação. Desta forma, este trabalho teve seus objetivos atingidos, na medida em que se dispõe de um programa para o projeto deste tipo de trocadores, com uma quantidade de dados de entrada e um tempo de execução relativamente pequenos, mostrando-se perfeitamente compatível ao uso de microcomputadores. / Abstract: Not informed. / Mestrado / Mestre em Engenharia Química

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-23T19:43:21Z (GMT). No. of bitstreams: 1 Feitosa_AndreaHamazaki_M.pdf: 707160 bytes, checksum: b236f7713a538bf3a8276ef5239cf979 (MD5) Previous issue date: 1998 / Resumo: Não informado. / Abstract: Not informed. / Mestrado / Mestre em Matemática Aplicada

Orientador: Hermano de Medeiros Ferreira Tavares / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia de Campinas / Made available in DSpace on 2018-07-19T03:52:18Z (GMT). No. of bitstreams: 1 Arenales_MarcosNereu_D.pdf: 1849471 bytes, checksum: 178e68ebf5014f1ff779237f26098eea (MD5) Previous issue date: 1984 / Resumo: Não informado. / Abstract: Not informed. / Doutorado / Doutor em Engenharia Elétrica

Orientador: Jose Mario Martinez / Tese (doutorado) - Universidade Estadual de Campinas. Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-19T09:45:07Z (GMT). No. of bitstreams: 1 Santos_SandraAugusta_D.pdf: 2773882 bytes, checksum: 8aae668cafdcf29907e4840ebd5668e5 (MD5) Previous issue date: 1994 / Resumo: Neste trabalho são propostos três algoritmos de região de confiança para minimização com restrições: RCARB, RCMRI e BOX, desenvolvidos, respectivamente, para problemas com conjuntos arbitrários, restrições de igualdade e variáveis canalizadas. Para RCARB são provados resultados de convergência global (1ª ordem) e é analisada especialmente a minimização em bolas euclidianas, com a apresentação de um conjunto de experimentos numéricos. Para RCMRI são demonstrados resultados de convergência local e global (1ª e 2ª ordens) e é feita uma aplicação para minimização em esferas euclidianas objetivando resolver o Problema do Vetor inicial em Codificação, sendo apresentados experimentos numéricos. Para o algoritmo BOX são provados resultados de convergência global e identificação das restrições ativas. E feita uma análise detalhada do algoritmo utilizado na resolução do subproblema (QUACAN), destinado a minimizar quadráticas com variáveis canalizadas. E apresentada ainda uma estratégia para minimizar funções convexas com restrições lineares, baseada na utilização de BOX. / Abstract: Three trust region algorithms for constrained minimization are proposed in this work: RCARB, RCMRI and BOX, developed for dealing with arbitrary domains, equality constraints and simple bounds, respectively. Focusing on the algorithm RCARB, global convergence results (1st order) are proved and it is analysed with details the minimization in Euclidean balls, validated by a set of numerical experiments. As regards the algorithm RCMRI, local and global convergence results are proved (1st and 2nd order). It is applied for minimization in Euclidean spheres, particularly intending to solve the Initial Vector Problem in codification theory. Numerical experiments are included. When it comes to the algorithm BOX, both global convergence and identification of the active constraints are proved. It is made a thorough analysis of the algorithm in charge for the resolution of the subproblem (QUACAN), implemented to minimize general quadratics with bound constrained variables and especially developed for large scale problems. Finally, it is presented a strategy for minimizing convex functions with linear constraints, based on using the algorithm BOX. / Doutorado / Doutor em Matemática Aplicada

A programação paralela é sem dúvida mais complexa do que a programação seqüencial. O controle de múltiplos processos e de suas interações são as principais razões para tal complexidade. Apesar da existência de algumas ferramentas que atendem à fase de desenvolvimento de programas paralelos, a complexidade é normalmente passada para as ferramentas paralelas, isto é, as ferramentas não são de fácil utilização. Assim, existe uma necessidade de ambientes e ferramentas realmente fáceis de usar no âmbito da programação paralela. Embora existam algumas ferramentas interessantes, inclusive algumas comerciais, seu uso permanece insuficiente, em parte devido à complexidade na utilização de algumas delas, em parte devido ao seu uso específico em determinadas plataformas. Portanto, existe ainda um grande campo de estudo no que diz respeito a melhorias de projeto sobre ferramentas existentes e desenvolvimento de ferramentas com um maior número de recursos. Provavelmente, a ferramenta paralela mais necessária aos programadores é o depurador paralelo. Por sua vez, ferramentas de depuração paralela estão entre as mais complexas de se desenvolver e talvez isso explique o motivo pelo qual poucas têm sido efetivamente utilizadas. Este trabalho descreve uma contribuição no campo da depuração paralela através da análise de interfaces de depuração paralela e da proposta de um modelo. A partir deste modelo, uma interface de depuração paralela – PADI (PArallel Debugger Interface) foi desenvolvida e seu principal objetivo é o de oferecer uma interface intuitiva e de fácil utilização. O modelo proposto e conseqüentemente a ferramenta PADI tratam da depuração paralela simbólica on-line. A depuração on-line trata do oferecimento de acesso aos símbolos do programa, como variáveis e registradores. A depuração on-line diferencia-se da off-line pelo tipo de interação com a execução do programa. A depuração on-line oferece interação direta com a aplicação, enquanto que a off-line interage com um arquivo de monitoração gravado durante a execução da aplicação paralela. A depuração on-line é similar à depuração seqüencial tradicional e, conseqüentemente, é de mais fácil utilização por parte da maioria dos programadores.

Made available in DSpace on 2008-05-13T13:16:30Z (GMT). No. of bitstreams: 0 Previous issue date: 1991-05-20 / Muitos problemas de Dinâmica em Economia se encaixam dentro de uma estrutura de modelos de decisão seqüencial, sendo resolvidos recursivamente. Programação Dinâmica uma técnica de otimização condicionada que se encarrega de solucionar problemas desse tipo. Esse trabalho tem como objetivo apresentar uma resenha dos principais resultados teóricos em Programação Dinâmica. Os métodos da Programação Dinâmica são válidos tanto para problemas determinísticos como para os que incorporam variável incerteza. esperada objetividade de uma dissertação de Mestrado, no entanto, nos impediu de extender análise, deixando assim de considerar explicitamente neste trabalho modelos estocásticos, que teria enriquecido bastante parte destinada aplicações Teor ia Econômica. No capítulo desenvolvemos instrumental matemático, introduzindo uma série de conceitos resultados sobre os quais se constrói análise nos capítulos subsequentes. Ilustramos tais conceitos com exemplos que seguem um certo encadeamento. Nas seções 1.1 1.2 apresentamos as idéias propriedades de espaços métricos espaços vetoriais. Na seção 1.3, prosseguimos com tópicos em análise funcional, introduzindo noção de norma de um vetor de espaços de Banach. seção 1.4 entra com idéia de contração, Teor ema do Ponto Fixo de Banach e o teor ema de Blackwell. O Teorema de Hahn-Banach, tanto na sua forma de extensão quanto na sua forma geométrica, preocupação na seção 1.5. Em particular, forma geométrica desse teorema seus corolários são importantes para análise conduzida no terceiro capítulo. Por fim, na seção 6, apresentamos Teorema do Máximo. Ao final deste capítulo, como também dos demais, procuramos sempre citar as fontes consultadas bem como extensões ou tratamentos alternativos ao contido no texto. No capítulo II apresentamos os resultados métodos da Programação Dinâmica em si seção 2.1 cuida da base da teoria, com Princípio da Otimal idade de Eellman e a derivação de um algoritmo de Programação Dinâmica. Na seção 2.2 mostramos que esse algoritmo converge para função valor ótima de um problema de horizonte infinito, sendo que esta última satisfaz chamada Equação de Bellman. seção seguinte se preocupa em fornecer caracterizaçBes para função valor mencionada acima, mostrando-se propriedades acerca de sua monotonicidade concavidade. seção 2.4 trata da questão da diferenciabi idade da função valor, que permite se obter alguns resultados de estática Cou dinâmica} comparativa partir da Equação de Bellman. Finalmente, na seção 2.5 apresentamos uma primeira aplicação Teoria Econômica, através de um modelo de crescimento econômico ótimo. No capítulo III introduzimos uma outra técnica de otimização Programação Convexa- mostramos dificuldade em se tentar estabelecer alguma relação de dominância entre Programação Dinâmica Programação Convexa. Na seção 3.2 'apresentamos os Teoremas de Separação, dos quais nos utilizamos na seção seguinte para demonstrar existência de Multiplicadores de Lagrange no problema geral da Programação Convexa. No final desta seção dizemos porque não podemos inferir que em espaços de dimensão infinita Programação Convexa não pode ser aplicada, ao contrário da Programação Dinâmica, que evidenciaria uma dominancia dessa última técnica nesses espaços. Finalmente, capítulo IV destinado uma aplicação imediata das técnicas desenvolvidas principalmente no segundo capítulo. Com auxílio dessas técnicas resolve-se um problema de maximização intertemporal, faz-se uma comparação dos resultados obtidos através de uma solução cooperativa de uma solução não-cooperativa.

A programação paralela é sem dúvida mais complexa do que a programação seqüencial. O controle de múltiplos processos e de suas interações são as principais razões para tal complexidade. Apesar da existência de algumas ferramentas que atendem à fase de desenvolvimento de programas paralelos, a complexidade é normalmente passada para as ferramentas paralelas, isto é, as ferramentas não são de fácil utilização. Assim, existe uma necessidade de ambientes e ferramentas realmente fáceis de usar no âmbito da programação paralela. Embora existam algumas ferramentas interessantes, inclusive algumas comerciais, seu uso permanece insuficiente, em parte devido à complexidade na utilização de algumas delas, em parte devido ao seu uso específico em determinadas plataformas. Portanto, existe ainda um grande campo de estudo no que diz respeito a melhorias de projeto sobre ferramentas existentes e desenvolvimento de ferramentas com um maior número de recursos. Provavelmente, a ferramenta paralela mais necessária aos programadores é o depurador paralelo. Por sua vez, ferramentas de depuração paralela estão entre as mais complexas de se desenvolver e talvez isso explique o motivo pelo qual poucas têm sido efetivamente utilizadas. Este trabalho descreve uma contribuição no campo da depuração paralela através da análise de interfaces de depuração paralela e da proposta de um modelo. A partir deste modelo, uma interface de depuração paralela – PADI (PArallel Debugger Interface) foi desenvolvida e seu principal objetivo é o de oferecer uma interface intuitiva e de fácil utilização. O modelo proposto e conseqüentemente a ferramenta PADI tratam da depuração paralela simbólica on-line. A depuração on-line trata do oferecimento de acesso aos símbolos do programa, como variáveis e registradores. A depuração on-line diferencia-se da off-line pelo tipo de interação com a execução do programa. A depuração on-line oferece interação direta com a aplicação, enquanto que a off-line interage com um arquivo de monitoração gravado durante a execução da aplicação paralela. A depuração on-line é similar à depuração seqüencial tradicional e, conseqüentemente, é de mais fácil utilização por parte da maioria dos programadores.