论文部分内容阅读
该文提出新的Petri网耦合规则对即时消息在SIMPLE和IMPS之间的映射建立了互通Petri网模型,通过对该模型进行严格的数学分析验证,该模型满足正确的Petri网模型所应具备的所有特性,证明了该互通映射的合理性以及可行性。
即时消息业务中SIMPLE和IMPS的Petri网互通模型
【摘 要】
：
该文提出新的Petri网耦合规则对即时消息在SIMPLE和IMPS之间的映射建立了互通Petri网模型,通过对该模型进行严格的数学分析验证,该模型满足正确的Petri网模型所应具备的所有特性,证明了该互通映射的合理性以及可行性。
【机 构】
：
北京邮电大学网络与交换技术国家重点实验室,中国移动通信集团公司,中国移动通信有限公司研究院,
【出 处】
：
电子与信息学报
【发表日期】
：
2008年10期
其他文献
目的探讨优质护理服务在手术室的应用效果。方法选择我院2011年8月到2012年9月手术室接收患者2845例，1527例接受优质护理服务的患者为实验组，1318例接受常规护理服务的患者为对
目的重点研究和分析鲁南新康对冠心病心绞痛的治疗效果。方法 利用回顾性分析的方法研究和比较对我院于2010年1月-2012年12月我院收治的冠心病心绞痛患者90例，患者分别服用安
从中医生态习性、物质基础、中医理论、现代临床研究方面能直接论证林蛙油改善睡眠的作用机制，从分子机理研究可以进一步开发其作用于现代睡眠疾病的社会和科技价值。
对200例以上的消化道出血的患者实行内科治疗方法，收到良好的效果。随着消化系统临床的诊断治疗技术的不断发展，人们对上消化道出血的内科治疗也越来越重视，为各种原因引起的上
了解南皮县人间布鲁杆菌病(简称布病)在高危人群中的感染状况及流行病学特征,掌握疫情动态,探讨布病防止对策及方法.采用琥红平板凝集试验(RBPT)和试管凝集试验(SAT)对全县涉
影响近代百年广西北部湾对外通道格局嬗变的三组关系是国际政治因素与内部经济发展,交通建设与经济发展,民间力量和政府力量.随着这三组关系的和谐发展,北部湾对外通道在新时
提出了基于多目标满意优化的生料浆调配智能优化方法.该方法以满意度函数反映决策者对性能指标的评价,以综合满意度函数反映决策者对多目标协调的要求,构建氧化铝生料浆调配