【摘 要】
：
Consistency degree calculation is established on the basis of known correspondence,but in real life,the correspondence is generally unknown,so how to calculate
【机 构】
：
Department of Computer Science and Technology, the Key Laboratory of Embedded System and Service Com
论文部分内容阅读
Consistency degree calculation is established on the basis of known correspondence,but in real life,the correspondence is generally unknown,so how to calculate consistency of two models under unknown correspondence has become a problem.For this condition,we should analyze unknown correspondence due to the influence of different correspondences.In this paper we obtain the relations of transitions based on event relations using branching processes,and build a behavioral matrix of relations.Based on the permutation of behavioral matrix,we express different correspondences,and define a new formula to compute the maximal consistency degree of two workflow nets.Additionally,this paper utilizes an example to show these definitions,computation as well as the advantages.
其他文献
下面的列表包括了一些更有趣的RFID应用.它们可能会鼓励人们在未来的设计中采用RFID技术,并且增加人们对有关RFID隐私问题的认识.
采用自主改进的20 L近球型抑爆实验系统,进行了Mg(OH)2、CO2气体及两者同时添加抑制瓦斯爆炸的实验。实验结果表明,Mg(OH)2和CO2气体均对瓦斯爆炸具有一定的抑制作用。CH4体
村级有线电视网络由于规模小、结构简单而多不被重视。大多采用无设计“带着信号走”的做法,其优点是快捷,但也由此而带来了网络质量低,综合考虑失衡,使不必要的级联增加,器
With the development of human robot interaction technologies,haptic interfaces are widely used for 3D applications to provide the sense of touch.These interface
社会保障不是从一开始就存在的，它是社会发展到一定阶段时公民的一项基本权利，它是衡量一个国家或地区在一定时期内社会成员享受社会保障高低程度的主要指标，同时它也是政府为解
A treelike hybrid multi-cluster tool is composed of both single-arm and dual-arm cluster tools with a treelike topology.Scheduling such a tool is challenging.Fo
由广州市羊城科技实业有限公司、深圳市奥特电器有限公司、广州市奥特控制工程有限公司研制的ＳＭＴ2 5 0 5全视觉多功能自动贴片机吸收了国际先进的贴片机设备制造技术 ,采用了全
旌3优177是四川省农业科学院水稻高粱研究所用自育不育系旌3A与四川省农业科学院作物所育成的恢复系成恢177配组育成的中籼迟熟杂交水稻新组合。该组合不仅高产稳产,并且具有
目的了解安徽省空巢老人的伤害现况,为建立有效的干预措施提供依据。方法采用分层抽样的方法,抽取安徽省皖南、皖北地区部分市区、郊区及农村年龄>60岁老年人作为研究对象,并