Le logiciel embarqué est devenuaujourd’hui incontournable dans la plupart dessecteurs industriels. Ce dernier fait appel engénéral à des connaissances métier différentes.L’ensemble du système (le logiciel et sonenvironnement) est ainsi spécifié d’une manièrehétérogène, avec des parties discrètes et d’autrescontinues. La simulation de ces systèmeshybrides nécessite des données précises et unesynchronisation des changements continus avecles transitions discrètes. Mais, dans les premièresphases de conception, l’absence des informationsempêche de simuler le système numériquement.Dans notre thèse, nous présentons un nouveaulangage qualitatif dédié à la simulationqualitative des systèmes hybrides. Ce nouveaulangage consiste à modéliser les relations entreles variables du système. Il est implémenté dansDiversity, un moteur d’exécution symbolique,pour construire les traces du système. Nousavons appliqué cette approche à l’analyse desmodèles SysML, en utilisant une transformationM2M à partir de SysML vers un langage pivot,une transformation M2T à partir de ce langagevers Diversity. Nous avons aussi analysé lestraces brutes de l’exécution symbolique deDiversity pour construire les comportementsqualitatifs du système. / Embedded software has becomeessential in most industrial sectors. The latterusually involves various business knowledge.The whole system (the software and itsenvironment) is specified in a heterogeneousform, with discrete and continuous parts.Simulating these hybrid systems requiresprecise data and synchronization of continuouschanges and discrete transitions. However, inthe first design steps, missing informationforbids numerical simulation. We present in ourthesis a new qualitative language for qualitativesimulation of hybrid systems, which consists incomputing the relationships between the systemvariables. This language is implemented in theDiversity symbolic execution engine to build thetraces of the system. We apply this approach tothe analysis of SysML models, using an M2Mtransformation from SysML to a pivot language,an M2T transformation from this language toDiversity. We also analyze the brutal symbolictraces obtained by Diversity to build the realqualitative behaviors of the system.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal. / Les régions-ressources sont affectées par un processus de dévitalisation qui hypothèque leur avenir. Une situation inférieure à la moyenne québécoise au niveau de la santé et de l'éducation, un taux de chômage plus élevé et la migration des -jeunes vers les grands centres sont les principaux constats qui se dégagent d'une analyse des six régions-ressources du Québec. Le but de cette recherche est de vérifier si les nouvelles alternatives d'aménagement forestier, qui considèrent plusieurs ressources simultanément, tendent vers une occupation viable du territoire. La juxtaposition des paradigmes de la gestion rationnelle et intégrée des ressources, de l'éco— développement et du développement durable a démontré la prépondérance de deux objectifs en aménagement forestier, soit la 5atisfaction des besoins des populations et la conservation de la biodiversité. Ces deux objectifs formeront la base d'un modèle de développement que nous appliquerons à une région-ressources. L'étude de cas couvre l'ensemble du territoire d'intervention du Groupement forestier de l'Est du lac Témiscouata inc. (G.1-ELT), soit les municipalités de Dégelis, Notre-Dame-du-Lac, Saint-Juste-du-Lac, Lejeune, Squatec et Auclair, municipalités situées dans la région administrative du Bas-Saint-Laurent. Une description des principales caractéristiques biophysiques et sociales de ce territoire, sur une base historique, démontre que son développement est intimement lié à la ressource forestière. Cependant, le grand nombre d'intervenants, la spécificité de leurs champs de compétence et les particularités sociodémographiques de la région caractérisent une trame sociosylvicole complexe. Dans ce contexte, notre hypothèse de recherche est: le Gl-±IT propose des aménagements multiressources qui accroissent les bénéfices de l'aménagement forestier pour la communauté, par une meilleure conservation de la biodiversité des peuplements forestiers et la satisfaction des besoins des propriétaires de lots boisés Pour vérifier si les interventions multiressources permettent effectivement de conserver davantage la biodiversité que les autres formes d'interventions, un inventaire de la végétation des aires exploitées au cours des années 1995 et 1996 a été réalisé. Cet inventaire a permis d'évaluer l'impact des aménagements à partir des indicateurs de biodiversité alpha et bêta, complétés par une évaluation de la qualité d'habitat pour la faune et du paysage. Les résultats ont démontré que les interventions multiressources du GFELT présentaient, à court terme, une différence non significative par rapport aux interventions conventionnelles. Il faut dire que le code d'éthique, appliqué par le Groupement forestier de l'Est du lac Témiscouata inc., est exigeant même pour les interventions conventionnelles. Un questionnaire a été réalisé puis distribué à 600 propriétaires de lots boisés sur les 725 que compte le territoire à l'étude. En plus des caractéristiques sociodémographiques des répondants et répondantes, le sondage comprenait des questions sur le niveau d'appartenance à la région, l'origine de l'acquisition d'un lot boisé, les décisions d'aménagement et le niveau de satisfaction. Ce dernier groupe de questions a permis d'évaluer l'importance relative de neuf besoins et leur niveau de satisfaction. Les résultats ont démontré qu'il n'y avait pas de différence significative entre les propriétaires réalisant des interventions multiressources et les propriétaires réalisant des interventions conventionnelles. Un nouvel indice de développement a été proposé soit l'indice de qualitatif des aménagements en forêt privée (IQAF). Celui-ci combine la satisfaction des besoins à l'impact des aménagements sur la biodiversité. Il démontre la faisabilité de relier en un seul indicateur, les aspects sociaux et les considérations biophysiques de l'aménagement d'un territoire. Cette recherche, réalisée dans six municipalités où intervient le Groupement forestier de l'Est du lac Témiscouata inc., démontre l'importance, pour une communauté, du leadership que peut assurer une organisation locale bien structurée. Il ne faut certes pas négliger l'importance d'une concertation entre les différentes communautés et entre les différents acteurs à l'intérieur d'une même communauté. Pour conclure, quatre composantes pour une éthique du développement sont proposées, afin d'évaluer les projets d'aménagement. Il s'agit de l'économie équitable, du processus participatif, de la gestion responsable et de la culture de la communauté.

Titre de l'écran-titre (visionné le 24 juillet 2023) / Les flux de données de capteurs constituent de nos jours un mécanisme fondamental fournissant aux systèmes d'information et d'aide à la décision, des données d'observation sur les phénomènes d'intérêt. Ces flux de données de capteurs sont largement utilisés pour de nombreuses applications telles que la surveillance industrielle, les interventions en cas de catastrophe, les accidents radioactifs, le contrôle de la qualité de l'air, et bien d'autres applications. La modélisation et le calcul quasi instantané d'informations spatiotemporelles sur de tels phénomènes environnementaux dynamiques sont nécessaires pour une meilleure compréhension desdits phénomènes et une prise de décision plus efficace. La plupart des approches de modélisation des phénomènes continus sont développées en supposant que les limites de tels phénomènes sont nettes, alors que de nombreux phénomènes environnementaux tels que la poussière, le bruit ou la pollution par les gaz ou les incendies de forêt ont des limites spatiales vagues. Par conséquent, il n'est généralement pas possible de détecter directement les limites des phénomènes surveillés à partir des mesures des capteurs, car ces derniers sont soit dispersés de manière aléatoire sur la zone surveillée, soit ils suivent un modèle particulier dont la localisation coïncide rarement avec les limites des phénomènes surveillés. La faible portée spatiale des observations faites par les capteurs amplifie le niveau d'imprécision spatiale qui caractérise les données des réseaux de capteurs. Par conséquent, une collaboration exempte de toute ambigüité sémantique est requise entre capteurs connectés au sein du réseau en vue d'inférer les connaissances décrivant la géométrie des phénomènes, et éventuellement les agréger pour une meilleure prise de décision. Dans un contexte de raisonnement spatial décentralisé au sein des réseaux de capteurs, assurer une collaboration transparente entre les capteurs qui peuvent être hétérogènes, permettrait de résoudre ce double niveau d'imprécision spatiale que présentent les données de réseaux de capteurs, afin de produire une meilleure représentation des phénomènes et observer leur dynamique et les interactions spatiales qui y ont lieu. L'objectif global de cette thèse est de proposer une approche de raisonnement spatial décentralisée à base de sémantique et de logique floue pour la représentation et les calculs spatiaux relatifs aux phénomènes de forme vague à partir des données du réseau de capteurs. Pour atteindre cet objectif, les objectifs spécifiques suivants ont été considérés : 1) assurer l'extraction d'objets spatiaux de type fuzzy-crisp composés d'un noyau et d'une partie conjecture, représentant les phénomènes dont les limites ne sont pas franches, à partir des données de réseaux de capteurs, 2) assurer le raisonnement et la modélisation de la dynamique d'un phénomène de forme spatiale floue décrit par des flux de données de réseau de capteurs à travers la détection décentralisée des frontières spatiotemporelles et de leur évolution ; et enfin 3) développer une approche de calcul, de modélisation et d'analyse des relations topologiques qui ont lieu entre phénomènes dont la géométrie est vague à partir d'observations au sein de réseaux de capteurs. Le développement d'une base de connaissances qui intègre la sémantique des données de capteurs, des domaines d'application, et d'objets spatiaux de type fuzzy-crisp représentant les phénomènes dont les limites sont vagues, constitue l'étape fondamentale garantissant un raisonnement sémantique décentralisé au sein des réseaux de capteurs. En plus des règles sémantiques découlant de cette base de connaissance, constituant le moteur de raisonnement des capteurs, l'usage des règles à base logique floue trivalente permet aux capteurs de statuer sur leur position relative aux frontières des phénomènes suivis et de construire leur géométrie. L'intégration de règles de raisonnement établies suivant le formalisme Event-Calculus permet aux capteurs d'inférer sur les changements affectant les limites du phénomène observé et de statuer sur sa dynamique spatiotemporelle. La détection simultanée de deux phénomènes par un capteur, peut être utilisée comme indice d'intersection de l'étendue des deux phénomènes dans la position dudit capteur. L'usage d'un modèle d'intersection intégrant les cinq parties topologiques comprenant le noyau, la conjecture et la zone extérieure et leurs frontières des objets spatiaux de type fuzzy-crisp a permis de caractériser efficacement les 44 cas de relations topologiques qui peuvent avoir lieu entre deux objets spatiaux simples de type fuzzy-crisp. Le développement de prototypes implémentés à l'aide du logiciel Netlogo pour différentes études de cas présentant des scénarios d'applications, ont été utilisées pour illustrer et évaluer la validité des approches proposées. Cette évaluation a présenté des résultats satisfaisants tant pour la modélisation de phénomènes de forme vague (représentation spatiale de pollution sonore lors du passage d'un train en zone urbaine), que pour l'analyse de la dynamique des phénomènes (évolution d'un feu de brousse) et des relations spatiales floues (relations topologiques entre un feu de brousse et une aire forestière) décrites par les données collectées par des réseaux de capteurs. / Sensor data streams are nowadays a fundamental mechanism providing information and decision systems with observational data on the phenomena of interest. These sensor data streams are widely used in many applications such as intrusion monitoring, manufacturing, disaster response, radioactive accidents, air quality monitoring, among others. Real time or near-instantaneous modelling and computation of spatiotemporal information on such dynamic environmental phenomena is necessary for a better understanding of the phenomena and more efficient decision-making. Most modelling approaches for continuous phenomena are developed assuming that the boundaries of such phenomena are sharp, whereas many environmental phenomena such as dust, noise or gas pollution or forest fires have vague spatial boundaries. Also, it is usually not possible to directly detect the boundaries of the monitored phenomena from the sensor measurements, because the sensors are either randomly scattered over the monitored area or follow a particular pattern whose location rarely coincides with the limits of the monitored phenomena. The small spatial range of observations made by sensors amplifies the level of spatial inaccuracy that characterizes data from sensor networks. Therefore, a collaboration free from any semantic ambiguity is required between sensors connected within the network in order to infer knowledge describing the geometry of phenomena, and possibly aggregate them for better decision-making. In a context of decentralized spatial reasoning within sensor networks, ensuring transparent collaboration between sensors, which may be heterogeneous, would make it possible to resolve this double level of spatial imprecision presented by sensor network data, in order to produce a better representation of observed phenomena, their dynamics and the spatial interactions that take place there. The overall objective of this thesis is to propose a decentralized spatial reasoning approach based on semantics and fuzzy logic for spatial modelling and calculations related to waveform phenomena from sensor network data. To achieve this objective, the following specific objectives were considered: 1) ensure the extraction of space objects of fuzzy-crisp type composed of a nucleus and a conjecture part, representing the phenomena whose limits are not clear , from sensor network data, 2) modeling and reasoning about the dynamics of vague shape continuous phenomena described by sensor network data streams in a decentralized spatial Computing approach, from detected spatiotemporal boundaries and their evolution, 3) develop an approach for computing, modelling and analyzing the topological relationships that take place between phenomena whose geometry is vague from observations within sensor networks. The development of a knowledge base which includes the semantics of sensor data, application domains, and that of fuzzy-crisp spatial model representing phenomena with vague boundaries, is a fundamental step to ensure seamless collaboration among sensors for decentralized semantic reasoning in sensor networks. In addition to the semantic rules derived from built knowledge base, sensors reasoning engine uses trivalent fuzzy logic rules to infer on their relative position as border nodes to monitored phenomena and to build their geometry. The integration of reasoning rules established on the basis of the Event-Calculus formalism enables sensors to infer on the changes affecting the boundaries of the observed phenomenon and also on its spatiotemporal dynamics. The simultaneous detection of two phenomena by a sensor can be used as an index of the intersection of the extent of the two phenomena at the position of the sensor. The use of an intersection model integrating the five topological parts including the core, the conjecture and the outer zone and their boundaries of the fuzzy-crisp spatial objects allowed to efficiently characterize the 44 cases of topological relations that can take place between two simple fussy-crisp spatial objects. The development of prototypes implemented with the Netlogo software which is a multi-agent system was used for different case studies of application scenario, in order to illustrate and evaluate the validity of the proposed solutions. This evaluation presented satisfactory results both for the modelling of vague phenomena (spatial representation of noise pollution around the railway in an urban area), and for the analysis of the dynamics of the phenomena from sensor network data (evolution of a bushfire) and of the fuzzy topological relations (topological relations between a bushfire and a forest area) described by the data collected sensor networks.

Contexte : Au Canada, une personne sur cinq vit avec une douleur chronique, une maladie fréquemment associée à d’autres maladies chroniques. Comme pour la plupart des maladies chroniques, l’engagement réussi du patient dans la gestion des symptômes est essentiel pour la gestion de la douleur chronique. Dans le contexte de multiples maladies, l’autogestion implique une priorisation quotidienne des symptômes et des maladies, ainsi que des prises de décision, ce qui peut être exigeant. L’autogestion des maladies chroniques peut nécessiter une compétence plus complexe et des tâches pour aborder les différentes implications de chaque maladie. Objectif : Notre objectif de recherche était d’explorer les types et les processus de priorisation des symptômes dans l'autogestion chez les adultes vivant avec de la douleur chronique et d'autres maladies chroniques. Devis : Cette recherche a été menée dans le cadre d’une étude plus vaste adoptant un devis mixte séquentiel explicatif. Cette recherche s’est concentrée plus particulièrement sur la partie qualitative de l’étude. Lieu(x) : Les participants recrutés pour la composante qualitative ont participé à un entretien individuel semi-structuré en ligne ou en personne au Centre hospitalier de l’Université de Montréal. Participants : Au total, 25 participants ont été interviewés, dont 18 femmes et 7 hommes. Méthodes : Les participants étaient éligibles pour participer à l’étude s’ils avaient 18 ans ou plus, vivaient avec de la douleur depuis plus de trois mois et avaient au moins une autre condition médicale pour laquelle ils recevaient un traitement ou s’engageaient dans la gestion des symptômes. Les entretiens semi-structurés ont été menés en personne ou virtuellement et ont été retranscrits intégralement. Une analyse thématique réflexive a été utilisée pour explorer les récits des patients, et une approche ouverte et itérative a été adoptée pour coder les entretiens et générer des thèmes. Résultats : Le premier thème, axé sur la priorisation des symptômes, a montré différents processus de priorisation, notamment la priorisation d'une maladie dominante, la priorisation de plusieurs maladies pour éviter des conséquences indésirables, et enfin l'absence ou les processus automatiques de priorisation. Dans le deuxième thème, nous avons identifié plusieurs caractéristiques d'une maladie, en l'occurrence la douleur chronique, qui en faisaient une priorité d'autogestion : sa nature incontrôlable et handicapante, son omniprésence, son imprévisibilité, son caractère désagréable et son invisibilité pour autrui. Dans le dernier thème, nous avons souligné que certains facteurs psychosociaux influencent les niveaux d'engagement dans l'autogestion et les processus de priorisation, notamment le soutien social et la relation patient-médecin. Conclusions : La douleur chronique était la maladie la plus souvent priorisée par les participants dans leurs tâches d’autogestion. En raison de ses caractéristiques, c’était la maladie qui avait le plus d’impact négatif sur le fonctionnement quotidien. / Context. In Canada, one out of five people lives with chronic pain, a condition frequently co-occurring with other chronic illnesses. As with most chronic illnesses, successful patient engagement in symptom management is key. In the context of multiple illnesses, self-management involves daily prioritization of symptoms and illnesses, and decision-making, which can be challenging. Self-management of chronic illnesses can require more complex competence and tasks to address the different implications of each illness. Objective. Our research objective was to explore types and processes of self-management symptom prioritization among adults living with chronic pain and other chronic illnesses. Design. This research was carried out as part of a larger study that adopted an explanatory sequential mixed-methods design. This study focused more specifically on the qualitative part of the study. Settings. Participants recruited for the qualitative component took part in a semi-structured individual interview online or in person at the Centre hospitalier de l’Université de Montréal. Participants. In total, 25 participants were interviewed, including 18 women and 7 men. Methods. To participate in the qualitative part of the study, participants were selected from the larger study and were eligible if they were 18 years old or older, experiencing pain for more than three months, and had at least one other chronic illness for which they were receiving treatment or engaged in symptom management. Semi-structured interviews were conducted in-person or virtually and were transcribed verbatim. Reflexive thematic analysis was used to explore patients’ narratives, and an open and iterative approach was adopted to code interviews and generate themes. Findings. The first theme, focus on symptom prioritization, showed different prioritization processes, including prioritizing a dominant illness, prioritizing multiple illness to avoid undesirable consequences, and finally absence of or automatic processes of prioritization. In the second theme, we identified several characteristics of an illness, in this case chronic pain that made it a self-management priority: uncontrollable and disabling nature, omnipresence, unpredictability, unpleasantness and invisibility to others. In the last theme, we highlighted that some psychosocial factors influence levels of engagement in self-management and prioritization processes, including social support and the patient-physician relationship. Conclusions. Chronic pain was the medical condition most often prioritized by participants in their self-management tasks. Because of its characteristics, it was the medical condition that had the most negative impact on day-to-day functioning.

Contexte : La petite enfance constitue une période importante dans l’acquisition de saines habitudes alimentaires. Par leurs connaissances, attitudes, croyances, pratiques et perceptions en alimentation et nutrition, plusieurs intervenants influencent les jeunes enfants : parents, responsables de l’alimentation et éducatrices en services de garde. Objectifs : Cette étude décrit et analyse les perceptions du « bien manger » de 113 responsables de l’alimentation, de 302 éducatrices et de 709 parents d’enfants âgés de 2 à 5 ans en services de garde au Québec. Méthodologie : Ce mémoire porte sur une question ouverte, répétée dans trois questionnaires autoadministrés de la recherche Offres et pratiques alimentaires revues dans les services de garde au Québec. Les réponses ont été recueillies de 2009 à 2010 et analysées au moyen d’une grille de codification construite de manières déductive et inductive. Résultats : L’analyse des données recueillies montre la récurrence des thèmes de la variété, l’équilibre, la modération, des légumes et fruits, mais aussi l’émergence du plaisir, de la santé, du GAC, des qualités organoleptiques, des pratiques coercitives et de la commensalité. Cette recherche dévoile que la variété, la santé et l’équilibre sont communs aux trois catégories d’intervenants, alors que le GAC, le plaisir, la saine alimentation et les qualités organoleptiques figurent plutôt dans les perceptions d’intervenants spécifiques. Conclusion : Ce portrait illustre la compréhension du « bien manger » qu’ont des intervenants jouant un rôle important dans le développement d’enfants âgés de 2 à 5 ans. En outre, il permet d’éclairer les acteurs développant messages, interventions et politiques de santé publique faisant la promotion de la saine alimentation et favorisant la mise en place d’environnements appuyant l’adoption de saines habitudes alimentaires dans les services de garde du Québec ainsi que dans les ménages. / Context: Preschool age represents an important period for the acquisition of healthy eating habits. With their knowledge, attitudes, beliefs, practices and perceptions with regard to eating and nutrition, several stakeholders influence children: parents, but also foodservice managers and educators in childcare centres. Objectives: This study describes and analyzes the perceptions of “eating well” of 113 foodservice managers, 302 educators and 709 parents of 2 to 5-year-old children in childcare centres of Quebec. Methodology: This study focuses on an open-ended question, repeated in three self-administered questionnaires taken from the research Offres et pratiques alimentaires revues dans les services de garde au Québec. Data collected between 2009 and 2010 was analyzed using a coding grid crafted by induction and deduction. Results: Qualitative data analysis revealed the recurrence of several themes such as variety, balance, moderation, vegetables and fruits, as well as the emergence of pleasure, health, Canadian Food Guide, organoleptic qualities, coercive practices and commensality. Findings indicate that variety, health and balance are perceptions common to all three categories of stakeholders, while the Canadian Food Guide, pleasure, healthy eating and organoleptic qualities are specific to certain stakeholders. Conclusion: This portrait sheds some light on how “eating well” is understood by stakeholders who play an important role in the development of 2 to 5-year-old children. It also informs actors developing public health messages, interventions and policies promoting healthy eating and encouraging the set up of environments supporting the adoption of healthy eating habits in childcare centres of Quebec, as well as in households.

L’Orient de la Princesse Bibesco comporte plusieurs facettes et dépasse la dimension spatiale. Dans cette recherche, nous avons abordé premièrement une expérience « antérieure » à l’existence terrestre de Marthe, dévoilée dans ses mémoires– La Nymphe Europe. Livre I. Mes vies antérieures . Cette première partie nous l’avons appelée l’Orient historique/ hérité. Ensuite, notre recherche met en question un Orient créé (au palais de Mogoşoaia, sa résidence roumaine qu’elle appelle « un coin d’Orient »), un autre Orient vécu et idéalisé dans des notes de voyages où elle se montre plutôt une observatrice subjective et parfois critique. Finalement un Orient conservé est dévoilé dans le folklore roumain représentant d’une part, le retour aux sources de l’humanité et d’autre part, l’élément exotique pour le public étranger. La vocation pour cette culture est constante dans la plupart des œuvres bibesciennes et exploitée sous différentes formes. Ce concept n’aura jamais dans son œuvre un sens dépréciatif, bien au contraire. Marthe Bibesco cherche la légende, le charme, le mirage orientaux. Pour elle le terme Orient ne désigne pas cet espace clos d’où tout le monde veut s’évader, mais la terre authentique, capable d’offrir à l’explorateur le plus beau spectacle. / Princess Marthe Bibesco’s Orient enfolds many facets and it rises above the spatial dimension. In our research, we have especially centred round the “historical” or the “inherited” Orient, identified in her memoirs La Nymphe Europe. Livre I. Mes vies antérieures , and the “created” Orient (at Mogosoaia Palace, her Romanian residence). The second part of the research paper emphasizes the “experienced”/ “real” Orient as space narrated in her notes on travelling where the Princess proved to be a subjective observer and rarely a critic. At last, the Orient appears as “preserved” in the Romanian folklore. The latter represents on one hand, the return to origins and on the other hand, it becomes the exotic element for the foreign audience. The vocation for this culture is constantly found in Bibesco’s work and exploited in many different ways. This concept will never have a disparaging sense, on the contrary. Marthe Bibesco is in search of legend, charm, oriental mirage. For her the term “Orient” does not suggest closed space, but authentic territory, capable of offering to the explorer the most spectacular performance.

Notre travail porte sur la définition d'outils de conception préliminaire de mécanismes, capables de construire des solutions admissibles à partir d'un cahier des charges donné et de débuter le processus de conception (esquisse et dimensionnement approché des formes des pièces).<br /><br />Dans cette optique, nous proposons une méthode de conception adaptée à la classe des mécanismes de transmission de mouvement rotatif, à structure linéaire, à 1 degré de mobilité et à rapport constant. Le logiciel CASYMIR (Conception Assistée de SYstèmes Mécaniques de transmIssion en Rotation) a été développé pour illustrer cette démarche qui comporte 3 étapes :<br /><br />À l'étape de synthèse topologique, un algorithme créatif génère l'ensemble des mécanismes-solutions admissibles. Il est basé sur l'exploration combinatoire d'une base de mécanismes (engrenages, courroies, trains épicycloïdaux, accouplements, etc.) et sur des règles de conception permettant d'éliminer les combinaisons inadaptées. Les mécanismes-solutions sont classés par ordre de préférence grâce à une méthode multi-critères ou par un algorithme de logique floue.<br /><br />Pour le pré-calcul dimensionnel, nous proposons la notion de squelette de mécanisme, qui est une représentation filaire spatiale des arbre, des entraxes et des angles du mécanisme. On peut alors construire un modèle géométrique basé sur celui de Denavit-Hartenberg puis l'optimiser pour trouver la position et l'orientation des étages minimisant l'encombrement et vérifiant les conditions de fermeture du mécanisme.<br /><br />La dernière étape de synthèse dimensionnelle permet de calculer les dimensions principales du mécanisme en intégrant des contraintes à la fois géométriques (non interférence des pièces, continuité géométrique et cinématique) et technologiques (résistance des dentures d'engrenages, rapport de réduction, etc.) au sein d'un même problème d'optimisation.<br /><br />Enfin, l'étude d'un réducteur industriel permet de valider le logiciel et la démarche.

L'idée générale de cette thèse est d'évaluer la plausibilité cognitive de modèles de raisonnement couramment utilisés en Intelligence Artificielle en les mettant en correspondance avec le raisonnement humain, ceci dans des situations de supervision de systèmes dynamiques. Pour cela, un micro-monde lié au domaine de la physique hydraulique est utilisé. Il s'agit donc en premier lieu de développer des opérateurs artificiels capables de superviser ce processus, chacun dans un "style cognitif" spécifique. Trois types d'agents ont ainsi été mis au point, basés sur le raisonnement qualitatif, la classification à partir d'exemples, et le raisonnement à base de cas. La seconde phase consiste à comparer les séquences d'actions correspondant aux raisonnements d'un opérateur humain et d'un agent artificiel durant la tâche de supervision, notamment par l'intermédiaire de la découverte des intentions associées aux actions, puis à définir une coopération entre ces trois modes fondamentaux de raisonnement.

La thèse est que la représentation par contraintes, en terme de langage et la déduction par la gestion automatique des réseaux de contraintes est une voie adéquate pour les systèmes d'aide à la conception en ingénierie. Deux techniques de l'Intelligence Artificielle à savoir la Propagation de Contraintes et le Raisonnement Qualitatif sont abordées. La Propagation de Contraintes est un mécanisme d'inférences déductives sur les réseaux de contraintes. Ce mécanisme présente plusieurs difficultés, particulièrement dans les calculs pas-à-pas de la résolution des relations entre valeurs des variables. Pour améliorer ce mécanisme, il est proposé dans le présente travail des algorithmes de filtrage sur la consistance locale dans des réseaux de contraintes algébriques n-aires. Ainsi, le concept de réseaux dynamiques est exploité comme un module d'aide à la conception. Le Raisonnement Qualitatif permet aux concepteurs d'analyser les modèles quand la connaissance est incomplète. L'approche de la Simulation Qualitative est proposée. L'adéquation de celle-ci est illustrée par d'une part, la représentation de connaissances incomplètes en termes de contraintes qualitatives, et d'autre part, sa capacité de saisir les comportements qualitatifs possibles des modèles. Un ensemble de logiciels est développé et leur efficacité démontrée sur des cas simples.

Au cours de cette thèse nous nous sommes intéressé à un jeu minimax différentiel et multi-étages à horizon fini (échéance), motivé par un problème d'évaluation d'options européennes. Le jeu différentiel est en dimension 3 plus temps. Il comporte une commande à la fois continue et impulsionnelle et une commande bornée, ainsi qu'un coût terminal discontinu dans le cas d'une option "digitale" dont l'étude constitue le coeur de la thèse. Ce jeu résulte d'une approche par commande robuste sur l'ensemble des trajectoires de prix permises par l'hypothèse du modèle de marché à intervalles pour le cours de l'actif sur lequel est assise l'option. Du point de vue des techniques financières, notre but est de développer en parallèle une théorie d'évaluation d'options en temps continu et en temps discret, en présence de coûts de transaction et à modèle de marché invariant. Nous obtenons la prime et la stratégie de transaction conseillées au cours du jeu. Notre théorie se veut donc une théorie normative (d'aide à la décision). Pour chaque jeu différentiel, nous utilisons une analyse géométrique des trajectoires extrémales et singulières du jeu qualitatif impulsionnel à cible unique à l'échéance, avec des outils géométriques de la théorie d'Isaacs-Breakwell. Cette analyse nous permet de résoudre complètement le problème. La solution obtenue s'avère riche en variétés singulières de codimension 2, à savoir qu'elle exhibe une dispersion, des variétés équivoques et une variété focale. Cette étude géométrique aboutit à une formule de représentation de la fonction Valeur. faisant intervenir la solution d'un système de deux EDP linéaires couplées du premier ordre. Nous complétons cette étude par une vérification analytique, plus classique, qui consiste à montrer que la fonction construite par la formule de représentation est solution de viscosité de l'équation d'Isaacs associée à un jeu différentiel standard sans commande impulsionnelle ayant la même valeur que le jeu initial. Pour chaque jeu multi-étages, la résolution se fait par le biais d'un algorithme de programmation dynamique classique. Cet algorithme aboutit à une formule de représentation de la Valeur, dont la forme est assez similaire à celle de la solution du jeu différentiel. Il en découle un algorithme rapide applicable en pratique. Nous montrons également la convergence monotone décroissante de la solution du jeu multi-étages vers celle du jeu différentiel lorsque le pas de temps tend vers 0, aussi bien pour une option "vanille" que "digitale", sans changer de modèle d'actif au fur et à mesure que l'on réduit le pas de temps. En conséquent, l'algorithme rapide en temps discret fournit une bonne approximation de la solution (prime et stratégie) en temps continu. Nous terminons ce manuscrit par une analyse critique de la solution du point du vue financier avec en particulier une étude de la robustesse du modèle de marché et une comparaison avec la théorie de F.Black et M.Scholes. Nous insistons sur le fait qu'en aucun cas nous n'avons la prétention de proclamer une quelconque supériorité de notre théorie sur celle de F.Black et M.Scholes. Nous souhaitons seulement montrer qu'elle peut être une alternative en temps discret et/ou en présence de coûts de transaction significatifs, au détriment de la complétude du modèle de marché.