京都大学 / 新制・課程博士 / 博士(理学) / 甲第22975号 / 理博第4652号 / 新制||理||1668(附属図書館) / 京都大学大学院理学研究科数学・数理解析専攻 / (主査)教授 山口 孝男, 教授 藤原 耕二, 教授 入谷 寛 / 学位規則第4条第1項該当 / Doctor of Science / Kyoto University / DFAM

京都大学 / 新制・課程博士 / 博士(情報学) / 甲第23322号 / 情博第758号 / 新制||情||129(附属図書館) / 京都大学大学院情報学研究科数理工学専攻 / (主査)教授 永持 仁, 教授 太田 快人, 教授 山下 信雄 / 学位規則第4条第1項該当 / Doctor of Informatics / Kyoto University / DFAM

京都大学 / 新制・課程博士 / 博士(情報学) / 甲第23546号 / 情博第776号 / 新制||情||132(附属図書館) / 京都大学大学院情報学研究科数理工学専攻 / (主査)教授 山下 信雄, 教授 太田 快人, 教授 永持 仁 / 学位規則第4条第1項該当 / Doctor of Informatics / Kyoto University / DFAM

This thesis deals with the design of wireless power transfer at a distance of 600 mm dimensioned to 20 kW. The transfer is provided by inductive coupling of resonant circuits with 800 mm diameter coils. It contains a description of the design and calculations of individual parts, stating specific values. It also includes description and schematics of control circuits.

Lipidy v půdě vykazují poměrně vysokou resistenci k biodegradaci, mohou proto tak zajistit informace o zdrojích organické hmoty a diagenetických procesech. Půdní organická hmota je vysoce heterogenní a vyskytují se v ní různé dynamické systémy. Vztahy mezi těmito systémy a molekulární strukturou ještě nejsou úplně známy. Analýza lipidů a bitumenu byla provedena u dvou vzroků (rašelina a lignit). Množství skupin sloučenin (volné uhlovodíky a volné ketony, vázané alkoholy, vázané mastné kyseliny, vázané -hydroxy kyseliny, volné dikyseliny a polycyklické sloučeniny) bylo idetifikováno pro oba vzorky a jejich distribuce byly určeny. GC/MS analýza volných a vázaných lipidů zjistila jejich různé zdroje během chemické degradace. Některé podobné znaky mohou být znakem uchovávání části vosků a suberinu z vyšších rostlin (dlouhé řetězce vázaných mastných kyselin). Velké rozdíly v molekulárním složení lipidů byly pozorovány mezi vzorky, dokládající význam studia lipidů z mladého sedimentu (rašelina) a starého (lignit).

This work deals with the way of balancing production-assembly line, which would minimalize set up costs. The production-assembly line shall allow assembling more mutually similar variants of the same product. The time of duration of each operation is constant, but can differs between individual variants of the product. Cycle time is related to the variant of the product.

In der vorliegenden Arbeit wird der Artikel 'Derandomizing the Ahlswede-Winter matrix-valued Chernoff bound using pessimistic estimators, and applications' von Wigderson und Xiao detailliert nachvollzogen. Es wird aufgezeigt, wie der Beweis der matrixwertigen Chernoff-Ungleichung von Ahlswede und Winter verläuft. Mit diesen Ergebnissen und der Methode der pessimistischen Schätzer wird schließlich der Beweis des Alon-Roichman-Theorems entrandomisiert.

Étant donné G = (V, E) un graphe non orienté connexe et un entier positif β (n), où n est le nombrede sommets de G, le problème du séparateur (VSP) consiste à trouver une partition de V en troisclasses A, B et C de sorte qu'il n'y a pas d'arêtes entre A et B, max {| A |, | B |} est inférieur ou égal àβ (n) et | C | est minimum. Dans cette thèse, nous considérons une modélisation du problème sous laforme d'un programme linéaire en nombres entiers. Nous décrivons certaines inégalités valides et etdéveloppons des algorithmes basés sur un schéma de voisinage.Nous étudions également le problème du st-séparateur connexe. Soient s et t deux sommets de Vnon adjacents. Un st-séparateur connexe dans le graphe G est un sous-ensemble S de V \ {s, t} quiinduit un sous-graphe connexe et dont la suppression déconnecte s de t. Il s'agit de déterminer un stséparateur de cardinalité minimum. Nous proposons trois formulations pour ce problème et donnonsdes inégalités valides du polyèdre associé à ce problème. Nous présentons aussi une heuristiqueefficace pour résoudre ce problème. / Given G=(V,E) a connected undirected graph and a positive integer β(n), where n is number ofvertices, the vertex separator problem (VSP) is to find a partition of V into three classes A,B and Csuch that there is no edge between A and B, max{|A|,|B|}less than or equal β(n), and |C| isminimum. In this thesis, we consider aninteger programming formulation for this problem. Wedescribe some valid inequalties and using these results to develop algorithms based onneighborhood scheme.We also study st-connected vertex separator problem. Let s and tbe two disjoint vertices of V, notadjacent. A st-connected separator in the graph G is a subset S of V\{s,t} such that there are no morepaths between sand tin G[G\S] and the graph G[S] is connected . The st-connected vertex speratorproblem consists in finding such subset with minimum cardinality. We propose three formulationsfor this problem and give some valid inequalities for the polyhedron associated with this problem.We develop also an efficient heuristic to solve this problem.

Nanowires with Rashba spin-orbit coupling represent a promising platform for the realization of one-dimensional topological superconductivity and Majorana bound states. In this work we investigate Majorana bound states in hybrid normal-superconductor and short superconductor-normal-superconductor junctions based on nanowires with Rashba spin-orbit coupling. In particular, we explore consequences of the topological phase transition as well as the non-locality and self conjugation properties of the Majorana states on the low-energy spectrum and the Josephson effect in the case of superconductor-normal-superconductor junctions. Our work shows the great potential of hybrid junctions as a platform for the study of topological superconductivity and Majorana bound states.

Tsirelson's bound is the upper bound for a Bell inequality which is valid for all quantum mechanical systems. We discuss why Tsirelson's bound was developed by looking at some historical arguments in quantum physics, such as the Einstein-Podolsky-Rosen (EPR) paradox, an argument for the quantum mechanical description of physical reality being incomplete, and local hidden variables. We present the counterargument to those theories, Bell's inequality, which later expanded to include any inequality that a local system fulfills, but that an entangled quantum system can violate. We present the proof of two specific Bell inequalities: the Clauser-Horne-Shimony-Holt (CHSH) inequality and the I3322 inequality. Then the Tsirelson's bound for the CHSH inequality is proven with a simple system of two entangled spin-1/2 particles and with a general argument that is valid for all entangled systems. We give the upper quantum bound for the generalized CHSH inequality, which describes the situation that we have more than two measurement options, by using semidefinite programming. We prove the Tsirelson's bound for the I3322 inequality by using maximally entangled systems and semidefinite programming. Finally, we discuss the upper bounds that are obtained from these different methods. / Tsirelson's gräns är den övre gränsen till en Bell olikhet som är giltig för alla kvantmekaniska system. Vi diskuterar varför Tsirelson's gräns togs fram genom att titta på histroiska argument i kvantfysik, så som Einstein-Podolsky-Rosen (EPR) paradoxen, ett argument som säger att den kvantmekaniska beskrivningen av den fysikaliska verkligheten är offulständig, och lokala gömda variabler. Vi presenterar motargumentet till dessa teorier, Bell's olikheter, som senare generaliserades för att betyda alla olikheter som lokala system uppfyller, men som ett system i kvantsammanflättning kan bryta. Vi presenterar beviset för två specifika Bell olikheter: CHSH olikheten och I3322 olikheten. Sedan bevisas Tsirelson's gräns för CHSH olikheten med ett enkelt system av två sammanflättade spin-1/2 partiklar och ett generellt argument som stämmer för alla sammanflättade system. Vi ger den övre kvant gränsen för den generaliserade Clauser-Horne-Shimony-Holt (CHSH) olikheten, som beskriver situationen då vi har flera valmöjligheter för mätningar, genom att använda semidefinit programmering. Vi bevisar Tsirelson's gräns för I3322 olikheten genom att använda maximalt sammanflättade system och semidefinit programmering. Till slut diskuterar vi de övre gränserna som har erhållits ifrån de olika metoderna.