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

计算机科学与探索 2025年第2期19卷 513-527页

作者：印婵祝义王金永陈小颖郝国生江苏师范大学计算机科学与技术学院江苏徐州221116 徐州工程学院信息工程学院江苏徐州221018 南京大学计算机科学与技术系南京210023

深度强化学习是目前信息物理融合系统(CPS)决策中常用的一种方法。然而,当面对未知环境和复杂任务时,基于黑盒的深度强化学习方法在系统的安全性和奖励函数设置的可解释性方面存在不足。针对上述问题,提出了一种形式化时空规则验证制导... 详细信息

深度强化学习是目前信息物理融合系统(CPS)决策中常用的一种方法。然而,当面对未知环境和复杂任务时,基于黑盒的深度强化学习方法在系统的安全性和奖励函数设置的可解释性方面存在不足。针对上述问题,提出了一种形式化时空规则验证制导的安全强化学习方法。提出了时空规则通信顺序进程(CSR-TCSP)对系统进行建模,并结合时空规约语言(STSL)和模型检测工具FDR对进程代数模型进行验证。利用系统环境模型形式化奖励状态机的结构,提出了时空规则奖励状态机(STR-RM)以指导强化学习中奖励函数的设置。此外,为了监测系统的运行并确保输出决策的安全性,设计了一个监控器及安全动作决策算法以获得更安全的状态行为策略。通过一个自动驾驶系统中的避障与变道超车实例,证明所提方法的有效性。

关键词：信息物理融合系统形式化方法进程代数安全强化学习自动驾驶

来源：评论

学校读者我要写书评

暂无评论

基于局部流程结构优化的归纳式模型挖掘方法

引用

计算机集成制造系统 2025年

作者：焉佳馨刘聪苏轩闻立杰曹健曾庆田山东理工大学计算机科学与技术学院山东科技大学计算机科学与工程学院清华大学软件学院上海交通大学计算机科学与技术系

模型挖掘旨在从给定的事件日志中发现能够描述流程的最佳模型。已有的模型挖掘方法大多难以在有限时间内得到一个健全的流程模型。归纳式挖掘方法虽然可以保证在绝大多数情况下都能挖掘出健全的流程模型，但在处理复杂活动关系时常常存... 详细信息

模型挖掘旨在从给定的事件日志中发现能够描述流程的最佳模型。已有的模型挖掘方法大多难以在有限时间内得到一个健全的流程模型。归纳式挖掘方法虽然可以保证在绝大多数情况下都能挖掘出健全的流程模型，但在处理复杂活动关系时常常存在局限性，导致模型中可能出现局部不精确结构而降低模型质量，如并发关系中的选择或循环关系往往是该方法对复杂活动关系处理不当的结果。针对上述问题，提出了一种基于局部流程结构优化的归纳式模型挖掘方法。具体而言，首先识别归纳式挖掘方法所得初始流程树中不精确结构并提取不精确结构对应的子日志，然后在提取的子日志上使用基于频次的归纳式挖掘方法对不精确结构进行迭代优化，最后使用优化后的新子流程树替换初始流程树中不精确结构，构造多棵新流程树，将所有流程树转换为Petri网以评估模型质量，最终得到一个最佳Petri网。所提方法已在开源流程挖掘平台ProM中实现。基于6组公开的真实事件日志，对本文方法与已有模型挖掘方法进行对比实验。实验结果表明，本文方法相较于已有方法能够挖掘出质量更高，复杂度更低且健全性能够得到保证的模型，可以为后续的流程分析和改进提供更加有力的支持。

关键词：模型挖掘归纳式挖掘局部流程优化不精确结构识别流程树

来源：评论

学校读者我要写书评

暂无评论

印刷电路板缺陷持续检测与定位方法研究

引用

智能系统学报 2025年第1期20卷 219-229页

作者：杨奡飞续欣莹谢刚刘华平太原理工大学电气与动力工程学院山西太原030024 清华大学计算机科学与技术系北京100084

针对目前缺陷检测与定位方法只能对特定类型的缺陷进行检测,而不能连续地学习检测不同类型缺陷的问题,提出了一种基于反向蒸馏模型的缺陷检测与定位方法。该方法以反向蒸馏模型为基础模型,对模型中间层输出的特征图以及一分类嵌入表示... 详细信息

针对目前缺陷检测与定位方法只能对特定类型的缺陷进行检测,而不能连续地学习检测不同类型缺陷的问题,提出了一种基于反向蒸馏模型的缺陷检测与定位方法。该方法以反向蒸馏模型为基础模型,对模型中间层输出的特征图以及一分类嵌入表示进行池化蒸馏,使得模型能够在连续的任务序列上不断地学习新的检测任务,从而达到持续学习的能力。在4个连续的印刷电路板(printed circuit board,PCB)缺陷检测与定位任务上进行实验,实验结果表明该方法的性能优于对比方法,能够满足工业生产场景的应用需求,在抑制对旧任务样本的检测能力的遗忘的同时,能够保持学习检测新任务的能力。

关键词：缺陷检测缺陷定位持续学习深度学习无监督学习反向蒸馏一分类嵌入池化蒸馏印刷电路板

来源：评论

学校读者我要写书评

暂无评论

Self-Guide:一种基于自我规划的大语言模型推理增强方法

引用

中文信息学报 2025年第04期39卷 55-66页

作者：刘艺彬刘正皓闫宇坤于是王硕杨麟儿陈慧敏谷峪于戈东北大学计算机科学与工程学院清华大学计算机科学与技术系北京语言大学信息科学学院清华大学新闻与传播学院

尽管大语言模型在自然语言处理任务中取得显著进展，但其在复杂问题推理等领域还面临着认知负荷问题，即大语言模型在推理过程中需要记忆并处理大量信息。因此，如何有效地减少大语言模型推理过程中的认知负荷，缓解推理过程中可能出现... 详细信息

尽管大语言模型在自然语言处理任务中取得显著进展，但其在复杂问题推理等领域还面临着认知负荷问题，即大语言模型在推理过程中需要记忆并处理大量信息。因此，如何有效地减少大语言模型推理过程中的认知负荷，缓解推理过程中可能出现的认知过载，是一个亟待解决的问题。对此该文提出了Self-Guide方法，用于增强语言模型的推理能力。该方法通过指引大语言模型生成常识知识和推理指导，让大语言模型基于自我规划来增强其推理能力，并通过与推理链结合的方式对模型的推理过程进行校准。与现有方法不同的是，该文在不对大语言模型进行微调或使用外部工具的情况下，显著提升了大语言模型的推理性能。实验结果表明，Self-Guide方法在四种常见推理任务上性能显著优于基线方法，同时相比传统的推理链模型，Self-Guide方法在推理能力较弱的模型上也具有良好的泛化性能。通过结合大语言模型的自我规划和推理能力，Self-Guide方法为提升语言模型的推理能力提供了一种新的有效途径。

关键词：大语言模型自我引导推理增强认知负荷

来源：评论

学校读者我要写书评

暂无评论

面向分布式超导量子计算架构的量子线路映射

引用

软件学报 2025年第05期 2381-2400页

作者：朱鹏程卫丽华冯世光周祥臻郑盛根管致锦宿迁学院信息工程学院南通大学信息科学技术学院清华大学计算机科学与技术系鹏城实验室

近年来,超导量子互连技术的研究取得了重要进展,这为构建分布式超导量子计算架构提供了有效途径.分布式超导架构在网络拓扑、量子比特连通性、以及量子态传输协议等方面对量子线路的执行施加了严格约束.为在分布式架构上调度和执行量子... 详细信息

近年来,超导量子互连技术的研究取得了重要进展,这为构建分布式超导量子计算架构提供了有效途径.分布式超导架构在网络拓扑、量子比特连通性、以及量子态传输协议等方面对量子线路的执行施加了严格约束.为在分布式架构上调度和执行量子线路,需要通过专门的映射工序对量子线路进行适配底层架构的变换,并将变换后的线路交由网络中多个QPU (quantum processing unit)协同运行.分布式量子线路映射需向原始线路插入辅助的量子态移动操作,这些操作(尤其是QPU间量子态移动操作)具有较高的错误率.因此,减少映射所需的量子态移动操作数对于保证分布式计算的成功率至关重要.基于超导量子互连技术和超导QPU的技术特征构建一种抽象的分布式量子计算模型,并基于该抽象模型提出一种分布式量子线路映射方法,该方法由量子比特分布式映射和量子态路由两个核心模块组成,前者以量子态路由开销为代价函数,通过局部寻优和模拟退火相结合的策略生成近最优的初始映射;后者根据量子门执行的不同情形构建多个启发式量子态路由策略,并通过灵活应用这些策略最小化插入的量子态移动操作数.所构建的分布式抽象模型屏蔽了底层架构中和量子线路映射无关的物理细节,这使得基于该模型的映射方法可适用于一类分布式超导架构而非某个特定架构.另外,所提方法可作为辅助工具参与分布式网络拓扑结构的设计和评价.实验结果表明,所提算法可以有效降低映射所需的QPU内量子态移动操作(即SWAP门)数和QPU间量子态移动操作(即ST门)数.相较已有算法,在所有基准线路上平均减少69.69%的SWAP门和85.88%的ST门,且时间开销和已有算法接近.

关键词：超导量子计算量子网络分布式计算量子处理器量子线路映射

来源：评论

学校读者我要写书评

暂无评论

面向深度学习的图像数据增强综述

引用

软件学报 2025年第3期36卷 1390-1412页

作者：杨锁荣杨洪朝申富饶赵健计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023 南京大学人工智能学院江苏南京210023 南京大学电子科学与工程学院江苏南京210023

深度学习已经在许多计算机视觉任务中取得了显著的成果.然而,深度神经网络通常需要大量的训练数据以避免过拟合,但实际应用中标记数据可能非常有限.因此,数据增强已成为提高训练数据充分性和多样性的有效方法,也是深度学习模型成功应用... 详细信息

深度学习已经在许多计算机视觉任务中取得了显著的成果.然而,深度神经网络通常需要大量的训练数据以避免过拟合,但实际应用中标记数据可能非常有限.因此,数据增强已成为提高训练数据充分性和多样性的有效方法,也是深度学习模型成功应用于图像数据的必要环节.系统地回顾不同的图像数据增强方法,并提出一个新的分类方法,为研究图像数据增强提供了新的视角.从不同的类别出发介绍各类数据增强方法的优势和局限性,并阐述各类方法的解决思路和应用价值.此外,还介绍语义分割、图像分类和目标检测这3种典型计算机视觉任务中常用的公共数据集和性能评价指标,并在这3个任务上对数据增强方法进行实验对比分析.最后,讨论当前数据增强所面临的挑战和未来的发展趋势.

关键词：深度学习图像数据增强图像识别泛化性能计算机视觉

来源：评论

学校读者我要写书评

暂无评论

基于视觉属性的多模态可解释图像分类方法

引用

自动化学报 2025年第2期51卷 445-456页

作者：王辉黄宇廷夏玉婷范自柱罗国亮杨辉华东交通大学信息与软件工程学院南昌330013 华东交通大学轨道交通基础设施性能监测与保障国家重点实验室南昌330013 浙江大学软件学院宁波315048 上海电力大学计算机科学与技术学院上海201306

基于深度神经网络(Deep neutral networks,DNN)的分类方法因缺乏可解释性,导致在金融、医疗、法律等关键领域难以获得完全信任,极大限制了其应用.现有多数研究主要关注单模态数据的可解释性,多模态数据的可解释性方面仍存在挑战.为解决... 详细信息

基于深度神经网络(Deep neutral networks,DNN)的分类方法因缺乏可解释性,导致在金融、医疗、法律等关键领域难以获得完全信任,极大限制了其应用.现有多数研究主要关注单模态数据的可解释性,多模态数据的可解释性方面仍存在挑战.为解决这一问题,提出一种基于视觉属性的多模态可解释图像分类方法,该方法将可见光和深度图等不同视觉模态提取的属性融入模型的训练过程,不仅能通过视觉属性和决策树对已有的神经网络黑盒模型进行解释,而且能在训练过程中进一步提升模型解释信息的能力.引入可解释性通常会造成模型精度的降低,该方法在保持模型具有良好可解释性的同时,仍具有较高的分类精度,在NYUDv2、SUN RGB-D和RGB-NIR三个数据集上,相比于单模态可解释方法,该模型准确率明显提升,并达到与多模态不可解释模型相媲美的性能.

关键词：可解释性视觉属性多模态融合决策树图像分类

来源：评论

学校读者我要写书评

暂无评论

时空差异增强与自适应特征融合的轻量级遥感影像变化检测网络

引用

测绘学报 2025年第1期54卷 136-153页

作者：龚良雄李星华程远明赵兴友谢仁平王红根南昌市测绘勘察研究院有限公司江西南昌330038 武汉大学遥感信息工程学院湖北武汉430079 南昌市城市规划设计研究总院集团有限公司江西南昌330038 东莞理工学院计算机科学与技术学院广东东莞523808

针对现有遥感影像变化检测方法存在多时相差异特征利用不足、多尺度特征融合不足等问题,提出一种时空差异增强与自适应特征融合的轻量级遥感影像变化检测网络。本文设计了轻量级时空差异增强模块,采用语义变化感知和空间变化感知的双分... 详细信息

针对现有遥感影像变化检测方法存在多时相差异特征利用不足、多尺度特征融合不足等问题,提出一种时空差异增强与自适应特征融合的轻量级遥感影像变化检测网络。本文设计了轻量级时空差异增强模块,采用语义变化感知和空间变化感知的双分支结构,组合利用语义自适应增强机制和混合注意力机制,增强双时相特征图的空谱差异。不同尺度特征图通过边缘细化残差模块进一步优化变化区域边缘。还改进了双向特征融合金字塔结构,采用可学习的权重参数来量化不同尺度特征的重要性,实现多尺度特征的有效融合。选取10种主流的变化检测方法,在WHU-CD、LEVIR-CD、SYSU-CD和SECOND数据集上进行模型对比试验,结果表明:SEAFNet相较于多种主流的变化检测方法,在定性分析、定量分析、网络复杂度与准确度平衡方面均取得了比较优异的表现。

关键词：遥感影像时空差异增强注意力机制自适应特征融合变化检测

来源：评论

学校读者我要写书评

暂无评论

四轴飞行器的自抗扰姿态控制研究

引用

机械设计与制造 2025年第1期407卷 331-334,339页

作者：赵志伟尤小庆王蕾葛超华北理工大学电气工程学院河北唐山063210 唐山学院计算机科学与技术系河北唐山063010 唐山学院智能与信息工程学院河北唐山063010

针对欠驱动四轴飞行器控制系统在轨迹跟踪过程中存在参数不确定和易受外部干扰等问题,这里采用一种PID控制、非线性自抗扰控制(NLADRC)和PD控制技术相结合的控制方式对其位置和姿态进行控制,以偏航通道为例实现了扩张状态观测器(ESO)对... 详细信息

针对欠驱动四轴飞行器控制系统在轨迹跟踪过程中存在参数不确定和易受外部干扰等问题,这里采用一种PID控制、非线性自抗扰控制(NLADRC)和PD控制技术相结合的控制方式对其位置和姿态进行控制,以偏航通道为例实现了扩张状态观测器(ESO)对内扰和外扰的估计及补偿。首先,根据四轴飞行器模型特点,实现了适用于4通道的参数整定方案,大大简化了参数整定难度;然后,设计了内外双环路控制器,其外环由PID控制,内环由ADRC和PD控制;最后,通过与串级PID控制在轨迹跟踪及抗扰性、鲁棒性方面进行仿真对比分析,结果表明该控制方法能够满足四轴飞行器在稳定度高和姿态调节快速性等方面的要求,自抗扰控制器能够对扰动进行很好地估计和补偿。

关键词：四轴飞行器自抗扰参数整定估计补偿姿态控制

来源：评论

学校读者我要写书评

暂无评论

基于动态支持向量提取的复杂装备实时安全评估

引用

中国科学:信息科学 2025年第1期55卷 156-171页

作者：焦博韬郭一楠何潇蒲佳洋巩敦卫中国石油大学(华东)计算机科学与技术学院青岛266580 中国矿业大学(北京)机械与电气工程学院北京100083 清华大学自动化系北京100084 青岛科技大学自动化与电子工程学院青岛266061

在非平稳环境下,对复杂装备进行实时安全评估有助于及时发现潜在危险.其中,在线监测数据的动态变化是最主要的挑战之一.尽管一些在线安全评估方法可以使用监测数据进行动态的调整,但它们通常假设监测数据标签是可用的.然而,在大部分现... 详细信息

在非平稳环境下,对复杂装备进行实时安全评估有助于及时发现潜在危险.其中,在线监测数据的动态变化是最主要的挑战之一.尽管一些在线安全评估方法可以使用监测数据进行动态的调整,但它们通常假设监测数据标签是可用的.然而,在大部分现实场景中,仅有部分提前收集的初始数据或历史数据是有标记的,而实时监测数据则通常是未标记的,这引发了被称为极端验证延迟的挑战.为解决该问题,本文提出了一种基于动态支持向量提取的实时安全评估方法.首先,基于支持向量域描述,在核空间构建包含不同类监测数据的超球面,捕获数据的几何结构;其次,通过对超球的更新,在未标记的监测数据中传播标签信息,从而适应监测数据的分布变化;进一步,采用支持向量动态加权策略,消除监测数据类别不平衡对模型性能的影响.面向蛟龙号深海载人潜水器监测数据的实验结果验证了所提方法的有效性.

关键词：实时安全评估非平稳环境极端验证延迟类别不平衡数据流

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：