公共文化服务平台

张鹏程: 作品数：329 被引量：330H指数：8; 供职机构：河海大学更多>>; 发文基金：国家自然科学基金中央高校基本科研业务费专项资金国家重大科学仪器设备开发专项更多>>; 相关领域：自动化与计算机技术文化科学医药卫生水利工程更多>>

合作作者

自适应加权全变分的低剂量CT统计迭代算法被引量：4: 2016年; 针对低剂量计算机断层扫描(LDCT)重建图像时出现条形伪影和脉冲噪声的现象,提出一种自适应加权全变分的LDCT统计迭代重建算法。该算法克服了传统全变分(TV)算法在去除条形伪影的同时引入阶梯效应的缺点,把基于加权方差的加权因子与TV模型相结合提出自适应加权全变分模型,然后再把新模型应用到惩罚加权最小二乘(PWLS)重建算法中,这样就可以对图像的不同区域进行不同强度的去噪,从而取得噪声抑制和边缘保持的良好效果。采用Shepp-Logan模型和数字骨盆体模来验证算法的有效性,实验结果表明,所提算法的归一化均方距离和归一化平均绝对距离均比滤波反投影(FBP)、PWLS、惩罚加权最小二乘的中值先验(PWLS-MP)以及惩罚加权最小二乘的全变分(PWLS-TV)算法的值小,且可分别获得40.91 dB和42.25 dB的峰值信噪比。实验结果表明,该算法重建出的图像在有效去除条形伪影的同时对图像的边缘和细节起到很好的保护作用。; 何琳张权上官宏张文张鹏程刘祎桂志国; 关键词：全变分

基于正则表达式、程序插桩和代码替换的以太坊智能合约bug检测和修复方法: 2021年; 作为当前最大的支持智能合约的区块链平台,数以百万计的智能合约被部署在以太坊上。由于即使发现包含bug也无法修改已部署的智能合约,因此对于开发人员而言,在部署合约前修复合约中的bug至关重要。当前研究人员已经提出了许多智能合约分析工具,用于检测合约中的bug。这些工具要么使用基于以太坊虚拟机字节码的符号执行来检测bug,要么将源代码转换为中间表示形式后再检测bug。然而,基于符号执行的工具通常无法覆盖合约中的大部分bug;将源代码转换为中间表示形式会对检测速度产生负面影响。此外,现有的工具都只能检测bug,而无法根据检测结果自动修复bug。为了解除以上限制,提出了一种名为SolidityCheck的方法,该方法通过使用正则表达式、程序插桩和语句替换等技术,实现快速检测合约中的bug并自动修复其中某些种类bug的目的。文中进行了一系列实验来评估SolidityCheck,实验结果表明,与现有方法相比,SolidityCheck在多个指标上显示出了优异的性能。; 肖锋张鹏程罗夏朴; 关键词：SOLIDITY 正则表达式程序插桩

针对深度神经网络的条件引导式对抗生成测试方法与系统: 本发明提出了一种针对深度神经网络的条件引导式对抗生成测试方法与系统，通过收集需要的数据集和相应的标签，对其进行分组处理后得到需求的批处理池数据集，并采用启发式算法选出种子集进行条件引导的对抗生成训练集。测试生成过程的目标...; 张鹏程戴启印曹文南吉顺慧; 文献传递

一种基于嵌入式索引的水文时间序列相似性搜索方法: 本发明公开了一种基于嵌入式索引的水文时间序列相似性搜索方法，按如下步骤进行：离线准备阶段对原始时间序列中的每个位置，计算对应的嵌入式索引向量，离线准备阶段实现了水文时间序列洪峰分割，串行聚类，初始参考序列集生成，参考集训...; 万定生肖艳王亚明余宇峰李士进张鹏程; 文献传递

一种基于边缘计算和深度学习的垃圾箱垃圾识别方法: 本发明公开了一种基于边缘计算和深度学习的垃圾箱垃圾识别方法，包括如下步骤：通过安装在垃圾箱上固定角度的高分辨率摄像机对投放者所投的垃圾进行扫描和拍摄完成数据收集；利用搭载垃圾识别模型的分布式边缘服务器识别所投垃圾，在显示...; 李清秋张鹏程赵齐; 文献传递

一种用于调强放射治疗直接子野优化的方法及系统: 本发明公开了一种用于调强放射治疗直接子野优化的方法，获取病人的基本信息；计算目标函数梯度矩阵，并利用模糊器消除噪声；利用自适应阈值分割原理生成新子野形状；优化子野权重，对已有的全部子野权重进行优化；优化子野形状，对已有的...; 杨婕崔敏张鹏程桂志国宋胜涛李瀚涛姚林红

一种基于属性序列图的监听器生成系统和方法: 本发明公开一种基于属性序列图的监听器生成系统和方法，通过属性序列图对已知系统的行为的描述，得到与之对应的博弈结构，最终得到与系统以及环境中参加交互的组件一一对应的监听器，对已知系统进行监控，从而达到阻止系统失效的发生的目...; 张鹏程余俊

一种基于注意力机制的短临降雨预报方法: 2023年; 针对现有气象业务中短临降雨预报不精确的问题,提出一种基于注意力机制的短临降雨预报方法。计算标准化降水指数后对因子作归一化处理;使用随机森林算法筛选出与降雨密切相关的气象因子;设计带有注意力机制的长短期记忆网络模型,有效解决长时间降雨序列信息丢失的问题,强化对关键信息的提取能力;对注意力权重可视化,提高模型透明度。在全国92个站点的实验结果验证了该方法有较好的泛化能力,在预测短临强降雨情况下比现有方法准确率更高。; 曹文南张鹏程贾旸旸; 关键词：降雨预报

模态顺序图uMSD的形式语义被引量：6: 2011年; UML 2.0顺序图已广泛应用于业界,但其语义模糊,以至于不能有效地加以使用.模态顺序图(modal sequence diagram,简称MSD)是对UML 2.0顺序图的模态扩展,区分了强制场景(用universal MSD表示,简称uMSD)和可能场景(用existential MSD表示,简称eMSD).其中,uMSD具有较强的表达能力,能够用于表示并发系统的时态性质,故主要工作围绕uMSD展开.为了使uMSD用于形式化分析、验证和监控,给出基于自动机的uMSD语义解释,并给出各种操作符的算法,用性质规约模式度量uMSD的表达能力.最后进行了实例研究,并讨论了其应用前景.; 李雯睿王志坚张鹏程

移动边缘环境下基于联邦学习和移动感知的QoS优化方法: 本发明公开了一种移动边缘环境下基于联邦学习和移动感知的QoS优化方法。该方法通过采集边缘位置信息和QoS数据集，融合后得到移动边缘QoS特征数据集；根据边缘网络节点的位置分布，将研究区域划分为若干边缘区域，每个区域内的用...; 张鹏程魏芯淼金惠颖张雅玲李清秋; 文献传递