Th. doct.--Math., informatique--Paris--Ec. natl. des ponts et chaussées, 1995. / Bibliogr. p. 163-173. Résumé. 1995 d'après la déclaration de dépôt légal.

Le présent travail de recherche cherche à éclairer le rapport entre le sujet, le délire et le temps. Les prémisses de cette question sont essentiellement cliniques : dans notre pratique nous avons rencontré des patients délirants dont les états ont présenté des organisations subjectives qui ne pouvaient pas être ni décrites, ni comprises dans la terminologie traditionnelle de la psychiatrie ou de la psychologie. Cette expérience clinique nous a confronté à deux difficultés majeures : premièrement, les agencements subjectifs du délire contredisent souvent la conception du sujet dont dispose la psychologie, deuxièmement, dans de nombreux cas toute tentative de réduction de la forme clinique du délire à la conception médicale de l’évolution continue conduit à une méconnaissance du fondement subjectif de l’organisation temporelle du phénomène. Dans notre travail nous démontrons que le phénomène délirant demande un concept du sujet et une notion du temps qui répondent à l’exigence de sa structure clinique. D’abord, en réinterrogeant la clinique classique des états délirants dans la perspective structurale, nous expliquons pourquoi l’étude des états délirants nécessite une transgression du plan de la psychopathologie traditionnelle. Ensuite, sur le fond d’une élaboration approfondie du concept de temps logique, nous conceptualisons une approche clinique qui met en évidence que le rapport de la formation délirante au temps est une série discontinue de modes de subjectivation de la jouissance qui permet d’identifier la temporalité du délire à un agencement de la succession de modes de temporalisation. Ainsi notre recherche aboutit à démontrer la thèse qui postule une solidarité structurale de la fonction du sujet avec la fonction-temps dans la clinique des états délirants / The present research seeks to shed light on the relationship between the subject, delusion and time. The premises of this question are essentially clinical: in our practice we have encountered delusional patients whose states have presented subjective organizations that could not be described or understood in traditional terminology of psychiatry or psychology. This clinical experience has confronted us with two major difficulties: firstly, the subjective organization of the delusion often contradicts the psychological conception of the subject, secondly, in many cases the attempt to reduce the clinical form of delusion to the medical conception of continuous evolution leads to a ignorance of the subjective basis of the temporal organization of the phenomenon. In our work we demonstrate that the delusional phenomenon demands a concept of the subject and a notion of time, which meet the requirement of its clinical structure. Firstly, by re-examining the classic clinic of delusional states in the structural perspective, we explain why the study of delusional states requires a transgression of the traditional psychopathology approach. Then, on the basis of the detailed elaboration of the concept of logical time, we conceptualize a clinical approach, which shows that the relation between delusion formation and time is a discontinuous series of modes of subjectivation of jouissance which permit to identify the temporality of delusion with an arrangement of the succession of modes of temporalization. Thereby our research results in demonstrating the thesis, which postulates a structural solidarity of the function of the subject with the function-time in the clinic of delusional states.

CCSL (Clock Constraint Specification Language) a été construit pour abstraire les données et l'algorithme dans l'intention de focaliser sur les événements et le contrôle. Même si CCSL a été initialement conçu pour servir de modèle de temps au profil UML MARTE, il est devenu un langage de modélisation à part entière dédié à la capture des relations de causalités, chronologiques et temporelles, propres à un modèle. Il est destiné à complémenter des modèles syntaxiques qui eux capturent les structures de données, l'architecture et l'algorithme. Ce document commence par décrire les modèles de parallélisme qui ont inspirés CCSL. Ensuite, le langage CCSL est présenté puis utilisé pour construire des bibliothèques dédiées à deux spécifications standardisées dans les domaines de l'avionique (AADL) et de l'automobile (East-ADL). Finalement, nous introduisons une technique basée sur des observateurs pour vérifier des implantations (Esterel et VHDL) et s'assurer qu'elles respectent bien les propriétés données par une spécification CCSL.

La programmation synchrone est utilisée pour faciliter la description des systèmes réactifs, devant réagir de façon continue avec leur environnement physique. Ces systèmes sont souvent répartis, pour des raisons d'implantation physique ou de tolérance aux fautes. D'autre part, de tels systèmes sont aussi critiques et temps-réel. Le but de ce travail est d'étudier des méthodologies d'implantation de tels systèmes sur des réseaux de calculateurs. Nous montrons comment l'application de la programmation synchrone pose des problèmes de robustesse pour la programmation de tels systèmes en raison de la non correspondance du temps logique au temps réel. Nous étudions la robustesse dans divers cas: systèmes continus et systèmes discrets. En particulier nous fournissons des outils de simulation pour des architectures réparties quasi-synchrones et des outils de vérification de la robustesse. Nous proposons aussi un protocole de synchronisation dans les cas de systèmes non robustes. Nous proposons enfin une approche de tolérance aux fautes pour les systèmes répartis quasi-synchrones.

Cette thèse présente les résultats du projet de recherche Coopeer sur le thème de la conception collaborative. Ce travail a permis de mettre en place une architecture d'égal à égal pour la conception assistée par ordinateur (CAO) associée à une méthode optimiste de résolution automatique des conflits pour assurer la cohérence des données répliquées. Cette méthode s'appuie sur une estampille à double identification et sur une gestion de la simultanéité basée sur des priorités. La gestion du groupe de travail et la tolérance aux pannes y sont également adressées. La méthode est applicable à la CAO, mais aussi à tout type d'application collaborative complexe.