Orientador :Rogerio Drummond / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-13T23:16:38Z (GMT). No. of bitstreams: 1 PinonArias_Hernan_M.pdf: 3494321 bytes, checksum: 4318518c79caf9945c09d3fee257f82a (MD5) Previous issue date: 1991 / Resumo: O presente trabalho descreve a implementação do editor topológico para as computações de LegoShell. A LegoShell é uma das linguagens do Ambiente de desenvolvimento de software baseado em Hierarquias de Abstração em Níveis Diferenciados (A_HAND), atualmente sendo desenvolvido no Departamento de Ciência da Computação da UNICAMP. Ela possibilita a composição de programas através da conexão de suas portas de entrada e saída. Ela estende da noção de "pipe" do UNIX@, restrita a uma dimensão só, para grafos multidimensionais compostos de programas, dispositivos periféricos, arquivos, conectores, etc. Estes grafos, chamados computações, podem ser abstraídos como programas e depois utilizados nas computações indistintamente de programas reais. Qualquer dos componentes de uma computação pode residir ou ser executado em qualquer uma das máquinas da rede local, possibilitando assim, a especificação de computações distribuídas. Pela sua natureza, a LegoShell é inerentemente uma linguagem de estrutura topológica. Um editor apropriado deve ser capaz de manipular estruturas topo lógicas e representa-las de forma gráfica. Este editor será o "front-end" principal do ambiente A_HAND. Por isto ele é o principal responsável pela determinação do "look-and-feel" da interface com o usuário do ambiente. A interface com o usuário foi implementada usando os widgets do X Windows, uma máquina de "statecharts" foi utilizada para a definição do núcleo semântico do editor e finalmente os objetos complexos manipulados internamente foram implementados seguindo o paradigma de tipos abstratos de dados / Abstract: This work describes the implementation of the topologic editor for the LegoShell computations. LegoShell is one of the languages of the Software Development Environment based on Hierarchies of Differentiated Levels of Abstraction (A_HAND), being developed at the Computer Science Department of UNICAMP. It allows program composition through the connection of program input and output ports. It extends the notion of UNIX pipes, which is restricted to a single dimension, to multidimensional graphs composed of programs, peripheral devices, files, connectors, etc. These graphs, called computations, can be abstracted and used afterwards in other computations without any difference from real programs. Any of the components could run locally or in any of the Local Area Network machines, this way allowing the specification of distributed computations. Because of its own nature, LegoShell is intrinsically a topologically structured language. A suitable editor has to be able to manipulate topological structures and to represent them in a graphical manner. This editor will be the principal front-end' of A_HAND. This it is the reason why the editor is mainly responsible for the look-and-feel of the user interface in this environment. The user interface has been implemented using X Windows widgets, a statecharts machine has been used to define the semantic core of the editor and finally the complex objects which are internally manipulated were implemented following the abstract data tipe paradigm / Mestrado / Mestre em Ciência da Computação

Orientador: Raul Vinhas Ribeiro / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-16T02:36:30Z (GMT). No. of bitstreams: 1 Periotto_AlvaroJose_M.pdf: 1914503 bytes, checksum: 88686c8f692da7772c43bb8b4145b422 (MD5) Previous issue date: 1983 / Resumo: No primeiro capitulo fazemos a apresentação do problema que deu origem a este trabalho, ou seja, o problema de programação da produção com horizonte de quatro meses. Este problema trata do planejamento da produção de uma indústria, procurando entre as várias alternativas aquela que minimize os custos de inventário e atenda as vendas previstas, com base nos tempos de produção dos vários itens, respeitando as limitações de horas normais e horas extras de produção. No segundo capitulo apresentamos os métodos de resolução de problemas de programação linear apropriados à estrutura bloco-angular que servem como base para o método de resolução a ser aplicado ao problema proposto. Deve-se ressaltar que neste capitulo os métodos não tratam com variáveis "canalizadas". Os dois capítulos subseqüentes representam a parte teórica deste trabalho, desenvolvida através de adaptações dos métodos de resolução às necessidades da situação exposta: no terceiro capítulo esquecemos temporariamente a estrutura bloco-angular e mostramos um método dual simplex para problemas com variáveis "canalizadas" e no quarto capitulo mostramos um método para a forma dual do problema bloco-angular com variáveis "canalizadas". No quinto capitulo apresentamos um programa de computador que baseia-se no método desenvolvido e explora as peculiaridades da programação de produção com horizonte de quatro meses. Finalmente, no sexto capitulo apresentamos as conclusões e algumas sugestões de continuidade deste trabalho. / 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-16T03:33:10Z (GMT). No. of bitstreams: 1 Ribeiro_RaulVinhas_D.pdf: 3680329 bytes, checksum: bd010abae32f927efd50d44a9da25394 (MD5) Previous issue date: 1980 / Resumo: O presente trabalho dividido em três partes trata na primeira delas de mostrar como formalmente os métodos de programação linear, o método simplex e gradiente reduzido em PL, podem ser vistos como problemas de norma mínima ou projeção. É apresentado ainda o método simplex para restrições de desigualdade e pivoteamento por coluna. Na segunda parte apresentamos um método para problemas de PL com estrutura bloco angular, dual do GGUB (generalized generalized upper bound) e mostramos que o método de ROSEN é uma variante de nosso método que a cada interação deve satisfazer uma propriedade adicional. Fazemos também uma interpretação geométrica do método. Na última parte fazemos uma apresentação do método primal para programação linear, por partes, procurando explicitá-lo como generalização do método simplex e finalmente fazemos, baseado na parte II desta tese, uma especialização do método para problemas lineares por parte com estrutura bloco angular / Abstract: Not informed. / Doutorado / Doutor em Engenharia Elétrica

Orientadores: Vinicius Amaral Armentano, Paulo Morelato França / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-17T11:43:08Z (GMT). No. of bitstreams: 1 Scrich_CintiaRigao_M.pdf: 3723231 bytes, checksum: 483aa81bf811c8aab10a3b008d8a02fa (MD5) Previous issue date: 1992 / Resumo: O problema de dimensionamento de lotes de múltiplos itens com restrição de capacidade consiste na determinação das quantidades a serem produzidas em diferentes períodos de tempo na presença de restrição no recurso disponível. O modelo apresentado neste trabalho considera que a produção de um item em um dado período incorre em um custo fixo e um tempo de preparação. Para a resolução deste problema um método heurístico é desenvolvido. Além disso, é feita uma adaptação das técnicas de Busca Tabu a este método. Experimentos computacionais são apresentados e analisados / Abstract: The multi-item single-level capacitated lot-sizing problem consists in the determination of the amounts being produced in different periods of time in the presence of restriction on the available resources. The model presented in this work considers that the item production implies a setup cost and a setup time. To solve this problem a heuristic method is developed. Besides, an adaptatton of Tabu Search techniques for this method is done. Computational experiments are presented and analysed. / Mestrado / Mestre em Engenharia Elétrica

Orientadores: Celso Pascoli Bottura, Hermano de Medeiros Ferreira Tavares / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia de Campinas / Made available in DSpace on 2018-07-18T03:05:28Z (GMT). No. of bitstreams: 1 Pissolato_EuniceLuvizottoMedina_M.pdf: 6512968 bytes, checksum: 9e73db4e4f2a7272f2d9384381726d23 (MD5) Previous issue date: 1982 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Engenharia Elétrica

Orientador : Paulo A. Valente Ferreira / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-18T05:01:23Z (GMT). No. of bitstreams: 1 Carvalho_JoseReginaldoHughes_M.pdf: 5256627 bytes, checksum: ac5230abac45df891937357b4bef8b54 (MD5) Previous issue date: 1993 / Resumo: o presente trabalho propõe uma nova abordagem para a solução de problemas de controle multicritérios. Em particular, demonstra-se que se os funcionais são critérios quadráticos agregados a uma determinada Função Valor, a solução do problema consiste, do ponto de vista da teoria de controle, na solução iterativa de equações do tipo Riccati. A solução do chamado Problema de Salukvadze, no qual a função valor associada ao problema representa uma norma lp é obtida como caso particular da abordagem proposta. Relações entre esta nova abordagem e técnicas alternativas existentes na literatura e, em especial, com a estratégia de controle min-max de sistemas dinâmicos são também investigadas. O trabalho inclui experiências numéricas que ilustram o desempenho da abordagem proposta / Abstract: In this work, a new approach for the problem of multicriteria control is proposed. In particular, it is shown that if the criteria are quadratic, being aggregated into a prescribed Value Function, the solution of the problem consists, from the control theory viewpoint, in the interative solution of Riccati type equations. The solution of the so-called Salukvadze Problem, in which the value function is a lp-norm, is easily obtained by the approach proposed. Relationships between this new approach and existing solution techniques, and especially with the min-max control strategy for dynamic systems, are investigated. The work includes numerical experiences that ilustrate the performance of the approach proposed. / Mestrado / Telecomunicações e Telemática / Mestre em Engenharia Elétrica

Orientador: Ivanil Sebastião Bonatti / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-18T21:28:08Z (GMT). No. of bitstreams: 1 Silva_AlexandreCesarRodriguesda_D.pdf: 7276095 bytes, checksum: d0608097ff65b897c2a32b4352060fab (MD5) Previous issue date: 1993 / Resumo: Este trabalho trata do problema de simplificação de funções booleanas e da redução de estados, em máquinas de estados finitos, modelando-os como um problema de programação matemática. Na minimização lógica, os implicantes são gerados aplicando-se o algoritmo do consenso numa árvore binária que representa a função booleana. A cobertura mínima é obtida resolvendo-se um problema de programação linear inteira 0 e 1, cuja função objetivo é a soma ponderada de todos os implicantes primos e as restrições correspondem a soma dos implicantes primos que cobrem cada mintermo da função. Na minimização de funções booleanas com múltiplas saídas o problema de cobertura mínima pode ser modelado como um problema matemático não linear dependendo do critério de otimização utilizado. o método de geração de classes de compatibilidades máximas foi utilizado para a redução de estados. A função objetivo é formulada como a soma das classes primas sujeita às restrições de cobertura e fechamento. Uma vez formulado como um problema de programação matemática, a minimização de funções booleanas e a redução de máquinas de estados se abrem para as novas técnicas desenvolvidas nessa área de pesquisa / Abstract: This work proposes a method of dealing with the problem of boolean function minimization and finite state machine reduction by modeling each of them as a mathematical programming problem. In the logic minimization, prime implicants are generated by applying the consensus algorithm in the binary decision tree that represents a boolean function. A minimal cover can then be obtained by solving an integer linear program with objective function as a weighing sum of prime implicants whose constraints are the sums of prime implicants covering each minterm. In a multiple-output boolean function minimization, a minimal cover problem may be modelled as a non-linear mathematical problem depending on the specific optimization criterion that is used. The method of generating the maximal compatibility classes has been used for the state reduction phase. The objective function is formulated as the sum of the prime classes, and the constraints are due to restrictions of covering and closure. Once formulated as a mathematical programming problem, the boolean function minimization and the state machine reduction are opened to the new techniques that have been developed in this research area / Doutorado / Doutor em Engenharia Elétrica

Orientador: Geraldo Severo de Souza Avila / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica e Ciencia da Computação / Made available in DSpace on 2018-07-19T05:48:24Z (GMT). No. of bitstreams: 1 Brandao_AdilsonJoseVieira_M.pdf: 1152730 bytes, checksum: 7719fc4470c655471fa220f09f57ecba (MD5) Previous issue date: 1994 / Resumo: o objetivo principal da dissertação é estudar o comportamento assintótico e alguns aspectos da distribuição da energia da solução de um Sistema Simétrico Hiperbólico de equações diferenciais parciais associado às equações linearizadas da Magnetohidrodinâmica. Para isto utilizaremos o Método da Fase Estacionária bem como propriedades da chamada Superfície de Vagarosidade. Antes porém faremos um estudo mais genérico sobre Sistemas Simétricos Hiperbólicos. / Abstract: Not informed. / Mestrado / Mestre em Matemática

Orientador: Ana Friedlander / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-19T17:33:43Z (GMT). No. of bitstreams: 1 Bitar_SandroDimyBarbosa_M.pdf: 580688 bytes, checksum: db0d10109993c41a5e242807ab824dbc (MD5) Previous issue date: 1994 / Resumo: Neste trabalho, demonstramos os teoremas de identificação de restrições ativas para um algoritmo de região de confiança apresentado em [13] para resolver o problema min f(x) sujeita a ¿Observação: O resumo, na íntegra poderá ser visualizado no texto completo da tese digital. / Abstract: Not informed. / Mestrado / Mestre em Matemática Aplicada

Orientador: Beatriz Mascia Daltrini / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-19T23:36:54Z (GMT). No. of bitstreams: 1 Sigrist_SergioRoberto_M.pdf: 6670798 bytes, checksum: 1bab5fc94bca568af9eabd6cf1e270a1 (MD5) Previous issue date: 1995 / Resumo: Esta tese apresenta uma visão geral da orientação a objetos e oferece um protótipo de software para auxílio ao processo da análise. Na revisão são destacados a motivação, problemas atuais, tendências, conceitos básicos, CASE, métodos de análise/design; também são mencionados os aspectos relevantes de linguagens de programação, interface de usuário, sistema operacional, base de dados eframework. Esse estudo possibilitou colher subsídios para desenvolver uma aplicação de base de dados que permite o exercício da análise através da descrição dos objetos e suas propriedades. As características centrais são a manipulação de objetos a partir de dados previamente armazenados, verificação de erro e de relacionamento inverso, geração de relatório e mecanismo de herança. São descritas as principais decisões de concepção do software, com uma exposição sobre a funcionalidade do mesmo. O protótipo é comparado a outras ferramentas, sendo apontadas as limitações atuais e as sugestões para evolução / Abstract: This thesis presents an overview of object-orientation and ofIers a prototype software to assist the analysis processo The motivation, recent problems, trends, basic concepts, CASE, and analysis/design methods are high-lighted in a review ofthe area; the relevant aspects of programming languages, user interface, operating system, data base, and framework are also pointed out. This study has provided the means to develop a data base application allowing analysis task through the description of objects and their properties. The central features are object manipulation from previously stored data, error and inverse relationship checking, report generation and inheritance mechanism. The major design decisions are described and the system's usabilility is demonstrated. The prototype is compared with others tools, its limitations and suggestions for improvement are pointed out / Mestrado / Mestre em Engenharia Elétrica