利用面向对象的框架语言实现了知识基离散仿真模型的表达、推理和实施。
In this paper, we realize the representation, reasoning and implementation of knowledge based discrete event simulation models by means of object oriented frame language.
最后，利用类比推理的逻辑学理论得出单件小批订货型离散制造系统物流优化运行熵模型。
In the end, by the logic theory of analogism, the paper gets the logistics optimized model of operation entropy in discrete manufacturing system of job - shop ordering type.
它能精确地描述数字电路的时间特性，支持连续和离散的时间结构并能对时间信息进行推理。
Compared with propositional temporal logic, it can accurately describe the time feature of digital circuits and support discrete and continuous time structure.
它能精确地描述数字电路的时间特性，支持连续和离散的时间结构并能对时间信息进行推理。
Compared with propositional temporal logic, it can accurately describe the time feature of digital circuits and support discrete and continuous time structure.
应用推荐