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

中国科学：物理学、力学、天文学 2022年第12期52卷 19-27页

作者：刘锋杨宇光山东工商学院数学与信息科学学院烟台264005 北京工业大学信息学部北京100124 北京市可信计算重点实验室北京100124

量子网络编码用于解决量子网络中的拥塞问题,可以有效地提高量子网络的传输效率和总吞吐量.本文提出了一种时分复用量子网络编码方法,在蝶形网络上可交叉传输两个任意单量子比特态.为了解决拥塞问题,一个具有偏振和时隙自由度的单光子... 详细信息

量子网络编码用于解决量子网络中的拥塞问题,可以有效地提高量子网络的传输效率和总吞吐量.本文提出了一种时分复用量子网络编码方法,在蝶形网络上可交叉传输两个任意单量子比特态.为了解决拥塞问题,一个具有偏振和时隙自由度的单光子作为桥梁,以可预报的方式使瓶颈信道两端的中间节点的两对量子存储器产生纠缠.最后,基于量子隐形传态和所生成的可预报双纠缠信道,可实现蝶形网络上量子2对单播通信.考虑不诚实中间节点,进而提出了一种安全增强的量子2对单播通信协议,分析了协议的安全性和性能.结果表明,改进后的协议对不诚实中间节点实施的一般纠缠测量攻击是安全的.通过利用时分复用技术,它可以扩展到更一般的量子网络上的多单播通信.

关键词：量子网络网络编码量子网络编码蝶形网络

来源：评论

学校读者我要写书评

暂无评论

面向分布式量子网络的匿名盲量子计算协议

引用

中国科学：物理学、力学、天文学 2023年第5期53卷 39-45页

作者：高冬梅杨宇光山东工商学院数学与信息科学学院烟台264005 北京工业大学信息学部北京100124 北京市可信计算重点实验室北京100124

量子网络安全旨在研究分布式量子网络中通信和计算的安全性.本文研究了量子计算任务中的两个安全问题,即隐私性和匿名性.为此,本文提出了一种新的单服务器多用户匿名盲量子计算协议,利用在服务器和用户之间生成的匿名纠缠作为量子资源... 详细信息

量子网络安全旨在研究分布式量子网络中通信和计算的安全性.本文研究了量子计算任务中的两个安全问题,即隐私性和匿名性.为此,本文提出了一种新的单服务器多用户匿名盲量子计算协议,利用在服务器和用户之间生成的匿名纠缠作为量子资源用于实现盲量子计算任务.匿名性、盲性和安全性分析表明所提出的协议在实现盲量子计算的同时保证了用户身份的保密.和现有的盲量子计算协议相比,本协议为盲量子计算增加额外的安全保障,也为其他匿名量子密码协议的设计提供了新思路.

关键词：量子网络盲量子计算匿名性隐私性

来源：评论

学校读者我要写书评

暂无评论

一种基于细粒度逻辑隔离结构的缓冲区溢出检测方法

一种基于细粒度逻辑隔离结构的缓冲区溢出检测方法

引用

第二届信息安全漏洞分析与风险评估大会

作者：李晨李瑞华张兴庄琭北京工业大学计算机学院可信计算实验室北京 100124

为了解决现有缓冲区溢出检测方法的不足,本文提出了一种基于细粒度逻辑隔离结构的缓冲区溢出检测方法。首先,利用图灵机分析了产生溢出的根源,即状态空间结构简化;并通过两个具体的攻击案例揭示了现有检测机制的不足。其次,为弥补状态... 详细信息

为了解决现有缓冲区溢出检测方法的不足,本文提出了一种基于细粒度逻辑隔离结构的缓冲区溢出检测方法。首先,利用图灵机分析了产生溢出的根源,即状态空间结构简化;并通过两个具体的攻击案例揭示了现有检测机制的不足。其次,为弥补状态空间结构简化的问题,抽象了一个细粒度的缓冲区数据逻辑隔离方法,将数据分为互相隔离的状态子空间。基于此隔离结构,提出了一个缓冲区溢出的通用检测方法,并用时序逻辑分析了其性质,利用该性质解释了现有检测机制的不足。最后,基于通用模型,在检测时刻和检测范围上对栈管理方法进行了改进,从而解决了现有检测机制的缺陷。

关键词：缓冲区溢出细粒度逻辑隔离检测范围时序逻辑

来源：评论

学校读者我要写书评

暂无评论

基于分布密度的直方图与选择率估计

引用

计算机工程 2010年第5期36卷 64-66页

作者：朱亮冯彦超刘椿年杨文柱河北大学数学与计算机学院河北省机器学习与计算智能重点实验室保定071002 北京工业大学计算机学院北京100022

查询选择率估计是查询处理和优化中的关键之一。提出一种基于区域分布密度的方法,用于构造直方图,使其每个桶具有均匀分布或近似均匀分布,利用直方图估计查询选择率。实验结果表明,该方法对低维数据估计得到的查询选择率精度较高,并能... 详细信息

查询选择率估计是查询处理和优化中的关键之一。提出一种基于区域分布密度的方法,用于构造直方图,使其每个桶具有均匀分布或近似均匀分布,利用直方图估计查询选择率。实验结果表明,该方法对低维数据估计得到的查询选择率精度较高,并能对高维数据进行估计。

关键词：选择率估计直方图 n维超矩形分布密度

来源：评论

学校读者我要写书评

暂无评论

一种基于星型簇态的动态量子群组认证协议

引用

中国科学：物理学、力学、天文学 2022年第11期52卷 66-73页

作者：高冬梅杨宇光山东工商学院数学与信息科学学院烟台264005 北京工业大学信息学部北京100124 北京市可信计算重点实验室北京100124

与传统一对一的身份认证不同,群组认证面向群组,可对属于同一群组的所有用户进行身份认证.本文提出了一种动态量子群组认证协议.借助于一种特殊的纠缠态,即星型簇态,群组内的量子身份认证中心可对属于同一群组的所有用户进行身份认证.此... 详细信息

与传统一对一的身份认证不同,群组认证面向群组,可对属于同一群组的所有用户进行身份认证.本文提出了一种动态量子群组认证协议.借助于一种特殊的纠缠态,即星型簇态,群组内的量子身份认证中心可对属于同一群组的所有用户进行身份认证.此外,该协议还具有如下特点:(1)参与群组认证的用户数可动态变化,即允许新用户加入群组认证和老用户退出群组认证;(2)新用户加入群组认证或老用户退出群组认证时,所有老用户的认证密钥不必重新分发.与现有量子群组认证协议相比,所提出的协议更灵活、更适于实际场景.

关键词：量子密码群组认证星型簇态动态

来源：评论

学校读者我要写书评

暂无评论

逻辑验证自身的特点及其利用

引用

计算机学报 1999年第4期22卷 445-447页

作者：杨志娟梁业伟石茵魏道政北京工业大学计算机学院北京100044 中国科学院计算机技术研究所CAD开放实验室北京100080

逻辑验证自身的特点为: (1)逻辑验证是针对设计的; (2)利用它可以充分设计有关的文件、资料, 特别是它知道验证的对象及其细节; (3)验证可以深入到设计内部, 可以分而治之.

关键词：数字系统逻辑验证测试码

来源：评论

学校读者我要写书评

暂无评论

Tennessee-Eastman过程的学习型案例推理故障诊断方法

引用

控制理论与应用 2017年第9期34卷 1179-1184页

作者：严爱军王英杰王殿辉北京工业大学信息学部自动化学院北京100124 计算智能与智能系统北京市重点实验室北京100124 数字社区教育部工程研究中心北京100124 城市轨道交通北京实验室北京100124 拉筹佰大学计算机科学与计算机工程系

为了提高Tennessee-Eastman(TE)过程的故障诊断准确率,本文研究一种学习型伪度量(learning pseudo metric,LPM)代替距离度量的案例检索方法,并建立了TE过程的案例推理(case-based reasoning,CBR)故障诊断模型.首先建立LPM度量准则并对LP... 详细信息

为了提高Tennessee-Eastman(TE)过程的故障诊断准确率,本文研究一种学习型伪度量(learning pseudo metric,LPM)代替距离度量的案例检索方法,并建立了TE过程的案例推理(case-based reasoning,CBR)故障诊断模型.首先建立LPM度量准则并对LPM模型进行训练,其次度量目标案例与每一个源案例的相似度,从中检索与目标案例相似的同类案例,再采用多数重用原则从同类案例中决策出目标案例的解,最后通过TE过程的运行数据对该方法的性能进行测试,并与典型的CBR和BP(back-propagation)神经网络和支持向量机等方法进行对比,表明本文方法能有效提高故障诊断准确率,在实际化工过程中具有一定的推广应用价值.

关键词： TE过程故障诊断案例推理学习型伪度量案例检索

来源：评论

学校读者我要写书评

暂无评论

一种从粗到精的红外和可见光卫星图像配准方法

引用

光谱学与光谱分析 2013年第11期33卷 2968-2972页

作者：胡永利王亮刘蓉张丽段福庆北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室北京100124 北京工业大学电子信息与控制工程学院北京100124 北京服装学院基础部北京100029 北京师范大学信息科学与技术学院北京100875

气象卫星所携带的多种传感器可以获得可见光、红外、多光谱等多模态的卫星图像,目前处理这些多模态图像的一个重要手段是数据融合分析方法,而获取不同模态图像空间对应关系的图像配准是数据融合分析的前提和基础。针对多模态气象卫星图... 详细信息

气象卫星所携带的多种传感器可以获得可见光、红外、多光谱等多模态的卫星图像,目前处理这些多模态图像的一个重要手段是数据融合分析方法,而获取不同模态图像空间对应关系的图像配准是数据融合分析的前提和基础。针对多模态气象卫星图像的配准问题,重点研究红外图像和可见光图像的配准问题,并根据红外图像和可见光图像的特点,提出了一种由粗到精的两阶段配准方法。在粗配准阶段,将FourierMellin变换应用于红外和可见光图像的边缘图像上,并通过变换图像在频域的关系实现了图像配准仿射变换参数的快速计算;在精配准阶段,基于图像的Harris算子检测红外图像和可见光图像的特征点,并通过特征点局部区域的互相关函数实现特征点的匹配,最终通过匹配特征点求得精确配准的变换参数。文章提出的由粗到精的图像配准方法,有效结合了Fourier-Mellin变换对边缘图像配准的高效性和Harris算子图像配准的准确性,是红外和可见光图像配准的一种新方法。利用FY-2D气象卫星获取的红外和可见光图像进行了配准实验,实验结果表明所提出的方法具有良好的鲁棒性和较高的配准精度。

关键词：红外图像可见光图像图像配准

来源：评论

学校读者我要写书评

暂无评论

分段扫描生成频繁项目序列集的挖掘算法

引用

计算机工程与应用 2004年第7期40卷 19-21,202页

作者：毛国君刘椿年北京市多媒体与智能软件重点实验室北京100022 北京工业大学计算机学院北京100022

关联规则挖掘是数据挖掘研究的重要分支。发现频繁项目序列集又是关联规则挖掘中的一个关键阶段。十几年来,许多发现频繁项目集的算法已经被提出。近几年来,人们更关注于在大型数据集中高效发现频繁项目集的算法研究,特别是在减少数据... 详细信息

关联规则挖掘是数据挖掘研究的重要分支。发现频繁项目序列集又是关联规则挖掘中的一个关键阶段。十几年来,许多发现频繁项目集的算法已经被提出。近几年来,人们更关注于在大型数据集中高效发现频繁项目集的算法研究,特别是在减少数据库的扫描次数、提高内存利用率等方面。该文提出一个称为DFISP的算法,它是基于数据分段扫描策略的,并且只需两次数据库扫描即可完成频繁项目序列集的生成。实验表明,DFISP算法是稳定而高效的。

关键词：数据挖掘关联规则项目序列(集) 数据分段扫描

来源：评论

学校读者我要写书评

暂无评论

对数字电路扇出的影响和造成困难的分析

引用

计算机学报 2000年第3期23卷 311-317页

作者：梁业伟杨志娟石茵魏道政北京工业大学计算机学院北京100022 中国科学院计算技术研究所CAD开放实验室北京100080

提出一种在 Benchmark电路中存在的隐式扇出和描述实际组合电路中扇出的一种方法 .从 D传送、赋值和冗余、难测故障等方面 ,对扇出的影响造成的困难进行了分析 ,并叙述了其影响的范围和程度 .

关键词：扇出数字电路隐式扇出测试

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：