Este trabalho apresenta uma proposta de modelagem por otimização robusta aplicada ao problema incerto de demanda contratada de potência ativa enfrentado por consumidores de alta tensão tarifados no sistema convencional, e que podem estabelecer contratos de demanda de 30 a 300 kW, inseridos no Pólo Industrial de Manaus - PIM/AM. Os dados utilizados nas análises foram simulados considerando as principais características das curvas de carga de consumidores industriais, sendo propostos sete cenários relevantes, sob critérios de linearidade (linear e não linear), variância (baixa, média e alta) e tendência das curvas (crescente, decrescente e constante), nos quais o modelo de otimização foi aplicado obedecendo às prescrições da Agência Nacional de Energia Elétrica - ANEEL. Em seguida, foi aplicado o modelo heurístico de otimização robusta resultando na demanda ótima contratada considerando todos os cenários propostos, no período de contrato determinado. Os resultados foram comparados com um método determinístico da demanda contratada em cada cenário, e mostraram que, com exceção de apenas um entre sete cenários, o modelo heurístico com a otimização robusta foi melhor que o modelo de contratação determinístico.

Sistemas de workflow estão se tornando líderes de mercado na modelagem de regras de negócios das organizações. Contudo, eles ainda carecem de uma série de definições e padrões que sejam amplamente aceitos. Tais carências refletem-se nas técnicas atuais de modelagem de workflow, onde muitos conceitos existentes em um modelo são representados de forma completamente diferentes em outros ou, até mesmo, não existem. A partir de um levantamento realizado sobre os requisitos de modelagem de workflow, verificou-se que os modelos conceituais de workflow, hoje existentes, não atendem a todos os requisitos considerados essenciais para a modelagem da realidade dos processos de negócios. A identificação dos elementos de representação que devem existir em um modelo de processo para representar estes requisitos, o detalhamento das informações que devem ser levantadas durante a modelagem do processo para representar toda a realidade dos processos de negócio e o desenvolvimento de um modelo de processos que apresente estes elementos de representação são o objeto desta dissertação de mestrado. / Workflow systems are becoming the most important tools for business rules modeling. However, workflow systems still lack widely accepted definitions and standards. This is reflected in the difference among existing workflow modeling techniques. Many times the same modeling concept is represented in very different ways in different models or is even absent in some of them. Workflow modeling requirements were evaluated and it became clear that the existing workflow conceptual models do not offer all the essential resources needed to model real business processes. The main goals of this work are: to identify the representation elements needed to express such requirements; to define all the information that has to be gotten during process modeling in order to represent to whole business process reality; to propose a process model that presents these representation elements.

Sistemas de workflow estão se tornando líderes de mercado na modelagem de regras de negócios das organizações. Contudo, eles ainda carecem de uma série de definições e padrões que sejam amplamente aceitos. Tais carências refletem-se nas técnicas atuais de modelagem de workflow, onde muitos conceitos existentes em um modelo são representados de forma completamente diferentes em outros ou, até mesmo, não existem. A partir de um levantamento realizado sobre os requisitos de modelagem de workflow, verificou-se que os modelos conceituais de workflow, hoje existentes, não atendem a todos os requisitos considerados essenciais para a modelagem da realidade dos processos de negócios. A identificação dos elementos de representação que devem existir em um modelo de processo para representar estes requisitos, o detalhamento das informações que devem ser levantadas durante a modelagem do processo para representar toda a realidade dos processos de negócio e o desenvolvimento de um modelo de processos que apresente estes elementos de representação são o objeto desta dissertação de mestrado. / Workflow systems are becoming the most important tools for business rules modeling. However, workflow systems still lack widely accepted definitions and standards. This is reflected in the difference among existing workflow modeling techniques. Many times the same modeling concept is represented in very different ways in different models or is even absent in some of them. Workflow modeling requirements were evaluated and it became clear that the existing workflow conceptual models do not offer all the essential resources needed to model real business processes. The main goals of this work are: to identify the representation elements needed to express such requirements; to define all the information that has to be gotten during process modeling in order to represent to whole business process reality; to propose a process model that presents these representation elements.

Sistemas de workflow estão se tornando líderes de mercado na modelagem de regras de negócios das organizações. Contudo, eles ainda carecem de uma série de definições e padrões que sejam amplamente aceitos. Tais carências refletem-se nas técnicas atuais de modelagem de workflow, onde muitos conceitos existentes em um modelo são representados de forma completamente diferentes em outros ou, até mesmo, não existem. A partir de um levantamento realizado sobre os requisitos de modelagem de workflow, verificou-se que os modelos conceituais de workflow, hoje existentes, não atendem a todos os requisitos considerados essenciais para a modelagem da realidade dos processos de negócios. A identificação dos elementos de representação que devem existir em um modelo de processo para representar estes requisitos, o detalhamento das informações que devem ser levantadas durante a modelagem do processo para representar toda a realidade dos processos de negócio e o desenvolvimento de um modelo de processos que apresente estes elementos de representação são o objeto desta dissertação de mestrado. / Workflow systems are becoming the most important tools for business rules modeling. However, workflow systems still lack widely accepted definitions and standards. This is reflected in the difference among existing workflow modeling techniques. Many times the same modeling concept is represented in very different ways in different models or is even absent in some of them. Workflow modeling requirements were evaluated and it became clear that the existing workflow conceptual models do not offer all the essential resources needed to model real business processes. The main goals of this work are: to identify the representation elements needed to express such requirements; to define all the information that has to be gotten during process modeling in order to represent to whole business process reality; to propose a process model that presents these representation elements.

Made available in DSpace on 2014-06-12T16:00:27Z (GMT). No. of bitstreams: 2 arquivo6667_1.pdf: 4486220 bytes, checksum: 12f9d7ae524dfef9c8c996536bd139ef (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007 / O gerenciamento da cadeia de suprimentos é uma atividade de suma importância para o sucesso de empresas de manufatura. Dentre outras atividades, destacam-se o controle de estoques e da distribuição dos produtos acabados. Apenas esta última pode ser respon- sável por mais de 50% dos custos logísticos totais. A avaliação de desempenho da cadeia de suprimentos é determinante para que se possa otimizá-la, reduzindo os custos e me- lhorando a qualidade de serviço (QoS). Este trabalho propõe a utilização de componentes pré-definidos com Generalized Stochastic Petri Nets (GSPN), permitindo a modelagem de diferentes cenários que permitam avaliar a utilização de frota, controle de estoques e índices de QoS. O processo de modelagem do cenário global adota uma abordagem bottom-up através da composição destes modelos pré-definidos. Uma metodologia para a avaliação de desempenho das cadeias de suprimento é proposta em conjunto com a ferra- menta Stochastic Logistics Optimizer Tool (SLOT), com o intuito de auxiliar os processos de modelagem e avaliação. Assim, a partir de um processo de modelagem, baseado em modelos de alto nível, obtém-se de maneira automatizada uma GSPN que pode ser uti- lizada para avaliar a cadeia de suprimentos modelada. Por fim, são apresentados alguns estudos de caso. O primeiro foi realizado com o intuito de validar os modelos propostos através da modelagem e avaliação do Jogo da Cerveja. Em seguida, apresenta-se alguns estudos de caso realizados na São Mateus Frigorífico, uma indústria de embutidos que atua no norte-nordeste brasileiro

Neste trabalho discute-se o problema de modelagem dinâmica não-linear e o controle de turbinas a gás. O processo de modelagem leva em consideração as peculiaridades dos componentes básicos deste tipo de motor: compressor, câmara de combustão e turbina. Cada subsistema é estudado e depois integrado para compor um modelo não-linear de uma turbina a gás. O objetivo do sistema de controle projetado é regular a rotação do eixo, após solicitação de carga ao sistema, respeitando limites de esforço de controle e temperatura de operação da turbina. O modelo do compressor é baseado no trabalho de Gravdahl e Egeland e, basicamente, refere-se ao modelo de Moore-Greitzer para sistemas de compressão axiais, considerando a dinâmica de eixo nas equações. O modelo termodinâmico de câmara de combustão incorpora as equações de balanço de energia e de massa, utilizando o metano (CH4) como combustível. O modelo de turbina representa apenas a transformação da temperatura e vazão mássica do fluido de trabalho, em potência transmitida ao eixo. A função do controlador é regular a velocidade de rotação, sujeita a uma perturbação de carga, e, simultaneamente, respeitar a capacidade dos atuadores e os limites físicos construtivos do motor, evitando danos permanentes. Para isto são avaliadas diferentes estratégias de controle. A primeira diz respeito à injeção de combustível na câmara de combustão como variável de controle, a segunda usa injeção de ar com temperatura controlada e a terceira discute o problema multivariável e incorpora, à injeção de combustível, o controle do IGV (inlet guide vanes) que se refere à variação de geometria do compressor permitindo, assim, melhor regulação. Os parâmetros do controlador, para tanto, são ajustados por meio de técnicas de otimização não lineares (Nelder-Mead). Para permitir que modificações de parâmetros, estrutura de simulação e técnicas de integração sejam feitas de forma mais rápida e intuitiva, a estrutura modular é implementada em ambiente MATLAB/SIMULINK.

Esta tese aplica técnicas de modelagem e simulação de sistemas a eventos discretos no ciclo de desenvolvimento do produto aeronáutico. As técnicas de simulação discreta consistem um recurso flexível para análise de soluções em apoio aos processos de negócio do ciclo de desenvolvimento do produto aeronáutico, por meio da comparação de cenários produtivos, análise do impacto de modificações e da criação de novos processos. Entretanto, a escolha do método de modelagem, da ferramenta de simulação e das condições para utilização de cada técnica não são triviais e impactam não apenas nos resultados obtidos mas no esforço requerido para execução da simulação. Neste âmbito, este trabalho propõe um método para execução de projetos de simulação discreta. Em seguida, analisa-se a aplicabilidade de duas abordagens de modelagem e simulação discretas nas diversas fases do ciclo de desenvolvimento do produto aeronáutico por meio de exemplos de projetos de simulação discreta em cada fase. Analisa-se comparativamente a simulação orientada a eventos, considerando em particular o uso de redes de Petri, e a simulação orientada a processos, baseada em redes de filas, considerando em particular o uso da ferramenta comercial de simulação discreta, QUEST. Por meio deste trabalho, pretende-se contribuir para a utilização eficiente de ferramentas de simulação à eventos discretos, por parte das as empresas do setor aeronáutico.

A tecnologia e as técnicas de desenvolvimento web têm permitido a publicação e manutenção de documentos envolvendo um grande número de usuários finais. Existem abordagens para edição colaborativa de documentos, contudo elas não endereçam a edição de documentos grandes realizada por um grande número de usuários. Não existe um modelo de especificação que permita a adoção de abordagens sistemáticas para automatizar as atividades de construção dos ambientes de edição colaborativo hierárquico. Assume-se que um modelo requer a estruturação dos usuários em grupos e a definição de organização de documentos de forma hierárquica para que a sua elaboração possa ser gerenciável. Este trabalho propõe um modelo para editor colaborativo hierárquico de grandes documentos e que envolve um grande número de usuários usando técnicas de controle de acesso baseado em papéis (RBAC) e de fluxo de trabalho. Um ambiente de edição colaborativa hierárquica foi construído com intuito de subsidiar a modelagem. Uma avaliação da implementação com respeito à dificuldade de construção também é apresentada.

Sistemas manipuladores flexíveis apresentam muitas vantagens sobre os sistemas tradicionais (manipuladores com braço rígido). No entanto, sua utilização em diversas áreas industriais não tem sido favorecida devido às dificuldades no controle destes manipuladores flexíveis. Esta tese apresenta um estudo teórico da modelagem e caracterização de um sistema manipulador com dois elos flexíveis. O produto desta modelagem, obtida através do Maple é usado para simular o sistema manipulador com dois elos flexíveis no software do MATLAB. Os resultados práticos são obtidos a partir da montagem experimental em conjunto com o software do dSPACE e do MATLAB, estes programas são utilizados para tratamento dos sinais coletados da planta. Após a obtenção dos resultados teóricos e experimentais é feita uma análise comparativa não paramétrica com o objetivo de verificar a precisão associada ao modelo não paramétrico obtido na teoria. A modelagem do sistema é baseada no método dos modos assumidos, obtendo-se os dois primeiros modos de vibração para os dois elos flexíveis utilizados no experimento.

O mercado da aviação comercial encontra-se em constante expansão, acompanhado o crescimento do PIB mundial. A operação de aeronaves comerciais é bastante restritiva do ponto de vista da segurança. Como forma de aumentar a segurança operacional, especialmente em condições climáticas críticas, cada vez mais aeronaves comerciais vêm utilizando sistemas automáticos de controle - dentre estes, sistemas de pouso - CAT I, II e III. Sistemas CAT III realizam o procedimento de pouso desde a aproximação até a quase parada completa da aeronave. O objetivo deste trabalho é estudar alguns modelos de esforços que agem sobre a aeronave em solo e em seguida propor um modelo simplificado. De posso deste modelo, inicia-se então o projeto de dois algoritmos de controle robustos o suficiente para realizar o controle da posição lateral da aeronave em relação ao centro da pista de pouso para diversos pesos de pouso. De posse do sistema em malha fechada, são então realizadas algumas simulações e os seus resultados são discutidos.