决策的逻辑规范性要求

机译：命题投影时间逻辑的基于规范形式的决策程序和模型检查方法

机译：决策含义规范基础：逻辑观点

机译：双条件二元决策图：一种新颖的规范逻辑表示形式

机译：钢纤维钢筋混凝土（SFRC）在火灾中：规范性和规范性要求和码型规定

机译：使用国际标准识别，规范和测量分配给实时嵌入式软件的系统非功能性要求

机译：基于模糊逻辑和决策树的临床决策支持系统预测结直肠癌

机译：产科护理决策支持指南：模糊逻辑技术决策支持在产科护理决策中的应用：相对逻辑技术决策支持指南在产科护理中的应用：模糊逻辑技术的应用

机译：基于学习的线性时序逻辑规范马尔可夫决策过程综合控制方法。

机译：设计电路系统，扩展现有方法以评估电路设计的可行性，执行电路设计的可行性评估，完善电路设计的第一决策规则，形成电路设计的第二决策规则的方法电路设计，用于为多个预先设计的电路块组织设计者的经验数据，提高胶粘逻辑分配效率，并在设计块之间分配胶粘的多个逻辑元素，并分配胶粘逻辑以在集成电路设备设计中执行方案，转换特定于电路块的接口，选择电路收集器，设计一种包含使能设备测试以验证a正确操作的设备，并开发行为测试台，项圈接口和接口系统

机译：检查具有软件体系结构规范的软件产品的方法，包括确定产品的中央结构决策，其中确定代码结构和体系结构规范之间的一致性

机译：成员函数值的计算电路，决策电路，模糊逻辑处理器，成员函数值的决策方法和模糊逻辑定理方法