Cette thèse s’intéresse au calcul de solutions globales de problèmes de commande optimaleen boucle ouverte. La méthodologie générale se base sur l’approche par les moments, oùun problème d’optimisation est relâché en un problème généralisé des moments, dont unehiérarchie de relaxations semi-définies peut être résolue numériquement. L’approche esttout d’abord appliquée aux problèmes impulsionnels linéaires à temps variant, en modélisantle contrôle par une mesure. Les conditions semi-définies qui en résultent permettentde s’affranchir complètement des difficultés liées à la discrétisation temporelle. Ensuite, ense basant sur le formalisme des mesures d’occupations, la méthode peut être étendue auxsystèmes impulsionnels non-linéaires, et fournit une suite monotone de bornes inférieuresau coût optimal. Enfin, les résultats précédents peuvent être transposés aux systèmes àcommutation, en modélisant chaque mode par une mesure d’occupation associée. Ceci permetd’obtenir des gains substantiels en charge de calcul par rapport à l’approche classiqueoù l’espace de contrôle est mesuré / This thesis details a global method for optimal control of open-loop systems. This is doneby relaxing the control problem as a generalized moment problem, which can be solvednumerically by a hierarchy of semi-definite relaxations. The approach is first applied tothe impulsive control of linear time varying systems, by modeling the controls by a measure.The resulting semi-definite conditions circumvent time discretiziation and relateddifficulties. By the use of occupation measures, the method is then extended to a classof impulsive non-linear problems. This results in a monotone sequence of lower boundsto the original control problem. Finally, those results are transposed to switched system,by modeling each mode by a corresponding occupation measure. This allows for largecomputational gains with respect to the classical approach, where the control space ismeasured

Trots en rättsutveckling som pågått sedan början av 2000-talet råder fortfarande viss oklarhet rörande möjligheterna att enligt unionsrätten pröva en nationell lagstiftning mot den fria rörligheten för kapital. För tillämpningen av ändamålstestet saknas tydliga riktlinjer både vad gäller definitionen av begreppet definitivt inflytande och betydelsen av lagstiftarens vilja med den ifrågavarande nationella lagstiftningen. Min tolkning, som alltså i huvudsak bygger på rättsfallen Lasertec och Itelcar, är att begreppet definitivt inflytande inte kan knytas till en exakt procent av ägandet i ett annat bolag. Genom en jämförelse av flera avgöranden från EU-domstolen tycks dock slutsatsen kunna dras att ett definitivt utövande typiskt sett följer av en ägarandel om 25 %. Samtidigt ger ordalydelsen i domstolens resonemang i till exempel Itelcar vid handen att ett innehav om ner till 10 % kan ge ett definitivt inflytande i kombination med andra faktorer, men inte i sig. Det är heller inte omöjligt att detsamma gäller ännu mindre innehav. I och med att definitivt inflytande kan utövas vid mindre innehav än 25 % måste det också vara möjligt för nationella lagstiftningar att tillämpas på sådana innehav utan att för den sakens skull kunna angripas med den fria rörligheten för kapital.  Det sagda innebär att en lagstiftning, likt den i Lasertec, som är tillämplig på ägarandelar om 25 %, eller mindre andelar men där ett sådant inflytande som generellt följer av en sådan ägarandel likväl kan utövas, ska anses ha som ändamål att tillämpas på situationer där definitivt inflytande föreligger och ska därför inte prövas mot den fria rörligheten för kapital. Att tillämpningen av lagstiftningen utgår från en ägarandel om 25 % visar att lagstiftaren haft som avsikt att lagstiftningen ska tillämpas i situationer där ett sådant inflytande som motsvarar det som typiskt sett följer av en sådan ägarandel kan utövas. En lagstiftning likt den i Itelcar, som i stället som utgångspunkt för tillämpning förutsätter ett innehav om 10 % kan dock inte sägas ha som ändamål att endast tillämpas på ägarandelar som ger ett definitivt inflytande. Det inflytande som typiskt sett kan utövas vid ägarandelar om 10 % kan nämligen inte anses vara definitivt. De svenska ränteavdragsbegränsningsreglerna kräver för sin tillämpning att åtminstone ett väsentligt inflytande kan utövas över det räntebetalande företaget. Vad ett väsentligt inflytande närmare innebär är inte helt entydigt, men tycks avse ägarandelar om minst 40 %. Det är dock tydligt att även andra omständigheter än storleken på ägandet kan beaktas. Vid innehav under 40 % måste således ett väsentligt inflytande kunna påvisas på annan grund för att lagstiftningen ska vara tillämplig. Mot bakgrund av det ovan sagda är min slutsats att de svenska ränteavdragsbegränsningsreglerna inte kan prövas mot den fria rörligheten för kapital. Då förarbetsuttalanden antyder att det inflytande som ska kunna utövas ska motsvara en ägarandel om 40 %, måste ändamålet med lagstiftningen anses vara att den endast ska tillämpas i situationer där ett definitivt inflytande föreligger. Att lagstiftningen även kan komma att tillämpas vid mindre innehav ändrar inte denna bedömning, då detta har godkänts av EU-domstolen i Lasertec. Jag har visserligen dragit en annan slutsats än Ohlsson rörande tillämpligheten av den fria rörligheten för kapital på de svenska ränteavdragsbegränsningsreglerna, men jag delar hans uppfattning att en svensk domstol bör inhämta ett förhandsavgörande från EU-domstolen för att få frågan avgjord. Det skulle dessutom ge EU-domstolen en möjlighet att ytterligare förtydliga tillämpningen av ändamålstestet i tredjelandssituationer.

In this review study, we ask ourselves if decoherence theory can solve the problems of measurement in quantum mechanics. After an introduction to decoherence theory, we present the problem of preferred basis, the problem of non-observability of interference and the problem of definite outcomes. We present Zurek's theory of environment induced superselection rules and find that the problem of preferred basis and the problem of non-observability of interference can be solved through decoherence theory, but not the problem of outcomes, if we accept the eigenstate-eigenvalue link and the Born statistical interpretation. We reveal that these two concepts are essential in the Copenhagen interpretations of quantum mechanics, and give an account for von Neumann's and Wigner's conscious collapse interpretation as well as a detailed description of Bohr's and Heisenberg's interpretation. We discuss how Bohr's and Heisenberg's interpretation relates to decoherence with a special emphasis on the irreducibility of classical concepts as interpreted by Don Howard. During the discussion, we critique Wigner's use of the word "consciousness" as opposed to von Neumann's use, as well as Howard's decisively ontological approach to Bohr through an antithetical Kantian approach. We conclude by stating that decoherence theory cannot decisively solve the problem of definite outcomes of quantum mechanics, even when considering it in relation to the Copenhagen interpretation.

This thesis deals with questions of so called associative anaphora, which represents one of means of textual references. Firstly, the term is generally delimitated after a study of specialized literature. Then, the analysis is demonstrated at the French version of the novel by Milan Kundera called "La Plaisanterie" and the sequences found in this book are commented and classified on the basis of given criteria into several subcategories. The emphasis is put on semantic relations between coreferential segments and possible influence of using of determiners on functioning of these relations. In addition, the work aims to focus whether the associative link and lexical stereotypes are connected. The final task of this work is the comparison with Czech original and there is demonstrated by a summary what language means are used in Czech language to express such anaphoric links.

L’objectif de cette thèse porte sur des recherches théoriques et algorithmiques d’optimisation locale et globale via les techniques de programmation DC & DCA, Séparation et Evaluation (SE) ainsi que les techniques de relaxation DC/SDP, pour résoudre plusieurs types de problèmes d’optimisation non convexe (notamment en Optimisation Combinatoire et Optimisation Polynomiale). La thèse comporte quatre parties :La première partie présente les outils fondamentaux et les techniques essentielles en programmation DC & l’Algorithme DC (DCA), ainsi que les techniques de relaxation SDP, et les méthodes de séparation et évaluation (SE).Dans la deuxième partie, nous nous intéressons à la résolution de problèmes de programmation quadratique et linéaire mixte en variables entières. Nous proposons de nouvelles approches locales et globales basées sur DCA, SE et SDP. L’implémentation de logiciel et des simulations numériques sont aussi étudiées.La troisième partie explore des approches de la programmation DC & DCA en les combinant aux techniques SE et SDP pour la résolution locale et globale de programmes polynomiaux. Le programme polynomial avec des fonctions polynomiales homogènes et son application à la gestion de portefeuille avec moments d’ordre supérieur en optimisation financière ont été discutés de manière approfondie dans cette partie.Enfin, nous étudions dans la dernière partie un programme d’optimisation sous contraintes de type matrices semi-définies via nos approches de la programmation DC. Nous nous consacrons à la résolution du problème de réalisabilité des contraintes BMI et QMI en contrôle optimal.L’ensemble de ces travaux a été implémenté avec MATLAB, C/C++ ... nous permettant de confirmer l’utilisation pratique et d’enrichir nos travaux de recherche. / The main objective of this thesis focuses on theoretical and algorithmic researches of local and global optimization techniques to DC programming & DCA with Branch and Bound (B&B) and the DC/SDP relaxation techniques to solve several types of non-convex optimization problems (including Combinatorial Optimization and Polynomial Optimization). This thesis is divided into four parts :We present in the first part some fondamental theorems and essential techniques in DC programming & DC Algorithm (DCA), the SDP Relaxation techniques, as well as the Branch and Bound methods (B&B).In the second part, we are interested in solving mixed integer quadratic and linear programs. We propose new local and global approaches based on DCA, B&B and SDP. The implementation of software and numerical simulations have also been investigated.The third part explores the DC programming approaches & DCA combined with a B&B technique and SDP for locally and globally solving a class of polynomial programming. The polynomial program with homogeneous polynomial functionsand its application to portfolio selection problem involving higher order moments in financial optimization have been deeply studied in this part.Finally, in the last part, we present our research on optimization problems under constraints of semi-definite matrices via our DC programming approaches. This part is dedicated to the resolution of the BMI and QMI feasibility problems in the field of optimal control.All these proposed methods have been implemented with MATLAB, C++ etc., that allowing us to confirm the practical use and enrich our research works.

In my Ph.D. thesis, I examine the use of referential devices in spoken narrative discourse with predominant anaphoric reference. Special attention is paid to the relationship between two competing forms: lexical phrases containing the lexeme ten (ten-MARKED NPs) and lexical phrases not containing it (UNMARKED NPs) in repeated mentions. A primary aim of the work is (i) to identify factors favouring the use of ten-marked NPs at the expense of unmarked NPs and (ii) to explore the possibility of the lexeme ten grammaticalizing from its anaphoric use. Theoretically and methodologically I benefit mostly from the conception of discourse anaphora and the theory of grammaticalization. The referential devices are systematically explored in terms of their distribution into different classes according to a set of parameters and their values. These parameters reflect the conceptual (animacy), grammatical (syntactic function, type of clause etc.) as well as discourse characteristics of the forms and their referents (informational status of the NP in the clause, activation and persistence of the referent, etc.). The data consist of 45 short narratives produced by 15 speakers. The speakers' task was to retell three short silent-movie sketches which they had seen immediately before the recording. The design of the...

Cette thèse traite de l'évitement de collision entre un engin spatial opérationnel, appelé objet primaire, et un débris orbital, dit secondaire. Ces travaux concernent aussi bien la question de l'estimation du risque pour une paire d'objets sphériques que celle du calcul d'un plan de manoeuvres d'évitement pour le primaire. Pour ce qui est du premier point, sous certaines hypothèses, la probabilité de collision s'exprime comme l'intégrale d'une fonction gaussienne sur une boule euclidienne, en dimension deux ou trois. On en propose ici une nouvelle méthode de calcul, basée sur les théories de la transformée de Laplace et des fonctions holonomes. En ce qui concerne le calcul de manoeuvres de propulsion, différentes méthodes sont développées en fonction du modèle considéré. En toute généralité, le problème peut être formulé dans le cadre de l'optimisation sous contrainte probabiliste et s'avère difficile à résoudre. Dans le cas d'un mouvement considéré comme relatif rectiligne, l'approche par scénarios se prête bien au problème et permet d'obtenir des solutions admissibles. Concernant les rapprochements lents, une linéarisation de la dynamique des objets et un recouvrement polyédral de l'objet combiné sont à la base de la construction d'un problème de substitution. Deux approches sont proposées pour sa résolution : une première directe et une seconde par sélection du risque. Enfin, la question du calcul de manoeuvres de proximité en consommation optimale et temps fixé, sans contrainte d'évitement, est abordée. Par l'intermédiaire de la théorie du vecteur efficacité, la solution analytique est obtenue pour la partie hors-plan de la dynamique képlérienne linéarisée. / This thesis is about collision avoidance for a pair of spherical orbiting objects. The primary object - the operational satellite - is active in the sense that it can use its thrusters to change its trajectory, while the secondary object is a space debris that cannot be controlled in any way. Onground radars or other means allow to foresee a conjunction involving an operational space craft,leading in the production of a collision alert. The latter contains statistical data on the position and velocity of the two objects, enabling for the construction of a probabilistic collision model.The work is divided in two parts : the computation of collision probabilities and the design of maneuvers to lower the collision risk. In the first part, two kinds of probabilities - that can be written as integrals of a Gaussian distribution over an Euclidean ball in 2 and 3 dimensions -are expanded in convergent power series with positive terms. It is done using the theories of Laplace transform and Definite functions. In the second part, the question of collision avoidance is formulated as a chance-constrained optimization problem. Depending on the collision model, namely short or long-term encounters, it is respectively tackled via the scenario approach or relaxed using polyhedral collision sets. For the latter, two methods are proposed. The first one directly tackles the joint chance constraints while the second uses another relaxation called risk selection to obtain a mixed-integer program. Additionaly, the solution to the problem of fixed-time fuel minimizing out-of-plane proximity maneuvers is derived. This optimal control problem is solved via the primer vector theory.

本篇論文以《祖堂集》裡出現的所有否定詞為研究對象。首先，用演繹法來建立假設，用歸納法（完全歸納法）來驗證其假設。我們所處的現實世界都是由時間和空間構成的，這種世界與時間結合而造成「事」，與空間結合而產生「物」，我們通常合稱為「事物」。基於這種基本觀點，可說語言結構是一種現實世界的表達，因而它如實地或刻意地反映這種現實世界，而且這些看法也可適用於漢語否定詞的體系。由此，筆者主要用演繹法來大膽地假設說漢語的m系否定詞表達「空間性概念」，而p系否定詞表達「時間性概念」。第參、肆、伍和陸章，利用這種假設，剖析《祖堂集》裡出現的所有否定詞而驗證此假設與《祖堂集》的否定詞用法是否吻合。第二，在語言的邏輯結構層次分析上，在本篇論文的第參章裡，用謂詞邏輯研究法分析《祖堂集》裡出現的否定句以解釋早期近代漢語否定詞的邏輯結構與語言結構的同異。第三，用具有普遍性的語言學方法論，如「區別性特徵（distinctive feature） 」、「標記成分（marked member）」、「直接成分分析法（immediate constituent analysis,ICA）」、「互補分布（complementary distribution）」、「有定（definite reference）和無定（indefinite reference）」、「焦點（focus）、新信息（new information）以及舊信息（old information） 」、「義素分析法（seme analysis或componential analysis）」等，在第肆、伍和陸章裡分析探討《祖堂集》否定詞在邏輯語言結構層次或純粹語言結構層次上的語法結構和語義特點。第四，用計量和統計方法來分析《祖堂集》否定詞的分布情況以解釋近代漢語否定詞的面貌和體系。最後，用漢語否定詞的歷時演變來解釋《祖堂集》否定詞的共時結構，並且透過這種解釋來檢討本篇論文的結論是否具有妥當性。就研究步驟來說，先把《祖堂集》全文輸入到電腦，按否定詞類別歸類而分析探討否定詞的邏輯、語法和語義。 本篇文論共分八章，579頁。第壹章敘論，主要論及研究動機、研究目的、研究範圍、研究方法、否定界說、否定範圍和否定焦點。第貳章邏輯結構、語言結構和否定詞，主要討論「邏輯結構與語言結構之間的同異」、「邏輯的同異問題與否定」以及「時空、語言實詞分類和《祖堂集》否定詞分類（m系否定詞和p系否定詞）之間的關係」。第參章《祖堂集》否定詞之邏輯意義分析，主要用謂詞邏輯學的方法分析《祖堂集》否定詞之邏輯結構和邏輯意義。第肆章《祖堂集》m系「否定詞」之語義分析(一)－「無」，主要用語法學和語義學的研究方法探討m系否定詞當中「無」字在邏輯語言層次和純粹語言層次上之邏輯結構、語法結構和語義特點。第伍章《祖堂集》m系「否定詞」之語義分析(二)，主要用語法學和語義學的研究方法探討其他m系否寫詞在純粹語言層次上之語法結構和語義特徵，如「未」、「莫」、「勿」、「沒」、「亡」、「罔」、「靡」和「微」。第陸章《祖堂集》p系「否定詞」之語義分析，主要用語法學和語義學的研究方法探討《祖堂集》的p系否定詞在邏輯語言層次和純粹語言層次上之邏輯意義、語法結構和語義特點，如「不」、「非」、「匪」、「否」和「弗」。本章後面附帶討論「休」字，上古漢語時期它的否定用法不存在，到後來產生於方言之中，因此它不屬於所謂m/p系否定詞。第柒章《祖堂集》中「否定詞」之邏輯和語義特點，主要探討《祖堂集》否定詞在邏輯層次和語言層次上之特點，如「矛盾關係（contradictory relation）、反對關係（contrary relation）與否定詞」、「時空關係與否定詞」、「主客關係與否定詞」、「常變關係、動靜關係與否定詞」、「時間的空間化（量化）」、「空間的時間化」、「客觀現象的意志化」、「肯定與否定的選擇（疑問）」、「測度否定」、「名詞的述語化」、「雙重否定」、「否定詞之互用」等等。第捌章結論，用三張圖表，把《祖堂集》裡出現的所有否定詞系統化，扼要地解釋而究明第壹章敘論中的六條研究目標。最後附有引用及主要參考書目和《祖堂集》否定詞索引。 總之，筆者利用《祖堂集》裡出現的否定詞探討否定詞在符號隱性系統和符號顯性系統上的特徵。由此，筆者發現到幾點新理論，第一、語言研究要區分符號隱性系統和符號顯性系統，才能得到完善的結果。第二、邏輯學的「矛盾（contradiction）」和「反對（contrary）」顯現為語言的否定詞時，在《祖堂集》裡，區別「矛盾」和「反對」的關鍵在於否定詞是否替代其相應的肯定形式。第三、《祖堂集》的漢語否定詞不僅具有一個完整的系統（paradigm），而且從古到今一直維持m系和p系兩組系統，因為m系和p系否定詞分別表示邏輯意義上的空間概念和時間概念。其他純粹語言結構層次上的否定詞用法都是在這種邏輯意義的基礎上衍生出來的，如「時間的量化否定」、「疑問否定」、「測度否定」、「『無』義否定」等等。第四、邏輯學的矛盾概念和反對概念顯現為語言符號時，產生一些問題，因此研究符號顯性系統的否定詞，反對概念還要分成「確定反對（definite contrary）」和「不定反對（indefinite contrary）」。