Thèse (M. Eng.) -- Université du Québec à Chicoutimi, 2002. / Bibliogr.: f. 154-192. Document électronique également accessible en format PDF. CaQCU

Thèse (D.Eng.) -- Université du Québec à Chicoutimi, 2005. / Bibliogr.: f. [194]-198. Document électronique également accessible en format PDF. CaQCU

L'étude des réseaux électriques ferroviaires alimentés en courant alternatif nécessite de déterminer les valeurs crêtes et moyennes pouvant être atteintes par les variables électriques au cours du temps lors de la circulation d'un trafic donné sur les différentes lignes qui composent le domaine d'étude. Une modélisation de ces réseaux permet de déterminer ces ordres de grandeur et répond donc aux besoins des utilisateurs souhaitant étudier précisément leur dimensionnement et leur fonctionnement. Les travaux qui sont présentés proposent une décomposition du système ferroviaire en sous systèmes simples dont la modélisation est détaillée, en soulignant les spécificités propres à la nature du sujet, en particulier la représentation de la ligne de transport d'énergie. L'intégration de l'ensemble de ces modèles dans le but de représenter le fonctionnement d'un réseau ferroviaire complet est exposée, en incluant intersections, voies d'évitement, etc. Parallèlement à la modélisation, plusieurs études de sensibilité sont effectuées afin de tester et valider les choix faits lors de la modélisation des systèmes et dans le but d'identifier les paramètres ayant une incidence réelle sur le dimensionnement des réseaux. L'architecture du logiciel pour lequel les modèles ont été développés ainsi que de nombreux résultats de simulation obtenus sur des exemples sont présentés. Enfin, des essais ont été mis en œuvre sur un cas concret dans le but de valider le logiciel.

A l'aube d'un nouveau siècle, la Chine joue un rôle de plus en plus important sur la scène internationale. Elle est devenue un enjeu pour l'équilibre mondial dans tous les domaines, y compris les affaires maritimes. La recherche présente est consacrée à la politique juridique chinoise relative aux affaires maritimes pour éclairer la position de la Chine dans les relations internationales ainsi que ses influences. Le Professeur Wang Tieya commence son cours sur le droit international et la Chine, à la Haye, en 1990, en citant l'art. 9 du statut de la Cour internationale de Justice qui prévoit que les membres de la Cour «assurent dans l'ensemble la représentation des principaux systèmes juridiques du monde ». Selon lui, le droit international lui-même doit être le reflet des différentes civilisations du monde. Il faut toujours prendre en considération les différents systèmes juridiques et ne pas céder à une approche ethnocentrique. Ce n'est pas à travers la seule perspective occidentale que la politique juridique chinoise sera observée. En revanche, notre recherche vise à comparer et, dans les cas nécessaires, confronter les notions occidentales avec les points de vue chinois pour mieux analyser le raisonnement juridique chinois. La politique juridique extérieure d'un Etat définit son attitude à l'égard du droit international, son élaboration, son interprétation et son application. Chaque gouvernement prend des décisions sur l'aspect juridique de ses relations extérieures, en consentant à se lier par un traité international ou en faisant un acte unilatéral. / At the dawn of a new century, China plays an increasingly important internationally. It has become a challenge for the global balance in all areas, including maritime affairs. The present research is devoted to the chinese legal policy on maritime affairs to illumate the position of China in international and influences relations.

Les pratiques de développement des logiciels de Réalité Virtuelle (RV) ne sont pas optimisées. Ainsi, chaque société utilise ses propres méthodes. L'objectif de la thèse est d'automatiser la production et l'évaluation des logiciels de RV en utilisant des techniques issues de ! 'Ingénierie Dirigée par les Modèles (IDM). Les approches existantes en RV ne permettent pas de tirer parti des points communs que partagent ces logiciels. Ces manques de réutilisation et d'abstraction sont des problèmes connus en !DM, qui propose le concept de Ligne de Produits Logiciels (LPL) pour automatiser la production de logiciels de la même famille par réutilisation de composants communs. Cependant cette approche n'est pas adaptée au développement de logiciels reposant sur un scénario, comme en RV. Nous proposons deux frameworks qui comblent respectivement les manques en IDM et en RV : LPLOS (LPL Orientée Scénario) et LPLRV (LPL pour la RV). LPLOS repose sur un modèle de scénarios qui manipule un modèle de variabilité logicielle (Feature model, FM). Chaque étape du scénario correspond à une configuration du FM. LPLRV repose sur LPLOS. Le scénario supervise la manipulation des objets virtuels, générés automatiquement à partir d'un modèle. Nous avons implémenté ces frameworks au sein d'outils qui ont été essayés sur des exemples et évalués par des utilisateurs cibles. Les résultats soutiennent l'utilisation de ces frameworks pour la production de logiciels reposant sur un scénario. / Development practices in Virtual Reality (VR) are not optimized. for example, each company uses its own methods. The goal of this PhD thesis is to automatize development and evaluation of VR software with the use of Model-Driven Engineering (MDE) technics. The existing approaches in VR do not take advantage of software commonalities. Those lacks of reuse and abstraction are known problems in MDE, which proposes the Soflware Product Line (SPL) concept to automatize the production of software belonging to the same family, by reusing common components. However, this approach is not adapted to software based on a scenario, like inVR.We propose two frameworks that respectively address the lacks in MDE and VR : SOSPL (scenario-oriented software product line) and VRSPL (VR SPL). SOSPL is based on a scenario model that handles a software variability model (feature model , FM). Each scenario step matches a configuration of the FM. VRSPL is based on SOSPL. The scenario manages virtual objects manipulation, the objects being generated automatically from a model. We implemented these frameworks inside tools that have been tried on exemples and evaluated by their target users. The results promote the use of these frameworks for producing scenario-based software.

L’objectif de ces travaux de recherche est la conception en technologie intégrée d’une nouvelle topologie de ligne de transmission accordable afin de réaliser des déphaseurs en bande millimétrique. Cette topologie nommée TS-CPW (pour « Tunable Slow wave CoPlanar Waveguide ») utilise d’une part le phénomène d’ondes lentes qui permet de miniaturiser longitudinalement la ligne de transmission et offre un facteur de qualité plus élevé qu’en technologie microruban intégrée, et d’autre part une approche de type MEMS (Micro Electro Mechanical system) afin obtenir l’accordabilité de la ligne avec une figure de mérite élevée comparativement à une approche de type varactor. Dans un premier temps, la topologie et la conception d’une ligne TS-CPW basée sur des simulations électromagnétiques sont présentées en technologie BiCMOS. Dans un second temps, toujours sur la base de TS-CPWs, des déphaseurs présentant 3-bit de résolution, avec différentes valeurs de déphasage total (de 157.5° et 315°), ont été développés à une fréquence de fonctionnement égale à 60 GHz. Les TS-CPWs et les déphaseurs ont été réalisés avec la technologie BiCMOS 0.25 µm de l’institut IHP en Allemagne, puis mesurés à l’aide d’un analyseur de réseau à IHP et à l’IMEP-LaHc. / This work focuses on the design of millimeter-wave phase shifters based on a new topology of tunable transmission lines named Tunable Slow wave CoPlanar Waveguide (TS-CPW). TS-CPW uses, on one side, the slow wave phenomenon in order to miniaturize longitudinally the transmission line and to show a better quality factor than its integrated microstrip transmission line counterpart and, on the other side, the MEMS approach to achieve tunability of the transmission line with a good figure-of-merit. First, the topology, the design and the electromagnetic simulations of the TS-CPW based on MEMS (Micro Electro Mechanical system) are presented in a BiCMOS technology. Next, phase shifters with 3-bit of resolution based on TS-CPWs are developed at 60 GHz with two different values of total phase shift (157.5° and 315°). These TS-CPWs and phase shifters were fabricated in IHP’s 0.25 µm BiCMOS technology and measured on the vector network analyzers of IHP and IMEP-LaHC.

Les composants nano électroniques ont fait l'objet d'intérêt marqué, au sein de la communauté des concepteurs de circuits radiofréquence au cours de ces dernières années. Non seulement ils peuvent présenter des caractéristiques intéressantes, mais ils offrent la perspective d'améliorations de la miniaturisation des composants les plus avancés. Les nanotubes de carbone et les nanofils conducteurs sont attendus comme pouvant potentiellement constituer des blocs utilisables dans les futurs circuits aux très faibles dimensions. Les conducteurs métalliques sont utilisés depuis longtemps pour réaliser des composants passifs dans les circuits intégrés radio fréquence, cependant très peu de travaux ont été menés sur des conducteurs ayant des dimensions nanométriques et fonctionnant dans le domaine millimétrique. L'objectif de cette thèse est d'exploré les propriétés RF de conducteurs métalliques aux dimensions nanométriques et la possibilité de les intégrés dans des circuits utilisant des technologies CMOS. Dans cette thèse, des lignes de transmission et des antennes intégrées sur puce, utilisant des nanofils conducteurs, ont été conçues et réalisées en utilisant un processus de fabrication "top-down". Les caractéristiques en terme de transmission de signal ont été observées expérimentalement dans le domaine millimétrique par la mesure de paramètres S. Deux types de lignes ont été conçus : des lignes micro-ruban de faible épaisseur et des lignes coplanaires. Les caractéristiques en fonction de la fréquence du signal d'excitation ont été analysées. Différents paramètres comme la largeur, l'épaisseur, le nombre de nanofils et la distance entre les nanofils ont été étudiés. De plus, un modèle de propagation basée sur des ondes quasi-TEM a été proposé pour obtenir une compréhension fine du comportement physique des nanofils. Par ailleurs, une étude approfondies concernant les techniques d'épluchage (de-embedding) a été menée afin d'améliorer la précision des mesures. En parallèle, des antennes dipôle et IFA, utilisant des nanofils, ont été réalisées pour tester la transmission sans ligne de propagation. Différentes dimensions de conducteurs et différents types de substrats ont été utilisés pour étudier leurs propriétés et obtenir les meilleures performances. / Nano-electronic devices have attracted much attention for the radio frequency engineering community in recent years. They not only exhibit compelling characteristics but show promises to enhance the miniaturization of modern devices. Carbon nanotubes and conducting nanowires are believed to be potential building blocks for ultra-small chip of the future. Metallic wires have long been utilized as the passive components in the RF integrated circuit but there are very few studies on their nanoscale counterpart particularly up to millimeter-wave frequencies. The focus of this thesis is to explore RF properties of metallic nanowires and their potentials to be integrated in CMOS communication technology. In this thesis, transmission lines and on-chip antennas integrated with metallic nanowires were developed enabled by top-down fabrication processes. The signal transmission properties of such devices were characterized well into the mm-wave regime based on two-port S-parameters measurement. Two types of nano-transmission lines were designed: thin film microstrip lines and coplanar waveguides. Their transmission characteristics as a function of frequencies were analysed. Different parameters like the linewidth, thickness, number of nanowires, and the distance between the wires were examined. In addition, a quasi-TEM propagation model was proposed to provide a further insight into the physical behaviours of the nanowires. Moreover, a comprehensive study regarding the de-embedding techniques was carried out in order to improve measurement accuracy. Meanwhile, on-chip dipoles and planar meander-line inverted–F antenna were implemented to test the wireless signal transmission of the metallic nanowires. Various wires dimensions and substrates were designed to exploit their characteristics thus facilitating better transmission.

Submitted by Ana Letícia Sanches Silva null (leticiasansil@hotmail.com) on 2016-09-07T22:20:38Z No. of bitstreams: 1 Dissertação final.pdf: 1228681 bytes, checksum: 56460f6896924c1c6be4240984dbcdc4 (MD5) / Approved for entry into archive by Juliano Benedito Ferreira (julianoferreira@reitoria.unesp.br) on 2016-09-09T20:26:01Z (GMT) No. of bitstreams: 1 silva_als_me_sjrp.pdf: 1228681 bytes, checksum: 56460f6896924c1c6be4240984dbcdc4 (MD5) / Made available in DSpace on 2016-09-09T20:26:01Z (GMT). No. of bitstreams: 1 silva_als_me_sjrp.pdf: 1228681 bytes, checksum: 56460f6896924c1c6be4240984dbcdc4 (MD5) Previous issue date: 2016-09-05 / O presente trabalho tem como objetivo o estudo do romance Lignes de faille (2006), de Nancy Huston, escritora anglófona que adota o francês como língua de escrita a partir do momento em que se instala de forma permanente na França. A busca de identidade e o questionamento das histórias inscritas na História, temas retratados no livro em questão, que se pode contextualizar na vária literatura chamada de pós-moderna, pretendem ser estudados a partir das visões críticas da própria autora, expressas em seus livros de ensaios A espécie fabuladora (2010) e Nord perdu (1999). Além da visão de História e identidade como ficção, apresentados por ela em A espécie fabuladora, assim como a inseparável questão linguística que permeia todas as discussões identitárias e que está presente em Nord perdu, propõe-se o aprofundamento de reflexões sobre os conceitos de metaficção historiográfica (HUTCHEON, 1991), visando a abordagem da História no romance; sobre o conceito de sujeito pós-moderno (HALL, 1999) para repensar as questões identitárias e, de forma geral, a problematização do conceito de entre-lugar divulgado por Bhabha (BHABHA, 1999). / This thesis aims to study the novel Lignes de faille (2006), by Nancy Huston, Anglophone writer who adopts French as her writing language from the moment she moves and settles permanently in France. The search for identity and the questioning of the stories recorded in History, foundation themes for the construction of the book, to which is proposed a post-modern reading, are intended to be studied from the author's own critical views, stated in her essay books A espécie fabuladora (2010) and Nord perdu (1999). Besides the view of History and identity as fiction, presented by her in A espécie fabuladora, just as well as the inseparable linguistic issue that pervades every identity discussion, introduced in Nord perdu, it is proposed a deepening of the reflections with the concepts of historical metafiction (HUTCHEON, 1991), to look at the concept of History used in the novel; the application of the concept of the postmodern subject (HALL, 1999) to rethink the identity issues and, in general, the problematization of the concept of in-betweenness disclosed by Bhabha (BHABHA, 1999).

Une particularité importante du logiciel est sa capacité à être adapté et configuré selon différents scénarios. Récemment, la variabilité du logiciel a été étudiée comme un concept de première classe dans différents domaines allant des lignes de produits logiciels aux systèmes ubiquitaires. La variabilité est la capacité d'un produit logiciel à varier en fonction de différentes circonstances. Les systèmes à forte variabilité mettent en jeu des produits logiciels où la gestion de la variabilité est une activité d'ingénierie prédominante. Les diverses parties de ces systèmes sont couramment modélisées en utilisant des formes différentes de ''modèle de variabilité'', qui est un formalisme de modélisation couramment utilisé. Les modèles de caractéristiques (feature models) ont été introduits par Kang et al. en 1990 et sont une représentation compacte d'un ensemble de configurations pour un système à forte variabilité. Le grand nombre de configurations d'un modèle de caractéristiques ne permet pas une analyse manuelle. De fait, les mécanismes assistés par ordinateur sont apparus comme une solution pour extraire des informations utiles à partir de modèles de caractéristiques. Ce processus d'extraction d'information à partir de modèles de caractéristiques est appelé dans la littérature scientifique ''analyse automatisée de modèles de caractéristiques'' et a été l'un des principaux domaines de recherche ces dernières années. Plus de trente opérations d'analyse ont été proposées durant cette période. Dans cette thèse, nous avons identifié différentes questions ouvertes dans le domaine de l'analyse automatisée et nous avons considéré plusieurs axes de recherche. Poussés par des scénarios du monde réel (e.g., la téléphonie mobile ou la vidéo protection), nous avons contribué à appliquer, adapter ou étendre des opérations d'analyse automatisée pour l’évolution, le test et la configuration de systèmes à forte variabilité. / The large number of configurations that a feature model can encode makes the manual analysis of feature models an error prone and costly task. Then, computer-aided mechanisms appeared as a solution to extract useful information from feature models. This process of extracting information from feature models is known as ''Automated Analysis of Feature models'' that has been one of the main areas of research in the last years where more than thirty analysis operations have been proposed. In this dissertation we looked for different tendencies in the automated analysis field and found several research opportunities. Driven by real-world scenarios such as smart phone or videosurveillance domains, we contributed applying, adapting or extending automated analysis operations in variability intensive systems evolution, testing and configuration.

La complexité croissante des systèmes logiciels modernes a motivé la nécessité d'élever le niveau d'abstraction dans leur conception et mis en œuvre. L'usage des langages dédiés a émergé pour répondre à cette nécessité. Un langage dédié permet de spécifier un système logiciel à travers des concepts relatifs au domaine d'application. Cette approche a plusieurs avantages tels que la diminution des détails techniques auxquels les développeurs doivent faire face, la séparation des préoccupations et la participation des experts du domaine dans le processus de développement. Malgré les avantages fournis par l'usage des langages dédiés, cette approche présente des inconvénients qui remettent en question sa pertinence dans des projets réels de développement logiciel. L'un de ces inconvénients est le coût de la construction des langages dédiés. La définition et l'outillage de ces langages est une tâche complexe qui prend du temps et qui requiert des compétences techniques spécialisées. Le processus de développement des langages dédiés devient encore plus complexe lorsque nous prenons en compte le fait que ces langages peuvent avoir plusieurs dialectes. Dans ce contexte, un dialecte est une variante d'un langage qui introduit des différences au niveau de la syntaxe et/ou de la sémantique. Afin de réduire le coût du processus de développement des langages dédiés, les concepteurs des langages doivent réutiliser autant de définitions que possible pendant la construction des variantes. Le but est d'exploiter les définitions et l'outillage définis précédemment pour dunaire au maximum, la mis en ouvre des zéro dans la construction de langages. Afin de répondre à la question de recherche précédemment énoncée, la communauté de recherche autour de l'ingénierie des langages a proposé l'usage des lignes de produits. En conséquence, la notion de lignes de langages a récemment émergé. Une ligne de langages est une ligne de produis où les produits sont des langages. Le principal but dans les lignes de langages est la définition indépendante de morceaux de langage. Ces morceaux peuvent être combinées de manières différentes pour configurer des langages adaptés aux situations spécifiques. D'une manière similaire aux lignes de produits, les lignes de langages peuvent être construites à partir de deux approches différentes: top-down et bottom-up . Dans l'approche top-down, les lignes de langages sont conçues et mis en œuvre au travers d'un processus d'analyse du domaine où les connaissances du domaine sont utilisées pour définir un ensemble de modules de langage qui réalisent les caractéristiques de la ligne de langages. En outre, les connaissances du domaine sont aussi utilisées pour représenter la variabilité de la ligne de langages à travers des modèles bien structurés qui, en plus, servent à configurer des langages particuliers. Dans l'approche bottom-up, les lignes des langages sont construites à partir d'un ensemble de variantes des langages existant au travers de techniques d'ingénierie inverse. À partir des approches précédemment énoncées, nous proposons deux contributions : (1) Des facilités pour supporter l'approche top-down. Nous proposons une approche de modularisation des langages qui permet la décomposition des langages dédiés comme modules de langages interdépendants. En plus, nous introduisons une stratégie de modélisation pour représenter la variabilité dans une ligne de langages. (2) Techniques d'ingénierie inverse pour supporter l'approche bottom-up. Comme deuxième contribution, nous proposons une technique d'ingénierie inverse pour construire, de manière automatique, une ligne de langages à partir d'un ensemble de variantes de langages existantes. Nos contributions sont validées à travers des cas d'étude industriels. / The use of domain-specific languages (DSLs) has become a successful technique in the development of complex systems because it furnishes benefits such as abstraction, separation of concerns, and improvement of productivity. Nowadays, we can find a large variety of DSLs providing support in various domains. However, the construction of these languages is an expensive task. Language designers are intended to invest an important amount of time and effort in the definition of formal specifications and tooling for the DSLs that tackle the requirements of their companies. The construction of DSLs becomes even more challenging in multi-domain companies that provide several products. In this context, DSLs should be often adapted to diverse application scenarios, so language development projects address the construction of several variants of the same DSL. At this point, language designers face the challenge of building all the required variants by reusing, as much as possible, the commonalities existing among them. The objective is to leverage previous engineering efforts to minimize implementation from scratch. As an alternative to deal with such a challenge, recent research in software language engineering has proposed the use of product line engineering techniques to facilitate the construction of DSL variants. This led the notion of language product lines i.e., software product lines where the products are languages. Similarly to software product lines, language product lines can be built through two different approaches: top-down and bottom-up. In the top-down approach, a language product line is designed and implemented through a domain analysis process. In the bottom-up approach, the language product line is built up from a set of existing DSL variants through reverse-engineering techniques. In this thesis, we provide support for the construction of language product lines according to the two approaches mentioned before. On one hand, we propose facilities in terms of language modularization and variability management to support the top-down approach. Those facilities are accompanied with methodological insights intended to guide the domain analysis process. On the other hand, we introduce a reverse-engineering technique to support the bottom-up approach. This technique includes a mechanism to automatically recover a language modular design for the language product line as we as a strategy to synthesize a variability model that can be later used to configure concrete DSL variants. The ideas presented in this thesis are implemented in a well-engineered language workbench. This implementation facilitates the validation of our contributions in three case studies. The first case study is dedicated to validate our languages modularization approach that, as we will explain later in this document, is the backbone of any approach supporting language product lines. The second and third case studies are intended to validate our contributions on top-down and bottom-up language product lines respectively.