This paper presented a kind of dynamic expression model of digital right based logic license.
提出了一种基于逻辑证书的数字权利的动态描述模型。
Define the model of decision-making about defense based on cost analysis and providing an expression of defense knowledge based on predication logic.
定义了基于代价分析的防御决策模型，并提出了一种基于谓词逻辑的防御知识表示方法。
Using this model the scheme of the control system of belt conveyors is discussed and the logic rule expression that meets control requirements is gained.
利用该模型对皮带机控制系统的设计进行了探讨，并得到符合控制要求的逻辑规则表达式。
应用推荐