您当前所在位置: 首页 > 学者
在线提示

恭喜!关注成功

在线提示

确认取消关注该学者?

邀请同行关闭

只需输入对方姓名和电子邮箱,就可以邀请你的同行加入中国科技论文在线。

真实姓名:

电子邮件:

尊敬的

我诚挚的邀请你加入中国科技论文在线,点击

链接,进入网站进行注册。

添加个性化留言

已为您找到该学者15条结果 成果回收站

上传时间

2007年04月17日

【期刊论文】Overlay 网络上的服务部署问题的研究(一)

余镇危, 冯烟利, 潘耘

,-0001,():

-1年11月30日

摘要

本文提出了Overlay 网络上的服务部署问题,给出形式化描述,并给出了一对一单因子服务部署问题的数学模型和求解该问题的启发式算法,通过数值模拟表明了算法的有效性。

Overlay网络, 服务部署, 单因子服务

上传时间

2007年04月17日

【期刊论文】A

余镇危, PAN

,-0001,():

-1年11月30日

摘要

In

overlay

上传时间

2007年04月17日

【期刊论文】On

余镇危, PAN

,-0001,():

-1年11月30日

摘要

In

active

上传时间

2007年04月17日

【期刊论文】A

余镇危, CAO

,-0001,():

-1年11月30日

摘要

Task

Hopfield

上传时间

2007年04月17日

【期刊论文】网络体系结构建模和性能评价的形式化方法-随机进程代数

余镇危, 冯烟利, , 潘耘, 刘克俭

数学的实践与认识2004年11月第34卷第11期/MATHEMATICS IN PRACTICE AND THEORY Nove., 2004, Vol. 34, No. 11,-0001,():

-1年11月30日

摘要

随机进程代数是从经典进程代数发展起来,用于并发系统的定性和定量分析的形式化方法,特别适合在计算机网络和通信协议的建模和性能评价。首先介绍了SPA 的语法和操作语义。并以令牌环局域网模型为例来说明其应用. 进一步讨论了SPA 的三种等价关系,以期解决模型状态空间爆炸问题。

形式化方法, 随机进程代数, 性能评价

合作学者

  • 余镇危 邀请

    中国矿业大学(北京),北京

    尚未开通主页