In rs knowledge obtained is decided by the objects relationship such as equivalence relation and simulation relations etc.

知识获取是根据对象间的某种关系如等价关系、相似关系等来定义。

youdao

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.

本文对仿真的算法和过程进行了阐述，以混合仿真和等价性验证为基础，提出了加快仿真和验证速度的措施。

youdao

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.

本文对仿真的算法和过程进行了阐述，以混合仿真和等价性验证为基础，提出了加快仿真和验证速度的措施。

youdao