This paper introduces the implementation of a Z specification type checker, meanwhile the environment of type check, unification method, substitution strategy are also discussed.
本文介绍Z规格说明类型检查器的实现方法，并对类型检查的环境、一致化方法、替换策略和类型变量的应用等问题进行讨论。
This paper discussed the ring-fabricate of CT images according as GE's xenon-detector type CT, and summarized general check method.
本文以GE公司氙气探测器型CT为研究对象，讨论了CT图像环状伪影的图像表现，并给出了一般的检修方法。
This paper introduces the implementation of a new type network-oriented intelligent water meter-check system Photoelectric sensor is used to count the water wastage of water meter.
本文介绍了一种新型的智能式水表联网抄表系统，采用光电传感方式完成水表水量电子化信息的转换。
The Multiple Concatenated Parity Check-Code studied in this paper is this type of code, which has strong error-correcting ability.
本文所研究的多重级联奇偶校验码就是这种类型的具有很强纠错能力的差错控制编码。
The Multiple Concatenated Parity Check-Code studied in this paper is this type of code, which has strong error-correcting ability.
本文所研究的多重级联奇偶校验码就是这种类型的具有很强纠错能力的差错控制编码。
应用推荐