【摘 要】
：
概念模型是对真实世界的第一层次抽象,是仿真系统开发的基础。概念模型的质量对于提高仿真系统的质量有着重要的影响,而概念模型验证是提高概念模型质量的重要手段。在对概念
【基金项目】
：
国家自然科学基金项目(60904071)
论文部分内容阅读
概念模型是对真实世界的第一层次抽象,是仿真系统开发的基础。概念模型的质量对于提高仿真系统的质量有着重要的影响,而概念模型验证是提高概念模型质量的重要手段。在对概念模型验证的定义、层次和内容进行分析的基础上,介绍了当前主要的四类概念模型验证方法,将其分为专家评审法、折衷分析法、形式化验证方法和可执行验证方法,并分析其优缺点,最后从语法、语义和语用三个层次出发,对概念模型验证方法的选择问题进行了探讨,其结果可以为概念模型验证人员提供理论参考。
其他文献
目的探讨多层螺旋CT后处理技术在鼻骨骨折的诊断价值。方法对115例鼻外伤患者的CT原始图像进行MPR和VR后处理,将鼻骨骨折分为单纯Ⅰ型(骨折线无移位),单纯Ⅱ型(骨折线伴移位)
在不同的历史时期,传统城镇滨水空间在城市发展中扮演着不同的角色,是城镇政治、经济、文化发展的沉积,体现出城镇独特的地域特征。近年来,伴随城镇化的快速推进,传统城镇空
<正> 在日新月异、突飞猛进的中国聚居环境建设中,景观的规划与设计举足轻重。面对迅速发展变化的中国景观规划设计市场,置身于如火如荼的景观规划设计工程实践。明确景观规
目的分析腹膜后肾上腺外嗜铬细胞瘤多层螺旋CT的影像表现。方法回顾性分析11例经手术病理证实的腹膜后肾上腺外嗜铬细胞瘤的CT影像资料,全部病例术前均行多层螺旋CT平扫及双
<正>体育教育是学校体育工作的基本组织形式,又是做好学校体育工作的中心环节。在当前社会高速发展的形势下,研究、探索体育教育的全过程及它的系统工程与整体功能,有着十分
汉晋佛像的发展可划分为3个阶段,各阶段的主要特征分别是:东汉中期施无畏印、袒右肩和通肩衣并存,东汉晚期施无畏印、通肩衣,吴晋时期禅定印、通肩衣。上述特征反映了印度早
"欧洲化"成为当前研究欧盟共同外交与安全政策的新视角。本文探讨了欧洲化视角的兴起,介绍了欧洲化视角的发展历程以及理论的操作化。作者认为,传统理论将共同外交与安全政策
<正>在农村初中任教近30年,亲历了很多孩子叛逆期的种种表现,也对一些孩子的家庭做了一些了解,发现影响农村孩子成长的一个很重要的因素,即家庭教育被众多家长忽视,为此,我从
对不完全信息市场下的出版社书号优化配置问题进行了数学建模研究。首先确定了强势产品，运用DPS2000对2006年书号的销售量进行了灰预测，并且运用预测出的数据在Lingo中建立了经
关联理论提出了语言交际的明示——推理交际模式,为文学交际的语用领域提出了一个新的视角。从关联理论对文学的阐释力来看,《格列佛游记》与《动物农庄》的讽刺手法似有异曲