INPI-France/Brevets-Francais-2024-Chunked huggingface dataset:
' vitesses de débattement vertical Xj par un filtre passe-bande pour laisser passer celles des battements des roues qui permettent d'obtenir un indice de battement Df. On obtient ensuite les grandeurs de modification ACgf et ACaf pour modifier par addition Cg et Ca, pour s'opposer à l'amplitude de Df, en correspondance avec les cartes telles que représentées sur les figures 13A et 13B, de telle façon que les amortisseurs virtuels latéraux et angulaires 122 et 124 soient durcis en correspondance à l'augmentation de l'indice de battement Df. Les performances générales de ACgf et ACaf par rapport à Df apparaîtront à partir des cartes.
Les modifications par ACgf et ACas pour s'opposer au balancement de la caisse du véhicule, de ACgr et ACar pour s'opposer au cliquètement ou aux oscillations de relaxation de la caisse de véhicule et de ACgf et ACaf pour s'opposer au battement des roues, peuvent être réalisées, à titre de principe individuel, de telle façon que ces grandeurs de modification soient ajoutées à chacune des valeurs correspondantes Cg et Ca obtenues à la base à partir des cartes des figures 8A et 8B. Cependant, lorsque les grandeurs de modification pour s'opposer au balancement ou au débattement vertical de la caisse du véhicule, au cliquètement ou aux oscillations de relaxation de la caisse du véhicule et au battement des roues sont appliquées en même temps, entre ces grandeurs il peut se produire des interférences qui annulent les effets des grandeurs de modification respectives. Cependant, il paraît préférable que ces grandeurs de modification soient traitées en relation les unes avec les autres avant d'être ajoutées respectivement à Cg et Ca, de telle façon que la sélection la plus grande des groupes considérés dans leur ensemble ACgs et ACas et ACgf et ACaf, soit choisie tandis que le plus grand considéré comme un ensemble du jeu ainsi sélectionné et d'un jeu de ACgr et ACar considérés quant à leur valeur absolue, soit sélectionné pour la réalisation de la modification. La comparaison de deux de ces jeux de modification considéré comme un tout, peut être réalisée par exemple en comparant la valeur absolue du plus grand de chacun des jeux, de telle façon que le jeu à sélectionner comprenne le gagnant. La première sélection consiste à mettre la priorité soit sur la modification pour s'opposer au balancement ou débattement vertical de la caisse du véhicule, soit sur la modification pour s'opposer au battement des roues, sans sacrifier beaucoup l'autre, du fait que les performances des deux grandeurs de modification sont plutôt similaires. Par ailleurs, la deuxième sélection consiste à appliquer une priorité sur l'une des modifications pour s'opposer soit au balancement ou au débattement vertical de la caisse du véhicule, soit au battement des roues, et à la modification pour s'opposer au cliquètement ou aux oscillations de relaxation de la caisse du véhicule, en sacrifiant sensiblement l'autre, car les performances des deux grandeurs de modification sont plutôt opposées.
Les coefficients d'amortissement Cg et Ca peuvent en outre être modifiés en correspondance à une modification de la charge supportée par le véhicule. A cet effet, on peut préparer des cartes telles que celles qui sont représentées sur les figures 14A et 14B. Selon les cartes des figures 14A et 14B, on peut faire varier les grandeurs de modification ACg et #Cgm pour modifier par addition Cg et Ca, en fonction de la masse totale M comprenant la caisse du véhicule et la charge appliquée au véhicule, de façon à obtenir une augmentation sensiblement proportionnelle à l'augmentation de la masse totale M à partir de la masse standard Mo qui est déterminée pour être considérée comme une masse standard. L'amplitude de M sera disponible à partir de Xj (j = ain, out, bin et bout). Les performances générales de #Cgm et ACam par rapport à M apparaîtront à partir des cartes.
Les coefficients d'amortissement Cg et Ca peuvent en outre être modifiés en correspondance à une variation de la vitesse de débattement vertical de la caisse du véhicule. A cet effet, on obtient les vitesses de débattement vertical Xj (j = ain, aout, bin et bout) en différenciant les débattements verticaux Xj (j = ain, aout, bin et bout) " ou en intégrant les accélérations verticales de Xj(j = ain, aout, bin et bout) sur une base temporelle, de façon à obtenir la vitesse de débattement vertical Vh, de la caisse du véhicule, sous la forme de la valeur moyenne de Xain, Xaout, Xbin et Xbout).
Ensuite, en se référant aux cartes telles que représentées sur les figures 15A et 15B, on obtient les facteurs de modification Kgh et Kah pour constituer les facteurs à multiplier respectivement par Cg et Ca, pour faire apparaître la variation des performances d'amortissement des amortisseurs latéraux et angulaires virtuels 122 et 124, en fonction de la vitesse du déplacement d'amortissement, comme représenté par les courbes des figures 15A et 15B, respectivement. Les performances générales de Kgh et Kah par rapport à Vh apparaîtront à partir des cartes.
On peut modifier la distance L pour s'opposer à un état de glissement ou de patinage latéral du véhicule, faisant apparaître une tendance survireuse ou sousvireuse. A cet effet, on calcule un taux ou une vitesse standard (ou théorique) de lacet yt à partir de l'angle de braquage # mesuré par le capteur 34 d'angle de braquage et de la vitesse V du véhicule mesurée par le capteur 32 de vitesse de véhicule, comme suit : [gamma]t = V #/1 + [alpha]V2) H [gamma] t # [gamma]t/1 +Ts) dans lequel, H est l'empattement du véhicule, a est un facteur de stabilité approprié tandis que T et s sont respectivement une constante de temps et la variable composite dans la transformation de Laplace. L'angle de braquage # et le taux ou la vitesse de
lacet y t sont considérés comme positifs lorsque le véhicule effectue un virage vers la gauche, tandis qu'ils sont considérés comme négatifs lorsque le véhicule effectue un virage vers la droite.
On associe à chaque instruction du "byte code" une ou plusieurs règles sémantiques. Le "byte code" est un code assembleur portable. C'est le code objet pour les machines virtuelles "Java" ou "Java Card" Par exemple, la règle sémantique associée à l'une des instructions de ce code, l'instruction "getfield" peut se décrire ainsi: f~ref:= constant~pool (c)(/) #c~ref, iv) : h(#) v iv(f~ref) (getfield i; bc, r :: ops, I, c, h> # (bc, v:: ops, 1, c, h) (9)
Dans l'exemple, l'état se compose du code exécuté avec l'instruction courante en tête (getfield i; bc), d'une pile d'opérandes (r :: ops) , des variables locales (1), d'une référence à la classe courante (c) et du tas (h) La règle spécifie les opérations effectuées lors de l'exécution de getfield i - La fonction auxiliaire "constant~pool" utilise l'index / pour obtenir la référence f ref du champ (une signature ou un "token", selon qu'il s'agit du code source ou transformé) dans le "constant pool" approprié La référence r à l'objet dont le champ doit être lu est trouvée en sommet de pile. Cette référence permet de trouver dans le tas (h(r)) la classe dynamique de l'objet c~ref (un nom qualifié ou une paire de tokens selon qu'il s'agit du code source ou transformé) et la liste des champs de l'objet (iv) - En utilisant la référence précédemment calculée et la liste des champs, le champ est lu (v iv(f~ref).
- L'instruction getfield change l'état en replaçant la référence à l'objet par la valeur du champ et l'exécution se poursuit avec la suite du code (bc) La deuxième étape consiste en la définition des types Dans le cas du langage "Java Card", on définit le type Word pour représenter l'unité de stockage : Word = Object~ref + Null + Boolean + Byte + Short (10), Comme exemple de type construit, le type d'un constant pool est Constant~pool = CP~index #CP~inf o (11), avec : CP~info = Class~ref + Method~ref + Field~ref (12)
Dans l'exemple, un "constant pool" est vu comme une fonction prenant un index (le type CP~index est considéré comme basique) et rendant une entrée (ici une référence à une classe, une méthode ou un champ) Le type du "byte code" est : Bytecode = Instruction + Bytecode, Bytecode Instruction = getfieldCP~index + Invokevirtual Cpjndex +... (13).
Le "byte code" est une séquence d'instructions Le type Instruction énumère toutes les instructions utilisées dans le "byte code" de "Java Card".
La troisième étape consiste en l'interprétation des types Dans le cas de "Java Card", l'interprétation pour le code source, sous la forme de fichiers de classe (qui utilise des noms), est notée [TIname et l'interprétation pour le code transformé sous la forme de fichiers CAP (qui utilise des "tokens") est notée 0 A titre d'exemple, le type [Cp ~index llname est vérifié pour le code source : [[CP jndexllname= Class~name x Index (14) Dans le modèle à base de noms, un index de "constant pool" est constitué d'un nom de classe (pour indiquer le "constant pool" auquel on fait référence) et d'un index.
Le type [CP jndex lltok est vérifié pour le code transformé [CP jndex ROk = Package~token x Index (15).
Un index de "constant pool" est constitué d'un "token" de "package" (dans l'exemple décrit, il existe un "constant pool" unique par "package" ou fichier CAP) et d'un index.
La relation RCP~index est définie comme une bijection telle que (16) (c~name,i) RCP~index (p tok, i'# # pack~name(c~name) Rpackage~ref p~tok Le nom du "package" de la classe contenant le "constant pool" auquel il est fait référence dans le modèle à base de noms doit être en relation avec le "token" du "package" contenant le "constant pool" auquel il est fait référence dans le modèle à base de "tokens". La seule contrainte sur les index i et i' est que Rcp~index doit être une bijection (les entrées des "constant pools" peuvent donc être regroupées et réordonnées) La quatrième étape consiste en l'interprétation des fonctions auxiliaires Par exemple, la version de la fonction auxiliaire "constant~pool" pour le modèle à base de noms est.
[constantyoolllname = cp~name (17), avec cp~name c = let ( .., cp, . ) = env~name(pack~name(c))(c) (18) in cp La fonction pack~name prend un nom de classe et rend un nom de "package" et la fonction env~name prend un nom de package et un nom de classe et trouve dans la hiérarchie de classes la structure représentant le fichier de classe désigné. Le constant pool est extrait du fichier de classe.
Pour le modèle à base de "tokens", la version de la fonction auxiliaire [constant.yool]lok est : [constantyoO#tok = cp~tok (19), avec
cp~tok c = let ( .., cp, . ) = env~tok(p) (20) in cp Le "constant pool" est trouvé dans l'environnent (c'est-à-dire les fichiers CAP) à l'aide de la fonction env~tok et du token de package.
La cinquième étape consiste à prouver que les fonctions auxiliaires respectent des relations logiques Si on se reporte de nouveau à l'exemple de la fonction d'accès au "constant pool", il est nécessaire de déterminer que : [constant yoolllname Rcp~index -r CP-info [constant yoollliok (21 ) La relation Rcp~index -> cpjnfo est complètement définie en fonction des relations PCP~index et RCP~info En se servant de cette définition, on montre qu'il suffit de vérifier que #(c~name, i)(p~tok, i'# tels que (c~name, i) RCP~index (p~tok, i'# cp(i) RCP~info cp'(i') (22), avec : (..., cp, ...) = env~name(pack~name(c~name))(c~name) (..., cp', ...) = envjok(pjok) (23) La preuve se fonde sur la définition de RCP~info et la propriété rappelée ci-dessus : (24) (c~name, i) Rcp~index #p~tok, i'# # pack~name(c~name) Rpackage~ref p~tok La sixième et dernière étape du procédé consiste à déterminer un transformateur tel que la transformation du code et des données par ce con-
vertisseur respecte des relations logiques déterminées. Par exemple, les références à des "packages" sont, soit des noms, soit des "tokens" suivant le modèle. La relation logique associée Rpackage~ref est définie simplement comme une bijection entre les noms de "package" et les "tokens" de "package" Il suffit de vérifier que la fonction du convertisseur réalisant la transformation des noms de package en "tokens" est effectivement une bijection.
A la lecture de ce qui précède, on constate aisément que l'invention atteint bien les buts qu'elle s'est fixés Il doit être clair cependant que l'invention n'est pas limitée aux seuls exemples de réalisations explicitement décrits, notamment en relation avec les figures 2 et 3 Enfin, bien que le procédé ait été décrit de façon détaillée dans le cas de la transformation d'un programme de la machine virtuelle du langage "Java" en un programme de la machine virtuelle du langage "Java Card", particulièrement intéressant pour les applications de type carte à puce ou similaire, l'invention n'est en aucun cas limité à cette application particulière.
L'invention peut trouver application à chaque fois que le dispositif impliqué ne dispose que de ressources informatiques relativement limitées, notamment en ce qui concerne la capacité mémoire (vive ou fixe) et/ou la puissance de calcul du processeur utilisé On peut citer à titre d'exemple des livres électroniques, par exemple du type dit "e-book", destinés à télécharger et stocker des données en provenance de sites Internet, des calculateurs de poche, par exemple du type dit "organiser", certains téléphones mobiles pouvant être connectés au réseau Internet, etc Dans tous ces cas, il est nécessaire de disposer d'un langage optimisé pour utiliser au mieux les ressources informatiques intégrées.
Le moteur fonctionnant en courant continu M, comme on le sait bien, est constitué d'un induit 12, d'une culasse 13 recouvrant la périphérie de l'induit 12, d'un pôle magnétique fixe 13a formé à l'intérieur de la culasse 13, d'un commutateur 14, de balais 15 et d'un arbre 16. L'induit 12 est produit par enroulement d'une bobine d'induit autour d'un noyau d'induit, et le côté avant de l'arbre 16 pénètre dans l'espace cylindrique du commutateur 14 et est relié à un mécanisme réducteur 18.
La bobine d'induit est reliée au commutateur 14. Le moteur fonctionnant en courant continu M comprend des machines bipolaires, des machines tetrapolaires et des machines hexapolaires correspondant au nombre de pôles magnétiques. Si on prend comme exemple un moteur fonctionnant en courant continu d'une machine hexapolaire, six pôles magnétiques fixes 13a, les pôles N et les pâles S étant disposés en alternance, sont formés en tout, et les balais 15, qui sont en contact avec le commutateur 14, sont disposés en alternance le long de la périphérie du commutateur 14.
La référence numérique l5a représente un ressort destiné à pousser le balai 15 contre le commutateur 14, et la référence numérique l5h représente un porte- balais.
on utilise le moteur fonctionnant en courant continu M susmentionné pour entraîner l'arbre de sortie 1 . La section opérationnelle Y comprend le mécanisme réducteur 18, l'arbre de sortie 1, l'interrupteur électromagnétique 2, l'embrayage à roue libre 3, et le piston 4.
La référence numérique 17 représente un élément à couronne interne, qui comprend une première section cylindrique l7a emboîtée sur la périphérie extérieure de l'arbre de sortie 1 via un palier ly, une section formant plaque inférieure creuse en forme de disque 17b s'étendant depuis la première section cylindrique l7a selon une direction perpendiculaire à la périphérie extérieure de l'arbre de sortie 1, et une seconde section cylindrique 17c qui s'étend vers l'arrière depuis le bord périphérique extérieur de la section formant plaque inférieure 17b, et comporte une couronne dentée interne 18c dans sa périphérie intérieure.
Le mécanisme réducteur 18 est constitué de la couronne interne 18c de l'élément à couronne interne 17, d'une roue solaire l8a disposée sur l'arbre 16, de plusieurs roues planétaires l8b qui sont disposées autour de la roue solaire l8a et en prise avec celle-ci et la couronne interne 18c, et d'un axe 1P qui fait saillie d'une section formant collerette 1F de l'arbre de sortie 1 insérée entre le groupe de roues planétaires l8b et la section formant plaque inférieure l7b de l'élément à couronne interne 17, et qui relie chaque roue planétaire 18b à la section formant collerette 1F de l'arbre de sortie 1. Le couple de chaque roue planétaire 18b est transféré à chacun des axes 1P via le palier lz. Accessoirement, une gorge circulaire lh est formée au centre de la section formant collerette 1F de l'arbre de sortie 1, et l'extrémité avant de l'arbre 16 est supportée de façon mobile par un palier lx situé dans la gorge circulaire lh.
En conséquence, comme le représente la vue en coupe de la figure 5, chaque roue planétaire l8b tourne autour de la roue solaire l8a, ce par quoi le couple de l'arbre 16 est décéléré et transféré à l'arbre de sortie 1 via les axes 1P.
En outre, une cannelure hélicoïdale la est formée sur la périphérie extérieure d'une partie du côté central de l'arbre de sortie 1. L'embrayage à roue libre 3 est disposé sur la périphérie extérieure de la partie où la cannelure hélicoïdale la est formée, de sorte que la section cylindrique 3a de la clavette de poussée 3A correspond à la cannelure hélicoïdale la. Une cannelure hélicoïdale 3x, en prise avec la cannelure hélicoïdale la, est formée sur la surface interne de la section cylindrique 3a de la clavette de poussée 3A. L'embrayage à roue libre 3 est donc relié par l'intermédiaire de cannelures à l'arbre de sortie 1.
L'interrupteur électromagnétique 2 est disposé du côté de la périphérie extérieure de la section cylindrique 3a de la clavette de poussée 3A.
Le piston 4 est disposé sur la périphérie extérieure du côté de la section formant collerette 1F de l'arbre de sortie 1.
L'embrayage à roue libre 3 comprend la clavette de poussée 3A constituée de la partie cylindrique 3a dont la surface interne comprend la cannelure hélicoïdale 3x destinée à entrer en prise avec la cannelure hélicoïdale la formée sur la périphérie extérieure d'une partie du côté central dudit arbre de sortie 1, et de la section formant collerette 3b qui est disposée à l'avant de la partie cylindrique 3a et est le bas de came d'une came à galets mentionnée plus tard ; une came à galets 3c prise en sandwich entre la partie formant collerette 3b de cette clavette de poussée 3A et une rondelle 3e ; un pignon 3P ; un embrayage interne 3y composé d'une section cylindrique à la base du pignon 3P ; un galet d'embrayage 3r et un ressort 3s qui sont disposés tous les deux dans une gorge 3t formée dans la came à galets 3c ; et un couvercle d'embrayage 3w recouvrant l'extérieur de la partie formant collerette 3b de la clavette de poussée 3A, la came à galets 3c et la rondelle 3e.
La clavette de poussée 3A et la came à galets 3c forment une section formant embrayage externe 3B. L'embrayage à roue libre 3 fonctionne comme ce que l'on appelle un embrayage à roue libre. La figure 6 représente une vue en coupe de l'embrayage à roue libre 3. Des gorges 3t, qui forment un espace étroit et un espace large entre la périphérie intérieure de la came à galets 3c et la périphérie extérieure de la section f ormant embrayage interne 3y, sont formées. Le galet d'embrayage 3r est disposé dans chaque gorge 3t. Un ressort 3s presse de façon forcée le galet d'embrayage 3r en direction de l'espace étroit de la gorge 3t.
Lorsque l'arbre de sortie 1 est entraîné par le moteur fonctionnant en courant continu M, la came à galets 3c est mise en rotation, le galet d'embrayage 3r se déplace donc vers l'espace étroit de la gorge 3t, et la came à galets 3c de la section formant embrayage externe 3B s'accouple avec la section formant embrayage interne 3y, ce par quoi le pignon 3P tourne pour entrer en prise avec une couronne 50. Une fois que le pignon 3P a fait une révolution avec la couronne 50, le galet d'embrayage 3r se déplace vers l'espace large de la gorge 3t, de façon à déconnecter la section formant embrayage externe 3B de la section formant embrayage interne 3y, ce qui sépare l'embrayage à roue libre 3 du moteur. L'interrupteur électromagnétique 2 est constitué de la bobine d'excitation 2a, d'un boîtier d'interrupteur 2b recouvrant la bobine d'excitation 2a, et du noyau 2c, et est disposé à une position plus proche du côté arrière que l'embrayage à roue libre 3B. Le noyau 2c comporte un plan creux en forme de disque faisant face à la section formant collerette 3b de la clavette de poussée 3A, comprend un corps circulaire disposé de façon à pénétrer dans la périphérie extérieure de la section cylindrique 3a de la clavette de poussée 3A, et comporte une section saillante circulaire 2t s'étendant vers l'arrière du côté de la section cylindrique 3a de la clavette de poussée 3A.
Le piston 4 comprend un corps cylindrique disposé de façon mobile en direction du noyau d'excitation 2c le long de la périphérie intérieure du boîtier d'interrupteur 2b. L'extrémité 4t faisant face à la section saillante circulaire 2t du noyau 2c a une forme correspondant à celle de la section saillante circulaire 2t.
Le mode de réalisation 1 a la structure suivante pour réduire le flux magnétique qui fuit du piston 4 à l'arbre de sortie 1. Spécifiquement, dans la situation où le piston 4 n'est pas excité par la bobine d'excitation 2a, l'embrayage à roue libre 3 est disposé de sorte qu'une extrémité 3f (de la section cylindrique 3a) de la clavette de poussée 3A est positionnée de façon à maintenir un intervalle prescrit (g2) depuis l'extrémité 4t du piston 4 faisant face au noyau d'excitation 2c.
La périphérie extérieure de l'arbre de sortie 1, qui correspond à l'intervalle prescrit g2, est recouverte par un corps cylindrique 5 composé d'un matériau non magnétique ou d'un matériau moins perméable.
les critères généralement pris en compte dans l'établissement d'un traitement adapté à un patient comme par exemple l'àge ou le poids corporel du patient, la gravité de son état général, la tolérance au traitement et les effets secondaires constatés, etc.
Selon un mode préféré de réalisation, le composé selon l'invention est utilisé à titre de médicament destiné à la prévention et/ou au traitement du cancer. Le composé selon l'invention est utilisé pour la préparation d'un médicament destiné à moduler, à augmenter ou à diminuer la prolifération cellulaire.
L'invention porte également sur une composition pharmaceutique pour le traitement préventif et curatif du cancer caractérisée en ce qu'elle contient une quantité thérapeutiquement efficace d'un composé selon l'invention et un véhicule pharmaceutiquement acceptable. Selon un mode préféré de réalisation, la composition pharmaceutique est caractérisée en ce qu'elle contient un anticorps selon l'invention en tant qu'agent de ciblage conjugué à au moins un agent sélectionné parmi le groupe des agents antiprolifératifs, antinéoplastiques ou cytotoxiques.
Ces agents sont des radioisotopes ou des entités non isotopiques. La conjugaison de l'anticorps de la présente invention à un agent antiprolifératif, antinéoplastique ou cytotoxique peut être utilisé pour arrêter le développement des cancers et pour induire une régression et/ou une élimination de la masse tumorale. De préférence, l'anticorps ou le fragment d'anticorps ainsi conjugué est introduit dans le patient atteint de cancer et délivré aux sites tumoraux par voie orale ou parentérale dans un liquide transporteur pharmaceutiquement acceptable tel qu'une solution de sel physiologique. Alternativement, une solution ou une suspension d'anticorps ou de fragment d'anticorps conjugué à un agent peut être perfusée directement dans le tissu épithélial malin, cette méthode étant utilisée de préférence dans le cas où le cancer n'est pas métastasé.
Les radioisotopes préférés conjugués aux anticorps monoclonaux employés pour la thérapie sont des radioisotopes émetteurs de rayons gamma et de préférence l'Iode131, l'Yttrium90, l'Or199, le Palladium 1 , le
Cuivre67, le Bismuth217 et l'Antimoine211. Les radioisotopes émetteurs de rayons beta et alpha peuvent également être utilisés pour la thérapie.
Les entités non isotopiques conjuguées aux anticorps monoclonaux employés pour la thérapie sont multiples et variés ; peut citer : les antimétabolites telles les agents anti-folate, le méthotrexate, (ii) les analogues des purines et des pyrimidines (mercaptopurine, fluorouracile, 5-azacytidine), (iii) les antibiotiques, (iv) les lectines (ricine, abrine) et (iv) les toxines bactériennes (toxine diphtérique).