文中分别对案例知识和经验知识进行了形式化描述，并建立了相应的诊断模型。
Case and experience knowledge are formally describing, and diagnosing model is built in this article.
提出一套形式化地描述时间特性的模型，使之能够描述带时间特性的授权约束。
A formal model is proposed to describe time character of constraint in this paper.
同时对该模型的核心模型进行了形式化描述和定义。
The formalized description and definition of the kernel model are also given.
同时对该模型的核心模型进行了形式化描述和定义。
The formalized description and definition of the kernel model are also given.
应用推荐