期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于D3S的分布式系统监控技术
1
作者
章
甫
源
戚正伟
《微型电脑应用》
2009年第2期28-30,10,共4页
调试或测试分布式系统是一项重大的挑战。文中,作者在D3S系统架构上实现了一个针对分布式系统的运行时监控系统。介绍了该监控系统的框架与实现,以及涉及到的相关理论背景,并给出了案例分析和系统的性能分析。整个分布式系统的运行被建...
调试或测试分布式系统是一项重大的挑战。文中,作者在D3S系统架构上实现了一个针对分布式系统的运行时监控系统。介绍了该监控系统的框架与实现,以及涉及到的相关理论背景,并给出了案例分析和系统的性能分析。整个分布式系统的运行被建模成一系列带全局时间戳的一致性快照。监控系统采用LTL作为系统规约的描述语言,并且使用有限自动机判定在一条有限路径上某个LTL公式是否被满足。
展开更多
关键词
分布式系统
运行时监控
线性时态逻辑
下载PDF
职称材料
P2P网络中蠕虫传播与防治模型的研究
被引量：
6
2
作者
高长喜
章
甫
源
+2 位作者
辛阳
钮心忻
杨义先
《北京邮电大学学报》
EI
CAS
CSCD
北大核心
2006年第z2期49-53,共5页
本文提出了一种P2P网络主动蠕虫的传播模型.同时,针对不同结构的P2P网络拓扑,给出了各自的用良性蠕虫对抗恶性蠕虫的防治策略和防治模型,并在Matlab环境下对这些模型进行了仿真,评估了P2P网络蠕虫传播的特点以及蠕虫防治效果的优劣.
关键词
蠕虫
对等网络
传播模型
防治模型
下载PDF
职称材料
题名
基于D3S的分布式系统监控技术
1
作者
章
甫
源
戚正伟
机构
上海交通大学软件学院
出处
《微型电脑应用》
2009年第2期28-30,10,共4页
基金
国家自然科学基金资助(No.60873209)
国家973项目资助(No.2007CB316506)
文摘
调试或测试分布式系统是一项重大的挑战。文中,作者在D3S系统架构上实现了一个针对分布式系统的运行时监控系统。介绍了该监控系统的框架与实现,以及涉及到的相关理论背景,并给出了案例分析和系统的性能分析。整个分布式系统的运行被建模成一系列带全局时间戳的一致性快照。监控系统采用LTL作为系统规约的描述语言,并且使用有限自动机判定在一条有限路径上某个LTL公式是否被满足。
关键词
分布式系统
运行时监控
线性时态逻辑
Keywords
Distributed system
Runtime monitoring
Linear temporal logic
分类号
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
P2P网络中蠕虫传播与防治模型的研究
被引量：
6
2
作者
高长喜
章
甫
源
辛阳
钮心忻
杨义先
机构
北京邮电大学信息安全中心
北京邮电大学网络与交换技术国家重点实验室
出处
《北京邮电大学学报》
EI
CAS
CSCD
北大核心
2006年第z2期49-53,共5页
基金
华为基金资助项目(YBTS2005009)
文摘
本文提出了一种P2P网络主动蠕虫的传播模型.同时,针对不同结构的P2P网络拓扑,给出了各自的用良性蠕虫对抗恶性蠕虫的防治策略和防治模型,并在Matlab环境下对这些模型进行了仿真,评估了P2P网络蠕虫传播的特点以及蠕虫防治效果的优劣.
关键词
蠕虫
对等网络
传播模型
防治模型
分类号
TP393.08 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于D3S的分布式系统监控技术
章
甫
源
戚正伟
《微型电脑应用》
2009
0
下载PDF
职称材料
2
P2P网络中蠕虫传播与防治模型的研究
高长喜
章
甫
源
辛阳
钮心忻
杨义先
《北京邮电大学学报》
EI
CAS
CSCD
北大核心
2006
6
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
