基于深度强化学习的自适应大邻域搜索算法在成像卫星调度问题中的应用

  

卫星调度问题(Satellite Scheduling Problem, SSP)是典型的NP-hard组合优化问题,其目标是在满足一系列复杂物理和运行约束的条件下,最大化观测收益或完成任务数量。自适应大邻域搜索(Adaptive Large Neighborhood Searc… …   相似文献

魏普远  何磊 《电子与信息学报》2025,47(12):5005-5015

基于主特征向量提取与正交投影的稳健自适应波束成形算法

下载全文  

该文针对传统自适应波束成形算法对信号到达角(DOA)失配敏感的问题,提出一种能有效抑制功率压制型干扰的稳健自适应波束成形算法。首先分析了DOA失配情况下的接收端波束成形输出信干噪比,基于正交投影理论提出一种能实现方向图精确控制的理想波束成形器。然后,通过干扰信号到达角扇区的功率谱… …   相似文献

刘毅远  张晓凯  徐煜华  郑学强  杨炜伟 《电子与信息学报》2025,47(12):4926-4936

基于显式与隐式语义增强的查询图排序模型

  

基于语义解析的方法作为知识图谱问答任务(KBQA)的一个重要研究方向,其需要一个准确的查询图排序方法。在查询图排序阶段通常使用问句和查询图对应的逻辑表达式计算二者的语义相似度,然后选择与问句最相似的逻辑表达式。逻辑表达式与自然语言问句存在着一定差异,同时逻辑表达式之间也容易出现结… …   相似文献

《中文信息学报》2025,39(12):19-27

基于时序逻辑的需求文本隐含语义解析与推理

下载全文  

时序逻辑已被广泛应用于形式化验证和机器人控制等领域,但是对于非专家用户来说难以掌握使用.因此,采用自动化手段从自然语言文本中提取时序逻辑公式,是至关重要的.然而,现有工作受限于需求样本稀疏和自然语言语义模糊等因素,导致其难以准确地识别自然语言文本中隐含的时序语义,进而造成最终得到… …   相似文献

李春奕  马智  武强  王小兵  赵亮 《软件学报》2025,36(12):5438-5455

基于嵌入模型的知识图谱准确性评估

下载全文  

知识图谱构造常面临三元组错误或缺失等质量问题,准确性评估是选择和优化知识图谱的基础,对提升下游应用的可信性具有重要意义.引入嵌入模型,降低对人工标注数据的依赖性,提升大规模数据处理效率.将三元组正误判定转化为无标注的自动化阈值选择问题,提出了3种阈值选择策略,增强评估的鲁棒性.提… …   相似文献

张明韬  杨国利  白晓颖 《软件学报》2025,36(12):5674-5694

面向无人机航拍图像的多尺度目标识别

下载全文  

针对无人机航拍图像目标尺度变化多样、小尺度目标识别困难等问题, 本文提出一种多尺度目标识别算法MON-YOLOv8n. 首先, 基于正交通道注意力网络OrthoNets设计C2f_OCA模块, 通过引入注意力机制和正交通道的设计, 改进卷积神经网络多尺度特征提取上的表现, 增强模型对复杂数据的多维度理解. 其次, 引入多尺度边缘增强模块(MEEM)和多阶门控聚合模块(MOGA), 强化物体的边缘细节, 有效减少特征中的冗余信息. 然后, 在骨干和颈部网络中分别引入SPDConv和RepViTBlock模块, 实现模型参数量的降低并提高小尺度目标的检测能力. 最后, 更改目标检测层, 使用NWDLoss损失函数, 进一步增强模型对小目标的检测能力, 提高模型鲁棒性. 实验结果表明, 在HIT-UAV、DroneVehicle和DOTAv1这3个公开数据集上, MON-YOLOv8n模型的mAP50分别达到95.2%、85.2%和84.1%, 相较于YOLOv8n基线模型分别提高了7.2%、4.8%和5.0%.… …   相似文献

李重志  魏祥麟  胡悦  王晓波  于龙  刘恒  范建华 《计算机系统应用》2025,34(12):39-54

改进侏儒猫鼬算法在降低阻塞流水车间分批调度问题中碳足迹的应用

下载全文  

随着绿色环保意识和可持续发展理念的深入人心,考虑碳足迹的阻塞流水车间分批调度问题作为一种极具应用价值的调度问题受到了广泛关注.为此本文建立了最小化makespan、阻塞时间和碳足迹多目标优化模型.首先利用AFRB5算法对该问题求解初始优质解;然后对侏儒猫鼬算法进行了创新性的改进,… …   相似文献

《小型微型计算机系统》2025,46(12):2856-2865

面向大语言模型的藏语指令数据集构建

下载全文  

  相似文献

《中文信息学报》2025,38(12):83-96

MS-SwinCE: 融合多尺度Swin Transformer与对比特征增强的遥感图像变化检测

下载全文  

遥感图像变化检测在城市扩张与灾害监测等领域中具有重要意义, 然而, 现有方法在特征提取能力、抗伪变化干扰以及多尺度融合方面仍存在不足之处. 本文提出一种融合多尺度Swin Transformer、对比特征增强模块(contrastive feature enhancement module, CFEM)与双向特征金字塔网络(bi-directional feature pyramid network, BiFPN)的变化检测模型MS-SwinCE. 该模型利用局部窗口和移位机制增强长程依赖建模能力, CFEM精准提取变化差异并抑制噪声, BiFPN实现多尺度语义信息的高效融合. 实验结果表明, MS-SwinCE在LEVIR-CD数据集上, 相较于ChangeFormer, IoU提升了1.18%, F1分数提升了0.70%, Precision提升了0.32%, Recall提升了1.06%; 在WHU-CD数据集上, 相较于BIT, IoU提升了1.84%, F1分数提升了1.06%, Precision提升了0.47%, Recall提升了1.66%. 此外, 在保持较高精度的同时, 模型参数量为31.66M, 明显低于精度相近的ChangeFormer (41.03M), 在精度与效率间实现了良好权衡. 消融实验进一步验证了各模块的有效性与协同增益.… …   相似文献

朱永进  李熹  李永胜  苏湘粤 《计算机系统应用》2025,34(12):67-74

基于同态映射的密文计算完整性验证方法

下载全文  

云计算推动了外包计算发展,使得客户端能将数据存储并委托给云服务器进行计算,但会引发隐私泄露与计算结果错误等隐患.现方案用同态加密保护隐私、可验证计算验证结果,但同时使用两者会出现计算与验证空间不适配及验证低效等问题.针对上述问题,本文提出一种基于同态映射的密文计算完整性验证方法—… …   相似文献

《小型微型计算机系统》2025,46(12):2982-2993