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

计算机技术与发展 2021年第12期31卷 116-121页

作者：王冠郝晓星北京工业大学信息学部北京100124 北京市可信计算重点实验室北京100124

固件作为一种固化在ROM中的特殊软件程序,主要负责加电自检,硬件设备初始化,引导操作系统等基础功能,运行级别和安全等级较高,亟需一种高效、可靠的UEFI模块安全检测方法。采用形式化方法对UEFI模块进行规约与验证,对于提高固件的安全... 详细信息

固件作为一种固化在ROM中的特殊软件程序,主要负责加电自检,硬件设备初始化,引导操作系统等基础功能,运行级别和安全等级较高,亟需一种高效、可靠的UEFI模块安全检测方法。采用形式化方法对UEFI模块进行规约与验证,对于提高固件的安全性具有重要意义。基于现有的有限状态自动机和下推自动机基础,分别对UEFI模块中的安全漏洞属性和UEFI模块程序控制流进行形式化建模,利用模型检验对上述模型进行形式化验证。其中利用数据抽象思想将UEFI模块抽象为程序控制流且压缩其状态规模来缓解模型检验时的状态爆炸问题,并给出了相关模型的定义以及模型间转换、组合的算法。实验结果表明,对UEFI模块的抽象及压缩能够很好地缓解模型检验中的状态爆炸问题,并且该形式化验证方法能够实现对UEFI模块安全漏洞的自动化验证,且能够达到较低的漏报率。

关键词： UEFI 形式化方法模型检验安全漏洞有限状态自动机下推自动机

来源：评论

学校读者我要写书评

暂无评论

中文文本自动校对综述

引用

中文信息学报 2022年第9期36卷 1-18,27页

作者：李云汉施运梅李宁田英爱北京信息科技大学网络文化与数字传播北京市重点实验室北京100101 北京信息科技大学计算机学院北京100101

文本校对在新闻发布、书刊出版、语音输入、汉字识别等领域有着极其重要的应用价值,是自然语言处理领域中的一个重要研究方向。该文对中文文本自动校对技术进行了系统性的梳理,将中文文本的错误类型分为拼写错误、语法错误和语义错误,... 详细信息

文本校对在新闻发布、书刊出版、语音输入、汉字识别等领域有着极其重要的应用价值,是自然语言处理领域中的一个重要研究方向。该文对中文文本自动校对技术进行了系统性的梳理,将中文文本的错误类型分为拼写错误、语法错误和语义错误,并对这三类错误的校对方法进行了梳理,对中文文本自动校对的数据集和评价方法进行了总结,最后展望了中文文本自动校对技术的未来发展。

关键词：自动校对拼写错误语法错误语义错误数据集评估指标

来源：评论

学校读者我要写书评

暂无评论

泵站行走式智能巡检机器人研究与应用——以北京市东水西调工程为例

引用

科学技术创新 2024年第2期 201-204页

作者：赵柘周继阳李一帆刘鹏宇北京市南水北调团城湖管理处北京北京工业大学信息学部北京先进信息网络北京实验室北京北京工业大学计算智能与智能系统北京市重点实验室北京

以北京市东水西调工程中的杏石口泵站为例,泵站人工巡检存在巡检场景多、项目多、工作量大、存在安全隐患等问题,导致人工巡检效率低、工作质量难以得到保证,影响泵站安全稳定的运行。为有效提高巡检效率,保证巡检安全性、可靠性,从根... 详细信息

以北京市东水西调工程中的杏石口泵站为例,泵站人工巡检存在巡检场景多、项目多、工作量大、存在安全隐患等问题,导致人工巡检效率低、工作质量难以得到保证,影响泵站安全稳定的运行。为有效提高巡检效率,保证巡检安全性、可靠性,从根本上实现泵站智能化的建设目标,在泵站巡检中使用行走式智能巡检机器人进行辅助巡检是非常有必要的。泵站行走式智能巡检机器人具有巡检、机器视觉识别、传感器数据采集、数据统计等功能,在泵站巡检中具有其自身独特的优势。本文以杏石口泵站为例,探究了行走式智能巡检机器人的系统设计、主要功能和具体应用,通过实际应用分析,行走式智能巡检机器人能够提升泵站巡检的效率、保证人员巡检的安全,值得进行推广应用。

关键词：泵站行走式智能巡检机器人系统架构主要功能应用

来源：评论

学校读者我要写书评

暂无评论

基于区块链的业务协同数据安全共享方案

引用

信息安全研究 2021年第7期7卷 606-614页

作者：王冠丁浩北京工业大学信息学部北京100124 可信计算北京市重点实验室北京100124

现有电子政务环境下业务协同数据共享过程中存在数据来源不可知、数据真实性存在争议、数据隐私泄露、数据使用者在使用非法数据或者数据提供者提供假冒数据后出现抵赖现象难以进行追责等问题.针对以上问题,提出了一种基于区块链的业务... 详细信息

现有电子政务环境下业务协同数据共享过程中存在数据来源不可知、数据真实性存在争议、数据隐私泄露、数据使用者在使用非法数据或者数据提供者提供假冒数据后出现抵赖现象难以进行追责等问题.针对以上问题,提出了一种基于区块链的业务协同数据安全共享方案.通过区块链实现电子政务环境下数据共享流程公开透明且去中心化、数据在共享过程中不可篡改以及共享流程可追溯等.该方案根据业务逻辑部署智能合约对数据密文进行数据处理得到数据处理结果,实现共享数据处理结果而不共享数据密文,从根本上解决数据隐私泄露问题.通过数据脱链存储解决区块链内存问题,同时提高共识效率,并通过设计授权令牌Token同时将其记录在区块中,实现访问控制.最后通过安全性分析和性能分析表明该方案是可行的,满足电子政务环境下业务协同数据共享.

关键词：业务协同数据共享区块链智能合约 IPFS

来源：评论

学校读者我要写书评

暂无评论

基于视觉检测的非接触式膏体浓度识别方法

引用

中南大学学报（自然科学版） 2023年第5期54卷 1942-1953页

作者：马博渊周佳城班晓娟袁兆麟阮竹恩北京科技大学北京材料基因工程高精尖创新中心北京100083 北京科技大学顺德创新学院广东佛山528300 北京科技大学材料领域知识工程北京市重点实验室北京100083 北京科技大学人工智能研究院北京100083 北京科技大学计算机与通信工程学院北京100083

为解决膏体料浆对于接触式浓度计的损坏以及核子浓度计对施工人员的辐射等问题,提出一种基于视觉检测的非接触式膏体浓度识别方法,以膏体图像数据集为基础,采用卷积神经网络模型提取膏体深度特征,设计多模型全连接层融合算法、伽马矫正... 详细信息

为解决膏体料浆对于接触式浓度计的损坏以及核子浓度计对施工人员的辐射等问题,提出一种基于视觉检测的非接触式膏体浓度识别方法,以膏体图像数据集为基础,采用卷积神经网络模型提取膏体深度特征,设计多模型全连接层融合算法、伽马矫正数据增广策略,对膏体浓度监测准确率进行分析。研究结果表明:手动搅拌膏体数据集的准确率为88.79%,在自动搅拌膏体数据集上获得91.42%的准确率,可有效提高浓度识别准确性,避免浓度计损坏或辐射危险。

关键词：膏体充填非接触式浓度识别深度学习图像分类模型融合

来源：评论

学校读者我要写书评

暂无评论

基于深度学习的GPS轨迹去匿名研究

引用

计算机工程与科学 2022年第2期44卷 244-250页

作者：卜冠华周礼亮李昊张敏中国科学院软件研究所可信计算与信息保障实验室北京100089 中国科学院大学北京100089 中国电子科技集团公司航空电子信息系统技术重点实验室四川成都610036

移动互联网和LBS技术的高速发展使得位置服务提供商可以轻松收集到大量用户位置轨迹数据,近期研究表明,深度学习方法能够从轨迹数据集中提取出用户身份标识等隐私信息。然而现有工作主要针对社交网络采集的签到点轨迹,针对GPS轨迹的去... 详细信息

移动互联网和LBS技术的高速发展使得位置服务提供商可以轻松收集到大量用户位置轨迹数据,近期研究表明,深度学习方法能够从轨迹数据集中提取出用户身份标识等隐私信息。然而现有工作主要针对社交网络采集的签到点轨迹,针对GPS轨迹的去匿名研究则较为缺乏。因此,对基于深度学习的GPS轨迹去匿名技术开展研究。首先提出一种GPS轨迹数据预训练方法,经过子轨迹划分、位置点转化和位置点嵌入,原始GPS轨迹中的空间距离和上下文信息被嵌入到定长向量中,使得GPS轨迹数据能够作为神经网络的输入。其次提出一种基于深度神经网络训练的GPS轨迹去匿名方法,基于预训练得到的向量序列,采用LSTM、GRU等神经网络作为编码器训练拟合用户标识,实现匿名轨迹数据的用户关联。最后基于Geolife轨迹数据集对上述方法进行验证,实验中轨迹去匿名的准确率和Top5准确率分别达到了56.73%和73.48%,实验结果表明,基于深度学习的GPS轨迹去匿名方法能够从匿名轨迹数据中较为准确地识别出用户标识。

关键词：深度学习循环神经网络轨迹去匿名 GPS轨迹数据预训练

来源：评论

学校读者我要写书评

暂无评论

基于无监督集群级的科技论文异质图节点表示学习方法

引用

计算机科学 2022年第9期49卷 64-69页

作者：宋杰梁美玉薛哲杜军平寇菲菲北京邮电大学计算机学院(国家示范性软件学院)智能通信软件与多媒体北京市重点实验室北京100876

科技论文数据的知识表征是一个有待解决的问题,而如何学习科技论文异质网络中论文节点的表示是解决这一问题的核心。文中提出了一种基于无监督集群级的科技论文异质图节点表示学习方法(Unsupervised Cluster-level Scientific Paper Het... 详细信息

科技论文数据的知识表征是一个有待解决的问题,而如何学习科技论文异质网络中论文节点的表示是解决这一问题的核心。文中提出了一种基于无监督集群级的科技论文异质图节点表示学习方法(Unsupervised Cluster-level Scientific Paper Heterogeneous Graph Node Representation Learning Method, UCHL),以获取科技论文异质图中节点(作者、机构与论文等)的表示。基于科技论文异质图表示对整个异质图进行链接预测,获取节点之间边的关系,即论文与论文之间的关联关系。实验结果表明,在真实的科技论文数据集上,所提方法在多项评测指标上都取得了更优的性能。

关键词：科技论文异质图网络图表示学习链接预测无监督学习

来源：评论

学校读者我要写书评

暂无评论

基于分步时空JITL-MKPLS的间歇过程故障监测

引用

高校化学工程学报 2021年第1期35卷 127-139页

作者：高学金孟令军王豪高慧慧北京工业大学信息学部北京100124 数字社区教育部工程研究中心北京100124 城市轨道交通北京实验室北京100124 计算智能与智能系统北京市重点实验室北京100124

针对多阶段时变的间歇过程难以用全局模型准确描述生产过程的动态变化及传统局部建模每个工作点都需要重新筛选样本建模导致计算量较大的问题,提出一种分步时空即时学习的局部建模策略。采用仿射传播(AP)聚类的方式对历史数据样本集中... 详细信息

针对多阶段时变的间歇过程难以用全局模型准确描述生产过程的动态变化及传统局部建模每个工作点都需要重新筛选样本建模导致计算量较大的问题,提出一种分步时空即时学习的局部建模策略。采用仿射传播(AP)聚类的方式对历史数据样本集中的数据进行初步分类,在当前输入样本数据到达后,确定当前样本数据所属的类别,在此类别所限定的子数据样本集中使用时间和空间相结合的即时学习策略确定出局部相似样本,建立多向核偏最小二乘监测模型。将该算法在青霉素发酵仿真数据和大肠杆菌发酵过程生产数据上进行验证,结果表明,所提方法不仅减少了不必要的计算量,还能够更加精准即时地进行故障监测。

关键词：时空即时学习分步多向核偏最小二乘局部建模故障监测

来源：评论

学校读者我要写书评

暂无评论

基于细粒度语义推理的跨媒体双路对抗哈希学习模型

引用

计算机科学 2022年第9期49卷 123-131页

作者：曹晓雯梁美玉鲁康康北京邮电大学计算机学院(国家示范性软件学院)智能通信软件与多媒体北京市重点实验室北京100876

跨媒体哈希因其优越的搜索效率和较低的存储成本而在跨媒体搜索任务中受到广泛关注。然而,现有方法无法充分保持多模态数据的高阶语义相关性和多标签语义信息,从而导致学习到的哈希编码的质量下降。为了解决上述问题,提出了基于细粒度... 详细信息

跨媒体哈希因其优越的搜索效率和较低的存储成本而在跨媒体搜索任务中受到广泛关注。然而,现有方法无法充分保持多模态数据的高阶语义相关性和多标签语义信息,从而导致学习到的哈希编码的质量下降。为了解决上述问题,提出了基于细粒度语义推理的跨媒体双路对抗哈希(Semantic Reasoning Based Cross-media Dual-way Adversarial Hashing Learning Model, SDAH)学习模型,通过最大程度地挖掘不同模态间的细粒度语义关联,产生紧凑且一致的跨媒体统一高效哈希语义表示。首先,提出了基于跨媒体协同注意力机制的细粒度跨媒体语义关联学习和推理方法,基于跨媒体注意力机制协同学习图像和文本的细粒度隐含语义关联,获取图像和文本的显著性语义推理特征;然后,建立了跨媒体双路对抗哈希网络,通过联合学习模态内和模态间的语义相似性约束,并通过双路对抗学习机制更好地对齐不同模态哈希码的语义分布,产生更高质量和更具判别性的跨媒体统一哈希表示,促进了跨媒体语义融合,提升了跨媒体搜索性能。在两个公开数据集上与现有方法的对比实验结果验证了所提方法在各种跨媒体搜索场景下的优越性能。

关键词：语义推理哈希学习跨媒体搜索对抗学习跨媒体语义融合

来源：评论

学校读者我要写书评

暂无评论

牙源性钙化囊肿与牙源性钙化上皮瘤的三维影像特点

引用

北京大学学报（医学版） 2024年第1期56卷 131-137页

作者：凌晓彤屈留洋郑丹妮杨静闫雪冰柳登高高岩北京大学口腔医学院·口腔医院影像科国家口腔医学中心国家口腔疾病临床医学研究中心口腔生物材料和数字诊疗装备国家工程研究中心口腔数字医学北京市重点实验室国家卫生健康委员会口腔医学计算机应用工程技术研究中心国家药品监督管理局口腔材料重点实验室北京100081 北京大学口腔医学院·口腔医院第一门诊部特诊科国家口腔医学中心国家口腔疾病临床医学研究中心口腔生物材料和数字诊疗装备国家工程研究中心口腔数字医学北京市重点实验室国家卫生健康委员会口腔医学计算机应用工程技术研究中心国家药品监督管理局口腔材料重点实验室北京100081 北京大学口腔医学院·口腔医院口腔病理科国家口腔医学中心国家口腔疾病临床医学研究中心口腔生物材料和数字诊疗装备国家工程研究中心口腔数字医学北京市重点实验室国家卫生健康委员会口腔医学计算机应用工程技术研究中心国家药品监督管理局口腔材料重点实验室北京100081

目的:利用螺旋CT和锥束计算机体层摄影术(cone-beam computed tomography,CBCT)比较分析牙源性钙化囊肿(calcifying odontogenic cyst,COC)与牙源性钙化上皮瘤(calcifying epithelial odontogenic tumor,CEOT)的三维影像学特征。方法:回顾性收集北京大学口腔医院经病理证实的19例COC和16例CEOT的螺旋CT或CBCT影像资料,结合患者的临床与病理表现分析其影像学特征,包括病变位置、大小、膨隆程度、内部结构及牙齿受累情况等,并对病变内钙化特点进行分类。结果:19例COC患者中,男性12例,女性7例,平均年龄27岁,89.5%(17/19)的病变位于前牙区和前磨牙区,100.0%存在颌骨膨隆,78.9%出现骨皮质不连续。16例CEOT患者中,男性3例,女性13例,平均年龄36岁,81.3%(13/16)的病变位于前磨牙区和磨牙区,56.3%存在颌骨膨隆,93.8%出现骨皮质不连续。根据病变内钙化物的分布特点分为无钙化型(未见钙化影像)、边缘型(钙化影位于病变边缘,且仅在一侧散在分布)、弥散型(多发钙化影广泛分布于病变范围内)、团块型(存在直径大于5 mm的钙化团块)及冠周型(钙化影像聚集于阻生牙周围)。73.7%的COC病变区存在钙化,包括边缘型9例、弥散型3例及团块型2例;42.8%的CEOT病变区存在钙化,包括弥散型2例及冠周型5例。另外,6例COC病变中存在牙瘤样影像,9例无钙化的CEOT中8例为朗格汉斯(Langerhans)型,病变较小(近远中径平均为17.8 mm),不含阻生牙,且无牙根吸收。结论:COC好发于颌骨前部,膨隆明显,而CEOT好发于颌骨后部,多存在骨皮质不连续。两者的钙化特点差异较大,COC病变区钙化影像发生率高,多沿病变边缘散在分布,位于病变一侧,远离阻生牙,部分病变与牙瘤共同发生;CEOT逾半数无钙化且病变较小,其余病变中钙化物影像多围绕在阻生牙周围。

关键词：牙源性钙化囊肿牙源性钙化上皮瘤三维成像锥束计算机体层摄影术

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：