INPI-France/Brevets-Francais-2024-Chunked huggingface dataset:
REPRESENTATION DE L'ETAT ABSTRAIT Définition: règles rôles = références - [ ci,c2,vi.v2.d2.niv,disp} Définition : nom~cohérent n est nom~cohérent avec R si n e noms. R e rôles et C indicateur (n)=d1 ou indicateur(n)=R(information(n)) ) Définition : configuration~cohérente M est confIguratIon~cohérente avec R si M e configurations, R e roles et V r e références R(r)=cl ou R(r)=c2 gauche(M(r)) est nom~cohérent avec R et droite(M(r)) est nom~cohérent avec R et C R(r)=vl ou R(r)=v2 ) et statut(M(r))=indécis R(génîteur(M(r))) = niv et nature(M(géniteur(M(r)))) t mort iiaison(M(r)) est nom~cohérent avec R et R(r)=niv et nature(M(r))=coupé R(précêdent(M(r)))=niv et R(r)=niv et nature(M(r))=actif et niveaU(M(r))rO R(précédent(M(r))) = niv et i ru e références ru est s~ultime de précédent (M(r)) dans M et n1 (M(ru)) est nom~cohérent avec R et n2(M(ru)) est nom~cohérent avec R et n3(M(ru)) est nom~cohérent avec R Définition: représentation M,R,g est représentation de D,S Si M e configurations R e roles g e références De e désignations S e sauvegardes et M est configuration~cohérente avec R et # n e noms C D(n)## = > n est nom~cohérent avec R ) et M est d~représentation de D et R(g)=niv et nature et V r s références R(r)=niv et nature(M(r))#mort # S s sentiers - références) i i e entiers S(O)=g etvj e entiers C j S(j+1)=précédent(M(S(j))) ) et S(i)=r et i SC s scorrespondances M est sreprésentation de SC et SC(g)=S et M,niveau(M(g)) est t-représentation de D Commentaire: Un élément des rôles est un statut d'allocation de la mémoire des cellules.
La marque disp qualifie les cellule disponibles, Les autres marques qualifient les cellules occupées et indiquent le rôle qu'elles jouent.
Un nom qui cite une cellule est nom,coh8rent si cette cellule est occupée et si son rôle est en accord avec ce nom.
Un état de mémoire est qualifié de configuratIon~cohérente si toutes les références rencontrées dans les cellules occupées sont des références de cellules occupées et dont le rôle est en accord avec le role induit par l'endroit qui fait référence.
La relation représentation relie l'état concret constitué de l'état de la mémoire des cellules et du registre géniteur~courant. un état d'allocation et l'état abstralt constitué de la désignation D et de la sauvegarde S. L'état d'allocation concret résulte du mécanisme d'allocation et de récupération de mémoire et dépend de l'état de ses mémoires propres: il est figuré ici par un role P.
La mémoire est internement cohérente. Les noms confiés à l'utilisateur au titre de la désignation D sont cohérents. li n'y a qu'une seule sauvegarde S, et ses sous~sauvegardes, dans le système et tous les géniteurs actifs ou coupés participent à sa représentatIon: tous ces géniteurs sont accessibles par la chaine de références issue du registre géniteurcourant.
De plus. la désignation D. qui est en relation de d,repr8sentation avec l'état de la mémoire, est également en relation de t~representation avec le champ niveau du géniteur courant. En effet, la référence du géniteur courant est systématiquement inscrite dans le champ géniteur des variables lors de l'exécution des commandes substituer. Ainsi la représentation d'un terme quelconque accessible par la désignation D est déjà sous une forme prête à être sauvegardée.
- ANNEXE 3 LES MECANISMES DU PROCESSUS D'EXECUTION mécanisme recherche~représentant( nn nom ) nom nn - n boucle tantque n.indicateur ç (vl.v2J I m 1 état~liaison [n.information] # e1 si el.statut = indécis alors état~géniteur [n.information] # eg si el.statut = libre alors sortie I Si eg.nature = mort alors sortie I m I I liaison [n.information] # n I Si n.indicateur = niv alors I I I recherche~gén renrésentant(n.information) - n.Information) n e résultat Si nn fait référence à une variable lIée, la valeur de liaison est inspectée.
jusqu'à rencontre d'autre chose qu'une variable liée. De plus. si le nom alors obtenu est celui d'un niveau le géniteur actif représentant du géniteur cité par ce nom est recherché. C'est le nom finalement obtenu qu'on appelle représentant de SI la mémoire est internement cohérente et sl le nom nn est cohérent. le mécanisme se termine et ie résultat est ultime de nn.
mécanisme recherche~gén~représentant (g : référence) : référence g 2 g1 m étant~géniteur[g1] -étatgén boucle tantque étatgén nature = coupe 1 m précédent[g1] # g1 1 m état~géniteur [g1] # étagén g1 # résultat Etant donné une référence à un géniteur. ce mécanisme rend la référence du premier géniteur actif dans la chaine commençant à ce géniteur, et de même niveau que lui.
Une cellule de référence, r considérée sous le format aieurd2 contient un élément d des données2. Un nom de la forme J'2:r est un nom direct de d.
Une cellule de référence r considérée sous le format géniteur~actif contient dans son champ niveau un élément i des niveaux Un nom de la forme niv.r est un nom direct de s.
La représentation d'un élément d des données1, ne nécessite aucune cellule.
Un nom de la forme d1:d est un nom direct de d.
On remarquere que, à l'exception des noms directs des données1, tous les noms sont de la forme m:r, où r est la référence d'une cellule et m est une marque qui indique le type de cette cellule. c'est 3 dire sous quel format elle doit être considérée. La méthode choisie consiste donc à noter le type d'une cellule à chaque occurence de sa référence, plutot que de la noter sur la cellule eile-meme. Bien que cette méthode soit légèrement plus coûteuse en taille de mémoire. elle a pour avantages que les données i n'occupent aucune cellule et que le test de la nature du terme désigné par un nom est plus rapide. Ce dernier critère est prépondérant dans les applications visées.
En plus des noms directs précédemment énumérés, un nom peut a un moment donné désigner indirectement un terme.
Un premier cas concerne les noms de la forme v1:r ou v2:r où r est la référence d'une variable liée. Un tel nom. qualifié de ci~variable~liée dans la configuration de mémoire considérée. peut être le départ d'une chaine de noms de longueur finie. le champ liaison de la varlable liée citée par un nom étant le nom suivant de la chaine. Le dernier nom de la chaine ne cite pas une variable liée et tous les noms de la chaine désignent le même terme que lui.
Un autre cas de noms indirects concerne les noms de la forme niv:r où r est la référence d'un géniteur coupé. Un tel nom cite une strate autrefois sauvegardée qui a été détruite par une commande couper. La chai ne de références issue du champ précédent de ce géniteur coupé se termine par la référence d'un géniteur sotif qui représente l'élément des niveaux actuellement désigné par ce nom.
Ce mécanisme de désignation indirecte est décrit par la relation d~ultime qui associe à un nom un nom direct désignant le même terme.
Tous les noms qui participent internement à la représentations des termes ne sont pas nécessairement du domaine connu de l'utilisateur. Le domaine de définition de la désignation D comporte essentiellement des noms directs. plus éventuellement une collection de noms indirects qui dépend de l'historique des commandes. Après une commande réduire. ou une commande reprendre, la désignation D offerte à l'utilisateur ne comporte que des noms directs. Ce sont les trois noms rendus en résultat par la commande, ainsi que les noms directs des représentations des sous-termes accessibles par ces trois noms. Cette restriction de la désignation, invisible à s'utilisateur, se manifeste lors de l'exécution des commandes d'accès aux termes accéderauche et accéder~droite, qui ne rendent en résultat que des noms directs.Par contre, entre deux exécutions de réduire. c'est à dire pendant que l'utilisateur est en phase d'élaboration de résultats intermédiaires. la désignation D peut comporter temporairement des noms indirects: ce sont les noms qui citent des variables récemment créées puis liées par une commande substituer, ou des strates récemment sauvegardées puis détruites par une commande couper. Pendant ces phases l'utilisateur peut en effet conserver de tels noms pour accéder aux termes.
Cette réduction de la désignation est en accord avec la spécification de la machine qui laisse en fait un choix encore plus vaste à la réalisation. Elle est importante pour le mécanisme de récupération de mémoire: l'invisibilité des géniteurs coupés permet leur récupération après avoir remplacé les occurences de leurs références par les références des géniteurs actifs équivalents; l'invisibilité des variablesw es permettrait de remplacer certaines occurences de leurs références. mais pas toutes à cause du partage avec la sauvegarde décrit au paragraphe suivant. par les noms directs équivalents. Ceci accélérerait les accès aux termes en supprimant la traversée de ces variables liées qui ont servi d'intermédiaires de construction et qui ne servent plus désormais. Ceci permettrait également de récupérer certaines de ces variables. Ce mécanisme n'est cependant pas réalisé dans la version de la machine présentée dans ce document La relation dreprésentation relie la composante D de l'état abstrait et l'état concret de la mémoire. Cette relation est encore indéterministe: pour un élément M des configurations. de nombreux éléments D des désignations la satisfont.
Le complément de détermination dépend en effet de l'historique des commandes et ne peut être pris en charge par une relation faisant intervenir seulement l'état de la mémoire des cellules.
La figure 9 est un exemple de d~représentation. On remarquera que plusieurs noms différents. bien que directs. peuvent désigner le même terme, par exemple D(c1:C1)=D)c1:C3) La représentation permet le partage classique des représentations de sous-termes,. par exemple la cellule C7 qui participe à la représentation des termes D(ci:C7), D(cl:C6), D(cl:C3) et D(cl:Cl). La cellule C9 est une variable liée. les cellules C5 et C8 sont des variables libres qui représentent deux éléments x et y des variablesl.
REPRESENTATION D'UNE SAUVEGARDE Définition: 1 variable liée n est t~variable~liée pour k dans M si n e noms k E niveaux M E configurations et indicateur(n)=v1 ou indicateur(n)=v2 et statut(M (Information(n)))=indUcis et nature(M(génieur(M(information(n)))) t mort et niveau(M(géniteur(M(intormation(n)))) Définition: t terminal n est ~terminal pour k dans M si n e noms k E niveaux M E conflguraticns et non( n est t~variable~ liée pour k dans M ) Définition:: t ultIme nu est t~ultime de n pour k dans M si nnu é noms k É niveaux M e configurations et # Sn e (entiers # noms) # i e entiers Sn(O)=n et # j e entiers j Sn(j) est t~variable~liée pour k dans M et Sn(1+1)=llaison(M(information(Sn(J)))) et Sn(i) est t~terminal pour k dans M et indicateur(Sn(i))#niv et nu=sn(i) ou indicateur(Sn(i))=niv et indicateur(nu)=niv et indormation(nu) est s~ultime de Jnformation(Sn(i)) dans M Définition:: t représentation M,k est t~représentation de D si M s configurations k e niveaux D e désignations et V n e noms D(n)## # # nu # noms nu est ultime de n pour k dans M et indicateur(nu)=c1 # # ng.nd # noms ng est t~ultime de gauche(M(information(nu))) pour k dans M et nd est t~ultime de droite(M(information(nu))) pour k dans M et D(n)=consl(D(ng).D(nd)) et indicateur(nu)=c2 # # ng.nd e noms ng est t~ultime de gauche(M(information(nu))) pour k dans M et nd est t~ultime de droite(M(informatîon(nu))) pour k dans M et D(n)=cons2(D(ng).D(nd)) et indicateur(nu)=v1 # D(n) e var1 etVnn.nnu E noms D(nn)=D(n) et nnu est l~ultime de nn pour k dans M nnu=nu et indicateur(nu)=v2 # D(n) e var2 et V nn,nnu e noms D(nn)=D(n) et nnu est t~ultime de nn pour k dans M # nnu=nu et indicateur(nu)=d1 = > D(n)=information(nu) et lndlcateur(nu)=d2 = > D(n)=valeur~ds(M(information(nu))) et indlcateur(nu)=niv = > D (n)=niveau(M (information(n u))) Définition:: ultime gu est s~ultime de g dans M si g,gu E références M e configurations et + Sr e (entiers - références) + i e entiers Sr(O)=n et V j E entiers j nature(M(Sr(j)))=coupé et niveau(M(Sr(J)))=niveau(M(gu)) et Sr(J+1)=précédent(M(Sr(j))) et gu=Sr(i) et nature(M(gu))=actif Définition : s~correspondances s~correspondances = références # (sauvegardesU(1)) Définition : s~représentation M est s~représentation de SC si M e configurations SC E 5~correspondances et V g e références SC(g) # 1 # # gu e références gu est ultime de g dans M et niveau (M (gu))=O # SC(g) = sauvegards~vide et niveau(M(gu))#O # # ggu e références # D e désignations gu est s~uitime de précédeni(Migy)) dans M et niveau(M(ggu)) = et M.niveau (M(ggu)) est t~représeniation de D et SC(g) = sauvei . SC(ggu)) Commentaire; La sauvegarde S esi une liste de triplets de termes.Une telle liste es1 représentée par des cellules au format géniteur~actif ou géniteur~coupé chainées par leurs champs précedent le premier géniteur de la chaine. appelé géniteur courant, est à tout moment repéré par le registre géniteur~courant.
Une cellule au format géniteur~coupé contient dans son champ précédent un revoi à un autre géniteur. Elle est le vestige d'une strate sauvegardés puis détruite par une commande couper. La chaine de références issue de son champ précédent est composée d'un nombre fini de références de géniteurs coupés et se termine par la référence d'un géniteur actif qui lui est équivalent Ce mécanisme de renvoi est décrit par ta relation s~ultime qui associe à une référence de géniteur la référence du géniteur actif équivalent Une cellule au format géniteur~actif dont le champ niveau contient o représente la sauvegarde~vide, Par comportement de la machine, cette cellule est unique dans la mémoire: elle ast créée m l'initiatisation.
Une cellule au format géniteur~actif dent le champ niveau contient / différent de o représente une sauvegarde de teille L Son champ précédent contient la référence d'un géniteur dont l'équivalent actif représente la sous-sauvegarde de taille i-I et contient dans ses champs sll, n2 et n3 des noms qui désignent les trois termes de tête de la sauvegarde de taille j.
SI la mémoire est cohérente et si g est la référence d'un géniteur non mort, le mécanisme se termine et le résultat est ultime de g.
mécanisme construire( ng.nd nom. mc :(cl,c2j ) nom allocation~celluie ~ref rnc.ref ^ résultat recherche~représentant(ng) ^ rg m rg # gauche [ ref ] recherche~représentant(nd) e rd m rd # droite [ref] Une cellule est allouée. Elle est considérée sous le format constructeur. Deux noms sont rangés dans les champs gauche et droite. qui sont les noms représentants respectifs de ng et nd. Le résultat consiste -en la marque de nature du constructeur et la référence de la cellule.Sur la figure il, le nom représentant de vl:Cl est c1:C2 parce que la varlabie en Ci est liée, son statut étant Indécis et le géniteur correspondant non mort.
Le rôle de la cellule référencée par ret passe de disp à ci ( ou c2. selon la marque mo ). La désignatIon D est augmentée du nom cl:ret ( ou c2:r.f ).
mécanisme créer~variable mv :(vi,v2) ) nom allocation~cellule ^ ref mv.ref | résultat m llbre,D - état~liaison[ref] Une cellule est allouée. Elle est considérée sous le format variable. Son champ statut est initialisé à libre. Le résultat comporte la marque de nature mv et la référence de la cellule. Ceci est illustré sur la figure 12.
Le rôle de la cellule référencée par ref passe de disp à vl ( ou v2, selon la marque mv ). La désignation D est augmentée du nom vi:ref ( Ou v2:ret ).
Cette cellule représente une nouvel élément des variables car elle n'est encore référencée depuis nullepart.
mécanisme substituer( nv,nt nom ) recherche~représentant(nv) ^ rv recherchereprésentant(nt) - rt m I indécis, géniteur~courant # état-liaison [rv. information] I rt # liaison [rv. information] Le nom représentant de nv cite une cellule qui. vue sous le format variable, est une variable libre. Cette variable subit une liaison, c'est-àdire que sont rangés dans ses champs statut géniteur et liaison respectivement la marque Indécis. la référence du géniteur courant et le nom représentant de nt. Sur la figure 13, le paramètre vi:Ci contient la référence d'une variable liée; son nom représentant cl:C2 est rangé comme valeur de liaison de la variable située en C4.
Le nom nv désigne, avant l'exécution de la commande, un élément v des variables. Le nom rw, ultime de nv, est un nom direct de v. Il cite donc la variable libre sur laquelle convergent toutes les représentations d'occurences de v. Par transformation de cette cellule en variable liée, toutes les occurences de v sont remplacées par des occurences du terme désigné par nt. Ce remplacement est effectif dans tous les termes accessibles par la désignation D.Cependant. le champ géniteur de la cellule contient la référence du géniteur courant dont le niveau est supérieur à tous les niveaux couramment sauvegardés, Les désignations propres à chaque niveau. en relation de t~représentation avec l'état de la mémoire. demeurent inchangées et le remplacement est donc Inaffectif dans les termes sauvegardés.
mécanisme créer~donnée1( d donnée ) nom dl,d - résultat La création d'une donnée i consiste simplement à adjoindre la marque de nature à l'information passée en paramètre. Les données ne consomment pas de ressource de mémoire.
mécanisme créer~donnée2 (d :donnée2) : nom allocation~celluie - ref d2.ref résultat m d # valeur~d2 [ref] Une cellule est allouée pour contenir la donnée. Le résultat comporte la référence de cette cellule. Ceci est Illustré sur la figure 14.
Le rôle de la cellule référencée par ret passe de disp à d2. La désignation D est augmentée du nom d2:ret.
mécanisme accéder~donnéel( nd nom ) données recherche~représentant(nd) # n n.information # résultat Le résultat est obtenu en retirant au nom représentant de nd sa marque de nature.
Le nom nd désigne un liement d des donnéesi. Le nom n, d~ultime de nd.
est un nom direct de d. Le nom n est donc de la forme d1:d et son champ Information rendu et résultat vaut d.
mécanisme accéder~donnée2 (nd :nom) :donnée2 recherche-représentant(nd) # n m valeur~d2 [n.information] # résultat Le contenu de la cellule référencée par le nom représentant de nd est rendu en résultat.
Le nom nd désigne un élément d des données2. Le nom n, d~ultime de nd, est un nom direct de d. Il cite donc une cellule au format valeur~d2 dont le contenu, rendu en résultat. vaut d.
Si, au contraire, il est souhaitable de créer des surépaisseurs en certains points, il est possible, comme montré à la figure 6, d'interposer localement une enveloppe secondaire (14) entre l'enveloppe extérieure (3) et l'enveloppe intérieure principale (2).
La figure 6 montre que le membre à immobiliser, dont l'os porte la référence (15) et les muscles la référence (16), se trouve centré automatiquement à l'intérieur de l'appareillage, lors du remplissage de l'enveloppe (2) en fluide.
La figure 7 montre un détail du dispositif de remplissage et de vidange de l'enveloppe intérieure (2). Sur la valve (10) est monté un robinet à trois voies (17) susceptible de mettre en communication la valve et, par suite, l'enveloppe (2), d'une part avec une cartouche (18) de remplissage en fluide ou de soutirage de celui-ci et, d'autre part, avec un ballonnet (19) susceptible de compenser les faibles variations de pression à l'intérieur de l'enveloppe (2).
Ce ballonnet (19) peut soit posséder une structure du type de celle des vases d'expansion avec une chambre en communication avec l'intérieur de l'enveloppe, séparée par une membrane élastique d'une chambre remplie d'air, soit plus simplement être constitué par une poche réalisée en un materiau déformable opposant une résistance élastique au remplissage par le fluide provenant de l'enveloppe.
D'un point de vue pratique, il est procédé au remplissage ou au soutirage de liquide lors de fortes variations de volume du membre immobilisé, tandis qu'en conditions normales, l'enveloppe intérieure est en communication avec le ballonnet, qui assure une compensation des variations de pression.
Un tel dispositif est susceptible de très nombreuses applications dont certaines sont représentées aux figures 8 à 11.
La figure 8 représente un dispositif (20) d'immobilisation simple d'une jambe.
La figure 9 représente un système (22) d'immobilisation articulée d'une jambe dans lequel l'appareillage comprend trois dispositifs (23, 24 et 25) reliés les uns aux autres par des liaisons articulées (26) et (27).
La figure 10 représente une minerve (28) obtenue conformément au dispositif selon l'invention..Cette minerve ne nécessite pas la réalisation d'un appareil sur mesures par un spécialiste, comportant deux parties, respectivement, supérieure (29) et inférieure (30) standards et adaptables à la morphologie du patient par modification du volume de l'enveloppe intérieure, les deux parties (29) et (30) étant reliées par des vérins à vis (32) permettant une adaptation parfaite à l'immobilisation à réaliser.
La figure l1 représente un appareil (33) thoraco-pelvien utilisable dans le cas de fractures du rachis ou de corrections de cypho-scoliose comprenant deux parties respectivement supérieure (34) et inférieure (35) standards et adaptables à la morphologie des patients grâce à l'enveloppe intérieure (2) et reliées l'une à l'autre par des vérins à vis (36).
De nombreuses autres applications sont envisageables nécessitant une immobilisation totale ou avec liberté des articulations.
C'est ainsi notamment que l'enveloppe extérieure rigide peut-être constituée par une prothèse destinée à être engagée sur un moignon de jambe ou de bras, ou sur un membre complet, qui est atrophié et qui nécessite un appareillage.
L'enveloppe intérieure assure une adaptation immédiate de la prothèse au patient, avec un bon confort pour celui-ci, sans avoir à recourir à des éléments moulés sur mesure, destinés à être interposés entre le membre, ou le moignon, et la prothèse.
Comme il ressort de ce qui précède, l'invention apporte une grande amélioration à la technique existante en fournissant les avantages suivants - solution du problème d'adaptation d'une partie corporelle de volume variable à un appareillage rigide - compensation permanente des variations de volume de la partie corporelle évitant la multiplication du nombre des appareils pour un même traitement - possibilité d'utilisation plus importante des appareils articulés jugés jusqu'alors très inconfortables à cause des frictions entre le membre et l'appareil, et insuffisants dans leur contention ;; une telle utilisation permet de supprimer ou de diminuer les temps de rééducation - possibilité d'utilisation plus fréquente pour les troubles trophiques ou vaso-moteurs, sans risque de stric tion, ni gêne de la mobilité - traitement mieux accepté par les patients du fait de l'amélioration du confort, de la possibilité pour lui de compenser les variations de volume du membre immobilisé sans nécessiter l'intervention d'un spécialiste - standardisation du système d'immobilisation abaissant le coût de l'appareillage, y compris compte tenu de la possibilité de récupération du fluide de l'enveloppe intérieure - confection rapide d'un seul appareil pour un sujet tout au long de la durée d'immobilisation - suppression presque totale des accidents dûs, avec les appareils connus, aux risques de compression, de striction ou d'escarres ; cette diminution des risques autorise la confection d'appareillages par des personnes moins qualifiées, ce qui est particulièrement intéressant dans les pays en développement.
Comme il va de soi, l'invention ne se limite pas à la seule forme d'exécution de ce dispositi#f , ni à ses seules applications décrites ci-dessus à titre d'exemple ; elle en embrasse, au contraire, toutes les variantes de réalisation et d'application.
-! - L'invention se rapporte à une affûteuse comprenant un ensemble de
Selon une variante de l'invention, le dispositif comprend en outre des moyens pour évacuer les poussières et copeaux produits pendant la coupe. Pour cela, on dispose une canalisation reliant des moyens de pompage et l'enceinte formée par le capot 4 et les lamelles, la canalisation pouvant déboucher sur le capot à travers une lumière/. L'aspiration et l'évacuation sont favorisées par les lamelles.
Il est possible de disposer le capot 4 sufisamment haut au-dessus de la table de coupe, par exemple à une hauteur de 40 à 50 centimètres, sans nuire aux fonctions de protection assurées par les lamelles. On permet ainsi le passage aisé du rayon laser matérialisant la ligne de coupe.