18 resultados para Métodos formais. Desenvolvimento baseado em componentes. Concorrência. Verificação de modelos
Resumo:
A automatização dos processos industriais, onde os acionamentos eletromecânicos representam a sua principal componente, levou à necessidade destes equipamentos funcionarem de forma ininterrupta. No entanto, nenhum acionamento está isento da ocorrência de uma falha, ou de uma combinação de falhas simultâneas, resultando num deficiente funcionamento ou mesmo na sua paragem. Neste contexto, a máquina de indução hexafásica apresenta-se especialmente indicada, pelas vantagens que o aumento do número de fases possibilita, para sistemas que requerem uma elevada disponibilidade. O trabalho apresentado nesta dissertação tem como objetivo principal o estudo da deteção e diagnóstico de falhas num acionamento baseado em máquina de indução hexafásica. A metodologia adotada no trabalho baseia-se no desenvolvimento de um modelo matemático adequado à simulação e análise do funcionamento da máquina hexafásica, em modo normal e com falha, e no desenvolvimento de estratégias/métodos de deteção e diagnóstico de falhas, quer para a máquina de indução hexafásica quer para o respetivo inversor. Os métodos propostos são baseados na análise de padrões das correntes de fases. Deste trabalho resultou ainda a implementação de um protótipo laboratorial de acionamento hexafásico. Os resultados obtidos por simulação e provenientes dos ensaios experimentais permitem validar o modelo proposto para a máquina de indução hexafásica, em modo normal e com falha, assim como os métodos de deteção e diagnóstico de falhas propostos. É ainda analisada a capacidade de funcionamento do acionamento desenvolvido em modo de falha
Resumo:
Ne bis in idem, understood as a procedural guarantee in the EU assumes different features in the AFSJ and in european competition law. Despite having a common origin (being, in both sectors the result of the case law of the same jurisdictional organ) its components are quite distintic in each area of the integration. In the AFSJ, the content of bis and idem are broader and addressed at a larger protection of individuals. Its axiological ground is based on the freedom of movements and human dignity, whereas in european competition law its closely linked to defence rights of legal persons and the concept of criminal punishment of anticompetitive sanctions as interpreted by the ECHR´s jurisprudence. In european competition law, ne bis in idem is limited by the systemic framework of competition law and the need to ensure parallel application of both european and national laws. Nonetheless, the absence of a compulsory mechanism to allocate jurisdiction in the EU (both in the AFSJ and in the field of anti-trust law) demands a common axiological framework. In this context, ne bis in idem must be understood as a defence right based on equity and proportionality. As far as its international dimension is concerned, ne bis in idem also lacks an erga omnes effect and it is not considered to be a rule of ius cogens. Consequently, the model which the ECJ has built regarding the application of the ne bis in idem in transnational and supranational contexts should be replicated by other courts through cross fertilization, in order to internationalize that procedural guarantee and broaden its scope of application.
Resumo:
A estrutura temporal das taxas de juro, também conhecida por yield curve ou curva de rendimentos define a relação entre as taxas de juros e o prazo de vencimento (ou maturidades) dos investimentos feitos. Assim, o desenvolvimento de modelos que possibilitem a obtenção de previsões precisas sobre a estrutura temporal das taxas de juro e que permitam estudar a dinâmica da evolução das taxas de juro é de crucial importância em diversas áreas de financiamento. Neste estudo investigou-se a performance de diferentes métodos de previsão para obter a estrutura temporal das taxas de juro da Zona Euro, considerando o período entre 2009 e 2015. Em termos mais específicos, foi analisada a capacidade preditiva do modelo de Nelson-Siegel & Svensson assumindo que os parâmetros resultantes da estimação da especificação paramétrica podem ser modelizados através de métodos de séries temporais univariados (modelos ARIMA, Random walk) e multivariados (modelos VAR) e Redes Neuronais Artificiais (RNA) individuais e conjuntas. Os resultados deste estudo mostram que (i) as RNA com a previsão dos parâmetros em simultâneo exibem os valores de erro mais baixos para as maturidades de curto e médio prazo (3 meses a 5 anos); (ii) As RNAs individuais são melhores para prever as taxas de juro nas maturidades compreendidas entre os 7 e os 10 anos, e que (iii) para as maturidades de longo e muito longo prazo (15 e 30 anos respetivamente) deverá ser escolhido o modelo VAR(1). Estes resultados são robustos e consistentes para todos os horizontes de previsão analisados (1,2 e 3 meses). Contudo, no período analisado nenhum dos modelos testados apresenta valores de erro inferiores aos obtidos com o modelo Random Walk.