曹锋
- 作品数：33 被引量：42H指数：4
- 供职机构：江西理工大学信息工程学院更多>>
- 发文基金：江西省教育厅科学技术研究项目国家自然科学基金江西省自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学电子电信理学更多>>
- 采用DoubleUNet网络的结直肠息肉分割算法被引量：11
- 2022年
- 由于结直肠息肉的大小、颜色和质地各异,且息肉与周围粘膜的边界不清晰,导致息肉分割存在较大挑战。为提高结直肠息肉的分割准确率,本文提出了一种改进的DoubleUNet网络分割算法。该算法首先对息肉图像进行去反光处理,并通过数据扩增方法将训练数据集进行扩大;接着,在DoubleUNet网络的解码器部分引入注意力机制,并将网络中的空洞空间卷积池化金字塔(ASPP)模块替换为密集连接空洞空间卷积池化金字塔(DenseASPP)模块,以提高网络提取特征的能力;最后,为提高小目标的分割精度,提出利用Focal Tversky Loss函数作为本算法的损失函数。该算法在Kvasir-SEG、CVC-ClinicDB、ETIS-Larib、ISIC和DSB数据集测试中的准确率分别为0.9530、0.9642、0.8157、0.9503和0.9641,而DoubleUNet算法在上述数据集的准确率分别为0.9394、0.9592、0.8007、0.9459和0.9496。实验结果表明本文算法相对于DoubleUNet算法具有更好的分割效果,可以有效的辅助医师切除结直肠异常组织从而降低息肉癌变的概率,且能够应用于其它医学图像分割任务中。
- 徐昌佳易见兵曹锋方旺盛
- 关键词：图像分割结直肠息肉条件随机场
- 基于双重加密和小波包分析的音频水印算法
- 2011年
- 对二值水印进行Arnold变换置乱,再通过混沌序列对其进行加密;其次,对每段原始信号进行小波变换,把每两个相邻的小波系数划分为一组,得出每段能量最大的一组系数,最后,将加密后的水印嵌入到每组能量最大的系数中。试验表明,水印在抵抗各种通用的音频处理和攻击方面具有良好的性能。
- 周长英曹锋
- 关键词：数字音频水印ARNOLD变换混沌加密
- 重叠分数与匹配矩阵驱动的部分重叠点云配准网络设计
- 2024年
- 现有部分重叠点云配准算法在重叠边界区域的感知以及非重叠点的去除上存在不足,限制了部分重叠点云配准算法性能的进一步提高。针对以上问题,本文设计了一种基于两阶段的重叠分数与匹配矩阵驱动的部分重叠点云配准网络。首先在位姿估计模块采用邻域一致特征作为输入来估计初始位姿,以提高初始对齐准确度;接着设计一种通道空间感知Transformer模块来感知两点云重叠区域,以保持对重叠边界区域的精确感知;然后提出一种基于Transformer的特征编码器来编码初始对齐后点云的特征,以挖掘特征图全局和显著通道特征;最后采用离群点去除方法将余弦相似度矩阵转换为匹配矩阵,以去除非重叠点并正确匹配点间对应关系。本文算法在ModelNet40,ShapeNetCore. v2和Stanford Bunny数据集上进行了验证,在ModelNet40数据集上,相对次优算法GeoTransformer,本文算法的平均各向同性误差MIE(R)和平均绝对误差MAE(R)分别下降12.79%和9.78%;在ShapeNetCore. v2数据集上,相对次优算法MGFPCR,本文算法的均方根误差RMSE(R)和平均绝对误差MAE(R)分别下降42.00%和61.66%;在Stanford Bunny数据集上,相比次优算法ROPNet,本文算法的均方根误差RMSE(R)和平均绝对误差MAE(R)分别下降25.53%和5.58%。实验结果表明,本文算法在泛化性能和抗噪性能上相比其他算法均有较好表现。
- 易见兵陈鑫曹锋曹锋王敬永
- 关键词：图像处理点云配准
- 自适应残差注意力的轻量级图像超分辨率重建模型被引量：2
- 2022年
- 单幅图像超分辨率重建在众多领域应用广泛,然而现有算法大多通过扩展卷积神经网络深度和宽度来提取更多特征细节,导致算法计算复杂度的提高和模型参数量的增大。为解决上述问题,提出一种自适应残差注意力的轻量级超分辨率网络算法。首先通过改进坐标注意力网络,生成了关注高频位置信息的注意力特征图;接着将改进的自适应残差注意力信息提取模块和坐标注意力模块双支路并行连接,使输出的特征信息包含更多图像细节;同时采用多尺度上采样方法,使训练得到的网络模型(单次训练)一次输出多个不同尺度的超分辨率图片。通过和经典的轻量级超分辨率算法比较,所提算法得到的4倍重建图片在4个公共数据集上的平均峰值信噪比(PSNR)提高了1.06 dB,模型参数量减少了59%,图像观感更为清晰,包含更多高频细节。
- 江明肖庆生易见兵曹锋
- 关键词：图像超分辨率轻量级卷积神经网络
- 基于有监督流形学习的特征抽取方法研究及应用
- 王建国郭建波周长英张婷赵锦东李好杨学敏高磊刘予飞曹锋
- 该研究重点对流形学习方法进行了研究，并对于线性流形学习方法中NLPP和LDP方法采用核技巧进行了核化，提出了非线性特征抽取方法KNLPP和KLDP。通过实验证明了采用核技巧改进的方法具有较好的识别效果。在基于图像矩阵的特...
- 关键词：
- 基于超演绎的自动定理证明方法、装置及存储介质
- 本发明公开了一种基于超演绎的自动定理证明方法、装置及存储介质，从一阶逻辑子句集S选择包括单个核子子句及多个电子子句的子集构建标准矛盾体，得到矛盾体分离式R。若R为空子句，定理被证明。当R不为空子句时，若R有效且全为正文字...
- 曹锋易见兵黄江燕陈鸿坤
- 文献传递
- 基于子句活跃度和复杂度的多元动态演绎算法及应用被引量：4
- 2023年
- 一阶逻辑自动定理证明是知识表示与自动推理领域重要的研究内容,如何有效选取子句参与演绎是提升自动推理能力和效率的研究热点。基于多元动态演绎良好的演绎特性,通过分析子句的变元项性质和函数项结构,提出了一种子句活跃度和复杂度的度量与计算方法,能很好地对不同项结构的子句进行有效评估;基于该子句评估方法,提出了一种子句充分协同演绎的多元动态演绎算法,能有效优化多元演绎搜索路径。将该多元动态演绎算法应用于国际顶尖证明器Eprover 2.6中,以2021年国际自动推理FOF组竞赛例为测试对象,在标准的300 s测试时间内,加入了多元动态演绎算法的Eprover 2.6相比原始Eprover 2.6多证明定理4个,在证明定理总数相同的条件下,平均证明时间减少了1.12 s;能证明Eprover 2.6未证明定理16个,占未证明定理总数的15.1%。实验结果表明,该多元动态演绎算法是一种有效的推理方法,能在一定程度上提升自动定理的证明能力和时间效率。
- 林玲瑜曹锋易见兵方旺盛李俊吴贯锋
- 关键词：一阶逻辑定理证明
- 一种基于子句稳定度的多元动态演绎算法及应用
- 2024年
- 一阶逻辑自动定理证明是人工智能领域的核心基础。启发式策略在提升一阶逻辑自动定理证明器方面备受关注,其中根据子句属性选择较优子句参与演绎为重要的研究内容。基于矛盾体分离规则,将子句中的文字分为构建标准矛盾体的文字和构建矛盾体分离式的文字,通过分析变元项、函数项、基项之间的联系与差异,本文提出一种基于稳定度的子句评估方法,其核心思想是通过所含项的组成部分度量子句参与演绎的稳定程度;同时提出一种基于子句稳定度的多元动态演绎算法(clause stability algorithm,CFA),旨在搜索当前演绎过程中的较优路径;将提出的CFA算法应用于国际著名证明器Prover9(CFA_P证明器)和国际顶尖证明器Eprover2.6(CFA_E证明器),使用CFA_P和CFA_E对国际CASC-26 FOF组竞赛例进行测试,相比原始Prover9和原始Eprover2.6,CFA_P多证明119个定理、CFA_E多证明11个定理;在证明相同定理总数的情况下,CFA_P缩短了证明时间14.76 s、CFA_E则缩短了2.54 s;针对Eprover2.6未证明的94个定理进行单独测试,CFA_E能证明27个定理,占定理总数的28.7%。实验表明,CFA算法是有效的,其在优化演绎路径方面具有良好作用,能提高一阶逻辑自动定理证明器的性能。
- 曹锋王家帆易见兵李俊
- 关键词：一阶逻辑定理证明人工智能
- 子句充分性评估的多元动态演绎算法及应用被引量：1
- 2024年
- 为了充分体现子句参与多元动态演绎的灵活性、协同性和充分性,将参与多元演绎的子句划分为主动子句和被动子句,提出一种不同类型的子句充分性评估方法,能较好体现子句的充分性演绎且避免重复路径的搜索.基于该子句评估方法提出一种充分使用子句的多元动态演绎算法,能通过回溯机制搜索较优的演绎路径.将该算法应用于国际顶尖的证明器Eprover中,以2020年和2021年国际一阶逻辑自动定理证明器竞赛例为测试对象,在标准测试时间300 s内,加入了该多元动态演绎算法的Eprover2.4分别比原始Eprover2.4多证明定理11个和9个,能证明Eprover2.4无法证明的定理分别为14个和13个;以定理证明器的数千个问题(TPTP)中等级为1的定理作为测试对象,加入了该多元动态演绎算法的Eprover2.4能有效证明出7个所有证明器都未证明的定理.实验结果表明:所提出的多元动态演绎算法能有效应用于一阶逻辑自动定理证明.
- 曹锋潘世成易见兵李俊
- 关键词：一阶逻辑
- 基于小波域低频系数的自适应数字音频水印算法被引量：3
- 2008年
- 水印嵌入强度是影响水印鲁棒性的重要因素。该文设计了一种基于小波域低频系数自适应数字音频水印算法,利用混沌序列对水印加密,再将原始音频信号分段,对每段音频信号进行小波变换,嵌入强度由每段低频系数与低频系数最大值的比值自适应的选取,最后将水印嵌入到各段的低频部分。实验结果表明,水印在抵抗各种通用的音频处理和攻击(如高斯噪声、MP3压缩、重采样等)方面具有良好的鲁棒性。
- 任克强曹锋
- 关键词：数字音频水印混沌加密离散小波变换
