Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Cette étude comparative des systèmes verbaux du persan et du français est constituée de trois chapitres. Nous consacrerons le début de cette thèse au verbe persan. Le premier chapitre débutera donc par la définition du verbe dans cette langue puis il se poursuivra par l’exposé des caractéristiques du verbe persan et des catégories morphologiques associées au verbe. Le deuxième chapitre de ce travail, plus concis que le précédent, est consacré au verbe français. Dans le dernier chapitre, en essayant de trouver un équivalent en français pour tous les modes et temps verbaux du persan, nous avons abordé une étude comparative de leurs emplois dans chacun de leurs contextes. En conclusion nous avons repris, en comparant l’entièreté des chapitres qui composent ce travail, les points de divergence les plus importants des deux langues. Cette étude montre en effet qu'en persan comme en français les " temps verbaux ", ou prétendus tels, ne sont pas des marqueurs temporels fiables, aptes à organiser la chronologie relativement au moment de l'énonciation. Le caractère non déictique du système verbal persan est encore plus marqué que celui du système français. Le présent travail nous permet alors de constater d’emblée qu’il existe à la fois une grande ressemblance « typologique » entre les deux langues et, dans le détail du fonctionnement, de multiples dissemblances. / This comparative study of verbal system in Persian and French languages consists of three chapters. The first chapter of this thesis is devoted to Persian verb. It begins with definition of verb in this language, then it continues with explanation of characteristics of Persian verb and morphological categories associated to the verb. The second chapter of this research briefer than the previous one has been consecrated to the French verb. In the last chapter, trying to find a French equivalent for all the modes and tens of Persian verb, we have broached a comparative study of their usages in each context. Conclusions section summarizes the main results of our study and allows us to underline the most important divergences between these two languages. It notably shows that in Persian language as in French language « the verbal tense », or pretended as, is not a reliable temporal marker qualified to organize the relative chronology to moment of enunciation. The no deictic character of Persian’s verbal system is more pronounced than in French one. Finally the present study allows us to notice that it exists also a great « typological » resemblance between the two languages and numerous dissimilarities in detail of functioning.

La simulation des systèmes embarqués multiprocesseurs (MPSoC), dés les premières phases de conception, joue un rôle primordial puisqu'elle permet de réduire le temps d'arrivée sur le marché du produit final. Néanmoins, comme ces MPSoC deviennent de plus en plus complexes et hétérogènes, les méthodes conventionnelles de simulation de bas niveau ne sont plus adéquates. La solution proposée à travers cette thèse est l'intégration dans un seul environnement de plusieurs niveaux de simulation. Ceci permet l'évaluation des performances à un niveau précoce dans le flot de conception. L'environnement est utile dans l'exploration de l'espace des solutions architecturales et permet de converger rapidement vers le couple Architecture/Application le plus adéquat. Dans la première partie de cette thèse, nous présentons un outil de simulation performant et qui offre, à travers les trois niveaux qui le composent, différents compromis entre la vitesse de simulation et la précision de l'estimation des performances. Ces trois niveaux se différencient par les détails de l'architecture nécessaires à chacun et se basent sur le standard SystemC-TLM. Dans la deuxième étape, nous nous sommes intéressés à la consommation d'énergie dans les MPSoc. Pour cela, nous avons enrichi notre environnement de simulation par des modèles de consommation d'énergie flexibles et précis. Enfin dans la troisième étape de notre thèse, une chaîne de compilation basée sur la méthodologie Ingénierie Dirigée par les Modèles (!DM) est développée et intégrée à l'environnement Gaspard. Cette chaîne permet la génération automatique du code SystemC à partir d'une modélisation de haut niveau d'un MPSoc. / Multiprocessor system on chip (MPSoC) simulation in the first design steps has an important impact in reducing the time to market of the final product. However, MPSoC have become more and more complex and heterogeneous. Consequently, traditional approaches for system simulation at lower levels cannot adequately Support the complexity needed for the design of future MPSoc. ln this thesis, we propose a framework composed of several simulation levels. This enables early performance evaluation in the design flow. The proposed framework is useful for design space exploration and permits to find rapidly the most adequate Architecture/Application configuration. ln the first part ofthis thesis, we present an efficient simulation tool composed of three levels that offer several performance/energy tradeoffs. The three levels are differentiated by the accuracy of architectural descriptions based on the SystemC- TLM standard. ln the second part, we are interested by the MPSoC energy consumption. For this, we enhanced Our simulation framework with flexible and accurate energy consumption models. FinaIly in the third part, a compilation chain based on a Model Driven Engineering (MDE) approach is developed and integrated in the Gaspard environment. This chain allows automatic SystemC code generation from high level MPSoC modeling.

Notre thèse porte sur la Modélisation d'Entreprise et plus particulièrement sur une vision Ingénierie Système de celle-ci afin de faciliter son application « à minima » en entreprise. Alors que la modélisation d’entreprise arrive à maturité scientifique et technologique, force est de constater que sa pratique est encore trop peu courante. En outre, il n’existe pas à proprement parler de tâche de modélisation, de maintenance et de gestion de modèles dans l’entreprise. La question s’est alors posée de la relation d’interopération entre les systèmes, d’un Système-Entreprise évolutif, le plus souvent composé de façon ad-hoc de sous-systèmes (COTS), qui ont pour particularité d’encapsuler leur propre Savoir-Faire et leurs Ingénieries respectives, en incluant le Système-Produit (son besoin, son projet, …) à la source de chaque recomposition « à la demande » du Système-Entreprise. Un des objectifs de nos travaux est donc de faciliter l’interopération entre les ingénieries de ces systèmes interopérants (autour du produit A Faire) et l’Ingénierie du Système-Projet d’Entreprise (Pour Faire). Nous nous sommes alors inspirés de la proposition de Kuras pour formaliser notre Système-Entreprise (en fait son Ingénierie) dans une sorte de « Système de Systèmes d’Information » (SdSI) en tenant compte de ses aspects récursifs et multi-échelles dans un contexte organisationnel évolutif. De plus, en nous appuyant sur la théorie des patterns, nous avons identifié puis dérivé le « composite-pattern» pour mieux décrire la nature « Tout et Partie » de l’Holon Système-Entreprise utilisé par Kuras pour extraire le patron de conceptualisation le plus adéquat. Parmi tous les points de vue d’un système, cette dérivation nous permet de représenter ceux du Système A Faire et ceux du Système Pour Faire avec son contenu d’Ingénierie associée guidée par le cadre de modélisation de Zachman. Nous avons outillé notre proposition de cadre d’Ingénierie Système Basée sur des Modèles (ISBM) en étendant le méta-modèle de l’outil « MEGA Modelling Suite » ainsi qu’en développant les interfaces utilisateurs nécessaires et nous l’avons appliqué à l’Ingénierie d’un Système de Traçabilité d’un Produit dans le contexte d’un scénario PLM plausible entre l’AIPL et DIMEG. / Today’s needs for more capable enterprise systems in a short timeframe are leading more organizations toward the integration of existing component-systems. In the domain of Enterprise Modelling and more generally on Systems Engineering, the key issue is related to aligning enterprise models with the composite structure of the modelled systems. While Enterprise Modelling matures both scientifically and technologically, it is clear that its practice is still uncommon in the enterprises. There is no modelling approach in enterprise, neither even capitalization of models. This paper aims at proposing a Model-Based System Engineering (MBSE) approach, by using the recursion principle, together with a “multiple scales system thinking”, for capitalizing the engineering know-how, over time, during a project lifecycle. In this context, we advocate that, within an enterprise, the heterogeneous set of Information Systems may be considered as COTS (Commercial-Off-The-Shelf), encapsulating their own expertise (engineering), and contributing all together to a single System-of-Information System (SoIS). We are then proposing a SoIS engineering methodology resulting from deriving our MBSE approach with a recursive view of the Zachman framework. This approach, based on modelling rules and enterprise modelling constructs, is contributing to ensure the consistency and the completeness of the various heterogeneous models interoperating during systems engineering projects. To validate our MBSE proposal, a modelling tool has been prototyped. It helped at applying our SoIS engineering methodology in a use case scenario related to the requirement analysis and the specification of a product traceability system.

La planification est un domaine de l'intelligence artificielle qui a pour but de proposer des méthodes permettant d'automatiser la recherche et l'ordonnancement d'ensembles d'actions afin d'atteindre un objectif donné. Un ensemble ordonné d'actions solution d'un problème de planification est appelé un plan. Parfois, les actions disponibles peuvent avoir un coût - on souhaite alors trouver des plans minimisant la somme des coûts des actions les constituant. Ceci correspond en fait à la recherche d'un chemin de coût minimal dans un graphe, et est donc traditionnellement résolu en utilisant des algorithmes tels que A*. Dans cette thèse, nous nous intéressons à une approche particulière de la planification, dite factorisée ou modulaire. Il s'agit de décomposer un problème en plusieurs sous-problèmes (généralement appelés composants) le plus indépendants possibles, et d'assembler des plans pour ces sous-problèmes en un plan pour le problème d'origine. L'intérêt de cette approche est que, pour certaines classes de problèmes de planification, les composants peuvent être bien plus simples à résoudre que le problème initial. Dans un premier temps, nous présentons une méthode de planification factorisée basée sur l'utilisation d'algorithmes dits à passage de messages. Une représentation des composants sous forme d'automates à poids nous permet de capturer l'ensemble des plans d'un sous-problème, et donc de trouver des plans de coût minimal, ce que ne permettaient pas les approches précédentes de la planification factorisée. Cette première méthode est ensuite étendue~: en utilisant des algorithmes dits « turbos », permettant une résolution approchée des problèmes considérés, puis en proposant une représentation différente des sous-problèmes, afin de prendre en compte le fait que certaines actions ne font que lire dans un composant. Ensuite, nous proposons une autre approche de la planification factorisée, basée sur une version distribuée de l'algorithme A*. Dans chaque composant, un agent réalise la recherche d'un plan local en utilisant sa connaissance du sous-problème qu'il traite, ainsi que des informations transmises par les autres agents. La principale différence entre cette méthode et la précédente est qu'il s'agit d'une approche distribuée de la planification modulaire. / Automated planning is a field of artificial intelligence that aims at proposing methods to chose and order sets of actions with the objective of reaching a given goal. A sequence of actions solving a planning problem is usually called a plan. In many cases, one does not only have to find a plan but an optimal one. This notion of optimality can be defined by assigning costs to actions. An optimal plan is then a plan minimizing the sum of the costs of its actions. Planning problems are standardly solved using algorithms such as A* that search for minimum cost paths in graphs. In this thesis we focus on a particular approach to planning called factored planning or modular planning. The idea is to consider a decomposition of a planning problem into almost independent sub-problems (or components). One then searches for plans into each component and try to assemble these local plans into a global plan for the original planning problem. The main interest of this approach is that, for some classes of planning problems, the components considered can be planning problems much simpler to solve than the original one. First, we present a study of the use of some message passing algorithms for factored planning. In this case the components of a problem are represented by weighted automata. This allows to handle all plans of a sub-problems, and permits to perform factored cost-optimal planning. Achieving cost-optimality of plans was not possible with previous factored planning methods. This approach is then extended by using approximate resolution techniques ("turbo" algorithms) and by proposing another representation of components for handling actions which read-only in some components. Then we describe another approach to factored planning: a distributed version of the famous A* algorithm. Each component is managed by an agent which is responsible for finding a local plan in it. For that, she uses information about her own component, but also information about the rest of the problem, transmitted by the other agents. The main difference between this approach and the previous one is that it is not only modular but also distributed.

Cette recherche s’intéresse aux représentations mentales d’adultes ayant des expertises différentes en biologie végétale.Comme l’indiquent les nombreuses études faites dans ce domaine, l’expertise a des conséquences sur le système cognitif : augmentation et profondeur des connaissances et organisation différente de ces connaissances. Nous nous intéressons à différents types d’expertise en considérant des tout-venant, des viticulteurs et des biologistes. Le premier test consiste à mesurer les connaissances des participants sur la biologie végétale. Puis, à l’aide de deux outils, le modèle de codage SFC de Goel et al. (1996) et l’analyse du discours, nous avons recueilli les connaissances contextuelles (test 2) et des productions d’inférences (test 3) des participants afin d’observer les différentes représentations mentales selon le modèle de la triangulation systémique (Le Moigne, 2006) et les caractéristiques des connaissances. Le nombre de connaissances et leurs caractéristiques observées sont compatibles avec nos hypothèses, toutefois, nous ne constatons pas de différence entre les représentations des tout-venant et des viticulteurs en termes de pôles systémiques (structure, fonction, comportement).L’ensemble des résultats confirme l’intérêt porté aux types d’expertise dans un même domaine. Nous proposons dans une recherche future d’explorer l’effet de la transmission culturelle chez le jeune enfant en fonction de l’expertise des parents. / This research looks into the mental representations of adults who have different levels of expertise in vegetal biology.As many studies in this field indicate, expertise has consequences on the cognitive system: increase and depth of knowledge, and different organization of this knowledge. We focus on different types of expertise by considering all-comers, wine-growers and biologists. The first test is meant to measure participants’ knowledge in vegetal biology. Then using the SBF coding model of Goel et al. (1996) and analysis of discourse, we gathered participants’ contextual knowledge (test 2) and productions of inferences (test 3) in order to observe the different mental representations according to the systemic triangulation model (Le Moigne, 2006) and the characteristics of knowledge. The amount and characteristics of knowledge we observed are in accordance with our hypothesis; however, we do not observe any difference between all-comers’ and wine-growers’ representations in terms of systemic poles (structure, function, behavior). The results as a whole confirm the interest in types of expertise within one field. In a future research, we suggest the study of the effect of cultural transmission on young children according to their parents’ level of expertise.

Dans l'ingénierie avionique, les tests d'intégration sont cruciaux : ils permettent de s'assurer du bon comportement d'un avion avant son premier vol, ils sont nécessaires au processus de certification et permettent des tests de non-régression à chaque nouvelle version d'un système, d'un logiciel ou d'un matériel. La conception d'un test d'intégration coûte cher car elle mêle la réalisation de la procédure, le paramétrage de nombreux outils couplés au banc de test ainsi que l'adressage des interfaces du système testé. Avec des procédures de test écrites en langage naturel, l'interprétation des instructions d'un test lors de son rejeu manuel peut provoquer des erreurs coûteuses à corriger, en raison notamment des actions précises à entreprendre lors de l'exécution d'une instruction de test. La formalisation et l'automatisation de ces procédures permettraient aux équipes de testeurs de se concentrer sur la réalisation de nouveaux tests exploratoires et sur la mise au point de tels systèmes au plus tôt. Or, un système avionique est composé de plus d'une centaine de systèmes embarqués, chacun concernant des compétences spécifiques. Notre contribution est alors un framework orchestrant les langages de test dédiés à l'intégration de systèmes avioniques dans une vision Agile. Nous introduisons tout d'abord le concept de langage spécifique à un domaine (Domain Specific Language ou DSL) et montrons comment nous l'utilisons pour la formalisation des procédures de test dédiées à un type de système particulier. Ces langages devront pouvoir être utilisés par des testeurs avioniques qui n'ont pas forcément de compétences en informatique. Ils permettent l'automatisation des tests d'intégration, tout en conservant l'intention du test dans la description des procédures. Puis, nous proposons l'approche BDD (Behavior Driven Development) pour valider l'intégration de systèmes par scénarios comportementaux décrivant le comportement attendu de l'avion. Nous nommons Domain Specific Test Languages (DSTL) les langages utilisés par les testeurs. A chaque système (ATA ou Air Transport Association of America) correspond un DSTL métier. Un premier DSTL concernant les systèmes de régulation de l'air a été développé entièrement en tant que preuve du concept à partir de procédures existantes pseudo-formalisées. L'expérimentation s'est poursuivie avec les calculateurs standardisés IMA (Integrated Modular Avionic) pour lesquels les procédures de test sont décrites en langage naturel et sont donc non automatisables. A partir d'un corpus de procédures, nous proposons un premier processus empirique d'identification des patrons de phrases peuplant un DSTL. Le corpus fourni est composé de dix procédures totalisant 108 chapitres de test et 252 tests ou sous-tests comportant au total 3708 instructions pour 250 pages Word. Rendre agile ces tests d'intégration consiste à proposer une approche collaborative pour formaliser un DSTL que ce soit pour les patrons de phrase de la grammaire concrète ou pour les patrons de transformations vers des langages exécutables. / In avionics engineering, integration tests are crucials: they allow to ensure the right behavior of an airplane before his first flight, they are needed to the certification process and they allow non-regression testing for each new version of a system, of a software or of a hardware. The design of an integration test is expensive because it involves the implementation of the procedure, the configuration of tools of the bench and the setup of the interfaces of the system under test. With procedure written in natural language, the interpretation of statements of a test during the manual execution can lead to mistakes that are expensive to fix due to accurate actions needed to perform a statement. The formalization and the automation of those procedures allow testers team to focus on the implementation of new test cases. First of all, we introduce Domain Specific Language (DSL) and show how we use it to formalize tests procedures dedicated to a kind of system. Those languages should be able to be use by avionic testers which do not necessarily have programming skills. They allow test automation, while maintaining test intention in the test description. Then, we proposed a BDD (Behavior Driven Development) approach to validate the integration of systems thanks to behavioral scenarios describing the expected behavior of the airplane. Our contribution is a framework which orchestrate DSLs dedicated to integration test of avionic systems in an Agile vision. We named Domain Specific Test Languages (DSTL), languages used by expert testers. For each system (ATA ou Air Transport Association of America) corresponds a DSTL business. A first DSTL about the validation of airflow control systems has been developed as a proof of concept from existing procedures pseudo-formalized. The experimentation has been continued with IMA (Integrated Modular Avionic) calculators for which test procedures are written in natural language and thus are not automatable. From a corpus of procedures, we propose a first empirical process to identify sentence patterns composing the DSTL. The corpus provided is composed by ten procedures totaling 108 test chapters and 252 tests or subtests involving 3708 statements for a total of 250 Word pages. Make Agile integration tests in this context consist to propose a collaborative approach to formalize a DSTL and to integrate it in the orchestration framework to generate automatically the glu code.

Le sujet principal de la thèse est le transport dans les systèmes mésoscopiques. Dans une première partie de lathèse, on étudie le cas d’un branchement adiabatique d’un biais de potentiel sur un système unidiensionnel sansrépartition initiale. On démontre que le courant complet est uniformément borné par rapport à la vitesse debranchement adiabatique, lorsque celle-ci tend vers zéro. On démontre l’existence de la partie linéaire de l’étatet du courant. La seconde partie de la thèse a donné lieu à a publication d’un article et elle consiste en l’étuded’un modèle discret, sans répartition initiale. On démontre que, dans ce système et après une perturbationélectrochimique, il existe un état stationnaire hors équilibre, et on retrouve la formule de Landauer-Büttikerpour ce modèle. La dernière partie de la thèse, qui a également donné lieu à un article, porte sur l’étude del’approximation des guides d’onde quantiques par des graphes quantiques. On s’intéresse à un guide d’ondelocalement torsadé. On étudie moins le Laplacien sur ce guide d’onde torsadé. Lorsque e diamètre du guidetend vers zéro et, simultanément, lorqsue le support de la courbure tend vers zéro, on démontre que le graphelimite est la ligne droite, et que l’opérateur limite est moins le Laplacien sur L2 (R) plus une condition deDirichlet à l’origine. Cette condition de Dirichlet est la conséquence des rétrécissements faits. En Annexe, ondonne des démonstrations et explications plus détaillées et utiles pour la compréhension de points clés de lathèse. / The main topic of the thesis is the transport in mesoscopic systems. In the first part of the work, we study thecase of a connection through an adiabatic potential on a one dimensional system without initial distribution, wesaid a “partition-free approach”. It is shown that the full current is uniformly bounded with respect to theadiabatic speed of connection, when it goes to zero. We prove the existence of the linear part of the state andcurrent. The second part of the thesis has led to publication of an article and deals with the study of a discretemodel without initial distribution. We prove that in this system and after an electrochemical disturbance thereexists a nonequilibrium steady state, and the Landauer-Büttiker formula is demonstrated for this model.The last part of the thesis, which also has led to an article, concerns the study of the approximation of quantumwaveguides by quantum graphs. We are interested in a waveguide locally twisted. We studyminus theLaplacian on this locally twisted waveguide. When the diameter of the guide goes to zero and simultaneouslywhen the support of the twisting goes to zero, we prove that the limit graph is the straight line, and the limitoperator is minus the Laplacian on the straight line plus a Dirichlet condition at the origin. The Dirichletcondition is the consequence of the shrinking done. In the appendix, we