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

计算机科学 2020年第3期47卷 5-10页

作者：张丹罗平清华大学软件学院北京100084 信息系统安全教育部重点实验室(清华大学) 北京100084

在代码开源的潮流下,代码克隆在提高代码质量和降低开发成本的同时,一定程度地影响了软件系统的稳定性、健壮性与可维护性。代码相似性检测在计算机与信息安全发展方面具有重要的意义。为应对代码克隆带来的各种危害,目前学术界和工业... 详细信息

在代码开源的潮流下,代码克隆在提高代码质量和降低开发成本的同时,一定程度地影响了软件系统的稳定性、健壮性与可维护性。代码相似性检测在计算机与信息安全发展方面具有重要的意义。为应对代码克隆带来的各种危害,目前学术界和工业界提出了很多代码相似性检测的方法,这些方法按照源代码信息处理程度可分为基于文本、词法、语法、语义和度量值5类;并开发了相应的检测工具,这些工具实现了很好的检测效果,但在大数据时代背景下也面临着数据规模不断扩大带来的一系列挑战。文中综述了代码相似性检测的方法,对5类检测方法做了详细比较;结合传统方法与机器学习技术,归类了不同检测方法对应的检测工具;按照不同评价标准评估了检测工具的检测效果,总结了每种检测方法的首选检测工具,并对未来代码相似性检测的研究方向做出了展望。

关键词：代码克隆克隆检测克隆评估

来源：评论

学校读者我要写书评

暂无评论

医学可视化中利用形状特征设计传递函数

引用

计算机辅助设计与图形学学报 2011年第1期23卷 78-84页

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

传递函数设计是医学可视化中一种困难却行之有效的方法.传递函数能高亮显示人体内的重要部位,为医生诊断疾病带来便捷.通过对目前传递函数设计方法中研究较少的形状特征进行研究,提出了基于形状特征的传递函数,利用三维不变矩、分形特... 详细信息

传递函数设计是医学可视化中一种困难却行之有效的方法.传递函数能高亮显示人体内的重要部位,为医生诊断疾病带来便捷.通过对目前传递函数设计方法中研究较少的形状特征进行研究,提出了基于形状特征的传递函数,利用三维不变矩、分形特征、线状特征等多种形状特征突出显示用户感兴趣的具有相同形状的结构.最后用一些医学数据集进行测试,证明了文中方法的高效性和便捷性.

关键词：形状分割传递函数体绘制可视化

来源：评论

学校读者我要写书评

暂无评论

基于投影特征识别的斜截切二次曲面重建算法

引用

计算机辅助设计与图形学学报 2009年第6期21卷 789-795页

作者：文雅玫龚洁晖张慧清华大学软件学院清华大学计算机科学与技术系信息系统安全教育部重点实验室清华信息科学与技术国家实验室中国人民解放军75753部队

平面与二次曲面的截切组合是机械零件常用的设计手段.在分析斜截切二次曲面在三视图中的投影特性的基础上,提出识别和重建这类曲面的算法.首先根据曲面的投影特性在三视图中检索斜截切曲面的投影痕迹;然后以其作为引导,初步判定曲面类型... 详细信息

平面与二次曲面的截切组合是机械零件常用的设计手段.在分析斜截切二次曲面在三视图中的投影特性的基础上,提出识别和重建这类曲面的算法.首先根据曲面的投影特性在三视图中检索斜截切曲面的投影痕迹;然后以其作为引导,初步判定曲面类型,深度优先搜索进一步识别斜截切二次曲面;再根据投影边的二维信息计算未截切曲面的几何参数,并通过未截切曲面与截平面求交获取截切曲线;最后构造斜截切曲面的拓扑结构,生成三维曲面.该算法可以识别和重建空间任意位置的斜截切二次曲面,拓展了重建算法的形体覆盖域.文中算法目前已运用到形体重建原型系统中,实验结果证明了其有效性.

关键词：二次曲面三视图三维重建

来源：评论

学校读者我要写书评

暂无评论

基于MANET可用性的信任度量模型

引用

通信学报 2010年第3期31卷 82-88页

作者：赵曦滨游之洋赵志峰清华大学软件学院信息系统安全教育部重点实验室北京100084 清华大学计算机科学与技术系北京100084 镇江船艇学院计算机教研室江苏镇江212003

提出并设计了基于可用性的信任度量模型(ABTEM,availability based trust evalua tion model),在此基础上可以构建多种针对可用性的安全服务。网络模拟实验的结果证明,将ABTEM应用于DSR路由协议时,在路由层能够成功地根据其恶意行为发... 详细信息

提出并设计了基于可用性的信任度量模型(ABTEM,availability based trust evalua tion model),在此基础上可以构建多种针对可用性的安全服务。网络模拟实验的结果证明,将ABTEM应用于DSR路由协议时,在路由层能够成功地根据其恶意行为发现网络中的恶意节点,并且进一步孤立这些恶意节点,从而避免网络继续受到恶意节点的侵害,显著提高了MANET系统的可用性。

关键词： MANET 可用性信任度量 DSR协议

来源：评论

学校读者我要写书评

暂无评论

实系数二元二次方程组实根分类求解方法

引用

计算机辅助设计与图形学学报 2014年第5期26卷 725-730页

作者：万瑞杰雍俊海施侃乐清华大学软件学院北京100084 清华大学计算机科学与技术系北京100084 信息系统安全教育部重点实验室北京100084 清华信息科学与技术国家实验室北京100084 Inria Villers-lès-Nancyfrance54600

为了提高平面二次曲线求交结果的精度和拓扑稳定性,提出一种基于二次曲线分类的二元二次方程组实根求解方法.首先将二元二次方程组的2个方程依照系数判断出其在x-y平面上的曲线类型,并根据不同的曲线类型分类情况,应用曲线的参数方程将... 详细信息

为了提高平面二次曲线求交结果的精度和拓扑稳定性,提出一种基于二次曲线分类的二元二次方程组实根求解方法.首先将二元二次方程组的2个方程依照系数判断出其在x-y平面上的曲线类型,并根据不同的曲线类型分类情况,应用曲线的参数方程将原方程组转化为一元四次方程;然后求解出一元四次方程的解,并依此求出原二元二次方程组的解.实验结果表明,与吴消元法相比,该方法有效地提高了二元二次方程组求解的精度.

关键词：二元二次方程组实根求解几何分类参数方程二次曲线

来源：评论

学校读者我要写书评

暂无评论

日志重融合:应用程序日志完整性对抗攻击及其防御方法

引用

中国科学：信息科学 2024年第9期54卷 2157-2180页

作者：陈昌骅万海赵曦滨北京信息科学与技术国家研究中心北京100084 信息系统安全教育部重点实验室北京100084 清华大学软件学院北京100084

在攻击调查领域,为应对依赖爆炸和语义鸿沟的挑战,日志融合通过引入多层级日志的丰富语义得到系统实体之间细粒度的因果关系,以逼近实际的执行历史.然而,由于审计日志的系统调用和应用日志的程序消息被用来推断复杂的系统状态,基于日志... 详细信息

在攻击调查领域,为应对依赖爆炸和语义鸿沟的挑战,日志融合通过引入多层级日志的丰富语义得到系统实体之间细粒度的因果关系,以逼近实际的执行历史.然而,由于审计日志的系统调用和应用日志的程序消息被用来推断复杂的系统状态,基于日志融合的攻击调查系统存在被对抗攻击的弱点,本文率先提出并称之为日志重融合攻击(log refusion attacks),其演示了攻击者如何增强实际漏洞来破坏日志完整性,绕过现有防御,破坏溯源中的联结并陷害良性用户.而后,本文提出一种攻击调查的新设计PRovGuARD(provenance guardian),它利用同时包含程序调用控制流和应用消息数据流的建模来交叉验证审计日志和应用日志的历史记录,以确保执行的合法性和一致性.如果攻击者毁损溯源数据,将检测到矛盾并告警,修正执行路径,得到正确的攻击根因和后果.本文在Linux上实现了原型,并在覆盖各类执行模型的14个实际应用场景及程序上进行了广泛评估.实验结果显示,其成功验证还原了正确的攻击故事,且平均性能开销比传统审计框架仅高3.62%,同时在最坏情况下只重新引入0.78%的错误依赖,证明了原型的有效性及其防御攻击的新颖性.

关键词：攻击调查对抗攻击日志融合控制流图数据流图

来源：评论

学校读者我要写书评

暂无评论

基于样例图像的颜色传输函数设计

引用

计算机辅助设计与图形学学报 2015年第2期27卷 296-304页

作者：吴敏陈莉陈伟锋清华大学软件学院计算机图形学与辅助设计研究所北京100084 清华大学软件学院信息系统安全教育部重点实验室北京100084 浙江财经大学信息学院杭州310018

体绘制是颜色混合的过程,用户很难通过直接编辑颜色传输函数来得到期望的颜色混合效果.为了能更直观地为体绘制图像设置颜色,提出一种基于样例图像的颜色传输函数设计方法.首先使用颜色迁移方法,基于样例图像对初始体绘制图像进行颜色迁... 详细信息

体绘制是颜色混合的过程,用户很难通过直接编辑颜色传输函数来得到期望的颜色混合效果.为了能更直观地为体绘制图像设置颜色,提出一种基于样例图像的颜色传输函数设计方法.首先使用颜色迁移方法,基于样例图像对初始体绘制图像进行颜色迁移,使得迁移后的体绘制图像与样例图像有类似的着色风格;然后还原体绘制的颜色混合过程,使用最优化的框架将迁移后的体绘制图像反推到三维建立颜色传输函数,在该颜色传输函数下的绘制结果与样例图像尽可能保持一致,样例图像可以是任意符合用户期望颜色效果的图像.与传统的传输函数设计方法相比,文中方法利用了已有图像资源和人类对图像的感知能力,更简单直观,易于使用,且该方法是有效的.

关键词：体绘制颜色传输函数样例图像

来源：评论

学校读者我要写书评

暂无评论

基于数据质量规则的缺失结果解释约减

引用

计算机研究与发展 2013年第S1期50卷 221-229页

作者：张奥千宋韶旭王建民清华大学软件学院北京100084 清华信息科学与技术国家实验室(筹) 北京100084 信息系统安全教育部重点实验室(清华大学) 北京100084

由于数据缺失等原因,用户在查询结果中可能没有得到预期的答案.现有的方法通过枚举可能的缺失记录来解释"为什么没有why-not"的问题.然而,枚举得到的解释数量庞大,用户无法逐一浏览确认缺失数据.实际上,这些可能的解释中有许... 详细信息

由于数据缺失等原因,用户在查询结果中可能没有得到预期的答案.现有的方法通过枚举可能的缺失记录来解释"为什么没有why-not"的问题.然而,枚举得到的解释数量庞大,用户无法逐一浏览确认缺失数据.实际上,这些可能的解释中有许多是不合理的,如何约减解释数量存在挑战.根据真实数据试验,利用数据中存在的唯一性约束来进行约减,生成的解释数量仍有几十万个.研究利用数据质量规则(如函数依赖)来高效约减缺失结果的解释.首先,提出一种基于函数依赖的解释约减算法FDR(functional dependencies-based reduction).其次,为了辅助用户浏览生成的解释,进一步研究利用近似函数依赖对解释进行排序.真实数据实验表明,FDR方法能够比现有的方法减少2~5个数量级的解释(从几十万个减少至几千个甚至几十个);利用近似函数依赖排序的Top-1解释精确率达到90%以上.

关键词：数据质量依赖规则缺失结果解释函数依赖近似函数依赖

来源：评论

学校读者我要写书评

暂无评论

B样条曲线与其控制多边形的局部距离上界

引用

计算机辅助设计与图形学学报 2011年第5期23卷 741-746页

作者：刘鹏雍俊海古和今清华大学软件学院北京100084 清华大学计算机科学与技术系北京100084 信息系统安全教育部重点实验室北京100084 清华信息科学与技术国家实验室北京100084 江西省科学院科研开发处南昌330029

在对B样条曲线进行绘制和分析时,一个常用的方法是通过细分控制多边形近似B样条曲线,其中对控制多边形到曲线的距离的上界进行估计是影响细分深度的关键因素.为了获得更紧致的距离上界,从而减小折线近似的数据量,利用控制多边形的二阶... 详细信息

在对B样条曲线进行绘制和分析时,一个常用的方法是通过细分控制多边形近似B样条曲线,其中对控制多边形到曲线的距离的上界进行估计是影响细分深度的关键因素.为了获得更紧致的距离上界,从而减小折线近似的数据量,利用控制多边形的二阶差分的模以及前两阶差分之间的夹角,并通过在每一步细分过程中可能发生的最大变化的累加和来估计局部距离的上界,使得在前两阶差分之间的夹角较小时可以得到较为紧致的上界.实验结果表明,针对平滑的曲线,采用文中方法有效地降低了估计上界.

关键词： B样条曲线控制多边形局部距离上界

来源：评论

学校读者我要写书评

暂无评论

计算两圆环面之间的最近距离

引用

计算机辅助设计与图形学学报 2011年第2期23卷 240-246页

作者：刘晓明刘长远胡强雍俊海清华大学软件学院北京100084 清华大学计算机科学与技术系北京100084 防化指挥工程学院一系北京102205 信息系统安全教育部重点实验室北京100084 清华信息科学与技术国家实验室北京100084

圆环面之间的距离计算是求解其碰撞检测和相交问题的基础.文中提出了一种判断两圆环之间包含、分离和相交3种位置关系,以及计算最近距离的方法.首先证明了空间两圆的Hausdorff距离可以通过计算共线法向点获得,并通过解一个一元八次方程... 详细信息

圆环面之间的距离计算是求解其碰撞检测和相交问题的基础.文中提出了一种判断两圆环之间包含、分离和相交3种位置关系,以及计算最近距离的方法.首先证明了空间两圆的Hausdorff距离可以通过计算共线法向点获得,并通过解一个一元八次方程求出三维空间中两圆的共线法向点;然后对共线法向点进行分类比较,得到两圆之间的最近距离和Hausdorff距离.证明了两圆环面间的位置关系不仅与其中心圆的最近距离相关,还与两中心圆的单向Hausdorff距离相关,进而解决了两圆环面之间的最近距离计算问题.最后通过实验说明了该方法的稳定性和高效性.

关键词： Hausdorff距离圆环面共线法向点

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：