Computer Science ›› 2014, Vol. 41 ›› Issue (9): 24-27.doi: 10.11896/j.issn.1002-137X.2014.09.003
Previous Articles Next Articles
GU Chuang,LIU Bin,ZHANG Xing,TIAN Shu-chao and WANG Gui-qi
[1] Robert G S.Verification and Validation of Simullation Models[C]∥Proceedings of the 2010 Winter Simulation Conference.2010:173-176 [2] 王勇,杨明.复杂仿真系统概念模型评估技术研究[J].系统仿真学报,2008,20(24):6808-6810 [3] 樊浩,黄树彩.基于Petri网的概念模型验证方法研究[J].计算机应用研究,2010,7(3):999-1002 [4] Ynag Hui-zhen,Hao Li-li.Colored Petri Nets-based FormalModeling and Validation for Federation Conceptual Model[J].Journal of System Simulation,2012,24(7):1361-1365 [5] 岳增坤,陈炜.基于xUML的C4ISR系统可执行对象模型设计[J].系统仿真学报,2009,1(8):2190-2194 [6] 何晓晔,徐培德,沙基昌.任务空间概念模型轻量级形式化校核方法初探[J].系统仿真学报,2006,18(5):1108-1109 [7] 骆翔宇,苏开乐,顾明.一种求解认知难题的模型检查方法[J].计算机学报,2010,3(3):406-414 [8] 夏薇,姚益平,慕晓冬.基于TLA的事件图模型形式化验证方法[J].计算机应用研究,2011,8(11):406-414 [9] 杨斌,齐玉东,孟凡磊,等.本体在概念建模中的应用研究[J].计算机技术与发展,2011,5(21):246-249 [10] 齐玉东,杨斌,郭天杰.军事概念模型中的部分-整体关系的表达与推理[J].系统仿真学报,2010,2(11):2537-2541 [11] 唐见兵.作战仿真系统可信性研究[D].长沙:国防科学技术大学,2009 [12] 王智学,董庆超.基于UML模型的C4ISR系统能力需求分析与验证[J].系统工程与电子技术,2009,1(9):1561-1564 [13] 刘忠,钱猛.基于语义推理的作战计划验证方法[J].系统工程与电子技术,2010,5(32) [14] 钱猛,刘忠.使用本体和SWRL验证作战计划的方法[J].计算机工程与应用,2009,5(8):208-212 [15] 刘振中,刘勇.基于UML类图的OWL本体映射方法[J].计算机应用研究,2009,5(13):40-43 [16] 王翀,何克清,刘进.基于OWL元模型的本体建模研究[J].武汉大学学报,2004,0(5):581-585 [17] 郁书好,苏守宝,刘仁金.UML和OWL在本体建模中的比较研究[J].计算机技术与发展,2007,7(1):155-157 [18] James C.XSL Transformations (XSLT) Version 2.0 [EB/OL].http://www.w3.org /TR/xslt2.0,2009-10-10 [19] W3C.SWRL:A Semantic Web Rule Language Combining OWL and RuleML [EB/OL].http://www.daml.org/rul es/propo-sal,2012-1-12 [20] Sandia National Laboratories.Jess,the Rule Engine for the JavaPlatform [EB/OL].http://Herzberg.ca.sandia.gov/jess,2012-1-12 |
No related articles found! |
|