公共文化服务平台

基于数据流约简的智能合约测试用例生成方法及系统: 本发明公开了一种基于数据流约简的智能合约测试用例生成方法及系统。本发明首先对Solidity智能合约源程序结构进行分析，构建控制流图；然后通过遍历构建的控制流图进行数据流分析，提取出变量信息、require语句以及定义使...; 吉顺慧朱少卿张鹏程

云网融合环境下服务组合的未来属性验证: 2025年; 随着云网融合技术以及空天地一体化网络的快速发展,越来越多的服务开始在云网融合环境下运行。在云网融合环境下,用户呈现移动性特征,导致服务组合过程变得愈发复杂,服务组合验证变得尤为关键。同时,在云网融合环境下用户要求服务组合不仅在当前时间段内稳定运行,还需要在未来时间段内持续满足用户需求。为了解决以上问题,提出一种云网融合环境下的服务组合未来属性验证方法。首先,对云网融合中的服务组合过程进行形式化建模,同时考虑用户移动导致的云网环境下服务场景的转换关系;然后,为了准确描述用户需求,对云网融合场景下的用户需求进行形式化描述;最后,为了解决云网融合环境下用户对服务组合未来时间段内的验证需求,对服务组合未来时间段的服务属性进行预测,利用PRISM模型检验工具来进行云网融合环境下的服务组合验证,以确保在未来时间段内仍然满足性能和可用性要求。实验结果表明,在云网融合环境下,当服务数量达到1000时验证模型构建时间以及模型检测时间分别为3.372 s和0.075 s,通过云网融合环境下的服务组合案例说明了所提方法的有效性与可行性。; 王湛张鹏程金惠颖吉顺慧; 关键词：马尔可夫决策过程服务质量形式化验证

融合三重注意力机制的遥感图像语义变化检测方法与系统: 本发明公开了一种融合三重注意力机制的遥感图像语义变化检测方法与系统，包括：将研究区域的遥感图像数据划分为图像块，预处理后生成训练、验证、测试数据集；构建遥感图像语义变化检测模型，包括引入三重注意力机制模块的图像变化检测网...; 吉顺慧倪璐珊朱颖彭清新郭仁玉齐晶辉张鹏程

一种基于扩展控制流图的程序转换方法: 本发明公开了一种基于扩展控制流图的程序转换方法，包括如下步骤：(1)构建BPEL组合流程的XCFG模型；(2)构建成员服务的XCFG模型；(3)基于组合流程和成员服务的XCFG模型创建Promela程序。本发明的有益效果...; 吉顺慧马魏张鹏程; 文献传递

基于预训练模型的以太坊智能合约漏洞检测方法及系统: 本发明提出了一种基于预训练模型的以太坊智能合约漏洞检测方法及系统。本发明为了获取更有效的漏洞语义或语法信息，意在基于两种不同的代码表征形式，其一，通过分析智能合约程序的数据流和控制流等信息，采用程序切片技术，自动化地提取...; 张鹏程王奔楚涵婷吉顺慧

一种面向数据流的测试用例生成方法: 本发明公开了一种面向数据流的测试用例生成方法，包括如下步骤：(1)对待测程序进行数据流分析，获取程序中所有的定义‑使用对；(2)设计并训练BP神经网络，以模拟适应度函数；(3)利用遗传算法生成覆盖所有定义‑使用对的测试用...; 吉顺慧陈琴张鹏程马魏; 文献传递

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

一种基于BPEL组合服务的数据流分析方法: 本发明公开了一种基于BPEL组合服务的数据流分析方法，包括如下步骤：(1)构建BPEL组合服务的扩展控制流图XCFG；(2)计算XCFG结点的可到达定义；(3)计算变量的定义‑使用对。本发明的有益效果为：基于扩展控制流图...; 吉顺慧马魏张鹏程; 文献传递

一种面向solidity语言的测试用例生成方法: 本发明公开了一种面向solidity语言的测试用例生成方法，针对应用solidity语言实现的智能合约程序，根据程序得到对应的控制流图(CFG)，控制流图中涵盖了该智能合约程序中函数方法间的调用信息；根据程序CFG得到程...; 张鹏程于佳男吉顺慧肖锋; 文献传递

基于深度强化学习的元宇宙环境下的服务质量优化方法及系统: 本发明公开了一种基于深度强化学习的元宇宙环境下的服务质量优化方法及系统。本发明针对元宇宙服务进行分类，将元宇宙服务划分为虚拟场景服务以及元服务，将虚拟场景服务的QoS数据集以及元服务的QoS数据集按不同比例组合构建成元宇...; 葛智源张鹏程吉顺慧金惠颖张梦园李佳佳产桂洋

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

吉顺慧