INPI-France/Brevets-Francais-2024-Chunked huggingface dataset:
Le bornier de connexion 16 présente, dans l’exemple, quatre bornes individuelles, isolées électriquement les unes des autres. Chaque borne est prévue pour être raccordée, en entrée, à jusqu’à trois fils électriques provenant de câbles électriques d’alimentation reliés au réseau d’alimentation électrique, et, en sortie, à un fil électrique appartenant à un câble électrique alimentant un dispositif électrique, tel que par exemple un dispositif d’éclairage appartenant à un lampadaire. Le dispositif électrique est ainsi alimenté par le réseau d’alimentation électrique par l’intermédiaire du coffret 10. Puisqu’il présente quatre bornes individuelles, le bornier de connexion 16 permet le raccordement à des câbles électriques d’alimentation présentant jusqu’à quatre fils, comme par exemple des câbles électriques présentant trois fils de phase et un fil de neutre. Les câbles électriques d’alimentation sont représentés de manière schématique par des traits d’axes sur la uniquement.
Lorsque les câbles électriques d’alimentation 48 sont raccordés au bornier de connexion 16, ils entrent à l’intérieur du coffret 10 au travers de l’ouverture inférieure 38 en s’étendant de manière essentiellement parallèle à l’axe principal X. L’ouverture inférieure 38 forme ainsi une ouverture de passage des câbles électriques d’alimentation 48.
De préférence, la casquette 22 de la base 12 présente des zones de passage de câble 50, qui permettent au câble électrique alimentant le dispositif électrique de sortir en dehors du coffret 10. Les zones 50 sont des zones circulaires où la casquette 22 présente une épaisseur réduite, de sorte à faciliter son percement. En d’autres termes, la casquette 22 est pleine et lorsqu’il est nécessaire de faire passer un câble électrique au travers de la casquette, alors un trou est percé dans la casquette, au niveau des zones de passage de câble 50. En outre, lorsqu’un câble électrique passe au travers d’un trou de la casquette, un élément d’étanchéité, non-représenté, est de préférence disposé dans le trou de la casquette de sorte à entourer le câble électrique, pour ne pas diminuer les performances d’étanchéité du coffret 10. Un tel élément d’étanchéité est, par exemple, un presse-étoupe ou un passe-fil en caoutchouc.
- un dispositif de convoyage de préformes comportant un support, le dispositif de convoyage circulant le long du bâti selon une trajectoire (T) prédéterminée ;
- un mandrin monté mobiles en rotation autour de son axe longitudinal, sur le support du dispositif de convoyage,
- une autre portion du mandrin, opposée à ladite première extrémité, solidarisée à un organe d’entraînement pour mettre en rotation ledit mandrin, le dispositif pour le verrouillage et/ou le déverrouillage selon l'invention est caractérisé en ce qu’il comprend en outre :
-un moyen de verrouillage et/ou déverrouillage dudit moyen de fixation solidarisant le nez de tournette au mandrin de manière à verrouiller et/ou à déverrouiller le nez de tournette 64 du mandrin 60.
Selon un autre aspect de l'invention, le moyen de fixation comprend une partie mâle solidaire dudit nez de tournette et une partie femelle solidaire du mandrin, la partie mâle présente un filetage à l’une de ces extrémités et la partie femelle comprend un taraudage fileté complémentaire au filetage de la partie mâle.
Selon un autre aspect de l'invention, ledit moyen de fixation comprend une partie femelle solidaire du nez de tournette et une partie male solidaire du mandrin, la partie mâle présente un filetage à l’une de ses extrémités, la partie femelle comprend un taraudage fileté complémentaire au filetage de la partie mâle.
Selon un autre aspect de l'invention, le moyen de verrouillage et/ou déverrouillage étant solidarisé au bâti de l’unité de conditionnement thermique.
Selon un autre aspect de l'invention, ledit moyen de blocage comprend un vérin constitué d’un corps fixé au bâti et d’un piston apte à être déplacé pour prendre appui sur le nez de tournette pour l’immobiliser en rotation.
De préférence, le précurseur A présente une structure en paillettes avec une dimension de 1 à 2 μm ; et le précurseur B présente une structure particulaire avec une taille de particule de 100 à 300 nm.
Dans le procédé de préparation du matériau de cathode de phosphate de lithium-manganèse-fer dans la présente demande, le précurseur A de phosphate de manganèse avec une structure en paillettes de niveau micronique est d'abord préparé en utilisant la source de manganèse et la source de phosphore à une température particulière, puis le précurseur granulaire B de phosphate de fer à échelle nanométrique est préparé par un procédé de vieillissement chimique. Pendant le processus de mélange de ces deux précurseurs, du fait que le phosphate de fer à échelle nanométrique peut effectivement entrer dans l'espace interstitiel du phosphate de manganèse en paillettes au niveau micronique, l'uniformité de dispersion des deux est plus élevée, ce qui peut réduire la probabilité d'agglomération locale. En même temps, avant de préparer le matériau de cathode de phosphate de lithium-manganèse-fer, chaque matière première doit être soumise à un traitement de broyage humide. Dans ce processus, en raison de la plus grande surface spécifique, le phosphate de manganèse avec une structure en paillettes peut entrer pleinement en contact avec l'agent réducteur, ce qui permet de réduire efficacement le phosphate de manganèse et le phosphate de fer qui y sont chargés. Le produit présente un degré de réduction élevé et une uniformité de réduction, et il n'y aura pas trop d'impuretés ou de sous-produits produits.
De préférence, à l'étape (1), la source de manganèse est au moins une parmi le nitrate de manganèse, le chlorure de manganèse et le sulfate de manganèse, et la source de phosphore est au moins une parmi le dihydrogénophosphate d'ammonium, l'hydrogénophosphate de diammonium, le dihydrogénophosphate de sodium, l'hydrogénophosphate de disodium, l'acide phosphorique et le phosphate de sodium.
De préférence, à l'étape (1), la source de manganèse est préparée sous la forme d’une solution de source de manganèse et la source de phosphore est préparée sous la forme d’une solution de source de phosphore, les deux présentant une concentration molaire de 0,02 à 0,1 mol/L. Un rapport molaire de l'élément manganèse dans la solution de source de manganèse à l'élément phosphore dans la solution de source de phosphore est de (2:3) à (3:2).
De préférence, à l'étape (1), le séchage est effectué entre 55 et 65℃ pendant 8 à 18 h sous vide.
De préférence, à l'étape (2), la source de fer est au moins une parmi le nitrate de fer, le chlorure de fer et le sulfate de fer, et la source de phosphore est au moins une parmi le dihydrogénophosphate d'ammonium, l'hydrogénophosphate de diammonium, le dihydrogénophosphate de sodium, l'hydrogénophosphate de disodium, l'acide phosphorique et le phosphate de sodium.
De préférence, à l'étape (2), la source de fer est préparée sous la forme d’une solution de source de fer et la source de phosphore est préparée sous la forme d’une solution de source de phosphore, les deux présentant une concentration molaire de 0,8 à 1,2 mol/L. Un rapport molaire de l'élément fer dans la solution de source de fer à l'élément phosphore dans la solution de source de phosphore est de (1:1) à (1:3).
De préférence, à l'étape (2), le vieillissement est effectué pendant 3 à 8 h.
De préférence, à l'étape (2), le séchage est effectué à une température de 55 à 65℃ pendant 8 à 12 h.
De préférence, à l'étape (3), la source de lithium est au moins une parmi le carbonate de lithium, l'hydroxyde de lithium, l'acétate de lithium, l'oxalate de lithium, le chlorure de lithium et l'iodure de lithium, la source de phosphore est au moins une parmi le dihydrogénophosphate d'ammonium, l'hydrogénophosphate de diammonium et l'acide phosphorique, l'agent réducteur est au moins un parmi le glucose, le saccharose, l'acide citrique, l'acide ascorbique, l'acide malique, la vitamine C, l'acide oxalique, l'acide formique, l'alcool polyvinylique, le polybutadiène et le sulfure d'ammonium, et le dispersant est au moins un parmi l'éthanol et l'eau.
De préférence, à l'étape (3), un rapport molaire de l'élément manganèse dans le précurseur A à l'élément fer dans le précurseur B est de (1:1) à (1:9), et un rapport molaire de l'élément phosphore total dans le précurseur A, le précurseur B et la source de phosphore à une somme de l'élément manganèse dans le précurseur A et de l'élément fer dans le précurseur B est (1 à 1;1): 1.
Étant donné que les deux précurseurs préparés dans le procédé de préparation de la présente demande présentent une grande différence à la fois de morphologie et de taille, le précurseur B de phosphate de fer est chargé de manière équivalente dans l'espace interstitiel du précurseur A lors de la combinaison. Par conséquent, une distribution uniforme peut être obtenue dans les matériaux de cathode de phosphate de lithium-manganèse-fer avec différentes quantités de dopage de manganèse, en élargissant efficacement le champ d'application du procédé de préparation.
De préférence, à l'étape (3), un rapport billes/matériau dans le traitement de broyage à billes est de (5 à 15):1, une taille de particule de billes pour un broyage à billes est de 5 à 10 mm, et le traitement de broyage à billes est effectué pendant 3 à 8 h.
Pendant le mélange par broyage à billes des deux précurseurs, de la source de lithium et de l'agent réducteur, le rapport billes/matériau préféré et la taille de particule des billes pour un broyage à billes peuvent améliorer davantage l'uniformité de mélange de chaque matière première.
De préférence, à l'étape (3), un rapport massique d'une somme du précurseur A, du précurseur B, de la source de lithium et de l'agent réducteur au dispersant est de 1:(1,8 à 2,2).
Comme mentionné ci-dessus, les conditions de réglage pour le broyage à billes ont une grande influence sur la dispersion de diverses matières premières, en particulier l'agent réducteur, tandis qu'un meilleur effet de dispersion peut être obtenu en effectuant un broyage humide en utilisant les matières premières avec la condition décrite ci-dessus de rapport solide-liquide.
Les propriétés de validation qui sont testées sont généralement définies en termes : de cohérence : y a-t-il des contradictions dans les spécifications du modèle du système physique, que ce soit d’une façon globale ou locale ? de complétude : tous les comportements possibles du système physique ou d’un sous-ensemble du système physique, c’est-à-dire toutes les sorties possibles du système physique ou de ce sous-ensemble, quelles que soient les entrées, sont-ils prévus dans le modèle ? voire même éventuellement d’atteignabilité ou, au contraire, de restriction : un ensemble de valeurs données peut-il être atteint par les sorties possibles du système physique ou d’un sous-ensemble du système physique, ou au contraire inaccessible ?
L'invention s’applique plus particulièrement à un système informatique comportant un processeur, des moyens de stockage et une plate-forme logicielle constituée de plusieurs modules fonctionnels stockés dans les moyens de stockage et exécutables par le processeur, dans lequel : les moyens de stockage comportent un espace de définition du système physique par enregistrement d’un ensemble structuré de spécifications techniques exprimées dans un langage de modélisation prédéterminé ; et la plate-forme logicielle comporte un module fonctionnel de génération de premiers modèles de validation à partir de l’ensemble structuré de spécifications techniques et de propriétés de validation.
La plate-forme logicielle peut en outre comporter un module fonctionnel solveur d’application d’un éventuel premier solveur aux premiers modèles de validation engendrés, pour une vérification des propriétés de validation de l’ensemble structuré de spécifications techniques à partir des premiers modèles de validation.
Comme enseigné dans l’article de Pinquié et al, intitulé « Property Model Methodology: a case study with Modelica », publié dans Proceedings of Tools and Methods of Competitive Engineering le 9 mai 2016, l’ensemble structuré de spécifications techniques définissant le système physique est avantageusement exprimé selon une méthodologie PMM (de l’anglais « Property Model Methodology ») selon laquelle des entrées et sorties du système physique sont liées entre elles par des relations logiques de causes à effets formalisant le respect de propriétés données. Ces relations logiques prennent la forme de conditions PBR (de l’anglais « Property-Based Requirements »). Les propriétés de validation précitées, cohérence, complétude et/ou atteignabilité-restriction, sont alors testées sur tout ou partie des conditions PBR du système physique.
Comme enseigné dans ce même document, le langage de modélisation prédéterminé peut être Modelica (marque déposée), par exemple dans l’environnement logiciel libre OpenModelica (marque déposée), dans l’environnement logiciel propriétaire Dymola (marque déposée) ou autre. Dans ce cas, l’environnement logiciel impose au mieux un solveur compatible spécifiquement conçu pour recevoir en entrée les premiers modèles de validation engendrés sous OpenModelica, Dymola ou autre. Le résultat de la validation formelle est donc nécessairement limité par le solveur imposé. Parfois même il n’existe tout simplement pas d’outil solveur pour valider formellement les spécifications.
En variante, il est possible de définir et valider formellement le système physique à l’aide du langage de modélisation Simulink (marque déposée) dans l’environnement logiciel Matlab (marque déposée). Mais dans ce cas également, l’environnement logiciel impose un solveur compatible spécifiquement conçu pour recevoir en entrée les premiers modèles de validation engendrés sous Matlab, en l’occurrence le solveur SLDV (de l’anglais « SimuLink Design Verifier »). Le résultat de la validation formelle est là encore limité par le solveur imposé.
Il peut ainsi être souhaité de prévoir un système informatique, pour la validation formelle d’un système physique électronique ou électromécanique définissable par modélisation selon un principe d’ingénierie des systèmes, qui permette de s’affranchir d’au moins une partie des problèmes et contraintes précités.
Il est donc proposé un système informatique, pour la validation formelle d’un système physique électronique ou électromécanique définissable par modélisation selon un principe d’ingénierie des systèmes, comportant un processeur, des moyens de stockage et une plate-forme logicielle constituée de plusieurs modules fonctionnels stockés dans les moyens de stockage et exécutables par le processeur, dans lequel : les moyens de stockage comportent un espace de définition du système physique par enregistrement d’un ensemble structuré de spécifications techniques exprimées dans un langage de modélisation prédéterminé ; la plate-forme logicielle comporte un module fonctionnel de génération de premiers modèles de validation à partir de l’ensemble structuré de spécifications techniques et de propriétés de validation ; dans lequel : la plate-forme logicielle comporte un module fonctionnel solveur conçu pour appliquer au moins un solveur non applicable aux premiers modèles de validation ; pour chaque solveur non applicable aux premiers modèles de validation, la plate-forme logicielle comporte un module fonctionnel de génération, à partir de l’ensemble structuré de spécifications techniques, de requêtes exécutables par ce solveur pour la vérification des propriétés de validation de l’ensemble structuré de spécifications techniques ; et la plate-forme logicielle comporte en outre une interface, associée au module fonctionnel solveur, dédiée à la sélection d’un solveur parmi ledit au moins un solveur.
Ainsi, en fournissant une plate-forme logicielle capable d’intégrer de cette façon au moins un solveur sélectionnable non applicable aux premiers modèles de validation, pour un même ensemble structuré de spécifications techniques exprimées dans un langage de modélisation prédéterminé, le système informatique proposé permet d’exploiter une grande diversité de spécifications en proposant une souplesse dans leur validation formelle par solveur, sans être lié à un solveur spécifique qui serait dépendant du langage de modélisation choisi et imposé par ce dernier ou sans être entravé par un environnement logiciel sans outil solveur. Le module fonctionnel solveur devient en quelque sorte « universel » et ouvert à autant de solveurs que souhaité.
De façon optionnelle, le module fonctionnel solveur est également conçu pour proposer un premier solveur applicable aux premiers modèles de validation, pour une vérification des propriétés de validation de l’ensemble structuré de spécifications techniques à partir des premiers modèles de validation. L’interface est alors dédiée à la sélection d’un solveur parmi le premier solveur et ledit au moins un solveur non applicable aux premiers modèles de validation.
Le module fonctionnel solveur prend ainsi toute sa dimension de solveur universel apte à exploiter au mieux le langage de modélisation prédéterminé dans lequel sont exprimées les spécifications techniques.
De façon optionnelle également, la plate-forme logicielle comporte, pour chaque autre solveur que le premier solveur, un module fonctionnel de traduction d’un résultat de la vérification des propriétés de validation de l’ensemble structuré de spécifications techniques fourni par cet autre solveur en un résultat dans un format tel qui aurait été fourni par le premier solveur à partir de l’ensemble structuré de spécifications techniques pour la vérification des mêmes propriétés de validation de l’ensemble structuré de spécifications techniques.
De façon optionnelle également, chaque solveur est conçu pour produire une valeur booléenne de vérification de chaque propriété de validation de l’ensemble structuré de spécifications techniques indiquant si cette propriété de validation est vérifiée ou non pour l’ensemble structuré de spécifications techniques.
De façon optionnelle également, l’ensemble structuré de spécifications techniques est enregistré dans l’espace de définition du système physique sous une forme comportant au moins : un dictionnaire d’entrées du système physique prenant chacune la forme d’une paire formée d’une clé et d’une valeur associée à cette clé ; et un dictionnaire de sorties du système physique prenant chacune la forme d’une paire formée d’une clé et d’une valeur associée à cette clé, chaque sortie étant en outre associée à une liste d’au moins une relation logique de cause à effet formalisant le respect d’une propriété donnée.
De façon optionnelle également, pour au moins l’un dudit au moins un solveur non applicable aux premiers modèles de validation, le module fonctionnel de génération, à partir de l’ensemble structuré de spécifications techniques, de requêtes exécutables par ce solveur pour la vérification des propriétés de validation de l’ensemble structuré de spécifications techniques comporte : un sous-module fonctionnel de traduction des spécifications techniques dans un format commun d’interprétation prédéterminé autre que le langage de modélisation prédéterminé ; un sous-module fonctionnel de génération de deuxièmes modèles de validation à partir de l’ensemble structuré de spécifications techniques exprimées dans le format commun d’interprétation prédéterminé et des propriétés de validation ; et le cas échéant un sous-module fonctionnel de génération, à partir des deuxièmes modèles de validation, desdites requêtes exécutables par ce solveur pour la vérification des propriétés de validation de l’ensemble structuré de spécifications techniques.
De façon optionnelle également, pour au moins l’un dudit au moins un solveur non applicable aux premiers modèles de validation, le module fonctionnel de génération, à partir de l’ensemble structuré de spécifications techniques, de requêtes exécutables par ce solveur pour la vérification des propriétés de validation de l’ensemble structuré de spécifications techniques comporte : un sous-module fonctionnel de transformation de l’ensemble structuré de spécifications techniques exprimées dans le langage de modélisation prédéterminé en un ensemble d’équations à arbres syntaxiques ; et un sous-module fonctionnel de génération, à partir de l’ensemble d’équations à arbres syntaxiques, desdites requêtes exécutables par ce solveur pour la vérification des propriétés de validation de l’ensemble structuré de spécifications techniques.
Description générale Il convient en effet de limiter la consommation en énergie électrique des terminaux de communication, et par exemple des TPEs, à des moments où ils ne sont pas ou peu utilisés, et ce sans impact négatif sur leur fonctionnement, leur disponibilité, l’expérience des utilisateurs et la sécurité des données qui y transitent.
Pour atteindre les objectifs précités et surmonter les inconvénients de l’art antérieur, il est opportun de tirer profit de l’utilisation d’un mode de veille, ou état de veille (par opposition au mode de fonctionnement normal ou à l’état de fonctionnement normal), que peut occuper un terminal de communication, tel que par exemple un TPE, et dans lequel, bien qu’allumé, le terminal consomme très peu d’énergie électrique en comparaison avec ce qui est consommé lorsqu’il fonctionne normalement (c’est-à-dire en mode ou à l’état de fonctionnement normal).
De manière classique, les terminaux de communication sont en effet aptes à occuper un état de fonctionnement normal dans lequel ils sont immédiatement disponibles pour réaliser les fonctions pour lesquelles ils ont été conçus, et un état de veille dans lequel leur consommation en énergie électrique, mais également leur disponibilité, sont réduites.
Plus spécifiquement, en mode ou à l’état de fonctionnement normal, un TPE est disponible immédiatement pour réaliser des transactions, tandis qu’en mode veille ou à l’état de veille, il est nécessaire de le réveiller, c’est-à-dire de le faire sortir de son état de veille pour pouvoir l’utiliser.
De manière générale, lorsqu’un terminal de communication est en veille, certains, voire la plupart, des composants électroniques du terminal sont à l’arrêt, ce qui permet au terminal de communication de réduire sa consommation en électricité.
Selon une possibilité, le mode ou état de veille s’enclenche manuellement, c’est-à-dire que qu’un utilisateur va manipuler le terminal de communication de manière à le faire entrer en état de veille et lui faire consommer moins d’énergie que s’il était en cours de fonctionnement normal.
Selon une autre possibilité, le mode de veille peut également s’enclencher automatiquement, notamment à la suite d’une période d’inactivité du terminal durant laquelle aucune action sur le terminal ne s’est produite : le terminal, resté inactif durant une période de temps prédéterminée et paramétrable par l’utilisateur, se met alors à l’état de veille de manière automatique.Ce passage automatique à l’état de veille est avantageux.
En outre, la sortie de veille d’un terminal de communication, en d’autres termes son passage de l’état de veille (ou mode de veille) à l’état de fonctionnement normal (ou mode de fonctionnement normal) prend généralement moins de temps, et consomme moins d’électricité, qu’un allumage donnant lieu à un démarrage complet du terminal et à une initialisation de son système d’exploitation.
Il est donc nécessaire de permettre à un terminal de communication, et en particulier à un TPE, d’occuper un état de veille dès lors qu’il n’a pas vocation à être utilisé pendant un certain temps, tout en permettant une sortie de l’état de veille rapide, voire immédiate, en cas de nécessité de l’utiliser.
A cette fin, la présente demande concerne, selon un premier aspect, un procédé de sortie d’un état de veille d’un terminal de communication configuré pour occuper au moins un état de veille et comprenant un périphérique Bluetooth apte à communiquer selon le protocole Bluetooth à basse consommation avec un dispositif électronique distant, le procédé comprenant les étapes suivantes :