INPI-France/Brevets-Francais-2024-Chunked huggingface dataset:
Dans un mode de réalisation particulier, les moyens d’entraînement en rotation de l’élément tubulaire sont configurés pour produire un mouvement de rotation alternée de l’élément tubulaire, de sorte qu’en utilisation, l’élément tubulaire est apte à être mis en rotation, sur une plage angulaire déterminée, alternativement dans un sens de rotation donné, puis dans le sens de rotation inverse.
Selon un mode de réalisation, ledit module de filtrage est configuré, en cas de violation des droits d’accès de sécurité et/ou de privilège d’une ressource par une transaction, pour générer le deuxième signal d’erreur représentatif en outre du droit d’accès de compartimentation de cette transaction.
Selon un autre aspect, il est proposé un procédé de gestion de l’isolation de ressources d’un système sur puce, dans lequel : - le système sur puce comprend au moins un domaine de microprocesseur comportant un microprocesseur et au moins une ressource ; et - le procédé comprend, pour chaque ressource, une détection d’une violation de droits d’accès de sécurité, de privilège, et éventuellement de compartimentation de la ressource, par des transactions arrivant à la ressource, et, en cas de violation d’au moins un droit d’accès de la ressource par une transaction, une génération d’un premier signal d’erreur représentatif du droit d’accès violé de la ressource, et d’un deuxième signal d’erreur représentatif d’au moins un droit d’accès de cette transaction.
Selon un mode de mise en œuvre, le procédé comprend en outre un codage, à partir du premier signal d’erreur et du deuxième signal d’erreur, dans un registre de statuts accessible en lecture par le microprocesseur, d’une violation des droits d’accès de sécurité d’une ressource, d’une violation des droits d’accès de privilège d’une ressource d’un environnement sécurisé, et d’une violation des droits d’accès de privilège d’une ressource d’un environnement non-sécurisé.
Selon un mode de mise en œuvre, le procédé comprend en outre une communication d’une première interruption à un environnement non-sécurisé du microprocesseur, et/ou d’une deuxième interruption à un environnement sécurisé du microprocesseur, en fonction du cas détecté de violation des droits d’accès.
Selon un mode de mise en œuvre, la première interruption est générée en cas de violation des droits d’accès d’une ressource de l’environnement non-sécurisé, et la deuxième interruption est générée en cas de violation des droits d’accès d’une ressource de l’environnement sécurisé.
Selon un mode de mise en œuvre, en cas de violation des droits d’accès de sécurité et/ou de privilège d’une ressource par une transaction, le deuxième signal d’erreur est représentatif du droit d’accès de sécurité de cette transaction.
Selon un mode de mise en œuvre, le système sur puce comporte le premier domaine de microprocesseur et au moins un deuxième domaine de microprocesseur, et les ressources dudit premier domaine de microprocesseur et dudit au moins un deuxième domaine de microprocesseur ont des droits d’accès de compartimentation respectifs.
Selon un mode de mise en œuvre, le premier domaine de microprocesseur étant qualifié de confiance, ledit codage est fait dans le registre de statuts accessible en lecture par le microprocesseur dudit premier domaine de confiance, pour chacun desdits cas de violation des droits d’accès d’une ressource de l’un quelconque desdits domaines, par une transaction engagée depuis l’un quelconque desdits domaines.
Selon un mode de mise en œuvre, les communications de ladite première interruption et de ladite deuxième interruption sont faites au microprocesseur dudit premier domaine de confiance.
Selon un mode de mise en œuvre, ledit codage est fait dans un registre de statuts respectivement dédiée à chacun des domaines, accessible en lecture par le microprocesseur du domaine respectif, pour chacun desdits cas de violation des droits d’accès d’une ressource de l’un quelconque desdits domaines, par une transaction engagée depuis ledit domaine respectif.
Selon un mode de mise en œuvre, les communications de ladite première interruption et de ladite deuxième interruption sont faites au microprocesseur dudit domaine respectif.
Selon un mode de mise en œuvre, le premier domaine de microprocesseur étant qualifié de confiance, le procédé comprend en outre une communication d’une troisième interruption au microprocesseur du premier domaine de confiance, en cas de détection d’une violation des droits d’accès de compartimentation.
Selon un mode de mise en œuvre, en cas de violation des droits d’accès de sécurité et/ou de privilège d’une ressource par une transaction, le deuxième signal d’erreur est en outre représentatif du droit d’accès de compartimentation de cette transaction.
D’autres avantages et caractéristiques de l’invention apparaîtront à l’examen de la description détaillée de mode de réalisation et de mise en œuvre, nullement limitatifs, et des dessins annexés, sur lesquels :
La méthode proposée se base sur un algorithme particulier qui vise à estimer les couples (retard, permittivité relative) les plus probables qui correspondent aux différentes couches composant la structure du sol.
L’invention a pour objet une méthode de détermination de la permittivité relative d’un matériau comprenant les étapes de : Acquérir un ensemble de mesures à l’aide d’un radar à pénétration de sol muni de NRx antennes en émission et NTx antennes en réception disposées dans un plan parallèle à la surface du matériau, avec NRx et NTx deux entiers positifs au moins égaux à deux, l’ensemble de mesures étant constitué de réponses impulsionnelles pour chaque couple constitué d’une antenne en émission et d’une antenne en réception, Extraire de chaque réponse impulsionnelle, les composantes relatives à des trajets multiples du signal radar, sous la forme d’un vecteur donnant l’amplitude du signal en fonction de différentes valeurs de retards correspondant à différents trajets, Estimer, pour chaque antenne en émission, une coordonnée, dans le plan du radar, de chaque cible associée à un trajet en recherchant la coordonnée de l’antenne en réception qui maximise la réponse impulsionnelle, Calculer, pour plusieurs hypothèses de valeurs de permittivité relative du matériau, une estimée d’un retard du signal radar à partir d’un modèle de courbe hyperbolique défini par les caractéristiques du radar et les coordonnées de la cible associée à un trajet du signal, Rechercher, dans l’ensemble des composantes extraites des réponses impulsionnelles, pour chaque couple constitué d’une antenne en émission et d’une antenne en réception, au moins une amplitude associée à un retard le plus proche de l’estimée d’un retard calculé à l’étape précédente, Calculer, pour chaque antenne en émission, un coefficient de corrélation desdites amplitudes sur l’ensemble des antennes en réception, Itérer les trois étapes précédentes pour plusieurs valeurs de permittivité relative du matériau, Itérer les quatre étapes précédentes pour toutes les valeurs de retard correspondant à des trajets multiples du signal radar pour obtenir NTx matrices de corrélation donnant, pour chaque couple de valeur de permittivité relative du sol et valeur de retard, une valeur de coefficient de corrélation, Eliminer les valeurs des matrices de corrélation pour lesquelles le coefficient de corrélation est inférieur à un seuil de détection prédéterminé, Filtrer les valeurs restantes pour ne conserver qu’un vecteur contenant un ensemble de valeurs de retard toutes différentes et une valeur associée de permittivité relative du sol, En déduire, pour chaque couche du sol, une estimée de sa permittivité relative et de son épaisseur.
Selon un aspect particulier de l’invention, l’étape d’extraire de chaque réponse impulsionnelle, les composantes relatives à des trajets multiples du signal radar est réalisée au moyen d’un algorithme par haute résolution.
Selon un aspect particulier de l’invention, l’étape de calcul d’une estimée t d’un retard du signal radar est réalisée au moyen de l’équation hyperbolique suivante : Avec la coordonnée de la cible estimée, la coordonnée de chaque antenne en émission, la coordonnée de chaque antenne en réception, la distance entre une antenne en émission et une antenne en réception, la vitesse moyenne de propagation du signal dans le matériau, la valeur d’un retard estimée.
Selon un aspect particulier de l’invention, l’étape de rechercher au moins une amplitude associée à un retard le plus proche de l’estimée d’un retard calculé à l’étape précédente est réalisée en : Recherchant, pour chaque couple constitué d’une antenne en émission et d’une antenne en réception, l’amplitude associée au retard le plus proche de l’estimée d’un retard calculé, Définir une fenêtre temporelle de N+1 échantillons, N étant un entier positif au moins égal à 1, la fenêtre étant centrée sur l’amplitude sélectionnée à l’étape précédente et sélectionner N/2 valeurs d’amplitudes correspondants aux valeurs de retard comprises dans la fenêtre temporelle.
Selon un aspect particulier de l’invention, le coefficient de corrélation est calculé au moyen de la relation suivante : avec l’amplitude associée au retard le plus proche de l’estimée d’un retard calculé, p est l’indice dudit retard et est l’amplitude correspondant à l’indice temporel p j dans la dite fenêtre temporelle, est l’hypothèse de valeur de permittivité relative.
Selon un aspect particulier de l’invention, la valeur du seuil est comprise dans l’intervalle ] 0.5 ; 1 [
Selon un aspect particulier de l’invention, l’étape de filtrer les valeurs restantes comporte les sous étapes de : Sélectionner les couples qui présentent sensiblement les mêmes valeurs de retard pour toutes les antennes en émission, Ordonner les couples selon la valeur des retards, Lorsque plusieurs valeurs de permittivité relative consécutives sont sensiblement égales, conserver uniquement le couple ayant la valeur de retard la plus élevée.
Selon un aspect particulier de l’invention, lorsque plusieurs couples présentent sensiblement les mêmes valeurs de retard pour toutes les antennes en émission mais des valeurs de permittivité relative différentes, on conserve uniquement la valeur de permittivité relative qui maximise le coefficient de corrélation.
Selon un aspect particulier de l’invention, l’étape de déduire, pour chaque couche du matériau, une estimée de sa permittivité relative et de son épaisseur comporte les sous étapes de : Estimer la profondeur apparente de chaque couche à partir de chaque couple de valeurs de retard et de permittivité relative, Déterminer itérativement la permittivité relative de chaque couche en appliquant l’équation de Dix aux valeurs de retard et de vitesse de propagation, dérivée de la valeur de permittivité relative, Déterminer l’épaisseur de chaque couche à partir des valeurs de retard et de vitesse de propagation.
Selon un aspect particulier de l’invention, au cours de l’étape de déterminer itérativement la permittivité relative de chaque couche, lorsque deux trajets consécutifs conduisent à obtenir une vitesse de propagation imaginaire, le trajet, parmi les deux trajets, ayant le facteur de corrélation le plus faible est éliminé.
Selon un aspect particulier de l’invention, le matériau est multi-couches et la méthode comprend une phase préalable d’estimation de la permittivité relative de la première couche du matériau pour laquelle le modèle de courbe hyperbolique pour la première couche du matériau est un modèle asymptotique linéaire et la phase préalable comprend : une étape de détermination du trajet correspondant à la première couche comme celui qui maximise le coefficient de corrélation, la sélection de la permittivité relative associée audit trajet comme correspondant à la première couche, le calcul de l’épaisseur de la première couche à partir des valeurs de retard et permittivité relative associées au trajet.
Selon un aspect particulier de l’invention, le seuil de détection utilisé pour la première couche lors de la phase préalable a une valeur inférieure au seuil de détection utilisé pour les couches ultérieures.
Selon un aspect particulier de l’invention, le matériau est le sol.
L’invention a aussi pour objet un dispositif pour déterminer la permittivité relative d’un matériau comprenant un radar à pénétration de sol muni de NRx antennes en émission et NTx antennes en réception et une unité de traitement configurés pour mettre en œuvre les étapes de la méthode selon l’invention.
L’invention a aussi pour objet un programme d’ordinateur comprenant des instructions de code qui conduisent le dispositif selon l’invention à exécuter les étapes de la méthode selon l’invention ainsi qu’un support lisible par ordinateur, sur lequel est enregistré le programme d’ordinateur selon l’invention.
De plus, ce type de vérification a lieu sur un panneau de construction humide, souvent avant le séchage du panneau de construction, donc avant la formation complète des liaisons entre les cristaux de plâtre et de papier. Cela est dû notamment au fait qu’on souhaite éviter de bloquer les séchoirs par un décollement du papier lors du séchage du panneau. Ces vérifications de l’art antérieur sont effectuées aléatoirement sur quelques panneaux de construction, à des endroits différents de la ligne de fabrication, la fréquence de ces contrôles étant fonction de la variabilité des matériaux utilisés et de la stabilité du processus de fabrication sur cette ligne de fabrication. La liaison entre les matériaux des différents panneaux contrôlés n’en est donc pas au même stade de formation lors de ces vérifications. La seule durée prise par un opérateur pour contrôler un panneau influe sur la qualité de la liaison qu’il va évaluer manuellement. Des vérifications analogues ont lieu lors de la fabrication de panneaux de plâtre recouverts de fibres de verre.
Ces vérifications de l’art antérieur ne permettent donc pas de quantifier la qualité de la liaison entre les différents matériaux d’un panneau de construction, et encore moins de réaliser une quantification fiable et réalisée à l’identique pour tous les panneaux de construction d’une ligne de fabrication.
La présente invention vise à remédier au moins en partie aux inconvénients de l’art antérieur, en fournissant un procédé de contrôle d’une liaison entre les couches d’un panneau de construction, un dispositif associé et un procédé de fabrication d’un panneau de construction intégrant un tel procédé de contrôle, qui permettent de fiabiliser la quantification de la qualité de la liaison entre les couches du panneau de construction.
A cette fin, l’invention propose un procédé de contrôle d’une liaison entre au moins deux couches de matériaux d’un panneau de construction formé par découpage sur une ligne de fabrication d’un flux de couches de matériaux superposées et liées entre elles, de sorte à produire des panneaux de construction pourvus de tranches, le procédé de contrôle comportant une étape de détection d’un défaut de liaison entre les deux couches de matériaux, le procédé de contrôle étant caractérisé en ce que l’étape de détection comporte des sous-étapes :
- de capture d’image d’une tranche du panneau de construction, et
- d’analyse de l’image ainsi capturée.
Grâce à l’invention, le contrôle de la bonne adhésion entre une couche de plâtre ou de ciment du panneau de construction, et une couche externe du panneau de construction en papier ou matériau à base de fibres de verre, est effectué de la même manière sur les panneaux de la ligne de fabrication, sans arrachage manuel d’une couche externe d’un panneau de construction. En effet on utilise la capture d’image pour détecter un décollement naturel des couches de matériaux entre elles, dû à une formation insuffisante de la liaison entre ces couches de matériaux. De préférence, l’étape de détection a lieu en un même point de la ligne de fabrication pour tous les panneaux de construction contrôlés. De préférence encore, chaque panneau de la ligne de fabrication est contrôlé par le procédé de contrôle selon l’invention. Il est à noter que le panneau de construction comporte éventuellement des couches de matériaux différents du plâtre et du papier ou d’un matériau à base de fibres de verre, l’invention étant applicable à tout type de panneau de construction dont la fabrication peut amener des problèmes de décollement entre les couches de matériaux. Par exemple le matériau de construction comporte une couche interne de ciment recouverte de couches externes de papier ou de fibres de verre.
Selon une caractéristique avantageuse du procédé de contrôle d’une liaison selon l’invention, la sous-étape de capture d’image est précédée d’une sous-étape d’envoi d’un gaz sur la tranche du panneau de construction. Ce gaz est par exemple de l’air ou de la vapeur d’eau. L’envoi de vapeur d’eau peut permettre d’éviter une surchauffe du panneau lors d’une étape ultérieure de séchage.
Cette sous-étape d’envoi d’un gaz permet de favoriser le décollement des couches de matériaux lorsqu’elles ne présentent pas entre elles une liaison assez forte pour éviter ce décollement, et permet donc de quantifier la qualité de cette liaison. Il est à noter que ce décollement a lieu naturellement entre les couches de matériaux différents, et non entre deux sous-épaisseurs de papier comme cela peut arriver avec un arrachage manuel du papier sur un panneau de construction dans l’art antérieur.
Selon une autre caractéristique avantageuse du procédé de contrôle d’une liaison selon l’invention, lors de la sous-étape d’envoi du gaz, le gaz est envoyé à une pression prédéterminée comprise entre 1 et 6 bars. Cette pression relative (i.e. ajoutée à la pression atmosphérique) est par exemple maintenue à la même valeur pendant toute l’étape de détection, ou est modulée en fonction de l’arrivée du panneau de construction face à une caméra mettant en œuvre la sous-étape de capture d’image. Par exemple cette pression évolue suivant une rampe de pression. Un capteur de position du panneau de construction sur la ligne de fabrication permet de préférence d’interrompre l’envoi du gaz sous pression entre deux étapes de détection.
Selon une autre caractéristique avantageuse du procédé de contrôle d’une liaison selon l’invention, la sous-étape d’analyse fournit une valeur représentative d’un niveau de décollement entre les deux couches de matériaux sur au moins une partie de la tranche, et est suivie d’une sous-étape de comparaison entre la valeur représentative d’un niveau de décollement et un seuil de décollement prédéterminé. Cette valeur représentative est par exemple une mesure de décollement maximale entre deux couches de matériaux tel que visible sur l’image capturée, ou un décollement moyen entre ces deux couches, calculé suite à l’analyse de cette image capturée.
Préférentiellement, lorsque le panneau de construction comporte plus de deux couches de matériaux et ainsi au moins deux interfaces entre deux couches, la sous-étape d’analyse fournit une valeur représentative d’un niveau de décollement pour une unique interface entre deux couches ou pour les deux interfaces entre les couches de matériaux parmi les couches de matériaux du panneau de construction, chaque valeur représentative étant comparée au seuil de décollement prédéterminé lors de la sous-étape de comparaison.
Préférentiellement encore, la sous-étape de comparaison est suivie d’une sous-étape de diagnostic concluant à un défaut de liaison dès qu’au moins une valeur représentative fournie par la sous-étape d’analyse est supérieure au seuil de décollement, ou à une absence de défaut de liaison dans le cas contraire. Ce diagnostic est par exemple affiché sur un écran, ce qui permet à un opérateur d’éjecter le panneau de la ligne de fabrication en cas de défaut et/ou d’ajuster rapidement un paramètre de la ligne de fabrication.
L’invention concerne aussi un procédé de fabrication sur une ligne de fabrication de panneaux de construction comportant au moins deux couches de matériaux, le procédé de fabrication comportant des étapes :
- de superposition des couches de matériaux, produisant un flux de couches de matériaux superposées,
- de formation d’une liaison entre les couches de matériaux ainsi superposées, et
Selon un aspect, il est proposé un système sur puce comportant : - au moins un domaine de microprocesseur comportant un microprocesseur et au moins une ressource ; et - un système d’isolation des ressources comportant un module de filtrage pour chaque ressource et configuré pour détecter une violation de droits d’accès de sécurité, de privilège, et éventuellement de compartimentation de la ressource, par des transactions arrivant à la ressource, le module de filtrage étant configuré, en cas de violation d’au moins un droit d’accès de la ressource par une transaction, pour générer un premier signal d’erreur représentatif du droit d’accès violé de la ressource, et un deuxième signal d’erreur représentatif d’au moins un droit d’accès de cette transaction.
On notera en en effet que l’aspect défini ci-dessus peut s’appliquer sans prévoir nécessairement des droits d’accès de compartimentation.
Par exemple, le deuxième signal d’erreur est avantageusement représentatif d’au moins un droit d’accès autre que ledit droit d’accès violé de la ressource. Par exemple, le deuxième signal d’erreur est avantageusement représentatif au moins du droit d’accès de sécurité de la transaction. Par exemple, le deuxième signal d’erreur est avantageusement représentatif des droits d’accès de sécurité et de compartimentation de la transaction.
Les droits d’accès de sécurité et les droits d’accès de privilège sont des notions bien connue de l’homme du métier. Par exemple, pour un microprocesseur en mode sécurisé, un logiciel d’exploitation peut être utilisé avec des ressources qui ne sont pas accessibles dans un mode non-sécurisé. Dans le mode privilégié, le microprocesseur peut bénéficier de droits privilégiés pour des accès à des ressources qu’il n’aura pas dans le mode non-privilégié.
Le droit d’accès de compartimentation permet par exemple de définir une assignation d’au moins un équipement maître à certaines au moins des ressources (esclaves), ou bien une assignation de certaines au moins des ressources à au moins un équipement maître. Le droit d’accès de compartimentation s’applique en particulier lorsque le système sur puce comporte plusieurs domaines de microprocesseur, mais également plusieurs équipements maîtres dans un même domaine, tels que par exemple un microprocesseur et un circuit d’accès direct en mémoire « DMA » (pour « Direct Memory Access » en anglais).
Ainsi, le premier signal d’erreur et le deuxième signal d’erreur, combinés à la connaissance des règles d’isolation définies par les droits d’accès, permet avantageusement de déduire si l’événement de violation des droits d’accès s’est produit entre l’environnement sécurisé et l’environnement non-sécurisé, ou entre l’état privilégié et l’état non-privilégié dans l’environnement non-sécurisé, ou entre l’état privilégié et l’état non-privilégié dans l’environnement sécurisé, et encore l’identification de la provenance de la transaction en cause de l’événement.
Selon un mode de réalisation, le système d’isolation des ressources comporte en outre une unité de gestion d’accès illégaux configurée pour coder, à partir du premier signal d’erreur et du deuxième signal d’erreur, dans un registre de statuts accessible en lecture par le microprocesseur, une violation des droits d’accès de sécurité d’une ressource, une violation des droits d’accès de privilège d’une ressource d’un environnement sécurisé, et une violation des droits d’accès de privilège d’une ressource d’un environnement non-sécurisé.
Selon un mode de réalisation, l’unité de gestion d’accès illégaux est configurée pour communiquer une première interruption à un environnement non-sécurisé du microprocesseur, et/ou une deuxième interruption à un environnement sécurisé du microprocesseur, en fonction du cas détecté de violation des droits d’accès.
Selon un mode de réalisation, l’unité de gestion d’accès illégaux est configurée pour générer la première interruption en cas de violation des droits d’accès d’une ressource de l’environnement non-sécurisé, et pour générer la deuxième interruption en cas de violation des droits d’accès d’une ressource de l’environnement sécurisé.