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.

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

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

Cortisol e testosterona no plasma da grávida e no líquido amniótico: variação com o relaxamento e correlação com o rácio digital 2D:4D no recém-nascido

RESUMO: Conclusão - Este estudo sugere que mulheres grávidas beneficiam da prática rotineira de 30 min de relaxamento perante a eminência de um acontecimento indutor de stress. O benefício será tanto psicológico como fisiológico e será mais marcado de manhã do que de tarde. As mulheres com maior tendência ansiosa, tipicamente as mais jovens e com menos idade gestacional, serão as que mais beneficiam. Entre os tipos de intervenção experimentados, todos eles não dispendiosos, a audição de música foi globalmente o mais eficaz para o propósito pretendido. A variação do cortisol e a variação da testosterona estão altamente correlacionadas, e este efeito poderá ser explorado em futuras intervenções relaxantes. Programas curtos de relaxamento poderão conduzir a benefícios para o bem-estar psicológico e para a saúde da grávida, com benefícios adicionais no desfecho da gravidez. O rácio digital 2D:4D do recém-nascido apresenta características sexualmente dimórficas, sendo mais baixo em rapazes que em raparigas, confirmando a influência dos androgénios pré-natais, mas há grande sobreposição entre os sexos pelo que, isoladamente, não pode ser utilizado como marcador de risco. No entanto, se associado a outros marcadores biológicos, como o peso ao nascer e a circunferência cerebral, entre outros, poderá ser um parâmetro a valorizar desde cedo, possivelmente no acompanhamento pediátrico. Nas raparigas, o RD da mãe e a testosterona no LA explicam uma proporção significativa do seu 2D:4D. Em ambos os sexos, o rácio 2D:4D aumenta após o nascimento e o dimorfismo sexual observado com base em amostras de crianças com mais de dois anos de idade, é afectado pela testosterona pós-natal, especialmente no que se refere à mão direita.----------ABSTRACT: Conclusions - This study suggests that pregnant women would benefit from the routine practice of 30min relaxation when at the imminence of a stressful event. The benefit would be both psychological and physiological and would be more pronounced in the morning than in the afternoon. Women tending to be more anxious, typically younger and at a lower gestational age, are the ones that benefit the most. Among the interventions investigated, all being non-expensive and easy to implement, listening to relaxing music was globally the most efficient for the benefit intended. The variation of cortisol and the variation of testosterone are significantly correlated, an association that might be used in future relaxation interventions. It is feasible to conceive short relaxation programs aimed at benefiting psychological well-being and health in pregnancy, with additional benefits for pregnancy outcome. The digital ratio 2D:4D is sexually dimorphic, being lower in males than in females, confirming the influence of pre-natal androgens. There is however large overlap between sexes, rendering the 2D:4D a risk marker not to be used in isolation but rather in association with other markers, like for instance the weight at birth and the head circumference, wherein it may be a relevant parameter for pediatric follow-up. In newborn females, a significant amount of variability in 2D:4D is accounted for by their mother’s digital ratio and AF testosterone. In both sexes, the 2D:4D ratio increases following birth and sexual dimorphism,as assessed from samples of subjects with more than 2 years of age, is affected by post-natal testosterone, especially in what concerns the right hand.

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.

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.

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.

Molecular mobility of n-ethylene glycol dimethacrylate glass formers upon free radical polymerization

Quando um líquido evita a cristalização durante o arrefecimento, diz-se que entra no estado sobrearrefecido. Se a temperatura continuar a diminuir, o consequente aumento da viscosidade reflecte-se na mobilidade molecular de tal maneira que os tempos característicos se tornam da mesma ordem de grandeza que os tempos acessíveis experimentalmente. Se o arrefecimento continuar, o líquido altamente viscoso acaba por vitrificar, i.e. entra no estado vítreo onde apenas os movimentos locais são permitidos. Os monómeros da família n -etileno glicol dimetacrilato ( n -EGDMA, para n = 1 até 4, que constituem o objecto deste estudo, facilmente evitam a cristalização, sendo pois bons candidatos para estudar a mobilidade molecular nos estados sobrearrefecido e vítreo. A Espectroscopia de Relaxação Dieléctrica (DRS) foi a técnica escolhida para obter informação detalhada sobre a sua dinâmica molecular (Capítulos 1 e 2). A primeira parte deste trabalho consistiu na caracterização dieléctrica dos processos de relaxação existentes acima e abaixo da temperatura de transição vítrea (g T ), a qual aumenta com o aumento do peso molecular (w M ), sendo este resultado confirmado por Calorimetria Diferencial de Varrimento (DSC). No que respeita ao processo cooperativo a , associado à transição vítrea, e ao processo secundário b, observa-se uma dependência com w M , enquanto que o outro processo secundário, g , aparenta ser independente deste factor (Capítulo 3). Nos capítulos seguintes, foram levadas a cabo diferentes estratégias com o objectivo de clarificar os mecanismos que estão na origem destas duas relaxações secundárias (b e g ), assim como conhecer a sua respectiva relação com a relaxação principal (a ). Do estudo, em tempo real, da polimerização isotérmica via radicais livres do TrEGDMA por Calorimetria de Varrimento Diferencial com Modulação de Temperatura (TMDSC), levado a cabo a temperaturas abaixo da g T do polímero final, concluem-se entre outros, dois importantes aspectos: i) que a vitrificação do polímero em formação conduz a graus de conversão relativamente baixos, e ii) que o monómero que está por reagir é expulso da rede polimérica que se forma, dando lugar a uma clara separação de fases (Capítulo 4). Com base nesta informação, o passo seguinte foi estudar separadamente a polimerização isotérmica do di-, tri- e tetra-EGDMA, dando especial atenção às alterações de mobilidade do monómero ainda por reagir. Com as restrições impostas pela formação de ligações químicas, as relaxações a e b detectadas no monómero tendem a desaparecer no novo polímero formado, enquanto que a relaxação g se mantém quase inalterada. Os diferentes comportamentos que aparecem durante a polimerização permitiram a atribuição da origem molecular dos processos secundários: o processo g foi associado ao movimento twisting das unidades etileno glicol, enquanto que a rotação dos grupos carboxilo foi relacionada com a relaxação b (Capítulo 5). No que respeita ao próprio polímero, um processo de relaxação adicional foi detectado, pol b , no poly-DEGDMA, poly-TrEGDMA e poly-TeEGDMA, com características similares ao encontrado nos poli(metacrilato de n -alquilo). Este processo foi confirmado e bem caracterizado aquando do estudo da copolimerização do TrEGDMA com acrilato de metilo (MA) para diferentes composições (Capítulo 6). Para finalizar, o EGDMA, o elemento mais pequeno da família de monómeros estudada, além de vitrificar apresenta uma marcada tendência para cristalizar quer a partir do estado líquido ou do estado vítreo. Durante a cristalização, a formação de uma fase rígida afecta principalmente o processo a , cuja intensidade diminui sem no entanto se observarem modificações significativas na dependência do tempo de relaxação característico com a temperatura. Por outro lado, o processo secundário b torna-se melhor definido e mais estreito, o que pode ser interpretado em termos de uma maior homogeneidade dos micro-ambientes associados aos movimentos locais(Capítulo 7).

Sistema de transmissão rádio UWB para amplificação digital de áudio com modulação sigma-delta

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

O ensino da Física em Portugal na sequência da reforma de 1947

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Física Laboratorial, Ensino e História da Física

Implementação de sistema de reutilização de águas residuais urbanas para rega de zonas verdes com elevado contacto humano

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

Finanças locais, actores locais e conservação da natureza e da biodiversidade – aplicação ao Sítio de Monfurado

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