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.

Sistema de apoio à gestão das zonas costeiras: aplicação de um modelo para simulação do crescimento urbano no trecho Ovar-Mira

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Ciência e Sistemas de Informação Geográfica

Análise do mercado de serviços de regulação de frequência secundária e terciária no sistema eléctrico português

Dissertação para obtenção do grau de Mestre em Engenharia Electrotécnica Ramo Energia

Implementação de sistemas para controlo e monitorização de equilíbrio, cinética e dinâmica de adsorção

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 Química e Bioquímica

Utilização de um sistema de informação geográfica na caracterização de áreas de dragagem

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Ciência e Sistemas de Informação Geográfica

Tradução jurídica: o difícil equilíbrio entre direito e competências textuais

A prática e o ensino da tradução jurídica andaram sempre de mãos dadas com a História, sobretudo à medida que foi crescendo a necessidade de regular a sociedade, e em especial desde o desenvolvimento e multiplicação das organizações internacionais depois da Segunda Guerra Mundial e até à globalização actual. Muitos autores reflectiram sobre as competências necessárias para a prática da tradução jurídica que são, simultaneamente, competências jurídicas e competências textuais. Tomando estes dois pontos de partida, o artigo propõe uma reflexão sobre a formação de base para o tradutor jurídico, que privilegia a utilização de documentos autêntico, hoje de acesso muito mais fácil através da internet. Propõem-se além disso exemplos, naturalmente concentrados no mundo jurídico, como demonstração, quer da importância da tradução jurídica e da particular qualificação que exige, quer por outro lado, mais em concreto, das diferentes estratégias de tradução jurídica e das opções a que pode obrigar. Finalmente, acentua-se como instrumentos jurídicos recentes obrigam o Estado português a adequar o seu próprio sistema processual penal a um standard europeu. É o caso da Directiva 2010/64/UE, que manifestamente configura e integra a tradução jurídico como “ferramenta” que em muitos casos pode ser decisiva para a garantia de certos direitos fundamentais.

Modelação da fiabilidade dos geradores das fragatas da classe Vasco da Gama

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

Fiabilidade e gestão soft da manutenção das fragatas da classe Vasco da Gama

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção de grau de Mestre em Engenharia Mecânica

Desenvolvimento de um sistema de medição de distâncias por focagem óptica

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

Estudo de adsorção em leito fixo para o sistema heptano/tolueno/sílica gel usando líquidos iónicos como fase móvel

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

Análise crítica do programa da reforma educativa para o ensino do português LS na 7ª classe em Angola

Dissertação para a obtenção de grau de Mestre em Ensino de Português Como Língua Segunda/ Língua Estrangeira

DECOPT - Sistema para auxilio no projeto de sistemas

Dissertação para obtenção do Grau de Mestre em Engenharia Eletrotécnica e de Computadores

Dimensionamento de um sistema solar térmico para apoio à climatização de 4 edifícios da FCT-UNL

Dissertação para obtenção do Grau de Mestre em Energias Renováveis – Conversão Eléctrica e Utilização Sustentáveis

A arbitragem como alternativa para diminuir a morosidade do sistema judiciário brasileiro

This thesis is about arbitration, a form of alternative dispute resolution, as a solution for the slowness of the Brazilian Judiciary. The paper starts with an approach of the fundamental rights, highlighting their positivation, important to distinguish them from human rights, the four dimensions of the fundamental rights and, lastly, the analysis of their features, emphasizing their characters of complementarity and universality. After, it starts to discourse about the “access to Justice”, an important fundamental right, and, to delimitate the role of the Judiciary and the problems related to solve cases in a reasonable amount of time. Next, it exposes other alternative forms of dispute resolutions that, like the arbitration, can help to the concretization of a faster and more effective Justice. Then, it discusses the historical evolution of the arbitration in Brazil, highlighting the contemporary features of the institute, which were more visible with the ratification of the New York Convention and the promulgation of Law nº 9.307/1996. In addition, it analyses the possible changes that will come with the New Brazilian Procedure Law Code and the PL 7.108/2014, intended to change the current Arbitration Law. It also explains the main arbitration attributes, describing the peculiarities of the arbitral convention, the arbitrator role, and the arbitral award aspects. At least, it lists the main reasons someone should choose arbitration instead the Judiciary, considering the Brazilian Courts reality.

Avaliação do comportamento dinâmico de uma chaminé de equilíbrio

As alterações ao escoamento dão origem a transitórios, caracterizados pela variação temporal da velocidade e da pressão ao longo da conduta. No contexto das instalações hidráulicas é de extrema importância quantificar as pressões máximas e mínimas resultantes do regime transitório para poder proceder ao correcto dimensionamento das condutas e se necessário introduzir dispositivos de protecção do sistema. Neste trabalho estudam-se as chaminés de equilíbrio caracterizando o seu efeito no amortecimento do fenómeno transiente. Para simular numericamente sistemas típicos foi utilizado um código numérico baseado no método das características. As instalações simuladas foram escolhidas de forma a estudar separadamente a influência da área transversal da chaminé, da existência de câmaras e de uma perda de carga. Os resultados obtidos permitiram concluir que o contínuo aumento de área da chaminé deixa de ser viável do ponto de vista económico por não representar um amortecimento significativo das variações de pressão, sendo a inclusão de câmaras de expansão e alimentação na chaminé uma melhor solução. O estudo da perda de carga permitiu propor um método para optimizar a perda de carga simétrica óptima para uma dada instalação. O mesmo tipo de metodologia permitiu obter uma melhor solução por inclusão de perda de carga assimétrica.