Exécution sur l'exemple hermann88a
Cette annexe représente les sortie standard et d'erreur du système sur
la référence hermann88a. Cette exécution est commentée
dans le paragraphe 4.3.2,
page ![[*]](cross_ref_motif.gif)
. Les lignes commençant par I,
S et E sont des objets du Blackboard.
Chaque cycle commence par une ligne de tirets, montre la trace de l'exécution des agents, puis l'état du Blackboard. Après quoi on trouve une ligne de tirets terminée par le numéro du cycle et la synthèse du cycle. Cette synthèse comprend :
Script started on Mon Oct 20 19:01:11 1997
poirel =19970402.rc 51 % nice +19 /users/ecriture/parmenti/=dev/=c++/=ida-refs/
essai2 logique.rc /local/poirel/=refs/hermann88a.ref
Buffer:"<Times-Roman>M. Hermann. Vademecum of divergent term rewriting systems. In
</Times-Roman><Times-Italic>Proceedings BCS-FACS Term Rewriting Workshop</Times-Italic
><Times-Roman>, Bristol (UK), September 1988.</Times-Roman>"
Ajout des agents.
Les methodes ont ete declarees.
- Idle Maximal: 9
- Temperature : 100
- Activation minimale: 50
- Pourcentage d'agents a executer: 40
- Cycle : 0
----------
Initialisation terminee.
I: 85 S: 0 E: 85 "<Times-Roman>M. Hermann. Vademecum of divergent term rewriting
systems. In </Times-Roman><Times-Italic>Proceedings BCS-FACS Term
Rewriting Workshop</Times-Italic><Times-Roman>, Bristol (UK),
September 1988.</Times-Roman>" (champ:doc) - 0+0/0
-------------- 1
Cycle: 1
Idle: 0
Temperature: 85
Fini: 0
DS 0 (0)
DC 0 (0)
DI 0 (0)
DZ 0 (0)
AR 0 (0)
Reservoir: 0
Noeuds actifs: 5
----------
Separateur repere: "sep:author-title:. "
Separateur repere: "sep:-author:<Times-Roman>"
I: 95 S: 8 E: 87 "<Times-Roman>M. Hermann. Vademecum of divergent term rewriting
systems. In </Times-Roman><Times-Italic>Proceedings BCS-FACS Term
Rewriting Workshop</Times-Italic><Times-Roman>, Bristol (UK),
September 1988.</Times-Roman>" (champ:doc) - 0+0/4
I: 60 S: 74 E: 15 ". " (sep:author-title:. ) - 14+15/0 <- champ:doc
I: 60 S: 90 E: 6 ". " (sep:author-title:. ) - 23+24/0 <- champ:doc
I: 60 S: 70 E: 18 ". " (sep:author-title:. ) - 70+71/0 <- champ:doc
I: 60 S:100 E: 0 "<Times-Roman>" (sep:-author:<Times-Roman>) - 0+12/0
<- champ:doc
-------------- 2
Cycle: 2
Idle: 0
Temperature: 31
Fini: 4
DS 4 (2)
DC 0 (0)
DI 0 (0)
DZ 0 (0)
AR 0 (0)
Reservoir: 0
Noeuds actifs: 9
----------
Champ:doc NbApp:908 NbOcc:908
Champ:address NbApp:381 NbOcc:381
Champ:author NbApp:900 NbOcc:900
Champ:a NbApp:1794 NbOcc:900
Champ:booktitle NbApp:403 NbOcc:403
Champ:bw NbApp:3335 NbOcc:403
Champ:category NbApp:6 NbOcc:6
Champ:chapter NbApp:22 NbOcc:22
Champ:cmot NbApp:119 NbOcc:22
Champ:editor NbApp:78 NbOcc:78
Champ:e NbApp:120 NbOcc:78
Champ:howpublished NbApp:31 NbOcc:31
Champ:institution NbApp:55 NbOcc:55
Champ:journal NbApp:287 NbOcc:287
Champ:jw NbApp:1246 NbOcc:287
Champ:key NbApp:6 NbOcc:6
Champ:keywords NbApp:555 NbOcc:555
Champ:k NbApp:2349 NbOcc:555
Champ:month NbApp:257 NbOcc:257
Champ:mw NbApp:319 NbOcc:257
Champ:note NbApp:17 NbOcc:17
Champ:number NbApp:195 NbOcc:195
Champ:organization NbApp:22 NbOcc:22
Champ:pages NbApp:574 NbOcc:574
Champ:publisher NbApp:154 NbOcc:154
Champ:pub NbApp:386 NbOcc:154
Champ:ref NbApp:908 NbOcc:908
Champ:school NbApp:40 NbOcc:40
Champ:sw NbApp:162 NbOcc:40
Champ:series NbApp:2 NbOcc:2
Champ:title NbApp:907 NbOcc:907
Champ:mot NbApp:7624 NbOcc:907
Champ:type NbApp:40 NbOcc:40
Champ:tw NbApp:109 NbOcc:40
Champ:volume NbApp:308 NbOcc:308
Champ:year NbApp:906 NbOcc:906
On ne copie pas: ". " (sep:author-title:. ) dans (champ:author)
Ajout d'un champ:author "M. Hermann" a champ:doc
On a construit 1 champ "champ:author".
I:100 S: 10 E: 90 "<Times-Roman>M. Hermann. Vademecum of divergent term rewriting
systems. In </Times-Roman><Times-Italic>Proceedings BCS-FACS Term
Rewriting Workshop</Times-Italic><Times-Roman>, Bristol (UK),
September 1988.</Times-Roman>" (champ:doc) - 0+0/4
I: 60 S: 90 E: 6 ". " (sep:author-title:. ) - 23+24/0 <- champ:doc
I: 60 S: 70 E: 18 ". " (sep:author-title:. ) - 70+71/0 <- champ:doc
I: 60 S:100 E: 0 "<Times-Roman>" (sep:-author:<Times-Roman>) - 0+12/0 <- champ:doc
I: 89 S: 70 E: 26 "M. Hermann" (champ:author) - 13+22/0 <- champ:doc
-------------- 3
Cycle: 3
Idle: 0
Temperature: 34
Fini: 3
DS 1 (0)
DC 2 (1)
DI 0 (0)
DZ 0 (0)
AR 0 (0)
Reservoir: 3
Noeuds actifs: 23
----------
Separateur repere: "sep:journal-volume:</Times-Italic><Times-Roman>, "
Separateur repere: "sep:title-booktitle:. In </Times-Roman><Times-Italic>"
Separateur repere: "sep:month-year: "
I:100 S: 34 E: 66 "<Times-Roman>M. Hermann. Vademecum of divergent term rewriting
systems. In </Times-Roman><Times-Italic>Proceedings BCS-FACS Term
Rewriting Workshop</Times-Italic><Times-Roman>, Bristol (UK),
September 1988.</Times-Roman>" (champ:doc) - 0+0/9
I: 60 S: 90 E: 6 ". " (sep:author-title:. ) - 23+24/0 <- champ:doc
I: 60 S:100 E: 0 "<Times-Roman>" (sep:-author:<Times-Roman>) - 0+12/0 <- champ:doc
I: 89 S: 70 E: 26 "M. Hermann" (champ:author) - 13+22/0 <- champ:doc
I: 60 S: 79 E: 12 "</Times-Italic><Times-Roman>, " (sep:journal-volume:
</Times-Italic><Times-Roman>, ) - 147+176/0 <- champ:doc
I: 60 S: 83 E: 10 ". In </Times-Roman><Times-Italic>"
(sep:title-booktitle:. In </Times-Roman><Times-Italic>) -
70+102/0 <- champ:doc
I: 60 S: 70 E: 18 " " (sep:month-year: ) - 138+138/0 <- champ:doc
I: 60 S: 74 E: 15 " " (sep:month-year: ) - 184+184/0 <- champ:doc
I: 60 S: 74 E: 15 " " (sep:month-year: ) - 190+190/0 <- champ:doc
I: 60 S: 94 E: 3 " " (sep:month-year: ) - 200+200/0 <- champ:doc
-------------- 4
Cycle: 4
Idle: 0
Temperature: 20
Fini: 9
DS 8 (3)
DC 1 (0)
DI 0 (0)
DZ 0 (0)
AR 0 (0)
Reservoir: 0
Noeuds actifs: 895
----------
On a trouve 1 instance(s) de "year:1986"
Separateur repere: "sep:pages-year:, "
Separateur repere: "sep:pages-address:, "
On a trouve 2 instance(s) de "year:1988"
On a trouve 1 instance(s) de "key:iso"
Ajout d'un champ:title "Vademecum of divergent term rewriting systems"
a champ:doc
On a construit 1 champ "champ:title".
On a trouve 1 instance(s) de "year:1987"
I:100 S: 50 E: 50 "<Times-Roman>M. Hermann. Vademecum of divergent term rewriting
systems. In </Times-Roman><Times-Italic>Proceedings BCS-FACS Term
Rewriting Workshop</Times-Italic><Times-Roman>, Bristol (UK),
September 1988.</Times-Roman>" (champ:doc) - 0+0/12
I: 60 S: 90 E: 6 ". " (sep:author-title:. ) - 23+24/0 <- champ:doc
I: 60 S:100 E: 0 "<Times-Roman>" (sep:-author:<Times-Roman>) - 0+12/0 <- champ:doc
I: 89 S: 70 E: 26 "M. Hermann" (champ:author) - 13+22/0 <- champ:doc
I: 60 S: 79 E: 12 "</Times-Italic><Times-Roman>, "
(sep:journal-volume:</Times-Italic><Times-Roman>, )
- 147+176/0 <- champ:doc
I: 60 S: 83 E: 10 ". In </Times-Roman><Times-Italic>"
(sep:title-booktitle:. In </Times-Roman><Times-Italic>)
- 70+102/0 <- champ:doc
I: 60 S: 70 E: 18 " " (sep:month-year: ) - 138+138/0 <- champ:doc
I: 60 S: 74 E: 15 " " (sep:month-year: ) - 184+184/0 <- champ:doc
I: 60 S: 94 E: 3 " " (sep:month-year: ) - 200+200/0 <- champ:doc
I: 60 S: 92 E: 4 ", " (sep:pages-address:, ) - 189+190/0 <- champ:doc
I: 90 S: 91 E: 8 "1988" (champ:year) - 201+204/1 <- champ:doc
I: 1 S: 63 E: 0 "isto" (champ:key) - 179+182/1 <- champ:doc
I:100 S: 63 E: 37 "isto" (key:iso) - 0+3/0 <- champ:key
I: 89 S: 63 E: 32 "Vademecum of divergent term rewriting systems" (champ:title)
- 25+69/0 <- champ:doc
I: 97 S: 91 E: 8 "1988" (year:1987) - 0+3/0 <- champ:year
-------------- 5
Cycle: 5
Idle: 0
Temperature: 18
Fini: 45
DS 19 (2)
DC 4 (1)
DI 22 (4)
DZ 0 (0)
AR 0 (0)
Reservoir: 43
Noeuds actifs: 4878
----------
On a trouve 1 instance(s) de "year:1957"
On a trouve 1 instance(s) de "mot:How"
Separateur repere: "sep:note-:.</Times-Roman>"
On a trouve 1 instance(s) de "year:1985"
On a trouve 1 instance(s) de "sw:New"
On a trouve 1 instance(s) de "jw:Word"
On a trouve 1 instance(s) de "mot:aid"
On a trouve 5 instance(s) de "bw:s"
On a trouve 1 instance(s) de "mot:Merge"
Separateur repere: "sep:mot-mot: "
On a trouve 1 instance(s) de "mot:Depth"
On a trouve 1 instance(s) de "mot:Top"
On a trouve 1 instance(s) de "year:1989"
On a trouve 2 instance(s) de "mot:Cue"
On a trouve 1 instance(s) de "a:M. Hase"
On a trouve 1 instance(s) de "mot:edge"
On a trouve 2 instance(s) de "pub:T"
On a trouve 2 instance(s) de "volume:C"
On a trouve 1 instance(s) de "bw:ACM"
On a trouve 1 instance(s) de "mw:Sept."
On a trouve 2 instance(s) de "mot:Pre"
On a trouve 2 instance(s) de "mot:Editing"
On a trouve 1 instance(s) de "volume:I"
On a trouve 1 instance(s) de "mot:Items"
On a trouve 1 instance(s) de "mot:Made"
On a trouve 1 instance(s) de "mot:ABC"
Separateur repere: "sep:mot-mot:n"
I:100 S: 70 E: 30 "<Times-Roman>M. Hermann. Vademecum of divergent term rewriting
systems. In </Times-Roman><Times-Italic>Proceedings BCS-FACS Term
Rewriting Workshop</Times-Italic><Times-Roman>, Bristol (UK),
September 1988.</Times-Roman>" (champ:doc) - 0+0/27
I: 31 S: 90 E: 3 ". " (sep:author-title:. ) - 23+24/0 <- champ:doc
I: 45 S:100 E: 0 "<Times-Roman>" (sep:-author:<Times-Roman>) - 0+12/0 <- champ:doc
I: 90 S: 77 E: 20 "M. Hermann" (champ:author) - 13+22/1 <- champ:doc
I: 60 S: 79 E: 12 "</Times-Italic><Times-Roman>, "
(sep:journal-volume:</Times-Italic><Times-Roman>, )
- 147+176/0 <- champ:doc
I: 60 S: 83 E: 10 ". In </Times-Roman><Times-Italic>"
(sep:title-booktitle:. In </Times-Roman><Times-Italic>)
- 70+102/0 <- champ:doc
I: 60 S: 70 E: 18 " " (sep:month-year: ) - 138+138/0 <- champ:doc
I: 60 S: 74 E: 15 " " (sep:month-year: ) - 184+184/0 <- champ:doc
I: 60 S: 94 E: 3 " " (sep:month-year: ) - 200+200/0 <- champ:doc
I: 60 S: 92 E: 4 ", " (sep:pages-address:, ) - 189+190/0 <- champ:doc
I: 90 S: 95 E: 4 "1988" (champ:year) - 201+204/1 <- champ:doc
I: 1 S: 63 E: 0 "isto" (champ:key) - 179+182/1 <- champ:doc
I:100 S: 63 E: 37 "isto" (key:iso) - 0+3/0 <- champ:key
I:100 S: 82 E: 18 "Vademecum of divergent term rewriting systems" (champ:title)
- 25+69/11 <- champ:doc
I: 60 S:100 E: 0 ".</Times-Roman>" (sep:note-:.</Times-Roman>) - 205+219/0
<- champ:doc
I: 25 S: 63 E: 9 "Wor" (champ:jw) - 139+141/1 <- champ:doc
I: 24 S: 63 E: 9 "Wor" (jw:Word) - 0+2/0 <- champ:jw
I: 36 S: 75 E: 9 "s" (champ:bw) - 113+113/1 <- champ:doc
I: 35 S: 75 E: 8 "s" (bw:s) - 0+0/0 <- champ:bw
I: 36 S: 67 E: 12 "S" (champ:bw) - 117+117/1 <- champ:doc
I: 35 S: 67 E: 11 "S" (bw:s) - 0+0/0 <- champ:bw
I: 36 S: 67 E: 12 "S" (champ:bw) - 122+122/1 <- champ:doc
I: 35 S: 67 E: 11 "S" (bw:s) - 0+0/0 <- champ:bw
I: 36 S: 75 E: 9 "s" (champ:bw) - 143+143/1 <- champ:doc
I: 35 S: 75 E: 8 "s" (bw:s) - 0+0/0 <- champ:bw
I: 81 S: 73 E: 21 "erge" (champ:mot) - 16+19/1 <- champ:title
I: 60 S: 75 E: 15 " " (sep:mot-mot: ) - 9+9/0 <- champ:title
I: 60 S: 75 E: 15 " " (sep:mot-mot: ) - 12+12/0 <- champ:title
I: 60 S: 81 E: 11 " " (sep:mot-mot: ) - 22+22/0 <- champ:title
I: 60 S: 81 E: 11 " " (sep:mot-mot: ) - 27+27/0 <- champ:title
I: 60 S: 81 E: 11 " " (sep:mot-mot: ) - 37+37/0 <- champ:title
I: 81 S: 60 E: 32 "op" (champ:mot) - 145+146/1 <- champ:doc
I: 80 S: 60 E: 32 "op" (mot:Top) - 0+1/0 <- champ:mot
I: 94 S: 95 E: 4 "1988" (year:1989) - 0+3/0 <- champ:year
I: 81 S: 57 E: 34 "cu" (champ:mot) - 6+7/1 <- champ:title
I: 80 S: 57 E: 34 "cu" (mot:Cue) - 0+1/0 <- champ:mot
I: 81 S: 57 E: 34 "ce" (champ:mot) - 106+107/1 <- champ:doc
I: 80 S: 57 E: 34 "ce" (mot:Cue) - 0+1/0 <- champ:mot
I: 81 S: 61 E: 31 "M. He" (champ:a) - 0+4/1 <- champ:author
I: 80 S: 61 E: 31 "M. He" (a:M. Hase) - 0+4/0 <- champ:a
I: 80 S: 73 E: 21 "erge" (mot:edge) - 0+3/0 <- champ:mot
I: 13 S: 75 E: 3 "T" (champ:pub) - 124+124/1 <- champ:doc
I: 13 S: 75 E: 3 "T" (pub:T) - 0+0/0 <- champ:pub
I: 36 S: 60 E: 14 "AC" (champ:bw) - 120+121/1 <- champ:doc
I: 35 S: 60 E: 14 "AC" (bw:ACM) - 0+1/0 <- champ:bw
I: 23 S: 66 E: 8 "Sept" (champ:mw) - 191+194/1 <- champ:doc
I: 33 S: 66 E: 11 "Sept" (mw:Sept.) - 0+3/0 <- champ:mw
I: 81 S: 60 E: 32 "Pr" (champ:mot) - 103+104/1 <- champ:doc
I: 80 S: 60 E: 32 "Pr" (mot:Pre) - 0+1/0 <- champ:mot
I: 81 S: 60 E: 32 "ewriting" (champ:mot) - 29+36/1 <- champ:title
I: 80 S: 60 E: 32 "ewriting" (mot:Editing) - 0+7/0 <- champ:mot
I: 81 S: 60 E: 32 "ewriting" (champ:mot) - 130+137/1 <- champ:doc
I: 80 S: 60 E: 32 "ewriting" (mot:Editing) - 0+7/0 <- champ:mot
I: 30 S: 67 E: 10 "i" (champ:volume) - 110+110/1 <- champ:doc
I: 35 S: 67 E: 11 "i" (volume:I) - 0+0/0 <- champ:volume
I: 81 S: 66 E: 27 "tems" (champ:mot) - 41+44/1 <- champ:title
I: 80 S: 66 E: 27 "tems" (mot:Items) - 0+3/0 <- champ:mot
I: 81 S: 63 E: 30 "ade" (champ:mot) - 1+3/1 <- champ:title
I: 80 S: 63 E: 29 "ade" (mot:Made) - 0+2/0 <- champ:mot
I: 81 S: 60 E: 32 "BC" (champ:mot) - 115+116/1 <- champ:doc
I: 80 S: 60 E: 32 "BC" (mot:ABC) - 0+1/0 <- champ:mot
I: 54 S: 81 E: 10 "n" (sep:mot-mot:n) - 20+20/0 <- champ:title
-------------- 6
Cycle: 6
Idle: 0
Temperature: 21
Fini: 1482
DS 41 (3)
DC 5 (0)
DI 1436 (24)
DZ 0 (0)
AR 0 (0)
Reservoir: 2211
Noeuds actifs: 5769
----------
On a trouve 1 instance(s) de "cmot:Processing"
FEUILLE ("ade"(champ:mot), 3, 1-2) TROP GRANDE!
Trouve:"de", Pere:"mot:de"
On la supprime!
On a trouve 2 instance(s) de "mot:de"
On a trouve 1 instance(s) de "cmot:-"
FEUILLE ("ewriting"(champ:mot), 8, 2-7) TROP GRANDE!
Trouve:"riting", Pere:"mot:Fitting"
On la supprime!
On a trouve 2 instance(s) de "mot:Fitting"
On a trouve 1 instance(s) de "mot:of"
On a trouve 1 instance(s) de "cmot:The"
On a trouve 1 instance(s) de "mot:divers"
Separateur repere: "sep:school-month:, "
FEUILLE ("ewriting"(champ:mot), 8, 1-6) TROP GRANDE!
Trouve:"writin", Pere:"mot:within"
On la supprime!
On a trouve 3 instance(s) de "mot:within"
Occupation:1 Type:mot:Items Debut:3 Fin:6
Ajout d'un champ:mot "systems" a champ:title
On ne copie pas: " " (sep:mot-mot: ) dans (champ:mot)
Occupation:2 Type:mot:within Debut:2 Fin:7
Ajout d'un champ:mot "rewriting systems" a champ:title
On ne copie pas: " " (sep:mot-mot: ) dans (champ:mot)
Occupation:2 Type:mot:within Debut:7 Fin:12
Ajout d'un champ:mot "term rewriting systems" a champ:title
On ne copie pas: " " (sep:mot-mot: ) dans (champ:mot)
Occupation:2 Type:mot:within Debut:9 Fin:14
Ajout d'un champ:mot "t term rewriting systems" a champ:title
Occupation:2 Type:mot:Cue Debut:6 Fin:7
Ajout d'un champ:mot "Vademecum" a champ:title
Occupation:1 Type:mot:of Debut:0 Fin:1
Occupation:1 Type:mot:divers Debut:0 Fin:4
Ajout d'un champ:mot "diverge" a champ:title
On a construit 6 champs "champ:mot".
FEUILLE ("diverge"(champ:mot), 7, 0-3) TROP GRANDE!
Trouve:"dive", Pere:"mot:driven"
On la supprime!
On a trouve 1 instance(s) de "mot:driven"
FEUILLE ("t term rewriting systems"(champ:mot), 24, 17-23) TROP GRANDE!
Trouve:"systems", Pere:"mot:systems"
On la supprime!
On a trouve 2 instance(s) de "mot:systems"
On a trouve 1 instance(s) de "mw:septembre"
On a trouve 1 instance(s) de "mot:Emergent"
On a trouve 1 instance(s) de "bw:Processings"
On a trouve 1 instance(s) de "mot:Tri"
On a trouve 2 instance(s) de "bw:Proceedings"
On a trouve 1 instance(s) de "bw:IFAC"
On a trouve 2 instance(s) de "mw:september"
-> 191-199 "September" (champ:mw)
1: 1314
NbChampsDifferents:0
NbChampsSemblables:1
CONSTRUCTION DU CHAMP "champ:month"
Agents.cc: ChercheZone ()
On ajoute "September" au noeud "September" (champ:month)
Ajout d'une dependance "September" a "<Times-Roman>M. Hermann. Vademecum of divergent
term rewriting systems. In </Times-Roman><Times-Italic>Proceedings BCS-FACS Term
Rewriting Workshop</Times-Italic><Times-Roman>, Bristol (UK), September 1988.
</Times-Roman>"
I:100 S: 76 E: 24 "<Times-Roman>M. Hermann. Vademecum of divergent term rewriting
systems. In </Times-Roman><Times-Italic>Proceedings BCS-FACS Term
Rewriting Workshop</Times-Italic><Times-Roman>, Bristol (UK),
September 1988.</Times-Roman>" (champ:doc) - 0+0/25
I: 60 S: 90 E: 6 ". " (sep:author-title:. ) - 23+24/0 <- champ:doc
I: 60 S:100 E: 0 "<Times-Roman>" (sep:-author:<Times-Roman>) - 0+12/0 <- champ:doc
I: 90 S: 77 E: 20 "M. Hermann" (champ:author) - 13+22/1 <- champ:doc
I: 60 S: 79 E: 12 "</Times-Italic><Times-Roman>, "
(sep:journal-volume:</Times-Italic><Times-Roman>, )
- 147+176/0 <- champ:doc
I: 60 S: 83 E: 10 ". In </Times-Roman><Times-Italic>"
(sep:title-booktitle:. In </Times-Roman><Times-Italic>)
- 70+102/0 <- champ:doc
I: 60 S: 70 E: 18 " " (sep:month-year: ) - 138+138/0 <- champ:doc
I: 60 S: 74 E: 15 " " (sep:month-year: ) - 184+184/0 <- champ:doc
I: 60 S: 94 E: 3 " " (sep:month-year: ) - 200+200/0 <- champ:doc
I: 90 S: 95 E: 4 "1988" (champ:year) - 201+204/1 <- champ:doc
I: 1 S: 63 E: 0 "isto" (champ:key) - 179+182/1 <- champ:doc
I:100 S: 63 E: 37 "isto" (key:iso) - 0+3/0 <- champ:key
I: 96 S: 90 E: 9 "Vademecum of divergent term rewriting systems" (champ:title)
- 25+69/7 <- champ:doc
I: 60 S:100 E: 0 ".</Times-Roman>" (sep:note-:.</Times-Roman>) - 205+219/0
<- champ:doc
I: 25 S: 63 E: 9 "Wor" (champ:jw) - 139+141/1 <- champ:doc
I: 24 S: 63 E: 9 "Wor" (jw:Word) - 0+2/0 <- champ:jw
I: 36 S: 67 E: 12 "S" (champ:bw) - 117+117/1 <- champ:doc
I: 35 S: 67 E: 11 "S" (bw:s) - 0+0/0 <- champ:bw
I: 36 S: 67 E: 12 "S" (champ:bw) - 122+122/1 <- champ:doc
I: 35 S: 67 E: 11 "S" (bw:s) - 0+0/0 <- champ:bw
I: 36 S: 75 E: 9 "s" (champ:bw) - 143+143/1 <- champ:doc
I: 35 S: 75 E: 8 "s" (bw:s) - 0+0/0 <- champ:bw
I: 60 S: 75 E: 15 " " (sep:mot-mot: ) - 9+9/0 <- champ:title
I: 60 S: 75 E: 15 " " (sep:mot-mot: ) - 12+12/0 <- champ:title
I: 81 S: 60 E: 32 "op" (champ:mot) - 145+146/1 <- champ:doc
I: 80 S: 60 E: 32 "op" (mot:Top) - 0+1/0 <- champ:mot
I: 94 S: 95 E: 4 "1988" (year:1989) - 0+3/0 <- champ:year
I: 81 S: 61 E: 31 "M. He" (champ:a) - 0+4/1 <- champ:author
I: 80 S: 61 E: 31 "M. He" (a:M. Hase) - 0+4/0 <- champ:a
I: 81 S: 60 E: 32 "BC" (champ:mot) - 115+116/1 <- champ:doc
I: 80 S: 60 E: 32 "BC" (mot:ABC) - 0+1/0 <- champ:mot
I: 1 S: 75 E: 0 "-" (champ:cmot) - 118+118/1 <- champ:doc
I: 10 S: 75 E: 2 "-" (cmot:-) - 0+0/0 <- champ:cmot
I: 81 S: 75 E: 20 "of" (champ:mot) - 10+11/1 <- champ:title
I:100 S: 75 E: 25 "of" (mot:of) - 0+1/0 <- champ:mot
I: 1 S: 60 E: 0 "Te" (champ:cmot) - 124+125/1 <- champ:doc
I: 10 S: 60 E: 4 "Te" (cmot:The) - 0+1/0 <- champ:cmot
I: 58 S: 95 E: 2 ", " (sep:school-month:, ) - 189+190/0 <- champ:doc
I: 81 S: 75 E: 20 "writin" (champ:mot) - 131+136/1 <- champ:doc
I: 80 S: 75 E: 20 "writin" (mot:within) - 0+5/0 <- champ:mot
I: 80 S: 57 E: 34 "cu" (mot:Cue) - 6+7/0 <- champ:mot
I: 92 S: 93 E: 6 "de" (mot:de) - 2+3/0 <- champ:mot
I: 82 S: 75 E: 20 "Vademecum" (champ:mot) - 0+8/2 <- champ:title
I: 81 S: 93 E: 5 "systems" (champ:mot) - 38+44/1 <- champ:title
I: 80 S: 93 E: 5 "systems" (mot:systems) - 0+6/0 <- champ:mot
I: 81 S: 60 E: 32 "vergent" (champ:mot) - 15+21/1 <- champ:title
I: 80 S: 60 E: 32 "vergent" (mot:Emergent) - 0+6/0 <- champ:mot
I: 81 S: 60 E: 32 "ri" (champ:mot) - 31+32/1 <- champ:title
I: 80 S: 60 E: 32 "ri" (mot:Tri) - 0+1/0 <- champ:mot
I: 36 S: 75 E: 9 "Proceedings" (champ:bw) - 103+113/1 <- champ:doc
I: 43 S: 75 E: 10 "Proceedings" (bw:Proceedings) - 0+10/0 <- champ:bw
I: 36 S: 63 E: 13 "FAC" (champ:bw) - 119+121/1 <- champ:doc
I: 35 S: 63 E: 13 "FAC" (bw:IFAC) - 0+2/0 <- champ:bw
I: 23 S: 73 E: 6 "September" (champ:mw) - 0+8/1 <- champ:month
I: 24 S: 73 E: 6 "September" (mw:september) - 0+8/0 <- champ:mw
I: 26 S: 73 E: 7 "September" (champ:month) - 191+199/1 <- champ:doc
-------------- 7
Cycle: 7
Idle: 0
Temperature: 17
Fini: 2120
DS 22 (1)
DC 16 (1)
DI 2079 (17)
DZ 3 (1)
AR 0 (0)
Reservoir: 1552
Noeuds actifs: 5842
----------
On a trouve 2 instance(s) de "mot:k"
On a trouve 1 instance(s) de "year:1987"
On a trouve 1 instance(s) de "mw:December"
On a trouve 1 instance(s) de "mot:Writer"
FEUILLE ("Vademecum"(champ:mot), 9, 6-8) TROP GRANDE!
Trouve:"cum", Pere:"mot:cm"
On la supprime!
On a trouve 2 instance(s) de "mot:cm"
-> 139-141 "Wor" (champ:jw)
1: 378
NbChampsDifferents:0
NbChampsSemblables:1
CONSTRUCTION DU CHAMP "champ:journal"
Agents.cc: ChercheZone ()
On ajoute "Wor" au noeud "Wor" (champ:journal)
Ajout d'une dependance "Wor" a "<Times-Roman>M. Hermann. Vademecum of divergent term
rewriting systems. In </Times-Roman><Times-Italic>Proceedings BCS-FACS Term
Rewriting Workshop</Times-Italic><Times-Roman>, Bristol (UK), September 1988.
</Times-Roman>"
On a trouve 1 instance(s) de "bw:l"
FEUILLE ("M. He"(champ:a), 5, 1-4) TROP GRANDE!
Trouve:". He", Pere:"a:Y. He"
On la supprime!
On a trouve 1 instance(s) de "a:Y. He"
On a trouve 1 instance(s) de "mot:in"
-> 118-118 "-" (champ:cmot)
-> 119-121 "FAC" (champ:bw)
-> 122-122 "S" (champ:bw)
-> 124-125 "Te" (champ:cmot)
1: -244
2: 472
3: 389
4: 22
NbChampsDifferents:2
NbChampsSemblables:2
On a trouve 1 instance(s) de "a:M. Usher"
On a trouve 1 instance(s) de "mot:Of"
On a trouve 1 instance(s) de "mw:Septembre"
On a trouve 1 instance(s) de "jw:Workshop"
On a trouve 1 instance(s) de "key:iso"
Occupation:8 Type:sep:mot-mot: Debut:9 Fin:9
Separateur repere: "sep:volume-number:("
On a trouve 1 instance(s) de "volume:B"
-> 191-199 "September" (champ:month)
1: 1514
NbChampsDifferents:0
NbChampsSemblables:1
On a trouve 1 instance(s) de "mot:and"
On a trouve 3 instance(s) de "mot:Writing"
FEUILLE ("vergent"(champ:mot), 7, 3-6) TROP GRANDE!
Trouve:"gent", Pere:"mot:Agent"
On la supprime!
On a trouve 2 instance(s) de "mot:Agent"
Occupation:1 Type:champ:mw Debut:0 Fin:8
Ajout d'un champ:month "September" a champ:doc
On a construit 1 champ "champ:month".
Occupation:1 Type:champ:a Debut:0 Fin:5
-> 103-113 "Proceedings" (champ:bw)
-> 115-116 "BC" (champ:mot)
-> 117-117 "S" (champ:bw)
-> 118-118 "-" (champ:cmot)
-> 119-121 "FAC" (champ:bw)
-> 122-122 "S" (champ:bw)
-> 124-125 "Te" (champ:cmot)
-> 131-137 "writing" (champ:mot)
-> 138-138 " " (sep:month-year: )
-> 139-146 "Workshop" (champ:jw)
-> 147-176 "</Times-Italic><Times-Roman>, " (sep:journal-volume:</Times-Italic>
<Times-Roman>, )
-> 177-177 "B" (champ:volume)
-> 179-182 "isto" (champ:key)
-> 183-183 "l" (champ:bw)
1: 1426
2: -1733
3: -131
4: -502
5: 450
6: 367
7: -1034
8: 569
9: -2019
10: -6120
11: 5760
12: -7464
13: 188
14: -338
On enleve "BC" (champ:mot,60)
On enleve "-" (champ:cmot,75)
On enleve "Te" (champ:cmot,60)
On enleve " " (sep:month-year: ,70)
On enleve "Workshop" (champ:jw,75)
On enleve "B" (champ:volume,75)
NbChampsDifferents:3
NbChampsSemblables:5
I:100 S: 76 E: 24 "<Times-Roman>M. Hermann. Vademecum of divergent term rewriting
systems. In </Times-Roman><Times-Italic>Proceedings BCS-FACS Term
Rewriting Workshop</Times-Italic><Times-Roman>, Bristol (UK),
September 1988.</Times-Roman>" (champ:doc) - 0+0/21
I: 31 S: 90 E: 3 ". " (sep:author-title:. ) - 23+24/0 <- champ:doc
I: 45 S:100 E: 0 "<Times-Roman>" (sep:-author:<Times-Roman>) - 0+12/0 <- champ:doc
I: 90 S: 84 E: 14 "M. Hermann" (champ:author) - 13+22/1 <- champ:doc
I: 60 S: 79 E: 12 "</Times-Italic><Times-Roman>, "
(sep:journal-volume:</Times-Italic><Times-Roman>, )
- 147+176/0 <- champ:doc
I: 13 S: 83 E: 2 ". In </Times-Roman><Times-Italic>"
(sep:title-booktitle:. In </Times-Roman><Times-Italic>)
- 70+102/0 <- champ:doc
I: 60 S: 74 E: 15 " " (sep:month-year: ) - 184+184/0 <- champ:doc
I: 60 S: 94 E: 3 " " (sep:month-year: ) - 200+200/0 <- champ:doc
I: 90 S: 96 E: 3 "1988" (champ:year) - 201+204/1 <- champ:doc
I: 1 S: 81 E: 0 "isto" (champ:key) - 179+182/1 <- champ:doc
I: 88 S: 90 E: 8 "Vademecum of divergent term rewriting systems" (champ:title)
- 25+69/8 <- champ:doc
I: 60 S:100 E: 0 ".</Times-Roman>" (sep:note-:.</Times-Roman>) - 205+219/0
<- champ:doc
I: 36 S: 67 E: 12 "S" (champ:bw) - 117+117/1 <- champ:doc
I: 35 S: 67 E: 11 "S" (bw:s) - 0+0/0 <- champ:bw
I: 36 S: 67 E: 12 "S" (champ:bw) - 122+122/1 <- champ:doc
I: 35 S: 67 E: 11 "S" (bw:s) - 0+0/0 <- champ:bw
I: 60 S: 75 E: 15 " " (sep:mot-mot: ) - 9+9/0 <- champ:title
I: 60 S: 75 E: 15 " " (sep:mot-mot: ) - 12+12/0 <- champ:title
I: 81 S: 89 E: 8 "of" (champ:mot) - 10+11/1 <- champ:title
I: 4 S: 95 E: 0 ", " (sep:school-month:, ) - 189+190/0 <- champ:doc
I: 81 S: 93 E: 5 "systems" (champ:mot) - 38+44/1 <- champ:title
I: 80 S: 93 E: 5 "systems" (mot:systems) - 0+6/0 <- champ:mot
I: 36 S: 75 E: 9 "Proceedings" (champ:bw) - 103+113/1 <- champ:doc
I: 43 S: 75 E: 10 "Proceedings" (bw:Proceedings) - 0+10/0 <- champ:bw
I: 36 S: 63 E: 13 "FAC" (champ:bw) - 119+121/1 <- champ:doc
I: 35 S: 63 E: 13 "FAC" (bw:IFAC) - 0+2/0 <- champ:bw
I: 81 S: 67 E: 26 "K" (champ:mot) - 187+187/1 <- champ:doc
I: 80 S: 67 E: 26 "K" (mot:k) - 0+0/0 <- champ:mot
I: 97 S: 96 E: 3 "1988" (year:1987) - 0+3/0 <- champ:year
I: 81 S: 78 E: 17 "cum" (champ:mot) - 6+8/1 <- champ:title
I: 80 S: 78 E: 17 "cum" (mot:cm) - 0+2/0 <- champ:mot
I: 36 S: 75 E: 9 "l" (champ:bw) - 183+183/1 <- champ:doc
I: 38 S: 75 E: 9 "l" (bw:l) - 0+0/0 <- champ:bw
I: 81 S: 62 E: 30 "M. Her" (champ:a) - 0+5/1 <- champ:author
I: 80 S: 62 E: 30 "M. Her" (a:M. Usher) - 0+5/0 <- champ:a
I: 80 S: 89 E: 8 "of" (mot:Of) - 0+1/0 <- champ:mot
I:100 S: 81 E: 19 "isto" (key:iso) - 0+3/0 <- champ:key
I: 60 S: 97 E: 1 "(" (sep:volume-number:() - 185+185/0 <- champ:doc
I: 81 S: 60 E: 32 "ad" (champ:mot) - 1+2/1 <- champ:title
I: 92 S: 60 E: 36 "ad" (mot:and) - 0+1/0 <- champ:mot
I: 81 S: 73 E: 21 "writing" (champ:mot) - 30+36/1 <- champ:title
I: 80 S: 73 E: 21 "writing" (mot:Writing) - 0+6/0 <- champ:mot
I: 81 S: 73 E: 21 "writing" (champ:mot) - 131+137/1 <- champ:doc
I: 80 S: 73 E: 21 "writing" (mot:Writing) - 0+6/0 <- champ:mot
I: 81 S: 82 E: 14 "gent" (champ:mot) - 18+21/1 <- champ:title
I: 80 S: 82 E: 14 "gent" (mot:Agent) - 0+3/0 <- champ:mot
I: 23 S: 82 E: 4 "September" (champ:mw) - 0+8/1 <- champ:month
I: 28 S: 82 E: 5 "September" (mw:Septembre) - 0+8/0 <- champ:mw
I: 26 S:100 E: 0 "September" (champ:month) - 191+199/1 <- champ:doc
-------------- 8
Cycle: 8
Idle: 0
Temperature: 14
Fini: 1074
DS 45 (1)
DC 24 (1)
DI 1001 (17)
DZ 4 (1)
AR 0 (0)
Reservoir: 116
Noeuds actifs: 5853
----------
-> 191-199 "September" (champ:month)
1: 2000
NbChampsDifferents:0
NbChampsSemblables:1
On a trouve 1 instance(s) de "mot:Made"
Prochain cycle de l'agent "DZ" (champ:doc) 58
-> 25-69 "Vademecum of divergent term rewriting systems" (champ:title)
-> 70-102 ". In </Times-Roman><Times-Italic>" (sep:title-booktitle:. In
</Times-Roman><Times-Italic>)
-> 103-113 "Proceedings" (champ:bw)
-> 117-117 "S" (champ:bw)
-> 119-121 "FAC" (champ:bw)
-> 122-122 "S" (champ:bw)
-> 131-137 "writing" (champ:mot)
-> 147-176 "</Times-Italic><Times-Roman>, " (sep:journal-volume:</Times-Italic>
<Times-Roman>, )
-> 179-182 "isto" (champ:key)
-> 183-183 "l" (champ:bw)
-> 184-184 " " (sep:month-year: )
-> 185-185 "(" (sep:volume-number:()
-> 187-187 "K" (champ:mot)
1: -5
2: -1692
3: -6213
4: 2366
5: 924
6: 41
7: -6789
8: 5886
9: -6628
10: -704
11: -235
12: -109
13: -113
On enleve ". In </Times-Roman><Times-Italic>" (sep:title-booktitle:. In
</Times-Roman><Times-Italic>,83)
On enleve "Proceedings" (champ:bw,75)
On enleve "isto" (champ:key,81)
On enleve "l" (champ:bw,75)
On enleve " " (sep:month-year: ,74)
On enleve "(" (sep:volume-number:(,97)
NbChampsDifferents:4
NbChampsSemblables:3
-> 117-117 "S" (champ:bw)
-> 119-121 "FAC" (champ:bw)
-> 122-122 "S" (champ:bw)
1: 452
2: 691
3: 483
NbChampsDifferents:0
NbChampsSemblables:3
CONSTRUCTION DU CHAMP "champ:booktitle"
Agents.cc: ChercheZone ()
On ajoute "S" au noeud "S-FACS" (champ:booktitle)
Agents.cc: ChercheZone ()
On ajoute "FAC" au noeud "S-FACS" (champ:booktitle)
Agents.cc: ChercheZone ()
On ajoute "S" au noeud "S-FACS" (champ:booktitle)
Ajout d'une dependance "S-FACS" a "<Times-Roman>M. Hermann. Vademecum of divergent
term rewriting systems. In </Times-Roman><Times-Italic>Proceedings BCS-FACS Term
Rewriting Workshop</Times-Italic><Times-Roman>, Bristol (UK), September 1988.
</Times-Roman>"
Separateur repere: "sep:type-number: "
On a trouve 1 instance(s) de "mot:ABC"
On a trouve 5 instance(s) de "jw:s"
Test d'arret (T=14,Idle=0)
ARRET: NON(100000) OU OUI(1296)?
De(1,101296)=14716!
Max: 14716
On a trouve 1 instance(s) de "mw:Mai"
On a trouve 1 instance(s) de "mot:Process"
Test d'arret (T=14,Idle=0)
ARRET: NON(100000) OU OUI(1296)?
De(1,101296)=81951!
Max: 81951
On a trouve 1 instance(s) de "mot:the"
On a trouve 1 instance(s) de "mot:Many"
On a trouve 1 instance(s) de "year:1988"
I:100 S: 65 E: 35 "<Times-Roman>M. Hermann. Vademecum of divergent term rewriting
systems. In </Times-Roman><Times-Italic>Proceedings BCS-FACS Term
Rewriting Workshop</Times-Italic><Times-Roman>, Bristol (UK),
September 1988.</Times-Roman>" (champ:doc) - 0+0/27
I: 60 S: 90 E: 6 ". " (sep:author-title:. ) - 23+24/0 <- champ:doc
I: 60 S:100 E: 0 "<Times-Roman>" (sep:-author:<Times-Roman>) - 0+12/0 <- champ:doc
I: 90 S: 84 E: 14 "M. Hermann" (champ:author) - 13+22/1 <- champ:doc
I: 60 S: 79 E: 12 "</Times-Italic><Times-Roman>, "
(sep:journal-volume:</Times-Italic><Times-Roman>, )
- 147+176/0 <- champ:doc
I: 60 S: 94 E: 3 " " (sep:month-year: ) - 200+200/0 <- champ:doc
I: 90 S: 99 E: 0 "1988" (champ:year) - 201+204/1 <- champ:doc
I: 98 S: 94 E: 5 "Vademecum of divergent term rewriting systems" (champ:title)
- 25+69/9 <- champ:doc
I: 60 S:100 E: 0 ".</Times-Roman>" (sep:note-:.</Times-Roman>) - 205+219/0
<- champ:doc
I: 60 S: 75 E: 15 " " (sep:mot-mot: ) - 9+9/0 <- champ:title
I: 60 S: 75 E: 15 " " (sep:mot-mot: ) - 12+12/0 <- champ:title
I: 81 S: 89 E: 8 "of" (champ:mot) - 10+11/1 <- champ:title
I: 5 S: 95 E: 0 ", " (sep:school-month:, ) - 189+190/0 <- champ:doc
I: 81 S: 93 E: 5 "systems" (champ:mot) - 38+44/1 <- champ:title
I: 80 S: 93 E: 5 "systems" (mot:systems) - 0+6/0 <- champ:mot
I: 81 S: 67 E: 26 "K" (champ:mot) - 187+187/1 <- champ:doc
I: 80 S: 67 E: 26 "K" (mot:k) - 0+0/0 <- champ:mot
I: 81 S: 78 E: 17 "cum" (champ:mot) - 6+8/1 <- champ:title
I: 80 S: 78 E: 17 "cum" (mot:cm) - 0+2/0 <- champ:mot
I: 81 S: 62 E: 30 "M. Her" (champ:a) - 0+5/1 <- champ:author
I: 80 S: 62 E: 30 "M. Her" (a:M. Usher) - 0+5/0 <- champ:a
I: 80 S: 89 E: 8 "of" (mot:Of) - 0+1/0 <- champ:mot
I: 81 S: 73 E: 21 "writing" (champ:mot) - 30+36/1 <- champ:title
I: 80 S: 73 E: 21 "writing" (mot:Writing) - 0+6/0 <- champ:mot
I: 81 S: 73 E: 21 "writing" (champ:mot) - 131+137/1 <- champ:doc
I: 80 S: 73 E: 21 "writing" (mot:Writing) - 0+6/0 <- champ:mot
I: 81 S: 82 E: 14 "gent" (champ:mot) - 18+21/1 <- champ:title
I: 80 S: 82 E: 14 "gent" (mot:Agent) - 0+3/0 <- champ:mot
I: 23 S: 82 E: 4 "September" (champ:mw) - 0+8/1 <- champ:month
I: 28 S: 82 E: 5 "September" (mw:Septembre) - 0+8/0 <- champ:mw
I: 26 S:100 E: 0 "September" (champ:month) - 191+199/1 <- champ:doc
I: 81 S: 63 E: 30 "ade" (champ:mot) - 1+3/1 <- champ:title
I: 80 S: 63 E: 29 "ade" (mot:Made) - 0+2/0 <- champ:mot
I: 36 S: 67 E: 12 "S" (champ:bw) - 0+0/1 <- champ:booktitle
I: 35 S: 67 E: 11 "S" (bw:s) - 0+0/0 <- champ:bw
I: 36 S: 63 E: 13 "FAC" (champ:bw) - 2+4/1 <- champ:booktitle
I: 35 S: 63 E: 13 "FAC" (bw:IFAC) - 0+2/0 <- champ:bw
I: 36 S: 67 E: 12 "S" (champ:bw) - 5+5/1 <- champ:booktitle
I: 35 S: 67 E: 11 "S" (bw:s) - 0+0/0 <- champ:bw
I: 42 S: 53 E: 20 "S-FACS" (champ:booktitle) - 117+122/3 <- champ:doc
I: 60 S: 71 E: 17 " " (sep:type-number: ) - 71+71/0 <- champ:doc
I: 60 S: 71 E: 17 " " (sep:type-number: ) - 74+74/0 <- champ:doc
I: 60 S: 84 E: 9 " " (sep:type-number: ) - 114+114/0 <- champ:doc
I: 60 S: 84 E: 9 " " (sep:type-number: ) - 123+123/0 <- champ:doc
I: 60 S: 84 E: 9 " " (sep:type-number: ) - 128+128/0 <- champ:doc
I: 60 S: 78 E: 13 " " (sep:type-number: ) - 138+138/0 <- champ:doc
I: 81 S: 60 E: 32 "BC" (champ:mot) - 115+116/1 <- champ:doc
I: 80 S: 60 E: 32 "BC" (mot:ABC) - 0+1/0 <- champ:mot
I: 25 S: 75 E: 6 "s" (champ:jw) - 81+81/1 <- champ:doc
I: 25 S: 75 E: 6 "s" (jw:s) - 0+0/0 <- champ:jw
I: 25 S: 75 E: 6 "s" (champ:jw) - 94+94/1 <- champ:doc
I: 25 S: 75 E: 6 "s" (jw:s) - 0+0/0 <- champ:jw
I: 25 S: 75 E: 6 "s" (champ:jw) - 113+113/1 <- champ:doc
I: 25 S: 75 E: 6 "s" (jw:s) - 0+0/0 <- champ:jw
I: 25 S: 75 E: 6 "s" (champ:jw) - 143+143/1 <- champ:doc
I: 25 S: 75 E: 6 "s" (jw:s) - 0+0/0 <- champ:jw
I: 25 S: 75 E: 6 "s" (champ:jw) - 180+180/1 <- champ:doc
I: 25 S: 75 E: 6 "s" (jw:s) - 0+0/0 <- champ:jw
I: 81 S: 61 E: 31 "Proce" (champ:mot) - 103+107/1 <- champ:doc
I: 68 S: 61 E: 26 "Proce" (mot:Process) - 0+4/0 <- champ:mot
I: 81 S: 60 E: 32 "te" (champ:mot) - 23+24/1 <- champ:title
I: 85 S: 60 E: 34 "te" (mot:the) - 0+1/0 <- champ:mot
I: 81 S: 61 E: 31 "man" (champ:mot) - 85+87/1 <- champ:doc
I: 80 S: 61 E: 31 "man" (mot:Many) - 0+2/0 <- champ:mot
I:100 S: 99 E: 1 "1988" (year:1988) - 0+3/0 <- champ:year
-------------- 9
Cycle: 9
Idle: 0
Temperature: 16
Fini: 689
DS 10 (1)
DC 11 (0)
DI 645 (8)
DZ 21 (1)
AR 2 (0)
Reservoir: 996
Noeuds actifs: 5898
----------
Test d'arret (T=16,Idle=1)
ARRET: NON(100000) OU OUI(58956)?
De(1,158956)=64287!
Max: 81951
On a trouve 7 instance(s) de "volume:I"
On a trouve 2 instance(s) de "mot:des"
On a trouve 1 instance(s) de "jw:Man"
On a trouve 1 instance(s) de "mot:divers"
-> 191-199 "September" (champ:month)
1: 2000
NbChampsDifferents:0
NbChampsSemblables:1
FEUILLE ("es"(champ:mot), 2, 1-1) TROP GRANDE!
Trouve:"s", Pere:"mot:s"
On la supprime!
On a trouve 2 instance(s) de "mot:s"
On a trouve 2 instance(s) de "mot:n"
On a trouve 1 instance(s) de "cmot:A"
On a trouve 1 instance(s) de "bw:Workshop"
On a trouve 2 instance(s) de "cmot:a"
On a trouve 1 instance(s) de "bw:Processings"
On a trouve 1 instance(s) de "mot:Too"
Occupation:2 Type:mot:cm Debut:6 Fin:8
Ajout d'un champ:mot "Vademecum" a champ:title
Occupation:1 Type:mot:Of Debut:0 Fin:1
Occupation:5 Type:mot:systems Debut:25 Fin:31
Ajout d'un champ:mot "divergent term rewriting systems" a champ:title
On a construit 2 champs "champ:mot".
Test d'arret (T=16,Idle=0)
ARRET: NON(100000) OU OUI(1156)?
De(1,101156)=37376!
Max: 81951
On a trouve 1 instance(s) de "mot:Top"
On a trouve 2 instance(s) de "mot:Tiles"
On a trouve 2 instance(s) de "mot:To"
Test d'arret (T=16,Idle=0)
ARRET: NON(100000) OU OUI(1156)?
De(1,101156)=1025!
Max: 81951
On a trouve 1 instance(s) de "mot:Tri"
FEUILLE ("Times"(champ:mot), 5, 0-3) TROP GRANDE!
Trouve:"Time", Pere:"mot:Time"
On la supprime!
On a trouve 3 instance(s) de "mot:Time"
FEUILLE ("divergent term rewriting systems"(champ:mot), 32, 2-8) TROP GRANDE!
Trouve:"vergent", Pere:"mot:Emergent"
On la supprime!
On a trouve 2 instance(s) de "mot:Emergent"
-> 13-22 "M. Hermann" (champ:author)
1: 1880
NbChampsDifferents:0
NbChampsSemblables:1
On a trouve 1 instance(s) de "mot:temps"
On a trouve 1 instance(s) de "mot:D"
Test d'arret (T=16,Idle=0)
ARRET: NON(100000) OU OUI(1156)?
De(1,101156)=12266!
Max: 81951
Separateur repere: "sep:month-year: "
-> 25-69 "Vademecum of divergent term rewriting systems" (champ:title)
-> 71-71 " " (sep:type-number: )
-> 72-72 "I" (champ:volume)
-> 73-73 "n" (champ:mot)
-> 74-74 " " (sep:type-number: )
-> 77-80 "Time" (champ:mot)
-> 85-87 "man" (champ:jw)
-> 90-93 "Time" (champ:mot)
-> 96-96 "I" (champ:volume)
-> 98-98 "a" (champ:cmot)
-> 100-100 "i" (champ:volume)
-> 103-113 "Proceedings" (champ:bw)
-> 114-114 " " (sep:type-number: )
-> 115-116 "BC" (champ:mot)
-> 117-122 "S-FACS" (champ:booktitle)
-> 123-123 " " (sep:type-number: )
-> 128-128 " " (sep:type-number: )
-> 131-137 "writing" (champ:mot)
-> 138-138 " " (sep:type-number: )
-> 139-146 "Workshop" (champ:bw)
-> 147-176 "</Times-Italic><Times-Roman>, " (sep:journal-volume:</Times-Italic>
<Times-Roman>, )
-> 178-179 "ri" (champ:mot)
-> 180-180 "s" (champ:jw)
-> 181-182 "to" (champ:mot)
-> 184-184 " " (sep:month-year: )
-> 187-187 "K" (champ:mot)
1: 8435
2: -8590
3: -1088
4: 761
5: -1742
6: 301
7: -937
8: 20
9: -602
10: -92
11: -1385
12: 1133
13: -1550
14: -472
15: 258
16: -412
17: -380
18: 319
19: -1656
20: -6058
21: 5654
22: -7031
23: -326
24: -127
25: -246
26: -1
On enleve " " (sep:type-number: ,71)
On enleve "I" (champ:volume,75)
On enleve " " (sep:type-number: ,71)
On enleve "man" (champ:jw,72)
On enleve "I" (champ:volume,75)
On enleve "a" (champ:cmot,75)
On enleve "i" (champ:volume,67)
On enleve " " (sep:type-number: ,84)
On enleve " " (sep:type-number: ,84)
On enleve " " (sep:type-number: ,84)
On enleve " " (sep:type-number: ,78)
On enleve "Workshop" (champ:bw,75)
On enleve "s" (champ:jw,75)
On enleve " " (sep:month-year: ,74)
NbChampsDifferents:3
NbChampsSemblables:9
On a trouve 1 instance(s) de "mot:How"
On a trouve 2 instance(s) de "mot:to"
On a trouve 2 instance(s) de "mot:dit"
On a trouve 3 instance(s) de "bw:-"
Test d'arret (T=16,Idle=0)
ARRET: NON(100000) OU OUI(1156)?
De(1,101156)=21221!
Max: 81951
On a trouve 1 instance(s) de "mot:Brief"
On a trouve 1 instance(s) de "address:Roma"
Test d'arret (T=16,Idle=0)
ARRET: NON(100000) OU OUI(1156)?
De(1,101156)=68748!
Max: 81951
On a trouve 2 instance(s) de "pub:T"
On a trouve 1 instance(s) de "volume:C"
On a trouve 1 instance(s) de "mw:september"
I:100 S: 70 E: 30 "<Times-Roman>M. Hermann. Vademecum of divergent term rewriting
systems. In </Times-Roman><Times-Italic>Proceedings BCS-FACS Term
Rewriting Workshop</Times-Italic><Times-Roman>, Bristol (UK),
September 1988.</Times-Roman>" (champ:doc) - 0+0/27
I: 60 S: 90 E: 6 ". " (sep:author-title:. ) - 23+24/0 <- champ:doc
I: 60 S:100 E: 0 "<Times-Roman>" (sep:-author:<Times-Roman>) - 0+12/0 <- champ:doc
I: 90 S: 84 E: 14 "M. Hermann" (champ:author) - 13+22/1 <- champ:doc
I: 60 S: 79 E: 12 "</Times-Italic><Times-Roman>, "
(sep:journal-volume:</Times-Italic><Times-Roman>, )
- 147+176/0 <- champ:doc
I: 60 S: 94 E: 3 " " (sep:month-year: ) - 200+200/0 <- champ:doc
I: 90 S: 99 E: 0 "1988" (champ:year) - 201+204/1 <- champ:doc
I: 97 S: 90 E: 9 "Vademecum of divergent term rewriting systems" (champ:title)
- 25+69/8 <- champ:doc
I: 54 S:100 E: 0 ".</Times-Roman>" (sep:note-:.</Times-Roman>) - 205+219/0
<- champ:doc
I: 60 S: 75 E: 15 " " (sep:mot-mot: ) - 9+9/0 <- champ:title
I: 60 S: 75 E: 15 " " (sep:mot-mot: ) - 12+12/0 <- champ:title
I: 81 S: 89 E: 8 "of" (champ:mot) - 10+11/1 <- champ:title
I: 9 S: 95 E: 0 ", " (sep:school-month:, ) - 189+190/0 <- champ:doc
I: 81 S: 67 E: 26 "K" (champ:mot) - 187+187/1 <- champ:doc
I: 80 S: 67 E: 26 "K" (mot:k) - 0+0/0 <- champ:mot
I: 81 S: 62 E: 30 "M. Her" (champ:a) - 0+5/1 <- champ:author
I: 80 S: 62 E: 30 "M. Her" (a:M. Usher) - 0+5/0 <- champ:a
I: 80 S: 89 E: 8 "of" (mot:Of) - 0+1/0 <- champ:mot
I: 81 S: 73 E: 21 "writing" (champ:mot) - 131+137/1 <- champ:doc
I: 80 S: 73 E: 21 "writing" (mot:Writing) - 0+6/0 <- champ:mot
I: 23 S: 93 E: 1 "September" (champ:mw) - 0+8/1 <- champ:month
I: 26 S:100 E: 0 "September" (champ:month) - 191+199/1 <- champ:doc
I: 36 S: 67 E: 12 "S" (champ:bw) - 0+0/1 <- champ:booktitle
I: 35 S: 67 E: 11 "S" (bw:s) - 0+0/0 <- champ:bw
I: 36 S: 63 E: 13 "FAC" (champ:bw) - 2+4/1 <- champ:booktitle
I: 35 S: 63 E: 13 "FAC" (bw:IFAC) - 0+2/0 <- champ:bw
I: 36 S: 67 E: 12 "S" (champ:bw) - 5+5/1 <- champ:booktitle
I: 35 S: 67 E: 11 "S" (bw:s) - 0+0/0 <- champ:bw
I: 43 S: 66 E: 14 "S-FACS" (champ:booktitle) - 117+122/4 <- champ:doc
I: 81 S: 60 E: 32 "BC" (champ:mot) - 115+116/1 <- champ:doc
I: 80 S: 60 E: 32 "BC" (mot:ABC) - 0+1/0 <- champ:mot
I:100 S: 99 E: 1 "1988" (year:1988) - 0+3/0 <- champ:year
I: 81 S: 75 E: 20 "n" (champ:mot) - 73+73/1 <- champ:doc
I: 80 S: 75 E: 20 "n" (mot:n) - 0+0/0 <- champ:mot
I: 36 S: 62 E: 13 "Proceedings" (champ:bw) - 103+113/1 <- champ:doc
I: 35 S: 62 E: 13 "Proceedings" (bw:Processings) - 0+10/0 <- champ:bw
I: 80 S: 78 E: 17 "cum" (mot:cm) - 6+8/0 <- champ:mot
I: 80 S: 63 E: 29 "ade" (mot:Made) - 1+3/0 <- champ:mot
I: 82 S: 91 E: 7 "Vademecum" (champ:mot) - 0+8/2 <- champ:title
I: 81 S: 93 E: 5 "Time" (champ:mot) - 77+80/1 <- champ:doc
I: 80 S: 93 E: 5 "Time" (mot:Time) - 0+3/0 <- champ:mot
I: 81 S: 75 E: 20 "Time" (champ:mot) - 90+93/1 <- champ:doc
I: 80 S: 75 E: 20 "Time" (mot:Time) - 0+3/0 <- champ:mot
I: 81 S: 75 E: 20 "vergent" (champ:mot) - 15+21/1 <- champ:title
I: 80 S: 75 E: 20 "vergent" (mot:Emergent) - 0+6/0 <- champ:mot
I: 81 S: 66 E: 27 "tems" (champ:mot) - 41+44/1 <- champ:title
I: 80 S: 66 E: 27 "tems" (mot:temps) - 0+3/0 <- champ:mot
I: 81 S: 57 E: 34 "ho" (champ:mot) - 144+145/1 <- champ:doc
I: 80 S: 57 E: 34 "ho" (mot:How) - 0+1/0 <- champ:mot
I: 81 S: 75 E: 20 "to" (champ:mot) - 181+182/1 <- champ:doc
I: 85 S: 75 E: 21 "to" (mot:to) - 0+1/0 <- champ:mot
I: 81 S: 60 E: 32 "di" (champ:mot) - 13+14/1 <- champ:title
I: 80 S: 60 E: 32 "di" (mot:dit) - 0+1/0 <- champ:mot
I: 81 S: 60 E: 32 "it" (champ:mot) - 32+33/1 <- champ:title
I: 80 S: 60 E: 32 "it" (mot:dit) - 0+1/0 <- champ:mot
I: 36 S: 75 E: 9 "-" (champ:bw) - 1+1/1 <- champ:booktitle
I: 35 S: 75 E: 8 "-" (bw:-) - 0+0/0 <- champ:bw
I: 36 S: 75 E: 9 "-" (champ:bw) - 82+82/1 <- champ:doc
I: 35 S: 75 E: 8 "-" (bw:-) - 0+0/0 <- champ:bw
I: 36 S: 75 E: 9 "-" (champ:bw) - 95+95/1 <- champ:doc
I: 35 S: 75 E: 8 "-" (bw:-) - 0+0/0 <- champ:bw
I: 81 S: 57 E: 34 "Bri" (champ:mot) - 177+179/1 <- champ:doc
I: 80 S: 57 E: 34 "Bri" (mot:Brief) - 0+2/0 <- champ:mot
I: 37 S: 75 E: 9 "Roma" (champ:address) - 83+86/1 <- champ:doc
I: 36 S: 75 E: 9 "Roma" (address:Roma) - 0+3/0 <- champ:address
I: 13 S: 67 E: 4 "t" (champ:pub) - 97+97/1 <- champ:doc
I: 13 S: 67 E: 4 "t" (pub:T) - 0+0/0 <- champ:pub
I: 13 S: 75 E: 3 "T" (champ:pub) - 124+124/1 <- champ:doc
I: 13 S: 75 E: 3 "T" (pub:T) - 0+0/0 <- champ:pub
I: 30 S: 67 E: 10 "c" (champ:volume) - 101+101/1 <- champ:doc
I: 31 S: 67 E: 10 "c" (volume:C) - 0+0/0 <- champ:volume
I: 24 S: 93 E: 1 "September" (mw:september) - 0+8/0 <- champ:mw
-------------- 10
Cycle: 10
Idle: 0
Temperature: 17
Fini: 1606
DS 16 (1)
DC 18 (1)
DI 1552 (28)
DZ 14 (0)
AR 6 (0)
Reservoir: 1804
Noeuds actifs: 5938
----------
On a trouve 1 instance(s) de "jw:Word"
On a trouve 1 instance(s) de "mot:Items"
Test d'arret (T=17,Idle=0)
ARRET: NON(100000) OU OUI(1089)?
De(1,101089)=19184!
Max: 81951
On a trouve 3 instance(s) de "sw:I"
On a trouve 1 instance(s) de "mot:A"
On a trouve 1 instance(s) de "cmot:The"
Separateur repere: "sep:title-journal:). </Times-Roman><Times-Italic>"
On a trouve 2 instance(s) de "bw:Proceedings"
On a trouve 1 instance(s) de "mot:Fitting"
Test d'arret (T=17,Idle=0)
ARRET: NON(100000) OU OUI(1089)?
De(1,101089)=5640!
Max: 81951
On a trouve 1 instance(s) de "mot:into"
Occupation:1 Type:champ:a Debut:0 Fin:5
On a trouve 1 instance(s) de "mot:Pre"
FEUILLE ("Vademecum"(champ:mot), 9, 2-3) TROP GRANDE!
Trouve:"de", Pere:"mot:de"
On la supprime!
On a trouve 2 instance(s) de "mot:de"
On a trouve 1 instance(s) de "mot:Of"
Separateur repere: "sep:author-title:. "
On a trouve 1 instance(s) de "mot:system"
Separateur repere: "sep:title-booktitle:. In </Times-Roman><Times-Italic>"
-> 13-22 "M. Hermann" (champ:author)
1: 1880
NbChampsDifferents:0
NbChampsSemblables:1
FEUILLE ("di"(champ:mot), 2, 0-0) TROP GRANDE!
Trouve:"d", Pere:"mot:d"
On la supprime!
On a trouve 2 instance(s) de "mot:d"
-> 191-199 "September" (champ:month)
1: 2000
NbChampsDifferents:0
NbChampsSemblables:1
Test d'arret (T=17,Idle=0)
ARRET: NON(100000) OU OUI(1089)?
De(1,101089)=45527!
Max: 81951
-> 124-125 "Te" (champ:cmot)
1: 240
NbChampsDifferents:0
NbChampsSemblables:1
CONSTRUCTION DU CHAMP "champ:chapter"
Agents.cc: ChercheZone ()
On ajoute "Te" au noeud "Te" (champ:chapter)
Ajout d'une dependance "Te" a "<Times-Roman>M. Hermann. Vademecum of divergent term
rewriting systems. In </Times-Roman><Times-Italic>Proceedings BCS-FACS Term
Rewriting Workshop</Times-Italic><Times-Roman>, Bristol (UK), September 1988.
</Times-Roman>"
Occupation:1 Type:champ:mw Debut:0 Fin:8
Test d'arret (T=17,Idle=0)
ARRET: NON(100000) OU OUI(1089)?
De(1,101089)=15164!
Max: 81951
Test d'arret (T=17,Idle=0)
ARRET: NON(100000) OU OUI(1089)?
De(1,101089)=100948!
Max: 100948
I:100 S: 77 E: 23 "<Times-Roman>M. Hermann. Vademecum of divergent term rewriting
systems. In </Times-Roman><Times-Italic>Proceedings BCS-FACS Term
Rewriting Workshop</Times-Italic><Times-Roman>, Bristol (UK),
September 1988.</Times-Roman>" (champ:doc) - 0+0/20
I: 60 S: 90 E: 6 ". " (sep:author-title:. ) - 23+24/0 <- champ:doc
I: 45 S:100 E: 0 "<Times-Roman>" (sep:-author:<Times-Roman>) - 0+12/0 <- champ:doc
I: 90 S: 84 E: 14 "M. Hermann" (champ:author) - 13+22/1 <- champ:doc
I: 60 S: 79 E: 12 "</Times-Italic><Times-Roman>, "
(sep:journal-volume:</Times-Italic><Times-Roman>, )
- 147+176/0 <- champ:doc
I: 60 S: 94 E: 3 " " (sep:month-year: ) - 200+200/0 <- champ:doc
I: 90 S: 99 E: 0 "1988" (champ:year) - 201+204/1 <- champ:doc
I: 98 S: 87 E: 12 "Vademecum of divergent term rewriting systems" (champ:title)
- 25+69/9 <- champ:doc
I: 38 S:100 E: 0 ".</Times-Roman>" (sep:note-:.</Times-Roman>) - 205+219/0
<- champ:doc
I: 60 S: 75 E: 15 " " (sep:mot-mot: ) - 9+9/0 <- champ:title
I: 60 S: 75 E: 15 " " (sep:mot-mot: ) - 12+12/0 <- champ:title
I: 81 S: 93 E: 5 "of" (champ:mot) - 10+11/1 <- champ:title
I: 4 S: 95 E: 0 ", " (sep:school-month:, ) - 189+190/0 <- champ:doc
I: 81 S: 67 E: 26 "K" (champ:mot) - 187+187/1 <- champ:doc
I: 80 S: 67 E: 26 "K" (mot:k) - 0+0/0 <- champ:mot
I: 81 S: 62 E: 30 "M. Her" (champ:a) - 0+5/1 <- champ:author
I: 80 S: 62 E: 30 "M. Her" (a:M. Usher) - 0+5/0 <- champ:a
I: 81 S: 73 E: 21 "writing" (champ:mot) - 131+137/1 <- champ:doc
I: 80 S: 73 E: 21 "writing" (mot:Writing) - 0+6/0 <- champ:mot
I: 23 S: 93 E: 1 "September" (champ:mw) - 0+8/1 <- champ:month
I: 14 S:100 E: 0 "September" (champ:month) - 191+199/1 <- champ:doc
I: 36 S: 67 E: 12 "S" (champ:bw) - 0+0/1 <- champ:booktitle
I: 35 S: 67 E: 11 "S" (bw:s) - 0+0/0 <- champ:bw
I: 36 S: 63 E: 13 "FAC" (champ:bw) - 2+4/1 <- champ:booktitle
I: 35 S: 63 E: 13 "FAC" (bw:IFAC) - 0+2/0 <- champ:bw
I: 36 S: 67 E: 12 "S" (champ:bw) - 5+5/1 <- champ:booktitle
I: 35 S: 67 E: 11 "S" (bw:s) - 0+0/0 <- champ:bw
I: 43 S: 66 E: 14 "S-FACS" (champ:booktitle) - 117+122/4 <- champ:doc
I: 81 S: 60 E: 32 "BC" (champ:mot) - 115+116/1 <- champ:doc
I: 80 S: 60 E: 32 "BC" (mot:ABC) - 0+1/0 <- champ:mot
I:100 S: 99 E: 1 "1988" (year:1988) - 0+3/0 <- champ:year
I: 81 S: 75 E: 20 "vergent" (champ:mot) - 15+21/1 <- champ:title
I: 80 S: 75 E: 20 "vergent" (mot:Emergent) - 0+6/0 <- champ:mot
I: 81 S: 57 E: 34 "ho" (champ:mot) - 144+145/1 <- champ:doc
I: 80 S: 57 E: 34 "ho" (mot:How) - 0+1/0 <- champ:mot
I: 36 S: 75 E: 9 "-" (champ:bw) - 1+1/1 <- champ:booktitle
I: 35 S: 75 E: 8 "-" (bw:-) - 0+0/0 <- champ:bw
I: 24 S: 93 E: 1 "September" (mw:september) - 0+8/0 <- champ:mw
I: 25 S: 63 E: 9 "Wor" (champ:jw) - 139+141/1 <- champ:doc
I: 24 S: 63 E: 9 "Wor" (jw:Word) - 0+2/0 <- champ:jw
I: 36 S: 75 E: 9 "Proceedings" (champ:bw) - 103+113/1 <- champ:doc
I: 43 S: 75 E: 10 "Proceedings" (bw:Proceedings) - 0+10/0 <- champ:bw
I: 81 S: 58 E: 34 "riting" (champ:mot) - 31+36/1 <- champ:title
I: 80 S: 58 E: 33 "riting" (mot:Fitting) - 0+5/0 <- champ:mot
I: 81 S: 57 E: 34 "isto" (champ:mot) - 179+182/1 <- champ:doc
I: 80 S: 57 E: 34 "isto" (mot:into) - 0+3/0 <- champ:mot
I: 81 S: 60 E: 32 "re" (champ:mot) - 28+29/1 <- champ:title
I: 80 S: 60 E: 32 "re" (mot:Pre) - 0+1/0 <- champ:mot
I: 81 S: 93 E: 5 "de" (champ:mot) - 2+3/1 <- champ:title
I: 92 S: 93 E: 6 "de" (mot:de) - 0+1/0 <- champ:mot
I: 80 S: 93 E: 5 "of" (mot:Of) - 0+1/0 <- champ:mot
I: 81 S: 75 E: 20 "system" (champ:mot) - 38+43/1 <- champ:title
I: 80 S: 75 E: 20 "system" (mot:system) - 0+5/0 <- champ:mot
I: 60 S: 83 E: 10 ". In </Times-Roman><Times-Italic>"
(sep:title-booktitle:. In </Times-Roman><Times-Italic>)
- 70+102/0 <- champ:doc
I: 81 S: 93 E: 5 "d" (champ:mot) - 13+13/1 <- champ:title
I: 83 S: 93 E: 5 "d" (mot:d) - 0+0/0 <- champ:mot
I: 1 S: 60 E: 0 "Te" (champ:cmot) - 0+1/1 <- champ:chapter
I: 10 S: 60 E: 4 "Te" (cmot:The) - 0+1/0 <- champ:cmot
I: 2 S: 60 E: 1 "Te" (champ:chapter) - 124+125/1 <- champ:doc
-------------- 11
Cycle: 11
Idle: 0
Temperature: 17
Fini: -1
DS 28 (3)
DC 20 (0)
DI 1377 (13)
DZ 5 (1)
AR 5 (0)
Reservoir: 1718
Noeuds actifs: 5936
----------
champ:author :M. Hermann
champ:booktitle :S-FACS
champ:chapter :Te
champ:month :September
champ:title :Vademecum of divergent term rewriting systems
champ:year :1988
author 100% (10/10)
title 99% (45/45)
month 100% (9/9)
year 100% (4/4)
address 0% (0/12)
booktitle 48% (6/44)
Reconnaissance : 71% - 74% #####
Reconnaissance : 71% - 74% #####
Recall : 83% #####
Precision : 83% #####
Recall : 83% Precision : 83% #####
Voyageur de Commerce Le problème du voyageur de commerce (Travelling Salesman Problem) est de trouver le plus court circuit visitant toutes les villes données au système. Dans [Garvey et al. 1987], les villes sont au nombre de 10, et ce sont ces villes qui ont été reprises dans un premier temps. Mais un système de recherche de plus court circuit doit pouvoir résoudre le problème pour n'importe quel nombre de villes.
Voici les aménagements minimaux à apporter à BASCETpour qu'il puisse résoudre ce problème (ce n'est ici qu'une étude de faisabilité, étant bien entendu qu'on peut apporter toute une série d'optimisations à cette réalisation [Parmentier1995]). Cette application a été développée pour valider l'architecture BASCETet vérifier que celle-ci est bien généraliste. Comme cette application est assez éloignée de la reconnaissance des références bibliographiques, nous avons préféré ne la présenter que dans les annexes.