Confronter exigences, simulation et mesure

Le critère de service compare moyenne(R)=37,0 °C à 35 °C au même instant 600 s et au point P : l’inégalité est satisfaite dans R. La limite porte sur la température à chaque instant jusqu’à 900 s. Les six répétitions ne décrivent ni une montée complète ni les instants avant et après 600 s. Leurs valeurs favorables ne donnent donc pas le maximum continu. Une moyenne spatiale serait encore une autre grandeur. La bonne conclusion conserve REQ-TEM satisfaite et REQ-MAX non évaluée côté données, sans transformer ce manque en réussite.

Erreur à éviter. utiliser la moyenne à 600 s comme maximum sur 900 s

Pourquoi elle échoue. Une moyenne de répétitions au seul instant 600 s a été substituée à une température à tous les instants. L’opération change à la fois l’indicateur et le domaine temporel ; son résultat favorable ne répond plus à REQ-MAX.

Comment la reprendre. Nommer la grandeur, le point et l’intervalle ; garder la limite non évaluée.

M1 fournit une température au cours du temps sous son hypothèse uniforme. À 600 s, il donne 37,357868 °C. Comme la loi nominale est croissante, son maximum continu sur 0–900 s vaut T(900)=37,878717 °C. Ce raisonnement utilise la loi et les bornes de l’intervalle ; quatre valeurs tabulées seules ne démontreraient pas la monotonie. Aucun terme ne décrit une paroi, une puissance ou deux positions. Le modèle ne peut donc fournir ni énergie consommée ni preuve d’absence de point chaud réel. Ces questions demanderaient d’autres données et d’autres sorties.

Erreur à éviter. présenter la courbe uniforme comme preuve de température sûre partout

Pourquoi elle échoue. L’uniformité du modèle est une hypothèse qui ne décrit ni paroi ni champ spatial observé. Prendre cette hypothèse pour une preuve rendrait les points chauds impossibles par définition, sans observation capable de les révéler.

Comment la reprendre. Restreindre la réponse aux sorties calculées et demander les données de la question absente.

En refroidissement, la loi part de 38 °C et décroît vers 20 °C. Le maximum continu sur l’intervalle est donc 38 °C à l’origine, même si la dernière valeur est proche de 20 °C. Un programme qui utilise toujours T(900) comme maximum passe le chauffage nominal mais échoue sur cet oracle. La formule max(T(0),T(900)) convient aux deux sens parce que cette loi est monotone. Pour une courbe de relevés inconnue, cette propriété ne serait pas acquise. Le test vérifie une règle logicielle précise ; il ne prouve aucune fidélité thermique de M1.

Erreur à éviter. prendre toujours la dernière température pour le maximum

Pourquoi elle échoue. La règle du dernier instant a été déduite du seul chauffage nominal. Elle ignore le sens d’évolution et échoue dès que la température décroît ; un programme peut donc passer ce nominal tout en calculant un mauvais maximum.

Comment la reprendre. Utiliser les extrémités et la monotonie démontrée de la loi, avec un oracle de refroidissement.

1. Le but. Vérifier REQ-REP, qui demande s ≤ 0,2 °C. Ce critère porte sur la dispersion des indications, pas sur l’incertitude de leur moyenne.

2. Calculer le centre des six répétitions R : 37,0 °C. La somme des carrés des écarts à ce centre vaut 0,10 °C².

3. Former l’écart-type d’échantillon. La variance vaut 0,10/(6 − 1) = 0,02 °C². Sa racine donne s ≈ 0,141421 °C.

4. Comparer la grandeur demandée au seuil. 0,141421 ≤ 0,2 : le critère de répétabilité est satisfait sur ce jeu. Comparer seulement 0,02 au seuil mélangerait variance et écart-type.

5. Calculer séparément uA si on en a besoin. Sous les hypothèses de répétition, uA = s/√6 ≈ 0,057735 °C concerne la moyenne. Utiliser ce nombre à la place de s rendrait artificiellement le test plus facile.

6. Conclure. REQ-REP est favorable dans les conditions de R. Ni s ni uA ne décrit un maximum entre les instants de V ou un budget complet d’incertitude. Dupliquer des lignes ne crée pas de cycles indépendants.

Erreur à éviter. comparer uA au seuil demandé pour s

Pourquoi elle échoue. s et uA portent la même unité mais pas sur le même objet statistique. Substituer la plus petite valeur uA au critère de dispersion le rend artificiellement plus facile, sans modifier les variations entre indications.

Comment la reprendre. Recalculer s avec n−1 et conserver uA dans son propre rôle.

Le résidu mesure moins simulation est négatif : la moyenne R est plus basse que M1 au même instant. Sa valeur absolue 0,357868 °C reste sous le seuil didactique 0,6 °C. Cela satisfait ce critère chiffré, sans identifier une cause ni établir une compatibilité métrologique complète. Un décalage de référence, d’origine temporelle, d’ambiante ou de dynamique pourrait intervenir. Modifier tau jusqu’à retrouver 37,0 °C ferait de R une donnée d’ajustement. Une nouvelle version demanderait d’autres données réservées avant de juger son accord prédictif.

Erreur à éviter. ajuster tau sur R puis présenter R comme validation réservée

Pourquoi elle échoue. Le paramètre est choisi après lecture de la donnée présentée comme test. Le résidu devient petit par construction, tandis que les autres causes possibles et la prédiction sur des données nouvelles ne sont toujours pas évaluées.

Comment la reprendre. Conserver M1 gelé, ou ouvrir une nouvelle version avec d’autres données réservées.

1. Le but. Vérifier si neuf indications sous 40 °C suffisent à établir la limite à tous les instants entre 0 et 900 s.

2. Séparer ce qui est relevé de ce qui manque. Le maximum des neuf points V vaut 37,6 °C à 900 s. Aucun de ces points ne dépasse 40 °C ; ce sont neuf résultats favorables aux instants observés.

3. Chercher la propriété qui permettrait de conclure entre les points. Le dossier ne fournit ni borne de variation ni autre information sur ces intervalles. On ne peut pas imposer gratuitement aux relevés la monotonie du modèle M1.

4. Tester la conclusion par un contre-exemple. Une courbe peut passer par 37,0 °C à 600 s et 37,4 °C à 750 s tout en montant au-dessus de 40 °C entre les deux. Cette possibilité logique n’est pas une nouvelle mesure et ne dit pas qu’un dépassement a réellement eu lieu.

5. Conclure séparément. Le maximum relevé est 37,6 °C ; le maximum continu côté données reste non évalué. M1 satisfait sa propre limite avec ses hypothèses et sa loi monotone.

6. Garder la preuve manquante visible. Une moyenne favorable, un faible résidu ou une bonne note ne valide pas cette exigence continue. Un seul point à 40,4 °C aurait au contraire suffi à la réfuter dans son scénario.

Erreur à éviter. déclarer le maximum continu satisfait parce que neuf points sont sous 40 °C

Pourquoi elle échoue. Les neuf indications ne décrivent que neuf instants. Sans borne de variation fournie, un dépassement intermédiaire reste possible ; appliquer gratuitement la monotonie de M1 aux relevés transformerait une hypothèse en résultat.

Comment la reprendre. Conserver le maximum relevé et le statut continu non évalué, sans compenser par les autres lignes.