456 research outputs found
Randomized Hamiltonian Monte Carlo as Scaling Limit of the Bouncy Particle Sampler and Dimension-Free Convergence Rates
The Bouncy Particle Sampler is a Markov chain Monte Carlo method based on a
nonreversible piecewise deterministic Markov process. In this scheme, a
particle explores the state space of interest by evolving according to a linear
dynamics which is altered by bouncing on the hyperplane tangent to the gradient
of the negative log-target density at the arrival times of an inhomogeneous
Poisson Process (PP) and by randomly perturbing its velocity at the arrival
times of an homogeneous PP. Under regularity conditions, we show here that the
process corresponding to the first component of the particle and its
corresponding velocity converges weakly towards a Randomized Hamiltonian Monte
Carlo (RHMC) process as the dimension of the ambient space goes to infinity.
RHMC is another piecewise deterministic non-reversible Markov process where a
Hamiltonian dynamics is altered at the arrival times of a homogeneous PP by
randomly perturbing the momentum component. We then establish dimension-free
convergence rates for RHMC for strongly log-concave targets with bounded
Hessians using coupling ideas and hypocoercivity techniques.Comment: 47 pages, 2 figure
Savoir comment faire pour enseigner les savoir-faire
Une Ă©quipe de professeurs et professionnels du CollĂšge Montmorency sâest concertĂ©e pour peaufiner une mĂ©thode permettant dâenseigner plus efficacement les savoir-faire pratiques dans les classes de sciences. En plus de renforcer le sentiment de responsabilitĂ© des Ă©tudiants face Ă lâapprentissage, celle-ci vise, entre autres, Ă leur assurer une plus grande maitrise de diverses connaissances et compĂ©tences procĂ©durales. Une approche didactique, une marche Ă suivre comportant quatre Ă©tapes et des outils dâaccompagnement, de vĂ©rification et de correction ont Ă©tĂ© dĂ©veloppĂ©s pour favoriser la cohĂ©rence du travail des professeurs et des techniciens et pour leur permettre dâallouer plus de temps Ă lâenseignement pratique, essentiel dans leur discipline. Il faut lire cet article stimulant pour en savoir plus et se laisser inspirer
Knowing how to teach know-how : imparting procedural knowledge
Comprend des réréfences bibliographiques
Fiber-based wavelength-swept spontaneous Raman spectroscopy for brain tissue classification
Please click Additional Files below to see the full abstract
Conception par composantes de contrÎleurs d'usines modulaires utilisant la théorie du contrÎle supervisé
La complexitĂ© croissante des processus industriels et de leurs systĂšmes de contrĂŽle rend de plus en plus attrayant l'usage des mĂ©thodes formelles pour leur conception. Plusieurs mĂ©thodes ont Ă©tĂ© mises au point tant pour la synthĂšse que pour la vĂ©rification, utilisant divers formalismes pour la modĂ©lisation de problĂšmes de contrĂŽle et le raisonnement. Lorsqu'un processus peut ĂȘtre modĂ©lisĂ© sous forme d'un systĂšme Ă Ă©vĂ©nements discrets, la thĂ©orie du contrĂŽle supervisĂ©, originalement formulĂ©e par Ramadge et Wonham, offre une base formelle intĂ©ressante pour la spĂ©cification de problĂšmes de contrĂŽle car elle permet, par l'application de procĂ©dures de synthĂšse, d'obtenir automatiquement un contrĂŽleur pour le processus.La thĂ©orie souffre cependant d'un problĂšme d'explosion combinatoire puisqu'elle utilise des automates d'Ă©tats finis comme formalisme de modĂ©lisation. Plusieurs investigations se sont concentrĂ©es sur les moyens de mitiger ce problĂšme en prenant avantage, soit de la structure des systĂšmes modĂ©lisĂ©s, soit des propriĂ©tĂ©s de leur spĂ©cification. Il en rĂ©sulte plusieurs formes de la thĂ©orie dont, entre autres, les variantes modulaire, rĂ©partie et hiĂ©rarchique. D'autre part, certains efforts de recherche se sont concentrĂ©s sur le problĂšme de l'implĂ©mentation des contrĂŽleurs obtenus par les procĂ©dures de synthĂšse de la thĂ©orie. Il existe donc Ă ce jour plusieurs implĂ©mentations de ces procĂ©dures couvrant toutes les variantes de la thĂ©orie. Mais il ne semble pas y avoir encore d'environnement couvrant le processus de conception au complet. Le problĂšme est encore plus aigu si l'on considĂšre que la phase de modĂ©lisation est en gĂ©nĂ©ral mal dĂ©finie, voire mĂȘme ignorĂ©e, dans ces implĂ©mentations.La prĂ©sente thĂšse se propose de dĂ©gager les principes permettant de concevoir un environnement couvrant l'ensemble du processus d'ingĂ©nierie de contrĂŽleurs dans le cadre de la thĂ©orie du contrĂŽle supervisĂ©, intĂ©grant un outillage adĂ©quat pour les trois phases du processus : modĂ©lisation, synthĂšse et gĂ©nĂ©ration de code
Power strategy formation in a human service organization undergoing turbulent change
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
SystÚme de génération de code pour des usines industrielles modulaires
Lâautomatisation industrielle date du dĂ©but de lâĂšre industrielle. Elle bĂ©nĂ©ficie ainsi dâune riche pratique, comme en tĂ©moigne le domaine des procĂ©dĂ©s industriels modernes avec sa panoplie de dispositifs tout aussi ingĂ©nieux quâutiles. Dans ce contexte, il nâest pas surprenant de constater, dĂšs le dĂ©but du XXe siĂšcle, lâapparition dâune discipline thĂ©orique, la cybernĂ©tique, qui est propre Ă ce domaine. LâavĂšnement de lâordinateur et la miniaturisation, en ajoutant Ă la versatilitĂ© et Ă la complexitĂ© des procĂ©dĂ©s industriels, nâont fait quâaccentuer le besoin dâune telle discipline. On peut toutefois se surprendre que, malgrĂ© cette longue histoire, et malgrĂ© des avancĂ©es considĂ©rables dans les diffĂ©rents modĂšles thĂ©oriques de ce quâil convient dâappeler « le contrĂŽle des processus en temps rĂ©el », les mĂ©thodes pour la programmation de ces systĂšmes demeurent, aujourdâhui encore, toujours si empiriques. Quant Ă lâutilisation de mĂ©thodes formelles pour la spĂ©cification de tels systĂšmes, on en entend Ă peu prĂšs pas parler dans lâindustrie. Il semble quâil y ait un problĂšme sĂ©rieux Ă passer de la thĂ©orie Ă la pratique. Ce mĂ©moire sâinscrit dans ce contexte. Il explore le problĂšme de la gĂ©nĂ©ration de code pour des usines industrielles modulaires contrĂŽlĂ©es par des automates programmables
Les rites de possession chez les Gaddis du DhaulÄdhÄr (Himachal Pradesh, Inde) : spiritualitĂ©, guĂ©rison, sociĂ©tĂ©
ThÚse numérisée par la Direction des bibliothÚques de l'Université de Montréal
Recherche-action sur la création d'une coopérative de travailleurs actionnaire dans l'industrie du tourisme d'aventure au Québec
Ce présent essai constitue l'ultime étape de formation à la maßtrise en gestion et développement des coopératives. La démarche de réalisation sélectionnée s'inscrit dans le type d'une recherche-action, plus spécifiquement, d'une étude de faisabilité sur la création d'une coopérative de travailleurs actionnaires dans le secteur du tourisme d'aventure. Cet essai se veut le fruit d'un travail structuré dans lequel nous avons fait état de nos connaissances et de nos aptitudes à traiter systématiquement d'un sujet pertinent à notre champ d'étude, à savoir ; la gestion de projet coopératif. En outre, dans une perspective plus large, l'essai a été réalisé dans le but de confronter la théorie à la pratique en tentant de mettre véritablement sur pied une entreprise coopérative de travailleurs actionnaires
- âŠ