排序方式: 共有5条查询结果,搜索用时 140 毫秒
1
1.
针对基于粗糙集理论的决策信息系统的特点,引入属性常量作为基本符号,对命题模态逻辑进行扩展,给出了扩展命题模态逻辑形式系统及其相关语义描述,说明每个基于粗糙集理论的决策信息系统均可通过扩展命题模态逻辑语义来表示.本文证明了基于扩展命题模态逻辑语义的决策信息系统表示定理,并给出了语义模型中对象的逻辑描述,特别是对基于等价关... 相似文献
2.
基于命题理论的信念修正是知识工程领域研究的重要内容,AGM公设是目前普遍认可的最为基本与直观的信念修正形式系统的假设.分析了命题运算的基本性质以及相关模型基本特点,以基于有穷命题变元的命题逻辑的模型集合为论域,定义了一种模型选择算子,并证明了由该算子导出的基于知识基的信念修正算子满足AGM公设. 相似文献
3.
由于硬件、软件或传输故障等,用于流量矩阵估计的简单网络管理协议(Simple Network Mamagement Protocol, SNMP)数据可能包含脏数据,从而影响流量矩阵的精度.针对这个问题,提出一种基于SNMP的脏数据处理模型,摆脱了原有SNMP脏数据处理需要源-目的节点对间流量大规模测量的限制.基于交替投影方法,对此模型提出求得L0范数最小的稀疏脏数据处理方法.该算法降低了网络测量开销和时间复杂度,易于实现.实验表明,该算法对脏数据校正也有较高精度. 相似文献
4.
研究了无穷计算的基本性质,引入基于相对可计算理论的过程模式可计算泛函概念。通过可计算性基本性质比较,证明了过程模式可计算泛函概念是部分递归泛函概念的扩展,即部分递归泛函类是过程模式可计算泛函类的真子集。 相似文献
5.
研究了无穷计算的基本性质,引入基于相对可计算理论的过程模式可计算泛函概念。通过可计算性基本性质比较,证明了过程模式可计算泛函概念是部分递归泛函概念的扩展,即部分递归泛函类是过程模式可计算泛函类的真子集。 相似文献
1