排序方式: 共有68条查询结果,搜索用时 15 毫秒
51.
引入一种新型的信息存储和管理技术目录服务 .分析和比较当前存在的两种目录服务技术 X.50 0和 LDAP,并以 LDAP在 PKI系统中的实现为例 ,进一步说明在一个具体应用中实现目录服务技术的特性 相似文献
52.
指出了Cialdea一阶模态逻辑归结系统是不完备的.为了确保推理系统的完备性,给出了Cialdea系统的两种修正方法. 相似文献
53.
给出了一个基于溯因推理信念修正的逻辑框架,并提出一个使用溯因方法,对带有约束条件的信念进行修正的算法.该算法得到的是优化解. 相似文献
54.
研究了命题模态逻辑,K,K4,D,D4,T,S4的“=”型模态逻辑结果S=U→V的自动推理。提出了证明“=”型模态逻辑结果的归结推理方法-强模态归结。证明了强模态归结的可靠性与完备性。 相似文献
55.
本文证明了在一定条件下,RUE-NRF演绎可以重写为使用归结和调解的演绎;通过反例说明RUE-NRF输入反驳与RUE-NRF单元反驳不等价及RUE-NRF线性反驳的不完备性. 相似文献
56.
对广义因果理论上基于模型诊断的一般过程进行形式化 ,对它与本原蕴涵 /蕴涵式的直接关系进行论证 ,从而将理论结果与实现联系起来 .表明该结果不仅能够计算只已知部件的部分故障行为方式时基于模型的诊断 ,还能够计算已知每个部件的各种故障行为方式下基于模型的诊断 ;指出对广义因果理论上基于一致性的中心诊断过程、中心溯因诊断过程的形式化只是文中给出形式化的特例 相似文献
57.
研究“零售业决策支持系统”中收银员调度问题和POS机管理问题的求解及实现. 通过收银员问题的调度模式指出相应的求解算法, 并针对不同的调度模式分别给出相应的数学模型、 用于解决POS机管理问题的模型和求解方法以及实现这些问题的求解系统. 相似文献
58.
本文重新定义了有序子句的有序因子,证明了在这种有序因子定义下的提升引理,进而在理论上得到了多重取因子的线性序归结方法的完备性. 相似文献
59.
60.
基于模型的诊断研究的主要问题是:在已知模型的前提下,对于产生非常行为的系统通过逻辑推理的方法找到那些能解释这种非正常行为的故障部件.但对于模型不完备的系统诊断问题的讨论很少,本文首次提出了借助其他系统进行辅助诊断的思想,在此基础上提出了一种针对模型不完备条件下的诊断方法,使得经典的诊断方法对于模型的依赖程度有所降低,从而解决了模型不完备给诊断问题所带来的困难.最后将这种方法和模型完备时的诊断效果做了比较. 相似文献