检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于路径语义表示的静态警报自动确认方法

软件学报 2024年第10期35卷 4662-4680页

作者：张俞炜邢颖李戈金芝北京大学计算机学院北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京邮电大学人工智能学院北京100876

尽管静态分析工具能够在软件开发生命周期的早期阶段帮助开发人员检测软件中的潜在缺陷,但该类工具往往存在警报假阳性率高的问题.为了提高该类工具的可用性,研究人员提出许多警报确认技术来对假阳性警报进行自动分类.然而,已有方法集... 详细信息

尽管静态分析工具能够在软件开发生命周期的早期阶段帮助开发人员检测软件中的潜在缺陷,但该类工具往往存在警报假阳性率高的问题.为了提高该类工具的可用性,研究人员提出许多警报确认技术来对假阳性警报进行自动分类.然而,已有方法集中于利用手工设计的特征或语句级的抽象语法树标记序列来表示缺陷代码,难以从报告的警报中捕获语义.为了克服传统方法的局限性,利用深度神经网络强大的特征抽取和表示能力从控制流图路径中学习代码语义表征用于警报确认.控制流图是程序的执行过程抽象表示,因此控制流图路径序列能够引导模型更精确地学习与潜在缺陷相关的语义信息.通过微调预训练语言模型对路径序列进行编码并从中捕捉语义特征用于模型构建.最后在8个开源项目上与最先进的基线方法进行大量对比实验验证所提方法的有效性.

关键词：警报自动确认路径分析深度学习预训练语言模型

在线全文

学校读者我要写书评

暂无评论

基于谱域超图卷积网络的交通流预测模型

北京工业大学学报 2024年第2期50卷 152-164页

作者：尹宝才王竟成张勇胡永利孙艳丰北京工业大学信息学部北京100124 北京工业大学多媒体与智能软件技术北京市重点实验室北京100124

针对传统图结构难以对节点间的隐含复杂关联关系建模的问题,利用超图对交通流数据进行高阶表示,提出基于谱域超图卷积网络的交通流预测方法。首先,通过动态超边刻画数据特征层面的关系,利用谱域超图卷积,包括基于傅里叶和图小波的超图... 详细信息

针对传统图结构难以对节点间的隐含复杂关联关系建模的问题,利用超图对交通流数据进行高阶表示,提出基于谱域超图卷积网络的交通流预测方法。首先,通过动态超边刻画数据特征层面的关系,利用谱域超图卷积,包括基于傅里叶和图小波的超图卷积及门控时序卷积,在多尺度上提取交通流的时空特征,实现端到端的节点级交通流预测。然后,采用北京市以及美国加利福尼亚州真实历史数据集进行预测实验。消融实验通过孤立和重构网络模型验证了所提方法的有效性。全时段和早高峰交通流预测的实验结果表明,该方法预测准确率高于目前主流交通流预测模型。

关键词：图神经网络超图理论多元时序预测深度学习大数据分析智慧交通

在线全文

学校读者我要写书评

暂无评论

基于远程证明的数据服务完整性验证方法

软件学报 2024年第11期 4949-4972页

作者：张溯张颖张伟黄罡高可信软件技术教育部重点实验室(北京大学) 北京大学软件工程国家工程研究中心神旗数码有限公司

数据作为一种新型生产要素,需要在不同主体间流通以发挥价值.在这一过程中,数据需要确保其完整性,避免受到未经授权的篡改,否则可能导致极为严重的后果.现有工作通过将分布式账本与数据加密、校验技术结合实现数据存证以证明待流通数据... 详细信息

数据作为一种新型生产要素,需要在不同主体间流通以发挥价值.在这一过程中,数据需要确保其完整性,避免受到未经授权的篡改,否则可能导致极为严重的后果.现有工作通过将分布式账本与数据加密、校验技术结合实现数据存证以证明待流通数据在传输、存储等环节中未受篡改,保障数据的完整性.然而,此类工作难以确认数据供方所提供数据本身的完整性,一旦数据供方主动或被动提供了伪造数据,后续完整性保障工作将失去意义.为此,提出一种基于远程证明的数据服务完整性验证方法,所提方法以可信执行环境作为信任锚,对特定数据服务静态代码、执行过程和执行结果的完整性进行多维度量与验证,并通过程序切片优化对特定数据服务的完整性验证,从而将数据完整性保障的范围延伸至数据供方提供数据的环节.通过在3个真实Java信息系统中25个数据服务上的一系列实验验证了所提出方法的有效性.

关键词：数据服务数据完整性远程证明控制流证明可信执行环境

践行“六步工作法” 探索党建工作与采购业务深度融合

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

招标采购管理 2024年第7期 23-25页

作者：杨雨青柏明星李光瑞中移(苏州)软件技术有限公司

巡视工作的本质是政治监督,巡视整改是基层党建工作的重要组成部分,从严从紧抓好整改落实工作,有利于推动基层党建质量提升。采购是企业运营过程中不可或缺的环节,而巡视工作为一种监督机制,对于确保采购活动的合规性和有效性具有重要... 详细信息

巡视工作的本质是政治监督,巡视整改是基层党建工作的重要组成部分,从严从紧抓好整改落实工作,有利于推动基层党建质量提升。采购是企业运营过程中不可或缺的环节,而巡视工作为一种监督机制,对于确保采购活动的合规性和有效性具有重要意义。

关键词：巡视工作党建工作采购业务基层党建质量提升深度融合合规性监督机制

基于节点采样的子结构代表层次池化图卷积网络模型

在线全文

学校读者我要写书评

暂无评论

北京工业大学学报 2024年第6期50卷 693-701页

作者：胡永利李鸥宵孙艳丰北京工业大学信息学部北京100124 北京工业大学多媒体与智能软件技术北京市重点实验室北京100124

为解决目前基于节点采样的图池化方法中所存在的评估节点重要性的策略过于简单以及子结构特征信息大量丢失等问题,提出了基于节点采样的子结构代表层次池化模型(sub-structure representative hierarchical pooling model based on node... 详细信息

为解决目前基于节点采样的图池化方法中所存在的评估节点重要性的策略过于简单以及子结构特征信息大量丢失等问题,提出了基于节点采样的子结构代表层次池化模型(sub-structure representative hierarchical pooling model based on node sampling,SsrPool)。该模型主要包括子结构代表节点选择模块和子结构代表节点特征生成模块2个部分。首先,子结构代表节点选择模块同时考虑了节点特征信息以及结构信息,利用不同方法评估节点重要性并通过不同重要性分数协作产生鲁棒的节点排名以指导节点选择。其次,子结构代表节点特征生成模块通过特征融合保留局部子结构特征信息。通过将SsrPool与现有神经网络相结合,在不同规模公共数据集上的图分类实验结果证明了SsrPool的有效性。

关键词：图神经网络图池化节点重要性图分类层次化模型图卷积神经网络

在线全文

学校读者我要写书评

暂无评论

有效推进国企三项制度改革的关键因素探讨

国企 2024年第13期 31-33页

作者：安琪北京神舟航天软件技术股份有限公司

深化国企三项制度改革,是推动国企走向现代化、专业化发展的重要举措。国企改革三年行动实施以来,众多国企在三项制度改革方面取得了显著成果,市场化经营水平得到了显著提高。新时期,国有企业改革发展提出了新的要求。国企管理者应深入... 详细信息

深化国企三项制度改革,是推动国企走向现代化、专业化发展的重要举措。国企改革三年行动实施以来,众多国企在三项制度改革方面取得了显著成果,市场化经营水平得到了显著提高。新时期,国有企业改革发展提出了新的要求。国企管理者应深入剖析有效实施三项制度改革的核心要素,明确其与组织绩效提升的紧密关系,推动国企科学管理,实现可持续发展。

关键词：三项制度改革国有企业改革国企改革市场化经营绩效提升科学管理实现可持续发展专业化发展

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

基于“零信任”理念的云安全防护策略研究

通信世界 2024年第8期 45-48页

作者：施君宇曹含磊江俊桦中移(苏州)软件技术有限公司

随着产业信息化进程不断加快,用户对云应用和数据的安全性提出了更高要求。云计算时代针对云上高价值数据的网络攻击也愈演愈烈,传统的网络安全模型和网络攻防策略多为被动防御,已难以应对当前挑战。为此,业界需要采用更为积极的主动安... 详细信息

随着产业信息化进程不断加快,用户对云应用和数据的安全性提出了更高要求。云计算时代针对云上高价值数据的网络攻击也愈演愈烈,传统的网络安全模型和网络攻防策略多为被动防御,已难以应对当前挑战。为此,业界需要采用更为积极的主动安全策略,其中基于“零信任”安全理念的研究便是方向之一。本文将深入探究“零信任”的两种实践方案,并结合安全事件,分析其在远程访问、安全上云、病毒攻击等场景中的应用价值。

关键词：网络安全模型远程访问安全防护策略攻防策略网络攻击云应用云计算时代安全事件

一种云内Underlay业务网络质量监测和故障定界系统

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

江苏通信 2024年第4期40卷 47-49,90页

作者：孙仲华中移(苏州)软件技术有限公司

本文提出一种针对公有云Underlay业务网络质量监测和故障定界系统的设计和实现,主要包括云Underlay业务网络质量监测和故障定界原理、底层网络探针的设计和实现、系统前端展示模块的设计和实现。本文搭建的公有云Underlay业务网络质量... 详细信息

本文提出一种针对公有云Underlay业务网络质量监测和故障定界系统的设计和实现,主要包括云Underlay业务网络质量监测和故障定界原理、底层网络探针的设计和实现、系统前端展示模块的设计和实现。本文搭建的公有云Underlay业务网络质量监测和故障定界系统,解决了传统探测系统仅有目的端网络通断探测能力、无法监测端到端网络链路中每一跳网络质量的问题,也通过在Underlay业务同资源池部署网络探针解决公有云的故障定界难题。

关键词：网络探针 Underlay业务网络质量监测故障定界

航天型号项目WBS模板智能推荐技术研究与应用

在线全文

学校读者我要写书评

暂无评论

现代信息科技 2024年第17期8卷 120-122,128页

作者：李晓娟栾森胡杨博北京神舟航天软件技术股份有限公司北京100094

由于航天型号项目WBS模板应用过程中存在经验依赖性强、效率低下等问题,文章分析了当前主流推荐算法在型号项目WBS模板智能推荐中存在的问题,结合航天型号项目WBS模板的具体应用场景,研究了历史型号项目对WBS模板的操作行为(全部应用、... 详细信息

由于航天型号项目WBS模板应用过程中存在经验依赖性强、效率低下等问题,文章分析了当前主流推荐算法在型号项目WBS模板智能推荐中存在的问题,结合航天型号项目WBS模板的具体应用场景,研究了历史型号项目对WBS模板的操作行为(全部应用、部分应用、收藏、查看、未操作等)、属性偏好(类型、名称、部门、应用范围、其他等),提出了基于型号项目的协同过滤推荐方法,寻找与当前型号项目偏好相似的“型号项目群”,为当前型号推荐合适的WBS模板。

关键词：型号 WBS模板相似度智能推荐