L'objet de la thèse est la modélisation de systèmes hétérogènes intégrant différents domaines de la physique et à signaux mixtes, numériques et analogiques (AMS). Une étude approfondie de différentes techniques d'extraction et de calibration de modèles comportementaux de composants analogiques à différents niveaux d'abstraction et de précision est présentée. Cette étude a mis en lumière trois approches principales qui ont été validées par la modélisation de plusieurs applications issues de divers domaines: un amplificateur faible bruit (LNA), un capteur chimique basé sur des ondes acoustiques de surface (SAW), le développement à plusieurs niveaux d'abstraction d'un capteur CMOS vidéo, et son intégration dans une plateforme industrielle. Les outils développés sont basés sur les extensions AMS du standard IEEE 1666 SystemC mais les techniques proposées sont facilement transposables à d'autres langages tels que VHDL-AMS ou Verilog-AMS utilisés en conception de dispositifs mixtes.

La demande croissante en carburants, ainsi que les changements climatiques dus au réchauffement planétaire poussent le monde entier à chercher des sources d’énergie capables de produire des combustibles alternatifs aux combustibles fossiles. Durant les dernières années, plusieurs sources potentielles ont été identifiées, les premières à être considérées sont les plantes oléagineuses comme source de biocarburant, cependant l’utilisation de végétaux ou d’huiles végétales ayant un lien avec l’alimentation humaine peut engendrer une hausse des prix des denrées alimentaires, sans oublier les questions éthiques qui s’imposent. De plus, l'usage des huiles non comestibles comme sources de biocarburants, comme l’huile de jatropha, de graines de tabac ou de jojoba, révèle un problème de manque de terre arable ce qui oblige à réduire les terres cultivables de l'industrie agricole et alimentaire au profit des cultures non comestibles. Dans ce contexte, l'utilisation de microorganismes aquatiques, tels que les microalgues comme substrats pour la production de biocarburant semble être une meilleure solution. Les microalgues sont faciles à cultiver et peuvent croitre avec peu ou pas d'entretien. Elles peuvent ainsi se développer dans des eaux douces, saumâtres ou salées de même que dans les terres non cultivables. Le rendement en lipide peut être largement supérieur aux autres sources de biocarburant potentiel, sans oublier qu’elles ne sont pas comestibles et sans aucun impact sur l'industrie alimentaire. De plus, la culture intensive de microalgues pour la production de biodiesel pourrait également jouer un rôle important dans l'atténuation des émissions de CO2. Dans le cache de ce travail, nous avons isolé et identifié morphologiquement des espèces de microalgues natives du Québec, pour ensuite examiner et mesurer leur potentiel de production de lipides (biodiesel). L’échantillonnage fut réalisé dans trois régions différentes du Québec: la région de Montréal, la gaspésie et le nord du Québec, et dans des eaux douces, saumâtres ou salées. Cent souches ont été isolées à partir de la région de Montréal, caractérisées et sélectionnées selon la teneur en lipides et leur élimination des nutriments dans les eaux usées à des températures différentes (10 ± 2°C et 22 ± 2°C). Les espèces ayant une production potentiellement élevée en lipides ont été sélectionnées. L’utilisation des eaux usées, comme milieu de culture, diminue le coût de production du biocarburant et sert en même temps d'outil pour le traitement des eaux usées. Nous avons comparé la biomasse et le rendement en lipides des souches cultivées dans une eau usée par apport à ceux dans un milieu synthétique, pour finalement identifié un certain nombre d'isolats ayant montré une bonne croissance à 10°C, voir une teneur élevée en lipides (allant de 20% à 45% du poids sec) ou une grande capacité d'élimination de nutriment (>97% d'élimination). De plus, nous avons caractérisé l'une des souches intéressantes ayant montré une production en lipides et une biomasse élevée, soit la microalgue Chlorella sp. PCH90. Isolée au Québec, sa phylogénie moléculaire a été établie et les études sur la production de lipides en fonction de la concentration initiale de nitrate, phosphate et chlorure de sodium ont été réalisées en utilisant de la méthodologie des surfaces de réponse. Dans les conditions appropriées, cette microalgue pourrait produire jusqu'à 36% de lipides et croitre à la fois dans un milieu synthétique et un milieu issu d'un flux secondaire de traitement des eaux usées, et cela à 22°C ou 10°C. Ainsi, on peut conclure que cette souche est prometteuse pour poursuivre le développement en tant que productrice potentielle de biocarburants dans des conditions climatiques locales. / The continuing increase in fuel demands, the dramatic situation in climate changes and the global warming are bringing the worldwide attention to the identification of alternative energy source for the production of combustibles that can replace fossil fuel. In last years, a lot of potential sources have been identified: the first potential biofuel feedstock that have been evaluated were oleaginous plants, but the utilization of vegetable, or vegetable oils, that may also be used for human feeding, could lead to the increase of food-grade oils costs and also generate ethic questions. Nevertheless, also using as biofuel sources not-edible oils, like oils from jatropha, tobacco seed or jojoba, the common problem for both edible and not-edible crops is the need to subtract arable land from agriculture and food industry. In this context, the utilization of aquatic microorganisms like microalgae as substrate for the production of biofuel seems to be the better solution. Microalgae are easy to cultivate and can grow with little or no attention, they can grow in fresh, brackish or salt water and in non-arable lands, moreover they are not edible with no consequences on food industry, and the oil productivity, with respect to the other potential biofuel sources, can be much higher. In addition, the intensive cultivation of microalgae for biodiesel production could also play an important role in CO2 mitigation. In this study, we isolated and morphologically identified Québec native micro algal species, surveyed and screened their potential for lipid (biodiesel) production. The sampling efforts made in three different regions of Québec: Montreal area, Gaspesie and Northern of Quebec; on fresh, brackish or saline water. One hundred strains were isolated from the Montreal area, characterized and screened for their lipid content and wastewater nutrient removal under different temperatures (10±2 ºC and 22±2 ºC). The high potential lipid producing algal species were selected. The use of wastewater as a substrate media decreases the economic cost realted to the biofuel production from microalgae as well as an interesting tool for wastewater treatment. We compared the biomass and lipid productivity of these strains on wastewater to a synthetic medium and identified a number of isolates that showed good growth at 10 ºC, gave a high lipid content (ranging from 20% to 45% of dry weight) or a high capacity for nutrient removal (>97% removal). Furthermore, we characterized one of the interesting strains that revealed high lipid and biomass productivity, the novel microalga Chlorella sp. PCH90. Its molecular phylogeny was established and lipid production studies as a function of the initial concentrations of nitrate, phosphate, and sodium chloride were carried out using Response Surface Methodology. Under the appropriate conditions this microalga could produce up to 36% lipid and grew well in both synthetic medium and secondary effluent from a wastewater treatment plant at both 22°C and 10°C. Thus, this strain is promising for further development as a potential biofuels producer under local climatic conditions.

La conception concourante de produits matériels centrée sur l'homme est basée sur une collaboration entre le concepteur mécanicien, l'ergonome et le designer industriel. Cette collaboration souvent difficile peut être facilitée par l'utilisation d'objets intermédiaires de conception, tels que la Réalité Virtuelle (RV). Néanmoins, bien que largement utilisée dans l'industrie, la RV souffre d'un déficit d'acceptation de la part des concepteurs de produits. Dans le cadre de ces travaux, nous proposons d'utiliser la RV sous la forme d'outils immersifs d'assistance à la convergence multidisciplinaire développés selon une démarche anthropocentrée en fonction des besoins spécifiques à chaque projet de conception de produits. Afin d'optimiser les délais de développement, nous proposons une méthodologie de conception d'applications immersive dédiée : la méthodologie ASAP(As Soon As Possible). Une première série expérimentale a été conduite dans le cadre de contrats industriels d'études et de recherche afin de valider la faisabilité de la méthodologie et l'efficacité des outils développés.Une deuxième série expérimentale a été effectuée sur plus de 50 sujets dans le cadre de projets, cette fois, pédagogiques qui ont nécessité le développement de 12 applications. Elle a permis de valider quantitativement l'influence des outils immersifs sur l'efficacité perçue des phases de convergence interdisciplinaires ainsi que l'influence de l'approche proposée sur l'acceptation de la RV par les concepteurs de produits. Ces travaux de thèse présentent une première approche qui, selon nous, permettra à terme, de faire évoluer l'usage de la RV vers une intégration plus forte au sein des processus de conception de produits avec, par exemple, une plus large utilisation des applications immersives de modélisation 3D, réelles sources d'innovation.

Ce mémoire porte sur les intuitions utilisées en philosophie morale contemporaine. Les intuitions sont interrogées sur trois aspects : leur nature, leur fiabilité et leur rôle. Concernant la nature des intuitions, celles-ci sont présentées comme des jugements spontanés ayant une valeur épistémique « à première vue ». Concernant la fiabilité des intuitions, trois grands types de raisons de douter de leur fiabilité sont considérés, à savoir les résultats de certaines études scientifiques montrant de diverses manières leur instabilité, les études réalisées par le mouvement de philosophie expérimentale afin d'illustrer le phénomène du désaccord intuitif, et enfin, le problème de l'origine douteuse des intuitions. Aucune de ces raisons n'est jugée efficace afin de discréditer l'usage des intuitions en philosophie. Concernant le rôle des intuitions, une distinction est proposée entre deux grands types d'usage philosophique contemporain. D'une part, ce qu'on peut appeler la méthodologie standard en philosophie morale contemporaine consiste en une combinaison d’expériences de pensée et de la méthode de l’équilibre réfléchi. Différentes manières d'aborder la méthode de l'équilibre réfléchi sont présentées, et le modèle de l'équilibre réfléchi large développé par Norman Daniels est jugé le plus efficace. D'autre part, les intuitions sont parfois utilisées en philosophie morale contemporaine dans le cadre de la théorie de l'intuitionnisme éthique. La théorie est défendue contre diverses objections, et elle est montrée compatible avec la méthode de l’équilibre réfléchi. / The object of this Master’s thesis is the intuitions used in contemporary moral philosophy. Intuitions are investigated on three aspects: their nature, their reliability, and their role. Regarding the nature of intuitions, they are presented as spontaneous judgments with “prima facie” epistemic value. Regarding the reliability of intuitions, three general types of reasons to question their reliability are considered, namely, the results of certain scientific studies showing in various ways Fiabilité des intuitionstheir unreliability, studies conducted in the field of experimental philosophy which emphasize the phenomenon of intuitive disagreement, and finally, the problem of the origin of intuitions. None of these reasons is judged good enough to discredit the use of intuitions in philosophy. Regarding the role of intuitions, a distinction is drawn between two main types of usage in contemporary philosophy. On the one hand, what can be called the “standard methodology” in contemporary moral philosophy consists in the combination of thought experiments and the method of reflective equilibrium. Different ways of construing the method of reflective equilibrium are considered, and the “Wide Reflective Equilibrium” model developed by Norman Daniels is judged the most successful. On the other hand, intuitions are sometimes used in contemporary moral philosophy in the context of the theory of ethical intuitionism. The theory is defended against various objections, and it is shown to be compatible with the method of reflective equilibrium.

No description available.

La thèse porte sur le statut sémantico-pragmatique des propositions relatives appositives (PRA), étudié à travers l’examen du fonctionnement discursif des phrases complexes de la forme ‘Matrice, qui PRA’ du français. Dans beaucoup de langues, les PRA n’interagissent pas sémantiquement avec les opérateurs présents dans leurs propositions enchâssantes et tendent à s’interpréter pragmatiquement comme porteuses d’informations non-centrales ou secondaires pour la question en discussion (QUD) du discours en cours. Plusieurs analyses (Holler 2005, Arnold 2007, Koev 2012) dissocient ces deux propriétés en dérivant la projection des PRA de leur statut d’assertions indépendantes et en expliquant leur lecture pragmatique à l’aide de principes généraux de gestion du flot discursif. En effet, lorsque les PRA apparaissent en fin de phrase, elles sont susceptibles d’interagir avec la QUD tout en ayant une portée large vis-à-vis du reste de la phrase. Certains phénomènes discursifs semblent néanmoins contredire l’idée que les PRA constituent des assertions indépendantes. D’abord, les PRA peuvent interagir avec la QUD seulement si leurs matrices véhiculent également des informations pertinentes pour le sujet en discussion. Ensuite, contrairement à ce que l’on peut observer dans une séquence de deux propositions indépendantes, dans une séquence formée d’une proposition matrice et d’une PRA, quel que soit l’ordre de leur linéarisation, la matrice s’interprète toujours comme centrale pour le discours, alors que le statut pragmatique de la PRA dépend fortement du degré d’informativité du reste de la phrase vis-à-vis de la QUD. Enfin, les résultats de deux études comportementales conduites pour la thèse montrent que, suite au traitement de phrases complexes comme ‘Matrice, qui PRA’, les référents du type ‘individu’ mentionnés par la matrice restent hautement saillants pour le discours subséquent contrairement à ceux dont il est question dans la PRA, qui jouissent d’un degré d’accessibilité assez faible. Partant de ces données, nous concluons que la lecture pragmatique centrale des PRA n’est pas une conséquence de leur statut d’assertions indépendantes mais résulte de l’intégration de leur contenu dans le domaine focal de leurs matrices. Plus généralement, en nous appuyant sur les travaux d’Ander Bois & al. (2010) et Schlenker (2013, ms), nous défendons l’idée que le manque d’interaction entre les PRA et le reste de leurs phrases d’accueil ainsi que leur prédisposition à une interprétation non-centrale pour le discours proviennent du fait, qu’à la différence de leurs matrices, dont l’énonciation s’accompagne de l’introduction d’un référent propositionnel nouveau, les PRA sont des anaphores propositionnelles, dont la portée sémantique et l’interprétation pragmatique dépendent de la position discursive de l’expression important dans l’univers du discours le référent auquel s’applique le contenu qu’elles expriment. / The thesis focuses on the semantic-pragmatic status of appositive relative clauses (ARC). We address this question by examining discourse functioning of complex sentences of the form ‘Matrix, qui ARC’ in French. Crosslinguistically, ARC fail to interact semantically with scope taking operators contained in their embedding clauses and tend to be interpreted pragmatically as carrying non-central or secondary information for the question under discussion (QUD) in the ongoing discourse. Several analysis (Holler 2005, Arnold 2007, Koev 2012) dissociate these two properties, deriving the ARC projection from their status of independent assertions and explaining their pragmatic reading with independent principles of the discourse flow management. Indeed, when an ARC follows linearly its embedding clause, it can interact with the QUD while still receiving a wide scope relatively to the rest of the host sentence. Some discursive phenomena seem nevertheless contradict the idea that ARC constitute independent assertions. First, an ARC can interact with a QUD only if its matrix clause also conveys information relevant to the subject under discussion. Second, contrary to what we observe examining sequences of two independent clauses, in sequences formed of a matrix clause and an ARC, regardless of the order of their linearization, the matrix clause is always interpreted as being at-issue for the discourse, while the pragmatic status of the ARC depends to a great extent on the degree of informativeness of the rest of the sentence relatively to the QUD. And, third, the results of two psycholinguistic experiments conducted as part of this study show that after processing a sentence such as ‘Matrix, qui ARC’, the entity-type referents realized by the matrix clause are highly salient for the subsequent discourse unlike those realized by the ARC, which have a rather low accessibility degree. Based on these data, we conclude that at-issue pragmatic reading of ARC is not a consequence of their functioning as independent assertions but results from integration of their content into the focal domain of the embedding clause. More generally, building on the works of AnderBois & al. (2010) and Schlenker (2013, ms), we defend the idea that the lack of interaction between ARC and the host sentences as well as their tendency to receive a not at-issue reading in discourse arise from the fact that unlike their matrix clauses, whose utterance has the effect of introducing a new propositional referent, ARC are propositional anaphora, the semantic and pragmatic interpretation of which depends thus on the discourse position of their antecedent expression, importing into the discourse the propositional referent the ARC’s content applies to.

L'ingénierie des systèmes complexes et systèmes de systèmes conduit souvent à des activités de modélisation (MA) complexes. Les problèmes soulevés par les MA sont notamment : comprendre le contexte dans lequel elles sont exécutées, comprendre l'impact sur les cycles de vie des modèles qu'elles produisent, et finalement trouver une approche pour les maîtriser. L'objectif principal de cette thèse est d'élaborer une approche formelle pour adresser ce problème. Dans cette thèse, après avoir étudié les travaux connexes en ingénierie système et plus spécifiquement ceux qui portent sur la co-ingénierie du système à faire (le produit) et du système pour faire (le projet), nous développons une méthodologie nommée MODEF pour traiter ce problème. MODEF consiste en: (1) Caractériser les MA comme un système et plus généralement une fédération de systèmes. (2) Construire de manière itérative une architecture de ce système via la modélisation du contenu conceptuel des modèles produits par MA et leur cycle de vie, les tâches réalisées au sein des MA et leurs effets sur ces cycles de vie. (3) Spécifier les attentes sur ces cycles de vie. (4) Analyser les modèles (des MA) par rapport à ces attentes (et éventuellement les contraintes sur les tâches) pour vérifier jusqu'à quel point elles sont atteignables via la synthèse des points (ou états) acceptables. D'un point de vue pratique, l'exploitation des résultats de l'analyse permet de contrôler le déroulement des tâches de modélisation à partir de la mise en évidence de leur impact sur les modèles qu'elles produisent. En effet, cette exploitation fournit des données pertinentes sur la façon dont les MA se déroulent et se dérouleraient de bout en bout. A partir de ces informations, il est possible de prendre des mesures préventives ou correctives. Nous illustrons cela à l'aide de deux cas d'étude (le fonctionnement d'un supermarché et la modélisation de la couverture fonctionnelle d'un système). D'un point de vue théorique, les sémantiques formelles des modèles des MA et le formalisme des attentes sont d'abord données. Ensuite, les algorithmes d'analyse et d'exploitation sont présentés. Cette approche est brièvement comparée avec des approches de vérification des modèles et de synthèse de systèmes. Enfin, deux facilitateurs de la mise en œuvre de MODEF sont présentés. Le premier est une implémentation modulaire des blocs de base de MODEF. Le second est une architecture fédérée (FA) des modèles visant à faciliter la réutilisation des modèles formels en pratique. La formalisation de FA est faite dans le cadre de la théorie des catégories. De ce fait, afin de construire un lien entre abstraction et implémentation, des structures de données et algorithmes de base sont proposés pour utiliser FA en pratique. Différentes perspectives sur les composantes de MODEF concluent ce travail. / The engineering of complex systems and systems of systems often leads to complex modelling activities (MA). Some challenges exhibited by MA are: understanding the context where they are carried out and their impacts on the lifecycles of models they produce, and ultimately providing a support for mastering them. How to address these challenges with a formal approach is the central challenge of this thesis. In this thesis, after discussing the related works from systems engineering in general and the co-engineering of the system to be made (product) and the system for make (project) systems specifically, we position and develop a methodology named MODEF, that aims to master the operation of MA. MODEF consists in: (1) characterizing MA as a system (and more globally as a federation of systems) in its own right; (2) iteratively architecting this system through: the modelling of the conceptual content of the models produced by MA and their life cycles, the tasks carried out within MA and their effects on these life cycles; (3) specifying the expectations over these life cycles and; (4) analysing models (of MA) against expectations (and possibly tasks constraints) - to check how far expectations are achievable - via the synthesis of the acceptable behaviours. On a practical perspective, the exploitation of the results of the analysis allows figuring out what could happen with the modelling tasks and their impacts on the whole state of models they handle. We show on two case studies (the operation of a supermarket and the modelling of the functional coverage of a system) how this exploitation provides insightful data on how the system is end-to-end operated and how it can behave. Based on this information, it is possible to take some preventive or corrective actions on how the MA are carried out. On the foundational perspective, the formal semantics of three kinds of involved models and the expectations formalism are first discussed. Then the analysis and exploitation algorithms are presented. Finally this approach is roughly compared with model checking and systems synthesis approaches. Last but not least, two enablers whose first objectives are to ease the implementation of MODEF are presented. The first one is a modular implementation of MODEF's buildings blocks. The second one is a federated architecture (FA) of models which aims to ease working with formal models in practice. Despite the fact that FA is formalised within the abstract framework of category theory, an attempt to bridge the gap between abstraction and implementation is sketched via some basic data structures and base algorithms. Several perspectives related to the different components of MODEF conclude this work.

Cette thèse s’inscrit de manière indirecte dans la problématique des risques psychosociaux. A la demande d’un groupe mondial de l’industrie électrique, nous sommes entré dans la question en renversant le problème. Nous avons étudié les instruments psychosociaux de la santé au travail chez les managers de proximité. Le développement du pouvoir d’agir protège la santé et la formation de nouveaux buts est un organisateur de ce développement. Nous avons donc cherché à comprendre et à expliquer comment de nouveaux buts se forment dans et par les dialogues entre pairs sur le travail. L’analyse de discours a permis d’identifier une opération langagière et deux opérations psychologiques qui concourent au renouvellement des buts d’action : la reprise de discours dans le discours, la différenciation des sources de but et l’institution de liaison entre les activités. Sur la base de ces résultats, nous définissons les conditions que les dialogues entre pairs doivent réunir pour être un instrument de la santé. / This thesis is a contribution to the field of psychosocial risks at work. It reports how, in order to respond to the command of an international corporation of electrics industry, we entered the question of psychosocial risk at work, and how we managed to reverse the question. We ‘ve been studying, in a team managers’ group, the psychosocial tools used in order to build and maintain health at work. in the perspective of Clinic of Activity, we know firstly that the development of « power to act » in activity protects and promotes health at work, and secondly that the creation of new goals is a medium of this development. That is why , in this research project, we aimed to understand the creation process of new goals in activity, and we studied this process in a specific frame : in and by the way of dialogues about work activity among professional peers. Discourse analysis permit to identify three different processes, a language process and two psychological ones, that all participate to a renew of goals. Those processes are : 1) a new iteration, in the discourse, of a verbal statement taken from another discourse ; 2) the differentiation of goal’s origins ; and 3) the elaboration of new links between activities. Those issues allows us to define some of the significant properties of dialogue as a tool for health promotion between peers at work.

Tout d’abord, nous abordons les problématiques liées à l’organisation et à la gestion des connaissances ainsi que les principes présidant à l’élaboration des classifications à facettes. Nous proposons ensuite une synthèse des méthodes existantes d’élaboration de classifications à facettes. Nous poursuivons en réalisant une analyse de l’impact des types de Systèmes d’Information sur l’activité de gestion de l’information. Ce faisant, nous produisons une analyse de l’activité inspirée de la Théorie de l’Activité, et influencée par les travaux de la psychologie du travail et de l’ergonomie cognitive. Le prototype Hypertagging développé dans le cadre du projet Miipa-Doc fondé sur le tagging des utilisateurs et structuré par les principes de la classification à facettes est présenté. Notre expérimentation sur l’élaboration de classifications à facettes pour la gestion des documents de travail est détaillée. Enfin, nous exposons notre méthodologie d’élaboration de FolkClassifications à facettes pour la gestion des connaissances métier. Elle vise à appuyer une démarche de gestion des connaissances sur la gestion personnelle de l’information / We address Knowledge Organization and Knowldege Management general issues and we present the basic principles for the development of faceted classifications. Then we introduce a synthesis of existing methods to develop this kind of classification. Next we propose an analysis of effects of Information Systems on information management activities. By doing this, we produce an analysis of the concept of activity inspired by Activity Theory, occupational psychology and french ergonomics. A presentation of Hypertagging prototype developed in the frame of Miipa-Doc research project, based on users tagging and structured by faceted classification principles, is provided. Our experiment about generating faceted classification for document management activities is detailed. Finally, we expose our method for the development of faceted classification for Knowledge Management purposes in the context of specific trades. This Knowledge Management approach is incorporated in Knowledge Organization activities.

No description available.