曹锋
- 作品数：31 被引量：39H指数：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变换混沌加密
- 基于超演绎的自动定理证明方法、装置及存储介质
- 本发明公开了一种基于超演绎的自动定理证明方法、装置及存储介质，从一阶逻辑子句集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压缩、重采样等)方面具有良好的鲁棒性。
- 任克强曹锋
- 关键词：数字音频水印混沌加密离散小波变换
- 一种推压式RJ-45水晶头
- 本实用新型公开了一种推压式RJ-45水晶头，包括上主体和下主体，通过将水晶头上下两个主体嵌套对接后，水晶头两个主体无缝弥合，本实用新型的水晶头不需要专业的水晶头制作工具，只要排好线序，将双绞线卡入后端的卡槽，水晶头的上主...
- 马将刘志刚曹锋甘雷
- 文献传递
- 基于综合能力培养的程序设计基础课程改革与实践被引量：1
- 2015年
- 针对工科类计算机专业与非计算机专业程序设计基础教学过程中出现的问题,以学生综合能力培养为核心,对于课程教学理念、教学模式、实践教学、教学质量保障、课程考核、课程内容等进行了改革与实践。实践表明,课程取得了较好的教学效果。
- 曹锋
- 关键词：教学过程教学效果
- 非线性特征抽取及人脸识别应用研究
- 王建国郭建波周长英张婷王照华郭琳虹付树才幺洪波张小松曹锋刘予飞马将
- 该项目主要研究了非线性特征抽取算法，并在该基础上提出了改进的有监督流形学习算法，同时对于流形学习算法进行扩展，提出了基于核方法的非线性特征提取算法。考虑到基于向量的特征提取算法在特征提取之前，要将图像矩阵转换成一维向量的...
- 关键词：
- 关键词：模式识别理论人脸识别
