位置：成果数据库 > 期刊 > 期刊详情页
基于Horn子句集的Pr/T网可达树的方案求解
  • ISSN号：1004-731X
  • 期刊名称：《系统仿真学报》
  • 时间：0
  • 分类：TP181[自动化与计算机技术—控制科学与工程;自动化与计算机技术—控制理论与控制工程]
  • 作者机构：山东科技大学,信息科学与工程学院,山东,青岛,266510, 安徽理工大学数理系,安徽,淮南,232001 山东科技大学,信息科学与工程学院,山东,青岛,266510 山东科技大学,信息科学与工程学院,山东,青岛,266510
  • 相关基金：国家自然科学基金资助课题(60173053).
作者： 方欢, 吴哲辉, 崔焕庆
关键词： Horn子句, 谓词/变迁网, 可达树, 方案求解
中文摘要：

问题求解是当今人工智能领域研究的重点,在文中对于能用Horn子句集表示问题求解情境的一类问题,利用谓词/变迁网对其进行建模,详细分析了网系统模型的有界性,并借助网系统的可达树提出了一个求解问题解决方案的算法.最后给出一个例子对算法思想进行说明.

同期刊论文项目
组合时间Petri 网的同步理论与方法及其应用
期刊论文 27
同项目期刊论文
一种前向安全的代理多重签名方案
基于CPEBSDL通信协议的Petri网建模方法
多主体计划的Petri网方法及其研究
满足2PL协议的无死锁事务并发控制Petri网模型
多主体行为冲突的Petri网方法研究
某类有界时序Petri网的原型网形式的转化
Petri网进程的描述方法研究综述
几类合成网的性能分析
最大速度恒定的连续Petri网(CCPN)的性质判定及分解
基于颜色Petri网的TCP协议模拟和分析
基于Petri网的认证协议分析
MYCIN系统的模糊Petri网建模
一个基于时间petri网的多处理机静态调度的方法
可达性等价于状态方程可满足性的两个Petri-Nets子类
利用Petri网方法求解二次同余式:ax2+bx+c≡0(modp, p≥3,素数)
基于时间Petri网的密码协议分析
基于随机Petri网的乘积形式解存在的一个充分条件
无冲突可重复网极小活标识的配置
计算一类递归方程的增广Petri网模型
Petri网的公平分解和守恒分解
无界时延混合Petri网(UTHPN)的可覆盖性演变图及性质
扩展Petri网在实时数据库并发控制中的应用
两个智力问题的增广Petri网模型
Petri网的分层递归模型
用层次颜色Petri网模拟主体行为
基于同步合成的Petri网基本进程段求解算法
期刊信息
  • 《系统仿真学报》
  • 北大核心期刊（2011版）
  • 主管单位:中国航天科工集团公司
  • 主办单位:北京仿真中心 中国仿真学会
  • 主编：李伯虎
  • 地址：北京市海淀区永定路50号院
  • 邮编：100039
  • 邮箱：simu-xb@vip.sina.com
  • 电话：010-88527147
  • 国际标准刊号：ISSN：1004-731X
  • 国内统一刊号：ISSN：11-3092/V
  • 邮发代号:82-9
  • 获奖情况:
  • 国内外数据库收录:
  • 美国化学文摘（网络版）,荷兰文摘与引文数据库,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）
  • 被引量:51729