Search

Colloques et séminaires; La procédure exploratoire d'analyse statistique des données d'une matrice d'information géographique, présentée dans cet article, permet de produire une délimitation d'aires spatialement connexes et statistiquement homogènes. Cette procédure s'inscrit dans le cadre méthodologique constitué par l'analyse des données et ses développements récents, notamment ceux (analyse des correspondances binaires lissée, classification hiérarchique sous contrainte de contiguïté) qui s'attachent à prendre en compte dans le traitement statistique les attributs spécifiquement spatiaux (voisinage, contiguïté, fluctuations locales) des données soumises à l'analyse. Les résultats obtenus concernent la Bourgogne. Ils permettent de repérer, de décrire et d'analyser les bassins de production agricoles sur la base de données communales extraites du Recensement Général de l'Agriculture de 1988.

We propose an image processing operator modeling focusing on information manipulations carried in the data structures by the operators. This modeling allows to develop a new kind of help system different from those currently proposed. (Résumé d'auteur)

Ce papier traite de la synthèse automatique d'un contrôleur reprogrammable dans un environnement de synthèse de haut niveau. Partant d'une spécification comportementale de haut niveau décrivant la fonction du circuit, la synthèse de haut niveau fournit une architecture composée d'un chemin de données et d'un contrôleur. L'architecture générée est flexible du fait de l'utilisation d'un contrôleur à la base d'une ROM et d'un séquenceur figé. L'avantage d'utiliser un contrôleur reprogrammable est de profiter de la nature du matériel (rapidité). Une comparaison sera faite entre les trois solutions offertes actuellement aux concepteurs de processeurs : processeur standard (du marché), processeur câblé (ASIC) ou ASIP. (Résumé d'auteur)

Nous nous intéressons ici au management stratégique des entreprises à travers la prise de décision vue comme une activité de planification. Notre problématique s'inscrit dans la conception de systèmes informatiques supportant cette activité lorsque les domaines d'application sont complexes. Nous proposons, pour ces systèmes, un modèle de représentation du domaine orientée agent et nous présentons un outil basé sur cette approche. (Résumé d'auteur)

Dans cet article, nous présentons une méthode de segmentation hiérarchique de textures fondée sur une décomposition en ondelettes de l'image. Une segmentation grossière est effectuée au niveau de résolution le plus élevé à partir de prototypes de chaque classe de texture déterminés avec un classificateur flou. Une analyse de voisinage permet ensuite de créer une classe de pixels ambigus. La segmentation initiale est progressivement affinée en reportant la prise de décision pour les pixels ambigus au niveau de résolution de l'image originale. (Résumé d'auteur)

In order to face with problems encountered in educational system, many courseware are produced in different ways. Therefore it is very difficult to evaluate the quality of these courseware ; it is also difficult to know what is their real impact. In this paper, we propose a model of designing courseware, and statistic tools to validate them. (Résumé d'auteur)

Cet article présente une méthode de synthèse automatique de documents enregistrés sur support électronique. Le système proposé a pour objectif de mettre à la disposition d'un utilisateur un ensemble de moyens (les opérations de synthèse) qui lui permettent d'assimiler de façon personnalisée le contenu d'un document. La méthode utilisée repose sur une représentation sémantique adéquate du document à étudier. Cette représentation intègre aussi bien les concepts inhérents au thème traité par le document que l'expertise et les connaissances opératoires nécessaires pour manipuler intelligemment le document. Les opérations de base offertes par ce système sont spécifiées à l'aide de la notion d'abstraction. Elles permettent de construire une représentation virtuelle du document de base adaptée aux contraintes d'acquisition, aux objectifs et au profil de l'utilisateur. Le document de base est enregistré sous forme d'hypertexte. (Résumé d'auteur)

Le lambda calcul est l'outil théorique de base pour l'étude des langages de programmation et plus précisément des langages de programmation fonctionnels. La substitution y joue un rôle essentiel, c'est pourquoi nous l'avons étudiée et nous présentons un calcul dit de substitutions explicites qui permet de l'intégrer à l'intérieur du lambda calcul. De là, nous introduisons une machine abstraite, la machine à triade qui sert de substrat aux implantations du lambda calcul et donc aux implantations des langages fonctionnels. (Résumé d'auteur)

Une machine automatique apprenante et efficace, voire une sorte de machine comportant les aptitudes du cerveau animal constitue de nos jours un grand défi pour l'humanité. Certes, des Scientifiques s'y attelent sérieusement. A travers ce qui suit, nous apportons notre contribution à ce type de machine, considérant plusieurs méthodes d'apprentissage pour les réseaux à Fonction Radiale de Base (FRB) utilisés pour la reconnaissance de la parole, des vocabulaires isolés en particulier. De fait, observant la dynamicité de la parole, des réseaux à connexions retardées et aux unités intégratives sont les plus indiqués. Enfin, nous comparons l'aptitude à la généralisation et les coûts machines de nos modèles à ceux des perceptrons multicouches. Nos études montrent que l'apprentissage supervisé des centroïdes des fonctions de base donne des résultats appréciables et à moindre coût. (Résumé d'auteur)

L'ingénierie des protocoles regroupe un ensemble d'activités permettant de développer des systèmes de communication de qualité. La complexité de tels systèmes nécessite d'utiliser des techniques automatiques, et formelles. Le test de conformité, est l'une de ces activités, qui est normalisée. La norme ISO9646 définit le cadre et la méthodologie à suivre par les laboratoires accrédités, dans le processus de test. Depuis, des travaux de recherche pour automatiser, dans un cadre formel la génération de tests ont été menés. Les méthodes établies utilisent une modélisation des entités de protocole par des systèmes à transition. Nous faisons un regroupement de ces méthodes en deux grandes classes, que nous appelons approches basées sur les Automates d'Etats Finis et approches basées sur les testeurs canoniques. La première classe de méthodes est fondée sur la génération, à partir de modèles d'Automates d'Etats Finis, de suites finies de tests sous forme de séquences d'entrée-sortie. La deuxième classe de méthodes est fondée sur la génération, à partir de modèles de type Systèmes de Transitions Etiquetées, d'un processus de test appelé testeur canonique. Cette communication introduit le test de conformité, dans son contexte normatif, et présente les classes de méthodes citées précédemment. Nous exhibons le pouvoir, (et les limites) de ces méthodes, et nous présentons les travaux récents, de même que les développements en cours. (Résumé d'auteur)

Nous nous intéresserons dans cet article aux problèmes de validation dans les méthodes d'analyse de système d'information orientées objet. Partant du fait que l'ingénierie des besoins comprend les activités d'élicitation, de modélisation, de synthèse et de validation, nous proposons des outils couvrant tout le champ de l'ingénierie des besoins. Nous nous appuyons sur la méthode de spécification O* mais notre démarche peut être facilement étendue aux autres méthodes orientées-objet et même à toute méthode d'analyse de système d'information. Nous proposons notamment parmi nos outils : un éliciteur des besoins à deux axes, le premier concentré sur la capture des scénarios utilisateurs et le second déduisant de la spécification textuelle une esquisse de spécification formelle à valider ; un prototypeur traduisant les spécifications orientées objet vers un langage orienté objet exécutable ; un assistant du processus intégrant des heuristiques liées aux sémantiques des méthodes de développement. (Résumé d'auteur)

L'intégration d'un client "World Wide Web" (WWW) dans un processus d'enseignement-apprentissage nécessite d'étudier la gestion des ressources pédagogiques par le client et la communication avec les autres modules du système d'enseignement. Nous présentons dans ce papier, une architecture de système tutoriel intelligent (STI) utilisant un client WWW comme interface de l'apprenant. Cette interface permet de supporter le déroulement de toute ressource pédagogique faisant partie d'une matière à enseigner par un STI. (Résumé d'auteur)

In this paper, we show how to extract reliable informations about the shape of 3D objects, obtained from volume medical images. We present an optimal region-growing algorithm, that makes use of the differential characteristics of the object surface, and achieves a stable segmentation can be used to recognize and locate a target sub-structure on a global anatomic structure. (Résumé d'auteur)

Cet article présente le module SYNTHAR+ de pré-traitements linguistiques, destiné à une bonne oralisation des textes de la langue Arabe sous le système de synthèse Multivox. Il repose sur la modélisation de connaissances phonologiques et morpho-lexicales pour élaborer la chaîne de graphèmes. Un protocole d'évaluation illustrant l'amélioration de l'intelligibilité de la restitution est enfin discuté. (Résumé d'auteur)

Nous étudions le calcul du produit C=AB de deux matrices carrées A et B d'ordre n, sur une famille de réseaux systoliques, linéaires et unidirectionnels, dont chaque cellule effectue au plus une accumulation (une multiplication suivie d'une addition) entre deux tops. (Résumé d'auteur)

Nous proposons une méthodologie de conception de Système Multi-Agents fondée sur l'Opérationalisation de Connaissances. Ce terme désigne le passage d'un modèle pertinent de connaissances (issu de l'acquisition de connaissances) à un système, qui soit, à la fois : persistant par rapport au modèle, et pertinent par rapport à l'application. Cet article propose une taxonomie d'agents fondée sur cette notion d'opérationalisation. (Résumé d'auteur)

Cet article présente un logiciel de dimensionnement d'installations photovoltaïques développé en utilisant les concepts objets tant au niveau de l'analyse fonctionnelle que dans la programmation réalisée sous l'environnement Windows. Il trouve un intérêt eu égard aux coûts élevés des investissements relatifs à de telles installations. (Résumé d'auteur)

Cet article présente le projet SIDARI, un système intelligent distribué appliqué aux réseaux informatiques. Après avoir exposé les besoins et les contraintes en formation des réseaux informatiques, nous proposons une solution issue des techniques de l'intelligence artificielle, de l'approche orientée objets, et des tuteurs intelligents. (Résumé d'auteur)

A Landsat RM image was used to map Plio-quaternary and Oligo-Miocene volcanic deposits from the Western Cordillera, southwest of Cuenca (Ecuador). The study focused on the Plio-Quaternary Quimsacocha volcano. Best results were obtained using unsupervised multispectral classification combined with other methods (mathematical morphology, etc..). The interpretation was locally validated by field observations. (Résumé d'auteur)

L'héritage multiple peut être une source de conflits dans les langages à objets. Généralement, les stratégies par défaut utilisées dans les langages à objets consistent à linéariser le graphe d'héritage. Comme le souligne Masini, les stratégies linéaires ont l'inconvénient majeur de systématiser le traitement de chaque conflit sans tenir compte de la nature du problème à résoudre. Dans ce papier, nous sommes intéressés au problème de l'héritage du comportement en programmation logique par objets et nous proposons une solution non-linéaire basée sur la résolution non-déterministe. Elle permet d'explorer toutes les méthodes possibles et de considérer tous les points de vue d'un objet. Pour amender le comportement par défaut qui n'est pas toujours souhaité, nous proposons une solution basée sur la désignation explicite multiple. (Résumé d'auteur)

Le "Primum movens" de cet article est de justifier l'obsolescence du paradigme statique de la recherche opérationnelle pour la prise de décisions en faveur du paradigme des systèmes interactifs d'aide à la décision et de présenter la quintescence de la méthodologie des systèmes interactifs à la Décision en la comparant aux autres outils dans l'arsenal des moyens développés dans le domaine de systèmes d'information. En guise d'illustration, nous indiquons brièvement comment ces idées peuvent être exploitées à bon escient, pour venir à bout des problèmes de planification dans un environnement turbulent. Quelques développements récents, en l'occurrence les SIAD synergétiques et le renforcement de l'approche de Simon pour tenir compte de la hiérarchisation des besoins du décideur sont aussi présentés. L'article se termine par une conclusion où quelques axes de réflexion pour des futurs travaux de recherche dans ce domaine sont indiqués. (Résumé d'auteur)

Nous présentons un modèle de spécification composé d'un ensemble de réseaux de Petri temporels évoluant en parallèle. Nous avons développé, dans [BOU,93], une approche de construction du graphe d'atteignabilité pour un réseau de Petri temporel. Il s'agit d'étendre et d'adapter cette approche au modèle présenté ici. (Résumé d'auteur)

Cet article présente quelques solutions ayant pour but d'améliorer la testabilité des circuits combinatoires testés de manière pseudo-aléatoire. S'inscrivant dans l'approche Force-Observe, les solutions préconisées consistent en la modification des circuits par l'insertion de deux types de points de test : les points d'observation et les points de contrôle. (Résumé d'auteur)

L'ADM-INDEX est un système utilisant les méthodes linguistiques (morphologie, syntaxe et sémantique) pour l'indexation et l'interrogation de comptes-rendus médicaux. Sa base de connaissances est une restructuration du système A.D.M. qui est une vaste base de connaissances médicales développée au Centre Hospitalier Régional de Rennes depuis 1972 et qui a été le premier videotex professionnel d'aide au diagnostic médical en France. Dans cet article, nous présentons d'une part la base de connaissances de l'ADM-INDEX qui est constituée d'un dictionnaire, d'un ensemble de règles et d'un thesaurus, et d'autre part, le processus d'indexation et de recherche d'informations. Un prototype du système est consultable sur World Wide Web, qui est le système multimédia le plus utilisé sur Internet. (Résumé d'auteur)

La programmation parallèle nécessite des outils permettant l'arrêt global des systèmes distribués. Plusieurs travaux ont été menés permettant de construire de tels outils. Cependant le nombre de messages générés par les algorithmes qui en résultent les rend inefficaces. Le présent travail qui est une amélioration d'un résultat antérieur propose un algorithme permettant un arrêt consistant du système distribué et générant un nombre de messages borné et indépendant du nombre de processus dans le système. (Résumé d'auteur)

Les formules existentielles jouent un rôle important dans le domaine de la synthèse déductive de programmes. Nous présentons une méthode permettant la construction (automatique) de preuves de validité de formules existentielles dans le modèle initial d'un ensemble d'équations. Cette méthode est basée sur une notion de "cover set" et de système de réécriture ordonné. Nous proposons également un algorithme de synthèse de définitions récursives de fonction de Skolem pour une formule existentielle à partir de sa preuve de validité. (Résumé d'auteur)

Ce papier présente une approche de rétro-conception des bases de données basée sur les formulaires utilisés pour la manipulation de ces bases de données. (Résumé d'auteur)

Cet article présente un mécanisme d'évolution de schéma qui offre les opérations de fusions et d'éclatement de classe et une forme particulière de suppression de classe. Ces opérations se caractérisent par les requêtes qu'elles intègrent pour faire migrer les instances des classes modifiées vers d'autres classes. Notre attention se porte sur une fontion proposée pour restructurer les instances des classes modifiées et réaliser les migrations d'instances nécessaires. (Résumé d'auteur)

Parallel simulators appear today as the best way to vulgarize parallel programming environments. They are also useful for parallel programming training as well as development of application programs. We have implemented a parallel simulator for PRAM model. The particularity of our parallel simulator is that it is an implementation of a denotational semantics of PRAM model. (Résumé d'auteur)

We present the software architecture for a detection system of motor breakdowns in the mechanics domain. We describe the architecture entities of the system and the relationships between them into a formalism support. This formalism is integrated at the design step of lifecycle software. (Résumé d'auteur)

L'approche texturale se prête bien au traitement des images radar. La transformée en ondelettes et des filtres adaptatifs sont utilisés comme prétraitement pour une estimation de paramètres de texture. La "perception multicouche" réalise la classification. Deux logiciels ont été produits : ATIR pour les routines d'Analyse Texturale et PMUC comme un environnement robuste de programmation neuronale. Une application sur une image de la mangrove de Douala au Cameroun a donné des résultats satisfaisants. (Résumé d'auteur)

Le LRSAE développe depuis plusieurs années, le logiciel GODET (Gestion et Organisation des Données Ecologiques et Taxinomiques) conçu pour intégrer dans la même base de connaissance les données nécessaires à un travail écologique de terrain et de laboratoire. Un tel logiciel doit donc gérer de façon relationnelle, des données bibliographiques, des fiches de systématiques, l'iconographie des taxons, la biogéographie et la distribution des taxons ainsi que tous les paramètres de terrain mesurés lors des campagnes d'échantillonnages. GODET est une véritable chaîne de traitement passant par l'intégration, la gestion, la manipulation et l'extraction des données vers des logiciels de statistiques et de représentations graphiques. Il est possible en outre d'éditer des catalogues faunistiques ou des clefs de déterminations automatiques. Le logiciel GODET est une surcouche du logiciel 4ème dimension développé par ACI. Le module de Cartographie intégré a été développé à l'aide de MPW 3.2 d'APPLE et 4D External Kit d'ACI. Pour fonctionner, notons que GODET n'utilise que le logiciel 4ème Dimension d'ACI. GODET fonctionne sur tout MacIntosh de configuration minimale de 8 Mo de mémoire vive et de 250 Mo de disque dur. (Résumé d'auteur)

Les Recommandations pour l'Encodage et l'Echange des Textes Informatisés de la Text Encoding Initiative (TEI) fournissent des conventions d'encodage pour un large éventail de types de textes et d'éléments textuels utiles pour de nombreuses applications. L'encodage des textes africains pose des difficultés particulières, et il est important d'établir des collaborations entre la TEI et les projets qui encodent des ressources linguistiques et textuelles pour les langues africaines. (Résumé d'auteur)

La manière dont les enregistrements d'un fichier sont rangés en mémoire a évidemment une influence sur les temps de recherche : plus les enregistrements qui répondent à une question sont voisins, plus vite ils sont retrouvés. La recherche est encore accélérée s'ils sont situés séquentiellement, car on peut y accéder sans effectuer de saut. Notre intention est de généraliser à des algèbres à p éléments les résultats obtenus par Faloutsos pour l'algèbre binaire, et d'étudier le gain qu'on obtient à l'occasion de ces généralisations. (Résumé d'auteur)

Dans cet article nous proposons au chirurgien en rhinoplastie un outil pour la simulation de son opération chirurgicale. Nous proposons une représentation du profil par une courbe qu'il peut modeler jusqu'à l'obtention de la forme désirée. De plus, il lui assure une grande précision dans le calcul des différentes mensurations, donc une meilleure évaluation de son examen préopératoire, lui facilite la communication avec son patient grâce à l'interactivité du logiciel. (Résumé d'auteur)

Ajouter des outils logiciels dans un environnement nécessite de leur permettre de communiquer avec les autres outils en échangeant et/ou partageant des données (intégration par les données) et en échangeant des informations de contrôle (requêtes, notifications). Ces deux dimensions de l'intégration ne sont pas toujours offertes dans le même environnement. Cette proposition vise à faciliter une intégration a posteriori d'outils par un contrôle qui prenne en compte la sémantique des messages échangés. (Résumé d'auteur)

Ce papier présente les performances d'une approche morphologique, en télédétection spatiale, intégrée dans un schéma de segmentation hiérarchique par région. La méthode de segmentation proposée s'inscrit en amont d'une méthode de recalage d'images satellites s'appuyant sur les contours. La morphologie mathématique fournit un arsenal d'outils particulièrement appréciables en segmentation puisqu'elle permet de prendre en compte, efficacement, des notions de taille, de forme, de contraste et de connexité considérées comme proches de la notion de région et donc de segmentation. L'algorithme présenté dans cette communication fait collaborer les derniers outils morphologiques développés en segmentation et les méthodes générales de croissance de régions. Des résultats de segmentation d'une image SPOT couvrant un paysage de type parcellaire, sont illustrés et montrent les possibilités offertes par la morphologie mathématique en imagerie satellitaire. (Résumé d'auteur)

Ce papier montre une aide de l'apprentissage automatique à l'élaboration d'une typologie archéologique, au stade où les classes que l'on cherche à établir sont encore mal connues. Le programme utilisé, LEGAL, est un système d'acquisition des connaissances qui permet de définir des classes sur la base de leurs exemples et de contre-exemples. Les résultats, relatifs à un corpus de céramiques du Soudan (site de Kerma), montrent la compatibilité de la discrimination obtenue avec les hypothèses archéologiques. (Résumé d'auteur)

Ce papier développe un Système Expert d'Aide à la décision médicale dans les services de santé. De nombreux systèmes certes, existent en aide au diagnostic médical dans les pays en voie de développement couvrant plusieurs domaines de la santé. Il s'agit de CONSULT-EAO Aegerter, TROPICAID Auvert, Boyom Sop, SASEP Briggs, Byass, MEDICAL TUTOR Eamsiri, Flikeid, ESTROPID Forster, MEDIT-MEDIC Goldberger, PECM Kastner, King, ROPES Noon, Porenta, SYMPMED Uplekar, Xie, etc. La plupart de ces auteurs, ou presque tous se sont inspirés des grands systèmes experts d'aide au diagnostic médical tels que CASNET, MYCIN, PIP et INTERNIST réalisés à partir de 1970 dans le monde. Malgré le succès scientifique de ces systèmes, leur utilisation dans les services de santé reste très limitée dans la mesure où ils contribuent moins à la collecte, l'analyse et la communication sanitaire, des informations appropriées pour le management des services de santé. Dans nos efforts de recherche/développement, nous proposons un Système Expert d'Aide au diagnostic et traitement des Grandes Endémies Tropicales (GET), intégré dans le Système National d'Information pour le Management des Services de Santé (NHMIS). (Résumé d'auteur)

Les méthodes d'adjoint pour l'assimilation de données ont été appliquées récemment aux modèles numériques de prévision à grande échelle. Ceci conduit à la minimisation d'une fonction coût, définie comme une somme discrète en espace et en temps des différences entre la prévision du modèle et les observations connues. Notre but est ici d'utiliser de telles méthodes pour l'assimilation de données au moyen d'un modèle à mésoéchelle. (Résumé d'auteur)

Le modèle des p-types, implanté par un système appelé Osiris, est un modèle de représentation des connaissances centré-objet. Dans ce modèle, un utilisateur décrit une base de connaissances à travers un mécanisme de vues décrites par des propriétés logiques. La détermination pour un objet donné des vues pour lesquelles l'ensemble de ces propriétés logiques sont satisfaites est la problématique même du classement. Une analyse de la description des vues permet la construction de réseaux de classement d'objets dont l'architecture est totalement déterminée dans cette phase d'analyse. (Résumé d'auteur)

Dans la communication humaine, les personnes impliquées dans une situation de dialogue prédisent les éventuelles réponses de leur interlocuteur. A cette fin, elles se mettent mentalement à la place de celui-ci, prennent son rôle dans la situation de dialogue pour anticiper ses réactions ou déterminer ses intentions. Cette stratégie dite d'anticipation de la rétroaction (global anticipation feedback) a été rarement utilisée dans les systèmes de dialogue homme-machine. Les outils et techniques préalables à l'implémentation de cette stratégie ont été développés dans le système de dialogue PRACMA qui sert aussi de plate-forme pour explorer les avantages et limites d'une telle stratégie. Dans cet article, nous présentons d'abord un cadre théorique pour analyser les possibilités de réalisation. Nous décrivons ensuite l'implémentation dans un système de dialogue capable de prendre les deux rôles dans une situation de dialogue. Enfin, nous décrivons une méthode pour améliorer les résultats de l'anticipation par la prise en compte de l'incertitude sur les mobiles et intentions de l'interlocuteur. Dans la dernière partie, nous discutons quelques approches permettant de minimiser le coût de l'utilisation de l'anticipation, et nous présentons d'autres possibilités d'utilisation. (Résumé d'auteur)

La recherche sur la réponse dynamique des ponts a commencé dans les années 50 après l'effondrement de certains ponts de chemin de fer en Angleterre. A ses débuts, la recherche était plutôt expérimentale et portait sur l'élaboration d'un facteur d'amplification dynamique à l'usage des ingénieurs praticiens à partir de plusieurs tests expérimentaux. En général, ce facteur dépendait seulement de la longueur des ponts. Cependant, il est maintenant admis que la réponse dynamique des ponts due aux charges mobiles (véhicules) dépend de plusieurs facteurs dont les caractéristiques géométriques du pont, les caractéristiques des véhicules, les profils dynamique et statique du pont, le trafic, etc. Avec l'avènement des ordinateurs et pour tenir compte de tous ces facteurs, plusieurs chercheurs ont essayé d'aborder le problème de façon numérique en utilisant des modèles Pont-Véhicule très simplifiés à cause de la complexité des analyses. Depuis les derniers développements de l'informatique, des modèles numériques de plus en plus complexes ont vu le jour. Dans cet article, nous présentons un modèle tridimensionnel aussi bien pour le pont que pour le véhicule pour simuler la réponse dynamique du pont. Les équations du mouvement du pont et du véhicule ont été découplées et un algorithme spécial a été mis au point pour simuler l'interaction entre le véhicule et le pont. Un exemple numérique est présenté pour valider le modèle en comparant nos résultats avec ceux obtenus lors d'un test réel effectué par le Ministère des Transports du Québec. (Résumé d'auteur)

Cet article présente trois types de métaconnaissances utilisés par le système à base de règles (230 règles) GénéCom pour engendrer des commentaires : les premiers pour comprendre le comportement de l'utilisateur ; les seconds pour analyser la base de connaissances du domaine d'application ; et les troisièmes pour sélectionner et expliciter les connaissances du domaine. Une des originalités du travail présenté vient du fait que le domaine d'application est également un système à base de règles (nommé Bateleur). Ce dernier possède environ 450 règles. Ces deux systèmes fonctionnent et les métaconnaissances présentées ont été réellement implémentées. (Résumé d'auteur)

Un système de détection automatique du cancer du sein est en cours de développement dans notre laboratoire. Les foyers de microcalcifications, les images stellaires, les opacités circonscrites et les asymétries de densité sont les anomalies considérées. Des réseaux de neurones artificiels, spécialisés chacun dans la détection d'une anomalie donnée, ont été définis pour cette tâche. Ce papier présente le module chargé de la détection des foyers de microcalcifications. C'est un réseau de neurones à trois couches, conçu avec l'algorithme de rétro-propagation. La mammographie est analysée de la gauche vers la droite et de haut en bas, à travers de petites portions. Le taux de succès est de 97 % pour les zones contenant des foyers de microcalcifications et de 95 % pour celles qui n'en contiennent pas. (Résumé d'auteur)

The developping countries are facing many urban problems caracterized by the proliferation of spontaneous habitat in quarters. This paper describes an approach of intervention in urban sector in order to improve the knowledge and the management of characteristics parameters (site, land, building, road, network, equipement) of a quarter. According to the complexity of decision in town management and the diversity of datas to manage, we propose a computer—based solution. It frees the different actors of urban management from the fastidious work of data collection, data organization and manipulation before any decision making. In this paper, a first step is realised concerning the data storage and the judicious presentation of statistical datas to the decsion makers. The system to implement allows through its flexibility and its interactivity to help them in the decision making process. This approach is closed to a real DSS (decision support system): the datas are formated in a way that can improve ...

La synthèse d'image a connu une évolution fantastique ces deux dernières décennies et son champ d'application est très varié. Toutes les méthodes et tous les algorithmes dérivés de la synthèse d'image sont maintenant utilisés dans les domaines autres que celui de l'image tels que : infrarouge, thermique, téléphone... Cet article ne prétend pas décrire de manière exhaustive ce vaste domaine, il veut juste présenter les principes de base utilisés ainsi que les différentes applications. (Résumé d'auteur)

Le problème qui fait l'objet de cet étude est celui des instabilités "tearing" ou de déchirement de surfaces magnétiques qui apparaissent lors du processus de confinement de plasma par voie magnétique. Ce problème modélisé par les équations Magnétohydrodynamique est étudié comme un problème de bifurcation. Dans le présent travail, la résistivité engendre de nouvelles difficultés mathématiques pour la justification des théorèmes d'existence de branches bifurquées (justification que l'on pourrait trouver dans la thèse de A. Boussari soutenue à Clermont-Ferrand le 19 janvier 1996). Dans le présent papier nous développons dans un premier temps un code 1-D en différences finies pour déterminer les points de bifurcation à partir de la solution d'équilibre ; puis à l'aide d'un nouveau code 2-D d'évolution en éléments finis nous étudions l'existence de branches de solutions non linéaires afin de mieux comprendre le comportement non linéaire des instabilités de déchirement de surfaces magnétiques. (Résumé d'auteur)