,Quantitative evaluation of model consistency evolution in compositional service-oriented simulation

来源 :浙江大学学报(英文版)(C辑:计算机与电子) | 被引量 : 0次 | 上传用户:qq969023319
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Appropriate maintenance technologies that facilitate model consistency in distributed simulation systems are relevant but generally unavailable. To resolve this problem, we analyze the main factors that cause model inconsistency. The analysis methods used for traditional distributed simulations are mostly empirical and qualitative, and disregard the dynamic characteristics of factor evolution in model operational running. Furthermore, distributed simulation applications (DSAs) are rapidly evolving in terms of large-scale, distributed, service-oriented, compositional, and dynamic features. Such developments present difficulty in the use of traditional analysis methods in DSAs, for the analysis of factorial effects on simulation models. To solve these problems, we construct a dynamic evolution mechanism of model consistency, called the connected model hyper-digraph (CMH). CMH is developed using formal methods that accurately specify the evolutional processes and activities of models (i.e., self-evolution, interoperability, compositionality, and authenticity). We also develop an algorithm of model consistency evolution (AMCE) based on CMH to quantitatively and dynamically evaluate influencing factors. Experimental results demonstrate that non-combination (33.7% on average) is the most influential factor, non-single-directed understanding (26.6%) is the second most influential, and non-double-directed understanding (5.0%) is the least influential. Unlike previous analysis methods, AMCE provides good fea-sibility and effectiveness. This research can serve as guidance for designers of consistency maintenance technologies toward achieving a high level of consistency in future DSAs.
其他文献
为贯彻《中共中央、国务院关于进一步加强人才工作的决定》,落实《人事部专业技术人才知识更新工程(“653工程”)实施方案》(国人部发[2005]73号)的要求,进一步加强信息专业
在构建沿海城市碳承载力评价指标体系的基础上,采用熵权法为指标赋权,构建了沿海城市碳承载力模型,并按照其取值范围将沿海城市碳承载水平划分为严重空载、轻度空载、适载、
七八年前的一天晚上,我和同事在街边吃夜宵。两个小青年走过来,坐在我们旁边。突然,有人喊“王段长”,我扭头,朦胧的灯下,辨认出一张熟悉又生疏的脸,“阿翔!”两三秒钟的惊讶后,我脱口
期刊
Online social networks(OSNs)offer people the opportunity to join communities where they share a common interest or objective.This kind of community is useful fo
Low energy impact can induce invisible damage of carbon fiber reinforced polymer(CFRP).The damage can seriously affect the safety of the CFRP structure.Therefor
The recognition and retrieval of identical videos by combing through entire video files requires a great deal of time and memory space. Therefore, most current
MAP30是从苦瓜的种子中分离纯化得到的一种均一的单链多肽分子,该蛋白质的相对分子质量大小为30kDa,是I型(单链)核糖体失活蛋白。MAP30能够以病毒感染的细胞及病毒本身作为其
树木盆景的立意,即是确定主题思想。主题思想是艺术作品的灵魂,缺乏主题思想的作品,观之苍白无力,尝之味如嚼蜡,审之如行尸走肉。一提到立意,人们自然而然地就会想到“立意为