-
公开(公告)号：CN115168085A
公开(公告)日：2022-10-11
申请号：CN202210719649.3
申请日：2022-06-23
Applicant: 南京邮电大学
Abstract: 一种基于diff代码块匹配的重复冲突方案检测方法，对于具有大量历史合并代码的数据库，如从一个代码仓库向另一个代码仓库迁移，或一个代码库存在相似更新等现实场景，利用大量已经解决好合并问题的代码仓库信息，抽取出相关的合并解决方案。其次，对于获取到历史合并冲突的解决方案将其存储到数据库。然后，遇到现有冲突的时候，利用保存的冲突解决方案来进行合并方案的推荐。最后，基于历史信息解决的冲突，将其在数据库中的是更新时间进行更新。
-
公开(公告)号：CN111241576B
公开(公告)日：2022-07-01
申请号：CN202010003811.2
申请日：2020-01-03
Applicant: 南京邮电大学
Abstract: 本发明提供了一种用于数据库分发保护的零水印方法，首先，在数据库分发前，针对不同的分发用户，将原数据库的表重组为不同的表结构和个数L，对于重组后的表，使用T‑F表存储。其次，利用属性分类的思想对重组后的数据库进行零水印的嵌入，使用随机森林对变量重要性的评分来选取重要的属性进行特征提取。然后，生成的水印密钥注册到证书颁发机构中，抵抗混淆身份验证的攻击。最后，当有泄密的数据库被发现时，根据T‑F表来初步判定首次分发的用户，再对其进行零水印的提取检测，通过比对提取出来的水印密钥与证书颁发机构中注册的水印来完成最终的版权判定，实现对首次分发的溯源。本发明相比于传统的零水印方案增加了泄密溯源的能力。
-
公开(公告)号：CN110990055B
公开(公告)日：2022-07-01
申请号：CN201911321383.1
申请日：2019-12-19
Applicant: 南京邮电大学
Abstract: 本发明为一种基于程序分析的Pull Request功能分类方法：首先，对当前版本项目和Pull Request中修改文件的提取。其次，对于待分析的程序，使用程序分析框架Soot，选择传递方式生成调用图Callgragh，遍历Callgragh直到调用的是第三方库提供的方法，将遍历到的节点和边保存到数据库中。然后，读取并分析数据库中保存的节点和边的关系，以Pull Request中的文件作为图的节点，构建图的邻接表结构。最后，基于图的深度优先遍历算法遍历邻接表的所有结点，以遍历的结果作为文件的功能分类，针对无调用关系的文件，以文件后缀名进行处理。
-
公开(公告)号：CN113326485A
公开(公告)日：2021-08-31
申请号：CN202110494761.7
申请日：2021-05-07
Applicant: 南京邮电大学
Abstract: 本发明公开了一种基于动态网络表示学习的抗近邻合谋数字指纹生成方法，首先，用动态社交网络构造连续时间网络，利用连续时间网络的邻居结构的影响概率进行有偏向的随机游走以获得节点采样序列。然后通过Skip‑gram模型训练节点采样序列，使得网络结构上邻近的用户具有相似的用户特征向量码，依据用户特征向量码构造数字指纹可追踪到近邻的合谋用户。最后，针对单独的抗合谋码的辨识性会减弱的问题，结合上述用户特征向量码和CFF码共同构造数字指纹，可在合谋人数增多时准确追踪到合谋用户。在高交互的社交网络中合谋泄密者的关系随时间演化，本发明使用邻居结构的影响概率保留了用户之间的近邻关系，可在动态的社交网络环境下追踪到近邻合谋泄密者。
-
公开(公告)号：CN107358099B
公开(公告)日：2020-05-05
申请号：CN201710431448.2
申请日：2017-06-09
Applicant: 南京邮电大学
IPC: G06F21/56
Abstract: 本发明公开一种基于LLVM中间表示程序切片的无用变量检测方法，从加入了无用变量的程序源代码开始，首先将源代码转化为LLVM中间表示的形式，接着利用程序切片技术对LLVM中间表示进行分析得到程序依赖图，之后对程序依赖图抽取和化简，得到变量距离图，最后设定距离阈值，在变量距离图上计算输出变量与其他变量的距离，判断源代码中是否存在无用变量。本发明能够有效检测出源代码中加入的无用变量，同时在检测不同语言的源代码时具有通用性。
-
Patent Agency Ranking
公开(公告)号：CN110275830A
公开(公告)日：2019-09-24
申请号：CN201910510606.2
申请日：2019-06-13
Applicant: 南京邮电大学
Abstract: 本发明提供了基于延续的无人机编队飞控系统的动态调试方法，包括完成状态机转换步骤，设置实时断点步骤，停止无人机执行任务并保存状态步骤，读取状态并恢复无人机任务执行步骤。首先将无人机的飞行控制系统中编队构成部分编译成可手动控制的结构，即将无人机编队飞控系统的原程序代码转变成状态机，然后设置实时断点的位置，检查状态机中每一步，判断所有的断点，最后确定最新设置的断点。确定好断点所在的位置之后，根据函数式编程中的延续（Continuation）技术概念，让无人机在此处停止当前的执行任务，保存状态机信息和重要参数。检查程序这一步是否有问题，没有出现异常就让无人机从断点处恢复，继续开始执行任务。
-
公开(公告)号：CN110046851A
公开(公告)日：2019-07-23
申请号：CN201910268757.1
申请日：2019-04-03
Applicant: 南京邮电大学
Abstract: 本发明公开了基于Multi-Paxos的无人车物流任务分配方法，具体包括以下步骤：步骤一：构建两层次物流物理模型和三阶段任务状态模型，形成同城物流运输的具体场景；步骤二：无人车利用Multi-paxos选举算法对任务进行竞选；步骤三：无人车基于TSP旅行商问题用分支限界算法确定获得的任务包序列。本发明利用Multi-Paxos选举算法进行任务分配，分支限界法进行任务点序列的确定，在控制去中心化物流运输系统场景上，更加适用于当今例如外卖等的同城物流模式，实现更加高效的动态无人车任务分配，创造更短的平均任务完成时间和更加稳健的调度系统。
-
公开(公告)号：CN106157231B
公开(公告)日：2018-11-27
申请号：CN201610482879.7
申请日：2016-06-27
Applicant: 南京邮电大学
IPC: G06T1/00
Abstract: 本发明公开了一种基于改进Arnold变换和LSB的图像信息加密及解密方法，本方法首先运用改进的Arnold变换对图像进行预处理，然后将其用LSB算法嵌入在背景图像中构造出含有加密图像的新图像。加密过程主要分为四大步骤：计算出背景图像能够容纳的信息量、输入密钥，并使用改进的Arnold变换对隐藏信息图像进行预处理、存储隐藏信息图像的尺寸、使用LSB算法将隐藏信息图像嵌入到背景图像中。解密过程主要分为三大步骤：提取隐藏信息图像尺寸、由LSB算法提取隐藏信息图像、输入密钥并对提取后的隐藏信息图像进行Arnold反变换解密。本发明大大加强了信息的保密性。
-
公开(公告)号：CN108763069A
公开(公告)日：2018-11-06
申请号：CN201810465966.0
申请日：2018-05-15
Applicant: 南京邮电大学
IPC: G06F11/36
CPC classification number: G06F11/3684 , G06F11/3676
Abstract: 本发明公开了一种基于信息熵粒子群算法的测试用例生成方法，包括以下步骤：步骤一：确定需要覆盖的组合集；步骤二：为需覆盖组合集中的每个组合分别生成含有部分值缺省的初始测试用例；步骤三：对需覆盖组合集中的组合进行优先级排序；步骤四：选择优先级最高的组合，并采用信息熵粒子群算法为该组合对应的初始测试用例中待确定的值选择最佳取值，生成所有值都确定的完整测试用例；步骤五：将步骤四生成的完整测试用例添加到需覆盖组合集中并删除被覆盖组合；步骤六：重复步骤四与步骤五，直至需覆盖组合集中的所有组合都被完整测试用例覆盖，生成覆盖范围广且数量少完整测试用例集。本发明具有能有效生成覆盖范围广且数量少的测试用例集的优点。
-
公开(公告)号：CN108170147A
公开(公告)日：2018-06-15
申请号：CN201711495472.9
申请日：2017-12-31
Applicant: 南京邮电大学
CPC classification number: G05D1/0202 , G06N3/04
Abstract: 本发明提供了一种基于自组织神经网络的无人机任务规划方法，包括自组织神经网络初始化步骤，选取获胜节点步骤，计算获胜节点的优胜邻域步骤，网络参数更新步骤，动态响应步骤。首先初始化网络结构和节点权值，对权值进行归一化处理，然后接收输入向量，选择与输入向量内积最大的节点作为获胜节点，计算所有在获胜节点的优胜邻域内的节点，并对这些节点的权值按其离开获胜节点的距离不同程度地进行更新。当有突发情况时，动态调整网络的参数以及时响应。本发明对获胜邻域内的节点更新权值，算法的执行过程中加入了多约束条件，引入混乱机制解决无人机在多个任务点迂回问题，采用动态响应机制，提升了无人机集群在动态环境中的适应性，实现了更加有效的无人机任务规划。
-
-
-
-
-
-
-
-
-
Search Results
222
records
(took 0.034 seconds)
