检索结果-内蒙古大学图书馆

湖南大学学报（自然科学版） 2006年第2期33卷 118-121页

作者：谢鲲张大方文吉刚谢高岗湖南大学计算机与通信学院湖南长沙410082 湖南大学软件学院湖南长沙410082 中国科学院计算技术研究所信息网络研究室北京100008

实现了一个基于WinPcap的实时网络流量监测系统，完成了数据包级和流级的流量指标，包括2～7层协议分布，不同协议的流量速率，包大小分布，不同聚集程度的流分布。前N名的IP主机和主机对分布等；并提供网络运行状态的告警指标．实验结... 详细信息

实现了一个基于WinPcap的实时网络流量监测系统，完成了数据包级和流级的流量指标，包括2～7层协议分布，不同协议的流量速率，包大小分布，不同聚集程度的流分布。前N名的IP主机和主机对分布等；并提供网络运行状态的告警指标．实验结果表明，对于100M以太网。基于WinPeap的软件捕获流量监测程序的处理上限为60000packet／s，完全可以胜任100M以太网监测需求．

关键词：流量分析被动网络测试计算机网络网络协议

来源：评论

学校读者我要写书评

暂无评论

单向延迟测量中时钟动态性检测算法(英文)

引用

软件学报 2004年第4期15卷 584-593页

作者：王俊峰杨建华周虹霞谢高岗周明天电子科技大学计算机科学与工程学院四川成都610054 中国科学院计算技术研究所信息网络研究室北京100080 电子科技大学电子工程学院四川成都610054

延迟是评价网络性能的重要指标,也是进行其他网络性能指标测量的基础.基于全球定位系统(GPS)的端到端(end-to-end)时钟同步是测量网络单向指标的常用方法,但是其代价昂贵且缺乏灵活性.在无端到端时钟同步机制下进行网络单向延迟指标测... 详细信息

延迟是评价网络性能的重要指标,也是进行其他网络性能指标测量的基础.基于全球定位系统(GPS)的端到端(end-to-end)时钟同步是测量网络单向指标的常用方法,但是其代价昂贵且缺乏灵活性.在无端到端时钟同步机制下进行网络单向延迟指标测量的关键是消除时钟偏差效应的影响.基于对时间序列分段技术的分析,提出了一种新的时间序列分段标准与改进的分段算法,实现序列的自动聚类,其时间复杂度为O(N2).将该算法应用于检测端到端时钟的动态性,识别测量过程中时钟跳变和时钟频率调整位置,实现对网络单向延迟的测量,弱化了同类工作中对时钟动态性的严格假设.同时提出了基于滑动窗的在线实时时钟动态性检测算法.实际测试实验表明,该算法是行之有效的.

关键词：单向指标时钟动态性网络测量时间序列分段

来源：评论

学校读者我要写书评

暂无评论

提取极小布尔不可满足子式

提取极小布尔不可满足子式

引用

全国第13届计算机辅助设计与图形学（CAD/CG）学术会议

作者：邵明李光辉李晓维中国科学院计算技术研究所信息网络室中国科学院计算技术研究所信息网络室中国科学院计算技术研究所信息网络室

本文研究了提取极小布尔不可满足子式的算法。它分为近似算法和精确算法两种,该文提出了局部预先赋值的优化方案。并且在理论上证明了它的正确性,更进一步通过实验说明了该算法在效率上获得的提高。此外通过模拟实验观察到DPLL近似提取... 详细信息

本文研究了提取极小布尔不可满足子式的算法。它分为近似算法和精确算法两种,该文提出了局部预先赋值的优化方案。并且在理论上证明了它的正确性,更进一步通过实验说明了该算法在效率上获得的提高。此外通过模拟实验观察到DPLL近似提取算法的一个有趣现象,即随着公式密度的增加,算法的提取误差会趋于下降。

关键词：布尔可满足问题极小布尔不可满足子式

来源：评论

学校读者我要写书评

暂无评论

面向软件故障检测的数据流分析

面向软件故障检测的数据流分析

引用

全国第13届计算机辅助设计与图形学（CAD/CG）学术会议

作者：张广梅陈蕊李晓维中国科学院计算技术研究所信息网络室中国科学院计算技术研究所信息网络室中国科学院计算技术研究所信息网络室

程序中某一点的数据流状态与软件的执行路径有关。程序中的部分故障与数据流相关。文中提出的MUST数据流和MAY数据流反映了数据流的执行路径相关性特点。根据不同变量的管理特点,本文从程序的控制结构出发,详细的讨论了影响数据流的各... 详细信息

程序中某一点的数据流状态与软件的执行路径有关。程序中的部分故障与数据流相关。文中提出的MUST数据流和MAY数据流反映了数据流的执行路径相关性特点。根据不同变量的管理特点,本文从程序的控制结构出发,详细的讨论了影响数据流的各种因素及其之间的关系,提出了以基本块为最小程序单位的静态数据流分析方法,为准确地进行数据流分析提供了依据。

关键词：软件故障故障检测数据流分析

来源：评论

学校读者我要写书评

暂无评论

一种给定脆弱性环境下的安全措施效用评估模型

引用

软件学报 2012年第7期23卷 1880-1898页

作者：吴迪冯登国连一峰陈恺中国科学院软件研究所信息安全国家重点实验室北京100190 中国科学院研究生院信息安全国家重点实验室北京100049 信息网络安全公安部重点实验室(公安部第三研究所) 上海201204 信息安全共性技术国家工程研究中心北京100190

评估信息系统安全措施效用是改进系统信息安全绩效的一条重要途径.传统方法在评估安全措施效用时并没有考虑业务数据流、攻击流和安全措施要素之间的相互作用和影响,无法保证评估过程和结果的有效性.提出了一种给定脆弱性环境下的信息... 详细信息

评估信息系统安全措施效用是改进系统信息安全绩效的一条重要途径.传统方法在评估安全措施效用时并没有考虑业务数据流、攻击流和安全措施要素之间的相互作用和影响,无法保证评估过程和结果的有效性.提出了一种给定脆弱性环境下的信息系统安全措施效用评估方法,应用颜色Petri网为系统业务数据流、攻击流和安全措施要素进行统一建模.通过设计节点间脆弱性利用图生成算法和改进的Dijkstra算法识别所有可能破坏信息系统安全属性的最短攻击路径,使用层次评价模型评估系统安全措施的效用.给出了一种基于多属性决策的系统最优信息安全效用提升方案选择算法.改善评估过程对人员主观经验的依赖问题,有助于保证评估结果的一致性和可追溯性.以一个具体的Web业务系统为例进行实验,验证了所提出的模型和方法的正确性和有效性.

关键词：信息安全措施效用评估颜色Petri网最短攻击路径多属性决策

来源：评论

学校读者我要写书评

暂无评论

二维变系数扩散方程交替分组显格式的稳定性分析

引用

计算数学 2003年第2期25卷 129-144页

作者：万正苏张宝琳陈光南上海大学数学系中国科学院计算机信息网络中心北京应用物理与计算数学研究所计算物理实验室北京100088

The well-known AGE(Alternating Group Explicit)method is extended for solv-ing the two-dimensional parabolic with variable coefficients and the unconditional stability of the AGE method is proved by the energy method i... 详细信息

关键词：二维变系数扩散方程交替分组显格式算法稳定性抛物型方程初边非对称格式

来源：评论

学校读者我要写书评

暂无评论

软件的变量完整性测试方法

软件的变量完整性测试方法

引用

全国第13届计算机辅助设计与图形学（CAD/CG）学术会议

作者：黄光燕李晓维中国科学院计算技术研究所信息网络室中国科学院计算技术研究所信息网络室

本文提出变量完整性测试方法来检测软件的错误,由于测试用例的输出部分很难确定,我们通过测试变量自身的定义域和变量间的一致性约束关系,只需要确定输出值的范围而不用知道其确切的值,提高了错误检测的效率。同时,检测的范围不局限于... 详细信息

本文提出变量完整性测试方法来检测软件的错误,由于测试用例的输出部分很难确定,我们通过测试变量自身的定义域和变量间的一致性约束关系,只需要确定输出值的范围而不用知道其确切的值,提高了错误检测的效率。同时,检测的范围不局限于程序最后的输出结果,而是散布在程序中的各个有意义的变量,正如调试过程中设置断点观察的那些变量,检测错误更加精准。

关键词：软件测试变量依赖图变量完整性程序切片

来源：评论

学校读者我要写书评

暂无评论

IPv6协议标准和过渡机制

引用

中国传媒科技 2005年第8期 18-20页

作者：鲁士文中国科学院计算技术研究所信息网络研究室

当前采用的IP协议是它的第4版(IPv4),IPv5的称号被赋给了一个实验的称为流协议的面向连接的因特网协议.现在人们普遍意识到,或早或晚,IPv4最终要被一个称为IPv6的新协议替代.

关键词：协议标准 IPv6 过渡机制因特网协议 IP协议面向连接 IPv4 流协议

来源：评论

学校读者我要写书评

暂无评论

什么是下一代互联网协议IPv6?

引用

中关村 2005年第6期 81-83页

作者：鲁士文中国科学院计算技术研究所信息网络研究室

许多年来,第4版IP(IPv4)在互联网环境中起了一个中心的作用。实践证明,它是足够灵活的,可以在许多不同的网络技术上工作。然而在Internet的早期,使用它的人典型地是在学术机构、高技术公司和研究实验室工作的研究人员和科学家,主要目的... 详细信息

许多年来,第4版IP(IPv4)在互联网环境中起了一个中心的作用。实践证明,它是足够灵活的,可以在许多不同的网络技术上工作。然而在Internet的早期,使用它的人典型地是在学术机构、高技术公司和研究实验室工作的研究人员和科学家,主要目的是通过电子邮件交换科学数据。在上个世纪9（共3页)

关键词：互联网协议 IPv6 Internet 互联网环境实验室工作高技术公司个人计算机网络技术学术机构研究人员科学数据电子邮件 90年代第4版科学家 WWW 使用交换

来源：评论

学校读者我要写书评

暂无评论

针对线间串扰现象的静态定时分析

引用

计算机工程与科学 2005年第4期27卷 25-28,53页

作者：沈培福李华伟中国科学院计算技术研究所信息网络实验室北京师范大学计算机科学与技术系北京100875

超深亚微米工艺下,线间串扰是导致电路故障的主要原因之一。尽管可能导致故障的线间串扰的数量巨大,但真正会引起故障的线间串扰却相对较少。因此,如果能在对电路验证或测试前进行静态定时分析,找出那些导致电路故障的线间串扰,则可以... 详细信息

超深亚微米工艺下,线间串扰是导致电路故障的主要原因之一。尽管可能导致故障的线间串扰的数量巨大,但真正会引起故障的线间串扰却相对较少。因此,如果能在对电路验证或测试前进行静态定时分析,找出那些导致电路故障的线间串扰,则可以有效提高测试生成效率,并降低测试成本。基于此目的,文章在静态定时分析中引入对线间串扰现象的分析,在线时延模型的基础上使用重叠跳变对故障模型,只需要求出与最长通路的重叠跳变对即可。在对 ISCAS'89基准电路的实验中,各电路需要测试的串扰数平均减少至 10%以下。相对于已发表的实验结果,本文的实验结果具有较高的CPU效率。

关键词：集成电路制造工艺超深亚微米工艺线间串扰现象静态定时分析

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：