737 research outputs found
On three quantization methods for particle on hyperboloid
We compare the respective efficiencies of three quantization methods (group
theoretical, coherent state and geometric) by quantizing the dynamics of a free
massive particle in two-dimensional de Sitter space. For each case we consider
the realization of the principal series representation of group
and its two-fold covering SU(1,1). We demonstrate that standard technique for
finding an irreducible representation within the geometric quantization scheme
fails. For consistency we recall our earlier results concerning the other two
methods, make some improvements and generalizations.Comment: 22 pages, no figures, revte
Non-Equilibrium Statistical Mechanics of Anharmonic Chains Coupled to Two Heat Baths at Different Temperatures
We study the statistical mechanics of a finite-dimensional non-linear
Hamiltonian system (a chain of anharmonic oscillators) coupled to two heat
baths (described by wave equations). Assuming that the initial conditions of
the heat baths are distributed according to the Gibbs measures at two different
temperatures we study the dynamics of the oscillators. Under suitable
assumptions on the potential and on the coupling between the chain and the heat
baths, we prove the existence of an invariant measure for any temperature
difference, i.e., we prove the existence of steady states. Furthermore, if the
temperature difference is sufficiently small, we prove that the invariant
measure is unique and mixing. In particular, we develop new techniques for
proving the existence of invariant measures for random processes on a
non-compact phase space. These techniques are based on an extension of the
commutator method of H\"ormander used in the study of hypoelliptic differential
operators.Comment: 43 page
Entropy Production in Non-Linear, Thermally Driven Hamiltonian Systems
We consider a finite chain of non-linear oscillators coupled at its ends to
two infinite heat baths which are at different temperatures. Using our earlier
results about the existence of a stationary state, we show rigorously that for
arbitrary temperature differences and arbitrary couplings, such a system has a
unique stationary state. (This extends our earlier results for small
temperature differences.) In all these cases, any initial state will converge
(at an unknown rate) to the stationary state. We show that this stationary
state continually produces entropy. The rate of entropy production is strictly
negative when the temperatures are unequal and is proportional to the mean
energy flux through the system
Non-Equilibrium Steady States for Networks of Oscillators
Non-equilibrium steady states for chains of oscillators (masses) connected by
harmonic and anharmonic springs and interacting with heat baths at different
temperatures have been the subject of several studies. In this paper, we show
how some of the results extend to more complicated networks. We establish the
existence and uniqueness of the non-equilibrium steady state, and show that the
system converges to it at an exponential rate. The arguments are based on
controllability and conditions on the potentials at infinity
Analyse du développement mobile multiplateforme avec Xamarin
Le monde actuel du développement est en pleine effervescence. Entre des applications pour Android, pour iOS et pour Windows Phone, la demande en développeurs n’a jamais été aussi grande. Ces trois grands acteurs se disputent la tête du classement. Chacun a un langage de développement qui lui est propre. Cela oblige les entreprises à avoir un panel de personnel possédant les capacités de développement des trois plateformes dans le but de créer une application sur chacune d’entre elle. Une question se pose alors. Pourquoi ne pas faire une application smartphone qui serait écrite une seule fois mais disponible sur plusieurs plateformes ? C’est ce que nous appelons, dans le milieu du développement, des applications multiplateformes. Il existe trois sortes d’applications multiplateformes : Application web, application native et application hybride. La première utilise les technologies du web pour être créée. La seconde est conçue spécifiquement pour un système d’exploitation dans le langage de programmation du système. La dernière se trouve être un mix entre les deux premières. Elle utilise les technologies du web pour être créée mais possède l’apparence des applications natives
Outil d’aide à la décision pour élus communaux VS-OADE
La Fondation pour Développement Durable des régions de Montagne (FDDM) par M. Eric Nanchen et le professeur Jean-Pierre Rey m’ont demandé de réaliser un programme d’aide à la décision pour les élus communaux. Au cours de ce travail, une première phase de recherches et analyses a été réalisée pour déterminer les technologies et les architectures Web les plus adaptées pour ce projet, tout en tenant compte d’une possible intégration future de l’outil dans les systèmes d’information des communes. Une recherche sur les possibilités d’hébergement de l’outil et le stockage des données a également été effectuée durant cette phase. Dans une seconde phase, les environnements de développement ont été analysés et celui qui semblait le plus adapté pour ce travail a été mis en place dans l’optique de développer au mieux l’outil. Cette phase a été utile pour développer l’application localement en simulant une infrastructure Client-Serveur. Cette dernière peut facilement être configurée et mise en place pour l’utilisation de l’outil par la suite
Plateforme web pour les finances communales
L’objectif principal de ce travail de Bachelor était de créer un prototype de plateforme web donnant la possibilité d’afficher différentes visualisations des comptes de la ville. Celles-ci leur permettraient de prendre des décisions, si nécessaire. Avant la réalisation, il fallait d’abord comprendre la thématique, analyser les données et choisir les outils et les langages de programmation. En se basant sur le framework PHP (Hypertext Preprocessor) « Laravel », il serait possible de développer sans problème de nouvelles fonctionnalités. Avec « D3.js » la manipulation des éléments DOM (Document Object Model) est facile à gérer. Il existait déjà certains mock-ups, plusieurs proofs of concepts réalisés avec Excel et des fragments de code JavaScript non documenté
- …