de calcul formel nécessite une connaissance approfondie du système et de ses limitations. En précisant... de l’utilité d’un investissement dans une formation sur le calcul formel. De nombreux exemples illustrent... ’équations non linéaires. Pour cette présentation, c’est le système de calcul formel Maple qui a été choisi, ce système... largement diffusé dispose d’une bibliothèque très riche et ouverte. Le calcul formel...
Les articles de référence permettent d'initier une étude bibliographique, rafraîchir ses connaissances fondamentales, se documenter en début de projet ou valider ses intuitions en cours d'étude.
Un assistant de preuve est un logiciel interactif permettant à son utilisateur de construire des démonstrations de façon semi-automatique, tout en garantissant la correction de ces démonstrations. Ce type d'outil est utile à la vérification de logiciel critique. Cet article présente Coq, assistant de preuve développé en coordination avec l’Inria, à travers un exemple de vérification d'une fonctio...
Les articles de référence permettent d'initier une étude bibliographique, rafraîchir ses connaissances fondamentales, se documenter en début de projet ou valider ses intuitions en cours d'étude.
Depuis le développement de la première application ferroviaire à base de logiciel, nommée SACEM, les méthodes formelles ont été largement utilisées et mises en œuvre par des industriels à différents niveaux (spécification, conception, code) et pour différents types d’applications (métros automatiques, sous-systèmes de signalisation, applications trains développées avec ControlBuild par exemple). ...
Les articles de référence permettent d'initier une étude bibliographique, rafraîchir ses connaissances fondamentales, se documenter en début de projet ou valider ses intuitions en cours d'étude.
Les données que vous utilisez dans le cadre de vos activités sont-elles suffisantes et représentatives de ce que vous souhaitez observer ? Si ce n’est pas le cas, vous risquez de prendre de mauvaises décisions. Cette fiche décrit différents cas d’utilisation courants des statistiques, en vous indiquant comment vous assurer que les données sont suffisantes, et ainsi vous rassurer quant à la qualité de vos décisions !
Amélioration des performances, Certification ISO 9001, Management intégré...
La robustesse d’une méthode d’analyse est une mesure de sa capacité à supporter sans conséquence de petites variations des paramètres internes à la méthode (pH, débit…). Il s’agit de variations de l’ordre de grandeur de celles qui pourraient se produire lors de la mise en application de la méthode en conditions normales d’usage. La robustesse permet donc d’évaluer la fiabilité d’une méthode dans ses conditions d’usage de routine.
Plusieurs guides de référence sont mis à la disposition des qualiticiens pour la validation de méthodes analytiques. Les travaux de la Commission d’harmonisation internationale (ICH pour International Conference Harmonisation) avec le guide Q2 (R1) constituent un des documents de référence en la matière. Notons que si la validation de la robustesse n’est pas listée dans les critères obligatoires définis par l’ICH pour la validation d’une méthode analytique, il est notoire que l’étude de la robustesse doit être considérée à une étape appropriée du développement de la procédure d’analyse.
Les fiches pratiques répondent à des besoins opérationnels et accompagnent le professionnel en le guidant étape par étape dans la réalisation d'une action concrète.
Les résultats de mesure ne sont pas parfaits. Chaque mesure est entachée d’une erreur qu’il convient de savoir estimer. En effet, de nombreuses décisions sont directement fondées sur des résultats de mesure. Il est donc important de pouvoir maîtriser le doute que l’on a sur la valeur du mesurande caractérisé. L’incertitude que l’on associe alors à un résultat de mesure permet de fournir une indication quantitative sur la qualité de ce résultat. Cette information est essentielle pour estimer la fiabilité d’un résultat de mesure.
Les fiches pratiques répondent à des besoins opérationnels et accompagnent le professionnel en le guidant étape par étape dans la réalisation d'une action concrète.
TECHNIQUES DE L'INGENIEUR
L'EXPERTISE TECHNIQUE ET SCIENTIFIQUE
DE RÉFÉRENCE
Avec Techniques de l'Ingénieur, retrouvez tous les articles scientifiques et techniques : base de données, veille technologique, documentation et expertise technique
Plus de 10 000 articles de référence, fiches pratiques et articles interactifs validés par les comités scientifiques
Toute l'actualité, la veille technologique, les études de cas et les événements de chaque secteur de l'industrie
SUIVEZ-NOUS
