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

软件学报 2025年第2期36卷 511-536页

作者：王丽敏吴敬征武延军芮志清罗天悦屈晟杨牧天中国科学院软件研究所智能软件研究中心北京100190 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院大学北京100049

开源软件的繁荣推动了软件领域的蓬勃发展,也促使以开源软件为基础的供应链开发模式的形成.开源软件供应链本质上是个复杂的供应链拓扑网络,由开源生态的关键元素及其关联关系构成,其产品全球化等优势有助于提高软件行业的开发效率.然而... 详细信息

开源软件的繁荣推动了软件领域的蓬勃发展,也促使以开源软件为基础的供应链开发模式的形成.开源软件供应链本质上是个复杂的供应链拓扑网络,由开源生态的关键元素及其关联关系构成,其产品全球化等优势有助于提高软件行业的开发效率.然而,开源软件供应链也存在依赖关系复杂、传播范围广泛、攻击面暴露扩大等特点,带来了新的安全风险.现有的以安全漏洞、威胁情报为基础的安全管理虽然可以实现安全预警、预先防御,但是由于漏洞威胁信息获取不及时、缺少攻击技术和缓解措施等信息,严重影响了漏洞处理效率.针对上述问题,设计并实现一种针对开源软件供应链的漏洞威胁智能感知方法,包括两部分:1)构建CTI(网络威胁情报)知识图谱,在其构建的过程中使用到相关技术,可以实现安全情报的实时分析与处理,尤其提出SecERNIE模型以及软件包命名矩阵,分别缓解漏洞威胁关联挖掘的问题和开源软件别名的问题.2)漏洞风险信息推送,以软件包命名矩阵为基础,构建软件包过滤规则,实现开源系统漏洞实时过滤与推送.通过实验验证所提方法的有效性和可用性.实验结果显示,相较于NVD等传统漏洞平台,本方法平均感知时间最高提前90.03天;在操作系统软件覆盖率上提升74.37%,并利用SecERNIE模型实现63492个CVE漏洞与攻击技术实体之间的关联关系映射.特别地,针对openEuler操作系统,可追踪的系统软件覆盖率达到92.76%,并累计感知6239个安全漏洞;同时,还发现openEuler中891条漏洞与攻击的关联关系,进而获取到相应的解决方案,为漏洞处理提供了参考依据.在真实攻击环境验证2种典型的攻击场景,证明所提方法在漏洞威胁感知方面的良好的效果.

关键词：开源软件供应链漏洞威胁感知特征表示知识图谱风险推送

来源：评论

学校读者我要写书评

暂无评论

FineFlow:FaaS工作流部署优化与执行系统

引用

软件学报 2025年第2期36卷 488-510页

作者：刘璐高浩城陈伟吴国全魏峻中国科学院软件研究所北京100190 中国科学院大学北京100049 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院大学南京学院江苏南京211135

FaaS(function-as-a-service,函数即服务)工作流由多个函数服务编排而成,通过对多个函数的协调控制来实现复杂的业务应用.当前FaaS工作流系统主要基于集中式的数据存储实现函数间的数据传递,导致FaaS函数间的数据传输开销大,显著影响应... 详细信息

FaaS(function-as-a-service,函数即服务)工作流由多个函数服务编排而成,通过对多个函数的协调控制来实现复杂的业务应用.当前FaaS工作流系统主要基于集中式的数据存储实现函数间的数据传递,导致FaaS函数间的数据传输开销大,显著影响应用性能.在高并发情况下,频繁的数据传输还会产生严重的网络带宽资源争用,导致应用性能下降.针对上述问题,基于函数服务间的细粒度数据依赖分析,提出一种基于关键路径的函数部署优化方法,设计了依赖敏感的数据存取与管理机制,有效减少函数间数据传输,从而降低FaaS工作流应用执行的数据传输时延和端到端时延.设计实现了FaaS工作流系统FineFlow,并基于5个真实FaaS工作流应用开展实验评估.实验结果表明,相比于基于集中式数据存储函数交互机制的FaaS工作流平台,FineFlow能够有效降低FaaS工作流应用的数据传输时延:最高降低74.6%,平均降低63.8%;平均降低应用端到端执行时延19.6%.特别地,对于具有明显细粒度数据依赖的FaaS工作流应用,相比于现有的基于数据本地性的优化方法,FineFlow能够使数据传输时延和端到端时延进一步分别降低28.4%和13.8%.此外,FineFlow通过减少跨节点的数据传输,能够有效缓解网络带宽波动对FaaS工作流执行性能的影响,提升应用性能受网络带宽影响的鲁棒性.

关键词： FaaS工作流函数即服务服务器无感知计算数据本地性有向无环图关键路径部署优化

来源：评论

学校读者我要写书评

暂无评论

服务器无感知计算系统性能优化技术研究综述

引用

软件学报 2025年第1期36卷 47-78页

作者：杨光刘杰曲慕子王帅叶丹钟华中国科学院大学北京100049 中国科学院软件研究所软件工程技术研究开发中心北京100190 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190

服务器无感知计算是新兴的云计算模式,它基于“函数即服务(FaaS)”的范式,以函数为部署和调度的基本单位,为用户提供大规模并行和自动伸缩的函数执行服务,且无需用户管理底层资源.对于用户,服务器无感知计算能够帮助他们摆脱集群底层基... 详细信息

服务器无感知计算是新兴的云计算模式,它基于“函数即服务(FaaS)”的范式,以函数为部署和调度的基本单位,为用户提供大规模并行和自动伸缩的函数执行服务,且无需用户管理底层资源.对于用户,服务器无感知计算能够帮助他们摆脱集群底层基础设施管理的负担,专注于业务层的开发和创新;对于服务提供商,服务器无感知计算将应用分解为细粒度的函数,极大地提高了调度效率和资源利用率.显著的优势让服务器无感知计算迅速吸引了业界的注意,然而,服务器无感知计算与传统云计算迥然不同的计算模式以及对任务各方面的严格限制给应用的迁移带来了诸多障碍,各种越来越复杂的任务也对服务器无感知计算的性能提出了越来越高的要求,服务器无感知计算的性能优化成为一个重要的研究课题.从4个方面对服务器无感知计算系统性能优化技术的相关研究工作进行梳理和综述,并介绍现有的系统实现.(1)介绍面向典型任务的优化技术,包括任务适配和针对特定任务的系统优化;(2)综述沙箱环境的优化工作,包括沙箱方案和冷启动优化技术,它们是决定函数运行速度的核心;(3)概括I/O和通信技术的优化,它们是服务器无感知计算应用程序的主要性能瓶颈;(4)简述相关的资源调度技术,包括面向平台和面向用户的调度策略,它们决定着系统的资源利用率和任务的执行效率.最后,总结当前服务器无感知计算性能优化技术所面临的问题和挑战,并展望未来可能的发展方向.

关键词：服务器无感知计算函数即服务云函数云计算性能优化

来源：评论

学校读者我要写书评

暂无评论

GT-4S:基于图Transformer的场景草图语义分割

引用

软件学报 2025年第3期36卷 1375-1389页

作者：张拯明郭燕马翠霞邓小明王宏安人机交互北京市重点实验室(中国科学院软件研究所) 北京100190 中国科学院大学计算机科学与技术学院北京100049

场景草图由多个前、背景物体组成,能够直观、概括地表达复杂的语义信息,在现实生活中有着广泛的实际应用,逐渐成为计算机视觉和人机交互领域的研究热点之一.作为场景草图语义理解的基础任务,场景草图语义分割的相关研究相对较少,现有的... 详细信息

场景草图由多个前、背景物体组成,能够直观、概括地表达复杂的语义信息,在现实生活中有着广泛的实际应用,逐渐成为计算机视觉和人机交互领域的研究热点之一.作为场景草图语义理解的基础任务,场景草图语义分割的相关研究相对较少,现有的方法多是对自然图像语义分割的方法进行改进,不能克服草图自身的稀疏性和抽象性等特点.针对以上问题,直接从草图笔画入手,提出一种图Transformer模型结合草图笔画的时空信息来解决自由手绘场景草图语义分割任务.首先将矢量场景草图构建成图结构,笔画表示为图的节点,笔画在时序和空间上的关联表示为图的边.然后通过边增强的Transformer模块捕获笔画的时空全局上下文信息.最后将编码后的时空特征进行多分类优化学习.在SFSD场景草图数据集上的实验结果表明,所提方法可以利用笔画时空信息对场景草图进行有效的语义分割,实现优秀的性能.

关键词：场景草图语义分割图 Transformer

来源：评论

学校读者我要写书评

暂无评论

HchMER:混合人机智能的手写数学表达式识别方法

引用

软件学报 2025年第2期36卷 915-938页

作者：康文惠黄进仝青山付强田丰戴国忠人机交互北京市重点实验室(中国科学院软件研究所) 北京100190 中国科学院大学计算机科学与技术学院北京100049

随着人工智能和端到端识别方法在手写数学表达式识别上的应用,数学表达式识别准确率有了明显的提高.然而,与公开数据集上的测试不同,实际应用中人的参与为识别算法引入了更多的不确定因素,如个性化的笔画信息、包含歧义的手写字符,以及... 详细信息

随着人工智能和端到端识别方法在手写数学表达式识别上的应用,数学表达式识别准确率有了明显的提高.然而,与公开数据集上的测试不同,实际应用中人的参与为识别算法引入了更多的不确定因素,如个性化的笔画信息、包含歧义的手写字符,以及不确定的公式结构等,影响了识别算法的性能.为此,提出了一种混合人机智能的手写数学表达式识别方法HchMER.该方法借助手写数学公式识别算法、知识库和用户反馈,增强机器对用户输入的数学表达式的理解,从而提升手写数学表达式的编辑速度和准确率.为了验证HchMER的有效性,将其分别与MyScript Math Recognition(MyScript)算法,以及一个成熟的商用产品“Microsoft Ink Equation”(InkEquation)进行了比较.实验结果表明,HchMER在准确率上较MyScript和InkEquation分别提高了23.2%和26.51%.在平均完成时间上,HchMER比MyScript增加了44.46%(9.6 s),但是比InkEquation降低了11.48%(4.05 s).同时,被试在问卷调查和半结构化访谈中对HchMER给予了肯定.

关键词：人机混合智能草图理解在线手写数学表达式识别用户界面

来源：评论

学校读者我要写书评

暂无评论

热声发动机整机核心部件模拟研究

引用

工程热物理学报 2025年第3期46卷 945-953页

作者：刘贤贤陈燕燕胡剑英罗二仓中国科学院理化技术研究所低温工程学重点实验室北京100190 中国科学院大学北京100049

热声热机是一类利用可压缩气体往复振荡来实现声能与热能之间相互转换的热机,核心部件由静态的高、低温换热器和回热器组成,结构简单。本文针对一台热声发动机的核心部件建立了三维局部模型,在该三维局部模型中,换热器采用管套管模型,... 详细信息

热声热机是一类利用可压缩气体往复振荡来实现声能与热能之间相互转换的热机,核心部件由静态的高、低温换热器和回热器组成,结构简单。本文针对一台热声发动机的核心部件建立了三维局部模型,在该三维局部模型中,换热器采用管套管模型,回热器采用多孔介质模型,其中多孔介质模型需要的惯性阻力系数和黏性阻力系数采用孔隙方法计算获得。但三维模型网格量大且计算耗时长,为了简化计算,本文根据该三维模型建立了与之等效的Fluent二维模型和Sage一维模型。通过对比三种模型的计算结果发现,CFD计算模型与Sage计算模型在对时均温差与时均热流密度分布的捕捉基本相似,数值相近。但在阻力特性计算方面,两者差异较大,这是因为Sage是一款一维模型软件,无法直接捕捉复杂流动变化带来的局部损失。但通过对比Fluent二维和三维模型的计算结果,发现二者在阻力特性方面的计算结果较为接近。因此,在工程计算中,为了简化计算和节省时间,可以采用等效拓扑的二维Fluent模型来替代三维模型。

关键词：热声热机回热器换热器计算流体力学

来源：评论

学校读者我要写书评

暂无评论

中国机场延误模式动态时空异质性分析

引用

地理学报 2025年第2期80卷 490-502页

作者：王中一张恒才王培晓於佳宁康永伟中国科学院地理科学与资源研究所资源与环境信息系统国家重点实验室北京100101 中国科学院大学资源与环境学院北京100049 ESRI(北京)软件研发中心北京100020

延误模式反映了机场之间空间交互关系与特征,已有研究大多聚焦于静态或单一机场延误模式探索,忽视了机场延误的复杂非线性动态变化特点。本文提出机场延误模式动态时空异质性分析框架,通过延误网络构建、Gi*统计、Mann-Kendall趋势检测... 详细信息

延误模式反映了机场之间空间交互关系与特征,已有研究大多聚焦于静态或单一机场延误模式探索,忽视了机场延误的复杂非线性动态变化特点。本文提出机场延误模式动态时空异质性分析框架,通过延误网络构建、Gi*统计、Mann-Kendall趋势检测、网络节点影响力测度构建PageRankCube模型,对中国247个机场2021年10月约35万条航班记录捕捉进港延误、离港延误、飞行延误3种延误影响力网络的时空异质性模式。研究发现:(1)机场延误影响力的共性时空模式呈现出“东强西弱”,“南强北弱”,高置信度冷热点多中心聚集,较低置信度冷点分散分布的特点;(2)京津、长三角、珠三角与成都等大中型国际机场形成连续、增强的高延误时空影响力;东北地区、中部西部地区的中小型机场时空上呈现持续较低的延误影响力;(3)相较于离港延误网络,进港延误网络在时空分布上展现了更为显著的异质性特征,飞行延误与进港延误两种网络之间的时空异质性表现出较高的相似性;(4)增强热点型机场不仅具有强大的延误影响力,且易成为引发或传导大面积延误的关键环节;持续冷点型机场呈现出离散边缘化的结构特征,展现出“小世界”的网络特性。本文克服了传统静态延误模式分析的局限性,实现延误模式的动态时空异质性捕捉,为航空管控策略制定提供技术支撑。

关键词：机场延误时序延误网络 PageRank 时空异质性延误模式中国

来源：评论

学校读者我要写书评

暂无评论

面向感算控智一体化融合的工业互联网新型PLC安全增强:趋势与展望

引用

计算机学报 2025年第3期48卷 738-762页

作者：王雅哲任磊冯登国王文杰张一凡王斐孔宇升吕金虎中关村实验室北京 100094 中关村实验室北京 100094 北京航空航天大学自动化科学与电气工程学院北京 100191 中关村实验室北京 100094 中国科学院软件研究所北京 100190

可编程逻辑控制器(PLC)作为工业控制领域的关键基础设施,由于其设计初期缺乏内生安全架构,多年来一直是针对工业互联网及控制系统展开攻击的主要目标.随着工业4.0及智能制造技术的迅猛发展,传统PLC正在向智能可编程工业控制器(IPIC)演进... 详细信息

可编程逻辑控制器(PLC)作为工业控制领域的关键基础设施,由于其设计初期缺乏内生安全架构,多年来一直是针对工业互联网及控制系统展开攻击的主要目标.随着工业4.0及智能制造技术的迅猛发展,传统PLC正在向智能可编程工业控制器(IPIC)演进,集成了感知采集、数据计算、实时控制、智能决策和网络通信等功能,以满足自动化、网络化和智能化的工业互联网技术需求.然而,信息技术(IT)与操作技术(OT)的融合以及异构功能载荷的一体化集成进一步加剧了 IPIC面临的安全挑战.本文旨在对工业互联网新型PLC(即IPIC)的安全增强展开研究,尤其揭示了嵌入式虚拟化隔离技术在构建IPIC内生安全架构中的应用前景和未来发展方向.文章首先系统性分析了 PLC所面临的安全威胁及现有的安全防护技术;随后重点介绍了具备实时性特征的嵌入式虚拟化隔离技术,并提出了从内生安全角度重新构建IPIC基础安全体系架构的解决思路;接着延承虚拟化隔离思路,通过异构安全载荷的虚拟化集成为IPIC设计了一种异常检测与响应的安全增强架构,并讨论了该架构在实际工业系统部署中面临的技术挑战;最后对IPIC安全增强的未来发展趋势进行了前瞻性展望.

关键词： PLC IPIC 嵌入式虚拟化工业互联网异构载荷融合部署异常检测安全增强

来源：评论

学校读者我要写书评

暂无评论

eXTP聚焦镜电子偏转器仿真分析与设计

引用

物理学报 2025年第5期74卷 9-19页

作者：郑人洲强鹏飞杨彦佶闫永清李悦盛立志陈勇中国科学院西安光学精密机械研究所瞬态光学与光子技术国家重点实验室西安710119 中国科学院高能物理研究所粒子天体物理重点实验室北京100049

X射线聚焦望远镜是进行空间X射线观测的核心设备,为保证其观测结果的准确性,需要对进入聚焦镜的低能电子进行有效偏转,达到降低本底噪声的目的.本文针对增强型X射线时变与偏振空间天文台(enhanced X-ray timing and polarimetry mission... 详细信息

X射线聚焦望远镜是进行空间X射线观测的核心设备,为保证其观测结果的准确性,需要对进入聚焦镜的低能电子进行有效偏转,达到降低本底噪声的目的.本文针对增强型X射线时变与偏振空间天文台(enhanced X-ray timing and polarimetry mission,eXTP)聚焦镜电子偏转器研制工作,满足聚焦镜光学系统对于低能电子的偏转需求,兼顾轻量化、电子偏转能力以及电磁兼容性能等问题,采用有限元分析软件COMSOL Multiphysics建立了电子偏转器及聚焦镜镜片的全物理仿真模型,分析了磁感应强度分布、电子偏转轨迹以及磁场对聚焦镜镜片的影响,完成了电子偏转器电磁参数设计.模拟结果表明,电子偏转器周围空间中磁感应强度沿半径方向减小,两根辐条正中间磁感应强度最大值可达0.027 T.在磁感应强度平面及纵向分布中,当半径大于280 mm或纵向距离大于60 mm时,磁感应强度小于5×10^(–5)T(0.5 Gs),满足电磁兼容性能设计要求.当入射角≤10°时,电子偏转效率随电子能量和入射角增大而减小,50 keV能量以下电子偏转效率可达100%,满足电子偏转设计要求.聚焦镜镜片底端距离电子偏转器130 mm时,聚焦镜镜片在磁场的作用下,应力大小仅为10^(–3)N/m^(2)量级,形变大小仅为10^(–5)nm量级,表明磁场不会对聚焦镜的光学性能产生影响.这些结果为eXTP聚焦镜电子偏转器的研制工作提供了重要参考.

关键词：聚焦镜电子偏转器磁场偏转效率形变

来源：评论

学校读者我要写书评

暂无评论

面向私有问答系统的检索增强式大模型稳定输出方法

引用

计算机科学与探索 2025年第1期19卷 132-140页

作者：李铂鑫小米人工智能实验室北京100085 中国科学院软件研究所中文信息处理实验室北京100190

基于大模型的问答系统受大模型语义不一致性问题的影响,会出现“输出结果不稳定”的现象,从而制约着问答系统的安全性、鲁棒性和可信度,严重影响了用户体验。针对上述问题,提出一种面向私有问答系统的检索增强式大模型稳定输出方法。该... 详细信息

基于大模型的问答系统受大模型语义不一致性问题的影响,会出现“输出结果不稳定”的现象,从而制约着问答系统的安全性、鲁棒性和可信度,严重影响了用户体验。针对上述问题,提出一种面向私有问答系统的检索增强式大模型稳定输出方法。该方法通过优化提示词,让大模型首先输出num_k个用户查询的同义查询,然后输出答案;目的是在大模型输出答案时,可以参考已经输出的num_k个同义查询,从而使大模型的输出结果更加稳定。针对开源大模型因指令理解能力弱而出现的“同义查询生成数目不稳定、输出格式无法解析”等问题,提出通过数据蒸馏的方式,利用闭源大模型自动构建了一个开放域上的检索增强式指令数据集,在该指令集上对开源大模型进行微调。构建了一个私有问答场景下的评估集以验证该方法的有效性。在上述评估集上的实验结果表明,该方法在一致性指标和效果指标上,均显著优于基线方法。与基线方法相比,该方法的一致性指标ROUGE-1、ROUGE-2、ROUGE-L和BLEU分别提升了18.9、30.1、24.5和30.6个百分点,效果指标正确率提升了17.4个百分点。

关键词：大模型检索增强生成大模型稳定性问答系统

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：