We consider a number of temporal logics, some interval-based and some instant-based, and the choices that have to be made if we need to construct a computational framework for such a logic. We consider the axiomatisation of the accessibility relations of the underlying temporal structures when we are using a modal language as well as the formulation of axioms for distinguishing concepts like actions, events, processes and so on for systems using first-order languages. Finally, we briefly discuss the fields of application of temporal logics and list a number of fields that looks promising for further research. / Computer Science & Information Systems / M.Sc.(Computer Science)

Nous étudions les logiques du temps arborescent en tant qu'outils de spécification et de preuve des programmes. Les différentes logiques modales et temporelles sont comparées par rapport aux deux critères suivantes: puissance d'expression et décidabilité. Cette étude porte essentiellement sur fa comparaison des logiques du temps arborescent et des logiques du temps linéaire. Ensuite, le problème de l'utilisation des logiques du temps arborescent en tant qu'outils de preuves des programmes est étudié. Nous proposons une logique pour la preuve constructive des propriétés des processus contrôlables de CCS. Cette logique est telle, que la relation de congruence induite est la congruence observationnelle de CCS

Dans cette thèse, nous élaborons, dans le cadre méthodologique de la physique quantique, un cadre variationnel générique en traitement d'images bas niveau, fondé sur le principe de l'Information Physique Extrême. Nous utilisons cet outil, récemment développé, pour dériver, entre autres, la théorie des espaces d'échelles, et retrouver des diffusions linéaires et non linéaires classiques. Cette approche permet d'être optimal au sens d'un compromis entre imprécision des mesures et incertitude sur le phénomène mesuré. A ce nouveau modèle variationnel on associe l'équation de Klein-Gordon avec champs, ou en limite, celle de Schrödinger avec champs.<br />L'application associée concerne la détection et la reconstruction de prothèses coronaires, autrement appelées stents, à partir d'images rayons X. Notre méthode s'apparente à une méthode de reconstruction 2D-3D orientée forme. En effet, nous couplons deux équations de Schrödinger avec champs. Cette écriture nous permet de tirer pleinement parti de l'acquisition tomographique, ainsi que d'une contrainte de ressemblance avec un modèle d'objet à reconstruire. Chacune de ces deux sources d'information est ainsi traduite de manière algorithmique par une équation de Schrödinger. An de déterminer un potentiel d'attraction du modèle 2D vers la projection du stent, nous avons développé un nouveau descripteur multi-local ou de la surface de luminance d'une image, ainsi que deux algorithmes pragmatiques de détection et de localisation de pixels appartenant à la projection du stent.

We consider a number of temporal logics, some interval-based and some instant-based, and the choices that have to be made if we need to construct a computational framework for such a logic. We consider the axiomatisation of the accessibility relations of the underlying temporal structures when we are using a modal language as well as the formulation of axioms for distinguishing concepts like actions, events, processes and so on for systems using first-order languages. Finally, we briefly discuss the fields of application of temporal logics and list a number of fields that looks promising for further research. / Computer Science and Information Systems / M.Sc.(Computer Science)

Notre thèse étudie la relation entre les mécaniques classique et relativiste. Il est généralement supposé, à partir de l’hypothèse des petites vitesses, que la mécanique classique correspond à la mécanique relativiste dans les cas où la vitesse des objets est petite par rapport à la vitesse de la lumière. Cette position nous semble inadéquate pour la simple raison que la mécanique classique ne peut être restreinte au seule domaine des petites vitesses. Nous proposons l’hypothèse que les deux mécaniques ont une structure commune et que chacune se distingue sous certaines conditions. Pour appuyer cette hypothèse, nous proposons une axiomatisation de la mécanique suffisamment générale pour servir de structure commune aux mécaniques classique et relativiste. Cette axiomatisation comporte une théorie de la relativité qui précise comment les quantités relatives sont reliées entre elles lorsque déterminées par rapport à différents référentiels, et les lois du mouvement qui précisent comment les forces exercées sur un objet détermine son mouvement. Cette mécanique générale est déterminée à deux constantes près et c’est en déterminant la valeur de ces constantes qu’apparaît le bris de la structure commune qui génère la mécanique classique d’une part et la mécanique relativiste d’autre part. / Our thesis studies the relationship between classical and relativistic mechanics. It is generally assumed, based on the assumption of small velocities, that classical mechanics corresponds to relativistic mechanics in cases where the speed of objects is small compared to the speed of light. This position seems inadequate to us, for the simple reason that classical mechanics cannot be restricted to the realm of small velocities alone. We propose the hypothesis that the two mechanics have a common structure, and that each can be distinguished under certain conditions. To support this hypothesis, we propose an axiomatization of mechanics that is sufficiently general to serve as a common structure for both classical and relativistic mechanics. This axiomatization includes a theory of relativity that specifies how relative quantities are related to each other when determined with respect to different reference frames, and laws of motion that specify how forces exerted on an object determine its motion. This general mechanics is determined to within two constants, and it is by determining the value of these constants that the common structure that generates classical mechanics on the one hand and relativistic mechanics on the other is broken down.