修正程序相关论文
基于逻辑程序的知识库更新方法研究的焦点在于处理知识库的冲突问题。但代价是更新时规则库增大很快，该文提出了“修正的逻辑程序知......
首先对SOLAS公约的发展历史和修正程序作了简要回顾,然后着重对该公约的内容、构成、性质以及监控机制等方面的重要发展进行了较详......
本文在逻辑程序的理论基础上引入一种规范知识库更新的形式化方法-修正程序，它允许使用逻辑程序的说明性语义和强制性语义来解释修......
光伏组件户外Ⅰ-Ⅴ测试受到环境因素的影响,测试结果存在较大的偏差。为提高光伏组件户外Ⅰ-Ⅴ特性测试的准确度,分析测试过程中存......
期刊
