Le but de mes travaux de recherche est de rendre, autant que possible, algorithmique l'étude des modèles composés par des équations différentielles paramétriques. Je me concentre aux algorithmes basés sur les symétries de Lie étendues pour les modèles de taille moyenne (environ vingt variables). Je présente deux méthodes de simplification exacte : la réduction du nombre des variables d'un modèle et sa reparamétrisation pour distinguer le rôle de ses paramètres. Les systèmes simplifiés sont équivalents aux systèmes originaux par des relations implicites ou explicites (suivant la méthode choisie). Ces algorithmes, grâce aux stratégies de calcul utilisées et aux restrictions sur les objets étudiés, ont une compléxité temporelle polynomiale en la taille de l'entrée. Ils sont implémentés dans les paquetages MABSys et ExpandedLiePointSymmetry. Les modèles simplifiés issus de ces algorithmes facilitent diverses études comme l'analyse qualitative symbolique ou numérique. J'illustre mes travaux sur une famille de réseaux génétiques avec un seul gène auto-régulé en faisant une analyse qualitative symbolique complète. Mon exemple principal appartient au domaine des réseaux de régulation génétique mais l'application des méthodes que je présente n'est pas limitée à la biologie intracellulaire / The goal of my research is to make algorithmic, as much as possible, the study of models composed by parametric differential equations. I focus on the algorithms based on expanded Lie point symmetries for medium size (about twenty variables) models. I present two exact simplification methods: the reduction of the number of variables of a model and its reparametrization in order to distinguish the roles of its parameters. Simplified systems are equivalent to the original ones by implicit or explicit relationships (according to the chosen method). These algorithms, thanks to some computational strategies and restriction of studied objects, are of polynomial time complexity in the input size. They are implemented in the MABSys and the ExpandedLiePointSymmetry packages. Simplified models resulting from these methods allow to perform more easily various studies such as symbolic or numerical qualitative analysis. I illustrate my work on a family of genetic networks with a single self-regulated gene by a complete symbolic qualitative analysis. Even if my principal application example belongs to genetic regulatory networks field, the methods presented in my work are not limited to intracellular biology.

Thèse diffusée initialement dans le cadre d'un projet pilote des Presses de l'Université de Montréal/Centre d'édition numérique UdeM (1997-2008) avec l'autorisation de l'auteur.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Thèse numérisée 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.

La sécurité incendie repose sur l'utilisation de simulations numériques. Les codes de calcul sont composés de différents modèles dont un nommé modèle de pyrolyse qui a pour enjeu de décrire la décomposition thermique des solides étudiés. Toutefois, les modèles de pyrolyse actuels sont sommaires et sources de multiples erreurs. Notre démarche de travail est multi-échelles afin de procéder étape par étape à la validation du modèle, tenant compte de l'évolution des propriétés thermiques, physiques et chimiques au cours de la décomposition. Le présent programme de recherche concerne les matériaux de l'habitat et plus particulièrement deux contre plaqués en bois. Nous avons caractérisé expérimentalement la décomposition thermique de ces bois à deux échelle de travail : en analyseur thermogravimétrique (échelle particule) et en cône calorimètre (échelle matériau) couplés à divers analyseurs de gaz. Le suivi des vitesses de perte de masse et des émissions gazeuses permet la proposition de mécanismes réactionnels de décomposition thermique : étapes de la décomposition. Chaque réaction de ces mécanismes a une vitesse qui peut être décrite sous la forme d'une loi d'Arrhenius dont les paramètres sont déterminés par la méthode des Algorithmes Génétiques. La comparaison des résultats numériques et expérimentaux à l'échelle de la particule (ATG), montrant un très bon accord, le modèle de pyrolyse développé est validé à cette échelle. La modélisation des essais cône calorimètre en vue de la validation du Modèle à plus grande échelle a été menée à l'aide du code Gpyro. Les résultats obtenus ne sont toutefois pas satisfaisants.

Cette thèse porte sur l'étude des systèmes complexes tels que les systèmes mécatroniques, en tenant compte de leur aspect dynamique, hybride, reconfigurable et multitechnologies. Le premier chapitre est consacré au contexte actuel des systèmes mécatroniques et la nécessité qu'ils soient conçus et développés de manière collaborative afin d'obtenir des systèmes sûrs de fonctionnement. La démarche systémique aide à l'étude de ces systèmes complexes. Le second chapitre expose les différentes méthodes utilisées dans l'analyse qualitative ainsi que dans l'analyse quantitative. Le choix se porte alors sur les méthodes SADT et SA-RT pour l'analyse fonctionnelle, l'AMDE et l'AEEL pour l'analyse dysfonctionnelle et sur les réseaux de Petri pour l'analyse quantitative. Le dernier chapitre expose la méthodologie proposée pour l'estimation de la fiabilité des systèmes mécatroniques ainsi que l'application de cette méthodologie sur un système ABS. Finalement, les conclusions et les perspectives de l'approche proposée sont émises.

Depuis 1996, l'Université du Québec à Montréal offre un baccalauréat en biologie en apprentissage par problèmes (APP). Cette approche, centrée sur l'apprenant, a modifié de façon importante les pratiques d'enseignement des professeurs du programme. L'évaluation des apprentissages se doit d'être centrée sur l'apprenant pour être en cohérence avec les principes d'enseignement de l'APP. Nous avons cherché à savoir si les pratiques d'évaluation des professeurs du programme de biologie en APP sont en lien avec l'approche centrée sur l'apprenant. À l'aide d'entrevues semi-dirigées réalisées auprès de douze professeurs du programme et des réponses fournies au questionnaire de Trigwell et Prosser (2004), nous avons été tenté d'établir si leurs pratiques d'évaluation sont en cohérence avec l'APP à partir d'une analyse descriptive qualitative. Nous avons analysé trois éléments concernant les pratiques d'évaluation dans le cadre socioconstructiviste (Rust et al., 2005) soit: les critères d'évaluation pour les différents savoirs, la rétroaction offerte aux étudiants et les outils d'évaluation utilisés en APP. Cette analyse nous a permis de déterminer que neuf professeurs ont des pratiques évaluatives non cohérentes avec l'APP. Il serait souhaitable que ces professeurs aient des objectifs d'apprentissage qui tiennent davantage compte des visées de l'APP, qu'ils offrent une rétroaction plus constructive aux étudiants et que leurs outils d'évaluation soient plus adaptés à l'APP (Macdonald et Savin-Baden, 2004 et Nendez et Tekian, 1999). Pour conclure, nous suggérons des moyens pour développer des pratiques d'évaluation plus cohérentes pour l'ensemble des professeurs du programme. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Socioconstructivisme, Apprentissage par problèmes, Approche centrée sur l'apprenant, Évaluation des apprentissages.