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

软件学报 2017年第9期28卷 2309-2322页

作者：武跟强贺也平夏娴瑶中国科学院软件研究所基础软件国家工程研究中心北京100190 兰州财经大学信息工程学院甘肃兰州730020 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190

在差分隐私保护程度确定的条件下使数据的有用性最大化的问题,称为差分隐私的最优机制问题.最优机制问题是差分隐私理论中的一个重要问题,与差分隐私模型的理论基础及应用前景有直接联系.与已有的研究不同,提出一种不基于敏感度的分析... 详细信息

在差分隐私保护程度确定的条件下使数据的有用性最大化的问题,称为差分隐私的最优机制问题.最优机制问题是差分隐私理论中的一个重要问题,与差分隐私模型的理论基础及应用前景有直接联系.与已有的研究不同,提出一种不基于敏感度的分析方法来寻找最优机制:首先,将最优机制问题构造为一个多目标函数优化问题,并提出了一种差分隐私机制构造方法,在此基础上,对线性查询问题给出了一种近似最优差分隐私机制,该机制达到了差分隐私不等式的边界.此外,大部分分析方法也可对非线性查询的最优机制问题进行分析.该研究揭示了敏感度方法的不足之处,发现其无法刻画数据集的邻居集合对应的查询函数值集合的特性,而该集合包含了差分隐私的一些深层特征.

关键词：线性查询差分隐私最优机制多目标优化非敏感度方法

来源：评论

学校读者我要写书评

暂无评论

自动向量化:近期进展与展望

引用

通信学报 2022年第3期43卷 180-195页

作者：冯竞舸贺也平陶秋铭中国科学院软件研究所基础软件国家工程研究中心北京100190 中国科学院大学研究生院北京100049 中国科学院软件研究所计算机科学国家重点实验室北京100090

随着单指令流多数据流(SIMD)技术的迅速发展,近年来许多面向SIMD扩展部件的自动向量化编译方法被提出,有效缓解了程序员手写向量程序的压力,并发挥了SIMD扩展部件的加速效能。基于此,分析总结了自动向量化领域近10年的研究成果,从保义... 详细信息

随着单指令流多数据流(SIMD)技术的迅速发展,近年来许多面向SIMD扩展部件的自动向量化编译方法被提出,有效缓解了程序员手写向量程序的压力,并发挥了SIMD扩展部件的加速效能。基于此,分析总结了自动向量化领域近10年的研究成果,从保义分析和变换、向量化分组分析和变换、面向处理器支持特性的分析和变换以及性能评估分析这4个方面分类归纳了自动向量化的关键问题和主要突破,进而对4个方面的发展趋势和研究方向进行了展望。

关键词：自动向量化 SIMD扩展编译技术数据级并行性能优化

来源：评论

学校读者我要写书评

暂无评论

运用遗传算法解决平行机台最小总拖期问题

引用

信息与控制 2003年第5期32卷 418-421页

作者：王成尧赵东岩肖建国北京大学计算机研究所电子出版新技术国家工程研究中心北京100871

最小化平行机台总拖期问题 (p∥ T)是调度领域中的一个NP问题 ,本文运用GA算法寻求该问题的近似优解 .本文证明在GA算法中为了找到问题的最优解 ,编码空间可以小于解集空间 .根据这个思想 ,在GA的编码空间设计中 ,本文分析了平行机台最... 详细信息

最小化平行机台总拖期问题 (p∥ T)是调度领域中的一个NP问题 ,本文运用GA算法寻求该问题的近似优解 .本文证明在GA算法中为了找到问题的最优解 ,编码空间可以小于解集空间 .根据这个思想 ,在GA的编码空间设计中 ,本文分析了平行机台最小化总拖期问题的特性 ,设计了编码空间和解码方式以保证在编码空间存在最优解 ,减小搜索范围 .最后 ,本文通过数值仿真对该方法与一些启发式算法进行了比较。

关键词：遗传算法最优解平行机台最小化总拖期问题目标函数

来源：评论

学校读者我要写书评

暂无评论

面向鲁棒图结构防御的过参数化图神经网络

引用

软件学报 2024年第8期35卷 3878-3896页

作者：初旭马辛宇林阳王鑫王亚沙朱文武梅宏清华大学计算机科学与技术系北京100084 北京大学计算机学院北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871 清华大学北京信息科学与技术国家研究中心北京102206 北京大学软件工程国家工程研究中心北京100871

图数据在现实应用中普遍存在,图神经网络(GNN)被广泛应用于分析图数据,然而GNN的性能会被图结构上的对抗攻击剧烈影响.应对图结构上的对抗攻击,现有的防御方法一般基于图内聚先验进行低秩图结构重构.但是现有的图结构对抗防御方法无法... 详细信息

图数据在现实应用中普遍存在,图神经网络(GNN)被广泛应用于分析图数据,然而GNN的性能会被图结构上的对抗攻击剧烈影响.应对图结构上的对抗攻击,现有的防御方法一般基于图内聚先验进行低秩图结构重构.但是现有的图结构对抗防御方法无法自适应秩真值进行低秩图结构重构,同时低秩图结构与下游任务语义存在错配.为了解决以上问题,基于过参数化的隐式正则效应提出过参数化图神经网络(OPGNN)方法,并形式化证明所提方法可以自适应求解低秩图结构,同时证明节点深层表征上的过参数化残差链接可以有效解决语义错配.在真实数据集上的实验结果表明,OPGNN方法相对于现有基线方法具有更好的鲁棒性,同时,OPGNN方法框架在不同的图神经网络骨干上如GCN、APPNP和GPRGNN上显著有效.

关键词：图节点半监督分类图结构对抗防御过参数化隐式正则化图神经网络

来源：评论

学校读者我要写书评

暂无评论

CUBE计算中的MMST树以及BIT形成算法

引用

计算机工程与应用 2000年第5期36卷 1-3,11页

作者：方曲祥孙海涛北京大学计算机研究所电子出版新技术国家工程研究中心北京100871

首先介绍了联机分析处理（ＯＬＡＰ）中的ＣＵＢＥ运算符以及几种计算ＣＵＢ的优化方法，然后分析了以减少１０操作优化方法为主的ＭＭＳＴ优化策略，并给出了形成ＭＭＳＴ树的ＢＩＴ算法以及伪代码。该ＢＩＴ算法概念清晰，实现简捷快... 详细信息

首先介绍了联机分析处理（ＯＬＡＰ）中的ＣＵＢＥ运算符以及几种计算ＣＵＢ的优化方法，然后分析了以减少１０操作优化方法为主的ＭＭＳＴ优化策略，并给出了形成ＭＭＳＴ树的ＢＩＴ算法以及伪代码。该ＢＩＴ算法概念清晰，实现简捷快速，在以ＭＭＳＴ树为基础的ＣＵＢＥ计算中非常关键。

关键词：联机分析处理 MMST树 BIT算法 CUBE 数据库

来源：评论

学校读者我要写书评

暂无评论

北京SARS仿真模型的参数和初始值的处理

引用

系统仿真学报 2003年第7期15卷 995-998页

作者：陈吉荣杨方廷战守义侯立华魏明韩军李伟北京理工大学计算机科学与工程系中国航天二院国家工程研究中心北京100854 中国航天二院国家工程研究中心中国农业大学北京工商大学

当前对SARS流行过程进行仿真分析是一件非常重要和有意义的工作。在对SARS模型进行仿真和分析时,首先必须要对相关的参数和初始值进行处理,其处理的正确性和准确性直接关系到仿真结果。本文以我们建立的北京地区SARS模型为背景,采用多... 详细信息

当前对SARS流行过程进行仿真分析是一件非常重要和有意义的工作。在对SARS模型进行仿真和分析时,首先必须要对相关的参数和初始值进行处理,其处理的正确性和准确性直接关系到仿真结果。本文以我们建立的北京地区SARS模型为背景,采用多种方法,系统的分析和处理了模型的相关参数和初始值,并给出了最终结果。

关键词：非典建模仿真参数

来源：评论

学校读者我要写书评

暂无评论

语义Web安全研究

引用

通信学报 2012年第S2期 45-59页

作者：陈德彦赵宏张霞赵立军平安东北大学计算机软件国家工程研究中心辽宁沈阳 110179 东软集团股份有限公司软件架构国家重点实验室辽宁沈阳 110179

针对语义Web技术本身以及由遍及Internet各个角落的语义Web应用构成的语义数据网可能引入新的安全、隐私和信任问题及需求,详细分析了语义 Web 所面临的安全问题及其安全现状.在此基础上,提出了语义Web的安全参考技术框架.最后,指出在... 详细信息

针对语义Web技术本身以及由遍及Internet各个角落的语义Web应用构成的语义数据网可能引入新的安全、隐私和信任问题及需求,详细分析了语义 Web 所面临的安全问题及其安全现状.在此基础上,提出了语义Web的安全参考技术框架.最后,指出在该安全框架下语义Web安全急需研究的关键技术、策略规范和安全标准.

关键词：语义Web 本体语义Web安全语义Web安全参考技术框架

来源：评论

学校读者我要写书评

暂无评论

基于H.264的转码初始量化参数自适应选择

引用

计算机工程 2017年第5期34卷 281-285页

作者：张安娜王中元武汉大学计算机学院国家多媒体软件工程研究中心武汉430072

针对不同的视频内容造成编码前几帧质量低下的问题,提出一种基于I帧复杂度的初始量化参数(QP)选择算法。在编码前利用解码码流中得到的I帧宏块模式信息,运用宏块中的3种不同帧内预测模式判断I帧的复杂度,并采用目标码率和初始QP的关系... 详细信息

针对不同的视频内容造成编码前几帧质量低下的问题,提出一种基于I帧复杂度的初始量化参数(QP)选择算法。在编码前利用解码码流中得到的I帧宏块模式信息,运用宏块中的3种不同帧内预测模式判断I帧的复杂度,并采用目标码率和初始QP的关系重新拟合新的初始QP的选择方法。实验结果表明,在相同的码率下,该算法避免了传统码率控制中初始QP选择算法的弊端,可提高视频的客观质量,降低判断I帧的复杂度,客观峰值信噪比值比现有相关算法平均提高0.6 dB,最高提高1.69 dB。

关键词：视频转码量化参数复杂度码率控制 H.264标准

来源：评论

学校读者我要写书评

暂无评论

基于蚁群算法的m-团队定向问题求解

引用

计算机工程 2006年第24期32卷 164-166页

作者：吕志民杨娟徐金梧北京科技大学高效轧制国家工程研究中心北京100083 北京邮电大学计算机科学与技术学院北京100876

介绍了m–团队定向问题的特性及目标,提出了基于蚁群算法的问题求解算法。在该算法中同种群不同个体之间采用访问禁忌表方式交换信息、相互协作共同完成路径优化,不同种群间通过“信息素”控制每个种群中个体的行为。计算结果表明了算... 详细信息

介绍了m–团队定向问题的特性及目标,提出了基于蚁群算法的问题求解算法。在该算法中同种群不同个体之间采用访问禁忌表方式交换信息、相互协作共同完成路径优化,不同种群间通过“信息素”控制每个种群中个体的行为。计算结果表明了算法和模型的有效性。

关键词：蚁群算法定向运动团队定向问题车辆路径问题

来源：评论

学校读者我要写书评

暂无评论

一种三维地形与疏浚绞刀虚拟生成方法

引用

系统仿真学报 2009年第20期21卷 6524-6528页

作者：何坤金倪福生顾磊金永霞河海大学计算机及信息工程学院常州213022 疏浚技术教育部工程研究中心常州213022 水资源高效利用与工程安全国家工程研究中心常州213002

介绍了自主研发的三维地形与疏浚绞刀仿真系统。系统用数据分块与四边形网格表示三维地形,并建立了疏浚绞刀的三维模型及其隐式曲面方程,然后用绞刀包围盒求得碰撞的四边形网格和精确的碰撞点。仿真结构表明,该方法能够满足疏浚地形的... 详细信息

介绍了自主研发的三维地形与疏浚绞刀仿真系统。系统用数据分块与四边形网格表示三维地形,并建立了疏浚绞刀的三维模型及其隐式曲面方程,然后用绞刀包围盒求得碰撞的四边形网格和精确的碰撞点。仿真结构表明,该方法能够满足疏浚地形的实时性要求和符合绞吸土壤产量的计算精度要求,系统计算量小,速度较快。

关键词：地形数据四边形网格数据分块隐式方程绞刀

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：