Projet Repco
Précédent : Résultats nouveaux
Remonter : Rapport activite 1997 Suivant :
Actions
régionales, nationales et internationales
Participants : Marie-Odile Cordier , Sylvie Thiébaux
Contrat EDF R34/1H9487 et
R34/1H9487/01 (avenant) sur la «Génération réactive de plans de
reprise de service sur les réseaux de distribution
EDF», début février 1994, fin février
1997.
Lors de l'occurrence de défauts sur les lignes des réseaux de
distribution, SyDRe permet de localiser les lignes fautives en
interprétant les télésignalisations reçues, puis de construire un
plan de reconfiguration du réseau afin de réalimenter au mieux
les clients du réseau. L'avenant du contrat concerne le portage
du prototype initial SyDRe sur l'environnement du projet EDF
AUSTRAL et son test sur des réseaux réels (Bordeaux).
Participants : Marie-Odile Cordier , Laurence Rozé ,
Emmanuel Mayer
La convention CTI avec le CNET
concernant la surveillance de réseaux de transmission de données
(Transpac) a été renouvelée pour la période allant de décembre
1997 à décembre 2000 (l'ancienne convention couvrait la période
octobre 1993 à octobre 1997) et s'effectue en coopération avec le
LIPN. La participation du projet
Repco se focalise sur l'acquisition automatique de scénarios de
panne discriminants. La méthode utilise des techniques
d'apprentissage automatique de type PLI. Le principe consiste à
rechercher, pour chaque description de panne, un scénario
discriminant qui accepte la description de cette panne et rejette
toutes les descriptions relatives aux autres pannes.
Participants : Marie-Odile Cordier , Philippe Laborie
Contrat EDF 1K4619 de février 1997 à février 1998 dont l'objet
est l'acquisition automatique de chroniques caractérisant les
comportements remarquables du réseau. L'élaboration de chroniques
par un expert, la description de classes de comportements
temporels caractéristiques du système supervisé constituent une
activité longue, difficile et sujette à de nombreuses erreurs.
Cette expertise est, de plus, très difficile à maintenir. Nous
proposons de générer automatiquement un ensemble de chroniques à
partir d'une représentation du fonctionnement des automatismes du
réseau suivant le formalisme des automates communicants.
Participants : Jacques Nicolas , Laurent Miclet , François
Coste
Il s'agit d'une convention CTI avec le
CNET (CCTP LAA/TSS/RCP/860) de
décembre 1997 à décembre 2000. En collaboration avec l'équipe
Dialogue de Lannion (IRISA-ENSSAT) et l'université de Saint
Étienne, le projet cherche à améliorer les techniques de
reconnaissance de la parole continue actuellement développées au
CNET. Il s'intéresse pour cela à un
modèle de langages contraignant l'ensemble des phrases
admissibles par la reconnaissance. L'objectif est de passer de la
modélisation actuelle par trigramme à une modélisation par
automates stochastiques réguliers construits de manière
automatique par inférence grammaticale à partir d'exemples.
Participants : Dominique Py
Participation au contrat INRP "L'interaction dans les EIAO
intégrant des instruments de calcul formel" couvrant la période
septembre 1997 à septembre 2001 dont l'objet est de concevoir des
environnements d'apprentissage autour de logiciels de calcul
formel. Le groupe de Rennes a en charge la création d'un
environnement d'apprentissage de démarches d'exploration et de
justification de comportement de fonctions réelles, basé sur le
logiciel DERIVE. L'accent est mis, en ce qui concerne Repco, sur
les méthodes à développer pour l'analyse automatique des erreurs
de l'élève en vue de déclencher une réponse adaptée de
l'environnement.
Participants : Philippe Besnard , Yves Moinard , Dominique
Py
Contrat CNET 97 1B 046 de mars 1997 à mars 2000 dont l'objectif
est de définir une théorie de la révision des croyances pour un
agent rationnel dialoguant avec un utilisateur des services
audiotel. Il s'agit dans un premier temps de décrire précisément
le processus cognitif de changement d'état mental et d'identifier
les opérations logiques mises en jeu, de manière à spécifier
complètement le processus logique de reconstruction des
croyances.
Participants : René Quiniou , François Bodin (projet
Caps), Yann Mével (projet Caps)
Collaboration avec la société SIMULOG
pour la définition d'un outil d'aide au portage de code au-dessus
de FORESYS, système fourni par
SIMULOG. L'objectif est d'aider un
programmeur à transformer un programme, pour améliorer ses
performances, par exemple, en s'aidant d'expériences similaires
aux opérations qu'il doit effectuer. Nous proposons d'utiliser le
raisonnement à partir de cas pour stocker et retrouver de manière
efficace les transformations adéquates.
Précédent : Résultats nouveaux
Remonter : Rapport activite 1997 Suivant :
Actions
régionales, nationales et internationales