您的位置: 专家智库 > >

杨鹏

作品数:13 被引量:5H指数:1
供职机构:南京审计大学更多>>
发文基金:国家自然科学基金江苏省自然科学基金江苏省高校自然科学研究项目更多>>
相关领域:自动化与计算机技术经济管理更多>>

文献类型

  • 8篇专利
  • 4篇期刊文章

领域

  • 5篇自动化与计算...
  • 1篇经济管理

主题

  • 3篇识别率
  • 3篇判别函数
  • 3篇分类器
  • 2篇蒸馏
  • 2篇蒸馏法
  • 2篇审计
  • 2篇同源
  • 2篇图片
  • 2篇注意力
  • 2篇文字
  • 2篇文字检测
  • 2篇逻辑
  • 2篇模式识别
  • 2篇仿生模式识别
  • 2篇复杂度
  • 2篇安全协议
  • 2篇不可否认
  • 1篇点云
  • 1篇点云数据
  • 1篇形式化

机构

  • 12篇南京审计大学

作者

  • 12篇杨鹏
  • 7篇杨国为
  • 6篇韩志耕
  • 4篇杨章静
  • 4篇万鸣华
  • 4篇张凡龙
  • 3篇詹天明
  • 1篇陈耿
  • 1篇郭红建

传媒

  • 1篇计算机时代
  • 1篇电气电子教学...
  • 1篇科技经济市场
  • 1篇密码学报

年份

  • 1篇2025
  • 1篇2024
  • 2篇2023
  • 2篇2022
  • 2篇2021
  • 1篇2020
  • 3篇2019
13 条 记 录,以下是 1-10
排序方式:
一种仿生模式识别方法及其装置
一种仿生模式识别方法及其装置,由于在识别待检测样本时引入了分类器的识别机制,使得判断待检测样本是属于某样本种类的识别区域还是属于分类器的拒识区域时比较容易实现,从而提高了模式识别的效率;同时,分类器充分利用“同源”同类样...
杨国为万鸣华杨章静张凡龙詹天明杨鹏
文献传递
一种适用于不可否认协议分析的ZQZ逻辑扩展方法及应用
本发明公开一种适用于不可否认协议分析的ZQZ逻辑扩展方法及应用,本发明通过向ZQZ逻辑添加时间表达式实现扩展ZQZ逻辑,且本发明在建模与分析时将协议性质按照是否与时间相关做了区别对待,仅在分析时间相关的性质(如时限性)时...
韩志耕石青山伍之昂杨鹏吴慧玲范远哲
文献传递
基于RAG-Agent检索增强的审计大模型构建
2025年
随着人工智能和数字化技术的迅猛发展,审计行业开始面临不同的任务挑战。基于此,提出了一种基于RAG(检索增强生成)与Agent代理技术有机结合的审计大模型,并通过本地训练、云端增强及多智能体协作,构建了高效、安全且适应性强的智能审计系统。该模型在一定程度上提升了审计效率,且相较传统方法,其准确率提升了21.4%。同时,通过增量学习和强化学习机制,实现了动态优化和培育了法规适应能力。差分隐私与联邦学习的结合既保障了数据的安全性,又满足了高隐私场景的需求。研究结果表明,该大模型在智能化审计任务中的应用潜力巨大,能够为审计数字化转型提供技术支持,但仍需进一步优化计算资源和多智能体协作机制。
黄信博杨鹏郭红建
关键词:多智能体
一种基于自注意力蒸馏的弱监督文字检测方法
本发明公开一种基于自注意力蒸馏的弱监督文字检测方法,获取图片样本,并将图片样本中的含文字图片和不含文字图片分别标记为正负样本;对于获取后的正负样本采用VGGNet网络作为主干网络训练一个弱监督文字分类网络;通过训练好的文...
杨鹏杨国为韩志耕吴平平龚勋
文献传递
不可否认协议分析的扩展ZQZ逻辑方法被引量:1
2022年
不可否认协议必须满足存活性、不可否认性、公平性和时限性,但当前大多数形式化方法只能分析该类协议的部分性质,证明或证伪协议逻辑的部分正确性.本文通过向ZQZ逻辑添加时间表达式,提出了一种适用于不可否认协议建模与分析的扩展ZQZ逻辑方法,包括推理规则和安全性质模型.展示新方法的应用时,使用其分析了ZG和KPB这两个局部逻辑正确性已知的两方不可否认协议,以及YLL这个逻辑正确性尚在讨论的基于区块链的多方不可否认协议.实验显示,对前两个协议的分析结果与既有事实相符,对第三个协议的分析发现其无法为收方提供设计者所宣称的时限性.以上结论从逆向工程角度佐证了扩展ZQZ逻辑方法是一种行之有效的不可否认协议分析新方法.
韩志耕韩志耕杨鹏陈耿杨鹏
关键词:不可否认协议形式化分析逆向工程
一种基于局部边缘特征增强的点云分类方法及系统
本发明属于点云分类技术领域,公开了一种基于局部边缘特征增强的点云分类方法及系统,所述基于局部边缘特征增强的点云分类系统包括:点云数据获取模块、数据预处理模块、主控模块、边缘特征提取模块、边缘特征增强模块、特征填充模块、点...
杨国为杨鹏张凡龙黄璞万鸣华杨章静
文献传递
一种仿生模式识别方法及其装置
一种仿生模式识别方法及其装置,由于在识别待检测样本时引入了分类器的识别机制,使得判断待检测样本是属于某样本种类的识别区域还是属于分类器的拒识区域时比较容易实现,从而提高了模式识别的效率;同时,分类器充分利用“同源”同类样...
杨国为万鸣华杨章静张凡龙詹天明杨鹏
文献传递
ZQZ逻辑扩展方法及其对YLL协议时限性缺陷进行修复的方法
本发明公开一种ZQZ逻辑扩展方法及其对YLL协议时限性缺陷进行修复的方法,本发明通过向ZQZ逻辑添加时间表达式实现扩展ZQZ逻辑,且本发明在建模与分析时将协议性质按照是否与时间相关做了区别对待,仅在分析时间相关的性质(如...
韩志耕石青山伍之昂杨鹏吴慧玲范远哲
一种基于自注意力蒸馏的弱监督文字检测方法
本发明公开一种基于自注意力蒸馏的弱监督文字检测方法,获取图片样本,并将图片样本中的含文字图片和不含文字图片分别标记为正负样本;对于获取后的正负样本采用VGGNet网络作为主干网络训练一个弱监督文字分类网络;通过训练好的文...
杨鹏杨国为韩志耕吴平平龚勋
一种分类器及其设计方法和增量学习方法
一种具有拒识机制的分类器设计方法及其增量学习方法,包括构造同类特征集合的紧密包裹集,其包括优化致密性参数,以及构造紧密包裹集;求解同类特征区域紧密包裹曲面,其包括求解分类决策函数和分类决策曲面;设置分类器的拒识机制,其包...
杨国为杨鹏杨章静詹天明张凡龙万鸣华
文献传递
共2页<12>
聚类工具0