Orientador : Mario Jino / Tese (doutorado) - Universidade Estadual de Campinas, Faculade de Engenharia Eletrica / Made available in DSpace on 2018-07-13T23:55:05Z (GMT). No. of bitstreams: 1 Maldonado_JoseCarlos_D.pdf: 13681969 bytes, checksum: b44b673a8acb70911b0a9e0f18585196 (MD5) Previous issue date: 1991 / Resumo: Uma família de critérios de teste estrutural baseada em análise de fluxo de dados, denominada Família de Critérios Potenciais Usos é definida, com a introdução do conceito Potencial Uso. Essa família de critérios estabelece uma hierarquia de critérios entre os critérios todos os ramos e todos os caminhos, e ainda satisfaz o requisito mínimo de cobertura do ponto de vista de fluxo de dados, mesmo na presença de caminhos não executáveis. Mostra-se que a complexidade desses critérios, assim como a dos demais critérios baseados em análise de fluxo de dados é de ordem exponencial. São caracterizados alguns modelos básicos para automatização desses critérios com o objetivo de estabelecer um núcleo básico para a automatização de critérios de teste estrutural; investiga-se o uso do conceito de arco essencial [CHU87] no contexto de teste baseado em fluxo de dados. Os principais aspectos da especificação, projeto e implementação de uma ferramenta multilinguagem, denominada POKE- TOOL, para suporte ao teste estrutural baseado em fluxo de dados de programas, são apresentados. Os resultados da aplicação de um benchmark, com o uso da POKE- TOOL, para avaliação empírica dos critérios Potenciais Usos são discutidos. A análise dos resultados obtidos indica que, do ponto de vista prático, esses critérios demandam um baixo número de casos de teste e contribuem para demonstrar que os critérios de teste estrutural baseados em análise de fluxo de dados são exeqüíveis. Vários modelos de estimativas para previsão do número de casos de teste requeridos são analisados e são explorados alguns modelos para previsão do número de caminhos não executáveis. São também discutidos alguns aspectos de medidas de complexidade de software relacionados com as atividades de teste de soft ware / Abstract: Potential Uses Criteria Family (PU) - a family of data flow based structural testing criteria - is defined, introducing a new concept: the potential use. This criteria family establishes a hierarchy including all-edges and all-paths criteria, in addition to satisfying the minimum coverage requirements from the data flow point oí view, even in the presence oí unexecutable paths. It is shown that the complexity of these criteria, as well as of the other data flow based criteria, have exponencial order. Some basic models are proposed aiming at establishing a uniíorm mechanism to automate data flow based structural testing criteriaj the essential branch concept [CHU87] is investigated. The main aspects of the specification, design and implementation of a multilanguage tool, named POKE- TOOL, for data flow based structural testing of programs are presented. Results of a benchmark conducted to empirically evaluate Potential Uses Criteria, using POKE- TOOL, are discussed. Analysis of these results points out that, in practice, a small number of test cases are required by these criteria; this contributes to show that data flow based structural testing criteria can be applied in industrial software production environments. Models to estimate the number of test cases and the number of infeasible paths are explored. Some aspects of software complexity metrics related to soítware testing activities are also discussed. / Doutorado / Doutor em Engenharia Elétrica

Orientador: Vinicios Amaral Armentano / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-13T23:55:21Z (GMT). No. of bitstreams: 1 Hahn_Andrea_M.pdf: 6542020 bytes, checksum: 5c3024437f5d36e4b86572795c92aef9 (MD5) Previous issue date: 1991 / Resumo: O processo de fundição permite a manufatura de peças em material fundível de modo rápido e flexível. Para a produção de pecas fundidas é necessária a disponibilidade simultânea do modelo de areia, de machos e de metal liquido. Como a preparação da areia e a fusão do metal ocorrem Juntamente com a produção dos moldes. Existe o problema de se ajustar no tempo, quantitativa e qualitativamente a oferta e a demanda de metal e areia além do fornecimento necessário dos machos e outros insumos. Com a automatização da produção, chegou-se à linha automática de moldagem, que unifica as operações de fazer o Molde, vazar o metal e desmoldar a peça numa só instalação com alta produtividade e. de preferência, com flexibilidade. O aumento da quantidade de dados e a necessidade de processá-los rapidamente demandam um desenvolvimento correspondente na Programação de Produção. Um apoio computacional ao programador de produção fornece um instrumento para estabelecer um programa viável que respeite os prazos e quantidades de entrega e as capacidades da fusão e da macharia. Esta tese tem como objetivo apresentar um protótipo de um Sistema de Apoio Computacional à Programação de Produção em uma Linha Automática de Moldagem baseado em técnicas de simulação integrado a um banco de dados. No final deste exemplar, encontra-se um disquete de demonstração com o sistema desenvolvido / Abstract: The manufacturing process of casting allows a fast and flexible shaping. To produce a casting, the pattern, the sand, the cores and the melten metal must be readily available. Since the sand preparation and metal melting occur simultaneously with lhe production of moIds, there exists lhe problem of tuning in time, in quantity and quality the offer and demand of sand and metal, besides providing the necessary cores and other resources. With the technological improvements, the automatic molding line came up. It unifies the operations of mold making, metal pouring and shakeout in a unique installation with high productivity and preferable flexibility. The increased data added to the need of processing them quickly must be accomplished with a corresponding development in production planning and scheduling. A computer aid to the production scheduler provides a tool for establishing a feasible schedule thal takes into account the ordered quantities and deadlines subject to the capacities of the coreshop and the melting facilities. This thesis presents a prototype system for Computer Aided Production Scheduling for an automatic molding line based on simulation techniques and integrated to a database. At the end of this copy there is a demonstration diskette with the system developed. / Mestrado / Mestre em Engenharia Elétrica

Orientadores : Fernando A.C. Gomide, Keneth Loparo / Tese (doutorado) - Universidade Estadualde Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T00:26:14Z (GMT). No. of bitstreams: 1 Teixeira_EdilbertoPereira_D.pdf: 8393972 bytes, checksum: e7386ddbfefb0a68559f5403af21eb30 (MD5) Previous issue date: 1991 / Resumo: Esta tese apresenta um método para se controlar sistemas não lineares por meio de um esquema adaptativo implementado através de rede neurais artificiais. Para uma classe específica de sistemas, são apresentadas as condições necessárias para se ensinar o mapeamento de entrada-saída a uma rede neural treinada pela regra delta generalizada. Apresenta-se também neste trabalho, um método de linearização por realimentação, usando-se redes neurais. O método pode ser aplicado para sistemas não identificados, de tempo contínuo, discreto ou sistemas amostrados. Os procedimentos para Iinearização por real imentação podem ser realizados off-line ou de forma adaptativa, onde os pesos da rede neural são ajustados durante a operação normal do sistema. No esquema proposto, duas redes neurais são ajustadas em dois estágios diferentes. No primeiro estágio, o sistema não linear é excitado várias vezes para ensinar a dinâmica inversa do sistema a uma rede neural. No segundo estágio, o sistema é novamente excitado para treinar uma segunda rede neural com os sinais que controlam o sistema na forma desejada / Abstract: This thesis presents an approach for controlling a nonlinear system using an adaptive scheme implemented through neural networks. For a class of systems. necessary conditions for teaching the system input-output mapping to a multi-layer neural network trained by the generalized deIta rule are presented. A feedback linearization procedure, using feedforward neural networks, is also introduced in this work. The method can be applied for unknown continuous time systems as well as discrete time or sampled systems. The feedback linearization procedure can be either adaptively accomplished, having the neural network weights adjusted during normal operation of the plant, or in a non adaptive mode, having the weights adjusted off-line. In the proposed scheme, two neural networks are trained in two different stages. In the first stage, the nonlinear system is exclted several times to teach the inverse dynamics of the system to a neural network. In the second stage. the system is again excited several times to train a second neural network with input signals that desired way / Doutorado / Automação / Doutor em Engenharia Elétrica

Orientador: Paulo Cesar Bezerra / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T01:22:51Z (GMT). No. of bitstreams: 1 Maia_LuizFernandoJacintho_D.pdf: 1446856 bytes, checksum: 7b3e043f336c2a37134c20be16f4f16a (MD5) Previous issue date: 1991 / Resumo: o presente trabalho trata de um modelo para o mapeamento de uma realidade em um espaço conceitual normalizado, propondo funções para a observação dessa realidade, para a caracterização de conceitos nesse espaço e para o reconhecimento de objetos como exemplares de conceitos ou de conceitos como aplicáveis a objetos. O sistema descrito pode ser visto como uma rede neural onde as funções de caracterização seriam as funções de transferência neuronais / Abstract: Not informed. / Doutorado / Doutor em Engenharia Elétrica

Orientador : Jose Mario Martinez Perez / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T01:39:21Z (GMT). No. of bitstreams: 1 Ehrhardt_MariaAparecidaDiniz_D.pdf: 3693478 bytes, checksum: c2253866d9e41c9fe77b245c3d0537c2 (MD5) Previous issue date: 1991 / Resumo: Consideramos sistemas de equações não lineares sobredeterminados F(x) = O, F : Rn - Rm, m n. Para "resolver" o sistema, introduzimos uma generalização do método de Cimmino para sistemas lineares, demonstrando, então, resultados de convergência local. Com o objetivo de obter propriedades de convergência global, propomos extensões para o algoritmo inicial. Implementamos computacionalmente cinco algoritmos propostos, para serem aplicados a sistemas grandes e esparsos, e apresentamos experimentos numéricos / Abstract: Not informed. / Doutorado / Doutor em Engenharia Elétrica

Orientador: Vinicius Amaral Armentano / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T03:54:16Z (GMT). No. of bitstreams: 1 Souza_KleberXavierSampaiode_M.pdf: 4239306 bytes, checksum: c60f21c8c87d98f3fc8bb4b96fa98b76 (MD5) Previous issue date: 1989 / Resumo: O planejamento da produção de múltiplos itens com restrições de capacidade consiste na determinação das quantidades a serem produzidas em diferentes períodos de tempo na presença de restrições nos recursos disponíveis. O modelo apresentado neste trabalho inclui um custo de preparação para que esta produção possa ocorrer. A produção dos itens em um dado período é sujeita a limitação nas quantidades de horas regulares e horas extras. Além disso, o nível de produção de qualquer item em um dado período também é limitado. Este problema é resolvido através do método de Decomposição Cruzada, o qual pode fornecer uma solução ótima ou próxima da otimalidade dependendo do tempo computacional disponível. Este método unifica em um único procedimento a Decomposição de Benders e a Relação Lagrangeana / Mestrado / Mestre em Engenharia Elétrica

Orientadores: Secundino Soares Filho, Mario Veiga Ferraz Pereira / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T04:45:56Z (GMT). No. of bitstreams: 1 Kligerman_AlbertoSergio_M.pdf: 5596579 bytes, checksum: 4dd54a1623c0c756a3f51636247b449f (MD5) Previous issue date: 1992 / Resumo: O problema do planejamento da operação energética de médio prazo é determinar estratégias ótimas de geração térmica e intercâmbio entre subsistemas hidrotérmicos. Por ser um problema estocástico e de grande porte, a solução ótima é encontrada por agregação de reservatórios em subsistemas e cálculo das estratégias por Programação Dinâmica Estocástica. Esta técnica, porém, requer a discretização do espaço de estados, o que faz com que o esforço computacional aumente exponencialmente com a adição de novas variáveis de estado. Desta forma, o planejamento da operação hoje utiliza técnicas que, apesar de levar em conta as interligações entre subsistemas, não resolvem o problema de forma ótima. Este trabalho utiliza um método analítico de solução para a formulação da PDE ao problema da operação de subsistemas interligados. Este método é a Programação Dinâmica Estocástica Dual, que é baseado na aproximação iterativa das funções de custo futuro da PDE, através de cortes lineares fornecidos pela solução dual da recursão em cada estágio. É feita a aplicação deste método para os subsistemas Sudeste e Sul, comparando-se seus resultados com a solução obtida pelos modelos atualmente em uso no planejamento da operação do sistema interligado brasileiro / Abstract: The operation planning problem, in the medium term, is to determine the optimal strategy for thermal generation and interchange of energybetween subsystems. For multi-reservoirs hydroeletric systems, this is a stochastic and large-scale problem, and the optimal solution is found only using Stochastic Dynamic Programming. But this method requires the discretization of the state space, and the computational effort increases exponentially with the number of discretized states. Because of this, the operation planning uses techniques that, even taking in account the flow limits between the subsystems, don't solve the problem optimally. This work uses an analytical method for solve the Stochastic Dynamic Programming formulation for the operation-planning problem. This solution approach, called Stochastic Dual Dynamic Programming, is based on the approximation of the expected-cost-to-go functions of stochastic dynamic programming at each stage by piecewise linear functions. These approximate functions are obtained from the dual solutions of the scheduling problem at each stage. This method is then applied to the Southeast-South connected subsystems, and the result is then compared to the solution given by the present1y used model for the brazilian operation planning / Mestrado / Mestre em Engenharia Elétrica

Orientador : Clesio Luiz Tozzi / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T07:18:52Z (GMT). No. of bitstreams: 1 Berardi_PauloCesar_M.pdf: 8111611 bytes, checksum: 0daa0f0d8bcf3bd395f91a58d0139789 (MD5) Previous issue date: 1989 / Resumo: Esta dissertação descreve o projeto e imp1ementação do protótipo de uma placa gráfica, com capacidade local de processamento (processador MC68008) , resolução de 512x380 pixe1s, 16 cores simultâneas escolhidas dentro de um "pal1et" de 4096 cores, e taxa de regeneração de 60 Hz. Mantendo-se a mesma arquitetura e com a utilização de componentes mais atuais, a resolução da placa pode ser expandida para 1024x1024 pixels e 256 cores simultâneas. Foi desenvolvido também um núcleo gráfico, residente em EPROM, para a execução das funções de inicialização, recepção, analise e execução dos comandos. Utilizando a capacidade de processamento da placa gráfica, foram incorporados ao núcleo gráfico primitivas mais complexas como circulos, elipses, textos, bem como todas as funções de gerenciamento de segmentos, janelas (windows) e viewports. Uma das características mais importantes do software desenvolvido é a sua transportabilidade/reusabilidade, que possibilita, pela reescrita de alguns módulos utilitários, sua implantação em ambientes gráficos diversos / Abstract: This dissertation describes the project and implemantation of a graphics board prototype, with local processing capacity (MC 68008 processor), resolution of 512x380 pixels, 16 simultaneous colors from a pallet of 4096 colors, and refresh rate of 60Hz. Using the same architecture with up-to-date components, the reolution can be expanded up to, 1024x1024 pixels with 256 simultaneous colors. A built-in graphics kernel was also developed for the purpose of board initialization and reception, analysis and processing of commands. Using the processing power of the graphics board, more complex primitives were incorporated such as circles, ellipses, text, segmentation, management functions, windows and viewports. One of the main characteristics of the software is its transportability/reusability, which allows its migration to other graphics enviroments with few changes in basic modules / Mestrado / Automação / Mestre em Engenharia Elétrica

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2016. / Made available in DSpace on 2016-09-20T04:16:26Z (GMT). No. of bitstreams: 1 341246.pdf: 1588832 bytes, checksum: 05e70d5bb1b8d0ab56dc03064746981f (MD5) Previous issue date: 2016 / A operação de inversores em paralelo tem se tornado cada vez mais atrativa, já que permite, por exemplo, a formação de micro redes de energia elétrica através de fontes de energia renováveis. No entanto, esse tipo de operação é bastante sensível e exige controladores que garantam o adequado funcionamento do sistema. Diversas técnicas são propostas na literatura, entre elas, as baseadas no droop control. A grande maioria desses trabalhos utiliza modelos de pequenos sinais para análise de estabilidade e projeto do controlador. No entanto, esses modelos possuem limitações. Assim, nos últimos anos começaram a surgir modelos mais precisos, permitindo um estudo mais detalhado de sistemas cujos controladores são baseados no droop control. Uma das técnicas utilizadas são os fasores dinâmicos, que permite a descrição do sistema da perspectiva de grandes sinais. Dessa forma, um modelo baseado em fasores dinâmicos é proposto nesse trabalho, incluindo as principais dinâmicas do sistema. A partir desse modelo, também se projeta um controlador multivariável através de desigualdades matriciais lineares (LMIs), garantindo estabilidade e desempenho do sistema, considerando as incertezas paramétricas no modelo. Simulações emulam um cenário realista, onde os controladores propostos são digitalizados e implementados em dois inversores, os quais estão conectados em paralelo e alimentam uma carga variável. Os resultados de simulação demonstram a precisão do modelo e a eficiência do controlador proposto.<br> / Abstract: The parallel operation of voltage source inverters has become increasingly attractive, as it allows, for instance, microgrids formation through renewable energy sources. Nonetheless, the parallelism of inverters is a quite sensible operation and requires controllers capable of making the system works correctly. Several techniques are found in the specialized literature, among them, the droop control-based ones. Most of these works consider small-signal models to assess stability analysis and control design. However, these models have limitations. Thus, during the last years, more accurate models have been presented, allowing a more detailed study of droop controlled systems. Dynamic phasors are a powerful tool that permits the description of the system behavior from a large-signal perspective. Hence, a dynamic phasor model is proposed in this work, including the system most relevant dynamics. From this model, a controller design methodology based on linear matrix inequality (LMI) constraints is also proposed, and ensures the system stability and performance, taking parametric uncertainties into account. Simulations emulate a realistic scenario, where the controllers are discretized and implemented into two parallel-connected inverters, feeding a variable load. The simulation results show the model accuracy and the controller effectiveness.

Orientador: Paulo Morelato França / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-13T21:48:04Z (GMT). No. of bitstreams: 1 Pureza_VitoriaM.M_M.pdf: 5520851 bytes, checksum: dc03aff16af8a442dbd4125747f19351 (MD5) Previous issue date: 1990 / Resumo: O Problema de Roteamento de Veículos (PRV) consiste basicamente em definir rotas eficientes para uma frota de veículos que deve entregar quantidades de bens a um conjunto de clientes. Vários métodos têm sido propostos para tal tarefa, mas devido ao esforço computacional requerido, problemas de maior porte (50 clientes ou mais) são resolvidos por algoritmos aproximados. Dentre estes algoritmos aproximados, abordamos os métodos de melhoria de rotas. Estes métodos são caracterizados pela geração de uma solução inicial factível, seguida da aplicação de mecanismos de busca que alteram a solução inicial. Estes mecanismos promovem essencialmente a melhoria da função objetivo em direção a um mínimo local. Neste ponto, dada a falta de movimentos de melhoria, o algoritmo pára. Apesar do desempenho excelente deste métod6S, observa-se uma limitação fundamental. Sendo o PRV um problema combinatório e, portanto, não convexo, o ótimo local obtido pode não ser o ótimo global. Conseqüentemente, a qualidade da solução final depende drasticamente da solução de partida. Várias técnicas foram elaboradas com vistas à superação da otimalidade local. A maioria delas recomeça o processo de busca a partir de soluções iniciais diferentes ou atrasa a obtenção do ponto ótimo. Outra maneira de lidar com tais limitações é através da aplicação da estratégia de Busca Tabu. Ao invés de evitar ótimos locais, a Busca Tabu os supera, permitindo assim a continuidade das explorações. Neste trabalho apresentamos um estudo da aplicação da técnica de Busca Tabu ao PRV. Um algoritmo dotado de mecanismos de Busca Tabu foi utilizado para a resolução de vinte problemas caracterizados pela existência (ou ausência) de certas restrições temporais. Procedemos a várias análises do comportamento do algoritmo e comparações com outros métodos heurísticos. Os resultados indicaram ser a BuscaTabu uma ferramenta poderosa na resolução de problemas combinatórios / Abstract: Not informed. / Mestrado / Mestre em Engenharia Elétrica