The estimation of the worst-case execution time (WCET) of a task is a problem that concerns the field of embedded systems and, especially, real-time systems. Estimating a safe WCET for single-core architectures without speculative mechanisms is a challenging task and an active research topic. However, the advent of advanced hardware mechanisms, which often lack predictability, complicates the current WCET analysis methods. The field of Embedded Systems has high safety considerations and is, therefore, conservative with speculative mechanisms. However, nowadays, even safety-critical applications move to the direction of multiprocessor systems. In a multiprocessor system, each task that runs on a processing unit might affect the execution time of the tasks running on different processing units. In shared-memory symmetric multiprocessor systems, this interference occurs through the shared memory and the common bus. The presence of private caches introduces cachecoherence issues that result in further dependencies between the tasks. The purpose of this thesis is twofold: (1) to evaluate the feasibility of an existing one-pass WCET analysis method with an integrated cache analysis and (2) to design and implement a cachebased multiprocessor WCET analysis by extending the singlecore method. The single-core analysis is part of the KTH’s Timing Analysis (KTA) tool. The WCET analysis of KTA uses Abstract Search-based WCET Analysis, an one-pass technique that is based on abstract interpretation. The evaluation of the feasibility of this analysis includes the integration of microarchitecture features, such as cache and pipeline, into KTA. These features are necessary for extending the analysis for hardware models of modern embedded systems. The multiprocessor analysis of this work uses the single-core analysis in two stages to estimate the WCET of a task running under the presence of temporally and spatially interfering tasks. The first phase records the memory accesses of all the temporally interfering tasks, and the second phase uses this information to perform the multiprocessor WCET analysis. The multiprocessor analysis assumes the presence of private caches and a shared communication bus and implements the MESI protocol to maintain cache coherence. / Uppskattning av längsta exekveringstid (eng. worst-case execution time eller WCET) är ett problem som angår inbyggda system och i synnerhet realtidssystem. Att uppskatta en säker WCET för enkelkärniga system utan spekulativa mekanismer är en utmanande uppgift och ett aktuellt forskningsämne. Tillkomsten av avancerade hårdvarumekanismer, som ofta saknar förutsägbarhet, komplicerar ytterligare de nuvarande analysmetoderna för WCET. Inom fältet för inbyggda system ställs höga säkerhetskrav. Således antas en konservativ inställning till nya spekulativa mekanismer. Trotts detta går säkerhetskritiska system mer och mer i riktning mot multiprocessorsystem. I multiprocessorsystem påverkas en process som exekveras på en processorenhet av processer som exekveras på andra processorenheter. I symmetriska multiprocessorsystem med delade minnen påträffas denna interferens i det delade minnet och den gemensamma bussen. Privata minnen introducerar cache-koherens problem som resulterar i ytterligare beroende mellan processerna. Syftet med detta examensarbete är tvåfaldigt: (1) att utvärdera en befintlig analysmetod för WCET efter integrering av en lågnivå analys och (2) att designa och implementera en cache-baserad flerkärnig WCET-analys genom att utvidga denna enkelkärniga metod. Den enkelkärniga metoden är implementerad i KTH’s Timing Analysis (KTA), ett verktyg för tidsanalys. KTA genomför en så-kallad Abstrakt Sök-baserad Metod som är baserad på Abstrakt Interpretation. Utvärderingen av denna analys innefattar integrering av mikroarkitektur mekanismer, såsom cache-minne och pipeline, i KTA. Dessa mekanismer är nödvändiga för att utvidga analysen till att omfatta de hårdvarumodeller som används idag inom fältet för inbyggda system. Den flerkärniga WCET-analysen genomförs i två steg och uppskattar WCET av en process som körs i närvaron av olika tids och rumsligt störande processer. Första steget registrerar minnesåtkomst för alla tids störande processer, medans andra steget använder sig av första stegets information för att utföra den flerkärniga WCET-analysen. Den flerkärniga analysen förutsätter ett system med privata cache-minnen och en gemensamm buss som implementerar MESI protokolen för att upprätthålla cache-koherens.

Die Dissertation besteht aus drei unabhängigen Essays zur Anwendung der kooperativen Spieltheorie auf den internationalen Erdgashandel. Das internationale Erdgasnetz wird von einem stilisierten quantitativen Modell dargestellt, welches aus den wichtigsten Produzenten, Verbrauchern, Pipelines und LNG-Terminals besteht. Die Koalitionsfunktion berücksichtigt wesentliche Merkmale des internationalen Gashandels und schildert die Abhängigkeiten zwischen den Akteuren. Das Spiel wird mit dem Shapley-Wert und dem Nukleolus gelöst, welche alternative Indizes für die Darstellung der Machtstruktur sind. Kapitel 1 versucht die Interessen der Spieler in drei Pipeline-Projekte, d.h. Nord Stream, South Stream und Nabucco, zu rationalisieren. Das Kapitel ordnet die Investitionen in die neuen Pipelines ihren Auswirkungen auf die Verhandlungsmacht der Akteure zu und zieht dabei Rückschlüsse auf die Aussagekraft der Lösungskonzepte. Der Shapley-Wert rechtfertigt die jüngsten Investitionen in die Pipelines als rationale Versuche, die Machtstruktur zu verändern. Im Gegensatz zum Shapley-Wert kann der Nukleolus die empirischen Beobachtungen nicht nachbilden. Kapitel 2 studiert Pipeline-Projekte im zentralasiatischen Raum. Die Ergebnisse erklären die Unterstützung der zentralasiatischen Länder für eine nach China verlaufende Pipeline statt einem nach Europa führenden Projekt, und zeigen, dass die Konkurrenz zwischen China und Europa für das zentralasiatische Erdgas vernachlässigbar ist. Kapitel 3 untersucht die bedeutendsten Entwicklungen in Angebot und Nachfrage im globalen LNG-Markt sowie deren Einfluss auf die Machtstruktur im eurasischen Erdgashandel. Die Entwicklungen kommen den europäischen Verbrauchern deutlich zugute, aber scheitern dabei, die Macht der etablierten Anbieter um Europa, beispielsweise Russlands, einzudämmen. / The dissertation contains three independent essays on the application of cooperative game theory on the international natural gas trade. The international natural gas network is represented by a stylized disaggregated quantitative model consisting of its major producers, customers, trunk-pipelines and LNG terminals. The value function considers essential characteristics of the international gas trade and characterizes the interdependencies between the major actors. The game is solved with the Shapley value and the nucleolus as alternative indexes for capturing the power of different players. Chapter 1 aims to rationalize players'' interest in the three pipeline projects, i.e., Nord Stream, South Stream, and Nabucco. The chapter relates the investments into the new pipelines to their impact on the power structure and thereby makes conclusions about the explanatory power of the solution concepts. While the Shapley value can explain the recent investments in the new pipelines as a rational attempt to alter the power structure in the network, the nucleolus, in contrast, fails to replicate the empirical evidence. Chapter 2 studies pipeline options of the Central Asian countries aimed at diversifying their transit routes and export markets. The results explain the Central Asian countries'' endorsement for an eastbound pipeline to China rather than a Europe-bound option, and show negligible demand competition between China and Europe for Central Asian supplies. Chapter 3 investigates major supply and demand developments in the global LNG market as well as their impact on the power structure in the Eurasian natural gas trade. The developments benefit European consumers significantly, but barely curtail the power of the established suppliers in close proximity to Europe, such as Russia.

資料的快速增長與變化以及分析工具日新月異，增加資料分析的挑戰，本研究希望透過一個完整機器學習流程，提供學術或企業在導入大數據分析時的參考藍圖。我們以Spark作為大數據分析的計算框架，利用MLlib的Spark.ml與Spark.mllib兩個套件建構機器學習模型，解決傳統資料分析時可能會遇到的問題。在資料分析過程中會比較Spark不同分析模組的適用性情境，首先使用本地端叢集進行開發，最後提交至Amazon雲端叢集加快建模與分析的效能。大數據資料分析流程將以微博為實驗範例，並使用香港大學新聞與傳媒研究中心提供的2012年大陸微博資料集，我們採用RDD、Spark SQL與GraphX萃取微博使用者貼文資料的特增值，並以隨機森林建構預測模型，來預測使用者是否具有官方認證的二元分類。 / The rapid growth of data volume and advanced data analytics tools dramatically increase the challenge of big data analytics services adoption. This paper presents a big data analytics pipeline referenced blueprint for academic and company when they consider importing the associated services. We propose to use Apache Spark as a big data computing framework, which Spark MLlib contains two packages Spark.ml and Spark.mllib, on building a machine learning model. This resolves the traditional data analytics problem. In this big data analytics pipeline, we address a situation for adopting suitable Spark modules. We first use local cluster to develop our data analytics project following the jobs submitted to AWS EC2 clusters to accelerate analytic performance. We demonstrate the proposed big data analytics blueprint by using 2012 Weibo datasets. Finally, we use Spark SQL and GraphX to extract information features from large amount of the Weibo users’ posts. The official certification prediction model is constructed for Weibo users through Random Forest algorithm.

In this paper I investigate the energy cooperation between the EU and Russia from the political and economic points of view. The relevance of the issue is due to the growing role of energy sector, the need for security of energy supply and demand and for political and economic balance of power in the region, and closer economic integration. Two theoretical approaches, geopolitical and bureaucratic, guiding the research, explain the behavior of protagonists. To better understand the present level of cooperation I analyze the background and dynamics of EU - Russia energy trade relations. As a case study, I investigate the Nord Stream project as an example of successful cooperation of Germany as an EU member state and Russia in this field. I discuss challenges for the healthy mutual partnership in the energy sector, namely, high politicization of the issue, monopolization of Russian energy sector and low sustainability of Russian economic development, and mistrust between the protagonists. I attempt to identify possible policy changes aimed to improve this cooperation and achieve fruitful partnership, security and stability. Key words: Russia, EU, energy, cooperation, Realpolitik, international relations, oil, gas, energy dialogue, ECT, security, balance of power, geopolitics, interest groups,...

The present study consisted of a phenomenological investigation of African American males who have been expelled from traditional educational settings in New Orleans, LA in order to provide educators with information geared towards increasing academic achievement in African American males. It has been noted that one of the reasons that Black males graduation rates are so low is because in addition to other factors that lead to non-completion, black males are more likely to be expelled from school. In this study, I used a Critical Race theoretical framework to explore gain experiential knowledge of these excluded young men, what they perceive as barriers to their success, and their sentiments on the relationships they have had with educators and peers whom they have encountered. Based on the participants’ responses, seven categories emerged from the data including: (a) Race and Racism, (b) Self Perceptions, (c) Family Expectations and Support, (d) Male Role Models and Mentors, (e) The School Environment, (f) School Discipline, and (g) Alternative School. Study participants described the totality of their education experiences by opening up about what they felt were key factors at play. The stories of the participants provided a deeper context of the nuances of racism and how it impacts their day to day educational experiences overall The results of this study provides data that may enable educators to begin steps to dismantle the school to prison pipeline by ensuring at-risk students are supported and successful in school without having to be removed. This information serves as a catalyst for future inquiry into additional nuances that effect the academic achievement of African American male students in K-12 schools.

The doctoral thesis deals with the analysis of the flow in the circular and not circular cross-section pipes by methods using the distribution of the vorticity density. This analysis is particularly focused on the derivation of the new velocity profiles formulas using the above mentioned method. In this work is presented a historical overview of the derived velocity profiles. This overview of already derived velocity profiles will be a fundamental benchmark for newly derived velocity profiles. These new velocity profiles are derived for the circular and not circular cross-section pipes and the derivation is based on the analogy of electromagnetic induction by using Biot-Savart law. It is necessary to apply this analogy at first on solitary vortex filament. By taking this step is possible to get the value of the induced velocity from one solitary vortex filament. Subsequently it is possible to obtain the value of the induced velocity from the vorticity wall and afterwards from the vorticity density distribution over the cross section. This work contains also the results of the experimental measurements of the velocity profiles, and of the CFD simulations. Experimentally measured results are used besides other for the selecting of the most suitable CFD computational model. Selected CFD model will be subsequently declared as a reference model and the valid velocity profiles for this model will serve with the experimentally measured data as a benchmark for the newly derived velocity profiles.

La perméabilité aux gaz et aux liquides des matériaux polymères est une propriété qui est mise à profit dans de nombreux domaines industriels. Cette thèse est effectuée dans l'optique de mieux appréhender la problématique de l'étanchéité des conduites flexibles par les polymères. Ainsi, les perméabilités de H2S, CO2 et CH4 dans le polyéthylène (PE) ont fait l'objet d'une étude effectuée dans le contexte de cette thèse. La perméabilité est une propriété qui résulte de la solubilisation des gaz dans le polymère puis de la diffusion de ces produits à travers la matière. La solubilité, qui caractérise l’aptitude d’un gaz à pouvoir s’absorber dans le polymère, est une propriété d’équilibre, qui pourra être étudiée par les techniques de Monte Carlo. La diffusion, qui caractérise l’aptitude d’un gaz à se mouvoir plus ou moins rapidement dans le réseau polymère, sera quant à elle, étudiée par dynamique moléculaire. Au dessous de la température de fusion, le polyéthylène est à l'état semi-cristallin. Cet état est composé de régions contenant des chaînes orientées aléatoirement (régions amorphes) et des régions contenant des chaînes orientées sur un réseau (régions cristallines). La morphologie complexe des polymères semi-cristallins présente des hétérogénéités de dimensions nanométriques, ce qui est difficilement accessible par la simulation moléculaire. A fin d'étudier la solubilité et la diffusion de gaz dans le polyéthylène semi-cristallin, nous modéliserons uniquement la phase amorphe au cours de ce travail. Par contre, l’effet des régions cristallines sur la phase amorphe sera pris en compte dans la simulation par une contrainte ad-hoc. / The gas permeability through the polymers is a property that is exploited in many industrial fields. The objective of this thesis is to better understand the problem of sealing of flexible pipes with polymers. Thus, the permeability of H2S, CO2 and CH4 in polyethylene (PE) was studied during this work. Permeability is a property resulting from the dissolution of gases in the polymer and then diffusion of these products through the material. Solubility, which characterizes the ability of a gas to be absorbed in the polymer, is a property of equilibrium, which can be studied by Monte Carlo techniques. Diffusion coefficient, which characterizes the ability of a gas to move more or less rapidly into the polymer network, will in turn studied by molecular dynamics.Below the melting temperature, polyethylene is in semi-crystalline state. This state is composed of regions containing randomly oriented chains (amorphous regions) and regions containing chains oriented regularly on a network (crystalline regions). The complex morphology of semi-crystalline polymers has nanometric heterogeneities, which is not easily accessible by molecular simulation. In order to study the solubility and diffusion coefficient of gases in semi-crystalline polyethylene, we model only the amorphous phase in this work. However, the effect of crystalline regions on the amorphous phase will be taken into account in the simulation by an ad-hoc constraint.

[pt] Apresenta-se uma metodologia de análise numérica para dutos enterrados usados no transporte de petróleo e gás, considerando não-linearidades geométricas e não linearidades de material baseada na formulação Lagrangeana Total. Emprega-se uma modelagem com base em uma discretização com elementos especiais de viga. As equações de equilíbrio são formuladas a partir do principio dos trabalhos virtuais, segundo as componentes de tensão e deformação no elemento viga-duto, com emprego da técnica do Módulo Reduzido de Integração Direta (RMDI), na qual incorpora-se o comportamento plástico do material. Esta técnica exclui da análise os efeitos da flambagem local nas paredes do duto. As matrizes para resolução por elementos finitos destas equações são derivadas. Incorporam- se, nesta metodologia os efeitos de pressão interna constante no duto assim como a interação solo-duto através da modelagem do solo por meio de molas elasto-plásticas verticais e horizontais. Na modelagem desenvolvida as cargas distribuídas são consideradas como constantes no sistema global de eixos. Desenvolve-se um programa para computador segundo a metodologia apresentada. São estudados alguns exemplos com o objetivo de avaliar numericamente os resultados de análise obtidos e formular algumas conclusões sobre o comportamento de dutos enterrados. / [en] This work presents a numerical methodology for the analysis of buried pipes employed by the transport of oil and gas. Both geometric and material nonlinearities are considered in a total Lagrangean formulation. A special type of beam element is employed in the finite element discretization. The equilibrium equations are formulated based on the virtual work principle considering the stress and deformation components of the beam-pipe element. The Reduced Modulus Direct Integration (RMDI) technique is employed through which the plastic material behavior is incorporated. This technique excludes from the analysis the local buckling effects of the pipe walls. The corresponding finite element matrices for this element are obtained. In this methodology the effects of the constant internal pressure as well as the soil-pipe interaction by means of elastic-plastic uplift, bearing and longitudinal springs are included. Distributed loads are considered constant with respect to the global axis. A computer code is developed according to the methodology presented. Some examples are studied with the objective to evaluate numerically the analysis results and to formulate some conclusions to the behavior of buried pipes.

An important challenge in natural language surface realization is the generation of grammatical sentences from incomplete sentence plans. Realization can be broken into a two-stage process consisting of an over-generating rule-based module followed by a ranker that outputs the most probable candidate sentence based on a statistical language model. Thus far, an n-gram language model has been evaluated in this context. More sophisticated syntactic knowledge is expected to improve such a ranker. In this thesis, a new language model based on featurized functional dependency syntax was developed and evaluated. Generation accuracies and cross-entropy for the new language model did not beat the comparison bigram language model.

No description available.