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.
本文介绍了一种新型的智能式水表联网抄表系统,采用光电传感方式完成水表水量电子化信息的转换。
应用推荐