>>> 哲学 经济学 法学 教育学 文学 历史学 理学 工学 农学 医学 军事学 管理学 旅游学 文化学 特色库
搜索结果: 1-1 共查到知识要闻 NSDI相关记录1条 . 查询时间(0.061 秒)
计算机网络已经是全球最重要的基础设施之一。然而,随着网络规模的不断增长,协议配置日趋复杂,单纯依靠管理员对网络进行配置极易出现错误,从而引发严重网络故障。近年来,世界范围内已发生多起大规模网络故障,造成大量用户无法上网、飞机无法起飞、银行账户冻结等严重后果。已有的网络正确性验证技术仅能针对规模较小、配置简单的网络进行验证,在网络规模较大、配置较复杂时无法在有效时间内得到验证结果。

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...