已为您找到该学者15条结果 成果回收站
【期刊论文】Overlay 网络上的服务部署问题的研究(一)
余镇危, 冯烟利, 潘耘
,-0001,():
-1年11月30日
本文提出了Overlay 网络上的服务部署问题,给出形式化描述,并给出了一对一单因子服务部署问题的数学模型和求解该问题的启发式算法,通过数值模拟表明了算法的有效性。
Overlay网络, 服务部署, 单因子服务
-
51浏览
-
0点赞
-
0收藏
-
0分享
-
101下载
-
0
-
引用
【期刊论文】网络体系结构建模和性能评价的形式化方法-随机进程代数
余镇危, 冯烟利, , 潘耘, 刘克俭
数学的实践与认识2004年11月第34卷第11期/MATHEMATICS IN PRACTICE AND THEORY Nove., 2004, Vol. 34, No. 11,-0001,():
-1年11月30日
随机进程代数是从经典进程代数发展起来,用于并发系统的定性和定量分析的形式化方法,特别适合在计算机网络和通信协议的建模和性能评价。首先介绍了SPA 的语法和操作语义。并以令牌环局域网模型为例来说明其应用. 进一步讨论了SPA 的三种等价关系,以期解决模型状态空间爆炸问题。
形式化方法, 随机进程代数, 性能评价
-
28浏览
-
0点赞
-
0收藏
-
0分享
-
73下载
-
0
-
引用