-
公开(公告)号：CN118796712B
公开(公告)日：2024-12-03
申请号：CN202411273560.4
申请日：2024-09-12
Applicant: 南京邮电大学
IPC: G06F11/36
Abstract: 本发明提出了基于高阶化访问路径的域敏感程序切片方法，涉及函数式编程和程序分析领域。首先将C语言代码源程序转化为LLVM IR格式，并建立源程序变量与LLVM IR变量之间的映射关系；然后对LLVM IR中的每个变量进行访问路径的初始化。随后，对控制依赖集和数据依赖集进行初始化和更新，同时动态地计算和更新变量的访问路径，过程内的分析结果将以高阶化的函数摘要形式返回。本发明不仅显著提升了程序切片的精度，粒度从行级提升到了变量级，同时处理速度也有显著提升，为软件开发、测试和维护提供支持。
-
公开(公告)号：CN118796712A
公开(公告)日：2024-10-18
申请号：CN202411273560.4
申请日：2024-09-12
Applicant: 南京邮电大学
IPC: G06F11/36
Abstract: 本发明提出了基于高阶化访问路径的域敏感程序切片方法，涉及函数式编程和程序分析领域。首先将C语言代码源程序转化为LLVM IR格式，并建立源程序变量与LLVM IR变量之间的映射关系；然后对LLVM IR中的每个变量进行访问路径的初始化。随后，对控制依赖集和数据依赖集进行初始化和更新，同时动态地计算和更新变量的访问路径，过程内的分析结果将以高阶化的函数摘要形式返回。本发明不仅显著提升了程序切片的精度，粒度从行级提升到了变量级，同时处理速度也有显著提升，为软件开发、测试和维护提供支持。
-
公开(公告)号：CN117093223A
公开(公告)日：2023-11-21
申请号：CN202311075050.1
申请日：2023-08-24
Applicant: 南京邮电大学
Abstract: 本发明公开了一种基于高阶函数的高效静态污点分析方法包括，采集数据并制定污点源、汇聚点及无害化处理的标记规则；将标记后的源程序转成中间表示语言IR，根据中间表示语言IR实际的调用关系构建函数调用图；根据获取的子过程分析顺序，构建程序P的高阶函数形式的函数摘要；利用构建的程序P的高阶函数形式的函数摘要，在过程调用点处对函数摘要的函数参数进行相应代入，获取由于过程调用和参数传递产生的依赖信息；获取污点标记处的依赖信息后，根据污点传播规则和无害化处理标记，对标注的污点源状态进行更新。本发明避免了传统构建依赖图的方法，提高了污点分析的效率，可以更高效的通过污点分析方法来检测软件中存在的漏洞问题。
-
公开(公告)号：CN110958232B
公开(公告)日：2022-12-06
申请号：CN201911153395.8
申请日：2019-11-22
Applicant: 南京邮电大学
Abstract: 本发明提出了一种基于CFF码和RS码的抗合谋电力数据指纹编码方法，包括以下步骤：合谋用户分组，根据设置的权重值划分不同场景分组，对场景分组的用户规模进行分析；分组内码生成，构建关联矩阵生成CFF码，将CFF码和I码结合起来作为分组内码，对内码进行扩展置乱；级联分组编码生成，将内码的分组用户码字集作为RS外码输入码元集，将生成的级联分组编码分配给用户；级联分组编码检测算法，合谋指纹预处理并进行阈值判断以确定合谋用户场景，对合谋指纹进行内码译码获取码元集，通过RS码对原始编码进行纠错得到嫌疑合谋内码集合，将嫌疑合谋内码集与合谋指纹进行匹配，确定合谋用户，追踪到泄密者。
-
公开(公告)号：CN109655066B
公开(公告)日：2022-05-17
申请号：CN201910071929.6
申请日：2019-01-25
Applicant: 南京邮电大学
Abstract: 本发明提供了一种基于Q(λ)算法的无人机任务规划方法，包括环境建模步骤，马尔科夫决策过程模型初始化步骤，Q(λ)算法迭代计算步骤，根据状态价值函数计算最优路径步骤，首先根据无人机最小航迹段长度初始化栅格空间，将栅格空间坐标映射为航路点，并对圆形和多边形威胁区域进行表示，然后建立马尔科夫决策模型，包括无人机飞行动作空间表示，状态转移概率的设计，奖励函数的构造，然后采用Q(λ)算法在构建的模型基础上进行迭代计算，并根据最终收敛的状态价值函数计算得出一条能够安全避开威胁区域的无人机的最优路径，本发明将传统的Q学习算法与效用追踪结合，提升了价值函数收敛的速度与精度，引导无人机避开威胁区域并进行自主路径规划。
-
Patent Agency Ranking
公开(公告)号：CN110032210B
公开(公告)日：2022-03-11
申请号：CN201910284107.6
申请日：2019-04-10
Applicant: 南京邮电大学
IPC: G05D1/10
Abstract: 本发明提供了一种基于延续传递风格的无人机编队的异常处理方法。基于延续传递风格的无人机编队的异常处理方法包括以下步骤：S1、获取、呈现无人机编队任务的流程控制步骤，并设定延续点；S2、模拟运行无人机编队任务的流程控制步骤，并捕获无人机编队任务执行过程中出现异常处的异常延续点；S3、调用无人机编队任务执行过程中的异常延续点，确定异常处的异常问题，并进行异常问题的修复；S4、异常问题修复后，自异常延续点重新运行无人机编队任务的流程控制步骤。本发明的基于延续传递风格的无人机编队的异常处理方法，利用函数式编程中延续传递风格来处理无人机执行编队任务时遇到的故障问题，以此提高无人机编队的异常处理的效率。
-
公开(公告)号：CN108306918B
公开(公告)日：2021-08-31
申请号：CN201710033453.8
申请日：2017-01-13
Applicant: 南京邮电大学盐城大数据研究院有限公司
IPC: H04L29/08
Abstract: 本发明公开了一种基于程序动态分析、自动获取用户在不同时间段访问网站信息的方法。首先使用动态插桩技术获取用户访问网页的行为，然后收集该行为并存储在一个变量中，同时使用代理按域名缓存用户访问的网页，然后使用工具Selenium设置定时，多次自动化访问同一个网页，再比较采集的文件，以发现用户的行为差异。本发明在多次自动化获取用户的动态行为方面有显著效果。
-
公开(公告)号：CN112580078A
公开(公告)日：2021-03-30
申请号：CN202011532367.X
申请日：2020-12-22
Applicant: 江苏方天电力技术有限公司 , 南京邮电大学
Abstract: 本发明提供了一种针对电力数据指纹的评估方法，包括选取针对电力数据库指纹的评估指标集、利用熵权法和层次分析法耦合优化确定权重、建立基于关联理论的数据指纹优度评价体系三个部分。首先针对电力数据指纹的多指标、复杂的评价任务，通过对电力数据库指纹使用场景进行分析，选取合理且全面的评估指标集；利用熵权法充分利用指标数据内在客观规律，在一定程度上消除评估的主观影响确定客观权重，利用层次分析法确定主观权重，再将主客观权重耦合得到最优权重解；利用关联理论计算关联度，构建电力数据指纹优度评价体系。本发明实现对电力数据指纹的全面客观评估，能够为电力数据指纹方案的选取提供依据。
-
公开(公告)号：CN112560099A
公开(公告)日：2021-03-26
申请号：CN202011532368.4
申请日：2020-12-22
Applicant: 江苏方天电力技术有限公司 , 南京邮电大学
IPC: G06F21/62
Abstract: 本专利提供了一种强鲁棒性的电力数据库指纹生成方法。为了解决复杂的电力数据在发布后数据库指纹易被破坏的问题，本发明针对查询(插入、删除、更新、查找)场景下的电力数据，结合多面体域的相关知识设计生成一种抵御多种外界攻击的强鲁棒性电力数据库指纹。首先利用浮点多面体域对进行查询操作的电力数据库程序语句分析得到相应的数值不变域，即多面体约束集。然后用多面体约束集表示电力数据库的不稳定属性生成稳定单元，提取基于语义的数据属性。最后哈希算法对稳定单元进行编码，将虚拟主键、属性最高位与指纹关联矩阵的异或值及稳定单元的编码值作为参数，构造出强鲁棒的电力数据库指纹，使其在查询场景下有更好的抵御攻击的能力。
-
公开(公告)号：CN108737411B
公开(公告)日：2021-03-16
申请号：CN201810459369.7
申请日：2018-05-15
Applicant: 南京邮电大学
Abstract: 本发明公开了一种基于动态手机号码技术的帐号注册方法，包括以下步骤：步骤一：用户先在第三方机构注册一个虚拟手机号码，并将该虚拟手机号码绑定用户的真实手机号码；步骤二：用户在能够提供虚拟手机号码绑定功能的注册系统注册网络账号，并将网络账号绑定虚拟手机号码；步骤三：注册系统通过第三方机构查询与网络帐号绑定的虚拟手机号码所对应的真实手机号码，并给真实手机号码发送验证码；步骤四：用户的真实手机号码接收到验证码后，用户将收到的验证码输入注册系统，完成账号注册。本发明的优点是：用户更换手机号码时，只需要去第三方机构更换绑定虚拟手机号码所对应的真实手机号码即可，即进行一次换绑操作就能完成所有账号的解绑或换绑。
-
-
-
-
-
-
-
-
-
Search Results
222
records
(took 0.032 seconds)
