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

信息网络安全 2023年第7期23卷 1-8页

作者：张兴兰张丰北京工业大学信息学部北京100124 可信计算北京市重点实验室北京100124

量子计算根据量子力学原理设计,具有天然的并行计算优势。Shor算法是一个能够快速分解整数,从而有望破解RSA加密技术的算法。然而Shor算法存在着需要构造的模幂电路极其复杂、量子位数会影响后期连分式计算精度的缺点,因此难以在量子计... 详细信息

量子计算根据量子力学原理设计,具有天然的并行计算优势。Shor算法是一个能够快速分解整数,从而有望破解RSA加密技术的算法。然而Shor算法存在着需要构造的模幂电路极其复杂、量子位数会影响后期连分式计算精度的缺点,因此难以在量子计算机上实现。针对上述问题,文章基于数论知识和RSA算法提出一种新的算法,设计相关量子线路去求解待分解整数N的欧拉函数,待量子求解出待分解整数的欧拉函数后,通过构造二元一次方程组可以求出整数N的两质因子。并且结合公钥可以进一步计算出私钥,从而对密文进行破译。文章所提算法在做到通用的基础上,只使用2n+2个量子比特,仅需要求解数的模乘,不用进行连分式计算,从而实现计算量和线路复杂度低的量子算法。

关键词：量子计算 Shor算法 RSA算法欧拉函数

来源：评论

学校读者我要写书评

暂无评论

基于聚类的社交网络隐私保护方法

引用

计算机科学 2019年第10期46卷 154-160页

作者：周艺华张冰杨宇光侍伟敏北京工业大学信息学部北京100124 可信计算北京市重点实验室北京100124

随着社交网络的迅速发展,社交网络积累了大量的数据,它们在一定程度上反映了社会规律。针对如何在保证隐私安全的前提下挖掘出有效知识的问题,提出了基于聚类的社交网络隐私保护方法,该方法具有隐私保护力度自适应、匿名模型安全性和有... 详细信息

随着社交网络的迅速发展,社交网络积累了大量的数据,它们在一定程度上反映了社会规律。针对如何在保证隐私安全的前提下挖掘出有效知识的问题,提出了基于聚类的社交网络隐私保护方法,该方法具有隐私保护力度自适应、匿名模型安全性和有效性高的特点。该方法基于用户信息和社交关系进行聚类,将社交网络中的所有节点根据节点间的距离聚类为至少包含k个节点的超点,并对超点进行匿名化处理。匿名后的超点能够有效地防范以节点属性隐私、子图结构等为背景知识的各类隐私攻击,使攻击者无法以大于1/k的概率来识别用户。根据聚类算法和社交网络的特点优化聚类过程中初始节点的选取算法和节点间距的计算方法;同时通过结合自适应思想,优化隐私保护力度的选取方法,有效地减少了信息损失,提高了数据有效性。在Matlab上使用不同的数据集进行实验验证,结果表明所提算法在信息损失和运行时间上均优于其他相关方法,进一步证明了它的有效性和安全性。

关键词：社交网络隐私保护 k-匿名聚类信息安全

来源：评论

学校读者我要写书评

暂无评论

基于Transformer的视觉分割技术进展

引用

计算机学报 2024年第12期47卷 2760-2782页

作者：李文生张菁卓力吴鑫嘉闫伊北京工业大学信息科学技术学院北京100124 北京工业大学计算智能与智能系统北京市重点实验室北京100124

视觉分割是计算机视觉领域的核心任务,旨在将图像或视频帧中的像素分类以划分成不同区域.得益于视觉分割技术的快速发展,该技术在自动驾驶、航空遥感和视频场景理解等多种应用领域中发挥着关键作用.近年来,基于Transformer的视觉分割技... 详细信息

视觉分割是计算机视觉领域的核心任务,旨在将图像或视频帧中的像素分类以划分成不同区域.得益于视觉分割技术的快速发展,该技术在自动驾驶、航空遥感和视频场景理解等多种应用领域中发挥着关键作用.近年来,基于Transformer的视觉分割技术因具备长程依赖建模能力而备受关注.随着Transformer的模型架构的持续优化与迭代,亟须更全面地理解和认识Transformer在视觉分割领域的已有进展和发展趋势,通过发现现有研究中的不足和挑战,以更深入地探索Transformer的核心理论.为此,本文从图像/视频两个视觉脉络出发,整理、回顾、分析和探讨了近年来基于Transformer的视觉分割相关技术进展,不仅归纳了Transformer的理论框架,还给出了一些应用实例和研究热点,从而做出总结和展望.具体来说,首先梳理了Transformer的背景,包括问题定义、数据集和评估指标、基本结构,其中,问题定义描述了视觉分割在图像/视频任务中的预期目标和结果;数据集和评估指标反映了模型的具体应用场景,以及性能的衡量标准;基本结构则描述了算法的核心模块、实现流程以及各个模块之间的关系.然后,着重阐述了Transformer在图像语义分割、图像实例分割,以及视频语义分割和视频实例分割四个方法体系,并探讨了当前的研究热点.对于图像语义分割任务,分析了Transformer的代表性结构,包括纯Trans⁃former和双分支结构,并以无人机影像非铺装道路分割和遥感图像语义分割为实际应用案例,探讨了Transformer的改进动机与应用效果,并展示了主观结果;图像实例分割总结了常见的非端对端Transformer和端对端Trans⁃former典型结构.视频语义分割主要分为面向精度的和面向效率的Transformer结构,视频实例分割则包括逐帧和逐片段Transformer分割,并以网络直播视频实例分割为应用实例,一方面讨论了可用的数据集、实验参数和评估指标,另一方面,对网络直播视频实例分割主流方法性能进行了评价和分析,展示了一些主观可视化结果.之后,鉴于视觉分割领域的SAM大模型、开放词汇分割、指代分割受到了广泛关注,本文将这些热点问题方法进行了追溯和评述,以期碰撞出视觉分割的新思路和新灵感.最后,尽管基于Transformer在视觉分割技术受到了广泛的关注,但存在的科学问题也逐渐凸显,限制了模型性能与效率的进一步提升,对此本文总结了利用Trans⁃former开展图像/视频语义/实例分割仍需关注的难点问题,并对未来可能的发展方向进行了展望,提供了一些启示供参考.

关键词：视觉分割 Transformer 语义分割实例分割自注意力机制

来源：评论

学校读者我要写书评

暂无评论

基于重叠社区检测的跟踪区列表管理方法

引用

计算机工程 2020年第2期46卷 195-200页

作者：王维鹏林强强涂山山肖创柏北京机电工程研究所北京100074 北京工业大学信息学部北京100124 北京工业大学可信计算北京市重点实验室北京100124

跟踪区列表(TAL)由多个跟踪区(TA)灵活配置组成,在3GPP R8中引入TAL可减少位置管理信令开销。目前基于TAL的位置管理方法大多针对不同用户产生不同的TAL,在海量蜂窝部署环境下的计算效率急剧降低。针对该问题,在TA规划的基础上,提出一... 详细信息

跟踪区列表(TAL)由多个跟踪区(TA)灵活配置组成,在3GPP R8中引入TAL可减少位置管理信令开销。目前基于TAL的位置管理方法大多针对不同用户产生不同的TAL,在海量蜂窝部署环境下的计算效率急剧降低。针对该问题,在TA规划的基础上,提出一种基于重叠社区检测的TAL管理方法。通过统计用户在跟踪区内产生的位置更新和寻呼数据,将TAL管理建模为图形分割问题,给出线性规划模型,并应用基于博弈论的重叠社区检测算法得到TAL结构。实验结果表明,该方法能够有效降低蜂窝网络中的位置管理信令开销,提高TAL分配效率。

关键词：位置管理跟踪区列表博弈论重叠社区检测信令开销

来源：评论

学校读者我要写书评

暂无评论

混合纹理合成

引用

北京工业大学学报 2007年第6期33卷 637-641页

作者：李燕尹宝才孔德慧北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室

为了弥补现有纹理种类的不足,将螺旋状匹配搜索的块拼贴纹理合成方法和Ashikhmin的点匹配方法相结合,应用到设计图案的纹理合成．与Ashikhmin的点匹配方法相比较,该方法的效率提高了5倍以上,并且避免了纹元错位、条带化现象．

关键词：计算机图形学纹理块拼贴混合纹理合成

来源：评论

学校读者我要写书评

暂无评论

量子符号执行的优化

引用

北京工业大学学报 2023年第6期49卷 621-629页

作者：姜楠王子臣王健王海亮北京工业大学信息学部北京100124 可信计算北京市重点实验室北京100124 北京交通大学智能交通数据安全与隐私保护技术北京市重点实验室北京100044

量子符号执行是一种为量子程序生成测试用例的技术.目前,量子符号执行只机械地根据被调试程序中的每一个条件语句来连续划分测试用例空间,没有考虑整个表达式以及条件语句的嵌套,导致量子线路比较复杂.为了解决该问题,提出对量子符号执... 详细信息

量子符号执行是一种为量子程序生成测试用例的技术.目前,量子符号执行只机械地根据被调试程序中的每一个条件语句来连续划分测试用例空间,没有考虑整个表达式以及条件语句的嵌套,导致量子线路比较复杂.为了解决该问题,提出对量子符号执行的优化.首先,通过对关系表达式进行化简,直接减少量子模块个数,或者通过值的替换间接减少量子模块个数.其次,对逻辑与和逻辑或2类逻辑表达式分别提出简化线路的方法.最后,提出将嵌套条件语句看作外层与内层的逻辑与来简化线路,优化对量子符号执行中测试用例空间的划分.实验表明,该优化方法降低了实现量子符号执行线路的成本,包括量子门和量子比特个数.

关键词：量子符号执行线路优化量子程序测试关系表达式简化逻辑表达式简化嵌套条件简化

来源：评论

学校读者我要写书评

暂无评论

分层子树合并聚类算法

引用

北京工业大学学报 2006年第5期32卷 442-446页

作者：李玉鑑北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室北京100022

为了解决传统分层合并聚类算法可能产生不唯一的二叉树结果问题,提出了分层子树合并聚类算法, 其基本思想是通过在数据集的最小树中分析θ-极大紧邻子树然后合并它的顶点集,该算法每步可将多个对象聚类,计算结果用多叉树表示．在理论上... 详细信息

为了解决传统分层合并聚类算法可能产生不唯一的二叉树结果问题,提出了分层子树合并聚类算法, 其基本思想是通过在数据集的最小树中分析θ-极大紧邻子树然后合并它的顶点集,该算法每步可将多个对象聚类,计算结果用多叉树表示．在理论上证明了该树在不计分支次序时是唯一的,并且通过计算实验说明,在样本中存在较多距离彼此相等的点对时,该树所描述的聚类结果要明显比传统分层合并聚类算法用二叉树描述的聚类结果更为合理．

关键词：分层合并聚类算法分层子树合并聚类算法最小树极大紧邻子树聚类

来源：评论

学校读者我要写书评

暂无评论

扩展的加权约束逻辑程序在产品配置中的应用

引用

北京工业大学学报 2012年第1期38卷 90-94页

作者：王洁安雪妹刘椿年北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室北京100124

为了更好地表达产品配置问题中的复杂知识形式,以加权约束逻辑程序语言为基础,将规则的头部扩展为析取约束的形式,提出了一种扩展的加权约束逻辑程序语言,给出了其稳定模型语义.这种扩展的加权约束逻辑程序进一步加强了知识的表达和推... 详细信息

为了更好地表达产品配置问题中的复杂知识形式,以加权约束逻辑程序语言为基础,将规则的头部扩展为析取约束的形式,提出了一种扩展的加权约束逻辑程序语言,给出了其稳定模型语义.这种扩展的加权约束逻辑程序进一步加强了知识的表达和推理能力,但没有增加计算复杂性.以一个计算机配置实例讨论了扩展的加权约束逻辑程序在产品配置问题中的应用.

关键词：加权约束逻辑程序稳定模型产品配置

来源：评论

学校读者我要写书评

暂无评论

约束归纳逻辑程序设计系统

引用

计算机工程 2003年第19期29卷 6-7,25页

作者：郑磊刘椿年贾东北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室北京100022

提出了一种新的约束归纳逻辑程序设计方法,并初步实现了一个自顶向下的约束归纳逻辑程序原型系统。该系统能够导出不受变量个数限制的多种形式的线性约束,得出覆盖正例而排斥负例的含约束的Horn子句程序。

关键词：约束归纳逻辑程序设计约束归纳逻辑程序设计

来源：评论

学校读者我要写书评

暂无评论

蛋白质序列中可能存在的Zipf定律

引用

北京工业大学学报 2005年第4期31卷 366-368页

作者：李玉鑑肖创柏北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室北京100022

为了分析蛋白质序列中是否存在语言学中的Zipf定律,从蛋白质二级结构数据库DSSP中抽取1.7357万条序列,把具有相同二级结构标记的氨基酸残基连续片段定义为单词,结果表明:单词出现的频率分布近似服从指数为0.981的Zipf定律.

关键词：蛋白质序列单词 Zipf定律

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：