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

计算机研究与发展 2011年第S2期48卷 808-812页

作者：许君王朝坤李瑞王建民刘璋清华大学计算机科学与技术系北京100084 清华大学软件学院北京100084 清华信息科学与技术国家实验室(筹)(清华大学) 北京100084 信息系统安全教育部重点实验室(清华大学) 北京100084 清华大学软件学院北京100084 清华信息科学与技术国家实验室(筹)(清华大学) 北京100084 信息系统安全教育部重点实验室(清华大学) 北京100084

随着互联网的发展,FTP作为文件共享的主要方式得到了快速的发展.和HTTP相比,FTP具有一些不同的特点,例如区域化、封闭化,这些特点增加了FTP站点的索引与查询工作的难度.目前常见针对FTP文件索引的工作均是围绕文件名开展,用户难以获取... 详细信息

随着互联网的发展,FTP作为文件共享的主要方式得到了快速的发展.和HTTP相比,FTP具有一些不同的特点,例如区域化、封闭化,这些特点增加了FTP站点的索引与查询工作的难度.目前常见针对FTP文件索引的工作均是围绕文件名开展,用户难以获取到需要的内容信息.iSearch系统作为基于内容的分布式FTP搜索引擎,它能够基于文件内容进行检索,具有增量式索引、可插拔配置、负载均衡、查询分发等特点,同时它通过减少索引过程中的网络传输代价、索引尽可能多的文本信息和充分利用用户的反馈,提供更为准确与稳定的查询服务.

关键词：分布式计算 FTP检索基于内容负载平衡用户反馈

来源：评论

学校读者我要写书评

暂无评论

启发式探查最佳分割平面的快速KD-Tree构建方法

引用

计算机学报 2009年第2期32卷 185-192页

作者：范文山王斌清华大学计算机科学与技术系北京100084 清华大学软件学院北京100084 信息系统安全教育部重点实验室北京100084 清华信息科学与技术国家实验室北京100084

在基于光线跟踪方法的真实感绘制中,kd-tree是一种重要的加速结构.文章对kd-tree的构建方法进行了研究,提出了一种基于分区(binning)算法的快速构建方法.首先,通过分析kd-tree的成本函数,启发式地定位了当前节点的分割平面所在的子区间... 详细信息

在基于光线跟踪方法的真实感绘制中,kd-tree是一种重要的加速结构.文章对kd-tree的构建方法进行了研究,提出了一种基于分区(binning)算法的快速构建方法.首先,通过分析kd-tree的成本函数,启发式地定位了当前节点的分割平面所在的子区间;其次,对探查到的子区间进行进一步的细化采样(sub-sampling),使得到的分割平面更好地逼近最优分割位置;同时,文章分析了现有方法在处理分割终止时存在的问题,提出了更加合理的分割终止条件.与以往方法相比,新方法用更小的计算成本生成了质量更好的kd-tree,构建过程更加鲁棒.实验数据验证了文中方法的有效性.

关键词：光线跟踪 kd-tree SAH 分区算法细化采样

来源：评论

学校读者我要写书评

暂无评论

软件形式化验证专题前言

引用

软件学报 2019年第7期30卷 1901-1902页

作者：贺飞张立军清华大学软件学院北京100084 北京信息科学与技术国家研究中心北京100084 信息系统安全教育部重点实验室北京100084 中国科学院软件研究所北京100190 广州智能软件产业研究院广东广州511458

形式化方法是建立在逻辑演算、形式语言、自动机理论、程序语义、类型系统等理论基础之上,对计算系统进行描述和分析的一系列符号与技术的集合。形式化方法可指导软/硬件系统的规约、设计和验证,是改善和确保计算系统质量的重要方法。... 详细信息

形式化方法是建立在逻辑演算、形式语言、自动机理论、程序语义、类型系统等理论基础之上,对计算系统进行描述和分析的一系列符号与技术的集合。形式化方法可指导软/硬件系统的规约、设计和验证,是改善和确保计算系统质量的重要方法。历史上,形式化方法在硬件和协议验证方面取得巨大成功。

关键词：形式化验证形式化方法软件计算系统硬件系统自动机理论逻辑演算形式语言

来源：评论

学校读者我要写书评

暂无评论

可重构的大规模网络仿真试验环境

可重构的大规模网络仿真试验环境

引用

第二十一届全国信息保密学术会议(IS2011)

作者：许飞苗青况晓辉唐洪李津信息系统安全技术重点实验室北京系统工程研究所

大规模网络仿真试验环境在网络与信息系统安全保密技术的研究、开发与验证，信息系统的安全测评等方面具有十分重要的作用。构建通用、灵活、可重构、可扩展的网络仿真试验环境是当前网络与信息安全领域研究热点之一。本文在系统分析了... 详细信息

大规模网络仿真试验环境在网络与信息系统安全保密技术的研究、开发与验证，信息系统的安全测评等方面具有十分重要的作用。构建通用、灵活、可重构、可扩展的网络仿真试验环境是当前网络与信息安全领域研究热点之一。本文在系统分析了网络仿真试验环境构建技术的基础上，提出了可重构的大规模网络仿真试验环境----LSNEMULab ，描述了其体系结构及相关实现技术，并对已经开展的试验与验证工作进行了阐述。

关键词：计算机网络仿真试验网络安全工具软件

来源：评论

学校读者我要写书评

暂无评论

误差可控的近似B样条曲面蒙皮算法

引用

计算机辅助设计与图形学学报 2008年第11期20卷 1477-1482页

作者：王文珂张慧王斌清华大学软件学院北京100084 清华大学计算机科学与技术系北京100084 信息系统安全教育部重点实验室北京100084 清华信息科学与技术国家实验室北京100084

B样条曲面蒙皮是曲面造型中常用的一种造型方式,传统的蒙皮算法会导致最终的蒙皮曲面含有大量的控制点.在Piegl算法的基础上,提出一种更加高效且误差可控的近似蒙皮算法.对B样条基函数的最大值进行了更为精确的估计,并且充分利用B样条... 详细信息

B样条曲面蒙皮是曲面造型中常用的一种造型方式,传统的蒙皮算法会导致最终的蒙皮曲面含有大量的控制点.在Piegl算法的基础上,提出一种更加高效且误差可控的近似蒙皮算法.对B样条基函数的最大值进行了更为精确的估计,并且充分利用B样条基函数的局部支撑性,尽可能多地删除相容性处理后B样条曲线的控制点,使得蒙皮算法更加有效.实验结果表明,在同样的误差范围内,文中算法可以比Piegl算法减少更多的控制点.

关键词： B样条蒙皮曲线相容性处理

来源：评论

学校读者我要写书评

暂无评论

基于机器学习的软件脆弱性分析方法综述

引用

计算机工程与科学 2018年第11期40卷 2000-2007页

作者：况晓辉刘强李响聂原平军事科学院系统工程研究院信息系统安全技术国防科技重点实验室北京100101 清华大学计算机科学与技术系北京100084

随着被披露脆弱性代码样本数量的不断增加和机器学习方法的广泛应用,基于机器学习的软件脆弱性分析逐渐成为信息安全领域的热点研究方向。首先,通过分析已有研究工作,提出了基于机器学习的软件脆弱性挖掘框架;然后,从程序分析角度对已... 详细信息

随着被披露脆弱性代码样本数量的不断增加和机器学习方法的广泛应用,基于机器学习的软件脆弱性分析逐渐成为信息安全领域的热点研究方向。首先,通过分析已有研究工作,提出了基于机器学习的软件脆弱性挖掘框架;然后,从程序分析角度对已有研究工作进行了分类综述;最后,对研究成果进行了对比分析,并分析了当前基于机器学习的脆弱性分析方法面临的挑战,展望了未来的发展方向。

关键词：软件脆弱性分析机器学习综述

来源：评论

学校读者我要写书评

暂无评论

大规模、时变数据的体绘制与特征追踪

引用

计算机辅助设计与图形学学报 2013年第11期25卷 1614-1622,1634页

作者：彭艺陈莉雍俊海清华大学计算机科学与技术系北京100084 清华大学软件学院计算机图形学与辅助设计研究所北京100084 清华大学软件学院信息系统安全教育部重点实验室北京100084 清华大学清华大学信息科学与技术国家实验室北京100084

近年来,随着科学数据的快速增长,海量时变数据的分析成为了亟待科学家解决的难题.作为科学可视化领域的一类基本方法,体绘制与特征追踪能够很好地辅助科学家理解数据.文中针对科学数据大规模、时变、异构的特点,从大规模数据的实时体绘... 详细信息

近年来,随着科学数据的快速增长,海量时变数据的分析成为了亟待科学家解决的难题.作为科学可视化领域的一类基本方法,体绘制与特征追踪能够很好地辅助科学家理解数据.文中针对科学数据大规模、时变、异构的特点,从大规模数据的实时体绘制,以及时变、异构数据的特征追踪两个方面对现有的研究工作进行了梳理,分别从不同的角度对相关的方法进行了分类和汇总.最后,对科学可视化领域未来的研究方向进行了展望.

关键词：大规模时变数据体绘制特征追踪

来源：评论

学校读者我要写书评

暂无评论

CheatKD:基于毒性神经元同化的知识蒸馏后门攻击方法

引用

计算机科学 2024年第3期51卷 351-359页

作者：陈晋音李潇金海波陈若曦郑海斌李虎浙江工业大学信息工程学院杭州310023 浙江工业大学网络空间安全研究院杭州310023 信息系统安全技术重点实验室北京100101

深度学习模型性能不断提升,但参数规模也越来越大,阻碍了其在边缘端设备的部署应用。为了解决这一问题,研究者提出了知识蒸馏(Knowledge Distillation,KD)技术,通过转移大型教师模型的“暗知识”快速生成高性能的小型学生模型,从而实现... 详细信息

深度学习模型性能不断提升,但参数规模也越来越大,阻碍了其在边缘端设备的部署应用。为了解决这一问题,研究者提出了知识蒸馏(Knowledge Distillation,KD)技术,通过转移大型教师模型的“暗知识”快速生成高性能的小型学生模型,从而实现边缘端设备的轻量部署。然而,在实际场景中,许多教师模型是从公共平台下载的,缺乏必要的安全性审查,对知识蒸馏任务造成威胁。为此,我们首次提出针对特征KD的后门攻击方法CheatKD,其嵌入在教师模型中的后门,可以在KD过程中保留并转移至学生模型中,进而间接地使学生模型中毒。具体地,在训练教师模型的过程中,CheatKD初始化一个随机的触发器,并对其进行迭代优化,以控制教师模型中特定蒸馏层的部分神经元(即毒性神经元)的激活值,使其激活值趋于定值,以此实现毒性神经元同化操作,最终使教师模型中毒并携带后门。同时,该后门可以抵御知识蒸馏的过滤被传递到学生模型中。在4个数据集和6个模型组合的实验上,CheatKD取得了85%以上的平均攻击成功率,且对于多种蒸馏方法都具有较好的攻击泛用性。

关键词：后门攻击深度学习知识蒸馏鲁棒性

来源：评论

学校读者我要写书评

暂无评论

基于Ettercap的局域网嗅探与防御技术研究

基于Ettercap的局域网嗅探与防御技术研究

引用

第二十二届全国信息保密学术会议(IS2012)

作者：庞玲明亮信息系统安全技术重点实验室北京系统工程研究所

本文介绍了网络嗅探器Ettercap的主要功能，研究了基于Ettercap的网络嗅探技术，并通过局域网嗅探实例进行实验验证。实验表明，该技术可查看嗅探到的非加密内容和加密内容，展示了Ettercap的强大功能。最后对此嗅探技术提出了防御措施... 详细信息

本文介绍了网络嗅探器Ettercap的主要功能，研究了基于Ettercap的网络嗅探技术，并通过局域网嗅探实例进行实验验证。实验表明，该技术可查看嗅探到的非加密内容和加密内容，展示了Ettercap的强大功能。最后对此嗅探技术提出了防御措施建议。

关键词：局域网络嗅探器防御技术安全管理

来源：评论

学校读者我要写书评

暂无评论

PLM系统中业务对象版本操作合规性检查的自动实现

引用

计算机集成制造系统 2011年第8期17卷 1660-1669页

作者：王朝霞朱笑尘欧阳春 WYNN Moe Thandar 闻立杰清华大学软件学院北京100084 清华大学计算机科学与技术系北京100084 清华大学信息系统安全教育部重点实验室北京100084 清华大学信息科学与技术国家实验室(筹) 北京100084 后勤工程学院后勤信息工程系重庆400014 昆士兰科技大学

分析了企业实施产品全生命周期管理系统时对业务过程中产品的版本操作与产品版本操作生命周期一致性的要求,介绍了版本操作合规性问题,并从语法合规性规则和行为合规性规则两方面进一步阐述了相应的解决方案,详细介绍了版本操作合规性... 详细信息

分析了企业实施产品全生命周期管理系统时对业务过程中产品的版本操作与产品版本操作生命周期一致性的要求,介绍了版本操作合规性问题,并从语法合规性规则和行为合规性规则两方面进一步阐述了相应的解决方案,详细介绍了版本操作合规性检查方案的实现框架。采用问卷调查研究方法,收集问卷反馈信息,进一步验证了所研究问题在产品全生命周期管理领域的现实性,所提出的解决方案具有可行性,所开发的工具具有很强的应用推广价值。

关键词：产品全生命周期管理业务过程版本操作生命周期版本操作合规性

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：