【摘 要】
：
可组合性是选择和组装仿真组件并以不同的方式组合成为有效的仿真系统来满足用户需求的一种能力。在语法组合的基础上，语义可组合性保证了组合模型的有效性。语义可组合性的形
【基金项目】
：
国防预研基金资助项目（51404010403KG0155）
论文部分内容阅读
可组合性是选择和组装仿真组件并以不同的方式组合成为有效的仿真系统来满足用户需求的一种能力。在语法组合的基础上，语义可组合性保证了组合模型的有效性。语义可组合性的形式化理论能够以形式化的方式确定模型组合的基本特征，为实现正确有效的模型组合奠定基础。首先，提出了模型、仿真、可组合性和有效性的形式化定义，并对定义的合理性进行了分析；然后，建立形式化定义与语义之间的联系，研究了基于MDA的元建模方法，并确定了仿真模型中的语义元数据。
其他文献
在媒介融合的大背景下，新闻采编工作发生了新的变化。本文从新闻采编发生变化的技术、媒介消费者、产业化等三方面的原因，归纳出媒介融合背景下新闻采编的文化包容性、技术全面
随着我国经济的迅猛发展,铁路货运量逐年增加,重载运输已成为我国铁路货运的发展方向。但是,车辆运行速度及轴重不断增大,一方面导致列车对线路动力破坏作用加剧；另一方面,轨
《上帝救助孩子》是托妮·莫里森反思黑人女性成长的又一力作。通过分析主人公布莱德的心理变化,以期发现在肤色给黑人儿童留下心理创伤之后,当代的美国黑人女性该如何摆脱童
在素质教育的大背景下,传统的教学方法已经不能满足学生的需求了。在如今的教育教学中,老师不仅仅只教给学生理论知识,更重要的是培养学生的各项能力,提高学生的综合素质,让
在新媒体快速发展的今天，传统的播音主持工作必须不断创新和改革，以适应多维传播语境下受众的信息需要，从而让播音主持工作得到更好的发展。笔者在本文中就多维传播语境下播音主
针对轮胎透视图,本文提出了一种基于三次均匀B样条和多分辨率小波的整体区域分割方法。该方法首先根据轮胎透视图建立数学模型,获得一系列离散数据点;然后通过三次均匀B样条插值得到含有噪声的灰度变化曲线,并利用多分辨率小波进行去噪处理,得到光顺曲线;最后求解曲线一阶导数的最大、最小值,得到目标区域和背景区域的两个边界。实验结果表明,该方法分割速度快,效果十分理想。
罂粟莲花毛莨科、罂粟莲花属，产于我国云南西北部、四川西南部。多年生草本，具根状茎。基生叶4—7枚，有短柄，叶片匙状，长椭圆形或长圆形，羽状深裂或全裂，两面均披绒毛。
在新课程改革的背景下,初中生物教师的教学工作面临着越来越多的挑战,如何提高教学质量成为初中生物教育工作中急需解决的问题。现如今,在初中教学之中依旧会有很多方面的教
小学教育对于小学生来说有着非常重要的启蒙作用,可以说的上是一生中最重要的时候,也是最容易塑造他们习惯和兴趣爱好的时候。因为这一时期对于小学生正面的塑造是有着非常好
随着我国教育改革的发展,教师的教学方式也在不断的发生变化,如何创新教学方式,提高学生的学习兴趣极为重要,而在初中英语的教学中,英语作为一门重要的学科,在进行教学的过程