模糊有色Petri网的形式化推理算法研究

Research on Formalized Reasoning Algorithm Based on Fuzzy Colored Petri Net

下载PDF

导出

摘要 Petri网以其图形化的表示方式广泛应用于形式化推理中。基于模糊有色Petri网的形式化推理算法,以系统内部事务之间的逻辑关系为依据,充分利用模糊Petri网在分析不确定知识中的优势,通过知识模糊、库所抽象、转换抽象实现层次化的知识表示和知识推理,并结合有色Petri网对系统规模作适当约简,从而构造出了一种新型的模糊着色网(FCPN)知识表示和获取模型,有效弥补了传统Petri网在实际应用中的缺陷,使模糊推理过程更加简单且易于实现。 Petri网以其图形化的表示方式广泛应用于形式化推理中。基于模糊有色Petri网的形式化推理算法,以系统内部事务之间的逻辑关系为依据,充分利用模糊Petri网在分析不确定知识中的优势,通过知识模糊、库所抽象、转换抽象实现层次化的知识表示和知识推理,并结合有色Petri网对系统规模作适当约简,从而构造出了一种新型的模糊着色网(FCPN)知识表示和获取模型,有效弥补了传统Petri网在实际应用中的缺陷,使模糊推理过程更加简单且易于实现。

作者马良荔陈杰汪丽华

机构地区海军工程大学电子工程学院中国载人航天工程办公室 [

出处《计算机科学》 CSCD 北大核心 2012年第S3期256-258,共3页 Computer Science

关键词模糊有色PETRI网形式化方法 Fuzzy Colored Petri net Formalized

分类号 TP3 [自动化与计算机技术—计算机科学与技术]

引文网络
相关文献

参考文献5

1潘洪军,孙吉贵,亓常松.层次化模糊Petri网:形式化定义和推理[J].吉林大学学报（工学版）,2007,37(1):111-116. 被引量：4
2胡志刚,陈华全,谌任.基于有色Petri网的网格调度模型的研究[J].计算机工程,2006,32(18):67-69. 被引量：4
3苏宏升,李群湛.基于着色Petri网模糊专家系统的研究[J].计算机工程与应用,2005,41(36):192-194. 被引量：2
4陈亚华,吴时霖.基于模糊有色Petri网的不确定性学习和推理方法[J].系统仿真学报,2003,15(z1):56-58. 被引量：6
5贾立新,薛钧义,茹峰.采用模糊Petri网的形式化推理算法及其应用[J].西安交通大学学报,2003,37(12):1263-1266. 被引量：65

二级参考文献34

1何新贵.模糊Petri网[J].计算机学报,1994,17(12):946-950. 被引量：53
2潘洪军,孙吉贵.面向对象代数Petri网[J].吉林大学学报（工学版）,2006,36(3):382-386. 被引量：7
3[1]Tiehua CAO, Arthur C. Sanderson: Variable Reasoning and Analysis About Uncertainty with Fuzzy Petri Nets [C]. in Application and Theory of Petri Nets 1993, Marco A, Marsan, Eds. New York: Spring -Verlag, 1993, 126-145.
4[2]Helosia Scaroelli, Fermando Gomide, Ronald R. Yager: A Reasoning Algorithm for High-Level Fuzzy Petri Nets [J]. IEEE TRANSACTION ON KNOWLEDGE AND DATA ENGINEERING,1996, 4(3): 282-294.
5[3]Yuji Ouchi, Eiichiro Tazaki: Implementation of Rule Training Type Interference Engine Using Fuzzy Petri Nets and Genetic Algorithm[C]. 12th Fuzzy System Simposium, JAPAN, 1996, 27-30.
6[5]Yuji Ouchi, Eiichiro Tazaki: Implementation of Rule Training Type Interference Engine Using Fuzzy Coloured Petri Nets [C]. 13th Fuzzy System Simposium, JAPAN, 1997, 169-172.
7Genrich H J,Thiagarajan P S.A theory od bipolar synchronization schemes[J].Theoret Comput Sci,1984; 30:241-318
8B H.Controlled Petri nets and maximally permissive feedback logic[C].In:Proc 25 Allerton Conf Communication,Control and Computing,1987:317-326
9Looney C G.Fuzzy Petri nets for rule-based decision making[J].Syst Man Cyber,1988; 18 [(1):178-183
10Chen S M,Ke J S,Chang J F.Knowledge representation using Petri nets[J].IEEE Trans on Knowledge and data Engineering,1990;2(3):311-319

共引文献75

1原思聪,江祥奎,刘道华.Petri网在现代设计中的应用[J].微计算机信息,2008,24(12):110-112. 被引量：3
2李雄,刘德刚,丛华.采用面向对象模糊Petri网的侦察平台Agent建模[J].系统仿真学报,2005,17(z1):136-139.
3方欢,吴哲辉.MYCIN系统的模糊Petri网建模[J].系统仿真学报,2005,17(z1):145-147.
4陈星,刁永锋,黄昌海.一种多值Petri网及其应用[J].微电子学与计算机,2005,22(5):182-184. 被引量：4
5季婵燕.反思学习型组织[J].职业,2005(11):53-54.
6John McCorkle,周正.CDMA与DS-UWB具有不同的工作原理和应用领域[J].今日电子,2006(1):65-66.
7吴宴华,须文波.结合遗传算法优化模糊Petri网的参数[J].微计算机信息,2005,21(12Z):174-175. 被引量：4
8张锦,冯嘉礼,史小宏.属性Petri网建模及其应用[J].计算机工程,2006,32(17):105-107. 被引量：1
9陈星,刘杰,余童兰.Petri网的正向推理算法[J].微计算机信息,2006(12X):154-156. 被引量：2
10吴琼,孙即祥,毛玲,谭志国.一个有效的加权不精确推理算法[J].自动化技术与应用,2007,26(2):1-3.

1刘恩福,刘博,刘晓阳,李伊.一种复合算法的装配序列规划方法[J].河北科技大学学报,2016,37(1):52-57. 被引量：7
2机器知识化[J].中国教育网络,2008(6):36-36.
3陈亚华,吴时霖.基于模糊有色Petri网的不确定性学习和推理方法[J].系统仿真学报,2003,15(z1):56-58. 被引量：6
4张久彪,安伦斌.体系结构描述语言——WRIGHT[J].安徽大学学报（自然科学版）,1998,22(4):67-71.
5陈文军,徐慧.基于描述逻辑的语义Web服务组合的框架研究[J].科协论坛（下半月）,2011(5):67-67.
6张丹,佘维,叶阳东.基于模糊有色Petri网的故障诊断方法[J].计算机工程与设计,2013,34(11):3996-4001. 被引量：6
7崔忠林.56K猫的余热——用56K猫远程登录和管理企业内部网[J].网管员世界,2005(9):53-54.
8赵正旭,温晋杰,赵卫华.Z规格说明的推理与验证[J].微型电脑应用,2016,32(11):12-16.
9陈星佑,乐晓波,曹伟,周恺卿.基于分层模糊有色Petri网的防空C^3I系统建模研究[J].计算机工程与科学,2016,38(1):102-107.
10朱维军,翟萍,周清雷.一种改进的RC(3,7)安全协议[J].华中科技大学学报（自然科学版）,2012,40(9):62-65.

计算机科学

2012年第S3期

浏览历史

内容加载中请稍等...

模糊有色Petri网的形式化推理算法研究

参考文献5

二级参考文献34

共引文献75

相关作者

相关机构

相关主题

浏览历史