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

计算机工程与应用 2004年第26期40卷 129-132页

作者：梁健林中华北计算技术研究所软件平台实验室北京100083

目前的网络入侵检测系统(NIDS)主要存在误报,漏报率高、自身的性能难以适应迅速增长的网络流量的需要等缺点,论文以提高检测的速度和准确率为目的对网络入侵检测简单模型进行分析,针对其三个关键处理点提出了高速网络数据处理技术、高... 详细信息

目前的网络入侵检测系统(NIDS)主要存在误报,漏报率高、自身的性能难以适应迅速增长的网络流量的需要等缺点,论文以提高检测的速度和准确率为目的对网络入侵检测简单模型进行分析,针对其三个关键处理点提出了高速网络数据处理技术、高准确度的检测技术、高速模式匹配技术,并在文章最后展望了入侵检测将来可能使用的一些关键技术。论文所讨论的关键技术得到了比较好的运用,并建立了完善的原型系统。

关键词：入侵检测协议分析状态分析多模式匹配零拷贝

来源：评论

学校读者我要写书评

暂无评论

深亚微米CMOS电路漏电流快速模拟器

引用

计算机研究与发展 2004年第5期41卷 880-885页

作者：徐勇军陈治国骆祖莹李晓维中国科学院计算技术研究所信息网络研究室北京100080 清华大学计算机科学与技术系北京100084

随着工艺的发展 ,功耗成为大规模集成电路设计领域中一个关键性问题降低电源电压是减少电路动态功耗的一种十分有效的方法 ,但为了保证系统性能 ,必须相应地降低电路器件的阈值电压 ,而这样又将导致静态功耗呈指数形式增长 ,进入深亚... 详细信息

随着工艺的发展 ,功耗成为大规模集成电路设计领域中一个关键性问题降低电源电压是减少电路动态功耗的一种十分有效的方法 ,但为了保证系统性能 ,必须相应地降低电路器件的阈值电压 ,而这样又将导致静态功耗呈指数形式增长 ,进入深亚微米工艺后 ,漏电功耗已经能和动态功耗相抗衡 ,因此 ,漏电功耗快速模拟器和低功耗低漏电技术一样变得十分紧迫诸如HSPICE的精确模拟器可以准确估计漏电功耗 ,但仅仅适合于小规模电路首先证实了CMOS晶体管和基本逻辑门都存在堆栈效应 ,然后提出了快速模拟器的漏电模型 ,最后通过对ISCAS85& 89基准电路的实验 ,说明了在精度许可 (误差不超过 3% )的前提下 ,模拟器获得了成百倍的加速。

关键词：漏电功耗深亚微米工艺 BSIM漏电模型

来源：评论

学校读者我要写书评

暂无评论

交互复杂度--面向网络计算的复杂度指标

引用

计算机研究与发展 2004年第12期41卷 2088-2094页

作者：刘兴武徐志伟中国科学院计算技术研究所软件研究室北京100080 中国科学院研究生院北京100039 中国科学院计算技术研究所北京100080

随着网络计算的盛行,计算问题的解决越来越倾向于通过分布在网络上的服务的交互来完成,研究问题在交互意义上的复杂度显得日益重要.提出了以交互为基本要素的通用计算模型--交互积,在此基础上提出了算法的交互复杂度指标,并初步探索了... 详细信息

随着网络计算的盛行,计算问题的解决越来越倾向于通过分布在网络上的服务的交互来完成,研究问题在交互意义上的复杂度显得日益重要.提出了以交互为基本要素的通用计算模型--交互积,在此基础上提出了算法的交互复杂度指标,并初步探索了交互复杂度和时间复杂度之间的关系.利用3-GIP的通用性,可以降低网格系统的成本和提高好用性,而交互复杂度可以作为网格上问题解决方案的评价指标,从而可以指导网格应用的开发.

关键词：交互交互积交互复杂度自动机

来源：评论

学校读者我要写书评

暂无评论

网络异常的检测与诊断方法

引用

小型微型计算机系统 2004年第4期25卷 506-510页

作者：邹柏贤中国科学院计算技术研究所网络室北京100080

为提高网络的可用性和可靠性 ,当网络出现异常时 ,首先 ,必须尽快地发现异常 (即异常检测 ) ,发出警报 ,这样可以提前采取措施以避免或减轻对服务的影响 ,其次 ,必须从大量的警报信息中作出正确的诊断 ,提取出真正的、非冗余的信息 ,以... 详细信息

为提高网络的可用性和可靠性 ,当网络出现异常时 ,首先 ,必须尽快地发现异常 (即异常检测 ) ,发出警报 ,这样可以提前采取措施以避免或减轻对服务的影响 ,其次 ,必须从大量的警报信息中作出正确的诊断 ,提取出真正的、非冗余的信息 ,以便找出问题的根源 (即警报关联 ) ,从而解决问题 ,改善服务质量 .本文就网络异常检测和警报关联两个方面进行总结和分析 ,回顾了该领域的主要研究工作。

关键词：网络异常异常检测警报关联

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机辅助设计与图形学学报 2004年第11期16卷 1584-1589页

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

由于软件测试用例的输出部分很难确定 ,而通过测试变量自身的定义域和变量间的一致性约束关系 ,只需要确定输出值的范围而不用知道其确切的值 ,就可以提高了错误检测的效率同时 ,检测的范围不局限于程序最后的输出结果 ,而是散布在程... 详细信息

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

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

来源：评论

学校读者我要写书评

暂无评论

设计模式在图形处理软件中的应用

引用

计算机应用 2004年第B12期24卷 189-191页

作者：聂颖华北计算技术研究所指挥自动化研究室北京100083

介绍了设计模式的含义,说明了图形处理软件的体系结构,并论述了桥接模式、组合模式、代理模式、命令模式、观察者模式和迭代器在图形处理软件中的应用。

关键词：图形处理设计模式框架组件

来源：评论

学校读者我要写书评

暂无评论

电路宽度制导的布尔推理

引用

计算机辅助设计与图形学学报 2004年第11期16卷 1568-1574页

作者：李光辉邵明李晓维浙江林学院信息工程学院杭州311300 中国科学院计算技术研究所信息网络研究室

在基于逻辑电路的布尔推理过程中 ,经常用到二叉判决图 (BDD)与布尔可满足性 (SAT)相结合的算法由于电路宽度能很好地反映电路的复杂性 ,提出了一种基于电路宽度的启发式策略 ,根据电路宽度来实现SAT算法与BDD算法的交替充分发挥两... 详细信息

在基于逻辑电路的布尔推理过程中 ,经常用到二叉判决图 (BDD)与布尔可满足性 (SAT)相结合的算法由于电路宽度能很好地反映电路的复杂性 ,提出了一种基于电路宽度的启发式策略 ,根据电路宽度来实现SAT算法与BDD算法的交替充分发挥两者的优势 ,不仅可以防止因构造BDD可能导致的内存爆炸 ,而且还能避免SAT算法可能遇到的超时现象与以往同类策略相比 ,该启发式策略更节省计算资源 ,提高算法性能针对组合电路的测试产生实验。

关键词：电路宽度布尔推理二叉判决图布尔可满足性测试产生

来源：评论

学校读者我要写书评

暂无评论

关于交互和图灵可计算性的一些注记

引用

科学通报 2004年第22期49卷 2375-2376页

作者：刘兴武徐志伟孙毓忠中国科学院计算技术研究所软件室中国科学院计算技术研究所北京100080

图灵机作为通用的算法模型在计算机科学中占据统治地位长达半个世纪, 它反映的是"封闭世界"假设, 认为计算实体的行为完全由自身的因素决定, 和所处的环境、外部时间没有关系. 随着基于网络的计算技术[1,2]的兴起, 计算实体... 详细信息

图灵机作为通用的算法模型在计算机科学中占据统治地位长达半个世纪, 它反映的是"封闭世界"假设, 认为计算实体的行为完全由自身的因素决定, 和所处的环境、外部时间没有关系. 随着基于网络的计算技术[1,2]的兴起, 计算实体之间通过网络互联并且互相影响, 它们的行为既相对独立, 又彼此依赖, 于是计算已经突破了图灵机模式[3], 而交互被认为是这个突破的决定性因素[4,5]. 但是, 目前网络计算还缺乏好的基础模型, 特别是交互的研究还远不够成熟. 为此, 我们的工作是探索交互和算法的关系. 交互的本质在于个体的行为和环境相关, 使得多个个体可以合作, 从而增强各自的能力. 因此, 一个自然的问题是: 是否存在一类比图灵机弱的机器, 它们之间通过交互可以实现图灵机的功能? 该问题的解决对算法的并行化、分布式系统的构建、以及交互能力的评价都有重要意义, 但是相关研究却很少. 本文提出了一种新的交互模型--交互积, 基于此给出一些针对上述问题的肯定性结果, 并且讨论了这些结果在编程模式以及网格计算中的意义.

关键词：图灵机交互可计算性计算机科学通用基于网络实体反映统治地位自身

来源：评论

学校读者我要写书评

暂无评论

一种分布式的被动测量系统设计

引用

计算机应用研究 2004年第11期21卷 282-285页

作者：马维旻王俊峰叶晨中国科学院计算技术研究所信息网络室北京100080

网络被动测量技术是网络测量研究的一个重要方面。讨论了测量系统中数据包的抽样捕获算法和包头压缩方法,并给出了一个被动测量系统组成结构和主要功能模块的设计,并阐述了测量探针与控制主机的通信机制。

关键词：被动测量抽样数据包头压缩系统结构

来源：评论

学校读者我要写书评

暂无评论

针对串扰引起的时延故障的测试产生

引用

计算机辅助设计与图形学学报 2004年第10期16卷 1448-1453页

作者：张月李华伟宫云战李晓维装甲兵工程学院信息工程系北京100072 中国科学院计算技术研究所信息网络研究室北京100080

串扰的出现可能会导致电路出现逻辑错误和时延故障因此 ,超深亚微米工艺下 ,在设计验证、测试阶段需要对串扰问题给予认真对待由于电路中较长的通路具有较短的松弛时间 ,因此容易因为串扰问题产生时延故障针对这类故障给出了一个... 详细信息

串扰的出现可能会导致电路出现逻辑错误和时延故障因此 ,超深亚微米工艺下 ,在设计验证、测试阶段需要对串扰问题给予认真对待由于电路中较长的通路具有较短的松弛时间 ,因此容易因为串扰问题产生时延故障针对这类故障给出了一个考虑较长通路上串扰现象的时延故障测试产生算法 ,该算法采用了波形敏化技术实验结果表明。

关键词：串扰时延故障自动测试向量产生波形敏化

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：