Nous présentons une méthode pour spécifier et vérifier des programmes en séparant les préoccupations. En particulier, nous décrivons la spécification puis la vérification par interprétation abstraite de programmes distribués. Un programme est composé de deux parties, une partie concurrente et une partie fonctionnelle. Elles sont ensuite composées en utilisant un mécanisme de tissage simple (syn...

le mouvement transversal de la locomotive ou des wagons , appele ie lacet, provient de deux causes principales: -la conicite des bandages -les irregularites de la voie dans ie plan horizontal. on se propose ici d'etudier la premiere cause , ce qui nous conduit a une equation differentielle non lineaire du deuxieme ordre. • l'equation en question est etudiee dans plusieurs cas difftten...

Notre travail s’inscrit dans le contexte du projet européen SEMIDE (Système euro méditerranéen d’information sur les savoir-faire dans le domaine de l’eau). Le SEMIDE vise à développer une ontologie spécifique aux connaissances dans le domaine de l’eau. Ce travail s’est basé dans un premier temps sur un thésaurus du domaine de l’eau, or les ressources d’informations ne cessent de s’accroître de...

Le jeu de Go est un ancien jeu chinois. Il est très populaire en Corée, au Japon et en Chine. Les générations successives de joueurs de Go ont accumulé une expérience énorme du jeu tout au long de son histoire. Pour donner une idée de la somme des connaissances sur ce jeu, on peut citer les historiens chinois qui écrivent souvent que c'est Yao, un empereur semi-mythique du 23 siècle avant J.-C....

Une carte cognitive (Tolman 1948) contient deux types d'informations : des nœuds appelés états représentant des concepts et des arcs entre ces nœuds représentant des liens d'influence positifs ou négatifs. Un mécanisme d’inférence propage les influences. Une première faiblesse des cartes cognitives est sa trop grande souplesse car un état peut être représenté par n'importe quelle étiquette ling...

"Etude etiologique de la circulation ra.pide iutra-rena-le"  Le but de l'angiographle renale n'est pas '.seu­lement le controle anatomique de l'organe, une etude physiologique (Hemodynamique) doit toujours etre prise en consideration.  Le temps normal de la circulation intra-renale selon les differents auteurs varie entre 6 a 8, 8 a 10 et 10 a 12 secondes, mais le temps moyen est de 6 a 8 seco...

introduction - les impuretes, meme en faibles teneurs, modifient beaucoup les proprietes physiques des metaux. ainsi, pour une etude profonde de ces proprie, tes , on a besion d'un metal extremement pur. la methode de la zone fondue a permis cette realisation . principe - dans la methode de purification dite de la «zone fondue» decouverte par pfann en 1952, une courte zone liquide est depl...

Il s'agit d'une patiente de 17 ans qui se plaignait depuis un mois d'une hémicrânie gauche positionnelle paroxystique, rebelle aux antalgiques simples, associée à des nausées, des vomissements et une diplopie d'instalation brutale apparue 48 heure avant son hospitalisation. L'examen Clinique a trouvé une paralysie de la 6 paire crânienne gauche et le fond d'œil a objectivé un œdème papillaire b...