We construct three kinds of systems of knowing action, prove that they have the frame soundness and frame completeness with respect to the matched semantics, respectively.
我们提出三类知道活动的系统，分别证明它们相对匹配的语义有框架可靠性和框架完全性。
A policy language was introduced and its syntax and semantics were defined formally, and control policies were given according to action characteristics of core models of Usage control (UCON).
在给出了一种策略语言后，对其语法和语义进行了形式定义，并根据使用控制(ucon)模型族的行为特性给出了控制策略。
The application of semantics description in practice can be beneficial to design process. It will strengthen reflection-in-action and be an effective guide to further inquiry.
在此基础上，提出将连续性形式语意描述应用于实践，能有利于设计过程的延续和行动反思的强化，是引导进一步探索的有效方式。
The application of semantics description in practice can be beneficial to design process. It will strengthen reflection-in-action and be an effective guide to further inquiry.
在此基础上，提出将连续性形式语意描述应用于实践，能有利于设计过程的延续和行动反思的强化，是引导进一步探索的有效方式。
应用推荐