The transitioning of armed actors into political parties following a peace accord is not a new phenomenon and the debate for how we can facilitate such a transition is well explored. A grey area of the debate, however, concerns transitioned actors’ long-term commitment to peace, as relapses are known to have occurred on many occasions. How are successful transitions sustained and what are the facilitating mechanisms? Through a case study of Sinn Féin in Northern Ireland, this thesis aims to contribute to the very limited debate on the facilitation of peace continuity of transitioned actors. Interviews were conducted in Belfast during the fall of 2018. The present-time contextual changes posed by the United Kingdom exiting the European union, which endangers the 1998 peace agreement that helped facilitate Sinn Féin’s transition, provides a good case for studying the institutional resilience to violent relapse of a transitioned actor. The findings show that Sinn Féin display strong levels of institutional resilience, which can help the institution to abstain from relapses into violence caused by contextual changes such as Brexit.

Nos dias atuais, há muitos casos em que sistemas de potência estão operando perto dos seus limites de estabilidade devido a restrições econômicas e leis ambientais. A estabilidade de tensão é uma matéria de muita pesquisa e interesse devido a que é considerado como uma das maiores ameaças na segurança dos sistemas. Uma prevenção exitosa de colapso do sistema baseia-se na precisão do método, a simplicidade dos índices, e muito baixo tempo de computação. Este trabalho apresenta uma rede Perceptron Multicamada (PMC) como proposta para monitoramento em tempo real da estabilidade de tensão de sistemas de potência usando como principais dados de entrada medidas obtidas do sistema SCADA. Os dados de treinamento são obtidos com cálculos de fluxo de potência continuado. A rede Perceptron Multicamadas é apresentada como um aproximador universal de funções, que diminui o tempo computacional dos métodos convencionais como o fluxo de potência continuado. Por fim, a topologia da rede PMC proposta é avaliada com o sistema de 30 barras do IEEE, e os resultados em relação ao tempo de computação e precisão são comparados com o método de fluxo de potência continuado. / Nowadays, many power systems are operating near their limits of stability due to economic restrictions and environmental laws. Voltage stability is a subject of great interest because it is considered one of the greatest threats for power systems security. The keys to preventing blackouts are the accuracy of the method, speed indication, and low computation time. This work presents a Multi-layer Perceptron (PMC) network as a proposal for real-time monitoring of voltage stability in power systems using input data obtained from the SCADA system. The training data are obtained by running Continuation Power Flow (CPF) routine. The multi-layer Perceptron network is presented as a universal approximator, reducing the computation time of conventional methods such as the Finally, the proposed PMC network is evaluated in the IEEE 30-bus system. Computation time and accuracy are compared with the continuation power flow method.

Orientador: Dílson Amâncio Alves / Banca: Francisco Villarreal Alvarado / Banca: Eduardo Nobuhiro Asada / Resumo: Este trabalho apresenta um novo esquema de parametrização geométrico para o fluxo de carga continuado que possibilita o traçado completo das curvas P-V, e o cálculo do ponto de máximo carregamento de sistemas de potência, sem os problemas de mau-condicionamento. O objetivo é o de apresentar de uma forma clara e didática, os passos envolvidos no desenvolvimento de uma técnica de parametrização geométrica a partir da observação das trajetórias de solução do fluxo de carga. A técnica associa robustez com facilidade de compreensão. A singularidade da matriz Jacobiana é eliminada pela adição da equação de uma reta que passa por um ponto no plano formado nas variáveis magnitude da tensão nodal e o fator de carregamento, dois parâmetros físicos de fácil compreensão. O uso desta técnica amplia o grupo das variáveis de tensão que podem ser usadas como parâmetro de continuação. Os resultados obtidos com a nova metodologia para os sistemas testes do IEEE (14, 30, 57, 118 e 300 barras), mostram que as características do método convencional são melhoradas e a região de convergência ao redor da singularidade é ampliada. Vários testes são apresentados com intuito de prover um completo entendimento do método proposto e possibilitar comparação e a avaliação do desempenho do esquema de parametrização proposto. / Abstract: This work presents a new geometrical parameterization scheme to the continuation power flow that allows the complete tracing of P-V curves and the computation of the maximum loading point of a power system, without ill-conditioning problems. The objective is to present in a clear and didactic way, the steps involved in the development of a geometrical parameterization technique from the observation of the behavior of power flow solutions path. The technique associates robustness with simplicity and easy interpretation. The Jacobian matrix singularity is overcome by the addition of a line equation which passes through a point in the plane determined by variables bus voltage magnitude and the loading factor, two physical parameter of easy understanding. The use of this technique enlarges the group of voltage variables that can be used as continuation parameter. The results obtained with the new methodology for the IEEE systems (14, 30, 57, 118 and 300 buses), show that the characteristics of the conventional method are improved and the region of convergence around the singular solution is enlarged. Many tests are also presented in intention to provide the complete understanding of the proposed method and to allow the comparison and assessment of the performance of the proposed parameterization scheme. / Mestre

Neste trabalho consideramos o problema de Navier-Stokes em RN <div style=\"width: 50%; margin: auto;\">ut = &Delta;u &mdash; &nabla;&pi; + f (t) &mdash; (u .&nabla;)u,&nbsp; &nbsp;x&isin; &Omega; <br />div(u) = 0,&nbsp; &nbsp; x &isin; &Omega; <br />u = 0,&nbsp; &nbsp;&nbsp;x &isin; &part; &Omega; <br />u(0, x) = u0 (x), onde u0 &isin; LN (&Omega;)N e &Omega; &eacute; um subconjunto aberto, limitado e suave de RN. Provamos que o problema acima &eacute; localmente bem colocado e fornecemos condi&ccedil;&otilde;es para obter que estas solu&ccedil;&otilde;es existem para todo t &ge; 0. Utilizamos t&eacute;cnicas de equa&ccedil;&otilde;es parab&oacute;licas semilineares considerando n&atilde;o linearidades com crescimento cr&iacute;tico desenvolvidas em (ARRIETA; CARVALHO, 1999). / In this work we we consider the Navier-Stokes problem on RN <div style=\"width: 50%; margin: auto;\">ut = &Delta;u &mdash; &nabla;&pi; + f (t) &mdash; (u .&nabla;)u,&nbsp; &nbsp;x&isin; &Omega; <br />div(u) = 0,&nbsp; &nbsp; x &isin; &Omega; <br />u = 0,&nbsp; &nbsp;&nbsp;x &isin; &part; &Omega; <br />u(0, x) = u0 (x), where u0 &isin; LN (&Omega;)N and &Omega; is an open, bounded and smooth subset of RN. We prove that the above problem is locally well posed and give conditions to obtain that these solutions exist for all t &ge; 0. We used techniques of semilinear parabolic equations considering nonlinearities with critical grouth developed in (ARRIETA; CARVALHO, 1999).

La plupart des programmes informatiques sont concurrents : ils doivent effectuer plusieurs tâches en même temps. Les threads et les événements sont deux techniques usuelles d'implémentation de la concurrence. Les événements sont généralement plus légers et efficaces que les threads, mais aussi plus difficiles à utiliser. De plus, ils sont souvent trop limités ; il est alors nécessaire d'écrire du code hybride, encore plus complexe, utilisant à la fois des threads ordonnancés préemptivement et des événements ordonnancés coopérativement. Nous montrons dans cette thèse que des programmes concurrents écrits dans un style à threads sont traduisibles automatiquement en programmes à événements équivalents et efficaces par une suite de transformations source-source prouvées. Nous proposons d'abord Continuation-Passing C, une extension du langage C pour l'écriture de systèmes concurrents qui offre des threads très légers et unifiés (coopératifs et préemptifs). Les programmes CPC sont transformés par le traducteur CPC pour produire du code à événements séquentialisé efficace, utilisant des threads natifs pour les parties préemptives. Nous définissons et prouvons ensuite la correction de ces transformations, en particulier le lambda lifting et la conversion CPS, pour un langage impératif. Enfin, nous validons la conception et l'implémentation de CPC en le comparant à d'autres bibliothèques de threads et en exhibant notre seeder BitTorrent Hekate. Nous justifions aussi notre choix du lambda lifting en implémentant eCPC, une variante de CPC utilisant les environnements, et en comparant ses performances à celles de CPC.

No description available.

QC 20100713

This thesis aims at analyzing the reasons for the insoluble nature of the Palestinian-Israeli conflict. The reasons behind the continuation of the conflict are various. However, this thesis mainly concentrated on the ones stemmed from the clash of Arab nationalism and Zionism. This clash basically represents the failure of both sides in making any concession from their territorial attachments which resulted from Arab nationalism and Zionism. Though both nationalisms were constructed on the same founding factors such as religion, territory and culture, Arab nationalists and Zionists gained different positions during the conflict. These positions determined the future of all of the peace processes in the near past. All peace processes that had focused on the solution of the Palestinian-Israeli conflict displayed that any formulation for a last settlement to the conflict should take into consideration the inability of the parties to agree on a territorial compromise and the adoption by both sides of the continuation of the conflict as a political instrument.

No description available.

<p>It is the purpose of this thesis to investigate different regional geoid determination methods with respect to their feasibility for use with a future GOCE satellite-only Earth Gravity Model (EGM). This includes investigations of various techniques, which involve different approximations, as well as the expected accuracy. Many, but not all, of these tasks are tested by means of Synthetic Earth Gravity Models (SEGMs). The study is limited to remove-compute-restore methods using Helmert condensation and to Sjöberg's combined approach (method with additive corrections).</p><p>First, a number of modifications of Stokes' formula are tested with respect to their compatibility with a GOCE EGM having negligible commission error. It is concluded that the least squares modification method should be preferred.</p><p>Next, two new point-mass SEGMs are constructed in such a way that the resulting models have degree variances representative for the full and topographically reduced gravity fields, respectively. These SEGMs are then used to test different methods for modified Stokes' integration and downward continuation. It is concluded that the combined method requires dense observations, obtained from the given surface anomalies by interpolation using a reduction for all known density anomalies, most notably the topography. Examples of other conclusions are that the downward continuation method of Sjöberg (2003a) performs well numerically.</p><p>To be able to test topographic corrections, another SEGM is constructed starting from the reduced point-mass model, to which the topography, bathymetry and isostatic compensation are added. This model, which is called the Nordic SEGM, is then applied to test one strict and one more approximate approach to Helmert's condensation. One conclusion here is that Helmert's 1st method with the condensation layer 21 km below sea level should be preferred to Helmert's 2nd condensation strategy.</p><p>The thesis ends with a number of investigations of Sjöberg's combined approach to geoid determination, which include tests using the Nordic SEGM. It is concluded that the method works well in practice for a region like Scandinavia. It is finally shown how the combined strategy may preferably be used to estimate height anomalies directly.</p>