“刘江潮”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果15个，建议您升级VIP下载更多相关专利

[发明专利]一种异常检测方法、装置、可读存储介质及电子设备-CN202211740220.9在审
发明人：钟泽鑫;刘江潮;狄鹏 -专利权人：支付宝（杭州）信息技术有限公司
申请日： 2022-12-30 - 公布日： 2023-07-14 - 主分类号： G06F21/57 文献下载
摘要：本说明书公开了一种异常检测方法、装置、可读存储介质及电子设备，根据需进行异常检测的程序和该程序对应的配置信息，确定该程序中各函数分别对应的用于表征函数中各字段的逻辑操作的语义信息，再针对每个函数，根据该函数对应的语义信息，确定参数在该函数内的各字段中的传播路径，进而基于参数在各函数中分别对应的传播路径，来确定参数在程序中的流转情况，以根据该流转情况进行异常检测。本方法不需要依赖于待解析函数的解析结果中的调用关系，而是基于语义信息确定参数在各函数中分别对应的传播路径，再基于各函数中的传播路径来确定参数在程序中的流转情况，即使在程序中包含有“框架”调用行为的函数，也能保证异常检测的准确率。
一种异常检测方法装置可读存储介质电子设备

[发明专利]一种基于数值抽象的程序资源使用量自动分析方法-CN202010382006.5有效
发明人：陈立前;范广生;陈涛清;王戟;尹帮虎;刘江潮;董威;毛晓光;李姗姗 -专利权人：中国人民解放军国防科技大学
申请日： 2020-05-08 - 公布日： 2023-04-28 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种基于数值抽象的程序资源使用量自动分析方法，其包括：步骤S1：资源操作API的配置；步骤S2：代码自动插桩；步骤S3：资源引用变量指向分析：通过指向分析得到程序中每个资源引用变量指向的基地址集合及对应的资源大小；利用用于建模资源使用量的数值变量及其依赖关系，对插桩后的代码进行切片，自动剔除与资源操作无关代码，得到数值程序；步骤S4：基于数值抽象的数值程序分析；步骤S5：循环次数上界分析；步骤S6：数值程序分析结果到资源使用量的映射：将分析得到的数值程序分析结果映射到资源使用量的值范围。本发明具有原理简单、适用范围广、分析效率高、分析可靠性好等优点。
一种基于数值抽象程序资源使用自动分析方法

[发明专利]一种基于静态分析与抽象的软件设计重建方法-CN202010459766.1有效
发明人：文艳军;王戟;陈立前;董威;毛晓光;刘万伟;尹良泽;刘江潮 -专利权人：中国人民解放军国防科技大学
申请日： 2020-05-26 - 公布日： 2023-04-28 - 主分类号： G06F8/20 文献下载
摘要：一种基于静态分析与抽象的软件设计重建方法，其步骤为：步骤S1：控制流图提取；对一个给定的软件程序P，提取出其在一组程序控制点上的具体控制流图C，控制点之间的迁移由一个动作序列集合所标注，表示其中的动作序列发生时会导致该控制迁移；步骤S2：动作抽象；根据设定的变量抽象域，计算具体控制流图每条边上的动作序列集合对应的抽象动作，分析出该组动作序列在更高的抽象层的含义；步骤S3：控制点和抽象域调整；步骤S4：程序合成；得到一个抽象的控制流图；根据此控制流图合成一个用来描述软件设计模型的抽象程序，完成设计重建。本发明具有原理简单、设计重建自动化水平高、可提高设计重建抽象程度等优点。
一种基于静态分析抽象软件设计重建方法

[发明专利]一种代码变更的影响分析方法、装置以及设备-CN202211694256.8在审
发明人：吴云广;王丹;周刚;刘江潮;邓俊 -专利权人：支付宝（杭州）信息技术有限公司
申请日： 2022-12-28 - 公布日： 2023-04-07 - 主分类号： G06F8/72 文献下载
摘要：本说明书实施例公开了一种代码变更的影响分析方法、装置以及设备。通过生成所述源代码和变更代码的差异代码；将所述差异代码映射为差异中间码；确定所述差异中间码在所述程序所关联的系统中的传播路径；确定所述传播路径在数据访问层所关联的字段，将所述字段确定为代码变更的影响字段，从而实现在代码迭代时准确的分析出对于系统的影响字段，实现精准的影响分析。
一种代码变更影响分析方法装置以及设备

[发明专利]程序代码处理方法及装置-CN202211465066.9在审
发明人： 刘江潮;刘洁瑞;狄鹏;吴迪宇;郑恒杰 -专利权人：支付宝（杭州）信息技术有限公司
申请日： 2022-11-22 - 公布日： 2023-03-03 - 主分类号： G06F8/41 文献下载
摘要：本说明书实施例提供了程序代码处理方法及装置，该方法的一具体实施方式包括：针对待分析的程序代码中被调用的第一函数包括的若干程序语句，识别上下文敏感语句和上下文不敏感语句；为从该若干程序语句中识别出的上下文不敏感语句生成第一语句摘要；生成第一函数的第一函数摘要，其中包括第一语句摘要，以及从该若干程序语句中识别出的上下文敏感语句；使用第一函数摘要，替换该程序代码中调用第一函数的第一函数调用点。
程序代码处理方法装置

[发明专利]一种代码分析方法、装置、电子设备及存储介质-CN202211442808.6在审
发明人：吴迪宇;刘江潮;刘洁瑞;郑恒杰;狄鹏 -专利权人：支付宝（杭州）信息技术有限公司
申请日： 2022-11-16 - 公布日： 2023-02-24 - 主分类号： G06F21/57 文献下载
摘要：本说明书实施例提供一种代码分析方法，包括：获取待分析代码的历史运行数据；其中，所述历史运行数据包括所述待分析代码在运行过程中所调用的函数，以及所述函数之间的调用关系；基于待分析代码在运行过程中所调用的函数，以及所述函数之间的调用关系，生成函数调用图；对所述待分析代码进行静态分析，并在所述静态分析过程中，如果待分析的目标函数存在多个可调用的函数时，查询所述函数调用图，确定与所述待分析的目标函数存在调用关系的函数，并基于查询的结果进一步完成针对所述目标函数的静态分析。上述方案不仅易于实现、容易部署，还可以通过在静态分析过程中通过查询函数调用图来提升准确度。
一种代码分析方法装置电子设备存储介质

[发明专利]一种SQL语句风险检测方法、装置、设备及介质-CN202210119145.8在审
发明人：钟泽鑫;狄鹏;刘向阳;刘江潮 -专利权人：支付宝（杭州）信息技术有限公司
申请日： 2022-02-08 - 公布日： 2022-05-27 - 主分类号： G06F16/22 文献下载
摘要：本实施例公开了一种SQL语句风险检测方法、装置、设备及介质，SQL语句风险检测方法包括：获取目标对象对应的二进制文件，判断所述二进制文件是否包含对预设操作的调用；其中，所述预设操作是删除数据表或删除数据表中的数据的操作；若所述二进制文件包含对预设操作的调用，则判断用于执行所述预设操作的SQL语句是否存在条件约束语句；若用于执行所述预设操作的SQL语句不存在条件约束语句，则判断所述SQL语句存在风险。
一种 sql 语句风险检测方法装置设备介质

[发明专利]一种mock点自动识别方法、装置以及设备-CN202110889205.X在审
发明人：刘洁瑞;刘江潮;狄鹏;刘向阳 -专利权人：支付宝（杭州）信息技术有限公司
申请日： 2021-08-04 - 公布日： 2021-11-16 - 主分类号： G06F11/36 文献下载
摘要：本说明书实施例公开了一种mock点自动识别方法、装置以及设备。方案包括：获取与预定的依赖类型相对应的因子数据，依赖类型包括系统状态依赖、内部状态依赖和外部状态依赖中的至少一种；根据因子数据，对待测试代码进行静态分析，以确定待测试代码中是否存在输出依赖属于依赖类型的函数；若是，则提取函数作为mock点，以便对其进行mock处理后用于辅助对待测试代码的测试。
一种 mock 自动识别方法装置以及设备

[发明专利]一种基于条件数指导的浮点程序精度缺陷检测方法-CN201910033063.X有效
发明人：陈立前;毛晓光;易昕;纪涛;王戟;董威;文艳军;刘江潮;尹良泽 -专利权人：中国人民解放军国防科技大学
申请日： 2019-01-14 - 公布日： 2021-04-20 - 主分类号： G06F7/483 文献下载
摘要：一种基于条件数指导的浮点程序精度缺陷检测方法，其步骤包括：步骤S1.预处理；步骤S2.输入域划分；步骤S3.第一阶段搜索：对分输入域使用差分演化搜索算法查找能触发可能最大条件数的程序输入，并对整个分输入域表按找到的输入对应的程序输出的误差从大到小进行排序，获取排序后的分输入域列表并记录对应查找到的程序输入；步骤S4.第二阶段搜索：从排序后的分输入域表的表头取出分输入域，从第一阶段找到的程序输入作为初始测试点，查找能触发最大程序输出误差的程序输入，保存查找到的程序输入和对应输出误差到搜索结果表；步骤S5.精度缺陷验证。本发明具有能够提高检测准确度、提高检测稳定性、降低时间开销等优点。
一种基于件数指导浮点程序精度缺陷检测方法

[发明专利]一种基于数学近似的浮点程序精度缺陷修复方法-CN201910033498.4有效
发明人：毛晓光;陈立前;易昕;纪涛;王戟;董威;陈振邦;刘万伟;刘江潮 -专利权人：中国人民解放军国防科技大学
申请日： 2019-01-14 - 公布日： 2021-04-20 - 主分类号： G06F7/483 文献下载
摘要：一种基于数学近似的浮点程序精度缺陷修复方法，其步骤包括：步骤S1.预处理；步骤S2.定位精度缺陷：使用线性搜索算法查找包含能触发精度缺陷的最小输入区间Ierr；步骤S3.生成数学近似；步骤S4.补丁生成和优化；步骤S5.补丁验证:对最小输入区间Ierr进行采样，测试所有采样输入对应的修复后的浮点程序的输出是否满足精度需求，若满足则修复结束，若不满足且分配的计算资源还未耗尽则返回S2重新执行，若计算资源已经耗尽，则返回修复未完成，修复结束。本发具有能够提高修复能力、满足给定精度需求等优点。
一种基于数学似的浮点程序精度缺陷修复方法

[发明专利]一种基于迭代抽象分析的神经网络安全性质验证方法-CN202010382022.4在审
发明人：陈立前;尹帮虎;王戟;刘江潮;董威;毛晓光;文艳军;刘万伟;尹良泽 -专利权人：中国人民解放军国防科技大学
申请日： 2020-05-08 - 公布日： 2020-07-31 - 主分类号： G06F11/00 文献下载
摘要：本发明公开了一种基于迭代抽象分析的神经网络安全性质验证方法，其步骤包括：步骤S1：单遍抽象分析；对一个给定的输入域在神经网络的抽象语义下进行逐层推导，得到其对应的输出；步骤S2：基于不变式进行性质验证；通过检查不变式与待验证性质的关系，判断性质是否成立；步骤S3：输入域划分；对于给定的输入域，若单遍抽象分析产生的不变式无法验证性质是否成立时，则采用非确定首层神经元引导的划分策略产生划分谓词，再基于划分谓词对输入域进行划分，生成两个子验证问题；步骤S4：子验证问题精化；骤S5：迭代验证；对于每个无法验证的子问题，重复上述步骤。本发明具有原理简单、能够提高神经网络安全性质完备验证的效率等优点。
一种基于抽象分析神经网络安全性质验证方法

[发明专利]在线考试方法及系统-CN201710708854.9在审
发明人：罗频捷;温荷;闵梓桓;刘江潮;韦茜匀;罗梦婷;李青雯;刘子奇 -专利权人：成都东软学院
申请日： 2017-08-17 - 公布日： 2018-01-26 - 主分类号： H04L29/08 文献下载
摘要：本发明提供了一种在线考试方法及系统，涉及教育系统领域。该在线考试方法应用于在线考试系统，在线考试系统包括学生终端以及服务器，所述学生终端与所述服务器通信连接。该在线考试方法包括学生终端根据学生的操作向服务器发送考试请求信息；服务器根据考试请求信息向学生终端发送考试安排信息；学生终端接收考试安排信息，并对考试安排信息进行显示；学生终端获取学生根据考试安排信息选取的考试信息，并将考试信息发送至服务器；服务器接收考试信息并根据考试信息向学生终端发送与考试信息对应的考试内容；学生终端接收考试内容，对考试内容进行显示，以使学生进行考试。该在线考试方法能使在线考试系统不局限于局域网，具有较好的可移植性。
在线考试方法系统

[实用新型]一次性镊子-CN98249227.8无效
发明人：刘通生;刘江潮 -专利权人：刘通生
申请日： 1998-12-07 - 公布日： 2000-03-01 - 主分类号： A61B17/30 文献下载
摘要：本实用新型涉及一种一次性镊子,属于医疗器械。它由上镊身1和下镊身2两部分组成,上镊身1和下镊身2上分别设有镊头3和镊齿5,上镊身1和下镊身2通过镊尾4固接,其特征在于上镊身1上设有定位边8,下镊身2上设有定位边9,上镊身1和下镊身2内分别设有加强筋7,镊尾4的固接处设有镊孔6。它结构新颖,抓握方便,上、下镊头准对性强,不易错位偏离,夹紧力度大,镊合力强,是一种理想的一次性使用的镊子。
一次性镊子

[外观设计]全降解一次性用处置盘-CN99300374.5无效
发明人： 刘江潮;刘通生 -专利权人：刘通生
申请日： 1999-01-22 - 公布日： 1999-10-20 - 主分类号： 24-02-M0240 文献下载
摘要：
降解一次性用处

[外观设计]处置盒-CN98326870.3无效
发明人： 刘江潮 -专利权人： 刘江潮
申请日： 1998-11-17 - 公布日： 1999-06-16 - 主分类号： 24-99 文献下载
摘要：后视图与主视图相同，省略后视图。
处置

1
共 15 条