INPI-France/Brevets-Francais-2024-Chunked huggingface dataset:
Dans le procédé (2), le courant de réglage ne circule pas à partir du circuit de détermination de la mise à la puissance maximale dans l'état d'éclairage de régime per- manent de la lampe à décharge et, lorsque la valeur de détection du courant de réglage devient inférieure à un seuil préréglé (correspondant à la tension de référence Vr), une décision est prise pour l'exécution d'un changement d'état de régime permanent. En conséquence, un signal de faible niveau (L) représentatif de la décision est émis. Par exemple, un potentiel électrique en un point de détection indiqué par le point a de la figure 10 est détecté (c'est-à- dire qu'un signal SV de détection est le signal de détection de tension du point a), et est comparé à la tension de référence Vr (= Er). En conséquence, un changement de la lampe à décharge du domaine de transition au domaine de régime permanent peut être détecté. Par exemple, si la tension de détection est supérieure à la tension de référence au point a, un courant circule vers la résistance 28. Dans cet état en conséquence, l'état de lampe à décharge correspond à l'état de transition.
La figure 12 représente un exemple de structure d'un circuit de réglage de la puissance fournie à 'une des lampes à décharge d'après l'état d'éclairage l'autre lampe à décharge.
Le circuit considéré est utilisé pour le réglage de la puissance de manière que la puissance fournie à lampe à décharge du faisceau de croisement soit inférieure à sa valeur nominale lorsque la lampe à décharge du faisceau principal est en fonctionnement et est mise à l'état de régime permanent, et il a essentiellement la même structure que celui de la figure 9 et diffère de cette structure en ce que le circuit 16' de régulation de puissance crée un courant de réglage (voir la flèche A5) qui circule vers 'entrée négative de l'amplificateur d'erreur 10 lié au réglage de puissance de la lampe à décharge du faisceau de croisement après réception du signal de sortie SC du circuit de détection d'état d'éclairage.
Ainsi, lorsque le circuit 16' de régulation de puissance sait que la lampe à décharge du faisceau principal mise à l'état de régime permanent après éclairage suivant la réception du signal SC, la commande est réalisée afin que le courant de réglage circule dans le sens de la flèche A5 (lorsque la valeur du courant dans ce sens est plus grande, la puissance fournie à la lampe à décharge du faisceau de croisement est réduite).
Les figures 13 et 14 représentent un exemple de la structure du circuit fondamental lié au circuit de régula- tion de puissance.
L'instruction détectée de rang i n'est accessible que par un branchement. Sur réponse positive au test 505 précité, le processus de transformation consiste à effectuer une étape 506 consistant à insérer un ensemble d'instructions de chargement du type load à partir de l'ensemble de nouveaux registres antérieurement à l'instruction détectée de rang i considéré. L'opération d'insertion 506 est suivie d'une redirection 507 de tous les branchements vers l'instruction détectée de rang i, vers la première instruction de chargement load insérée. Les opérations d'insertion et de redirection sont représentées au tableau T9 joint en annexe.
Pour toute instruction précédente de rang i-1 continuant en séquence, c'est-à-dire lorsque l'instruction courante de rang i est accessible à la fois par un branchement et à partir de l'instruction précédente, cette condition étant réalisée par le test 508 et symbolisée par les relations : Ii-1#Ii et IB#Ii le processus de transformation consiste en une étape 509 à insérer un ensemble d'instructions de sauvegarde store vers l'ensemble de nouveaux registres antérieurement à l'instruction détectée de rang i, et un ensemble d'instructions de chargement load à partir de cet ensemble de nouveaux registres. L'étape 509 est alors suivie d'une étape 510 de redirection de tous les branchements vers
l'instruction détectée de rang i vers la première instruction de chargement load insérée.
Dans le cas où l'instruction détectée de rang i est un branchement vers une instruction déterminée, pour toute instruction détectée de rang i constituée par un branchement inconditionnel, cette condition étant réalisée par un test 511 noté : Ii=IBincondit. le processus de transformation tel que représenté en figure 5a consiste à insérer à une étape 512, sur réponse positive au test 511, antérieurement à l'instruction détectée de rang i, une pluralité d'instructions de sauvegarde store. Le processus de transformation insère avant l'instruction i les n instructions store ainsi que représenté en exemple au tableau Tll. Les instructions store adressent les registres ri à rn, n désignant le nombre de registres. A chaque nouveau registre est ainsi associée l'instruction de sauvegarde.
Pour toute instruction détectée de rang i constituée par un branchement conditionnel et pour un nombre mOp supérieur à 0 d'opérandes manipulés par cette instruction de branchement conditionnel, cette condition étant réalisée par le test 513 noté : IlIBcondit. avec mOp > 0 le processus de transformation, en réponse positive au test 513 précité, consiste à insérer à une étape 514 antérieurement à cette instruction détectée de rang i, une instruction de permutation notée swap x au sommet de la pile des variables de pile des mOp opérandes de l'instruction détectée de rang i et des n valeurs
suivantes. Cette opération de permutation permet de ramener au sommet de la pile des variables de pile les n valeurs à sauvegarder dans l'ensemble des nouveaux registres ri à rn. L'étape 514 est suivie d'une étape 515 consistant à insérer antérieurement à l'instruction de rang i un ensemble d'instructions de sauvegarde store vers l'ensemble des nouveaux registres ri à rn. L'étape 515 d'insertion précitée est elle-même suivie d'une étape 516 d'insertion postérieurement à l'instruction détectée de rang i d'un ensemble d'instructions de chargement load à partir de l'ensemble des nouveaux registres ri à rn.
L'ensemble des opérations d'insertion correspondantes est représenté au tableau 12 introduit en annexe.
Pour des raisons de complétude et en référence à la figure 5a, on indique que, sur réponse négative au test 504, la poursuite du processus de transformation est réalisée par une étape de suite de contexte suite 503, que la réponse négative aux tests, 505,508, 511 et 513 est elle-même suivie d'une poursuite du processus de transformation par l'intermédiaire d'une étape de suite de contexte suite 503 et qu'il en est de même en ce qui concerne la poursuite des opérations après les étapes de redirection 507 et 510 et d'insertion 512 et 516 précitées.
Une description plus détaillée du procédé de normalisation et de transformation d'un code objet en un code objet normalisé faisant appel à des registres typés tel que décrit en figure 4b, sera maintenant donnée en liaison avec la figure 5b. Ce mode de réalisation concerne plus particulièrement un mode de réalisation préférentiel non limitatif de l'étape 601 de réallocation des registres
par détection des registres d'origine employés avec des types différents.
En référence à la figure 5b précitée, on indique que l'étape 601 précitée consiste à déterminer en une étape 603 les intervalles de durée de vie notés IDj de chaque registre rj. Ces intervalles de durée de vie, désignés par "live range" ou "webs" en langage anglosaxon, sont définis pour un registre r comme un ensemble maximal de traces partielles tel que le registre r est vivant en tous points de ces traces. Pour une définition plus détaillée de ces notions, on pourra utilement se reporter à l'ouvrage édité par Steven S. MUCHNICK intitulé "Advanced Compiler Design and Implementation", Section 16. 3, Morgan KAUFMANN, 1997. L'étape 603 est désignée par la relation : IDj#rj selon laquelle à chaque registre rj est associé un intervalle de durée de vie IDj correspondant.
L'étape 603 précitée est suivie d'une étape 604 consistant à déterminer, à l'étape 604, le type de données principal, noté tp, de chaque intervalle de durée de vie IDj. Le type principal d'un intervalle de durée de vie IDj, pour un registre rj, est défini par la borne supérieure des types de donnée stockés dans ce registre rj par les instruction de sauvegarde store appartenant à l'intervalle de durée de vie précité.
L'étape 604 est elle-même suivie d'une étape 605 consistant à établir un graphe d'interférences entre les intervalles de durée de vie précédemment définis aux étapes 603 et 604, ce graphe d'interférences consistant en un graphe non orienté dont chaque sommet est constitué par
un intervalle de durée de vie et dont les arcs, notés ajl,j2 sur la figure 5b, entre deux sommets IDj1 et IDJ2, existent si un sommet contient une instruction de sauvegarde adressée au registre de l'autre sommet ou réciproquement. Sur la figure 5b, la construction du graphe d'interférences est représentée symboliquement, cette construction pouvant être réalisée à partir de techniques de calcul connues de l'homme du métier. Pour une description plus détaillée de la construction de ce type de graphe, on pourra utilement se reporter à l'ouvrage publié par Alfred V.AHO, Ravi SETHI et Jeffrey D. ULLMAN intitulé "Compilers : principles, techniques,, and tools", Addison-Wesley 1986, section 9.7.
Suite à l'étape 605, le procédé de normalisation tel que représenté en figure 5b consiste à traduire à une étape 606 l'unicité d'un type de donnée alloué à chaque registre rj dans le graphe d'interférences en ajoutant des arcs entre toutes paires de sommets du graphe d'interférences tant que deux sommets d'une paire de sommets n'ont pas le même type de données principal associé. On comprend que la traduction du caractère d'unicité d'un type de donnée alloué à chaque registre correspond bien entendu à la traduction et à la prise en compte du critère C4 dans le graphe d'interférences, critère mentionné précédemment dans la description.
L'étape 606 précitée est alors suivie d'une étape 607 dans laquelle une instanciation du graphe d'interférences est effectuée, instanciation plus communément désignée par étape de coloriage du graphe d'interférences selon les techniques habituelles. Au cours de l'étape 607, le processus de transformation attribue à chaque intervalle
Des exemples du procédé (b) comprennent un procédé dans lequel une section 7 de détection de tension et de courant est placée entre le circuit d'alimentation en courant continu 3 et le circuit de conversion continu-alternatif 4 comme indiqué sur la figure 6 afin que, sous forme d'un signal équivalant à la tension du tube, on obtienne une tension détectée par division de la tension de sortie du circuit d'alimentation en courant continu 3 par des résis- tances, et une résistance de détection de courant destinée à détecter le courant de sortie du circuit d'alimentation en courant continu 3 est placée dans une ligne d'alimentation pour assurer la conversion de tension, si bien que le courant détecté peut être obtenu.
Un circuit 8 de commande est utilisé pour le réglage essentiellement de la puissance de la lampe à décharge en fonction d'un signal de détection de tension et d'un signal de détection de courant qui sont liés aux lampes à décharge 6-1 et 6-2, d'un signal soumis à un traitement arithmétique analogique sous forme d'un signal représentatif de l'état d'éclairage de chaque lampe à décharge en fonction de signaux de détection, et d'un signal destiné à désigner l'éclairage de chaque lampe à décharge à partir du diapo sitif opérationnel 9. Le dispositif opérationnel 9 comprend un organe opérationnel nécessaire pour la désignation de l'éclairage et du défaut d'éclairage, et un élément de détection, par exemple un commutateur assurant le fonction- nement lié du circuit opérationnel et du circuit de détec- tion. En outre, si la commande d'éclairage automatique de la lampe à décharge doit être réalisée, le dispositif opéra- tionnel 9 peut être remplacé par un circuit de commande d'éclairage et d'arrêt d'éclairage.
Le circuit de commande 8 effectue de façon générale diverses opérations de réglage de puissance décrites en référence aux figures 1 à 5 et il a essentiellement les fonctions suivantes déterminer la somme des puissances fournies dans le domaine de régime permanent, déterminer les puissances fournies dans le domaine transition, et décaler dans le temps la valeur du maximum de puissance fournie dans le domaine de transition pour chaque lampe à decharge.
Avant la description de ces fonctions de réglage, on décrit structure et le fonctionnement d'un circuit en référence au réglage de la puissance d'une lampe à décharge.
figure 7 représente la partie principale d'une structure d'un circuit de commande du type à commande par modulation par impulsions de largeur variable, dans lequel une tension prédéterminée de référence Eref (indiquée par le symbole d'une source de tension constante sur le dessin) est transmise à une borne d'entrée du côté positif d'un ampli- ficateur d'erreur 10 et un circuit suiveur (indiqué dans la suite par des références entre parenthèses) est connecté à la borne d'entrée du côté négatif un circuit (11) détection d'une tension appliquée à la lampe à décharge, un circuit (12) détection d'un courant circulant vers la lampe à décharge un circuit (13) détermination de la mise à la puissance maximale, et un circuit (14) de régulation de puissance à l'état de régime permanent.
Le circuit 11 de détection de tension et le circuit 12 de détection de courant sont utilisés pour détecter une tension et un courant de la lampe à décharge après réception d'un signal de la section 7 de détection de tension et de courant.
Le circuit 13 de détermination de la mise à une puis- sance maximale est utilisé pour déterminer la valeur maximale (ou la valeur permise limite supérieure) de la puissance fournie dans domaine de transition dans le cas où la lampe à décharge est mise en fonctionnement à froid (par "amorçage à froid"). En outre, le circuit 14 de régu- lation de puissance d'état de régime permanent est nécessaire pour une régulation fine de la puissance fournie lors du réglage à puissance constante dans le domaine de régime permanent.
Grâce à la structure considérée, lorsque la tension de sortie de l'amplificateur d'erreur 10 est élevée, la puis- sance fournie à la lampe à décharge augmente. L'amplifi- cateur d'erreur régule la tension de sortie du circuit d'alimentation en courant continu 3 de manière que sa tension d'entrée du côté négatif soit égale à la tension de référence Eref. La tension de sortie de l'amplificateur d'erreur 10 est transformée en un signal de commande destiné à un élément de commutation (élément à semi-conducteur) contenu dans le circuit d'alimentation en courant continu par l'intermédiaire d'une section de commande par modulation impulsions de largeur variable, qui est une section circuit constituée par utilisation d'un circuit intégré emploi universel destiné à la commande par modulation par impulsions de largeur variable et qui est utilisé pour créer signal pulsé ayant un coefficient d'utilisation qui varie avec le résultat de la comparaison du niveau de tension d'entrée et d'une onde en dents de scie ou à un circuit de pilotage.
En outre, les flèches A1 à A4 du dessin représentent une partie de la contribution à un courant d'entrée de l'amplificateur d'erreur 10. Le sens de la flèche indique sens du courant de commande dans chaque partie. Par exemple le circuit 11 de détection de tension (voir flèche A1) et circuit 13 de détermination de la mise à la puissance maximale (voir flèche A4) ont des sens de courant commande qui s'éloignent de l'amplificateur d'erreur 10. En conséquence, lorsque la valeur du courant qui circule dans ce sens augmente, la puissance fournie à la lampe à décharge augmente. Au contraire, le circuit 12 de détection de courant (voir la flèche A2) a un courant de commande dirigé vers l'amplificateur d'erreur 10. En conséquence, lorsque la valeur du courant qui circule dans ce sens augmente, la puissance fournie à la lampe à décharge diminue. Le courant de réglage du circuit 14 de régulation de puissance de régime permanent peut être régulé dans un sens ou dans l'autre comme indiqué par la flèche bidirectionnelle A3. Si la puissance est régulée afin que le courant s'éloigne de l'amplificateur d'erreur 10, la puissance fournie dans le domaine de régime permanent augmente. (Au contraire, si la puissance est régulée afin que le courant soit dirigé vers l'amplificateur d'erreur, la puissance fournie à l'état de régime permanent diminue).
Dans le domaine de transition, la puissance fournie à la lampe à décharge est déterminée d'après l'état d'éclai rage de la lampe à décharge par l'intermédiaire de contribution des courants de commande du circuit 11 de détection de tension, du circuit 12 de détection de courant et du circuit 13 de détermination de la mise à la puissance maximale. Par exemple, si basse tension est appliquée à la lampe à décharge, une plus grande puissance est transmise à la lampe à décharge (la valeur maximale de la puissance est déterminée en référence à la tension détectée comme l'indique la flèche allant circuit 11 de détection de tension vers le circuit 13 détermination de la mise à la puissance maximale). En outre, si un courant qui se dirige vers la lampe à décharge augmente, la puissance fournie à la lampe à décharge diminue.
Le réglage à puissance constante de la lampe à décharge dans le domaine de régime permanent est réalisé de manière qu'une équation telle que V. . = W ou V + I = W, obtenue par approximation linéaire, soit établie. La tension du tube est représentée par V, le courant du tube par I et la puissance nominale par W. Pour que l'approximation soit meilleure, les structures du circuit de détection de tension et du circuit de détection de courant peuvent être élaborées afin que l'approximation à une courbe à puissance constante soit obtenue par utilisation d'un plus grand nombre de courbes polygonales. Cependant, il faut envisager les inconvénients de l'augmentation du nombre d'éléments.
On peut supposer qu'un courant de commande n'est pas créé par le circuit 13 de determination de la mise à la puissance maximale dans le domaine du régime permanent. En conséquence, la commande est exécutée afin que les courants totaux de commande du circuit de détection de tension, du circuit 12 de détection de courant et du circuit 14 de régulation de puissance à 'état de régime permanent puissent être nuls. Dans cet etat, la tension d'entrée et la tension de référence dans l'amplificateur d'erreur 10 sont bien équilibrées. Cependant, ' cette relation disparaît, par exemple, la tension d'entrée peut chuter, et la tension de sortie de l'amplificateur peut augmenter, si bien que l'alimentation augmente. Au contraire, la tension d'entrée peut augmenter et la tension de sortie de l'amplificateur peut chuter si bien que l'alimentation est réduite. La structure du circuit de commande selon 1 invention est maintenant décrite dans la suite qui considère à titre d'exemple la configuration du circuit suiveur de courant une configuration dans laquelle la somme des puis sances fournies à la lampe à décharge du faisceau principal et à lampe à décharge du faisceau de croisement est réglée à l'aide du signal de sortie d'un amplificateur d'erreur et ( ) une configuration dans laquelle les puissances fournies à la lampe à décharge du faisceau principal et à la lampe à décharge du faisceau de croisement sont réglées d'après les signaux de sortie d'amplificateurs d'erreur (deux amplificateurs) en .fonction du réglage de puissance de chaque lampe à décharge.
La figure 8 représente un exemple de la structure de configuration du circuit (I) et diffère de la structure représentée sur la figure 7 de la manière suivante.
Le circuit 11 de détection de tension est remplacé par un circuit 11N de détection de tension destiné à detecter la somme valeurs des tensions appliquées aux deux lampes à décharge Le circuit 12 de détection de courant est remplacé par un circuit 12N de détection de courant destiné à détecter la somme valeurs des courants circulant vers les deux lampes à décharge.
Le réglage de puissance est réalisé par un circuit 13N de détermination de la mise à la puissance maximale et une section 14N de régulation de puissance de régime permanent pour la somme des puissances transmises aux deux lampes à décharge lorsque les deux lampes à décharge sont en fonc tionnement.
Un circuit 15 de régulation de puissance destiné à réguler la puissance totale d'après un signal représentant l'éclairage de la lampe à décharge du faisceau principal (qui comprend un signal d'indication d'éclairage pour la lampe à décharge et un signal représentant le fait que la lampe à décharge est en fonctionnement et qui est appelé dans la suite signal SR), et un signal représentant l'éclairage de la lampe à décharge du faisceau de croisement (qui comprend un signal d'indication d'éclairage de la lampe à décharge et un signal représentant le fait que la lampe à décharge est en fonctionnement et qui est appelé dans la suite signal SL) est relié à la borne d'entrée du côté négatif de l'amplificateur d'erreur 10.
La figure 4 illustre le schéma de principe du système multi-experts de discrimination d'événements sismiques de l'invention.
La figure 5 illustre le schéma général d'apprentissage du système de l'invention à partir d'exemples.
La figure 6 illustre un neurone artificiel.
La figure 7 illustre un réseau de neurones artificiels.
La figure 8 illustre un classifieur neuroflou.
La figure 9 illustre un mécanisme d'activation de cellules de codage.
La figure 10 illustre des exemples d'activation des cellules de codage.
La figure 11 illustre un système expert flou pour la discrimination d'événements sismiques.
Les figures 12A à 12D illustrent des prétraitements successifs appliqués à un signal sismique.
La figure 13 est une architecture d'un réseau de neurones à connexions locales et poids partagés.
La figure 14 illustre la représentation des épicentres des événements sismiques de 1962 à 1996.
EXPOSE DETAILLE DE MODES DE REALISATION Description générale du système Le système de l'invention comporte au moins une branche de traitement contenant un système expert flou. Lorsqu'il comprend plusieurs branches de traitements indépendantes, on parle de système multiexperts.
* Prise de décision multi-experts Le principe de la prise de décision multiexperts, qui est donc l'un des modes de réalisation de l'invention, est l'exploitation de la synergie entre plusieurs branches de traitement complémentaires. Cette complémentarité réside dans : A. Les performances générales : une branche est plutôt généraliste (performances assez bonnes dans la plupart des cas), une autre est plutôt spécialiste (très bonnes performances sur certains cas difficiles, taux d'erreurs plus élevé sur les cas ne relevant pas de sa compétence).
B. Les performances selon le cas traité : une branche peut être plus apte qu'une autre à traiter tel cas particulier.
C. La nature des entrées (signaux ou données de haut niveau).
D. La nature des sorties (simple donnée de la classe, estimation de la certitude de la décision, explication formelle de la décision).
La figure 4 représente un exemple d'une telle commande dans lequel la variation au cours du temps des puissances fournies P1 et P2 est indiquée. Les abscisses désignent le temps t et les ordonnées la puissance P fournie à la lampe à décharge.
Dans cet exemple, P1 désigne la puissance transmise à la lampe à décharge du faisceau principal et P2 la puissance fournie à la lampe à décharge du faisceau de croisement. Au temps t = t1, la puissance P1 a une valeur maximale Plm. Au temps t = t2 (> t1), la puissance P2 a une valeur maximale P2m.
La valeur P1 de la puissance transmise à l'une des lampes à décharge augmente au temps t = 0, atteint la valeur maximale P1m supérieure à la valeur PlR au temps t = t1, puis diminue progressivement pour se rapprocher de la valeur de régime permanent. La valeur P2 de la puissance fournie à l'autre lampe à décharge augmente à partir du temps t = 0, atteint une valeur maximale de la puissance P2m supérieure à P2R au temps t = t2 avec un décalage au cours du temps et par rapport au temps t1 du maximum de la puissance P1, puis diminue progressivement pour se rapprocher d'une valeur de régime permanent.