检索结果-南通市图书馆

基于多模态可见光和红外图像融合的船舶检测方法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

计算机工程 2025年

作者：于梦源刘向阳河海大学数学学院

针对单一模态图像在全天候的船舶检测中易受光照、天气等环境影响，导致船舶检测精度低、漏检率高等问题，提出了一种融合可见光与红外图像信息的船舶检测方法VIF-RTDETR。该方法充分利用可见光图像丰富的细节和颜色信息以及红外图像在... 详细信息

针对单一模态图像在全天候的船舶检测中易受光照、天气等环境影响，导致船舶检测精度低、漏检率高等问题，提出了一种融合可见光与红外图像信息的船舶检测方法VIF-RTDETR。该方法充分利用可见光图像丰富的细节和颜色信息以及红外图像在低光照环境下的稳定表现，构建了四通道输入模型；通过设计可见光与红外图像信息的融合模块VIF，实现了不同模态信息的互补融合，使得在检测网络中更加合理利用两种模态的信息；在主干Backbone特征提取网络中结合通道注意力，通过为通道动态分配不同的权重，以增强通道的特征表达能力来进一步优化特征提取能力；此外，为进一步提升船舶检测中船舶小目标的检测性能，设计了一种加权的边界框损失函数，使模型能够有效地关注不同尺寸目标的特征表达，提高模型在不同目标尺寸下的检测精度。实验结果表明，在船舶可见光和红外数据集上，该模型的检测精度AP0.5:0.95、AP0.5分别达到了78.3%、98.5%，相对于单一模态的可见光和红外模型分别提升了4.7、9.2个百分点；召回率AR0.5:0.95达到了85.2%，相对于单一模态模型分别提升了3.1、7.3个百分点；显著提高了船舶的检测精度和降低了漏检情况。

关键词：船舶检测可见光和红外图像全天候检测双模态融合注意力机制

基于多时相-ChangeFormer的遥感图像建筑物变化检测方法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

计算机工程 2025年

作者：姜有泽刘向阳河海大学数学学院

针对相同地理空间不同时相高分辨率遥感图像之间季节性、气候和光照等干扰因素，提出了基于多时相-ChangeFormer的遥感图像建筑物变化检测(CD)方法. 该方法使用多个不同时相的遥感图像，将最新时相遥感图像与变化前的多个遥感图像在特... 详细信息

针对相同地理空间不同时相高分辨率遥感图像之间季节性、气候和光照等干扰因素，提出了基于多时相-ChangeFormer的遥感图像建筑物变化检测(CD)方法. 该方法使用多个不同时相的遥感图像，将最新时相遥感图像与变化前的多个遥感图像在特征差异提取上进行不同尺度下的融合，分别关注图像的综合语义特征，以及图像之间语义信息的细节. 该方法有助于减少季节、光照等因素发生变化时引起的误检；同时考虑变化前多个不同时相遥感图像，将其特征差异融合并引入损失函数作为正则化项，进一步消除非建筑变化以及建筑物非变化区域光照阴影带来的干扰，提高模型的泛化能力. 该研究构建了从农业土地耕地到建筑用地变化的三时相遥感图像数据集，实验结果表明：相较于目前最优的BIT方法，多时相-ChangeFormer方法在F1、IoU、Precision和Recall指标上分别提升了9.04%、9.87%、15.27%、3.4%，显著提高了检测精度，在细节信息处理方面明显优于经典的变化检测方法.

关键词：多时相干扰因素变化检测特征差异不同尺度融合 ChangeFormer 正则化

基于三层规划的初始水权分配与污水处理定价研究

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

运筹学学报(中英文) 2025年

作者：吕一兵谭桂红蒋建林长江大学信息与数学学院南京航空航天大学数学学院

根据水市场和整个用水过程中,水资源管理部门、用水者和污水治理者之间存在的层次关系,以初始水权分配量和水权交易价格为上层决策变量,可分配总水量所产生的收益最大为上层目标;以污水治理价格为中层决策变量,污水治理者治污收益最大... 详细信息

根据水市场和整个用水过程中,水资源管理部门、用水者和污水治理者之间存在的层次关系,以初始水权分配量和水权交易价格为上层决策变量,可分配总水量所产生的收益最大为上层目标;以污水治理价格为中层决策变量,污水治理者治污收益最大为中层目标;以直接取水量为下层决策变量,用水者直接取水以及在水市场进行水权交易产生的收益最大为下层目标,构建了区域水资源优化配置的三层规划模型,同时给出了求解方法。最后采用相关算例验证了所建模型的可行性和合理性。

关键词：水资源水权水市场三层规划

球外域上含梯度项算子的Dirichlet特征值问题

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

中国科学:数学 2025年

作者：程敏方飞谭忠北京工商大学数学与统计学院厦门大学数学科学学院

本文研究了在球外区域上带有梯度项算子L的Dirichlet特征值问题,证明了算子L第一特征值的存在性、简单性和孤立性,并建立了特征值与半径R之间的递增关系,进一步讨论了特征函数的有界性.

关键词：二阶椭圆方程特征值问题变分法

具有双重试轨道排队系统的等待时间平稳分布的渐近分析

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

系统科学与数学 2025年

作者：刘琦宋旸南京航空航天大学数学学院

本文考虑经典重试策略下具有两类顾客及两个重试轨道的单服务台排队系统,两类顾客的到达速率、服务速率以及重试速率均不相同.鉴于该模型中两类顾客等待时间的联合平稳分布并不易求,本文假设不同轨道中的任一顾客的重试速率分别以线性... 详细信息

本文考虑经典重试策略下具有两类顾客及两个重试轨道的单服务台排队系统,两类顾客的到达速率、服务速率以及重试速率均不相同.鉴于该模型中两类顾客等待时间的联合平稳分布并不易求,本文假设不同轨道中的任一顾客的重试速率分别以线性速率收敛到零,在此条件下求解等待时间的联合渐近分布.基于两个轨道队长平稳分布的一阶渐近结果,首先刻画出两类顾客重试次数的联合渐近分布为二维几何分布,之后得到顾客等待时间的联合渐近分布为二维指数分布.

关键词：重试排队等待时间渐近分析重试次数轨道队长

基于高阶控制障碍函数的多固定翼无人机鲁棒避障安全编队跟踪控制

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

机器人 2025年

作者：付俊杰林潇坤温广辉东南大学数学学院系统科学系

在多固定翼无人机编队跟踪控制问题中，系统地处理输入饱和约束、外界输入扰动以及无人机间避碰安全约束存在着挑战。针对这些挑战，本文提出了一种基于高阶控制障碍函数方法的分布式鲁棒避障协同编队控制律。首先，在不考虑避障约束的... 详细信息

在多固定翼无人机编队跟踪控制问题中，系统地处理输入饱和约束、外界输入扰动以及无人机间避碰安全约束存在着挑战。针对这些挑战，本文提出了一种基于高阶控制障碍函数方法的分布式鲁棒避障协同编队控制律。首先，在不考虑避障约束的情况下，设计了一种满足输入和速度约束的多固定翼无人机标称鲁棒编队跟踪控制律。该标称控制律基于滑模控制方法，能够在有界输入扰动影响下实现精准的编队跟踪控制。然后，针对无人机之间的避障要求以及无人机与障碍物之间的避障要求，分别设计了考虑输入约束的改进高阶控制障碍函数，并基于不变集理论，推导了存在外界输入扰动情况下的线性控制输入避障约束条件。最后，基于标称编队跟踪控制律和鲁棒控制输入避障约束条件，为各固定翼无人机构造了一个局部二次规划问题，并通过求解该问题得到最终的鲁棒避障安全编队跟踪控制律。仿真实例表明，本文设计的控制律相较于不考虑外界输入扰动的控制律而言可以有效地处理扰动，相较于基于势函数方法的控制律而言减轻了系统产生的震颤并且更好地处理了无人机的速度约束，相较于基于分布式MPC（模型预测控制）方法的控制律而言在计算时间方面有了显著提升。上述结果验证了所设计控制律的创新性和有效性。

关键词：多固定翼无人机输入及速度约束分布式协同避障高阶控制障碍函数鲁棒编队跟踪

非完美Z排序集抽样下Logistic分布中总体均值的估计

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

系统科学与数学 2025年

作者：戴文琛陈望学杨瑞吉首大学数学与统计学院湖南师范大学数学与统计学院

本文首次在非完美Z排序集抽样(IZRSS)下研究了Logistic分布中总体均值的估计.从理论上证明了IZRSS样本均值是总体均值的无偏估计,并且当1/m≤p≤1时,IZRSS样本均值作为总体均值的估计比简单随机抽样(SRS)样本均值作为总体均值的估计和... 详细信息

本文首次在非完美Z排序集抽样(IZRSS)下研究了Logistic分布中总体均值的估计.从理论上证明了IZRSS样本均值是总体均值的无偏估计,并且当1/m≤p≤1时,IZRSS样本均值作为总体均值的估计比简单随机抽样(SRS)样本均值作为总体均值的估计和非完美排序集抽样(IRSS)样本均值作为总体均值的估计有效.小样本情形下的数值结果和实际数据进一步验证了这个理论结果.

关键词：非完美Z排序集抽样 Logistic分布样本均值

求解一类垂直张量互补问题的投影Jacobi张量分裂方法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

运筹学学报(中英文) 2025年

作者：谢水连李董辉杨振平许鸿儒嘉应学院数学学院华南师范大学数学科学学院

本文提出了求解一类垂直张量互补问题的投影Jacobi张量分裂方法,该方法的一个显著特征是:每次迭代所涉及的子问题均具有显式解,这意味着在求解这些子问题时无需昂贵的计算成本,从而提高计算效率。在强M-张量且向量为正的情况下,证明了... 详细信息

本文提出了求解一类垂直张量互补问题的投影Jacobi张量分裂方法,该方法的一个显著特征是:每次迭代所涉及的子问题均具有显式解,这意味着在求解这些子问题时无需昂贵的计算成本,从而提高计算效率。在强M-张量且向量为正的情况下,证明了所提出方法的全局收敛性。进一步,当初始值在问题的下解集中时,我们证明了该方法所生成的迭代序列是单调收敛的。初步的数值实验表明,本文所建立的方法是有效的。

关键词：垂直张量互补问题 M-张量 Z-张量投影Jacobi张量分裂方法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

基于代表点法的混料均匀设计

系统科学与数学 2025年

作者：熊子康覃红宁建辉黄煜宁中南财经政法大学统计与数学学院华中师范大学数学与统计学学院

混料试验设计在食品生产,工业制造,混合药物研发,投资组合优化等领域有广泛的应用.为了确保设计方案对模型的变化具有稳健性,许多学者在不同准则下提出了混料均匀设计.然而,当混料成分个数较多且受到的约束条件较复杂时,基于接受拒绝算... 详细信息

混料试验设计在食品生产,工业制造,混合药物研发,投资组合优化等领域有广泛的应用.为了确保设计方案对模型的变化具有稳健性,许多学者在不同准则下提出了混料均匀设计.然而,当混料成分个数较多且受到的约束条件较复杂时,基于接受拒绝算法或逆变换法的混料设计构造方法变得低效且复杂.在本文中,我们基于代表点法提出了线性约束区域上的混料均匀设计的高效构造方法,其主要思想是先基于吉布斯采样算法生成混料试验区域上均匀训练样本,然后通过优化算法将其压缩成能量距离准则下的最优代表点集.通过数值例子分析,新构造方法产生的设计有良好的均匀性和模型稳健性.

关键词：混料试验设计线性约束均匀设计吉布斯采样代表点能量距离