杨鹏
- 作品数：12 被引量：4H指数：1
- 供职机构：南京审计大学更多>>
- 发文基金：国家自然科学基金江苏省高校自然科学研究项目江苏省自然科学基金更多>>
- 相关领域：自动化与计算机技术经济管理更多>>
- 一种仿生模式识别方法及其装置
- 一种仿生模式识别方法及其装置，由于在识别待检测样本时引入了分类器的识别机制，使得判断待检测样本是属于某样本种类的识别区域还是属于分类器的拒识区域时比较容易实现，从而提高了模式识别的效率；同时，分类器充分利用“同源”同类样...
- 杨国为万鸣华杨章静张凡龙詹天明杨鹏
- 文献传递
- 一种适用于不可否认协议分析的ZQZ逻辑扩展方法及应用
- 本发明公开一种适用于不可否认协议分析的ZQZ逻辑扩展方法及应用，本发明通过向ZQZ逻辑添加时间表达式实现扩展ZQZ逻辑，且本发明在建模与分析时将协议性质按照是否与时间相关做了区别对待，仅在分析时间相关的性质(如时限性)时...
- 韩志耕石青山伍之昂杨鹏吴慧玲范远哲
- 文献传递
- 一种基于自注意力蒸馏的弱监督文字检测方法
- 本发明公开一种基于自注意力蒸馏的弱监督文字检测方法，获取图片样本，并将图片样本中的含文字图片和不含文字图片分别标记为正负样本；对于获取后的正负样本采用VGGNet网络作为主干网络训练一个弱监督文字分类网络；通过训练好的文...
- 杨鹏杨国为韩志耕吴平平龚勋
- 文献传递
- 不可否认协议分析的扩展ZQZ逻辑方法被引量：1
- 2022年
- 不可否认协议必须满足存活性、不可否认性、公平性和时限性,但当前大多数形式化方法只能分析该类协议的部分性质,证明或证伪协议逻辑的部分正确性.本文通过向ZQZ逻辑添加时间表达式,提出了一种适用于不可否认协议建模与分析的扩展ZQZ逻辑方法,包括推理规则和安全性质模型.展示新方法的应用时,使用其分析了ZG和KPB这两个局部逻辑正确性已知的两方不可否认协议,以及YLL这个逻辑正确性尚在讨论的基于区块链的多方不可否认协议.实验显示,对前两个协议的分析结果与既有事实相符,对第三个协议的分析发现其无法为收方提供设计者所宣称的时限性.以上结论从逆向工程角度佐证了扩展ZQZ逻辑方法是一种行之有效的不可否认协议分析新方法.
- 韩志耕韩志耕杨鹏陈耿杨鹏
- 关键词：不可否认协议形式化分析逆向工程
- 一种基于局部边缘特征增强的点云分类方法及系统
- 本发明属于点云分类技术领域，公开了一种基于局部边缘特征增强的点云分类方法及系统，所述基于局部边缘特征增强的点云分类系统包括：点云数据获取模块、数据预处理模块、主控模块、边缘特征提取模块、边缘特征增强模块、特征填充模块、点...
- 杨国为杨鹏张凡龙黄璞万鸣华杨章静
- 文献传递
- 一种仿生模式识别方法及其装置
- 一种仿生模式识别方法及其装置，由于在识别待检测样本时引入了分类器的识别机制，使得判断待检测样本是属于某样本种类的识别区域还是属于分类器的拒识区域时比较容易实现，从而提高了模式识别的效率；同时，分类器充分利用“同源”同类样...
- 杨国为万鸣华杨章静张凡龙詹天明杨鹏
- 文献传递
- ZQZ逻辑扩展方法及其对YLL协议时限性缺陷进行修复的方法
- 本发明公开一种ZQZ逻辑扩展方法及其对YLL协议时限性缺陷进行修复的方法，本发明通过向ZQZ逻辑添加时间表达式实现扩展ZQZ逻辑，且本发明在建模与分析时将协议性质按照是否与时间相关做了区别对待，仅在分析时间相关的性质（如...
- 韩志耕石青山伍之昂杨鹏吴慧玲范远哲
- 一种基于自注意力蒸馏的弱监督文字检测方法
- 本发明公开一种基于自注意力蒸馏的弱监督文字检测方法，获取图片样本，并将图片样本中的含文字图片和不含文字图片分别标记为正负样本；对于获取后的正负样本采用VGGNet网络作为主干网络训练一个弱监督文字分类网络；通过训练好的文...
- 杨鹏杨国为韩志耕吴平平龚勋
- 一种分类器及其设计方法和增量学习方法
- 一种具有拒识机制的分类器设计方法及其增量学习方法，包括构造同类特征集合的紧密包裹集，其包括优化致密性参数，以及构造紧密包裹集；求解同类特征区域紧密包裹曲面，其包括求解分类决策函数和分类决策曲面；设置分类器的拒识机制，其包...
- 杨国为杨鹏杨章静詹天明张凡龙万鸣华
- 文献传递
- 大数据审计实践课程体系探索被引量：1
- 2023年
- 审计全覆盖的实施依赖于既懂审计实践又懂大数据技术的大数据审计人才。比对工程教育认证标准中的实践教学体系要求,当前大数据审计人才的培养存在课程体系缺失、数据资源缺失和实验平台缺失等棘手问题。针对上述问题,提出了面向工程教育认证的大数据审计实践课程体系建设思路,包括基于模块化的实践课程体系构建、面向审计案例的数据资源库建设,以及基于定制化的实验教学平台建设。
- 韩志耕杨鹏杨国为
- 关键词：工程教育认证实践课程体系
