In this article, we have detailed discussions on the logic structure, the functional modules and the major system implementation methods of the General Settlement system.
文中对综合结算系统的逻辑结构、功能模块的划分和重点部分的实现方式进行了较详细的讨论。
A general introduction was made on effect, control principle and PLC logic control of the loop control system in high speed rod rolling.
概述活套控制系统在高速线材轧制中的作用、控制原理、PLC逻辑控制及活套调节对精轧机和夹送辊、吐丝机之间张力的影响。
After the study on the problems of formal specification and verification for network protocols, this paper gives out a general model system based on the temporal logic.
本文通过对网络协议形式化描述和验证问题的研究，针对网络协议的特性，给出了一种基于时态逻辑的模型系统。
应用推荐