同时,给出了关联系统的可靠性逻辑模型。
Meanwhile, the reliability logic model of associated system was provided.
分析了CRT系统实现的逻辑结构模型;
本文为道义模态逻辑D—系统建立布尔值模型。
The paper built a Boolean_valued model for the deontic logical D_system .
指数法计算方法较简单、实用;模型法具有较强的逻辑性和系统性;
Index method was relatively simple and practicable, and model method had obvious logicality and system.
指数法计算方法较简单、实用;模型法具有较强的逻辑性和系统性;
Index method was relatively simple and practicable, and model method had obvious logicality and system.
应用推荐