章甫源
- 作品数：5 被引量：6H指数：1
- 供职机构：上海交通大学更多>>
- 发文基金：华为科技基金项目国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于D3S的分布式系统监控技术
- 2009年
- 调试或测试分布式系统是一项重大的挑战。文中,作者在D3S系统架构上实现了一个针对分布式系统的运行时监控系统。介绍了该监控系统的框架与实现,以及涉及到的相关理论背景,并给出了案例分析和系统的性能分析。整个分布式系统的运行被建模成一系列带全局时间戳的一致性快照。监控系统采用LTL作为系统规约的描述语言,并且使用有限自动机判定在一条有限路径上某个LTL公式是否被满足。
- 章甫源戚正伟
- 关键词：分布式系统线性时态逻辑
- P2P网络中蠕虫传播与防治模型的研究
- 本文提出了一种P2P网络主动蠕虫的传播模型.同时,针对不同结构的P2P网络拓扑,给出了各自的用良性蠕虫对抗恶性蠕虫的防治策略和防治模型,并在Matlab环境下对这些模型进行了仿真,评估了P2P网络蠕虫传播的特点以及蠕虫防...
- 高长喜章甫源辛阳钮心忻杨义先
- 关键词：蠕虫对等网络网络
- 文献传递
- P2P网络中蠕虫传播与防治模型的研究
- 本文提出了一种P2P网络主动蠕虫的传播模型．同时,针对不同结构的P2P网络拓扑,给出了各自的用良性蠕虫对抗恶性蠕虫的防治策略和防治模型,并在Matlab环境下对这些模型进行了仿真,评估了P2P网络蠕虫传播的特点以及蠕虫防...
- 高长喜章甫源辛阳钮心忻杨义先
- 关键词：蠕虫对等网络
- 文献传递
- 基于D3S的在线程序分析技术的研究
- 分布式系统的复杂性使人们在调试以及验证分布式系统时遇到了很多困难。虽然人们在测试和调试分布式系统方面付出了巨大的努力，然而一旦系统实际部署后，又会暴露出很多未能检测出的系统异常行为。D3S系统是针对已部署的分布式系统的一...
- 章甫源
- 关键词：分布式系统监控系统
- 文献传递
- P2P网络中蠕虫传播与防治模型的研究被引量：6
- 2006年
- 本文提出了一种P2P网络主动蠕虫的传播模型.同时,针对不同结构的P2P网络拓扑,给出了各自的用良性蠕虫对抗恶性蠕虫的防治策略和防治模型,并在Matlab环境下对这些模型进行了仿真,评估了P2P网络蠕虫传播的特点以及蠕虫防治效果的优劣.
- 高长喜章甫源辛阳钮心忻杨义先
- 关键词：蠕虫对等网络
