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

信号处理 2025年第2期41卷 370-381页

作者：段立娟张子晨张广勇北京工业大学计算机学院北京100124 北京工业大学信息安全分类保护关键技术国家工程实验室北京100124 北京工业大学北京可信重点计算实验室北京100124

深度学习技术在目标检测领域取得了巨大进展,但其优异的性能建立在大量精确标注的数据集之上。在样本稀缺的特定领域,如国防海上安全和医学等领域,获取具有标注的数据尤为困难。因此,小样本目标检测领域因其能够应对样本稀疏性所带来的... 详细信息

深度学习技术在目标检测领域取得了巨大进展,但其优异的性能建立在大量精确标注的数据集之上。在样本稀缺的特定领域,如国防海上安全和医学等领域,获取具有标注的数据尤为困难。因此,小样本目标检测领域因其能够应对样本稀疏性所带来的挑战而得到学术界的广泛研究。该领域的研究目标是得到能够从极其有限的样本中提取知识并实现高效目标检测的算法框架。然而,由于新类样本的稀缺性,其与基类之间存在着显著的分布差异,导致了小样本目标检测任务的准确度受限。此外,在对模型应用新类进行微调的过程中,由于新类与基类的不重叠性,模型学习新类的特征知识的过程中会存在大量的梯度更新,导致基类的特征知识被遗忘的问题,从而降低模型的整体性能。针对新类别样本稀缺的问题,本研究采用自监督学习策略。自监督学习,无须依赖标注信息,便于构建代理任务以进行模型训练,是缓解小样本目标检测样本稀缺问题的有效方案。为了避免模型在学习新类特征知识后出现基类灾难性遗忘的问题,本文将自监督学习与两阶段的目标检测器相结合。通过在类别域应用潜在特征来表示各个类别的特征信息,通过动态更新策略在学习新类别的过程中进一步优化特征,并借助检测框域构建良好的代理任务提升回归框的精准度。本研究在PASCAL VOC数据集和MS COCO数据集上进行大量的实验验证,实验结果表明,无论是在新类性能方面还是总体性能方面,本研究所提出的方法相较于其他多个小样本目标检测模型均展现出更加优越的性能表现。

关键词：深度学习自监督学习小样本目标检测广义小样本目标检测

来源：评论

学校读者我要写书评

暂无评论

基于TPCM可信根的双体系可信终端计算架构

引用

通信学报 2025年第4期46卷 1-14页

作者：黄坚会张江江沈昌祥张建标北京工业大学计算机学院北京100124 可信计算北京市重点实验室北京100124 上海算石科技有限公司上海201203 山西大学计算机与信息技术学院山西太原030006

冯诺依曼计算机体系由于时代局限性未能考虑到现代的安全环境,计算结构中缺少基于硬件可信根的独立防护部件。基于国家标准GB/T 40650-2021可信平台控制模块(TPCM)可信根的可信终端架构被提出。该架构采用双体系结构实现了基于可信根的... 详细信息

冯诺依曼计算机体系由于时代局限性未能考虑到现代的安全环境,计算结构中缺少基于硬件可信根的独立防护部件。基于国家标准GB/T 40650-2021可信平台控制模块(TPCM)可信根的可信终端架构被提出。该架构采用双体系结构实现了基于可信根的渐进式并行可信执行环境架构,从硬件可信根芯片和底层基础软件角度出发解决终端设备源头、平台执行环境及终端设备可信管理的问题。该方法确保终端设备的TPCM可信根芯片和被测基础部件首先上电,完成对CPU执行环境可信度量,并控制CPU电源及设备初始化配置,逐步在计算机启动过程中进行可信扩散。该方法可以在保证设备本体安全可信的基础上实现可靠可信的网络应用,实现设备数据的隐私、安全保障及网络安全。

关键词：国标GB/T 40650-2021 可信根可信平台控制模块态度量可信执行环境

来源：评论

学校读者我要写书评

暂无评论

基于概率克隆的量子程序断点调试

引用

中国科学:物理学、力学、天文学 2025年第4期55卷 80-90页

作者：姜楠程晓钰王健王子臣北京工业大学计算机学院北京100124 北京交通大学智能交通数据安全与隐私保护技术北京市重点实验室北京100044

量子计算机的发展引起了人们对量子编程的极大关注.然而目前还没有有效的对量子程序进行调试的方法.由于量子态的不可克隆性,以及对量子寄存器的观察会导致量子态塌缩,所以无法像经典环境那样调试量子程序.本文提出一种基于概率克隆的... 详细信息

量子计算机的发展引起了人们对量子编程的极大关注.然而目前还没有有效的对量子程序进行调试的方法.由于量子态的不可克隆性,以及对量子寄存器的观察会导致量子态塌缩,所以无法像经典环境那样调试量子程序.本文提出一种基于概率克隆的量子调试方案QDebug.通过在量子程序中概率性地克隆一个量子比特,然后测量其副本,得以在量子程序中设置断点,间接地查看量子程序中量子比特的状态,来判断量子程序运行是否正确.该方法不会因为测量操作影响量子程序的正常执行.本文还分析了QDebug在调试过程中的可行性,通过将QDebug应用于量子程序来证明其有效性.

关键词：量子程序调试概率克隆量子编程量子软件量子计算

来源：评论

学校读者我要写书评

暂无评论

公交运行状态诊断与在途控制方法研究综述

引用

中国公路学报 2025年第2期38卷 207-229页

作者：翁剑成李文杰林鹏飞刘冬梅张晓亮北京工业大学交通工程北京市重点实验室北京100124 北京工业大学计算机学院北京100124 智能交通技术交通运输行业重点实验室北京100088 综合交通运输大数据处理及应用技术交通运输行业研发中心(中路高科) 北京100088

在公交智能化、信息化快速发展的背景下,公交在途运行控制研究逐渐成为公交运营优化关注的热点,有助于提升公交运行效率和乘客出行体验,为公交行业发展提供有力支持。为剖析公交在途运行控制中存在的问题与挑战,系统梳理和分析相关研究... 详细信息

在公交智能化、信息化快速发展的背景下,公交在途运行控制研究逐渐成为公交运营优化关注的热点,有助于提升公交运行效率和乘客出行体验,为公交行业发展提供有力支持。为剖析公交在途运行控制中存在的问题与挑战,系统梳理和分析相关研究在研究方向、研究范畴及实践应用方面的现状与发展成果,从而为后续研究者提供清晰的研究脉络、理论框架和方法指导。遵循“状态诊断-控制优化”的研究思路,以公交在途运行不良运行状态之一的公交串车事件为例,针对性地总结公交运行状态诊断与串车事件识别方法以及引发串车事件的影响因素,也对公交在途运行过程中可能存在的其他不良运行状态及相关的识别诊断技术进行梳理。在此基础上,围绕优化模型、控制策略和求解算法对公交在途运行控制方法开展综述。探讨了现有研究在公交运行优化目标、控制对象和约束条件设置上的方法与不足;从站点控制、区间控制和其他控制等不同维度对控制策略研究情况展开综述与梳理,分析了不同控制策略的特点及适用场景;总结了常用的优化模型求解算法,探析不同算法的适用条件与优化效果。最后,对未来研究方向与发展趋势做出展望,以期为公交运行效率与服务质量提升方面的未来研究提供新的思路与系统优化方向。

关键词：交通工程公交运营优化综述运行状态诊断公交在途运行控制公交串车

来源：评论

学校读者我要写书评

暂无评论

层次化行为可信性验证

引用

北京工业大学学报 2012年第9期38卷 1396-1401页

作者：庄琭蔡勉沈昌祥北京工业大学计算机学院北京100124 可信计算北京市重点实验室北京100124

为了缓解度量粒度细化引发的可用性降低,基于并发理论提出层次化的行为可信性验证模型及方法.将面向行为的可信动态度量的可信性验证中对平台行为依时间序的顺次验证方式,转化为基于一种层次化的预期行为描述的可信性验证,相关定理保证... 详细信息

为了缓解度量粒度细化引发的可用性降低,基于并发理论提出层次化的行为可信性验证模型及方法.将面向行为的可信动态度量的可信性验证中对平台行为依时间序的顺次验证方式,转化为基于一种层次化的预期行为描述的可信性验证,相关定理保证了转化的等价性.效率分析结果表明,层次化的验证方式提高了存储效率和验证效率,能解决细粒度可信动态度量的可行性问题.

关键词：可信计算可信动态度量行为可信性验证层次化方法

来源：评论

学校读者我要写书评

暂无评论

基于交互式马尔可夫链的可信动态度量研究

引用

计算机研究与发展 2011年第8期48卷 1464-1472页

作者：庄琭蔡勉沈昌祥北京工业大学计算机学院北京100124 可信计算北京市重点实验室北京100124

可信动态度量为保障可信计算平台的可靠运行提供了重要支撑.根据系统的可靠性、可用性、信息和行为安全性,提出了可信度量要达到的目标.当前的可信度量集中在可信功能度量上,基于交互式马尔可夫链增加性能特征指标度量,即在预期行为描... 详细信息

可信动态度量为保障可信计算平台的可靠运行提供了重要支撑.根据系统的可靠性、可用性、信息和行为安全性,提出了可信度量要达到的目标.当前的可信度量集中在可信功能度量上,基于交互式马尔可夫链增加性能特征指标度量,即在预期行为描述模型中,运用变迁系统模型描述功能预期,通过将体现在可靠性上的路径概率与预期的关联,获取完成特定行为功能在时间特征上的预期,用于性能特征指标的度量.所构建的功能与性能特征预期用于对系统运行时证据实施相应的功能与性能上的可信性验证.基于交互式马尔可夫链的动态度量模型,从性能角度完善了对可靠性的保障,更全面地确保了系统的可信.

关键词：可信计算可信动态度量交互式马尔可夫链功能度量性能度量

来源：评论

学校读者我要写书评

暂无评论

基于行为的可信动态度量的状态空间约简研究

引用

计算机学报 2014年第5期37卷 1071-1081页

作者：庄琭沈昌祥蔡勉北京工业大学计算机学院北京100124 可信计算北京市重点实验室北京100124

针对复杂并发计算机系统行为可信的动态度量研究中,细粒度动态度量所引发的状态空间爆炸问题一直是研究的难点.文中基于并发理论研究复杂并发计算机系统行为可信问题,在保障度量可靠性的前提下对系统状态空间进行约简,即通过标记变迁系... 详细信息

针对复杂并发计算机系统行为可信的动态度量研究中,细粒度动态度量所引发的状态空间爆炸问题一直是研究的难点.文中基于并发理论研究复杂并发计算机系统行为可信问题,在保障度量可靠性的前提下对系统状态空间进行约简,即通过标记变迁系统模型描述行为系统,通过事件结构模型研究行为关系,依据行为关系对变迁系统中各条路径进行重构,合并重构路径中相同的路径,实现变迁关系集约简,缩小状态空间.通过上述方法缓解了状态空间爆炸,并且,根据约简后的状态空间得到面向行为的可信动态度量的行为预期,增加细粒度动态度量方法在复杂系统中应用的可行性.

关键词：可信动态度量细粒度度量状态空间约简行为关系行为预期获取网络安全信息安全

来源：评论

学校读者我要写书评

暂无评论

基于可信计算的车联网云安全通信模型

引用

华中科技大学学报（自然科学版） 2014年第11期42卷 102-105页

作者：张文博包振山李健詹静北京工业大学计算机学院北京100124 北京工业大学可信计算北京市重点实验室北京100124

基于可信计算思想提出了一个车联网云平台用户间的安全通信模型.该模型借助可信第三方,在申请通信服务过程中为车联网云用户生成临时身份,即对车联网云用户身份进行匿名化处理,以实现对用户身份隐私的保护.在通信过程中,该模型采用双线... 详细信息

基于可信计算思想提出了一个车联网云平台用户间的安全通信模型.该模型借助可信第三方,在申请通信服务过程中为车联网云用户生成临时身份,即对车联网云用户身份进行匿名化处理,以实现对用户身份隐私的保护.在通信过程中,该模型采用双线性对签名的算法分别对用户的身份合法性和平台可信性进行认证,并有效地使用了随机数、密钥和时间戳,以密钥和散列函数确保了签名的不可伪造性,以时间戳确保了密钥的时效性,以随机数机制防止了重放攻击.分析结果表明:在车联网云平台中采用该通信模型可以使通信过程具备可信性、安全性和匿名性.

关键词：云计算车辆通信可信计算系统认证安全性

来源：评论

学校读者我要写书评

暂无评论

基于可信计算的车联网云用户远程证明

引用

华中科技大学学报（自然科学版） 2016年第3期44卷 12-16页

作者：张文博包振山张建标詹静北京工业大学计算机学院北京100124 可信计算北京市重点实验室北京100123

为了防止恶意用户对车联网云平台进行欺骗,提出通过远程证明对用户属性和可信平台状态进行验证的方案.一方面,采用模糊属性签名方案可以确保终端的匿名性,避免用户身份及隐私信息泄露;另一方面,采用本方案可利用终端的可信模块及可信链... 详细信息

为了防止恶意用户对车联网云平台进行欺骗,提出通过远程证明对用户属性和可信平台状态进行验证的方案.一方面,采用模糊属性签名方案可以确保终端的匿名性,避免用户身份及隐私信息泄露;另一方面,采用本方案可利用终端的可信模块及可信链传递机制,从而确保硬件、固件及软件的可信性和时效性.此外,在远程证明方案中,向车联网云平台的管理模块申请前用户先提供其行为预测方程,并且云管理模块将一段时间后的行为特征值组与预测方程进行比对,由此确定用户运行程序的动态可信性.采用该方案可有效实现对车联网云用户的远程证明.

关键词：可信计算可信平台远程证明可信车联网云车联网云计算

来源：评论

学校读者我要写书评

暂无评论

基于区块链的动态可验证对称可搜索加密方案

引用

软件学报 2023年第11期34卷 5392-5407页

作者：徐万山张建标袁艺林北京工业大学信息学部计算机学院北京100124 可信计算北京市重点实验室(北京工业大学) 北京100124

对称可搜索加密(symmetric searchable encryption,SSE)能实现密文数据的检索而不泄露用户隐私,在云存储领域得到了广泛的研究与应用.然而,在SSE方案中,半诚实或者不诚实的服务器可能篡改文件中的数据,返回给用户不可信的文件,因此对这... 详细信息

对称可搜索加密(symmetric searchable encryption,SSE)能实现密文数据的检索而不泄露用户隐私,在云存储领域得到了广泛的研究与应用.然而,在SSE方案中,半诚实或者不诚实的服务器可能篡改文件中的数据,返回给用户不可信的文件,因此对这些文件进行验证是十分必要的.现有的可验证SSE方案大多是用户本地进行验证,恶意用户可能会伪造验证结果,无法保证验证的公平性.基于以上考虑,提出一种基于区块链的动态可验证对称可搜索加密方案(verifiable dynamic symmetric searchable encryption,VDSSE);VDSSE采用对称加密实现动态更新过程中的前向安全;在此基础上,利用区块链实现搜索结果的验证,验证过程中,提出一种新的验证标签——Vtag,利用Vtag的累积性实现验证信息的压缩存储,降低验证信息在区块链上的存储开销,并能够有效支持SSE方案的动态验证.由于区块链具有不可篡改的性质,验证的公平性得以保证.最后,对VDSSE进行实验评估和安全性分析,验证方案的可行性和安全性.

关键词：对称可搜索加密可验证区块链动态更新

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：