·2,447,543篇论文数据，部分数据来源于NoteExpress
In rs knowledge obtained is decided by the objects relationship such as equivalence relation and simulation relations etc.
知识获取是根据对象间的某种关系如等价关系、相似关系等来定义。
This paper expands the algorithm and process of simulation, and then put forward new measures to accelerate it using cc simulation method and equivalence checker.
本文对仿真的算法和过程进行了阐述，以混合仿真和等价性验证为基础，提出了加快仿真和验证速度的措施。
应用推荐