利用面向对象的框架语言实现了知识基离散仿真模型的表达、推理和实施。
In this paper, we realize the representation, reasoning and implementation of knowledge based discrete event simulation models by means of object oriented frame language.
它能精确地描述数字电路的时间特性，支持连续和离散的时间结构并能对时间信息进行推理。
Compared with propositional temporal logic, it can accurately describe the time feature of digital circuits and support discrete and continuous time structure.
应用推荐