切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
一种知识表达Petri网及其特性分析
一种知识表达Petri网及其特性分析
来源 :郑州大学学报(理学版) | 被引量 : 0次 | 上传用户:action005
【摘 要】
:
根据Horn子句的特点,定义了一种新的Petri网形式——HIPN网,给出了基于HIPN网的知识表达方式和从逻辑程序到HIPN模型的转换算法,论证了HIPN网的一些重要特性.基于HIPN模型的逻辑
【作 者】
:
王志坚
蔡自兴
【机 构】
:
广东商学院信息学院,中南大学信息科学与工程学院
【出 处】
:
郑州大学学报(理学版)
【发表日期】
:
2006年4期
【关键词】
:
PETRI网
HIPN
知识表达
逻辑推理
Petri net
HIPN
knowledge representation
logical inferenc
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
根据Horn子句的特点,定义了一种新的Petri网形式——HIPN网,给出了基于HIPN网的知识表达方式和从逻辑程序到HIPN模型的转换算法,论证了HIPN网的一些重要特性.基于HIPN模型的逻辑推理过程和现有求解方法相比,可以大幅减少重复推理,有效提高推理效率。
其他文献
2-维磁流体方程组整体经典解
利用分析技巧得到磁流体力学方程组新的对称形式.在此基础上,在初始密度趋于真空状态假设下,利用处理双曲方程组的方法证明了经典解的局部存在性,进而得到了经典解的整体存在性.
期刊
MHD流
整体经典解
存在性
MHD flow
global classical solution
existence
用整体染色透明法观察油杉花粉粒的结构
采用整体染色透明法对油杉花粉的个体发育过程进行了详细观察,以更清楚地显示油杉单核小孢子有丝分裂过程及其成熟花粉粒结构的特点.结果表明,单核小孢子经过连续4次有丝分裂
期刊
花粉粒
透明
染色
油杉
结构
个体发育过程
有丝分裂过程
成熟花粉
细胞组成
精原细胞
植物花粉
关键技术
小孢子
叶细胞
细胞型
单核
制片
Ketelee
多刚体广义单自由度振动体系频率分析
利用D’Alembert原理,对多刚体多质点单自由度振动体系的动力特性进行了分析,导出了体系的频率计算公式,该公式与单质点单自由度振动体系频率的计算公式相同,它适用于各种情况的
期刊
自由振动
频率
转动惯量
动力特性
free vibration
frequency
moment of inertia
dynamic characte
关于引力红移专著论述的注评
指出了现有广义相对论专著中关于引力红移论述存在的含糊和混乱,并对这些含混内容给予了澄清.
期刊
引力红移
专著
广义相对论
general relativity
gravitational red shift
comment
电化学沉积法制备氧化镍/镍电容器电极材料
在镀镍金属基底上,应用电化学方法阴极沉积氢氧化镍,经热处理得到氧化镍功能薄膜材料.用X-射线衍射(XRD)、傅立叶变换红外光谱(FTIR)和热重分析(TG)等技术对氢氧化镍和氧化镍
期刊
氢氧化镍
电极材料
电容器
循环寿命
比电容
功能薄膜
用电
膜材料
制备
镀镍
nickel oxide
ultracapacitor
electrode
确定性动态车辆调配问题分析
加强货运车辆的科学调配是开展货物运输优化组织工作的核心.根据货物运输作业过程的实际需求,提出动态车辆调配问题,明确给出确定性动态车辆调配问题的定义,并利用网络图对问题进
期刊
货物运输
车辆调配
作业过程
freight transportation
vehicle allocation
operation process
一种改进的冗余规则修剪方法
在修剪冗余规则已有算法的基础上,引入相关性这一概念,提出了一种改进的冗余规则修剪方法.实验结果证明该算法能够有效地减少关联规则的数量.
期刊
数据挖掘
关联规则
相关性
冗余性
修剪
fuzzy cluster
cyclic iteration
heart disease
forecast
纳米氧化铈的醇热合成及性能(英文)
采用醇热法制备了CeO2纳米材料,并以此为载体通过浸渍法制备了CuO/CeO2催化剂.XRD、TEM及N2吸附分析结果表明,所制备的CeO2比表面大且结构有序性好.TPR和XPS分析证实CuO/CeO2
期刊
醇热合成
CEO2
CuO/CeO2催化剂
CO氧化
alcohothermal synthesis
ceria
CuO/CeO2 catalyst
CO
并行自适应码流(P-AoB)图像编码算法
分析了三个算法,即嵌入式零树小波编码(EZW)、等级树编码(SP IHT)、内嵌块编码(EBCOT),提出了并行自适应码流图像编码算法.在通道内部,采用了块间剪裁算法,对于通道内小波系数的编码,加入了游程编码的思想.模拟实验证明,该算法并行性较高,在码流长度较小的情况下,效果显著.
期刊
彩色图像编码
位平面编码
小波变换
colorful image coding
bit-plane coding
wavelet transform
中文网络出版信息分类体系研究
为了规范网络出版信息的分类,对网络出版信息的分类现状进行了调查.调查发现,网络出版信息的分类存在着很大的随意性和不规范性.改变这种现状,使网络出版信息的分类规范化的途径是
期刊
网络出版信息
《中国图书资料分类法》
分类体系
超类
published information in Internet
Chinese Standardiz
与本文相关的学术论文