【摘 要】
:
运用成熟的队列理论知识,通过PRISM模型验证工具,对发布/订阅模式的实时性能进行形式化分析。实验结果表明,发布/订阅模式在消息响应时间及消息传输可靠性两方面比传统的通信
【机 构】
:
中国科学院研究生院,中国科学院沈阳计算技术研究所高档数控国家工程研究中心
【基金项目】
:
科技部国家科技支撑计划基金资助重点项目(2007BAP20B01);中国科学院知识创新工程重要方向基金资助项目(KGCX2-YW-119)
论文部分内容阅读
运用成熟的队列理论知识,通过PRISM模型验证工具,对发布/订阅模式的实时性能进行形式化分析。实验结果表明,发布/订阅模式在消息响应时间及消息传输可靠性两方面比传统的通信模式表现出更良好的性能,该实验模型和实验方法对于优化发布/订阅模式及调整实际发布/订阅系统中的参数配置都有一定的帮助。
其他文献
目的分析广西2008-2015年手足口病的流行病学特征及病原谱变化,为手足口病的防控提供理论依据。方法从疾病监测信息报告系统获取手足口病个案数据,采用描述性方法描述疾病的
萨克斯管是一种普及面比较广泛的吹奏乐器。本文针对在学习吹奏萨克斯管过程中出现的较为常见的一些问题进行有效地阐述,同时分析原因,提出笔者自己的见解及相应的解决方法。
<正>量子信息技术广东普通高校重点实验室于2008年10月由广东省教育厅批准立项建设,实验室依托国家(省)光学重点学科建设.量子信息技术实验室主任为朱诗亮教授(长江学者),实
以丙烯酰胺(AM)和2-丙烯酰胺基-2-甲基丙磺酸(AMPS)为原料,N,N’-亚甲基双丙烯酰胺(NMBA)为交联剂,过硫酸铵((NH)S0)和亚硫酸氢钠(NaHSO)为引42283发剂,采用静置水溶液法合成
为提高文本分类精度,提出一种基于模糊软集合理论的文本分类方法。该方法把文本训练集表示成模糊软集合表格形式,通过约简、构造软集合对照表方法找出待分类文本所属类别,并
本文对我国农产品国际贸易的问题及其原因进行了分析,并提出了提高农产品国际竞争力的战略调整思路。
<正>当打开加拿大安大略省卜12年级学生成绩报告单时,无论是省级的还是校级的,无论是公立的还是私立的,首先映入眼帘的并不是各个学科(如语言、数学、科学)的成绩,而是学生该
中华民族在几千年的文明中,创造了大量优秀的民族音乐文化,这是我国劳动人民智慧的结晶,也是各民族和中国的骄傲。义务教育音乐课程标准(2011版)提出:音乐教育应面向全体学生
本文采用2011~2017年我国开放式基金中的股票型基金和偏股型基金及其重仓股数据,以基金投资中基于金融委托代理关系产生的情绪传染现象为切入点,从资金流动过程中反映情绪传
具有此功能的Amazon Echo Show设备将能够扫描和识别无生命的物体,Echo Show所有者只需在智能屏幕摄像头前展示任何物体,然后提示语音助手扫描该物体即可,该功能的开发可以帮