Analysis of Techniques for Verification of Coating Thickness Gauges

被引:0
作者
V. S. Sekatskii
O. A. Gavrilova
N. V. Merzlikina
V. N. Morgun
机构
[1] Sibirian Federal University,State Regional Center for Standardization
[2] Metrology,undefined
[3] and Testing Krasnoyarsk TsSM,undefined
来源
Measurement Techniques | 2019年 / 62卷
关键词
coating thickness gauges; verification; techniques; analysis;
D O I
暂无
中图分类号
学科分类号
摘要
An analysis of the structure and content of verification technique MP 002.D4-14, extends to coating thickness gauges TM-2, TM-3, TM-4, and TM-4T, technique MP 159-261-2016 for verification of SaluTrjn coating thickness gauges, and a technique for verification of coating thickness gauges regulated by GOST 8.502–84 is performed. It is shown that the first two techniques do not take into account the random component of the error, while the third technique does take into account the random component but not correctly. These factors all lead to a high probability of a wrong identification of a model of a thickness gauge that is, in reality, defective to be, instead, a working model or, on the other hand working devices may be incorrectly identified as being defective. To increase the reliability of the results of a verification of coating thickness gauges, recommendations that suggest incorporating them into the content of a verification technique regulated by GOST 8.502–84 are proposed.
引用
收藏
页码:762 / 768
页数:6
相关论文
共 50 条
  • [42] A feature-based classification of formal verification techniques for software models
    Sebastian Gabmeyer
    Petra Kaufmann
    Martina Seidl
    Martin Gogolla
    Gerti Kappel
    Software & Systems Modeling, 2019, 18 : 473 - 498
  • [43] Frequency response verification of analog circuits using global optimization techniques
    Seshadri, S
    Abraham, JA
    JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2001, 17 (05): : 395 - 408
  • [44] Chaining and Biasing: Test Generation Techniques for Shared-Memory Verification
    Andrade, Gabriel A. G.
    Graf, Marleson
    dos Santos, Luiz C. V.
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2020, 39 (03) : 728 - 741
  • [45] Terahertz In-Line Sensor for Direct Coating Thickness Measurement of Individual Tablets During Film Coating in Real-Time
    May, Robert K.
    Evans, Michael J.
    Zhong, Shuncong
    Warr, Ian
    Gladden, Lynn F.
    Shen, Yaochun
    Zeitler, J. Axel
    JOURNAL OF PHARMACEUTICAL SCIENCES, 2011, 100 (04) : 1535 - 1544
  • [46] How to support verification of object-oriented analysis model using HOL
    Aoki, T
    Hanada, M
    Katayama, T
    WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL 1, PROCEEDINGS: INFORMATION SYSTEMS, 1999, : 525 - 532
  • [47] A mechanical analysis of program verification strategies
    Ray, Sandip
    Hunt Jr., Warren A.
    Matthews, John
    Moore, J. Strother
    Journal of Automated Reasoning, 2008, 40 (04): : 245 - 269
  • [48] The Analysis of Existing Methods of Software Verification
    Bondarev, Sergei E.
    Chudinov, Maksim A.
    Prokhorov, Andrey S.
    PROCEEDINGS OF THE 2019 IEEE CONFERENCE OF RUSSIAN YOUNG RESEARCHERS IN ELECTRICAL AND ELECTRONIC ENGINEERING (EICONRUS), 2019, : 191 - 193
  • [49] Heterogeneous analysis and verification for distributed systems
    Steffen, B
    Margaria, T
    Classen, A
    SOFTWARE-CONCEPTS AND TOOLS, 1996, 17 (01) : 13 - 25
  • [50] Trajectory analysis for user verification and recognition
    Pao, Hsing-Kuo
    Fadlil, Junaidillah
    Lin, Hong-Yi
    Chen, Kuan-Ta
    KNOWLEDGE-BASED SYSTEMS, 2012, 34 : 81 - 90