期刊文献+
共找到25篇文章
< 1 2 >
每页显示 20 50 100
改进YOLOX-S模型的施工场景目标检测 被引量:10
1
作者 胡皓 郭放 刘钊 《计算机科学与探索》 CSCD 北大核心 2023年第5期1089-1101,共13页
现有YOLOX-S模型在施工环境干扰下目标检测平均精准率(AP)偏低,不能较好满足实际应用需要。针对上述问题,从引入结构重参数化模块、引入卷积注意力模块、引入AdamW优化算法三方面对YOLOX-S模型进行改进。首先,利用RepVGGBlock解耦训练... 现有YOLOX-S模型在施工环境干扰下目标检测平均精准率(AP)偏低,不能较好满足实际应用需要。针对上述问题,从引入结构重参数化模块、引入卷积注意力模块、引入AdamW优化算法三方面对YOLOX-S模型进行改进。首先,利用RepVGGBlock解耦训练阶段与测试阶段的模型结构,在训练阶段模型的Backbone与Neck中构建更多残差结构,提高模型的特征提取能力。其次,利用LKA模块提取局部特征信息与长距离依赖关系,为后续计算目标边界框位置与大小提供更加有效的注意力指引,提升检测平均精准率。然后,使用AdamW优化算法替代Adam优化算法更新模型参数,进一步改良模型收敛结果,提升模型泛化能力。最后,在建筑工地运动目标数据集(MOCS)上进行实验,结果表明,改进YOLOX-S模型检测所有目标的平均精准率提升3.3个百分点,检测大目标、中目标、小目标的平均精准率分别提升3.2、2.3、2.2个百分点。同时,改进YOLOX-S模型计算代价未明显增加,可在实时运行的同时更好满足施工场景下对目标检测平均精准率的需要。 展开更多
关键词 目标检测 施工场景 结构重参数化 大核注意力 YOLOX-S
下载PDF
加权3-Set Packing问题的核心化 被引量:1
2
作者 李绍华 冯启龙 +1 位作者 王建新 陈建二 《计算机研究与发展》 EI CSCD 北大核心 2012年第8期1781-1786,共6页
Packing和Matching问题是一类重要的NP难解问题,该类问题的参数算法和核心化研究受到了人们广泛的关注.主要研究了加权3-SetPacking的核心化算法.对于加权3-SetPacking问题,基于对问题结构的深入分析,提出并证明了2个简化规则.首先限定... Packing和Matching问题是一类重要的NP难解问题,该类问题的参数算法和核心化研究受到了人们广泛的关注.主要研究了加权3-SetPacking的核心化算法.对于加权3-SetPacking问题,基于对问题结构的深入分析,提出并证明了2个简化规则.首先限定加权3-SetPacking问题实例中包含给定2个元素的集合的个数,然后在限定问题实例中包含1个给定元素的集合的个数.基于对集合个数的限定,得到问题实例中总的集合个数的上界.并基于上述性质得到2个简化规则,可得到加权3-SetPacking问题大小为27k3-36k2+12k的核,该核心化结果是加权3-SetPacking问题的首个核心化结果.得到的加权3-SetPacking的核心化过程同样适用于加权3D-Matching问题的核化,可得到与加权3-SetPacking问题同样大小的问题核. 展开更多
关键词 加权3-Set PACKING 加权3D-Matching 核心化 局部简化 参数算法
下载PDF
非线性互质分解方法中的系统核表示 被引量:1
3
作者 朱芳来 韩正之 孙鹏 《信息与控制》 CSCD 北大核心 2001年第S1期658-664,共7页
主要介绍了非线性互质分解理论的最新研究动态—系统核表示 .从系统核表示与右互质分解的关系、概念提出之背景及其在 Youla参数的控制器构造方面所起的作用强调了其在非线性互质分解理论中的重要性 .同时也从互质分解的存在性、系统的... 主要介绍了非线性互质分解理论的最新研究动态—系统核表示 .从系统核表示与右互质分解的关系、概念提出之背景及其在 Youla参数的控制器构造方面所起的作用强调了其在非线性互质分解理论中的重要性 .同时也从互质分解的存在性、系统的稳定鲁棒性。 展开更多
关键词 非线性系统 左互质分解 右互质分解 YOULA参数化 系统核表示
下载PDF
最多叶子生成树问题的核化算法 被引量:1
4
作者 高文宇 《计算机学报》 EI CSCD 北大核心 2010年第12期2211-2218,共8页
对算法领域的最多叶子生成树问题进行了深入研究,提出了对简单连通图2度节点的化简规则,并证明了不含2度节点的图的生成树的叶子节点数的下限为(N+6)/4,给出了构造这样一棵生成树的构造性方法.基于上述化简规则和所证明的结论,给出了最... 对算法领域的最多叶子生成树问题进行了深入研究,提出了对简单连通图2度节点的化简规则,并证明了不含2度节点的图的生成树的叶子节点数的下限为(N+6)/4,给出了构造这样一棵生成树的构造性方法.基于上述化简规则和所证明的结论,给出了最多叶子生成树问题的核化算法,该核化算法可以在O(n2)时间内得到一个4k-6大小的线性核.对于这样一个较小的核,将大大提高相关的参数算法和近似算法的性能. 展开更多
关键词 最多叶子生成树 核化 参数算法
下载PDF
随机图点覆盖1度顶点核化算法分析 被引量:1
5
作者 黄海滨 杨路明 +2 位作者 陈建二 王建新 李绍华 《小型微型计算机系统》 CSCD 北大核心 2008年第4期659-666,共8页
将随机图引入参数计算领域,利用随机图统计和概率分布等特性,从全局和整体上研究参数化点覆盖问题1度点核化过程中问题的核及度分布演变的内在机制和变化规律,并得出关于随机图1度点核化强度与顶点平均度关系及随机图点覆盖问题的决策... 将随机图引入参数计算领域,利用随机图统计和概率分布等特性,从全局和整体上研究参数化点覆盖问题1度点核化过程中问题的核及度分布演变的内在机制和变化规律,并得出关于随机图1度点核化强度与顶点平均度关系及随机图点覆盖问题的决策与度分布关系的两个重要推论.最后分别从MIPS和BIND提取数据进行1度核化实验和分析.初步结果表明,对随机图点覆盖问题的分析方法不仅具有理论上的意义,而且随着问题随机度的大小而对问题有不同程度的把握能力. 展开更多
关键词 参数计算 点覆盖 核化 随机图 生物计算
下载PDF
P_2-Packing问题参数算法的改进
6
作者 王建新 宁丹 +1 位作者 冯启龙 陈建二 《软件学报》 EI CSCD 北大核心 2008年第11期2879-2886,共8页
P_2-Packing问题是一个典型的NP难问题.目前这个问题的最好结果是时间复杂度为O(2^(5.301k))的参数算法,其核的大小为15k.通过对P_2-packing问题的结构作进一步分析,提出了改进的核心化算法,得到大小为7k的核,并在此基础上提出了一种时... P_2-Packing问题是一个典型的NP难问题.目前这个问题的最好结果是时间复杂度为O(2^(5.301k))的参数算法,其核的大小为15k.通过对P_2-packing问题的结构作进一步分析,提出了改进的核心化算法,得到大小为7k的核,并在此基础上提出了一种时间复杂度为O(2^(4.142k))的参数算法,大幅度改进了目前文献中的最好结果. 展开更多
关键词 P2-Packing 核心化 参数算法
下载PDF
基于子图的随机图点覆盖2度点核化研究
7
作者 黄海滨 杨路明 +2 位作者 王建新 陈建二 李绍华 《计算机研究与发展》 EI CSCD 北大核心 2009年第1期31-40,共10页
点覆盖问题虽然可以在参数计算理论的架构内求精确解,但是目前在理论及应用上有一定的局限性.根据不同度的顶点之间及顶点与边的关系,提出随机图参数化点覆盖问题的d-核化可决策性及2度点三角形子图的计数方法;通过研究子图对顶点的共... 点覆盖问题虽然可以在参数计算理论的架构内求精确解,但是目前在理论及应用上有一定的局限性.根据不同度的顶点之间及顶点与边的关系,提出随机图参数化点覆盖问题的d-核化可决策性及2度点三角形子图的计数方法;通过研究子图对顶点的共享关系,分析2度顶点核化过程中核及度分布演变的动态过程,得出随机图2度点核化强度与2度点概率关系及2度点核化可决策性的两个推论:2度点核化算法对2度点分布概率约为0.75的随机图的核化强度最高;对顶点度概率分布为φ(x)的随机图的参数化点覆盖问题(G,k),当k小于某一与φ(x)有关的值时,它是2-核化可决策的.仿真结果证实,该理论能够把握2度点核化的内在机制,提供随机图上这一NP完全问题的求解方法,也为参数计算在已知度分布的一类不确定问题中的应用提供了可能. 展开更多
关键词 子图计数 核化 点覆盖 参数计算 随机图
下载PDF
声波方程参数化模式及多参数全波形反演去耦合化策略 被引量:5
8
作者 何兵红 方伍宝 +2 位作者 胡光辉 刘定进 孙思宇 《石油物探》 EI CSCD 北大核心 2018年第5期705-716,725,共13页
参数耦合化是制约多参数全波形反演应用的关键因素之一。从速度-密度方程出发,基于介质弱扰动线性假设,利用波动方程的格林函数积分解推导了速度-密度、模量-密度、阻抗-密度、阻抗-速度、模量-速度及模量-阻抗6种参数化模式下的敏感核... 参数耦合化是制约多参数全波形反演应用的关键因素之一。从速度-密度方程出发,基于介质弱扰动线性假设,利用波动方程的格林函数积分解推导了速度-密度、模量-密度、阻抗-密度、阻抗-速度、模量-速度及模量-阻抗6种参数化模式下的敏感核函数;研究了每种参数化模式下各参数辐射模式,分析总结了参数化模式下参数耦合性态;提出在阻抗-速度参数化模式下先利用大角度地震数据进行速度反演,再利用小角度地震数据进行阻抗反演的声波方程全波形反演优化策略。通过理论模型数值实验实现了速度-密度、模量-密度、阻抗-密度以及阻抗-速度4种参数化模式下的反演,反演结果与理论推导一致。 展开更多
关键词 全波形反演 耦合化 参数化 敏感核函数 声波方程
下载PDF
顶点覆盖问题线性内核算法 被引量:2
9
作者 蔡晟 Rudolf Fleischer 朱洪 《计算机研究与发展》 EI CSCD 北大核心 2008年第z1期53-56,共4页
参数复杂性作为算法研究的一个重要分支近10年在国际上受到了广泛的关注,线性内核问题作为参数复杂性研究的一类重要问题被广泛研究.主要给出了顶点覆盖问题的线性内核算法,在国内首次从理论上证明了顶点覆盖问题存在线性内核.算法首先... 参数复杂性作为算法研究的一个重要分支近10年在国际上受到了广泛的关注,线性内核问题作为参数复杂性研究的一类重要问题被广泛研究.主要给出了顶点覆盖问题的线性内核算法,在国内首次从理论上证明了顶点覆盖问题存在线性内核.算法首先通过顶点覆盖问题的2近似算法,将图的顶点集合分成两个顶点集合A,B,进而通过一系列规约将原始图的顶点覆盖问题转换到新图的顶点覆盖问题,然后证明了新图的顶点数目至多为2k,并且2k是这个问题的下界(k为参数具体定义见文章). 展开更多
关键词 参数复杂性 内核化 线性内核 定点覆盖
下载PDF
VTI介质初至波多参数走时反演敏感核分析及反演策略 被引量:3
10
作者 张建明 董良国 +1 位作者 王建华 汪燚林 《地球物理学报》 SCIE EI CAS CSCD 北大核心 2022年第10期4028-4046,共19页
利用地震初至波走时信息建立近地表模型是地震勘探的关键步骤.由于近地表模型普遍呈现各向异性特征,常规的各向同性近地表建模无法满足地震数据近地表校正和地下成像的需要,因此,发展各向异性介质的初至波走时多参数反演方法具有重要的... 利用地震初至波走时信息建立近地表模型是地震勘探的关键步骤.由于近地表模型普遍呈现各向异性特征,常规的各向同性近地表建模无法满足地震数据近地表校正和地下成像的需要,因此,发展各向异性介质的初至波走时多参数反演方法具有重要的理论意义和实际应用价值.本文基于Fomel群速(慢)度近似公式,推导得到了声波VTI介质中16种参数化模式的走时多参数反演敏感核的解析解,并详细分析了4种参数化模式下多参数敏感核随角度的变化特征.通过分析多参数的敏感核和多参数之间的耦合效应,提出了在全方位和地表两种观测方式下最优的参数化方式和有效的多参数反演策略,并通过理论分析和模型试验,证明了所提出的反演策略的合理性和正确性. 展开更多
关键词 VTI介质 参数化 敏感核 耦合 反演策略 近地表建模
下载PDF
基于核心化技术的点覆盖改进算法 被引量:1
11
作者 骆伟忠 蔡昭权 《计算机工程与科学》 CSCD 北大核心 2018年第8期1405-1411,共7页
点覆盖是一个著名的NP难解问题,在通信网络和生物信息学等领域具有重要应用。针对点覆盖的研究主要集中在启发式或近似算法,其主要不足是无法实现全局最优。核心化是处理难解问题的一种新方法。提出融合启发式操作和核心化操作的算法框... 点覆盖是一个著名的NP难解问题,在通信网络和生物信息学等领域具有重要应用。针对点覆盖的研究主要集中在启发式或近似算法,其主要不足是无法实现全局最优。核心化是处理难解问题的一种新方法。提出融合启发式操作和核心化操作的算法框架,利用核心化技术进行点覆盖启发式算法优化。核心化操作挖掘出全局最优的顶点集,而启发式操作改变网络拓扑,使下一轮核心化操作能够继续,两者交叉执行实现解精度优化。实验结果表明,提出的算法在不同网络中均能实现不同程度的优化,在几乎所有稀疏网络实例中获得了最优解。 展开更多
关键词 点覆盖 NP难解 核心化 启发式算法 参数计算
下载PDF
参数计算中使用的若干技术 被引量:1
12
作者 周星 彭伟 《计算机科学》 CSCD 北大核心 2014年第S1期18-23,共6页
参数计算和复杂性是上世纪末本世纪初兴起的一门技术。该技术因具有坚实的理论基础和良好的运行效果,故仅经过短短十几年的发展,已经取得了大量的成就。从趋势上看来,参数计算已经成为理论计算机科学中越来越热门的一个分支。先简要介... 参数计算和复杂性是上世纪末本世纪初兴起的一门技术。该技术因具有坚实的理论基础和良好的运行效果,故仅经过短短十几年的发展,已经取得了大量的成就。从趋势上看来,参数计算已经成为理论计算机科学中越来越热门的一个分支。先简要介绍参数计算和复杂性的重要理论基础和主要思想;之后重点介绍参数计算中使用的主要技术,分析每一种技术的功能作用、基本设计原则和优缺点,并结合简单案例加以说明。 展开更多
关键词 参数计算 复杂性 NP完全 核心化 分支搜索
下载PDF
一种移除所有皇冠的扩展NT算法
13
作者 常乐 王建新 陈建二 《计算机科学》 CSCD 北大核心 2007年第10期173-176,191,共5页
皇冠分解和NT算法长久以来被认V_1为是在参数化点覆盖的求核问题中有着广泛应用的两种相互独立的方法。NT算法将给定的图分成V_0,V_1和V_(1/2)三部分,将V_0和V_1移除从而完成图的分解。而皇冠分解则是找到尽可能多的皇冠结构,删除这些... 皇冠分解和NT算法长久以来被认V_1为是在参数化点覆盖的求核问题中有着广泛应用的两种相互独立的方法。NT算法将给定的图分成V_0,V_1和V_(1/2)三部分,将V_0和V_1移除从而完成图的分解。而皇冠分解则是找到尽可能多的皇冠结构,删除这些皇冠以降低图规模。最近的研究结果表明NT算法和皇冠分解存在很强的内在联系:NT算法中的V_0,V_1部分正好构成一个皇冠结构。本文进一步研究了皇冠分解和NT算法的内在联系,提出了严格皇冠和非严格皇冠的概念,提出了一般图中存在皇冠的判定定理,证明了NT算法可以移除一般图中存在的所有严格皇冠。论文还提出了一种扩展NT算法,能够移除图中的所有严格和非严格皇冠,即证明了用扩展NT算法处理过的图中将不会存在任何皇冠结构。 展开更多
关键词 点覆盖 参数计算 核心化算法 皇冠分解 NT算法
下载PDF
可变核参数型Marcinkiewicz积分在弱Hardy空间上的有界性
14
作者 黄元 《安庆师范学院学报(自然科学版)》 2009年第3期21-24,共4页
在本文中,讨论了带可变核参数型Marcinkiewicz积分μΩρ(0<ρ<n),证明了该积分从H1,∞(Rn)到热L1,∞(Rn)的有界性。
关键词 可变核 参数型MARCINKIEWICZ积分 弱HARDY空间
下载PDF
Hypersingular parameterized Marcinkiewicz integrals with variable kernels on Sobolev and Hardy-Sobolev spaces 被引量:2
15
作者 CHEN Jie-cheng YU Xiao ZHANG Yan-dan WANG Hui 《Applied Mathematics(A Journal of Chinese Universities)》 SCIE CSCD 2008年第4期420-430,共11页
Let α≥ 0 and 0 〈 ρ ≤ n/2, the boundedness of hypersingular parameterized Marcinkiewicz integrals μΩ,α^ρ with variable kernels on Sobolev spaces Lα^ρ and HardySobolev spaces Hα^ρ is established.
关键词 parameterized Marcinkiewicz integral variable kernel Hardy-Sobolev space L^α-Dini condition
下载PDF
基于波动方程转换的时间域多尺度全波形反演速度建模 被引量:12
16
作者 何兵红 方伍宝 +1 位作者 刘定进 胡光辉 《石油物探》 EI CSCD 北大核心 2019年第2期229-236,共8页
为了避免全波形反演的周波跳跃现象,提出了基于波动方程转换的时间域多尺度全波形反演速度建模策略,在时间域实现了从低波数到高波数的多尺度全波形反演。首先从声波方程参数化模式出发,研究了阻抗-速度和速度-密度两种参数化模式下速... 为了避免全波形反演的周波跳跃现象,提出了基于波动方程转换的时间域多尺度全波形反演速度建模策略,在时间域实现了从低波数到高波数的多尺度全波形反演。首先从声波方程参数化模式出发,研究了阻抗-速度和速度-密度两种参数化模式下速度的辐射模式:在阻抗-速度参数化模式下,速度扰动主要引起大角度波场扰动;在速度-密度参数化模式下,速度扰动对各个角度的波场扰动贡献量完全相同。基于此,提出了先利用阻抗-速度方程构建低波数全波形反演速度模型,再以此作为初始模型,利用速度-密度方程构建高波数全波形反演速度模型的方法。该方法有效避免了混合域全波形反演中的数据转换问题以及频率域反演中的吉普斯现象,同时充分发挥了时间域全波形反演在波动方程数值模拟计算效率方面的优势,保留了时间域数据匹配易控制的特点。通过MarmousiⅡ模型数据测试,对比分析了两种参数化模式下的速度梯度特征,实现了从阻抗-速度方程的低波数全波形反演速度建模到速度-密度方程的高波数全波形反演速度建模,说明该方法能够在初始速度缺失低波数的条件下充分刻画出断层的形态和位置,使断面清晰,地层起伏与真实模型吻合。 展开更多
关键词 方程转换 多尺度全波形反演 参数化模式 辐射模式 周波跳跃 吉普斯现象 敏感核函数
下载PDF
A note on parameterized Marcinkiewicz integrals with variable kernels
17
作者 WANG Hui ZHANG Chun-jie 《Applied Mathematics(A Journal of Chinese Universities)》 SCIE CSCD 2009年第3期315-320,共6页
In this paper,the parameterized Marcinkiewicz integrals with variable kernels defined by μΩ^ρ(f)(x)=(∫0^∞│∫│1-y│≤t Ω(x,x-y)/│x-y│^n-p f(y)dy│^2dt/t1+2p)^1/2 are investigated.It is proved that ... In this paper,the parameterized Marcinkiewicz integrals with variable kernels defined by μΩ^ρ(f)(x)=(∫0^∞│∫│1-y│≤t Ω(x,x-y)/│x-y│^n-p f(y)dy│^2dt/t1+2p)^1/2 are investigated.It is proved that if Ω∈ L∞(R^n) × L^r(S^n-1)(r〉(n-n1p'/n) is an odd function in the second variable y,then the operator μΩ^ρ is bounded from L^p(R^n) to L^p(R^n) for 1 〈 p ≤ max{(n+1)/2,2}.It is also proved that,if Ω satisfies the L^1-Dini condition,then μΩ^ρ is of type(p,p) for 1 〈 p ≤ 2,of the weak type(1,1) and bounded from H1 to L1. 展开更多
关键词 parameterized Marcinkiewicz integral variable kernel rotation method
下载PDF
平面图团覆盖问题的核心化和参数化算法
18
作者 张文琰 Rudolf Fleischer 《武汉大学学报(理学版)》 CAS CSCD 北大核心 2011年第6期461-464,共4页
团覆盖问题是经典的理论计算问题,本文从参数理论角度考虑平面图团覆盖问题,提出了核心化简化规则,通过这些简化规则可以得到平面图团覆盖问题的核心,其规模为4k-4.根据该问题核心设计了参数化算法,可以用O(20k+n2)复杂度求得平面图团... 团覆盖问题是经典的理论计算问题,本文从参数理论角度考虑平面图团覆盖问题,提出了核心化简化规则,通过这些简化规则可以得到平面图团覆盖问题的核心,其规模为4k-4.根据该问题核心设计了参数化算法,可以用O(20k+n2)复杂度求得平面图团覆盖问题的精确解.通过实验与现有的求解团覆盖的算法进行了比较. 展开更多
关键词 平面图团覆盖 核心化 参数化算法
原文传递
极大变指标Herz空间上的参数型粗糙核Littlewood-Paley算子 被引量:1
19
作者 史鹏伟 陶双平 《山东大学学报(理学版)》 CAS CSCD 北大核心 2022年第12期45-54,共10页
借助变指标Lebesgue空间上的有界性,利用函数分层分解和实变技巧,得到了参数型粗糙核Marcinkiewicz积分、面积积分和Littlewood-Paley g^(*)_(λ)函数在极大变指标Herz空间上的有界性。同时也证明了面积积分和Littlewood-Paley g^(*)_(... 借助变指标Lebesgue空间上的有界性,利用函数分层分解和实变技巧,得到了参数型粗糙核Marcinkiewicz积分、面积积分和Littlewood-Paley g^(*)_(λ)函数在极大变指标Herz空间上的有界性。同时也证明了面积积分和Littlewood-Paley g^(*)_(λ)函数高阶交换子的有界性。 展开更多
关键词 极大变指标Herz空间 粗糙核 参数型Littlewood-Paley算子 高阶交换子
原文传递
Kernelization in Parameterized Computation: A Survey
20
作者 Qilong Feng Qian Zhou +1 位作者 Wenjun Li Jianxin Wang 《Tsinghua Science and Technology》 SCIE EI CAS 2014年第4期338-345,共8页
Parameterized computation is a new method dealing with NP-hard problems, which has attracted a lot of attentions in theoretical computer science. As a practical preprocessing method for NP-hard problems, kernelizaiton... Parameterized computation is a new method dealing with NP-hard problems, which has attracted a lot of attentions in theoretical computer science. As a practical preprocessing method for NP-hard problems, kernelizaiton in parameterized computation has recently become an active research area. In this paper, we discuss several kernelizaiton techniques, such as crown decomposition, planar graph vertex partition, randomized methods, and kernel lower bounds, which have been used widely in the kernelization of many hard problems. 展开更多
关键词 parameterized computation kernelization parameterized algorithm NP-hard
原文传递
上一页 1 2 下一页 到第
使用帮助 返回顶部