切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于Petri网的知识库检验方法
基于Petri网的知识库检验方法
来源 :华中理工大学学报 | 被引量 : 0次 | 上传用户:sheabc000
【摘 要】
:
讨论了基于petri网的知识库一致性检验方法的实现;给出了知识库的一致性定义和Petri网建立知识库模型及一致性检验方法,为知识库的检验提供了一种有效方法.
【作 者】
:
王雪
史铁林
【机 构】
:
华中理工大学机械工程一系,华中理工大学机械工程一系
【出 处】
:
华中理工大学学报
【发表日期】
:
1993年1期
【关键词】
:
知识库
PETRI网
一致性
完备性
knowledge base
Petri net
consistency
completeness
【基金项目】
:
国家“八五”重点科技攻关项目
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
讨论了基于petri网的知识库一致性检验方法的实现;给出了知识库的一致性定义和Petri网建立知识库模型及一致性检验方法,为知识库的检验提供了一种有效方法.
其他文献
PECVD多晶硅膜的计算机模拟
在LPCVD理论模型基础上,通过引进“电子温度”,对PECVD多晶硅膜进行了计算机模拟分析。结果表明,频功率和反应室气压是影响PECVD淀积速率分布的两个因素,且两者受p=kW线性关系的制约,即对于一定的射频
期刊
半导体
多晶硅膜
PECVD
计算机模拟
semiconductors
polysilicon films
PECVD
computer simulati
MADALINES人工神经网络及其快速学习算法研究
在研究MADALINES人工神经网络中心差梯度学习算法(CDG)的基础上,提出了一种加速中心梯度学习算法(SCDG),给出了该算法收敛性的证明,在计算机上模拟实现了SCDG算法且分析了实验结果,理论分析与实验均表明,SCDG算
期刊
学习算法
语音处理
人工神经网络
ANN
learning algorithm
pattern recognition
speech processing
基于证据理论的不确定性分析
运用证据理论研究不确定性的表示问题.首先给出了证据获取过程的形式描述,区分了命题的不确定性和证据的不确定性.继而通过引入证据理论的基本概念,指出了构成证据不确定性的
期刊
人工智能
证据理论
不确定性
artificial intelligence
evidence theory
evidence uncertainty
c
损伤材料中扩展裂纹的应力场
利用Gurson本构理论,导出了损伤材料在平面应力条件下准静态定常扩展I型裂纹近裂纹线应力场和裂纹前方塑性尺寸的解析表达式。研究结果表明:随着材料损伤量的增加,裂纹尖端处应力降低;裂
期刊
本构理论
损伤材料
裂纹扩展
应力场
Gurson' s constitutive theory
damaged material
crack lin
监测与诊断系统中传感器信号可靠性的确认
根据设备监测与诊断系统诊断对象的复杂特点,提出了一种基于发生率的方法对传感器信号可靠性进行确认.通过在线采集一定时间内的数据,在规定的假设空间内,从证据中推导证据.
期刊
故障诊断
传感器
可靠性
diagnosing system
fault diagnosis
knowledgt-based system
sensor
NURBS插值曲面构造方法
探讨了NURBS插值曲面的构造方法,导出了两种插值曲面算法;第一种算法是将传统的B-Spline插值方法推广到四维空间而得到的算法;第二种算法是通过重新处理节点向量值得到的一种不使用边界条件、稳定性好、计算量小、对任意阶曲面都有效的方法.两种算法均能满足曲面性态要求,还给出了两种算法的运算结果,并对两种插值算法进行了比较.
期刊
NURBS
曲面
插值
算法
NURBS
surface
interpolation
algorithm
消弧线圈和MOA对配电网弧光接地过电压的限制
采用半隐格式数值算法对配电网弧光接地过电压发展过程进行了数值仿真;分析和讨论了消弧线圈和无间隙氧化锌避雷器限制过电压的一些特点。所提出的计算方法和结论可供配电系统
期刊
配电网
弧光接地
过电压
消弧线圈
power distributing system
overvoltage due to arcing ground
arc
使用单个自适应神经元的智能控制
提出一种适用于控制的自适应神经元模型以及使用单个自适应神经元的智能控制方法,描述了神经元的学习策略和收敛性,给出了神经元系统控制学习算法及其学习控制机理证明.实例
期刊
智能控制
自适应
神经元
学习策略
intelligent control
adaptive neuron
learning strategy
conve
产生式系统与神经元网络的结合
提出了产生式系统和神经元网络相结合的方法,研究了从推理网络转换到神经元网络的途径,研究了从神经元网络权矩阵转换到产生式规则的方法,从而使产生式系统能自动修正规则和获取
期刊
产生式系统
知识获取
神经元网络
production system
knowledge acquisition
inference network
le
改进并推广到三维接触问题的有限元混合法
提出一种改进的有限元混合法分析弹性接触应力,由于其中的柔度阵实现了对称化,故和通常的有限元混合法相比,不仅显著地提高了计算效率,而且减少了数据存储量.就考虑摩擦的三
期刊
有限元法
混合法
摩擦
接触问题
finite element method
mixed approach
3-D contact problem with
与本文相关的学术论文