Tese (doutorado) - 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 2017-02-14T03:04:11Z (GMT). No. of bitstreams: 1 343947.pdf: 5026897 bytes, checksum: 912665a769b3156524e4985cb94e102c (MD5) Previous issue date: 2016 / Introdução. Sistemas multiagente abertos requerem algum tipo de regulação para conciliar a atuação autônoma dos agentes com os objetivos globais do sistema. Normas são uma forma usual de expressar os requisitos de regulação nesse tipo de sistema e são normalmente especificadas em termos abstratos que podem ser vistos como uma interpretação dos elementos concretos que compõem o sistema, os quais fazem parte do ambiente em um sistema multiagente. Por exemplo, em uma norma especificando que clientes são obrigados a pagar por suas compras, agentes podem ser considerados clientes e depósitos bancários podem ser considerados pagamentos. Esses conceitos abstratos fazem parte da realidade institucional das sociedades de agentes. Essa realidade não é composta, mas constituída a partir dos elementos existentes no ambiente. Por exemplo, um agente atuando no ambiente pode constitutir um cliente na realidade institucional. Para que a regulação especificada pelas normas possa ser baseada na realidade institucional, é necessário haver meios para especificá-la, definindo sua constitutição a partir do ambiente. Objetivos. O objetivo desta tese é propor um modelo de realidade institucional, constitutída a partir do ambiente, para suportar a regulação especificada pelas normas em sistemas multiagente. Para atingir esse objetivo, toma-se, como inspiração, a teoria do filósofo John Searle, que observa que, nas sociedades humanas, a realidade institucional existe devido à concordância coletiva de que alguns elementos existentes no mundo contam como elementos da realidade institucional. Por exemplo, concorda-se que cédulas de papel com determinadas características contam como dinheiro. Para atingir o objetivo desta tese, é necessário definir quais são as abstrações utilizadas para representar a realidade institucional em instituições artificiais, bem como definir como a heterogeneidade dos elementos do ambiente é capturada pela realidade institucional, definindo ainda como as normas, que podem ser concebidas de diferentes maneiras, podem ser acopladas em uma representação unificada de realidade institucional. Contribuições. Esta tese propõe um modelo de realidade institucional para suportar a regulação em sociedades de agentes, definindo suas representações bem como sua dinâmica, que é consequência da dinâmica do ambiente. Essa realidade institucional é representada através de status functions, que são funções atribuídas pela instituição a agentes atuando, eventos ocorrendo e estados vigorando no ambiente. A partir desse modelo, define-se uma linguagem para especificar a realidade institucional. Além disso, define-se como as normas, da forma em que são propostas na literatura, baseiam sua regulação nessa realidade institucional ao fazerem referência às status functions. Esses elementos permitem conceber um modelo de instituição artificial, chamado SAI (de Situated Artificial Institution ou Institução Artificial Situada), em que é possível especificar a realidade institucional para suportar a regulação provida por normas que seguem diferentes modelos normativos. A partir desse modelo, propõe-se a arquitetura de uma plataforma para execução dessas instituições em sistemas multiagente. O modelo proposto é avaliado através de exemplos de aplicações e, quando possível, comparado com outras propostas de modelos institucionais. Conclusões. O modelo de realidade institucional proposto concebe abstrações apropriadas para a representação desse aspecto social dos sistemas multiagente. A partir desse modelo, é possível conceber instituições artificiais em que a regulação é baseada em uma realidade institucional constituída a partir do ambiente. Tem-se, assim, instituições em que regulação e realidade institucional são desacopladas porém coerentemente conectáveis.<br> / Abstract : Open Multi-Agent Systems require some regulation to conciliate the autonomy of the agents with the overall goals of the system. Norms are a usual way to express the regulative requirements in this kind of system and are usually specified in abstract terms that can be seen as an interpretation of the concrete elements composing the system. For example, in the norm ``buyers are obliged to pay for their purchases'', agents can be seen as buyers and bank transfers can be seen as payments. These abstract concepts, such as buyers and payments, refer to elements belonging to the institutional reality in a society of agents. Such reality is not composed, but constituted from the elements existing in the environment where the agents act. This thesis proposes a model of institutional reality to base the regulation of agent societies, defining its representations as well as its dynamics, that is constituted from the dynamics of the environment. From this model, it is defined a language to design the institutional reality. Furthermore, it is defined how the norms, as conceived by the literature, can base their regulation on this institutional reality. These elements enable us to conceive a model of artificial institution called SAI (from Situated Artificial Institution), that considers both the institutional reality and norms, that can follow different normative models. From this model, it is proposed a platform architecture to deploy these institutions in Multi-Agent Systems. The proposed model is evaluated through application examples and, when possible, compared with other proposals of institutional models.

Orientador: Jose Vitorio Zago / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-14T09:58:26Z (GMT). No. of bitstreams: 1 Datta_Karabi_D.pdf: 2135928 bytes, checksum: 357ce682426ee39b78474f38dc201fc3 (MD5) Previous issue date: 1980 / Resumo: Não informado. / Abstract: Not informed. / Doutorado / Doutor em Ciências

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:09:11Z (GMT). No. of bitstreams: 1 341416.pdf: 5625770 bytes, checksum: 82d482f8df04bccca9ea289aeb91118f (MD5) Previous issue date: 2016 / Este trabalho apresenta duas contribuições ao controle de sistemas multivariáveis com atraso empregando estruturas de compensação de atraso: (i) uma avaliação teórico-experimental de diferentes técnicas de desacoplamento para facilitar o projeto do controlador primário e (ii) a generalização para o caso multivariável de uma técnica de sintonia automática ótima para o filtro de robustez da estrutura de predição. Os desenvolvimentos foram realizados tomando como base o preditor de Smith filtrado, tanto na estrutura de compensação total dos atrasos do modelo da planta quanto na de compensação dos atrasos efetivos por saída, e foram validados através de simulações em processos industriais extraídos da literatura. Como principal resultado da avaliação das técnicas de desacoplamento, tem-se a prova de que é impossível a aplicação de desacopladores para que se tenha uma compensação total dos atrasos da planta no modelo rápido e ao mesmo obter uma predição da saída do processo para o caso geral de sistemas lineares, invariantes no tempo e multivariáveis com atraso. Mostrou-se ainda que o melhor cenário para o desacoplamento ocorre com a compensação dos atrasos efetivos por saída, visto que para uma grande classe de sistemas é possível desacoplar tanto o modelo rápido quanto a saída completa do sistema com o mesmo desacoplador. Como resultado da segunda linha de estudo, tem-se a proposta de um procedimento que considera o grau de incertezas do modelo multivariável, estimado em tempo de execução, para ajustar o filtro de robustez de forma ótima para garantir a melhor resposta de rejeição de perturbações que ao mesmo tempo garanta estabilidade robusta.<br> / Abstract : This dissertation presents two contributions to the control of multivariablesystems with multiple delays using dead-time compensationstructures: (i) a theoretical and experimental evaluation of dierentdecoupling techniques to facilitate the design of the primary controllerand (ii) the generalization to the multivariable case of an optimal automatictuning procedure for the robustness lter of the prediction structure.The developments were carried out considering both approachesof the ltered Smith predictor: the complete time-delay compensatingstructure, and the eective output-delay compensating structure.The developments were validated through simulations in industrial processesextracted from literature. The main result of the evaluation ofdecoupling techniques is a proof that the application of decoupling isimpossible for one to have an overall compensation of delays in thefast model and even get the outputs forecast of the process for thegeneral case for linear time-invariant systems with multiple delays. Italso showed that the best scenario for the decoupling occurs with theeective output delay compensation, whereas, for many systems it ispossible to decouple both, the fast model and the full output systemwith the same decoupler. As a result of the second line of study, thereis the proposal for a procedure that considers the degree of uncertaintyin the multivariable model, with online estimation, to optimally tunethe of robustness lter to ensure better disturbance rejection responsewith guaranteed robust stability.

Orientador: Secundino Soares Filho / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-13T22:53:06Z (GMT). No. of bitstreams: 1 Lobo_ReginaMariaPimenteldeOrtigoza_M.pdf: 15743222 bytes, checksum: 1ddbfceb786c1c8d549dd0c9b7743e69 (MD5) Previous issue date: 1991 / Resumo: Um importante subsídio para a programação da operação de um sistema de potência é a disponibilidade de uma estimativa da carga desse sistema dentro do horizonte de programação. Esse trabalho tem como objetivo a descrição das principais técnicas de análise e previsão de séries temporais, do ponto de vista de sua aplicação à demanda horária de energia elétrica. No Capítulo II, são apresentadas as técnicas mais usuais na previsão de séries temporais. Modelos bastante freqüentes para a previsão da carga horária são os que separam a carga em um componente determinístico, ou carga padrão, e um componente estocástlca, ou carga residual. Entre as técnicas utilizadas para determinação a prlorl do valor da carga, destacam-se o alisamento exponencial, as médias móveis e a anáIise harmônica. A previsão da carga residual pode ser feita com modelos ARIMA e por modelos de regressão carga-clima, entre outros ... Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: A significant support to the operation scheduling of a power system is the avaliablity of a reilable estimation of the system load along the short term operation horizon. The objective of this work is to describe the main techniques for analysis and forecasting of time serles, from the viewpoint of its application to the hourly demand of electric energy. In Chapter II, some of the most usual techniques for time series prediction are shown. Quite common models in short-term load forecasting are those that decompose series into a deterministic component, or standard load, and a stochastic component, named residual load. Exponential smoothing, movlng averages and harmonic analysis, could be mentioned among the techniques applied to the previous determination of the standard load. Forecasts of the residual load can be made by ARIMA models and by climatlc regression models, among others ... Note: The complete abstract is available with the full electronic digital thesis or dissertations / Mestrado / Mestre em Engenharia Elétrica

Orientador : Anilton Salles Garcia / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-13T23:28:16Z (GMT). No. of bitstreams: 1 Bortolon_Saulo_M.pdf: 13042625 bytes, checksum: 1011849b8531dc3bf1ed1cb6801315e6 (MD5) Previous issue date: 1990 / Resumo: A rede de troncos é a parte da rede telefônica responsável pela interligação física entre as centrais de uma área local. As metodologias de planejamento desta rede sempre foram objeto de intensos estudos, devido aos altos custos envolvidos e à influência das dimensões da rede de troncos na qualidade do serviço oferecido ao usuário. Com a digitalização da comutação e transmissão telefônicas multiplicaram-se as opções para a engenharia da rede. Os sistemas de transmissão digital de alta capacidade (sistemas de alta hierarquia) com características de custos muito diferentes dos tradicionais analógicos, permitem a obtenção de grandes economias de escala. Esta evolução não tem sido acompanhada pelas técnicas de planejamento da rede, de tal forma que muitas simplificações adotadas em metodologias anteriores deixaram de ser admissíveis. Assim, é necessário reavaliar as ferramentas computacionais disponíveis para auxílio do planejador, especialmente com a implantação da Rede Digital de Serviços Integrados (RDSI). Neste trabalho, apontam-se as principais influências da digitalização sobre o processo de planejamento da rede de troncos, e em especial, sobre o problema de Planejamento do Roteamento de Troncos através da malha de meios de transmissão instalada na rede de galerias. É proposta uma nova metodologia de roteamento, considerando as economias de escala permitidas pelos sistemas de alta hierarquia, a modularidade dos equipamentos de transmissão disponibilidade de sistemas já instalados na rede. É adotada uma abordagem estática (cross-section). Esta é apropriada a estudos de planejamento a curto prazo, podendo também ser utilizada como subproblema na definição de planos de longo prazo. Nesta nova metodologia empregam-se ferramentas de Programação Linear e digital e a Heurísticas que fornecem uma solução quase-ótima para a expansão da rede de troncos. Consegue-se também um limitante inferior para o custo da solução ótima, o que auxilia a avaliação dos resultados obtidos. Finalmente, para permitir a aplicação desta metodologia em redes de grande porte, apresenta-se um algoritmo para o cálculo em do Fluxo de Custo Mínimo em Redes Hulti-Produto, com Critério Linear-por-Partes / Abstract: The local area inter-office trunking network implements physical interconnection between distant users. The planning the and design of this network has been intensively studied, searching for smaller costs and higher quality of service. The digital technology presents many options for network engineering, thus complicating the hole planning problem, although it also offers oportunities for lowering costs. Those oportunities come from the economies of scale made possible by the high capacity digital telecommunication systems. The trunking network planning methodologies have not accomplish this evolution, leading to inacceptable simplifications, trunking network planning The problem of trunk This work points the main effects of the transmission network Is studied in detail. It is methodology that considers the modularity and availability of digital systems. The proposed model considers the digital hierarchies of 2 34 and 140 Megabits per second (1st, 3nd and 4th hierarchies according to CCITT). It is adopted a cross-section (static) approach, sufficient for short-term problems. The developed methodology utilizes Linear and Heuristic Programming techniques, resulting in good solutions for network expansion. It also presents a lower bound to the minimum-cost to solution. A primal algorithm to determine the minimum cost flow in multicommodity networks is discussed. It considers the special structure of the optimization problem and do not require special inverse matrix calculations. These characteristics make it possible to solve large networks using small computers / Mestrado / Mestre em Engenharia Elétrica

Orientadores: Beatriz Mascia Daltrini, Fuad Gattaz Sobrinho / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-17T07:56:35Z (GMT). No. of bitstreams: 1 Evangelista_SilvioRobertoMedeiros_M.pdf: 10772327 bytes, checksum: 1478c0ba60ef062037c510a980fa9ca3 (MD5) Previous issue date: 1992 / Resumo: Este trabalho tem por objetivo desenvolver e implementar um modelo para abstraçao funcional de programas, a qual é definida nesta pesquisa como a precisa determinação do efeito de um programa sobre as suas variáveis em todas as situações possíveis. O modelo de abstração funcional proposto é fundamentado na segmentação do programa alvo em termos de suas variáveis relevantes para abstração, na sua decomposição em primos, na simplificação algébrica dos comandos de decisão do programa, na execução simbólica e no uso das técnicas de "Trace-Table" e de resolução das relações de recorrência em iteraçues. Este modelo de abstração é validado e consolidado através da implementação de uma ferramenta que utiliza o código fonte como única fonte de informação, gera uma forma intermediária do programa para facilitar a atividade de abstração, segmenta o programa em função de suas variáveis relevantes para abstração, decompõe o primos e sintetiza cada um dos primos,segmento encontrado em programas Este trabalho contribuiu para a definição de um modelo de abstração funcional promissor em relação ao seu potencial de automatização, bem como à sua aplicabilidade / Abstract: Not informed. / Mestrado / Automação / Mestre 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-19T08:15:24Z (GMT). No. of bitstreams: 1 Toledo_FranklinaMariaBragionde_M.pdf: 3283814 bytes, checksum: 75477853f87d84900868ada921f6a858 (MD5) Previous issue date: 1994 / Resumo: O problema de dimensionamento de lotes abordado neste trabalho consiste em planejar a produção de múltiplos itens em uma única máquina ao longo de um horizonte de tempo finito. O objetivo do problema é determinar um plano de produção de mínimo custo, que seja capaz de atender à demanda pelos itens, sem violar as restrições de capacidade de máquina. O modelo considerado inclui custos e tempos de preparação de máquina e é representado como um problema de fluxo de custo mínimo em uma rede generalizada. Um método ótimo baseado na técnica ranch-and-bound é utilizado para sua resolução / Abstract: The lot-sizing problem consideredin this work consists in planning the production of multiple items in a single machine over a finite horizon. The objective of the problem is to determine a minimum cost production plan that meets forecast demand for the items. The model considered here includes setup time and setup cost, and is represented as a minimum cost flow in a generalized network. A branch-and-bound method is developed for solving this problem / Mestrado / Mestre em Engenharia Elétrica

Este trabalho tem por objetivo utilizar engenharia de sistemas para a elaboração de planejamento estratégico organizacional. Os processos de planejamento estratégico, tático e operacional tradicionais concentram-se em três tipos de stakeholders: os acionistas, os clientes e os competidores da organização. Além disso, as métricas derivadas desse processo, dificilmente são desdobradas até as habilidades dos grupos de pessoas e indivíduos da organização. Este trabalho tem por motivação principal aproveitar essas duas oportunidades, escopo e profundidade. Assim, utiliza-se uma abordagem sistêmica para ampliar o escopo do planejamento estratégico, ao mesmo tempo que é proposto o aprofundamento da definição das métricas organizacionais em direção a competência requerida das pessoas. O planejamento estratégico carece de ferramentas para dar forma às estratégias após definidos os objetivos estratégicos. Essas ferramentas, por outro lado, são a essência da engenharia de sistemas. Com isso, a integração entre engenharia de sistemas e planejamento estratégico organizacional pode ser vista como um grande ganho para a comunidade empresarial. Foi desenvolvido um método para aplicação da abordagem de engenharia de sistemas no planejamento estratégico organizacional e, também, foi demonstrado que utilizando-se dessa abordagem, o seu resultado final será melhor do que o resultado obtido com a aplicação dos métodos tradicionais, como pôde ser visto nos três casos estudados (HDM Premier, Aços Villares e INPE). Conclui-se, neste trabalho, que é possível a utilização de uma abordagem de engenharia de sistemas para a elaboração do planejamento estratégico organizacional e, infere-se, que o modelo proposto nesta pesquisa, é adequado para auxiliar a elaboração do planejamento estratégico organizacional.

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, 2010 / Made available in DSpace on 2012-10-24T22:47:39Z (GMT). No. of bitstreams: 0 / Os fluidos extraídos dos poços de produção de petróleo são, em geral, uma composição de óleo, gás, água salgada e sedimentos, onde água e óleo podem formar uma emulsão. Para a indústria do petróleo é de vital interesse conhecer a quantidade de água existente nestes fluidos para poder controlar e melhorar os processos em todas as fases da produção do petróleo. Este trabalho apresenta o desenvolvimento de um sensor para medição da fração de água em dutos, que transportam uma mistura bifásica de água e óleo. O medidor bifásico proposto é baseado em tecnologia de micro-ondas e no princípio físico de ressonância em uma cavidade eletromagnética. A medição da fração de água de um fluxo bifásico é realizada pelo monitoramento da frequência ressonante da cavidade eletromagnética, uma vez que a frequência de ressonância é dependente de vários fatores, entre eles a permissividade relativa do meio. Desta maneira têm-se diferentes frequências ressonantes para diferentes frações de água e óleo. Os campos elétricos dentro da cavidade ressonante foram modelados e simulados utilizando o software HFSS (High Frequency Structure Simulator) da Ansoft. Uma versão industrial deste sensor foi desenvolvida para um duto de escoamento de 3", em que um analisador de rede foi utilizado para detectar os picos de ressonâncias e desta forma inferir a fração de água. Resultados de simulação e experimentais, considerando uma mistura bifásica de água e óleo, permitem avaliar o medidor. Os experimentos foram realizados com misturas de água doce e óleo mineral, água doce e óleo diesel e água saturada de sal e óleo diesel. Inicialmente os experimentos foram executados de forma estática e, posteriormente, um sistema foi construído para a realização de experimentos de forma dinâmica.

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, 2010 / Made available in DSpace on 2012-10-25T05:42:59Z (GMT). No. of bitstreams: 1 279930.pdf: 1262618 bytes, checksum: 2cf90ae268a54e34731d063f99ed5681 (MD5) / Sistemas controlados através de redes de comunicação podem ter o desempenho prejudicado devido aos atrasos ocorridos durante a troca de informações entre os componentes do sistema de controle. Usualmente, o compartilhamento do meio de transmissão faz com que estes atrasos sejam variantes no tempo, tornando difíceis a análise e o projeto de controladores que garantam a estabilidade e performance desejados ao processo. De forma geral, o estudo deste tipo de sistemas está relacionado a diferentes áreas de conhecimento, abrangendo desde teoria de controle até as teorias de sistemas de tempo-real e redes de comunicação. Neste trabalho, são abordadas questões relacionadas ao controle e à estabilidade do sistema em malha fechada, assumindo como requisitos básicos algumas características desejadas quanto ao comportamento temporal do sistema de controle via rede. Assim, considera-se a utilização de mensagens que contenham informações temporais relacionadas aos eventos do sistema. No estudo apresentado, faz-se uso de uma representação matemática na forma politópica adicionada de uma incerteza limitada por norma e de uma função de Lyapunov dependente de parâmetro para demonstração de uma condição de estabilidade do sistema em malha fechada, robusta em relação aos atrasos induzidos pela rede de comunicação. Baseando-se nesta condição, propõe-se um método para projeto de controladores por realimentação de estados com ganhos variantes. Ambos os casos, condição de estabilidade e metodologia de projeto, são descritos em termos de desigualdades matriciais lineares. Exemplos numéricos e simulações são apresentados demonstrando a eficácia dos métodos propostos.