INPI-France/Brevets-Francais-2024-Chunked huggingface dataset:
Les bactéries, Escherichia coli DH5a rendues préalablement compétentes, ont été transformées. L'ADN plasmidique des clones obtenus, sélectionnés sur milieu LB supplémenté en kanamycine (50 mg/1), a été extrait selon la méthode de la lyse alcaline et vérifié par digestions enzymatiques et séquençage. Le plasmide résultant a été appelé pMRT1175 (6767 pb). Il est représenté en figure 8 et sa séquence complète SEQ. ID08 est donnée dans le listage de séquences.
8.1.2. Obtention de pMRT1205 Le plasmide pMRT1205 résulte du clonage des fragments ADN insert KpnI - HindIII correspondant à eP35S aux sites KpnI et HindIII du vecteur pMRT1175.
Le fragment vecteur pMRT1175 a été obtenu par digestion 4,1 pg de pMRT1175 par KpnI et HindIII, purification à l'aide du kit Concert Rapid PCR Purification System et reprise dans 100 l de HO. Puis, pMRT1175 digéré a été déphosphorylé par 50 unités de phosphatase alcaline d'intestin de veau (New England Biolabs) dans un milieu réactionnel final de 120 l en présence de 12 l de tampon 3 x 10 (New England Biolabs) à 37 C pendant 1 heure, purifié à l'aide du kit Concert Rapid PCR Purification System , et repris dans 50 l de H2O.
PROCEDE DE FABRICATION D'UN POLYURETHANNE THERMODURCISSABLE APRES TRANSFORMATION A PARTIR D'UN POLYURETHANNE THERMOPLASTIQUE, ET POLYURETHANNE THERMODURCI APRES TRANSFORMATION SUSCEPTIBLE D'ETRE OBTENU PAR LEDIT PROCEDE L'invention se rapporte à un procédé de fabrication d'un polyuréthanne thermodurcissable après transformation, à partir d'un polyuréthanne thermoplastique. Elle concerne également le polyuréthanne thermodurci après transformation, susceptible d'être obtenu par ledit procédé.
Différentes matières thermoplastiques sont mises en #uvre pour l'élaboration de certains produits, tels que tubes de transport de fluides chauds, câbles électriques, roues pleines, joints, silentblocs, semelles de chaussures, etc...
Les matières thermoplastiques sont utilisées dans ces différentes applications notamment pour leur facilité de mise en #uvre et leur qualité à température ambiante, souplesse et résistance mécanique. Toutefois, ces matières présentent l'inconvénient d'être peu résistantes physiquement à la chaleur, de sorte que les produits obtenus à partir de ces matières, en fonction de leurs utilisation, présentent une longévité moindre.
Au contraire, les matières dites thermodurcissables, si elles sont effectivement résistantes à la chaleur, restent difficiles à façonner, de sorte que leur emploi est limité.
Au regard de ces différents problèmes, l'objectif a donc été de développer des matières présentant les caractéristiques physiques et la facilité de transformation des matières thermoplastiques dotées des caractéristiques thermomécaniques des matières thermodurcissables, et notamment leur résistance à la température.
Pour ce faire, on a proposé de préparer un polymère thermodurcissable en modifiant des polymères thermoplastiques facilement transformables pour leur permettre de se réticuler après transformation en produit fini.
Pour parvenir à cet objectif, un premier procédé consiste à mélanger et extruder un polymère, et notamment un polyéthylène avec un peroxyde. Toutefois, un tel procédé présente l'inconvénient non seulement d'être réalisable à partir d'un
nombre limité de polyéthylène, mais également requiert des installations industrielles très onéreuses.
Un autre procédé consiste à irradier à des doses d'exposition de 80 à 200 K gray un polymère. Toutefois, on note, outre le fait que ce type de traitement est très coûteux, qu'il tend à détruire plutôt qu'à améliorer les polymères mis en #uvre.
Un autre procédé, plus particulièrement décrit dans les documents US-A-3 648 155 et US-A-4 117 195, consiste à greffer un organo-silane hydrolysable comprenant au moins une chaîne insaturée du type vinylique en présence d'un initiateur de greffage des fonctions vinyliques, et notamment le peroxyde, et d'un catalyseur de polycondensation des fonctions silanes. L'hydrolyse et la polycondensation des fonctions silanes permettent la réticulation du polymère pour obtenir la forme thermodurcie.
Cependant, tous les procédés ci-avant décrits ne conduisent à des résultats satisfaisants que sur des matières à base de polyéthylène, leur mélange, leurs copolymères ou terpolymères, telles que celles décrites par exemple dans le document FR-A-2 546 172.
Cependant, les performances du polyéthylène et de ses dérivés ne sont pas toujours satisfaisantes en fonction des applications envisagées : tenue thermique plus faible, résistance à l'abrasion plus faible, souplesse plus faible, etc...
On préfère aux polyéthylènes, les polymères du type polyuréthanne thermoplastiques (TPU), lesquels présentent des caractéristiques mécaniques très satisfaisantes en fonction des applications envisagées. Toutefois, tous les TPU usuels connus perdent leurs caractéristiques mécaniques à une température d'environ 70 C. Peuvent être également utilisés les polyuréthannes thermodurcissables lesquels restent toutefois très difficiles à travailler.
Le problème posé est donc de développer un procédé de fabrication de polyuréthanne conservant les conditions de transformation des polyuréthannes thermoplastiques (TPU) tout en gardant les principales caractéristiques mécaniques et en rajoutant des tenues thermiques améliorées supérieures à la tenue thermique des polyéthylènes réticulés.
Pour ce faire, le Demandeur a proposé un procédé consistant à greffer un organosilane hydrolysable comprenant au moins une chaîne aminée primaire (-NH2) ou secondaire (=NH) directement sur un polyuréthanne thermoplastique.
Cependant, lors du procédé de transformation en température, la réaction avec l'amine entraîne une rupture des chaînes macromoléculaires principales. Les silanes se greffent à chacune des extrémités des différents fragments selon le schéma réactionnel suivant :
L'invention concerne un procédé de vérification de transformateurs de codes pour un système embarqué L'invention concerne aussi l'application d'un tel procédé à un transformateur pour générer un code destiné à une carte à puce.
Dans le cadre de l'invention, le terme "système embarqué" doit être considéré dans son acception la plus générale. Il concerne notamment des systèmes destinés à une carte à puce, ce qui constitue l'application préférée de l'invention, mais également tout système destiné à un dispositif portable ou mobile comportant des moyens propres de traitement de données informatisés, que l'on appellera ci-après "ressources de traitement".
Les systèmes embarqués modernes sont munis de ressources de traitement des données permettent de remplir des fonctions de plus en plus complexes et de plus en plus nombreuses Cependant, malgré la mise sur le marché de technologies et de composants de plus en plus performants, une caractéristique distinctive des systèmes embarqués, par rapport à des systèmes informatiques conventionnels (micro-ordinateur, station de travail, etc ), concerne les limitations qu'ils imposent en matière de ressources (taille mémoire et puissance des microprocesseurs notamment). Pour satisfaire ces contraintes, il est nécessaire de transformer le code destiné à être exécuté sur un système embarqué. Les transformations ont pour but de produire un code plus efficace et plus économe en ressources.
Pour fixer les idées, et à titre d'exemple non limitatif de code, on considérera dans ce qui suit un programme écrit dans la machine virtuelle du langage "JAVA" (marque déposée par SUN MICROSYSTEMS) qui présente l'intérêt de pouvoir être exécuté dans de nombreux environnements Les domaines d'application de ce langage se sont en effet multipliés notamment avec le développement important du réseau Internet. De nombreuses applications logicielles de petite taille, dites "applets", sont écrites dans ce langage et exécutables par un navigateur de type "WEB"
On se placera également dans le cadre de l'application préférée de l'invention, à savoir l'exécution d'un code de ce type par les ressources informatiques propres d'une carte à puce Comme il a été rappelé ci-dessus, malgré des progrès technologiques importants, la capacité mémoire de la carte à puce, ainsi que la puissance du microprocesseur qui l'équipe restent relativement limités II est également important que le code soit résident dans la carte à puce, car les transmissions entre celle-ci et un terminal hôte, quel qu'il soit, s'effectuent à basse vitesse. Les standards actuels ne prévoient que des transmissions de type série. Le besoin se fait donc sentir de disposer d'un code que l'on pourrait qualifier "d'allégé", en tout cas optimisé pour cet usage Pour ce faire, il a été proposé d'utiliser un langage dérivé de "JAVA", se présentant sous la forme d'une restriction de ce langage, à savoir le langage "JAVA CARD" " (marque déposée également par SUN MICROSYSTEMS).
Une complication supplémentaire vient du fait que les systèmes embarqués sont généralement utilisés dans des environnements qui requièrent les plus hautes garanties en matière, à la fois de fiabilité et de sécurité On peut citer à titre d'exemple les nouvelles versions de cartes à puce sur lesquelles on souhaite installer des applications logicielles multiples qui doivent coopérer harmonieusement sans révéler d'informations confidentielles. En effet, a priori, ces multiples applications peuvent concerner des utilisateurs distincts Malgré la coopération précitée, on doit conserver un cloisonnement rigoureux, pour que les informations concernant un utilisateur donné restent confidentielles, pour le moins ne puissent pas être mises à la disposition d'un utilisateur non habilité à les connaître (lecture) et/ou à les manipuler (écriture et opérations connexes : effacement, modification) En dehors de l'aspect "confidentialité", d'autres exigences sont à prendre en compte, notamment l'exigence dite "d'intégrité" : pertes de données, modifications non conformes, etc.
Si on considère le code "source", dans le sens de "code initial", tel que par exemple le "byte code" du langage "JAVA" précité, ce dernier présente toutes les garanties nécessaires et remplit les exigences précitées, le "byte code" étant un programme écrit dans la machine virtuelle du langage "JAVA".
En effet, de nombreux tests ont pu être effectués, ce pendant de longues périodes de temps.
Le code dit "transformé" est obtenu à partir du "code source" à l'aide d'un transformateur de code, généralement extérieur au système embarqué, mais qui peut également être résident dans celui-ci. Il est donc nécessaire de montrer l'équivalence entre le code source et le code transformé Cela peut s'effectuer en garantissant que les transformations effectuées sur le code ne changent en rien son comportement (d'un point de vue externe) et n'introduisent pas de failles de sécurité En d'autres termes, le code initial (avant transformation) doit être d'un point de vue logique équivalent au code résultant (après transformation).
Il est particulièrement difficile de garantir cette propriété en général, car les transformations ont un effet global sur le code et sur les représentations des données qu'il manipule De façon pratique, la complexité impliquée par cette opération ne permet pas une mise en #uvre dans des conditions économiques et/ou technologiques réalistes. En outre, on doit bien comprendre que de tels besoins ne sont apparus que très récemment, notamment en conjonction avec le développement des technologies précitées de cartes à puce multi-applications et/ou multi-utilisateurs.
L'invention vise à répondre à ces besoins, sans nécessiter des procédures extrêmement longues et coûteuses.
Le procédé selon l'invention permet de vérifier de manière systématique et modulaire la correction des transformations de codes.
Dans le cadre de l'invention, deux formalismes, bien connus en soi, seront utilisés de façon essentielle les sémantiques opérationnelles et les relations logiques. Pour une description plus détaillée de ces formalismes, on se reportera avec profit, pour le premier, au livre de : H R Nielson, et F Nielson, intitulé : "Semantics with Applications A formai Introduction". Wiley, 1992, et, pour le second, au livre de J Mitchell : "Foundations for Programming Languages", MIT Press, 1996 Selon une caractéristique essentielle de l'invention, le procédé de vérification des transformateurs de codes consiste à spécifier le sens de deux
codes à l'aide d'une machine virtuelle commune paramétrée par des fonctions que l'on appellera "fonctions auxiliaires" Les différences entre les deux codes sont expnmées et regroupées dans les fonctions auxiliaires précitées. Chaque fonction auxiliaire possède deux versions -une version dans le code source et une version dans le code transformé Les premiers modules étant identiques, puisque communs aux deux codes, il n'y a pas lieu de vérifier s'ils sont équivalents. Pour montrer l'équivalence des deux codes, il suffit donc de montrer que les fonctions dites auxiliaires, considérées deux à deux, sont équivalentes. Ces deux sous-ensembles peuvent être rendus beaucoup moins complexes que les deux ensembles représentés par les deux codes, source et transformé, considérés dans leur intégralité. Il s'ensuit que, selon le procédé de l'invention, la difficulté inhérente au processus de vérification est très fortement réduite, et de façon corrélative, le processus de vérification devient économiquement et technologiquement réalisable.
L'invention a donc pour objet un procédé de vérification d'un transformateur de code dit source en un code dit transformé destiné à un système embarqué, lesdits codes source et transformé étant associés à des machines virtuelles, caractérisé en ce qu'il comprend au moins les étapes suivantes : - la détermination, pour chacun desdits codes source et transformé, d'un premier sous-ensemble commun, constituant une machine virtuelle unique factorisant le comportement de ces deux codes , - la détermination, pour chacun desdits codes source et transformé, d'un second sous-ensemble constitué d'une pluralité de fonctions dites auxiliaires, lesdites fonctions auxiliaires représentant des différences résiduelles entre lesdits codes source et transformé ; - l'association par paire desdites fonctions auxiliaires, une première fonction auxiliaire de chaque paire appartenant audit second sous-ensemble associé audit code source et une seconde fonction auxiliaire de chaque paire appartenant audit second sous-ensemble associé audit code transformé ; - la vérification d'une propriété de correspondance déterminée entre lesdites fonctions auxiliaires de toutes lesdites paires ; et
la vérification que ladite transformation du code source en code transformé par ledit convertisseur respecte ladite propriété de correspondance déterminée.
Ces additifs peuvent être présents dans la composition selon les quantités habituellement utilisées et par exemple à raison de 0 à 20% du poids total de la composition et mieux de 0,1 à 10%.
Avantageusement, la composition de l'invention contient comme additifs un ou plusieurs gélifiants ou épaississants de phase aqueuse. Parmi les gélifiants de phase aqueuse utilisables selon l'invention, on peut citer : les gélifiants cellulosiques hydrosolubles tels que l'hydroxyéthylcellulose, la méthylcellulose, l'hydroxypropylcellulose et la carboxyméthylcellulose ; la gomme de guar ; la gomme de guar quaternisée ; les gommes de guar non-ioniques comprenant des groupements hydroxyalkyle en Ci-Ce ; les gommes de xanthane, de caroube, de scléroglucane, de gellane, de rhamsan, de karoya ; les alginates, la maltodextrine, l'amidon et ses dérivés, l'acide hyaluronique et ses sels ; les argiles et notamment les montmorillonites, les hectorites ou bentones, les laponites ; les polymères à groupement carboxylique comme les acides polyacryliques réticulés au moins partiellement neutralisé tels que les Carbopol ou Carbomer de la Société Goodrich (Carbomer 980 par exemple neutralisé par de la triéthanolamine -TEA en abréviation-) ; les polymères poly(métha)crylates de glycéryle ; la polyvinylpyrrolidone ; l'alcool polyvinylique ; les polymères et les copolymères réticulés d'acrylamide ; les homopolymères réticulés de chlorure de méthacryloyloxyéthyltriméthylammonium ; les polyuréthanes associatifs et leurs mélanges. Ces gélifiants peuvent représenter de 0 à 60 % du poids total de la composition et notamment de 0,1 à 50 %.
Selon l'invention, le gélifiant de phase aqueuse est de préférence choisi parmi la gomme de xanthane, les argiles (bentone ou laponite), les polyuréthanes associatifs, les épaississants cellulosiques, notamment l'hydroxyéthyl cellulose, et les acides polyacryliques réticulés au moins partiellement neutralisés.
Bien entendu l'homme du métier veillera à choisir les éventuels additifs complémentaires et/ou leur quantité de telle manière que les propriétés avantageuses de la composition selon l'invention ne soient pas ou substantiellement pas, altérées par l'adjonction envisagée. En particulier, ces additifs ne devront pas nuire à l'homogénéité, la stabilité, le confort, la matité, la fraîcheur et la résistance à l'eau de la composition.
La composition selon l'invention peut se présenter sous la forme d'un produit coloré et notamment de maquillage de la peau, en particulier un fond de teint, un blush, un fard à joues ou à paupières, un mascara, un eye-liner, un produit anti-cernes en stick, un vernis à ongles ou de maquillage des lèvres comme un rouge à lèvres ou un brillant à lèvres, présentant éventuellement des propriétés de soin ou de traitement, un tatouage corps. Elles peuvent également se présenter sous forme non colorée, contenant éventuellement des actifs cosmétiques ou dermatologiques. Elle peut alors être utilisée comme base de soin pour les lèvres (baumes à lèvres, protégeant les lèvres du froid et/ou du soleil et/ou du vent) ou base fixante à appliquer sur un rouge à lèvres classique.
La composition de l'invention peut également se présenter sous la forme d'une composition dermatologique ou cosmétique de traitement ou de soin de la peau (y compris le cuir chevelu), de fibres kératiniques (cheveux, cils, sourcils), des ongles ou des lèvres ou sous forme d'une composition de protection solaire ou de bronzage artificiel, ou encore sous forme d'un produit nettoyant ou démaquillant de la peau ou des fibres kératiniques, un produit déodorant. Elle se présente alors sous forme non colorée, contenant éventuellement des actifs cosmétiques ou dermatologiques. Elle peut alors être utilisée comme base de soin pour la peau ou les lèvres (baumes à lèvres, protégeant les lèvres du froid et/ou du soleil et/ou du vent), crème de soin de jour ou de nuit. Elle peut, en outre, se présenter sous forme de shampooing traitant ou non, colorant ou non, de produit après shampooing.
Bien entendu la composition de l'invention doit être cosmétiquement ou dermatologiquement acceptable, à savoir contenir un milieu physiologiquement acceptable non toxique et susceptible d'être appliquée sur la peau (y compris l'intérieur des paupières) ou les lèvres du visage d'êtres humains ainsi que sur les phanères d'êtres humains.
De façon préférentielle, la composition de l'invention peut comprendre une matière colorante et notamment une phase particulaire, généralement présente à raison de 0 à 60 % du poids total de la composition, de préférence de 5 à 35 %, et qui peut comprendre des pigments et/ou des nacres et/ou des charges habituellement utilisés dans les compositions cosmétiques. La matière colorante peut aussi consister en des colorants lipophiles ou hydrophiles comme le rouge ou le brun soudan, le bleu de méthylène, le -carotène.
Par pigments, il faut comprendre des particules blanches ou colorées, minérales ou organiques, insolubles dans le milieu de la composition, destinées à colorer et/ou opacifier la composition. Par charges, il faut comprendre des particules incolores ou blanches, minérales ou de synthèse, lamellaires ou non lamellaires. Par nacres, il faut comprendre des particules irisées, notamment produites par certains mollusques dans leur coquille ou bien synthétisées. Ces charges et nacres servent à modifier la texture de la composition ainsi que l'effet de matité/brillance.
Les pigments peuvent être présents dans la composition à raison de 0 à 60 % du poids de la composition finale, de préférence à raison de 0,05 à 25 % et mieux de 4 à 20%. Comme pigments minéraux utilisables dans l'invention, on peut citer les oxydes de titane, de zirconium ou de cérium ainsi que les oxydes de zinc, de fer ou de chrome et le bleu ferrique.
Parmi les pigments organiques utilisables dans l'invention, on peut citer le noir de carbone, et les laques de baryum, strontium, calcium, aluminium.
Les nacres peuvent être présentes dans la composition à raison de 0 à 20 % du poids total de la composition, de préférence à un taux de l'ordre de 1 à 15 %. Parmi les nacres utilisables dans l'invention, on peut citer le mica recouvert d'oxyde de titane, d'oxyde de fer, de pigment naturel ou d'oxychlorure de bismuth tel que le mica titane coloré.
Les charges peuvent être présentes à raison de 0 à 35 % du poids total de la composition, de préférence 0,5 à 15 %. On peut notamment citer le talc, le mica, la silice, les poudres de Nylon (Orgasol notamment) et de polyéthylène, le Téflon, l'amidon, le nitrure de bore, , des microsphères de copolymères telles que l'Expancel (Nobel Industrie), le Polytrap (Dow Corning) et les microbilles de résine de silicone (Tospearl de Toshiba, par exemple).
La composition selon l'invention peut être fabriquée à froid ou par chauffage d'un ou plusieurs organopolysiloxanes élastomériques sous forme de poudre dispersée dans de l'eau, ajout d'un ou plusieurs pigments, d'une ou plusieurs charges et/ou d'un ou plusieurs autres additifs, ajout éventuel de la phase grasse à l'état liquide (notamment portée à la température de fusion des cires la plus élevée), puis émulsification si nécessaire.
Elle peut aussi être obtenue par extrusion comme décrit dans la demande EP-A-667 146. Ce procédé consiste à malaxer la pâte (cires + huiles + additifs + pigments) pendant le refroidissement pour créer dans la masse des zones d'écrasement de la pâte à l'aide d'un broyeur à cylindres ou d'un extrudeur-mélangeur à vis. Ce procédé permet l'obtention d'une composition sous forme de pâte molle.
L'invention est illustrée plus en détail dans les exemples suivants. Les pourcentages sont donnés en poids.
On note que si le commutateur de verrou s'ouvre avant le commutateur de fin de course, l'électronique de l'équipement sera activée un bref instant puis immédiatement désactivée par le signal du commutateur fin de course avant que les contacts quittent les plots de la carte à puce.
1.2.2 L'opérateur verrouille correctement et complètement le couvercle pivotant avec le verrou sans avoir relâché le couvercle Le commutateur fin de course de pivotement est toujours actionné (lère condition) et le commutateur de verrou s'ouvre en générant un front " descendant " (2ème condition) L'électronique de l'équipement est activée (les 2 conditions étant réunies).
On note que, le commutateur NF étant ouvert en fonctionnement, il n'y a pas de risque d'arrêt, même si ses performances s'altèrent avec le temps (dans le cas d'applications dans lesquelles la carte est retirée très rarement, la priorité est donnée au fonctionnement, devant la sécurité).
2 - Déverrouillage et ouverture du connecteur muni d'une carte 2.1 - Déverrouillage du couvercle Le commutateur fin de course de pivotement est en position actionnée.
Le verrou est déverrouillé et le commutateur de verrou NF se ferme en générant un front " montant ": = L'électronique de l'équipement est désactivée avant le complet déverrouillage du couvercle. 2.2 - Ouverture du couvercle Deux hypothèses se présentent alors 2.2.1 L'opérateur verrouille à nouveau le verrou avant d'avoir relâché la pression sur le couvercle, donc sans avoir permis au couvercle de pivoter vers son ouverture angulaire : on se retrouve alors dans la configuration 1.2 2.
=> L'électronique de l'équipement est activée. 2.2.2 L'opérateur relâche la pression sur le couvercle déverrouillé et le couvercle s'ouvre angulairement : on se retrouve dans la configuration 1.2 1.