Cette thèse est structurée autour de deux axes d’études : (1) développer des logiques épistémiques formalisant la prise en compte de nouvelles données en présence d'informations incomplètes ou incohérentes ; (2) caractériser les notions de bisimulation sur les modèles de ces nouvelles logiques. Les logiques modales utilisées pour formaliser des raisonnements dans le cadre d’informations incomplètes et incohérentes, telle que la logique modale de contingence, sont généralement plus faibles que les logiques modales standards. Nos travaux se basent sur des méthodes logiques, algébriques et co-algébriques / In this Ph.D. dissertation we investigate reasoning about information change in the presence of incomplete or inconsistent information, and the characterisation of notions of bisimulation on models encoding such reasoning patterns. Modal logics for incomplete and inconsistent information are typically weaker than the standard modal logics, such as the modal logic of contingency. We use logical, algebraic and co-algebraic methods to achieve our aims. The dissertation consists of two main parts. The first part focusses on reasoning about information change, and the second part focusses on expressivity and bisimulation. In the following, we give an overview of the contents of this dissertation

Ce travail de thèse porte sur l'étude de la croissance des boîtes quantiques (BQs) d'InAs/InP(113)B en vue d'applications lasers pour les télécommunications optiques à 1.55 µm. Les BQs sont formées en épitaxie par jets moléculaires selon le mode de croissance Stranski-Krastanow. Les faibles dimensions de ces nanostructures entraînent des propriétés optoélectroniques remarquables. Dans un premier temps nous présentons des modèles dit de "nucléation-croissance", qui permettent de rendre compte de la plupart des résultats expérimentaux. La croissance des BQs est ensuite étudiée en fonction des paramètres de croissance, par des moyens d'analyses structurales et optiques. Nous avons obtenu une évolution originale des BQs avec le flux d'arsenic. Cette spécificité de la croissance sur (113)B a permis l'augmentation de la densité des BQs jusqu'à 1,6 1011 cm-2 et une amélioration de la dispersion en taille. Une nouvelle procédure de croissance en deux étapes, appelée "Double Cap Quaternaire" (DC) a été développée pour contrôler la longueur d'onde d'émission. Cette procédure donne lieu à une amélioration de la dispersion en taille. Une faible largueur de photoluminescence de 40 meV est ainsi obtenue. L'empilement de plusieurs plans de BQs DC Quaternaire est étudié, dans le but d'améliorer les performances lasers. Pour une forte densité les BQs présentent un ordre vertical et une bonne organisation dans le plan de croissance. La fabrication de structures lasers à BQs selon la procédure DC Quaternaire a permis l'obtention de l'émission laser à température ambiante. Les structures à BQs réalisées avec les conditions de croissance optimisées ont conduit à une réduction importante de la densité de courant de seuil avec une valeur record de 190 A/cm2.

No description available.

Les travaux de cette thèse portent sur la définition et la validation d’une méthode de modélisation-simulation de foule permettant le transfert des principes et des mesures établis dans un contexte source d'observations vers des contextes cibles, non observables a priori. A partir de l'observation de comportements de piétons d’un contexte environnemental, social et urbain, nous inférons les règles et des motivations, rendant possible la modélisation et la simulation du comportement individuel de piétons dans ce contexte source, puis à évaluer la transférabilité du modèle dans un autre contexte cible. Nous appuyons nos travaux sur un cas réel. Il s’agit de la simulation du comportement des voyageurs entrants et sortants des trains dans une gare à fort trafic. Après une revue des théories, de modèles de simulation, nous retenons une approche basée sur la simulation microscopique d’agents sociaux, situés, basée sur les motivations. Nous argumentons le choix par le fait que, par rapport à une simulation de foule classique elle, a priori, l’avantage de favoriser la transférabilité. L’objectif de cette simulation est d’étudier, entre autres, les évolutions architecturales des stations permettant de raccourcir les temps d’arrêt des trains. / This thesis focuses on the definition and the validation of a crowd-simulation modeling method. This method allows transferring principles and measurements established in a source observation context to a target one. From the observation of pedestrian behavior in a social and urban context, our approach infers rules and motivations in order to model and simulate the individual pedestrian behavior in this source context. This allows, in a second step, to evaluate the transferability of the model to a given target context. Our work is based on a real case: the simulation of the passenger’s behavior while boarding and alighting trains (platform-train exchange) in a high-traffic station (dense situation). Starting from the state of the art of theories, models and types of simulation, we choose an approach based on the microscopic simulation of social agent’s motivation. This choice relies mainly on the fact that, compared to a classic crowd simulation, it has, a priori, a better transferability potential. The goal of this type of simulation is to study the architectural evolutions of the stations that could allow to control or shorten train dwell times.

No description available.

京都大学 / 新制・課程博士 / 博士(法学) / 甲第25067号 / 法博第313号 / 新制||法||183(附属図書館) / 京都大学大学院法学研究科法政理論専攻 / (主査)教授 鈴木 基史, 教授 中西 寛, 教授 島田 幸典 / 学位規則第4条第1項該当 / Doctor of Agricultural Science / Kyoto University / DGAM

Dans cette thèse, nous nous intéressons au problème du suivi comportemental des piétons au sein d'un environnement critique partiellement observé. Tandis que plusieurs travaux de la littérature s'intéressent uniquement soit à la position d'un piéton dans l'environnement, soit à l'activité à laquelle il s'adonne, nous optons pour une vue générale et nous estimons simultanément à ces deux données. Les contributions présentées dans ce document sont organisées en deux parties. La première partie traite principalement du problème de la représentation et de l'exploitation du contexte environnemental dans le but d'améliorer les estimations résultant du processus de suivi. L'état de l'art fait mention de quelques études adressant cette problématique. Dans ces études, des modèles graphiques aux capacités d'expressivité limitées, tels que des réseaux Bayésiens dynamiques, sont utilisés pour modéliser des connaissances contextuelles a priori. Dans cette thèse, nous proposons d'utiliser des modèles contextuelles plus riches issus des simulateurs de comportements d'agents autonomes et démontrons l’efficacité de notre approche au travers d'un ensemble d'évaluations expérimentales. La deuxième partie de la thèse adresse le problème général d'influences mutuelles - communément appelées interactions - entre piétons et l'impact de ces interactions sur les comportements respectifs de ces derniers durant le processus de suivi. Sous l'hypothèse que nous disposons d'un simulateur (ou une fonction) modélisant ces interactions, nous développons une approche de suivi comportemental à faible coût computationnel et facilement extensible dans laquelle les interactions entre cibles sont prises en compte. L'originalité de l'approche proposée vient de l'introduction des "représentants'', qui sont des informations agrégées issues de la distribution de chaque cible de telle sorte à maintenir une diversité comportementale, et sur lesquels le système de filtrage s'appuie pour estimer, de manière fine, les comportements des différentes cibles et ceci, même en cas d'occlusions. Nous présentons nos choix de modélisation, les algorithmes résultants, et un ensemble de scénarios difficiles sur lesquels l’approche proposée est évaluée / In this thesis, we are interested in the problem of pedestrian behavioral tracking within a critical environment partially under sensory coverage. While most of the works found in the literature usually focus only on either the location of a pedestrian or the activity a pedestrian is undertaking, we stands in a general view and consider estimating both data simultaneously. The contributions presented in this document are organized in two parts. The first part focuses on the representation and the exploitation of the environmental context for serving the purpose of behavioral estimation. The state of the art shows few studies addressing this issue where graphical models with limited expressiveness capacity such as dynamic Bayesian networks are used for modeling prior environmental knowledge. We propose, instead, to rely on richer contextual models issued from autonomous agent-based behavioral simulators and we demonstrate the effectiveness of our approach through extensive experimental evaluations. The second part of the thesis addresses the general problem of pedestrians’ mutual influences, commonly known as targets’ interactions, on their respective behaviors during the tracking process. Under the assumption of the availability of a generic simulator (or a function) modeling the tracked targets' behaviors, we develop a yet scalable approach in which interactions are considered at low computational cost. The originality of the proposed approach resides on the introduction of density-based aggregated information, called "representatives’’, computed in such a way to guarantee the behavioral diversity for each target, and on which the filtering system relies for computing, in a finer way, behavioral estimations even in case of occlusions. We present the modeling choices, the resulting algorithms as well as a set of challenging scenarios on which the proposed approach is evaluated

No description available.

Předkládaná práce se soustředí na problematiku využívání úzkopásmového rádiového kanálu rádiovými modemy, které jsou určené pro průmyslové aplikace pozemní pohyblivé rádiové služby, specifikované v dominantní míře Evropským standardem ETSI EN 300 113. Tato rádiová zařízení se používají v kmitočtových pásmech od 30 MHz do 1 GHz s nejčastěji přidělovanou šířkou pásma 25 kHz a ve většině svých instalací jsou využívána ve fixních nebo mobilních bezdrátových sítích. Mezi typické oblasti použití patří zejména datová telemetrie, aplikace typu SCADA, nebo monitorování transportu strategických surovin. Za hlavní znaky popisovaného systému lze označit komunikační pokrytí značných vzdáleností, dané především vysokou výkonovou účinnosti datového přenosu a využívaní efektivních přístupových technik na rádiový kanál se semiduplexním komunikačním režimem. Striktní požadavky na elektromagnetickou kompatibilitu umožňují těmto zařízením využívat spektrum i v oblastech kmitočtově blízkým jiným komunikačním systémům bez nutnosti vkládání dodatečných ochranných frekvenčních pásem. Úzkopásmové rádiové komunikační systémy, v současnosti používají převážně exponenciální digitální modulace s konstantní modulační obálkou zejména z důvodů velice striktních omezení pro velikost výkonu vyzářeného do sousedního kanálu. Dosahují tak pouze kompromisních hodnot komunikační účinnosti. Úpravy limitů příslušných rádiových parametrů a rychlý rozvoj prostředků číslicového zpracování signálu v nedávné době, dnes umožňují ekonomicky přijatelné využití spektrálně efektivnějších modulačních technik i v těch oblastech, kde je prioritní využívání úzkých rádiových kanálů. Cílem předkládané disertační práce je proto výzkum postupů směřující ke sjednocení výhodných vlastností lineárních a nelineárních modulací v moderní konstrukci úzkopásmového rádiového modemu. Účelem tohoto výzkumu je efektivní a „ekologické“ využívání přidělené části frekvenčního spektra. Mezi hlavní dílčí problémy, jimiž se předkládaná práce zabývá, lze zařadit zejména tyto: Nyquistova modulační filtrace, navrhovaná s ohledem na minimalizaci nežádoucích elektromagnetických interferencí, efektivní číslicové algoritmy frekvenční demodulace a rychlé rámcové a symbolové synchronizace. Součástí práce je dále analýza navrhovaného řešení z pohledu celkové konstrukce programově definovaného rádiového modemu v rovině simulací při vyšetřování robustnosti datového přenosu rádiovým kanálem s bílým Gaussovským šumem nebo kanálem s únikem v důsledku mnohacestného šíření signálu. Závěr práce je pak zaměřen na prezentování výsledků praktické části projektu, v níž byly testovány, měřeny a analyzovány dvě prototypové konstrukce rádiového zařízení. Tato finální část práce obsahuje i praktická doporučení, vedoucí k vyššímu stupni využitelnosti spektrálně efektivnějších komunikačních režimů v oblasti budoucí generace úzkopásmových zařízení pozemní pohyblivé rádiové služby.

In dieser Arbeit werden das Wachstum mittels Molekularstrahlepitaxie und die Eigenschaften der Ferromagneten Fe und Fe_3Si auf niedrig-symmetirschen GaAs(113)A-Substraten studiert. Drei wichtige Aspekte werden untersucht: (i) Wachstum und strukturelle Charakterisierung, (ii) magnetische Eigenschaften und (iii) Magnetotransporteigenschaften der Fe und Fe_3Si Schichten auf GaAs(113)A-Substraten. Das Wachstum der Fe- und Fe_3Si-Schichten wurde bei einer Wachstumstemperatur von = bzw. 250 °C optimiert. Bei diesen Wachstumstemperaturen zeigen die Schichten eine hohe Kristallperfektion und glatte Grenz- und Oberflächen analog zu [001]-orientierten Schichten. Weiterhin wurde die Stabilität der Fe_(3+x)Si_(1-x) Phase über einen weiten Kompositionsbereich innerhalb der Fe_3Si-Stoichiometry demonstriert. Die Abhängigkeit der magnetischen Anisotropie innerhalb der Schichtebene von der Schichtdicke weist zwei Bereiche auf: einen Beresich mit dominanter uniaxialer Anisotropie für Fe-Schichten = 70 MLs. Weiterhin wird eine magnetische Anisotropie senkrecht zur Schichtebene in sehr dünnen Schichten gefunden. Der Grenzflächenbeitrag sowohl der uniaxialen als auch der senkrechten Anisotropiekonstanten, die aus der Dickenabhängigkeit bestimmt wurden, sind unabhängig von der [113]-Orientierung und eine inhärente Eigenschaft der Fe/GaAs-Grenzfläche. Die anisotrope Bindungskonfiguration zwischen den Fe und den As- oder Ga-Atomen an der Grenzfläche wird als Ursache für die uniaxiale magnetische Anisotropie betrachtet. Die magnetische Anisotropie der Fe_3Si-Schichten auf GaAs(113)A-Substraten zeigt ein komplexe Abhängigkeit von der Wachstumsbedingungen und der Komposition der Schichten. In den Magnetotransportuntersuchungen tritt sowohl in Fe(113)- als auch in Fe_3Si(113)-Schichten eine antisymmetrische Komponente (ASC) im planaren Hall-Effekt (PHE) auf. Ein phänomenologisches Modell, dass auf der Kristallsymmetrie basiert, liefert ein gute Beschreibung sowohl der ASC im PHE als auch des symmetrischen, anisotropen Magnetowiderstandes. Das Modell zeigt, dass die beobachtete ASC als Hall-Effekt zweiter Ordnung beschreiben werden kann. / In this work, the molecular-beam epitaxial growth and properties of ferromagnets, namely Fe and Fe_3Si are studied on low-symmetric GaAs(113)A substrates. Three important aspects are investigated: (i) growth and structural characterization, (ii) magnetic properties, and (iii) magnetotransport properties of Fe and Fe_3Si films on GaAs(113)A substrates. The growth of Fe and Fe_3Si films is optimized at growth temperatures of 0 and 250 degree Celsius, respectively, where the layers exhibit high crystal quality and a smooth interface/surface similar to the [001]-oriented films. The stability of Fe_(3+x)Si_(1-x) phase over a range of composition around the Fe_3Si stoichiometry is also demonstrated. The evolution of the in-plane magnetic anisotropy with film thickness exhibits two regions: a uniaxial magnetic anisotropy (UMA) for Fe film thicknesses = 70 MLs. The existence of an out-of-plane perpendicular magnetic anisotropy is also detected in ultrathin Fe films. The interfacial contribution of both the uniaxial and the perpendicular anisotropy constants, derived from the thickness-dependent study, are found to be independent of the [113] orientation and are hence an inherent property of the Fe/GaAs interface. The origin of the UMA is attributed to anisotropic bonding between Fe and As or Ga at the interface, similarly to Fe/GaAs(001). The magnetic anisotropy in Fe_3Si on GaAs(113)A exhibits a complex dependence on the growth conditions and composition. Magnetotransport measurements of both Fe(113) and Fe_3Si(113) films shows the striking appearance of an antisymmetric component (ASC) in the planar Hall effect (PHE). A phenomenological model based on the symmetry of the crystal provides a good explanation to both the ASC in the PHE as well as the symmetric anisotropic magnetoresistance. The model shows that the observed ASC component can be ascribed to a second-order Hall effect.