检索结果-维普期刊中文期刊服务平台

基于Challenge策略的大规模恶意P2P僵尸节点检测技术被引量：1: 1; 作者李景姚一杨 +1 位作者卢新岱乔勇《计算机工程》 CAS CSCD 北大核心 2016年第10期158-163,共6页; 传统僵尸网络检测技术主要考虑在主机上或者某一个网关出口的边界处检测特点区域网内的僵尸节点,规模较小,检测效率较低。为了在更大范围内进行有效的对等网络（P2P）僵尸节点检测,提出基于Challenge的探测P2P网络中所寄生的恶意僵尸节... 展开更多; 关键词 Challenge策略僵尸网络对等网络爬虫分布式哈希表恶意节点; 在线阅读下载PDF 职称材料

RTL数据通路模拟矢量自动生成方法研究与实现被引量：2: 2; 作者李暾郭阳李思昆《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第8期1062-1069,共8页; 针对已有的RTL数据通路模拟矢量自动生成方法的不足 ,提出一种利用约束逻辑编辑 (CLP)自动生成数据通路模拟矢量的新方法该方法首先对给定的VerilogRTL描述采用程序切片进行设计化简 ,然后对化简后的结果基于位向量算术原理生成CLP约... 展开更多; 关键词 RTL 数据通路模拟矢量自动生成方法约束逻辑编辑 CLP VLSI 形式化描述模型检验位向量算术约束求解; 在线阅读下载PDF 职称材料

RTL级模拟矢量自动生成设计化简方法研究被引量：2: 3; 作者李暾郭阳李思昆《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第5期671-677,共7页; 提出一种Verilog程序切片算法 ,给出了该算法的正确性证明的理论框架 ;并利用提出的Verilog程序切片算法对VerilogRTL级设计进行化简 ,实现模拟矢量自动生成状态化简目的实验结果表明 :该算法对状态化简效果非常明显。; 关键词 VLSI Verilog程序切片有限状态机模拟矢量自动生成 RTL级; 在线阅读下载PDF 职称材料

全定制电路功能模型提取的若干新算法被引量：2: 4; 作者李振涛陈书明《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2007年第5期628-634,共7页; 开发了一个全定制电路功能模型自动提取工具——TranSpirit,并提出了一些关键算法.其中,串并压缩算法解决了存在辅助预充管或者分叉结构情况下串并压缩不彻底的问题;动态电路提取算法只需要对上拉网络和下拉网络的逻辑进行分析,就可以... 展开更多; 关键词功能模型提取 TranSpirit 串并压缩动态电路三态门传输管电路; 在线阅读下载PDF 职称材料

分布式存储系统中用户磁盘空间分配策略被引量：6: 5; 作者谭子军何连跃《计算机工程》 CAS CSCD 北大核心 2010年第9期44-46,共3页; 针对用户文件的分布式存放导致的磁盘空间管理问题,提出一种在分布式存储系统中动态分配磁盘空间的策略,在保持用户磁盘配额大小不变的情况下,根据各存储节点的数据量差异,按需分配用户实际所用的存储空间。与传统的磁盘分配机制相比,... 展开更多; 关键词分布式存储系统磁盘配额物理空间按需分配; 在线阅读下载PDF 职称材料

题名基于Challenge策略的大规模恶意P2P僵尸节点检测技术被引量：1: 1; 作者李景姚一杨卢新岱乔勇; 机构国家电网浙江省电力公司电力科学研究院国家电网浙江省电力公司信息通信分公司国防科学技术大学计算机科学与技术学院; 出处《计算机工程》 CAS CSCD 北大核心 2016年第10期158-163,共6页; 基金浙江省杰出青年基金资助项目(LR14F020003); 文摘传统僵尸网络检测技术主要考虑在主机上或者某一个网关出口的边界处检测特点区域网内的僵尸节点,规模较小,检测效率较低。为了在更大范围内进行有效的对等网络（P2P）僵尸节点检测,提出基于Challenge的探测P2P网络中所寄生的恶意僵尸节点的策略。仿真实验结果表明,在超过400万个节点的KAD网络中,该检测技术可以检测到3 000个-9 000个寄生型P2P僵尸节点,能够估算KAD网络中可能存在的寄生型僵尸节点数目,对后续防御对象的精准定位和防御措施的准确设计具有参考作用。; 关键词 Challenge策略僵尸网络对等网络爬虫分布式哈希表恶意节点; Keywords Challenge strategy botnet Peer-to -Peer （P2P） network crawler Distributed Hash Table （DHT） malicious node; 分类号 TP393.08 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名RTL数据通路模拟矢量自动生成方法研究与实现被引量：2: 2; 作者李暾郭阳李思昆; 机构国防科学技术大学计算机科学与技术学院; 出处《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第8期1062-1069,共8页; 基金国家自然科学基金 ( 90 2 0 70 19 60 3 0 3 0 11) 国家"八六三"高技术研究发展计划 ( 2 0 0 2AA1Z14 80 )资助; 文摘针对已有的RTL数据通路模拟矢量自动生成方法的不足 ,提出一种利用约束逻辑编辑 (CLP)自动生成数据通路模拟矢量的新方法该方法首先对给定的VerilogRTL描述采用程序切片进行设计化简 ,然后对化简后的结果基于位向量算术原理生成CLP约束 ,并利用CLP求解器GProlog进行约束求解 ,最终生成满足输出要求的模拟矢量该方法约束求解速度快 ,生成的约束是统一的 ,得到的模拟矢量较完备 ,能满足模拟验证的要求实验结果表明。; 关键词 RTL 数据通路模拟矢量自动生成方法约束逻辑编辑 CLP VLSI 形式化描述模型检验位向量算术约束求解; Keywords VLSI datapath constraint logic programming automatic simulation vectors generation; 分类号 TN47 [电子电信—微电子学与固体电子学]; 在线阅读下载PDF 职称材料

题名RTL级模拟矢量自动生成设计化简方法研究被引量：2: 3; 作者李暾郭阳李思昆; 机构国防科学技术大学计算机科学与技术学院; 出处《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第5期671-677,共7页; 基金国家自然科学基金 ( 6 0 30 30 11 90 2 0 70 19) 国家"八六三"高技术研究发展计划( 2 0 02AA1Z14 80 )资助; 文摘提出一种Verilog程序切片算法 ,给出了该算法的正确性证明的理论框架 ;并利用提出的Verilog程序切片算法对VerilogRTL级设计进行化简 ,实现模拟矢量自动生成状态化简目的实验结果表明 :该算法对状态化简效果非常明显。; 关键词 VLSI Verilog程序切片有限状态机模拟矢量自动生成 RTL级; Keywords VLSI Verilog program slicing finite state machines automatic simulation vectors generation; 分类号 TP391.72 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名全定制电路功能模型提取的若干新算法被引量：2: 4; 作者李振涛陈书明; 机构国防科学技术大学计算机科学与技术学院; 出处《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2007年第5期628-634,共7页; 基金国家"八六三"高技术研究发展计划(2004AA1Z1040); 文摘开发了一个全定制电路功能模型自动提取工具——TranSpirit,并提出了一些关键算法.其中,串并压缩算法解决了存在辅助预充管或者分叉结构情况下串并压缩不彻底的问题;动态电路提取算法只需要对上拉网络和下拉网络的逻辑进行分析,就可以准确地提取动态电路的类型和结构信息.此外,提出了一种通用的三态门分析算法,可以处理各种复杂的三态门结构.采用逐级推进的方法,实现了一种更为高效的传输管电路分析算法.实验结果表明,TranSpirit可以处理微处理器设计中的各种常用电路,具有很高的模型提取速度.; 关键词功能模型提取 TranSpirit 串并压缩动态电路三态门传输管电路; Keywords functional model extraction TranSpirit parallel-serial compression dynamic circuits tristate gates pass transistor logic; 分类号 TP391.72 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名分布式存储系统中用户磁盘空间分配策略被引量：6: 5; 作者谭子军何连跃; 机构国防科学技术大学计算机科学与技术学院; 出处《计算机工程》 CAS CSCD 北大核心 2010年第9期44-46,共3页; 基金国家"863"计划基金资助项目"分布加密存储软件结构及其关键技术"(2007AA012408); 文摘针对用户文件的分布式存放导致的磁盘空间管理问题,提出一种在分布式存储系统中动态分配磁盘空间的策略,在保持用户磁盘配额大小不变的情况下,根据各存储节点的数据量差异,按需分配用户实际所用的存储空间。与传统的磁盘分配机制相比,该方法简便灵活,更能适应网络存储数据的动态变化,有效提高磁盘空间资源的利用率。; 关键词分布式存储系统磁盘配额物理空间按需分配; Keywords distributed storage system disk quota physical space allocation on demand; 分类号 TP311.12 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于Challenge策略的大规模恶意P2P僵尸节点检测技术	李景姚一杨卢新岱乔勇	《计算机工程》 CAS CSCD 北大核心	2016	1	在线阅读下载PDF 职称材料
2	RTL数据通路模拟矢量自动生成方法研究与实现	李暾郭阳李思昆	《计算机辅助设计与图形学学报》 EI CSCD 北大核心	2004	2	在线阅读下载PDF 职称材料
3	RTL级模拟矢量自动生成设计化简方法研究	李暾郭阳李思昆	《计算机辅助设计与图形学学报》 EI CSCD 北大核心	2004	2	在线阅读下载PDF 职称材料
4	全定制电路功能模型提取的若干新算法	李振涛陈书明	《计算机辅助设计与图形学学报》 EI CSCD 北大核心	2007	2	在线阅读下载PDF 职称材料
5	分布式存储系统中用户磁盘空间分配策略	谭子军何连跃	《计算机工程》 CAS CSCD 北大核心	2010	6	在线阅读下载PDF 职称材料