Problemas de programação matemática com restrições lineares de equilíbrio

Neste trabalho é desenvolvido um algoritmo enumerativo paramétrico de optimização global para a resolução de Problemas de Programação Matemática com Restrições de Equilíbrio ou de Complementaridade (MPEC). A comparação com outras técnicas globais da literatura é efectuada para um leque variado de problemas, de modo a poder avaliar a eficiência do processo proposto. A utilização de algoritmos de MPEC para a resolução de alguns problemas de optimização global é o outro grande objectivo desta tese. Nesse sentido são introduzidas novas formula¸c˜oes de programas bilineares e lineares complementares como MPECs. São ainda analisadas e discutidas formulaçõess MPEC para o problema de programação linear inteira 0-1, para a determinação do Conjunto Independente Máximo de um Grafo (MIS) e para a estimação do Número de Condição de uma Matriz. Para o problema MIS é desenvolvido um algoritmo de ramificação e limitação, baseado na decomposição de uma função quadrática numa diferença de duas funçõess convexas (DC). Finalmente é introduzida uma técnica MPEC local para a estimação do número de condição com a norma l1 e é estabelecido para matrizes de Minkowski que o número de condição nessa norma pode ser estimado com apenas um sistema de equações lineares. Em todos os desenvolvimentos houve uma grande preocupação em testar as novas formulações e algoritmos com problemas conhecidos da literatura, de modo a aferir da qualidade e interesse dessas propostas.

O controlo da identidade dos sócios das instituições de crédito e das sociedades financeiras

Separata da Revista da Banca nº26 - Abril/Junho 1993

A escolha de uma profissão: liberdades e restrições. Representações de alguns protagonistas - os alunos

Relatório de investigação sobre as escolhas profissionais de jovens do ensino secundário

Incentivos para a conservação da natureza em sítios da rede natura 2000

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia do Ambiente,Perfil Gestão de Sistemas Ambientais

A gestão da informação nos arquivos empresariais portugueses: as instituições financeiras

Dissertação apresentada para o cumprimentos dos requisitios necessários á obtenção do grau de Mestre em Ciências da Informação e Documentação - variante Arquivística

Sincronização da cadeia de valor através da integração da teoria das restrições e produção lean

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Industrial

Simulação de uma linha de produção com elevada variabilidade: uma abordagem Teoria das Restrições/DBR

A exigente corrida pela satisfação do cliente conduziu as organizações a uma generalizada aplicação de metodologias de melhoria contínua. Não obstante, frequentemente as expectativas não são correspondidas, levando ao insucesso destas aplicações. Para solucionar o problema vários autores defendem uma integração entre a Teoria das Restrições, Lean e Seis Sigma, denominada TLS. Ao invés de atacar, simultaneamente, todos os problemas do sistema, as equipas de melhoria devem focar-se nos elementos que impedem a organização de atingir o seu propósito. Nesta integração a Teoria das Restrições fornece o foco na restrição, ao passo que o Lean e Seis Sigma facultam as ferramentas necessárias à implementação da melhoria, através da redução de desperdícios e variação nos pontos de alavancagem do sistema. Na sua aplicação aos sistemas produtivos, o Drum-Buffer-Rope (DBR) é um mecanismo fundamental para lidar com a variabilidade e potenciar o Throughput do sistema. A presente dissertação é baseada na linha de produção da Fábrica de Transformadores Siemens do Sabugo. Recorreu-se à simulação para construir um modelo da linha de produção, identificar as restrições do sistema, verificar o impacto que a variabilidade tem no mesmo, dimensionar os seus recursos e simular as potenciais melhorias da aplicação do DBR. Para obter uma representação fiel do sistema real foi imprescindível observar o sistema, recolher dados correspondentes ao input no modelo e desenvolver uma análise criteriosa dos mesmos. Em linhas com elevada variabilidade decorrente de uma produção por encomenda, a análise do input ganha maior importância. Para tal foi proposta uma metodologia recorrendo a métodos de inferência estatística. Os resultados do estudo indicam as melhorias obtidas com a introdução do DBR na linha de produção e validam a simulação como poderosa ferramenta no apoio à tomada de decisão.

Projeto de desenvolvimento do sistema de contas nacionais financeiras em Moçambique

As Contas Nacionais ocupam uma posição de destaque no conjunto de todas as estatísticas económicas produzidas por um determinado país ou região, pois o sistema no qual assenta a sua produção, estabelece um padrão internacionalmente aceite em termos de conceitos, definições, classificações e metodologias permitindo a comparabilidade entre as várias estatísticas produzidas ao nível nacional e internacional, assim como a adaptação a qualquer país e a harmonização entre os diferentes sistemas estatísticos. No seu cerne está a medição do nível de crescimento e desempenho de uma economia, assim como a determinação da capacidade (+) / necessidade (‐) de financiamento de uma economia A produção das contas nacionais baseia‐se no Sistema de Contas Nacionais das Nações Unidas, cujo objetivo é a medição do nível de atividade económica (produto interno bruto), através do registo dos fluxos e stocks gerados entre os agentes económicos de uma economia, e entre estes e o resto do mundo, com base em padrões e recomendações internacionalmente aceites. O presente trabalho apresenta uma proposta de modelo de produção das estatísticas de contas nacionais financeiras em Moçambique, com vista a completar o modelo atualmente existente que comporta apenas a produção das contas não financeiras. Os resultados apresentados pelo modelo estão organizados em matrizes que resumem as operações financeiras realizadas entre os agentes económicos, onde se cruzam os instrumentos financeiros com os diversos setores institucionais residentes e o resto do mundo enquanto intervenientes nas operações realizadas. Nesse sentido, são apresentados, (i) quadros de património que apresentam o stock de ativos financeiros e passivos existentes num dado momento, assim como o saldo que representa o património líquido, (ii) a matriz “quem a quem” que resume as operações em forma de matriz tridimensional, onde aparecem os instrumentos financeiros e as duas partes intervenientes na operação na qualidade de credor e devedor, e (iii) a matriz de variação de stocks que, para efeitos deste trabalho, é apresentado como proxy da matriz de transações em ativos financeiros e passivos realizados num determinado momento, assim como a poupança financeira.

Sintonização de controladores difusos através de técnicas de optimização não-linear com restrições

A presente dissertação tem como objetivo principal a implementação de uma arquitetura baseada em algoritmos evolutivos para a sintonização dos parâmetros do controlador PID (Proporcional-Integral-Derivativo) difuso, sendo o conceito de desempenho em malha fechada explicitamente tido em conta. A sintonização dos parâmetros do controlador difuso é realizada tendo em conta um problema de otimização com restrições, em que a função de custo a ser minimizada é descrita em termos do desempenho em malha fechada, com a dinâmica do sistema a ser aproximada por um modelo não linear. Como nas metodologias de otimização existentes, a incorporação de mecanismos de adaptação referentes às funções de pertença não é comum, na presente dissertação é tido em conta, para além da usual sintonização dos fatores de escala, a sintonização dos fatores de escala e funções de pertença em simultâneo. Os resultados experimentais realizados num sistema de referência, visam demonstrar os benefícios de incorporar as funções de pertença no processo de otimização em diferido. É também utilizado um método analítico de segunda ordem como referência, por forma a comparar o desempenho de uma abordagem de otimização global contra uma de otimização local. Finalmente é implementada uma abordagem em-linha, usando o método analítico de segunda ordem, na otimização dos fatores de escala e funções de pertença.

Proposta de implementação de cartas de controlo na gestão de projetos pela cadeia crítica

O risco de ocorrência de desvios significativos dos custos orçamentados e de incumprimento dos prazos de execução constituem duas das principais preocupações da gestão de projetos. A derrapa-gem de prazos de projetos é um dos motivos apontados para a falta de competitividade da indústria portuguesa (Tenera, 2012). Estes atrasos, para além de falta de competitividade, podem resultar ainda, por exemplo, em sanções financeiras e perda de confiança dos clientes. Goldratt, em 1997, alertou que as limitações das técnicas clássicas de planeamento e controlo pode-riam estar na origem do não cumprimento dos prazos dos projetos, propondo a aplicação da Teoria das Restrições à gestão de projetos, a Gestão de Projetos pela Cadeia Critica (Critical Chain Project Management - CCPM). A CCPM tem os seus princípios vocacionados para a gestão do tempo e introduz mudanças signifi-cativas na forma como os projetos são geridos, preconizando uma redução nas durações programadas das atividades, para contrariar tendências comportamentais humanas de atrasar a execução das tare-fas, introduzindo ainda estrategicamente reservas temporais agregadas, que procuram proteger o pro-jeto de derrapagens temporais. Um dos principais fatores de diferenciação da CCPM é precisamente a forma de monitorizar os projetos, sendo a Gestão das Reservas (Buffer Management - BM) o prin-cipal mecanismo de gestão do tempo de execução dos mesmos. No presente trabalho foi realizada uma revisão bibliográfica dos conceitos associados à gestão de riscos em geral e em particular à gestão de tempo em projetos, através da CCPM. Estudou-se ainda, a metodologia geral de implementação das cartas de controlo, com o objetivo de se desenvolver um modelo adaptado ao controlo de reservas temporais em projetos. Assim, e de acordo com o estudo realizado, foi proposto, desenvolvido e implementado um modelo, que complementa a gestão clássica de reservas temporais da CCPM com a utilização de cartas de controlo. O modelo proposto foi testado numa empreitada de reabilitação de edifícios, na Marinha Portuguesa, com o objetivo de se avaliar a sua aplicabilidade, as suas vantagens e limitações. No presente trabalho procurou-se propor e implementar um modelo robusto de gestão de reservas na CCPM, com aplicabilidade efetiva à gestão de riscos de derrapagem de prazos de projetos, não só na indústria da construção civil como em projetos de outras áreas. Com a aplicação do modelo proposto num caso de estudo, foi possível concluir o projeto dentro do prazo contratualizado, tendo-se verificado que a implementação de cartas de controlo na BM permi-tiu antecipar a deteção de consumos excessivos das reservas temporais do projeto.

Constraint solving over multi-valued logics - application to digital circuits

Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.

Constraint reasoning for differential models

The basic motivation of this work was the integration of biophysical models within the interval constraints framework for decision support. Comparing the major features of biophysical models with the expressive power of the existing interval constraints framework, it was clear that the most important inadequacy was related with the representation of differential equations. System dynamics is often modelled through differential equations but there was no way of expressing a differential equation as a constraint and integrate it within the constraints framework. Consequently, the goal of this work is focussed on the integration of ordinary differential equations within the interval constraints framework, which for this purpose is extended with the new formalism of Constraint Satisfaction Differential Problems. Such framework allows the specification of ordinary differential equations, together with related information, by means of constraints, and provides efficient propagation techniques for pruning the domains of their variables. This enabled the integration of all such information in a single constraint whose variables may subsequently be used in other constraints of the model. The specific method used for pruning its variable domains can then be combined with the pruning methods associated with the other constraints in an overall propagation algorithm for reducing the bounds of all model variables. The application of the constraint propagation algorithm for pruning the variable domains, that is, the enforcement of local-consistency, turned out to be insufficient to support decision in practical problems that include differential equations. The domain pruning achieved is not, in general, sufficient to allow safe decisions and the main reason derives from the non-linearity of the differential equations. Consequently, a complementary goal of this work proposes a new strong consistency criterion, Global Hull-consistency, particularly suited to decision support with differential models, by presenting an adequate trade-of between domain pruning and computational effort. Several alternative algorithms are proposed for enforcing Global Hull-consistency and, due to their complexity, an effort was made to provide implementations able to supply any-time pruning results. Since the consistency criterion is dependent on the existence of canonical solutions, it is proposed a local search approach that can be integrated with constraint propagation in continuous domains and, in particular, with the enforcing algorithms for anticipating the finding of canonical solutions. The last goal of this work is the validation of the approach as an important contribution for the integration of biophysical models within decision support. Consequently, a prototype application that integrated all the proposed extensions to the interval constraints framework is developed and used for solving problems in different biophysical domains.

Mudança do paradigma energético

O actual estado ambiental e do sistema energético em Portugal leva a que seja necessário adaptar o actual paradigma a uma nova realidade. A introdução das tecnologias de microgeração no sistema eléctrico nacional poderá constituir uma das estratégia a adoptar por forma a promover uma melhoria do actual desempenho energético nacional. No presente trabalho pretende-se identificar os obstáculos que se colocam à exploração do potencial destas tecnologias em Portugal e propor medidas para os ultrapassar. As condições técnicas da actual rede eléctrica nacional permitirão introduzir um volume significativo de microgeração em Portugal (10% a 20% do pico de consumo da rede em baixa tensão). Com o regime bonificado previsto na actual legislação um investimento nas tecnologias como painéis fotovoltaicos e micro-eólicas apresentam um período de retorno de cerca de 6 e 7 anos, respectivamente. No entanto, devido às restrições deste regime de excepção, estas tecnologias poderão representar no máximo cerca de 0,1% do consumo eléctrico nacional em 2010. Dado o potencial de microgeração por explorar, conclui-se que seria possível um maior investimento nestas fontes de energia eléctrica, sem recurso a subsídios estatais, se existisse uma convergência do preço actual de electricidade da rede para um valor real e uma diminuição dos custos de investimento associados a estas tecnologias. Tal poderá ser previsível num horizonte de 5 anos, se a política energética se orientar nesse sentido.