INPI-France/Brevets-Francais-2024-Chunked huggingface dataset:
Une solution consiste alors à augmenter le pas de discrétisation de la grille LGM, ce qui aura pour effet d’estimer de façon plus pessimiste le statut des cellules du fait des règles de détermination des statuts des cellules de la grille LGM (ces règles sont détaillées dans la description des étapes E2 et E3). Autrement dit, du fait des règles appliquées pour le calcul de l’état d’une cellule, en augmentant le pas de discrétisation on diminue les détections de faux négatifs, c’est-à-dire de cellules faussement libres, et du fait de l’augmentation de la longueur des cellules, on augmente la surface des zones faussement considérées comme occupées.
la est une représentation schématique d’un module d’éclairage selon l’invention pour véhicule ;
la est une représentation schématique d’un système de refroidissement dont est équipé le module d’éclairage de la selon un premier angle de vue, le système de refroidissement étant équipées des sources lumineuses du module d’éclairage de la ;
la est une représentation schématique du système de refroidissement de la selon un autre angle de vue et dépourvu des sources lumineuses du module d’éclairage ;
la est une vue éclatée du système de refroidissement illustré sur la .
Dans la description qui va suivre, on adoptera à titre non limitatif une orientation longitudinale, verticale et transversale selon l'orientation traditionnellement utilisée dans l'automobile. Une direction longitudinale L, une direction transversale T, et une direction verticale V sont représentées par un trièdre (L, V, T) sur les figures.
On définit un plan horizontal comme étant un plan perpendiculaire à la direction verticale, un plan longitudinal comme étant un plan perpendiculaire à la direction transversale, et un plan transversal comme étant un plan perpendiculaire à la direction longitudinale.
De plus, les termes « inférieur », « supérieur », « haut », « bas », « vertical » et « horizontal » doivent être interprétés lorsque l'objet est en position normale d'utilisation sur le véhicule.
Un module d’éclairage 1 selon l’invention, par exemple, destiné à être placé au niveau de dans un projecteur agencé à l’avant d’un véhicule automobile est illustré sur la . Avantageusement, le véhicule comprend deux modules d’éclairage selon l’invention qui sont disposés de part et d’autre d’un plan longitudinal et vertical médian du véhicule.
En référence à la et à la , le module d’éclairage 1 comprend une première source de lumière 7 et une deuxième source de lumière 9 aptes à émettre des rayons lumineux, un dispositif optique 11 configuré pour former et projeter au moins deux faisceaux lumineux distincts à partir des rayons lumineux émis par les sources de lumière 7, 9, et un système de refroidissement 101 des première et deuxième sources de lumière 7, 9.
Tel que le module d’éclairage est illustré sur la , les deux sources de lumière 7, 9, le dispositif optique 11 et le système de refroidissement 101 sont au moins en partie logés dans une cavité formée par l’assemblage d’une coque supérieure 3 et d’une coque inférieure 5 du module d’éclairage 1
La première source de lumière 3 comprend au moins un élément électroluminescent. Dans le mode de réalisation représenté sur la , l’élément électroluminescent est une LED. De préférence, la première source de lumière 7 comprend une pluralité de LEDs. Alternativement, la première source lumineuse peut comprendre au moins une OLED, au moins une AMOLED, au moins une LED laser, au moins une FOLED, au moins une matrice de LED ou au moins une de leurs associations.
Le deuxième source de lumière 9 comprend au moins un élément électroluminescent qui est une LED tel qu’il est illustré sur la . De préférence, la deuxième source de lumière 9 comprend une pluralité de LEDs. Alternativement, la deuxième source lumineuse peut comprendre au moins une OLED, au moins une AMOLED, au moins une LED laser, au moins une FOLED, au moins une matrice de LED ou au moins une de leurs associations.
Le dispositif optique 11 permet de former et projeter au moins un premier faisceau lumineux et au un deuxième faisceau lumineux, distinct du premier faisceau lumineux, à partir des rayons lumineux émis par la première source de lumière 7 et par la deuxième source de lumière 9. Le premier faisceau lumineux correspond par exemple à un faisceau lumineux de type « feu de croisement ». L’association du premier faisceau lumineux au deuxième faisceau lumineux forme par exemple un faisceau lumineux de type « feu de route », le deuxième faisceau lumineux formant alors la partie haute du feu de route.
Le dispositif optique 11 peut comprendre, comme dans cet exemple une première et une deuxième optique de mise en forme, non visible, configurée pour dévier les rayons lumineux émis respectivement par les première et deuxième sources de lumière 7, 9 vers l’avant du véhicule.
La partie 79 de la paroi formant la surface plane de la face avant peut comporter un capteur tactile d’interface de commande de menu 77 de l’ interface homme/machine 7. La face avant du dispositif de commande domotique D est donc une face d’un vitrage de l’écran tactile 76 et de la partie 79 montée en vis-à-vis du capteur de mouvement de chaleur 1 pour capter les ondes infrarouges traversant le vitrage. Le vitrage peut être en verre ou en résine. Une longueur d'onde d’un corps humain, à 37°C donc 310K, émet, un rayonnement de longueur d’onde environ 10 µm (infrarouge moyen), et le capteur de mouvement de chaleur 1 est donc agencé pour détecter des changements ou variation d’ondes infrarouges à travers le vitrage.
Le dispositif de commande domotique D comprend en outre une unité de commande 2 comprenant une entrée pour recevoir le signal analogique 10 du capteur de mouvement de chaleur 1. L’unité de commande 2 communique avec l’écran d’affichage 76 pour lui envoyer des informations ou recevoir des informations, par exemple de commande. L’unité de commande 2 et l’écran d’affichage 76 peut être former par un seul bloc.
L’unité de commande 2 comprend une première ligne comprenant un premier étage d’amplification et filtrage 3 et un convertisseur analogique numérique 50, reliés ensemble pour recevoir le signal analogique 10 du capteur de mouvement de chaleur 1.
Dans ce mode de réalisation, le premier étage d’amplification et filtrage 3 est en amont du convertisseur analogique numérique 50, et filtre le signal analogique 10 du capteur de mouvement de chaleur 1 en un premier signal analogique traité 310.
Dans cet exemple, le premier étage d’amplification et filtrage 3 comprend un amplificateur 30 et un filtre 31 en série l’un avec l’autre, et en particulier l’amplificateur 30 est en amont du filtre 31. Le filtre 31 est par exemple un filtre passe bande pour supprimer du bruit dans le signal analogique amplifié par l’amplificateur 30 et ainsi avoir en sortie le signal analogique traité (amplifié et filtré) 310. Le convertisseur analogique numérique 50 reçoit donc dans une première entrée analogique le premier signal analogique traité 310 pour le convertir en un premier signal numérique traité 501 ayant une valeur.
L’unité de commande 2 comprend en outre une deuxième ligne comprenant un deuxième étage d’amplification et filtrage 4, et le convertisseur analogique 50 numérique, reliés ensemble dans ce mode de réalisation à la première ligne pour recevoir le signal analogique filtré. Comme dans la première ligne, le deuxième étage d’amplification et filtrage 4 est en amont du convertisseur 50. Le deuxième étage d’amplification et filtrage 4 comprend un amplificateur 40 et un filtre 41 en série l’un avec l’autre. En particulier, l’amplificateur 40 est en amont du filtre 41. L’amplificateur 40 reçoit et amplifie le premier signal analogique traité 310 par l’amplificateur 4, le signal amplifié est filtré par le filtre 41 qui est par exemple passe bande pour supprimer du bruit dans le premier signal analogique traité 310 amplifié par l’amplificateur 40 et ainsi avoir en sortie un deuxième signal analogique traité 410.
Le convertisseur analogique 50 reçoit donc dans une deuxième entrée analogique le deuxième signal analogique traité 410 pour le convertir en un deuxième signal numérique traité 502 ayant une valeur.
L’unité de commande 2 comprend en outre un premier comparateur 51 relié à une sortie de la première ligne pour recevoir le premier signal numérique traité 501. Le premier comparateur 51 compare ce premier signal numérique traité 501 à un premier seuil S1 et produit un signal d’événement de proximité 510 lorsque la valeur du premier signal numérique traité 501 est supérieure au premier seuil S1. En l’occurrence dans cet exemple, le premier seuil S1 est paramétrable par l’interface Homme/machine 7 mais peut être aussi réalisée par une interface homme machine déportée. Dans le cas d’une interface homme machine déportée, celle-ci peut être réalisée en se branchant sur une connectique du dispositif de commande domotique D ou peut se connectée sans fil au dispositif de commande domotique D, auquel cas le dispositif de commande domotique D comprend un moyen de communication sans fil, par exemple wifi. L’interface homme machine déportée peut être celle d’un dispositif tel qu’un smartphone (téléphone avec écran tactile) ou un ordinateur ou une tablette.
L’unité de commande 2 comprend en outre un deuxième comparateur 52 relié à une sortie de la deuxième ligne pour recevoir le deuxième signal numérique traité 502. Le deuxième comparateur 52 compare ce premier signal numérique traité 502 à un premier seuil S2 et produit un signal d’événement de présence 520 lorsque la valeur du deuxième signal numérique traité 502 est supérieure au deuxième seuil S2. En l’occurrence dans cet exemple, le premier seuil S1 est paramétrable par l’interface Homme/machine 7 comme celui du premier seuil, mais peut être aussi réalisée par l’interface homme machine déportée décrite ci-dessus.
Le premier seuil S1 est une valeur numérique correspondant au premier signal numérique traité 501 après une variation du signal analogique 10 du capteur de mouvement de chaleur 1 correspondant à un mouvement de chaleur d’un humain à une première distance prédéterminée D1, (représentée sur la ). Par exemple, l’unité de commande 2 comprend une unité de calcul 22 comprenant une mémoire 21 et un microprocesseur 5 configuré pour commander et recevoir les instructions entre l’interface homme machine 7 et des programmes de commande de l’unité de commande 2 mémorisés dans la mémoire 21. Par exemple, un programme d’affichage d’un menu est affiché sur l’écran tactile, lorsque le capteur tactile d’interface de commande de menu 77 détecte une pression, le menu affiché comprenant un onglet pour choisir par exemple la première distance prédéterminée D1 et le microprocesseur 5 calcul ou détermine à l’aide d’une base de données dans la mémoire 21 le premier seuil S1.
Le deuxième seuil S2 est une valeur numérique correspondant au deuxième signal numérique traité 502 lors d’une variation du signal analogique 10 du capteur de mouvement de chaleur 1 correspondant à un mouvement de chaleur d’un humain à une deuxième distance prédéterminée D2 supérieure à la première distance prédéterminée D1.
La représente un exemple schématique de détection de mouvement de chaleur. Le dispositif de commande domotique D a dont dans cet exemple sa boite d’encastrement 9 encastrée dans un mur M. Dans cet exemple, la première distance prédéterminée D1 correspond à vingt centimètres et la deuxième première distance prédéterminée D2 correspond à 4.5m.
Autrement dit, si l’événement est un événement de proximité 511, soit une partie humaine passant donc dans cet exemple à moins de 20cm du dispositif de commande domotique D, le signal analogique 10 du capteur de mouvement de chaleur 1 va comprendre une variation de signal ou un signal correspondant à cette variation et la première ligne va produire le premier signal numérique traité 501 ayant une valeur supérieure au premier seuil S1 mais la deuxième ligne va produire le deuxième signal numérique traité 502 ayant aussi une valeur supérieure au deuxième seuil S2. En effet, s’il y a un événement de proximité 511 il y a par définition un événement de présence 521.
L’unité de commande 2 est configurée pour transmettre un signal de commande au dispositif lumineux 6 lorsque la valeur du premier signal numérique traité 501 est supérieure ou égal au premier seuil S1, c’est-à-dire un signal d’événement de proximité 510 à la sortie du premier comparateur 51 correspondant à un événement de proximité 511.
L’unité de commande 2 peut être configurée pour transmettre un signal de commande à un dispositif domotique externe 8 lorsqu’il y a un signal d’événement de présence 520 en sortie du deuxième comparateur 52 correspondant à un événement de présence 521.
L’unité de commande 2 peut aussi être configurée pour détecter un événement de présence seul 522 lorsqu’il y a uniquement un signal d’événement de présence 520 en sortie du deuxième comparateur 52, c’est-à-dire lorsqu’ la valeur du premier signal numérique traité 501 est inférieure au premier seuil S1 et que la valeur du deuxième signal numérique traité 502 est supérieure ou égal au deuxième seuil S2.
A titre d’exemple, supposons qu’un appel à une fonction système nécessite deux arguments d’entrée de la part d’un fichier appelant. Il est tout à fait possible qu’à la suite d’une erreur de codage, le fichier appelant ne fournisse qu’un seul argument d’entrée. Cette erreur n’est pas détectée à la compilation. La résolution de l’appel de la fonction système par le fichier appelé utilise alors silencieusement une valeur non définie pour le second argument. Ceci reste la plupart du temps sans conséquence, mais peut se révéler dans des situations particulières et avoir des conséquences imprévisibles.
Ainsi, une mauvaise programmation des fonctions « externes » dans un code source est souvent synonyme de dysfonctionnements graves et/ou de failles de sécurité difficiles à détecter, d’autant plus lorsqu’ils se révèlent tardivement dans le cycle de développement du logiciel.
On connaît des outils de vérification, tels que la vérification de modèle (« Model Checking » en anglais) ou la vérification formelle, qui permettent de garantir que les contrats des fonctions « externes » sont bien respectés.
Cependant, la contrainte principale de ces outils est que leur mise en œuvre demande l'écriture de nombreuses annotations dans le code source uniquement compréhensible par l’outil de vérification lui-même et non pas par le compilateur.
Ce travail d'annotation du code source est non trivial et constitue une charge de travail significative.
De plus, l'utilisation de ces outils est totalement indépendante de la phase de compilation (le logiciel pouvant être générer même s’il ne respecte pas les annotations) et demande une double compétence, à la fois du langage du code source et de la sémantique de l’outils de vérification.
De plus, la difficulté de mise en œuvre de ces outils croît significativement avec la taille du code à garantir. Ces outils s’accommodent généralement mal avec le besoin de maintenance évolutive d’un code : à chaque modification du code, tout le processus de vérification doit être repris.
Il y a donc un besoin de pouvoir vérifier automatiquement le bon emploi d’une fonction « externe » (notamment d’une fonction système) dans un code source.
Le but de la présente invention est de répondre à ce besoin.
Pour cela l’invention a pour objet, côté appelant, un procédé de génération d’un fichier exécutable appelant, adapté pour être exécuté dans un mode appelant d’un processeur, tout en faisant appel à une fonction « externe » définit dans un fichier exécutable appelé, adapté pour être exécuté dans un mode appelé dudit processeur, le procédé consistant à : fournir une librairie comportant un méta-modèle définissant un prototype pour les appels à des fonctions « externes » et une pluralité de modèles, chaque modèle correspondant à une instanciation du méta-modèle pour une fonction « externe » particulière et implémentant une interface côté appelant définissant une fonction dite « interne » côté appelant et une interface côté appelé définissant une fonction dite « interne » côté appelé ; éditer un fichier source appelant du fichier exécutable appelant, le fichier source appelant comportant un appel à la fonction « interne » côté appelant, l’exécution par l’interface côté appelant de la fonction « interne » côté appelant consistant à appeler la fonction « externe » associée audit modèle et à renvoyer le résultat de l’exécution de ladite fonction « externe » par le code appelé ; compiler le fichier source appelant avec la librairie, le compilateur vérifiant que l’appel de la fonction « interne » côté appelant est conforme au contrat de ladite fonction « interne » côté appelant et la conformité au contrat de la fonction « externe » étant garantie par construction du modèle associé, de sorte que le fichier exécutable appelant obtenu est cohérent.
L’invention a également pour objet, côté appelé, un procédé de génération d’un fichier exécutable appelé, adapté pour être exécuté dans un mode appelé d’un processeur, le fichier exécutable appelé définissant une fonction « externe » pouvant être appelée par un fichier exécutable appelant, adapté pour être exécuté dans un mode appelant dudit processeur, le procédé consistant à : fournir une librairie comportant un méta-modèle définissant un prototype pour les appels à des fonctions « externes » et une pluralité de modèles, chaque modèle correspondant à une instanciation du méta-modèle pour une fonction « externe » particulière et implémentant une interface côté appelant définissant une fonction dite « interne » côté appelant et une interface côté appelé définissant une fonction dite « interne » côté appelé ; éditer un fichier source appelé du fichier exécutable appelé, le fichier source appelé comportant un appel à la fonction « interne » côté appelé, l’exécution par l’interface côté appelé de la fonction « interne » côté appelé consistant à recevoir l’appel à la fonction « externe » associée audit modèle et à renvoyer le résultat de l’exécution de ladite fonction « externe » par le code appelé ; compiler le fichier source appelé avec la librairie, le compilateur vérifiant que l’appel de la fonction « interne » côté appelé est conforme au contrat de ladite fonction « interne » côté appelé et la conformité au contrat de la fonction système « externe » étant garantie par construction du modèle associé, de sorte que le fichier exécutable appelé obtenu est cohérent.
- l’appel à une fonction « interne » côté appelant ou côté appelé conduit l’interface correspondante côté appelant ou côté appelé à construire une instance des arguments d’entrées de la fonction « externe » avant d’appeler la fonction système « externe » sur ladite instance.
- l’appel à une fonction « interne » côté appelant ou côté appelé conduit l’interface correspondante côté appelant ou côté appelé à renvoyer des arguments de sortie correspondant à ceux de la fonction « externe ».
- la fonction « externe » est une fonction système.
- le mode appelant est un mode utilisateur du processeur et le mode appelé est un mode superviseur du processeur.
Le banc d’essai peut comporter en outre un capteur de température.
Les valeurs suivantes sont mesurées simultanément et en continu avec un pas de temps = 1000 ms :
le débit en m/s la pression différentielle aux bornes du diaphragme en Pa grâce au capteur 100, la pression différentielle à distance du diaphragme en Pa pour mesurer les pertes de charge occasionnées sur le réseau, grâce au capteur 101, et la température de l’écoulement d’air en °C pour corriger la masse volumique de l’air.
On a représenté à la les mesures obtenues pour un dispositif tel que celui décrit en référence à la , comportant comme organe déprimogène 8 un diaphragme de diamètre d’ouverture 115.1mm, et dont la chambre de compression/détente 4 est cylindrique et présente une longueur d’environ 4D et un diamètre intérieur constant d’environ 2D.
Les points de mesure sont représentés en deux groupes selon les conditions d’essais:
un premier groupe G1 pour les mesures obtenues dans les conditions d’essais normatives précitées (gaine droite 120 de longueur 12D en amont du conduit d’entrée 2), un second groupe G2 pour les mesures obtenues en « conditions réelles « (gaine souple 130 de longueur 30D en amont du conduit d’entrée 2)
Les courbes MAX et MIN en pointillé représentent les erreurs minimum et maximal admises par le référentiel EUROVENT NF 205 décrit ci-dessus.
Le coefficient moyen calculé à partir de ces mesures et caractérisant le dispositif, est estimé à 45.043.
L’écart type correspondant, sur l’ensemble des mesures effectuées, s’élève à environ 0.370, ce qui est relativement faible ; cela indique que les mesures effectuées en conditions « réelles » (groupe G2) se rapprochent de manière satisfaisante des conditions normatives (groupe G1), c’est-à-dire comportant les longueurs de tranquillisation recommandées. Cela indique aussi que les mesures en conditions réelles sont suffisamment proches pour être répétables quelle que soit la configuration du réseau.
Similairement, on a représenté à la les mesures obtenues pour un dispositif 1 tel que celui décrit en référence à la , comportant comme organe déprimogène 8 un diaphragme de diamètre d’ouverture 116.6 mm, et dont la chambre de compression/détente 4 présente une section transversale de diamètre intérieur variable, et est longueur d’environ 2D.
Les mesures obtenues sont regroupées selon les mêmes groupes G1 et G2 que précédemment décrits.
Le coefficient moyen calculé à partir de ces mesures et caractérisant le dispositif, est estimé à 46.843, avec un écart-type qui reste relativement faible, à 1.164, indiquant que la mesure du débit en « conditions réelles » (groupe G2) est cohérente avec celle en conditions normatives (groupe G1) et que les mesures en conditions réelles restent répétables quelle que soit la configuration du réseau.
Ainsi, on montre avec les courbes de caractérisation qu’il est possible grâce au dispositif de l’invention de s’affranchir des longueurs de tranquillisation encombrantes tout en préservant une fiabilité de mesure satisfaisante.
Comme mentionné plus haut, la chambre de compression/détente 4 peut présenter toute forme et dimensions adaptées pour induire une détente/compression dans l’air la traversant.
Les conduits d’entrée 2 et de sortie 4 peuvent chacun être de diamètre hydraulique intérieur différent. De préférence, leur section est dimensionnée de manière à faciliter leur raccordement au réseau de ventilation dans lequel on souhaite mesurer le débit.
Optionnellement, lors d’une étape 120 d’entrainement du modèle, le module d’entrainement 70 applique au modèle l’algorithme préliminaire d’apprentissage par renforcement, afin de l’entrainer au suivi de la trajectoire.
Pour cela, lors d’une première sous-étape de réception 122, la deuxième unité de réception 91 reçoit, depuis le dispositif de génération 20 et aux instants de réception préliminaires, les variables d’état préliminaires de l’aéronef.
Pour chaque instant de réception préliminaire, lors d’une première sous-étape de modification 124, la deuxième unité de modification 92 évalue la fonction de récompense préliminaire à partir des variables d’état préliminaires reçues, par exemple à l’aide de l’équation (4) précédente. La deuxième unité de modification 92 modifie ensuite les poids du modèle, en fonction de la valeur de la fonction de récompense préliminaire, selon une technique connue en soi.
Pour chaque instant de réception préliminaire, lors d’une première sous-étape de détermination 126, la deuxième unité de détermination 93 détermine les commandes préliminaires, par exemple en appliquant le modèle modifié aux variables d’état préliminaires reçues.
Pour chaque instant de réception préliminaire, le module d’entrainement 70 transmet au dispositif de génération 20, les commandes préliminaires déterminées. Le module d’entrainement 70 attend ensuite de recevoir, depuis le dispositif de génération 20, les variables d’état préliminaires de l’aéronef à l’instant de réception préliminaire suivant. Puis, le module d’entrainement 70 réitère les premières sous-étapes de réception 122, de modification 124 et de détermination 126.