-
公开(公告)号：CN103220179A
公开(公告)日：2013-07-24
申请号：CN201310148619.2
申请日：2013-04-25
Applicant: 南京大学
IPC: H04L12/24
Abstract: 本发明提供一种网络系统的鲁棒性的评测系统及其工作方法。评测系统首先构造网络系统协议的时间自动机，描述协议的整体工作流程。然后，在模型中引入加权迁移对该时间自动机进行扩展，构建系统的随机时间自动机，以对环境中的不确定因素建模。基于该随机时间自动机，可以使用统计模型检验技术对系统的性能进行分析与评估，以在协议设计和选择阶段，实现参数配置、性能比较等目标。本方法主要是通过对不稳定网络系统中协议及环境的建模，分析与评估网络系统在特定环境下的性能，以此评测该网络系统的鲁棒性。统计模型检验技术基于仿真及统计的方法避免了对系统状态的穷尽搜索，在时间和空间上的消耗大大降低，能够用于处理大规模系统。
Search Results
1
records
(took 0.02 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
