-
题名基于Petri网的概念模型验证方法研究
被引量：5
- 1
-
-
作者
樊浩
黄树彩
-
机构
空军工程大学导弹学院
-
出处
《计算机应用研究》
CSCD
北大核心
2010年第3期999-1001,1005,共4页
-
文摘
针对目前概念模型动态部分内容的验证由于其复杂性难以通过阅读式地审查发现其中的瑕疵等问题,提出了利用Petri网进行概念模型验证的一种新思路,研究了进行概念模型验证的具体步骤,分析了概念模型错误对应的Petri网错误,以及检测这些错误时需要验证的Petri网性质;最后以防空导弹作战过程为例,研究了利用Petri网以及CPN Tools软件进行概念模型动态部分内容验证的具体过程。实践证明此方法减少了领域专家直接进行概念模型验证的主观性影响,提高了效率。
-
关键词
PETRI网
概念模型验证
CPN
TOOLS
防空导弹作战过程
-
Keywords
Petri net
conceptional model validation
CPN Tools
air defense missile operation process
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名基于规则推理的军事概念模型验证方法研究
被引量：1
- 2
-
-
作者
顾闯
刘彬
张学民
孙王虎
田书超
-
机构
军械工程学院装备指挥与管理系
-
出处
《计算机应用研究》
CSCD
北大核心
2013年第12期3586-3588,3613,共4页
-
基金
国家自然科学基金资助项目(60904071)
-
文摘
针对现有的概念模型形式化验证方法较复杂、非形式化验证方法的主观性较强,提出了一种基于规则推理的军事概念模型验证方法,并详细介绍了该方法的原理、框架、实施步骤、验证内容和验证规则。该方法的实质是利用验证规则和推理机代替领域专家,在计算机上实现概念模型语义验证的自动化。它可以降低形式化验证方法的复杂性,减少非形式化验证方法的主观性和不确定性,提高概念模型验证的质量和效率。
-
关键词
军事概念模型验证
语义验证
规则推理
语义网规则语言
-
Keywords
military conceptual model validation
semantic validation
rule reasoning
SWRL （ semantic Web rule language）
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名概念模型验证
被引量：2
- 3
-
-
作者
郝靖
毕学军
曹伟华
-
机构
装甲兵工程学院
-
出处
《四川兵工学报》
CAS
2008年第5期143-145,共3页
-
文摘
介绍概念模型的相关问题,叙述在建模与仿真中概念模型验证(Validation)的必要性与重要性,分析概念模型验证的过程与方法,讨论了影响概念模型验证的因素和概念模型验证在已实现系统中的应用情况.
-
关键词
概念模型
建模与仿真
概念模型验证
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
