INPI-France/Brevets-Francais-2024-Chunked huggingface dataset:
Selon encore un autre mode de réalisation, les moyens de calcul calculent une grandeur de modification pour modifier par addition la valeur de base du deuxième coefficient d'amortissement virtuel de l'amortisseur angulaire virtuel en fonction de la masse, de telle façon que la grandeur de modification fonction de la masse soit généralement augmentée en fonction de l'augmentation de la masse.
Selon un autre mode de réalisation, les moyens de calcul calculent en outre un facteur de modification pour modifier proportionnellement la valeur de base du premier coefficient d'amortissement virtuel de l'amortisseur latéral virtuel, en fonction de la vitesse de battement vertical de la caisse du véhicule, de telle façon que le facteur de modification fonction de la vitesse de battement vertical soit généralement augmenté en fonction de la vitesse de battement vertical du véhicule.
Selon encore un autre mode de réalisation, les moyens de calcul calculent en outre un facteur de modification pour modifier proportionnellement la valeur de base du deuxième coefficient d'amortissement virtuel de l'amortisseur angulaire virtuel, en fonction de la vitesse de battement vertical de la caisse du véhicule, de telle façon que le facteur de modification fonction de la vitesse de battement vertical soit généralement augmenté en fonction de l'augmentation de la vitesse de battement vertical.
Selon un autre mode de réalisation, les moyens de calcul calculent en outre une grandeur de modification pour modifier par addition la valeur de base de la composante longitudinale de la distance en biais, en fonction d'un état sous-vireur ou survireur et de l'accélération longitudinale du véhicule, de telle façon que la grandeur de modification soit augmentée lorsque l'accélération longitudinale augmente dans la direction avant du véhicule tandis que l'état sous-vireur augmente, que la grandeur de modification soit augmentée lorsque l'accélération longitudinale augmente dans la direction arrière du véhicule tandis que l'état survireur augmente, que la grandeur de modification soit diminuée lorsque l'accélération longitudinale augmente dans la direction arrière du véhicule tandis que l'état sousvireur augmente, et que la grandeur de modification soit diminuée lorsque l'accélération longitudinale augmente dans la direction avant du véhicule tandis que l'état sous-vireur augmente.
D'autres buts, avantages et caractéristiques apparaîtront à la lecture de la description de divers modes de réalisation de l'invention, faite à titre non limitatif et en regard du dessin annexé, dans lequel : - la figure 1 est une représentation schématique en plan d'un véhicule à quatre roues ;
- la figure 2 est un modèle schématique du système de suspension d'un véhi- cule à quatre roues vu depuis le côté gauche de celui-ci ; - la figure 3 est un modèle schématique montrant le système de suspension de véhicule représenté à la figure 2, vu de l'arrière du véhicule ; la figure 4 est un modèle schématique similaire à la figure 3, représentant un système de suspension dans lequel est incorporé le dispositif de contrôle de coefficient de l'amortissement selon la présente invention ; la figure 5 est un modèle schématique représentant le système de suspen- sion de véhicule représenté à la figure 4, vu de l'arrière du véhicule ; la figure 6 est une vue en plan schématique représentant un véhicule à quatre roues dans lequel est incorporé le dispositif de contrôle du coeffi- cient de l'amortissement selon la présente invention, sous la forme de plusieurs mode de réalisation ; la figure 7 et un ordinogramme représentant le schéma de fonctionnement du dispositif de contrôle du coefficient d'amortissement selon la présente invention ; - les figures 8A, 8B, 8C, 8D sont des cartes permettant d'obtenir les valeurs de base de Cg, Ca, Lx, Ly à partir des valeurs absolues de l'accélération verticale Gh, de l'accélération longitudinale Gx et de l'accélération latérale Gy de la caisse du véhicule ; - les figures 9A, 9B, 9C sont des cartes permettant d'obtenir les grandeurs de modification A Cgt, A Cat et A Lxt pour Cg, Ca et Lx à partir de la vitesse d'ouverture du papillon des gaz : - les figures 10A, 10B, et IOC sont des cartes permettant d'obtenir les grandeurs de modification A Cgb, A Cab et A Lxb pour Cg, Ca et Lx à partir de la course d'actionnement des freins Sb ; - les figures 11A et 11B sont des cartes permettant d'obtenir les grandeurs de modification A Cgs et A Cas pour Cgs et Ca, à partir d'un indice de balan- cement ou de débattement vertical Ds ; les figures 12A et 12B sont des cartes permettant d'obtenir les grandeurs de modification A Cga et A Car pour Cg et Ca, à partir de l'indice de cliquète- ment ou de relaxation Dr ; - les figures 13A et 13B sont des cartes permettant d'obtenir les grandeurs de modification A Cgf et A Caf pour Cg et Ca, à partir d'un indice de batte- ment Df ; les figures 14A et 14B sont des cartes permettant d'obtenir les facteurs de modification A Kgh et A Kah pour Cg et Ca, à partir de la vitesse Qh de débattement vertical ; et
les figures 15A et 15B sont des cartes pour obtenir les facteurs de modification AKgh et AKah pour Cg et Ca à partir de la vitesse Uh de débattement vertical, et la figure 16 est une carte permettant d'obtenir les grandeurs de modification A Lxs pour Lx, à partir de l'accélération longitudinale Gx et des conditions ou des états de glissement du véhicule.
Le principe de base du contrôle du coefficient d'amortissement selon la présente invention va être décrit en référence aux figures 1 à 3.
En se référant aux figures 1 à 3 qui représentent un modèle schématique standard du système de suspension d'un véhicule à quatre roues, respectivement en vue en plan, en vue de gauche et en vue arrière, une caisse de véhicule 110 est supportée par les roues avant gauche, avant droite, arrière gauche et arrière droite 116FL, 116FR, 116RL et 116RR via des agencements correspondants d'amortisseurs 126FL, 126FR, 126RL et 126RR et de ressorts 118FL, 118FR, 118RL ET 118RR, respectivement. Les quatre roues sont agencées sur la caisse de véhicule avec un empattement d'une distance H et une voie d'une distance W, comme indiqué sur les figures 1 à 3 et respectivement sur les figures 2 et 3. Les amortisseurs 126FL, 126FR, 126RL et 126RR sont chacun du type variable, c'est-à-dire d'un type dont le coefficient d'amortissement est susceptible d'être contrôlé de façon variable.
Dans un tel système de suspension, les décalages verticaux des parties de la caisse du véhicule dans la direction verticale au-dessus de la roue avant gauche, de la roue avant droite, de la roue arrière gauche et de la roue arrière droite 116FL, 116FR, 116RL et 116RR, seront dénommés Xfl, Xfr, Xrl et Xrr, respectivement, et sont considérés comme positifs vers l'avant. Ensuite, on réécrira Xfl, Xfr, Xrl et Xrr pour les transformer en Xfin et en Xrin, et on réécrira Xfr et Xrr pour les transformer respectivement en Xfout et Xrout, respectivement, lorsque le véhicule effectue un virage à gauche, tandis que Xfr et Xrr seront réécrits pour devenir Xfin et Xrin et XFL et XRL seront réécris pour devenir respectivement Xfout et Xrout, lorsque le véhicule effectue un virage à droite. En outre, Xfin et Xfout seront réécrits pour devenir Xain et Xbout, et Xrin et Xrout seront réécrits pour devenir respectivement Xfin et Xbout, lorsque le véhicule est accéléré, tandis que Xfrin et Xrout seront réécrits pour devenir Xain et Xout, et Xfin et Xfout seront réécrits pour devenir respectivement Xfin et Xfout, lorsque le véhicule est décéléré.
On va ensuite exprimer, comme suit, en le dénommant Xh, le décalage vertical de la caisse du véhicule par rapport à son centre de gravité indiqué par la référence
En outre, en désignant respectivement l'angle de roulis de la caisse du véhicule autour de l'axe longitudinal x comme étant Fr, en considérant comme positif le sens opposé à celui des aiguilles d'une montre, vu de l'arrière du véhicule, et l'angle de tangage de la caisse du véhicule autour de l'axe latéral y comme étant #p, en considérant comme positif le sens inverse de celui des aiguilles d'une montre, vu du côté gauche du véhicule, les coefficients d'amortissement des amortisseurs 126FL à 126RR montés sur les côtés avant et arrière de l'accélération longitudinale (concernant à la fois la traction et le freinage du véhicule) à l'intérieur et à l'extérieur d'un virage pris par le véhicule, comme étant respectivement Cain, Cbin, Caout et Cbout, respectivement, et la masse, le moment d'inertie autour de l'axe longitudinal x et le moment d'inertie autour de l'axe latéral y comme étant respectivement M, Ir et Ip, on exprime les déplacements verticaux, de roulis et de tangage de la caisse du véhicule comme suit : -MXh = Cain X ain + Caout X aout + Cbin X bin + Cbout X bout + [force verticale appliquée par les ressorts]... (2) w -Ir T r = (Cain X ain + Cbin X bin) ------- 2 W -(Caout X aout + Cbout X bout) ------- 2 + [moment ou bien couple de roulis appliqué par les ressorts].... (3) H -IpI' p = (Cain X ain + Caout X aout) ----- 2 H -(Cbin X bin + Cbout X bout) ------- 2 + [moment ou bien couple de tangage appliqué sur les ressorts] (4) Par ailleurs, en se référant aux figures 1, 4 et 5 représentant respectivement un modèle schématique d'une suspension virtuelle en vue de gauche et en vue de droite, ce modèle étant apte à être substitué au système de suspension représenté sur les figures 1 à 3, selon la présente invention, les amortisseurs 126FL, 126FR, 126RL et 126RR, sont remplacés par une combinaison d'un amortisseur latéral virtuel 122 et
d'un amortisseur angulaire virtuel 124. En supposant que sur les figures 1, 4 et 5, le véhicule effectue un virage à gauche tout en subissant une accélération vers l'avant, c'est-à-dire un traction, l'amortisseur latéral virtuel 122 est agencé verticalement en une position située latéralement à l'intérieur du roulage en virage et est décalé longitudinalement par rapport au centre de gravité de la caisse du véhicule dans la direction de l'accélération longitudinale, de façon à agrandir la distance en biais L par rapport au centre de gravité 112 de la caisse du véhicule, avec un angle 8 par rapport à l'axe latéral y du véhicule, cet amortisseur 122 étant supposé se déplacer le long de la surface du sol par l'intermédiaire d'une roue virtuelle 120, tandis que l'amortisseur angulaire virtuel 124 est agencé pour amortir à la fois les déplacements de roulis et de tangage de la caisse du véhicule, en générant un moment où un couple angulaire autour d'un point de pivotement virtuel 114 par rapport à une moitié supérieure de l'amortisseur latéral virtuel 122.
Le système selon la présente invention présente donc de nombreux avantages, à la fois en termes d'induction importante, de tolérance (notamment pour un usage in vivo), de force et de conditions d'utilisation.
L'invention décrit donc de nouvelles constructions pour la réalisation et la mise en oeuvre de ce système, notamment des régions promotrices, des cassettes d'expression et des plasmides. L'invention décrit aussi des constructions nouvelles de PPAR permettant un contrôle amélioré de l'expression de gènes, ainsi que des combinaisons de ces différentes constructions. L'invention montre en outre que ces méthodes et compositions permettent un contrôle et une régulation importants de l'expression in vitro et in vivo. L'invention concerne aussi des cellules comprenant des constructions de l'invention, ainsi que des méthodes de criblage de composés ligands des PPAR, par exemple.
Plus particulièrement, un premier objet de l'invention réside dans une composition comprenant: (a) un premier élément comprenant un acide nucléique d'intérêt sous contrôle d'un promoteur inductible comprenant un élément de réponse à un PPAR et un promoteur transcriptionnel minimal, et (b) un deuxième élément comprenant un acide nucléique codant un PPAR sous contrôle d'un promoteur transcriptionnel, en vue de leur utilisation simultanée, séparée ou espacée dans le temps.
Dans un mode plus particulier, les compositions de l'invention comprennent en outre: (c) un ligand de PPAR, également en vue d'une utilisation simultanée, séparée ou espacée dans le temps.
Avantageusement elles comprennent en outre un élément (d) comprenant un acide nucléique codant un récepteur rétinoïde X (RXR) sous contrôle d'un promoteur transcriptionnel.
L'expression en vue d'une utilisation simultanée, séparée ou espacée dans le temps indique que les éléments (a), (b) et, le cas échéant, (c) et/ou (d) peuvent être préparés séparément, conditionnés séparément, et utilisés séquentiellement, pour permettre le contrôle de l'expression de l'acide nucléique d'intérêt. Typiquement, les éléments (a) et (b), et éventuellement (d) sont préparés et conditionnés ensemble, alors que le composé c) est conditionné séparément et utilisé de manière espacée dans le temps avec (a) et (b), et éventuellement (d), la combinaison de ces différents éléments dans une cellule, un tissu, un organe, etc. conduisant à l'effet de régulation d'expression recherché.
A cet égard, dans un mode particulier de réalisation d'une composition de l'invention, les éléments (a), (b) et éventuellement (d) sont portés par des constructions génétiques distinctes.
Dans un autre mode particulier et préféré de réalisation d'une composition de l'invention, les éléments (a), (b) et éventuellement (d) sont assemblés dans une même construction génétique. La présente invention décrit ainsi des constructions génétiques complexes permettant l'expression d'un produit d'intérêt et d'un PPAR.
Ces constructions sont particulièrement avantageuses puisqu'elles comportent, à elles seules, l'ensemble des éléments génétiques nécessaires à l'expression régulée de l'acide nucléique d'intérêt.
La ou les constructions génétiques peuvent être de nature et/ou d'origine variées, notamment plasmidique, épisomique, chromosomique, virale, phagique, etc. Préférentiellement, la construction génétique est un vecteur plasmidique ou viral.
A titre illustratif de plasmides portant séparément les éléments (a) ou (b) on peut citer par exemple les plasmides JxnS-TK-pGL3, JxnAS-TK-pGL3, DRIxnS- TK-pGL3, DR1 xnAS-TK-pGL3, JxnAS-CMV-pGL3, pSG5-hPPARg2g2, ou Jx1 OAS- CMV-EF-pGL3, qui seront décrits en détails plus loin.
A titre illustratif de plasmides dans lesquels les éléments (a) et (b) ont été assemblés, on peut citer par exemple les plasmides Jx5AS-TK-Luc-hPPARg2, SV-
g2-J10-C-pGL3, hPPARg2-CMV-Jx5AS-TK-pGL3 ou hPPARg2-CMV-JxlOAS- CMV-pGL3, qui seront décrits en détails plus loin.
Comme exemple de vecteur viral, on peut citer notamment un adénovirus recombinant, un rétrovirus recombinant, un AAV, un herpès virus, un virus de la vaccine, etc., dont la préparation peut être réalisée selon les méthodes connues de l'homme du métier.
L'agencement et la structure des constructions génétiques seront décrits plus en détail dans la suite du texte.
A cet égard, comme indiqué ci-avant, l'élément (a) comprend un promoteur inductible comprenant au moins: - un élément de réponse à un PPAR, et - un promoteur transcriptionnel minimal.
Il s'ensuit que les deux machines virtuelles sont en relation, c'est-à-dire que :
Comme les relations sont l'identité pour les types observables, les codes source et transformé sont observationellement identiques.
La dernière étape consiste à montrer qu'il existe un transformateur r (figure 1 : qui satisfait les relations logiques. Cela peut être fait en vérifiant qu'un transformateur donné r : S # T satisfait la relation logique associée au type de son argument, avec S code source (figure 1 :1 ) et T code transformé (figure 1 : 3). Pour ce faire il est nécessaire qu'il obéisse à la relation suivante .
Il vient d'être montré que les relations logiques spécifient un ensemble de contraintes. On peut donc en extraire un transformateur 2 correct par construction, en appliquant des techniques de raffinement ou d'extraction, en faisant appel à un des assistants de preuve appropriés Le procédé selon l'invention présente donc un avantage important car il permet une grande mécanisation du processus de vérification, et surtout permet de le conduire à bien, car cette vérification est menée sur des sous-ensembles moins complexes.
Si la transformation du code source 1 peut se décrire comme une succession de transformations plus simples, cette méthode peut s'appliquer pour montrer chaque transformation indépendamment. Il s'ensuit qu'elle présente un grand avantage de modularité La vérification ne doit être effectuée que sur les sous-ensembles de fonctions auxiliaires 10 et 30, comme illustré par la figure 2B, à l'aide d'un organe 6, matériel ou logiciel. On a supposé qu'il existe n fonctions auxiliaires, référencées 10., 10b, ... , 10,, , On-1, 10n et 20a, 20b, .. , 20,, .. 20n-1, 20ni respectivement Si l'organe 6 est matériel, il comporte autant de circuits vérificateurs, 60s, 60b, . , 60,, . , 60n-1, 60n (représentés arbitrairement sur la figure 2B par le symbole d'un comparateur), que de paires de fonctions auxiliaires à vérifier, par exemple le circuit vérificateur 60, pour la paire de fonctions 10, et 30,. La ou les sortie (s) de cet organe 6, sous la référence unique 61, indique(nt) que la relation logique entre toutes les paires possibles de fonctions auxiliaires correspondantes des codes source 1 et transformé 3 est satisfaite Cette série d'opérations est suffisante pour apporter la preuve formelle de l'équivalence des deux codes, dans leur globalité Il est à noter que le procédé selon l'invention est utilisable aussi bien, a posteriori, c'est-à-dire pour vérifier un transformateur existant, qu'a priori, comme une aide au développement d'un nouveau transformateur. Elle permet notamment, dans ce dernier cas, d'en déterminer les caractéristiques, pour qu'il fonctionne correctement, en d'autres termes pour que le code transformé qui sera généré par ce transformateur à partir du code source satisfasse l'exigence d'équivalence précitée.
On va maintenant se placer dans le cadre des cartes à puce La figure 3 illustre schématiquement l'architecture d'une carte à puce, référencée 7.
On n'a représenté sur cette figure que les éléments essentiels à la bonne compréhension du procédé selon l'invention La carte à puce 7 comprend notamment un organe d'entrée-sortie 70 permettant des communications avec le monde extérieur, un premier organe de mémoire 71, fixe ou programmable (de type "ROM", "PROM", "EPROM" ou "EEPROM"), et un organe de mémoire vive 72. La carte à puce 7 comprend
enfin un microprocesseur ou un microcontrôleur 73 dialoguant par l'intermédiaire de bus avec les autres composants de la carte à puce 7.
L'architecture logicielle d'une telle carte à puce 7 obéit à la norme ISO 7816-3, se traduisant par une couche protocolaire allant des couches les plus basses associées aux organes d'entrée-sortie 70, jusqu'aux couches les plus hautes associées aux applications logicielles enregistrées dans la carte à puce 7. Ces normes prévoient que les transmissions s'effectuent en mode série.
Le code source 1, une fois transformé par le transformateur de code 2, est transmis à la carte à puce 7 pour y être enregistré, généralement dans l'organe de mémoire 71, fixe ou "semi-fixe", via l'organe d'entrée-sortie 70 La ou les applications logicielles traitées par la carte à puce 7 peuvent être enregistrées à demeure dans la carte à puce 7, c'est-à-dire dans l'organe de mémoire 71, ou de façon transitoire dans la mémoire vive 72. Dans ce dernier cas les applications sont téléchargées via l'organe d'entrée-sortie 70 Dans l'exemple décrit, il a été supposé que la carte à puce 7 est d'un type multiapplications, voire multi-utilisateurs. Il a donc été également supposé que la carte à puce 7 traite m applications logicielles, A1 à Am, écrites dans le langage transformé 3.
Un des langages couramment utilisés pour les cartes à puce est, comme il a été rappelé, le langage "Java Card". Il s'agit d'un langage dédié à la programmation des cartes à puce, langage qui constitue une restriction du langage "Java".
La carte 7 peut également stocker un convertisseur supplémentaire effectuant des conversions in situ au chargement sur des parties de codes Les étapes du procédé selon l'invention qui viennent d'être décrites dans un cadre général, vont être illustrées plus particulièrement dans ce cadre d'application préférée.
Comme il est connu, une implantation du langage "Java Card" fait appel à un convertisseur qui transforme des fichiers dits "de classes" en fichiers "CAP". Un fichier de classe est une unité de compilation et de représentation du code objet d'un programme "Java" Un fichier CAP regroupe toutes les classes d'un même "package Java Card" et ne comporte qu'un unique "constant pool".
Un "package Java Card" est une construction "Java" pour regrouper des classes et créer des espaces de noms Pour sa part, un "constant pool" est une table associée à chaque fichier de classe pour "Java" et à chaque fichier "CAP" pour "Java Card" Cette table regroupe des constantes (chaînes de caractères, entiers,) Elle est utilisée dans les machines virtuelles de "Java" et "Java Card" La transformation est non triviale et globale : elle remplace tous les noms (de packages, de classes, de champs, de méthodes) par des entités appelées "tokens", c'est-à-dire des nombres entiers de 7 ou 8 bits. Ces "tokens" servent d'index pour accéder à des tables De plus, la transformation regroupe tous les fichiers de classes d'un même package en un fichier CAP (avec fusion des "constant pools" et réorganisation des tables de méthodes).
Le langage "Java Card" est notamment destiné à être utilisé sur des cartes à puce bancaires Il est donc impératif de vérifier la correction de la transformation d'un programme (ou "byte code") écrit dans la machine virtuelle du langage "Java" en un programme écrit dans la machine virtuelle du langage "Java Card", c'est-à-dire d'apporter la preuve de l'équivalence de ces deux programmes Cette preuve formelle va être apportée en exécutant les étapes du procédé selon l'invention.
La première étape consiste en la définition d'une sémantique opérationnelle.
Deux éléments apportés par l'aliment minéral sont notamment très importants : le phosphore et le magnésium. Le manque de phosphore peut entraîner des problèmes au niveau de la reproduction, du développement du squelette (problèmes d'aplombs ou de boiteries),... Le manque de magnésium peut entraîner des problèmes au niveau de la croissance, du fonctionnement du système nerveux, de la tonicité musculaire, de la résistance immunitaire ...
Or, ces 2 éléments ne sont pas entièrement absorbés par l'animal pour contribuer directement aux fonctionnement des organes. Leur utilisation par l'animal dépend de leur absorbabilité qui elle-même dépend de la source et de l'origine des matières premières. Il est donc important d'apporter du Phosphore et du Magnésium d'une part en quantité suffisante, d'autre part sous une forme qui soit la plus absorbable possible par l'organisme de l'animal.
Les aliments minéraux sont présentés aujourd'hui sous forme de poudre, de granulés ou de semoules.
Les granulés correspondent souvent à des utilisations et à des modes de distribution particuliers (distribution à l'aide d'un DAC-Distributeur Automatique de Concentrés- ou apport seul non mélangé à la ration. Quant aux poudres et aux semoules, elles sont distribuées généralement de la même façon - soit elles sont saupoudrées manuellement à l'aide d'un seau sur la ration qui est distribuée sur la table d'alimentation, puis grossièrement ou pas du tout mélangées à la ration - soit elles sont incorporées dans la remorque mélangeuse avec les autres éléments de la ration et mélangées mécaniquement. Quelque soit le mode de distribution, les utilisateurs rencontrent des problèmes Avec la Poudre - la poudre est un produit pouvant présenter des problèmes de fluidité, qui coule mal, et qui peut tomber en paquet lors de la distribution sur table d'alimentation; les doses apportées à chaque animal peuvent alors varier d'une façon assez importante. De ce fait, il se peut que les besoins de certains animaux ne soient pas totalement couverts.
- D'autre part, utilisée en mélangeuse, la poudre peut se colmater, ce qui entraîne un mélange non homogène à la ration.