INPI-France/Brevets-Francais-2024-Chunked huggingface dataset:
L'étape 202 pour l'instruction courante Ii est suivie d'une étape de test 203 d'atteinte de la dernière instruction, test noté : Ii = dernière instruction du code objet ? Sur réponse négative au test 203, le processus passe à l'instruction suivante 204, noté i = i+1, et au retour à l'étape 201.
On indique que la vérification précitée, à l'étape 202, est réussie lorsque le tableau des types de registres n'est pas modifié au cours d'une vérification de toutes les instructions Ii constitutives du code objet. Dans ce but, un test 205 d'existence d'un état stable du tableau des types de registres et prévu. Ce test est noté : 3? Etat stable du tableau des types de registres.
Sur réponse positive au test 205, la vérification a réussi.
Dans le cas où au contraire aucune absence de modification est constatée, le processus de vérification est réitéré et relancé par retour à l'étape 200a. On démontre que la fin du processus est garantie après au plus NrxH itérations, où Nr désigne le nombre de registres utilisés et H une constante dépendant de la relation de sous-typage.
Différentes indications relatives aux types de variables manipulées au cours du processus de vérification décrit précédemment en liaison avec la figure 3a seront maintenant données en liaison avec la figure 3b.
Les types de variables précités comportent au moins des identificateurs de classes correspondant aux classes d'objets définis dans le fragment de programme soumis à la vérification, des types de variables
prémisse est la partie que l'on cherche à mettre en correspondance avec les données d'entrées.
En effet, un ensemble flou est un ensemble dont les frontières sont progressives, au contraire d'un ensemble classique, dont les frontières sont nettes. Un élément fait donc plus ou moins partie de chaque ensemble flou. Lorsque les données sont de dimension 1, un ensemble classique peut être représenté par un rectangle (appartenance = 1 à l'intérieur, 0 audehors), alors qu'un ensemble flou peut être un triangle, un trapèze, une gaussienne...
De même que précédemment, l'apprentissage consiste à modifier progressivement les valeurs des paramètres jusqu'à ce que les sorties du système expert flou correspondent aux sorties désirées.
Quatre types de paramètres sont calculés par apprentissage : la position et la largeur des ensembles flous des prémisses, les poids des règles et le degré d'activation de chaque classe pour chaque règle.
En phase d'utilisation opérationnelle, le système expert flou fournit, en plus de la classe attribuée à l'événement sismique, la liste des règles applicables par ordre décroissant de pertinence.
Certaines de ces règles peuvent être en contradiction avec les autres, ce qui permet d'examiner les solutions alternatives, mais c'est l'agrégation du résultat de toutes les règles qui fournit le résultat global.
L'utilisateur a donc à sa disposition : - la décision brute (séisme, explosion, coup de terrain) ; - la liste des règles applicables ; - la liste des règles apportant une contradiction à cette décision ;
- la raison de la décision de chaque règle (par examen de la cohérence entre les données et les ensembles flous correspondants).
Un exemple de règle de décision trouvée par le système est le suivant : si (Heure estmilieu~deaprès-midi) et (Latitude esttrès-proche de43.5 N) et (Longitude esttrès~proche-de5.5 E) et (Magnitudeestenviron 2.7) et (Date estde~préférencesamedi) alors (avecniveau de confiance = 0,8) (séisme estimprobable) (explosionestprobable) (coup deterrainest improbable) Dans l'invention, pour des raisons de convergence difficile, on paramètre cette descente de gradient en introduisant des variables intermédiaires. Si l'on veut effectuer une descente de gradient sur un paramètre p avec p=(s), étant une fonction dérivable, strictement monotone, indépendante de p et des valeurs des exemples servant à l'apprentissage, on a les mêmes solutions finales en effectuant une descente de gradient sur s. L'avantage d'un tel changement de variable est qu'il devient possible de changer la façon d'atteindre la solution, et en particulier de faciliter la convergence dans les cas difficiles.
Dans l'invention, on optimise les paramètres suivants : (1) La position y des ensembles flous des prémisses : lorsque la descente de gradient est appliquée directement sur ce paramètre, on obtient généralement une convergence difficile. Ceci s'explique
par le fait que la variation de la position y des ensembles flous des prémisses n'est pas une fonction croissante de la distance à l'exemple. On corrige ce phénomène en posant x=y/a.
(2) La largeur # des ensembles flous des prémisses : lorsque les données sont structurées en groupes de tailles très différentes, l'algorithme ne peut pas converger. En étudiant la variation relative ##/#, on découvre qu'elle n'est pas bornée (c'est-àdire que rien ne l'empêche de tendre vers des valeurs infinies). Lorsque les données sont très groupées, cette variation prend effectivement des valeurs très élevées. Pour avoir une modification relative plus faible lorsque les données sont rapprochées, on pose s=ln (2#2).
(3) Les poids p des règles : c'est le paramètre le plus difficile à régler. Avec une descente de gradient directe, les poids les plus faibles diminuent et deviennent négatifs, ce qui leur fait perdre toute signification et fait diverger l'algorithme. On choisit donc une fonction d'activation positive en imposant une contrainte supplémentaire : pour différents exemples avec le même niveau activation de la règle, la variation de ce niveau doit être la même si les conclusions sont égales. La conséquence est que la variation relative des poids des règles doit être constante lorsque les exemples ont le même degré d'appartenance aux ensembles flous. Ceci est réalisé en posant r=ln (p) .
(4) Le degré d'activation d de chaque classe pour chaque règle.
La descente de gradient est donc effectuée non pas sur y, cr et p, mais sur : # x=y/a # s=ln (2#2)
# r=ln (p) Pour d, on n'effectue pas de changement de variable. Ces changements de variables assurent une très bonne qualité de convergence et permettent l'obtention de systèmes-experts flous très efficaces.
La figure 4 illustre le schéma de principe du système multi-experts de discrimination d'événements sismiques de l'invention. Ce système est constitué de plusieurs branches de traitement indépendantes, chacune ayant des propriétés particulières, fusionnées par un système décisionnel de haut niveau.
Ces branches sont : - un classifieur neuro-flou, dit CNF, prenant ses décisions à partir de propriétés de haut niveau des événements (par exemple pour les événements sismiques : localisation, magnitude, heure, jour de la semaine) et des paramètres de plus bas niveau extraits des signaux par des procédures de type traitement du signal ; - un système expert flou, dit SEF, prenant une décision de façon indépendante à partir des mêmes informations, et capable d'expliquer sa décision à l'utilisateur par l'intermédiaire de règles triées par ordre d'applicabilité à l'événement traité ; - un réseau neuronal à connexions locales et poids partagés, dit TDNN, constitué de bancs de filtres adaptatifs non linéaires, extrayant lui-même des informations pertinentes de représentations tempsfréquence des signaux correspondant à l'événement.
Ces trois branches se configurent automatiquement par apprentissage statistique sur des bases de données d'événements sismiques.
* Apprentissage à partir d'exemples L'apprentissage à partir d'exemples consiste à construire un modèle du système de prise de décision par ajustement progressif de paramètres à partir de données. Ce modèle doit être capable d'associer la bonne décision (sortie) à un ensemble de données décrivant le cas traité (entrées). Cela se fait progressivement, par présentation itérative des cas disponibles dans la base d'exemples en entrée du système. Une telle procédure est illustré sur l'organigramme de la figure 5.
Dans l'invention, le modèle qui apprend peut être soit un réseau de neurones artificiels, soit un système expert flou.
Une fois que le système a terminé sa phase d'apprentissage, ses paramètres internes sont figés et le système est prêt à être utilisé.
' Réseau de neurones de type Percep tron multicouche Un tel réseau de neurones artificiels de type Perceptron multicouche est un modèle particulier de réseau de neurones pouvant être utilisé comme système de prise de décision. Il est constitué d'un réseau d'automates de calcul simples, les " neurones artificiels ".
Un neurone Nj, comme illustré sur la figure 6, est une entité constituée d'un vecteur-poids Wj = {wij}et d'une fonction de transfert non linéaire .
Il admet en entrée un vecteur X = {xl} et effectue une transformation de ces entrées de type yj = ###wijxl#.
Par similitude avec le vocabulaire employé en neurophysiologie, on dit que chaque entrée xi est reliée au neurone N par une connexion synaptique. Un
poids synaptique wij module l'efficacité de cette connexion.
Dans un réseau de neurones artificiels, comme illustré sur la figure 7, les neurones sont assemblés en couches successives. Une couche est définie comme un ensemble de neurones n'ayant pas de connexions entre eux, mais pouvant avoir des connexions avec des neurones des couches précédentes (entrées) ou suivantes (sorties). En général, on ne connecte que des neurones de couches successives.
L'apprentissage consiste à modifier progressivement les valeurs des poids wij jusqu'à ce que les sorties du réseau, qui est constitué d'un certain nombre de couches de neurones, correspondent aux sorties désirées.
Pour cela, on définit une erreur de classification que l'on cherche à minimiser. L'erreur la plus couramment utilisée est l'erreur quadratique, NSORTIES ( dés@rée)2 définie par E = # (zk - zkdés@rée)2. . La méthode consiste à k=1 faire une descente de gradient sur les poids par l'équation #wij = -[alpha]#E#wij avec [alpha]> 0. Cette équation, lorsqu'on la développe, donne la formule de correction pour chaque poids du réseau.
* Système expert flou Un système expert flou est un autre modèle de système de prise de décision. Il présente l'avantage sur le réseau de neurones de donner une forme d'explication de ses décisions. Il est constitué d'un ensemble d'unités de calcul, les " règles d'inférence floue ".
Une règle d'inférence floue est une entité de la forme " si alors ". La
Les flèches A1 à A4 indiquées sur le dessin sont utilisées pour réglage du courant d'une section de circuit correspondant à chaque partie de la figure 7, et une autre flèche A5 utilisée pour le réglage du courant du circuit 15 de régulation de puissance (le sens de la flèche dépend du sens de rapprochement à l'amplificateur d'erreur 10).
Dans ce cas, la détection de tension et la détection de courant sont réalisées pour la somme des valeurs détectées reliées aux deux lampes à décharge. Si la valeur détectée de la tension totale est petite, le courant de réglage dans le sens indiqué par la flèche A1 augmente. En outre, si la valeur détectée du courant total est grande, le courant de réglage dans le sens de la flèche A2 augmente.
Si deux lampes à décharge sont mises en fonctionnement dans le domaine régime permanent, le circuit 15 de régu lation de puissance peut savoir qu'une indication de lumière est transmise deux lampes à décharge ou que les deux lampes à décharge sont en fonctionnement après réception du signal SH et du signal SL. A ce moment, ainsi, la commande peut être réalisée de manière que la somme des puissances transmises aux lampes à décharge soit inférieure aux puis sances nominales pour une augmentation du courant de réglage représenté par la flèche A5. Si on suppose que les deux valeurs nominales de la puissance des lampes à décharge sont de 35 W, la somme des puissances fournies dans le domaine de régime permanent est réglée afin qu'elle soit inférieure à 35 x 2 = 70 W, exemple d'environ 60 W (la somme des intensités des courants de commande indiqués par les flèches A1, A2, A3 et A5 réglée à 0 à ce moment).
Si une seule des deux lampes à décharge, de même valeur nominale, est mise en fonctionnement, les valeurs de la tension détectée et du courant détecté sont à peu près deux fois plus petites que celles qui sont obtenues lorsque les deux lampes à décharge sont en fonctionnement. En consé quence, le circuit 15 de régulation de puissance peut réguler le courant de réglage indiqué par la flèche A5 afin que la puissance fournie dans le domaine de régime permanent ait une valeur nominale lors de la réception de l'un des signaux SE et SL. Si l'on suppose que la puissance nominale de la lampe à décharge est de 35 W, la puissance fournie dans le domaine de régime permanent est réglée afin qu'elle ait cette valeur (la somme des valeurs des courants de réglage indiqués par les flèches A1, A2, et A5 est réglée à une valeur nulle à ce moment).
Dans l'exemple considéré, lorsque circuit 15 de régulation de puissance est neuf et reçoit les signaux SE et la commande est réalisée avec une valeur de puissance définie préalablement pour ces signaux. I1 est aussi possible d'utiliser une structure dans laquelle les signaux et SL sont transmis au circuit 14 de régulation de puissance de régime permanent pour l'exécution du même réglage de puissance que celui qui est réalisé par le circuit 15 de régulation de puissance (dans ce cas, la somme courants de réglage indiqués par les flèches A1, A2 et A3 est réglée à une valeur nulle dans un état dans lequel une puissance prédéterminée dans le domaine de régime permanent est transmise à la lampe à décharge).
Dans la configuration du circuit (I), un amplificateur d'erreur peut être partagé pour le réglage de puissance des deux lampes à décharge. D'autre part, il faut détecter la tension totale et le courant total pour le circuit 11N de détection de tension et le circuit 12N de détection de courant.
La figure 9 représente un exemple de la structure de la configuration du circuit (II) dans laquelle un circuit 16 de régulation de puissance est ajouté à une structure ayant la forme représentée sur la figure 7 et préparée pour chaque lampe à décharge. Sur la figure, on a représenté uniquement la partie principale du circuit lié au réglage de puissance de l'une des lampes à décharge du faisceau principal ou du faisceau de croisement. Par exemple, si le circuit repré- senté est utilisé pour la lampe à décharge du faisceau principal, le circuit 16 de régulation de puissance fait varier le courant commande d'entrée du côté négatif de l'amplificateur d'erreur après réception du signal SL, si bien que le réglage puissance de la lampe à décharge est exécuté d'après signal de sortie de l'amplificateur d'erreur. En outre le circuit représenté est utilisé pour la lampe à decharge du faisceau de croisement, le circuit 16 de régulation de puissance change un courant de réglage destiné au côté négatif de l'amplificateur d'erreur après réception signal SE, si bien que le réglage de puissance de la lampe à décharge est réalisé en fonction du signal de sortie l'amplificateur d'erreur.
Dans ce cas, la détection de la tension et la détection du courant pour chaque lampe à décharge sont réalisées séparément. En conséquence, l'opération à exécuter est la même que celle qu'exécutent le circuit 11 de détection de tension et le circuit 12 de détection de courant représentés sur la figure 7.
Si le circuit selon l'invention est destiné à réaliser le réglage de puissance de la lampe à décharge du faisceau principal, la puissance fournie à la lampe à décharge pour le faisceau principal peut être réduite lors de l'augmen- tation du courant de réglage dans le sens de la flèche A5 s'il est connu que lampe à décharge du faisceau de croi- sement est en fonctionnement ou qu'une indication d'éclai- rage est transmise le signal d'entrée SL destiné au circuit de régulation de puissance 16. En conséquence, la somme des puissances transmises aux lampes à décharge devient inférieure à celle des puissances nominales. Par exemple, si l'on suppose que la puissance nominale de la lampe à décharge du faisceau principal est de 35 W, la puissance fournie dans le domaine de régime permanent est réglée afin qu'elle soit inférieure à 35 W, par exemple de 30 W environ (la somme des valeurs des courants de réglage indiques par les flèches A1, A2, A3 et A5 est réglée à une valeur nulle à ce moment).
même, si le circuit considéré doit assurer le réglage de puissance de la lampe à décharge du faisceau de croisement, la puissance fournie à la lampe à décharge du faisceau de croisement peut être réduite par une augmen tation du courant de réglage dans le sens de la flèche s'il est connu que la lampe à décharge du faisceau principal est en fonctionnement ou si une indication d'éclairage transmise par le signal d'entrée SR au circuit 16 de régulation de puissance. En conséquence, la somme des valeurs des puissances transmises aux deux lampes à décharge peut être inférieure à la somme des valeurs nominales correspondantes.
Dans la configuration de circuit (II), la puissance fournie à chaque lampe à décharge peut être réglée indivi duellement, bien qu'un circuit de commande soit nécessaire pour chaque lampe à décharge.
Dans les premier et second procédés précités (i) (iii), la commande est réalisée afin que la puissance four nie à la lampe à décharge dans le domaine de régime permanent diminue. En conséquence, il suffit que la commande précitee soit réalisée par l'intermédiaire du circuit régulation de puissance (15, 16). Si la puissance fournie dans domaine de régime permanent à l'une des lampes à décharge est réglée à une valeur supérieure à la puissance nominale de cette lampe comme dans le troisième procédé (iii), le courant de réglage peut circuler en sens opposé au sens indiqué par la flèche A5 sur la figure 9. Le réglage à puissance constante est réalisé dans le domaine de régime permanent avec une telle faible puissance fournie de manière que l'augmentation de puissance soit compensée. Dans l'état dans lequel la lampe à décharge du faisceau principal et la lampe à décharge du faisceau de croisement sont toutes deux en fonctionnement, on attache de l'importance à la lampe à décharge du faisceau principal, et la puissance fournie dans le domaine de régime permanent à cette lampe à décharge réglée afin qu'elle soit supérieure à sa valeur nominale Pour que la puissance fournie dans le domaine transition soit déterminée, la puissance fournie à la lampe à décharge est réglée d'après un courant de réglage créé le circuit de détermination de mise à la puissance maximale (13, 13N) I1 suffit que la mise sous tension à une étape précoce d éclairage soit régulée à l'aide du courant de réglage circulant en sens opposé au sens de la flèche A4 des figures 8 9.
On décrit maintenant le décalage du maximum corres pondant à la puissance maximale transmise à la lampe a décharge.
Si l'on suppose que la lampe à décharge du faisceau principal est mise en fonctionnement afin qu'elle transmette de l'énergie et que la lampe à décharge du faisceau croisement est mise en fonctionnement avec un léger retard, on peut utiliser les procédés suivants pour réduire dégagement de chaleur du circuit électronique (1) un procédé de contrôle de l'état dans lequel la lampe à décharge du faisceau principal est mis en fonc- tionnement et de réglage du changement d'alimentation afin que la puissance maximale soit transmise à la lampe à décharge du faisceau de croisement lorsque l'état de lampe à décharge est changé à un état d'éclairage de régime permanent et (2) un procédé de limitation de la valeur totale de la puissance maximale transmise aux deux lampes à décharge à une certaine valeur dans le domaine de transition après mise sous tension de chaque lampe à décharge.
Le procédé (2) est préférable au procédé (1) en qu'il faut un temps important pour la mise des deux lampes à décharge à l'état de régime permanent dans le procédé (1) Dans le procédé (2), la valeur totale des courants réglage créés par les circuits 13 et 13N de détermination de la mise ' la puissance maximale est régulée à une valeur limite supérieure prédéterminée ou au-dessous.
La figure 10 représente un exemple de la structure du circuit détermination de la mise à la puissance maximale dans configuration de circuit (II) et représente l'étage de sortie du circuit.
En ce qui concerne la reproductibilité des synthèses, on constate que: - pour un. palier de 3 heures, la reproductibilité est très bonne à 1 500 C et, en dessous de 1 500 C, le pourcentage des différentes phases varie de 3 % suivant les cuissons, et - avec un palier de 15 heures, la reproductibilité est très bonne à 1 400 C et à 1 500 C.
Dans une quatrième étape, le clinker obtenu est broyé, avantageusement avec une finesse de 25 p,m pour 50 % en poids de passant au tamis (d50 = 25pm). Ce clinker broyé permet d'effectuer des mesures de réactivité, dans lesquelles on suit l'avancement de la réaction d'hydratation du clinker broyé à 20 C, à masses égales d'eau et de clinker. On a ainsi tracé (Figure 3) le flux de chaleur dégagé (axe 16, en mWlg) en fonction du temps (axe 15, en minutes) pour trois produits correspondant, respectivement, aux barres 44 (C4P pur), 43 (palier supérieur de température de 1 400 C et de 3 heures) et 42 (palier supérieur de température de 1 300 C et de 3 heures). Les courbes obtenues, respectivement référencées 20, 21 et 22, permettent de suivre la progression de l'hydratation, notamment par l'observation des pics exothermiques.
La courbe 20 (C4P pur) a un premier pic exothermique 50 abrupt pendant les premières minutes, puis un dégagement de chaleur négligeable jusqu'à environ 100 minutes à compter du début de l'hydratation. Un faible dégagement calorifique à croissance et à décroissance lentes se produit alors, définissant un "deuxième pic exothermique" 60.
Pour les courbes 21 et 22 (clinkers à, respectivement, 1 400 C et 1 300 C de palier supérieur de température), on observe également des premiers pics exothermiques respectivement référencés 51 et 52 au cours des premières minutes, mais aussi des deuxièmes pics exothermiques respectivement référencés 61 et 62, ayant des valeurs élevées de flux de chaleur dégagé par rapport à la courbe 20 (de l'ordre de 15 mWlg) et apparaissant beaucoup plus tôt que pour la courbe 20, ces deuxièmes pics culminant à des durées voisines de 60 minutes à compter du début de l'hydratation.
On constate que le taux de C4P consommé vaut, respectivement pour les courbes 20, 21 et 22: - au bout de 50 minutes: 5, 15 et 20 %, et - au bout de 300 minutes: 10, 65 et 75 %.
Ainsi, on vérifie que le C4P pur a un faible degré d'avancement et, notamment, une cinétique trop lente vis-à-vis de celle du ciment Portland (le début de prise d'un ciment Portland étant voisin de 2 heures). En revanche, les clinkers correspondant aux barres 42 et 43 ont une cinétique d'hydratation considérablement accélérée par rapport au C4P pur. On s'est intéressé à la reproductibilité de la réactivité du clinker fabriqué avec un palier supérieur de température de 1 400 C et de 3 heures. Sur dix cuissons, on a observé des variations dans les plages suivantes: - intensité du premier pic 51: 40 à 42,5 mWlg, - intensité du deuxième pic 61: 12,5 à 17,5 mWlg, - temps au sommet du deuxième pic 61: 60 à 75 minutes. Ainsi, la cinétique de l'hydratation du clinker est relativement peu sensible à des variations de quelques pour-cents des constituants permettant de le fabriquer.
Dans une variante de réalisation, au lieu de chercher à atteindre une minéralogie déterminée du clinker, on fait en sorte que le clinker ait une réactivité voulue. Ainsi, avantageusement, le clinker comporte une répartition de phases minéralogiques telle que lors d'une hydratation à 20 C du clinker broyé à d50 = 50 ptm, à masses égales d'eau et de clinker, le flux de chaleur dégagé en fonction du temps représente un premier pic exothermique initial et un deuxième pic exothermique observé avant 1 h 30 à compter du début de l'hydratation, et un taux d'avancement de la réaction d'hydratation au moins égal à 30 % à la fin de l'apparition de ce deuxième pic exothermique. Ces conditions sont vérifiées par les clinkers associés aux barres 42 et 43 (Figure 3).