在线自动检验包括两件事。
模型检验是自动检验有限状态并发系统的技术。
Model checking is a technique for automatically verifying finite-state concurrent systems.
本发明涉及“试剂反应杯及全自动检验检测仪器”属于医疗检测设备领域。
The present invention relates to a reagent reacting cup and a fully automatic inspection and detection instrument, which belongs to the field of medical detection equipment.
这使用户可以查看、编辑、调试和自动检验发到服务器的消息以及从服务器返回的AMF响应。
This enables viewing, editing, debugging and automatic verification of messages sent to the server and the AMF response returning from the server.
论文研究了UM L类图模型的语义一致性问题，提出了一种自动检验类图一致性的方法。
This paper explores the semantic consistency problem of UML class diagram, and proposes an approach to automatically check the consistency of a class diagram.
我们的子公司，Orbograph Ltd。为银行和其他金融机构开发并营销自动检验读取软体。
Our subsidiary, Orbograph Ltd., develops and markets automatic check reading software to Banks and other financial institutions.
锻件弯曲形态和参数的检测，不论是对于实现矫直过程的自动检测还是产品检验都是十分必需的。
It is very necessary to measure the pattern and parameters of the bending in automatic rectification and product inspection.
针对纺织服装生产中面料加工引起的疵点检验问题进行初步研究，实现针织面料的缝纫加工疵点的自动检测。
In the textile and clothing industry, few have been designed for fabric manufacture. This paper mainly researched on the knitted fabric stitching inspection.
燃料组件检查仪必须对以上项目进行自动检测，检测出各项具体数值，并且能够自动判断检验结果是否合格。
The fuel assembly test rig should inspect the items mentioned above, show the values of the items and judge the inspecting results automatically.
燃料组件检查仪必须对以上项目进行自动检测，检测出各项具体数值，并且能够自动判断检验结果是否合格。
The fuel assembly test rig should inspect the items mentioned above, show the values of the items and judge the inspecting results automatically.
应用推荐