论文部分内容阅读
讨论了基于petri网的知识库一致性检验方法的实现;给出了知识库的一致性定义和Petri网建立知识库模型及一致性检验方法,为知识库的检验提供了一种有效方法.
基于Petri网的知识库检验方法
【摘 要】
：
讨论了基于petri网的知识库一致性检验方法的实现;给出了知识库的一致性定义和Petri网建立知识库模型及一致性检验方法,为知识库的检验提供了一种有效方法.
【机 构】
：
华中理工大学机械工程一系,华中理工大学机械工程一系
【出 处】
：
华中理工大学学报
【发表日期】
：
1993年1期
【基金项目】
：
国家“八五”重点科技攻关项目
其他文献
在ＬＰＣＶＤ理论模型基础上，通过引进“电子温度”，对ＰＥＣＶＤ多晶硅膜进行了计算机模拟分析。结果表明，频功率和反应室气压是影响ＰＥＣＶＤ淀积速率分布的两个因素，且两者受ｐ＝ｋＷ线性关系的制约，即对于一定的射频
在研究ＭＡＤＡＬＩＮＥＳ人工神经网络中心差梯度学习算法（ＣＤＧ）的基础上，提出了一种加速中心梯度学习算法（ＳＣＤＧ），给出了该算法收敛性的证明，在计算机上模拟实现了ＳＣＤＧ算法且分析了实验结果，理论分析与实验均表明，ＳＣＤＧ算
运用证据理论研究不确定性的表示问题.首先给出了证据获取过程的形式描述,区分了命题的不确定性和证据的不确定性.继而通过引入证据理论的基本概念,指出了构成证据不确定性的
利用Ｇｕｒｓｏｎ本构理论，导出了损伤材料在平面应力条件下准静态定常扩展Ｉ型裂纹近裂纹线应力场和裂纹前方塑性尺寸的解析表达式。研究结果表明：随着材料损伤量的增加，裂纹尖端处应力降低；裂
根据设备监测与诊断系统诊断对象的复杂特点,提出了一种基于发生率的方法对传感器信号可靠性进行确认.通过在线采集一定时间内的数据,在规定的假设空间内,从证据中推导证据.
探讨了NURBS插值曲面的构造方法,导出了两种插值曲面算法;第一种算法是将传统的B-Spline插值方法推广到四维空间而得到的算法;第二种算法是通过重新处理节点向量值得到的一种不使用边界条件、稳定性好、计算量小、对任意阶曲面都有效的方法.两种算法均能满足曲面性态要求,还给出了两种算法的运算结果,并对两种插值算法进行了比较.
采用半隐格式数值算法对配电网弧光接地过电压发展过程进行了数值仿真；分析和讨论了消弧线圈和无间隙氧化锌避雷器限制过电压的一些特点。所提出的计算方法和结论可供配电系统
提出一种适用于控制的自适应神经元模型以及使用单个自适应神经元的智能控制方法,描述了神经元的学习策略和收敛性,给出了神经元系统控制学习算法及其学习控制机理证明.实例
提出了产生式系统和神经元网络相结合的方法，研究了从推理网络转换到神经元网络的途径，研究了从神经元网络权矩阵转换到产生式规则的方法，从而使产生式系统能自动修正规则和获取
提出一种改进的有限元混合法分析弹性接触应力,由于其中的柔度阵实现了对称化,故和通常的有限元混合法相比,不仅显著地提高了计算效率,而且减少了数据存储量.就考虑摩擦的三