【摘 要】
:
现代通信网络系统中大量存在的各种并发同步事件,使得系统的性能特征与其功能特征密切相关,该类系统进行性能评价时,需要综合其性能模型与功能模型进行分析。由于进程代数具
【机 构】
:
海军南海舰队司令部,海军工程大学信息安全系
【基金项目】
:
海军工程大学自然科学基金(435517D50);湖北省自然科学基金(2013CFB441);信息保障技术重点实验室开放基金(KJ-13-106)
论文部分内容阅读
现代通信网络系统中大量存在的各种并发同步事件,使得系统的性能特征与其功能特征密切相关,该类系统进行性能评价时,需要综合其性能模型与功能模型进行分析。由于进程代数具备功能推导和验证能力,通过有效扩展,融合相应的性能参数,可以成为理想的针对并发系统的性能建模工具。综述了进程代数的发展历史,并总结了将进程代数应用于性能评价的有效扩展方法,通过实例论述了进程代数应用于性能评价的一般过程。最后,讨论了基于进程代数的系统性能评价方法的发展趋势。
其他文献
应用达芬奇S机器人系统完成腹部外科肝、胆、胰、胃肠疑难手术200例,191例顺利完成手术,9例中转开腹。提出该手术时间长、费用昂贵,护士应注重术前评估与访视,充分了解患者的
创新平台是由创新网络、知识库、技术基础设施等组成的核心层与由学习型组织及创新型文化等组成的支撑层所构成的创新管理系统,实现企业的个体和组织创新资源以及内外创新资源
急性胰腺炎是一种临床常见的消化道疾病,具有起病急、病情复杂、并发症多、死亡率高等特点[1]。根据病情严重程度,分为急性轻症胰腺炎、急性重症胰腺炎两种类型。其中急性重
<正>网络歌曲(network songs)是近几年来伴随着mp3,flash的产生而出现的新的音乐形式(style)。狭义的网络歌曲是一种由网络原创的,借助mp3,flash的制作技术(technology),反映
建筑设计与数字化技术的关系越来越紧密,CAD技术和CAAD技术在建筑业的广泛应用,使得建筑业的数字化进程加快,数字化技术就是将建筑信息变成信号并通过电脑分析处理存储的技术
儿童社会技能是个体在特定社会情境中,运用已有的社会知识,有效而适当地与他人进行积极交往,以实现自己或他人互动目标的行为方式,它包括行为、认知和情绪三种成分。儿童社会
社会调查作为一门方法性科学,在我国大学教育中已被作为非常重要的一门技术和方法课程来学习和掌握。社会调查对于大学生综合能力培养有哪些意义?如何提高社会调查技能?本文
<正>宁夏宝塔石化集团宁东临河工业园区开园典礼暨15万t/a电石联产项目开工奠基仪式,日前在宝塔石化集团宁东临河工业园区C区举行。这是宁夏宝塔石化集团在宁东临河工业园区
按Randic的碳原子支化度(δi),在分子拓扑图的邻接矩阵基础上构建环烷烃的支化度指数(mXt)。用mXt及碳原子数(N)等参数,与258种环烷烃沸点(Tb)关联,经逐步回归建立最佳四元回
物流产业的发展及企业物流合理化对策研究是一种宏观和微观层面的分析,成为近期研究和讨论的热点。但是从产业经济学角度出发,研究区域物流发展的文献相对较少。本文以长三角