一种语义扩展的DEVS模型表示方法

来源 :系统仿真学报 | 被引量 : 0次 | 上传用户:txmotor
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
离散事件系统规范(DEVS)是建立在一般系统理论的基础上的有效的模块化系统建模规范。针对当前基于DEVS的仿真模型表示方法不能描述模型上下文,不能有效支持模型语义组合、重用的问题,提出了语义扩展的DEVS模型表示方法(SEM-DEVS)。SEM-DEVS在原有的DEVS模型规范基础上,增加了模型的实验框架和语义扩展接口,增加了对模型行为表示能力的要求。在SEM-DEVS形式化定义的基础上给出了实验框架以及语义扩展接口的逻辑关系及匹配方法。以逻辑公式方式表示实验框架和语义扩展接口,给出SEM-DEVS的一种实现方法。
其他文献
格奥尔基·加邦(1870-1906),俄国东正教牧师,杰出的演说家、传教士,社会和政治活动家。他于1870年出生于俄罗斯帝国波尔塔瓦省的农民家庭。在家庭环境熏陶下,早年立志成为一名牧师。在求学阶段,受到托尔斯泰思想的影响,他渐渐厌倦当时俄国教会和教士的所作所为,转而用自己独特的传教方式来服务社会下层人士。19世纪末20世纪初,俄国由于快速工业化产生了复杂的劳工问题;但直到帝国灭亡,政府也没有出台一
本文针对道路与桥梁工程检测内容展开分析,包括材料质量、内部缺陷、钢结构锈蚀度、混凝土强度、现场压实度等,通过研究无线电检测技术、光纤检测技术、自感应检测技术、冲击
<正>人物档案施军平:主任医师、教授、博士生导师,博士后。杭州师范大学附属医院副院长,杭州市转化医学研究所所长。现任中华医学会肝脏病学分会脂肪肝与酒精肝学组副组长;中
在桥梁施工过程当中,钻孔灌注桩技术是一项十分关键的技术,其具有着施工便利、成本低等优势。然而,钻孔灌注桩技术在应用过程中也需要受到工程性质、施工环境等相关因素的影
针对多点顶推系统的同步控制问题,提出了一种广义预测相邻耦合同步控制策略。根据多变量广义预测理论,建立了多缸电液伺服系统的CARIMA模型。结合相邻耦合控制理论,构造了同
利用Li 160 0稳态气孔仪,对黄土半干旱区山西省方山县试验地侧柏的蒸腾作用及其环境因子进行测定.该研究的目的是为分析该地区侧柏蒸腾作用对环境因子的响应和侧柏最适的水
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
该文以人工林巨桉为研究对象,通过短指榫指接材的嵌合纵向压缩试验来模拟指接工艺过程,分析不同嵌合度下的载荷-位移曲线,得到最优的端压范围和嵌合度,并通过生产性指接材的