-
公开(公告)号：CN110162096A
公开(公告)日：2019-08-23
申请号：CN201910541989.X
申请日：2019-06-21
Applicant: 南京邮电大学
IPC: G05D1/10
Abstract: 本发明提供了一种基于人工势场法的无人机编队队形形成和保持方法，具体步骤包括：无人机属性初始化，设计无人机编队队形，计算编队无人机对应的期望无人机坐标位置，设置编队无人机与对应的期望无人机的吸引势场函数，设置编队无人机之间的排斥势场函数，编队无人机动态响应。本发明利用人工势场算法，结合编队无人机与对应的期望无人机的位置差和速度差，实现了无人机的编队队形形成和保持，并提升了无人机机群编队队形形成效率。
-
公开(公告)号：CN109981161A
公开(公告)日：2019-07-05
申请号：CN201910191364.5
申请日：2019-03-13
Applicant: 南京邮电大学
IPC: H04B7/185
Abstract: 本发明公开了一种基于发布订阅的多无人机通信模式的设计方法，包括以下步骤：步骤（1）：根据多无人机通信时对于动态性与可靠性的需求，结合各类发布订阅系统的结构特点设计通信模式的拓扑结构；步骤（2）：将无人机的能力与状态抽象为订阅，设计通信模式的订阅模型，将任务目标与任务约束抽象为事件，设计通信模式的事件模型；步骤（3）：依照步骤（2）设计出的订阅模型与事件模型，结合多无人机通信过程中对于信息实时传递的需求设计通信模式的事件‑订阅匹配机制。本发明具有动态性、可靠性与松耦合性，能使多无人机在复杂多变的战场环境下仍能保证一定的通信质量的优点。
-
公开(公告)号：CN109872001A
公开(公告)日：2019-06-11
申请号：CN201910150788.7
申请日：2019-02-28
Applicant: 南京邮电大学
Abstract: 本发明公开了一种基于K-means和离散粒子群算法的多无人车任务分配方法，包括以下步骤：S1、物流场景信息初始化；S2、物流任务打包：使用K-means算法确定最佳打包结果，其打包个数为k；S3、取k辆可用无人车，匹配每个任务包的执行无人车；S4、对每一辆无人车用离散粒子群算法确定其任务序列。本发明的方法结合聚类思想和群智优化算法对多无人车任务分配问题进行解答，使用离散化的粒子群算法进行多无人车的任务分配，粒子群算法的收敛速度快，离散化的迭代方式使算法更适用于实际的物流场景。并且在使用粒子群算法前先用K-means聚类算法对任务进行打包，极大地减小了解空间的大小，提高了任务分配效率。
-
公开(公告)号：CN109472520A
公开(公告)日：2019-03-15
申请号：CN201811570938.1
申请日：2018-12-21
Applicant: 南京邮电大学
Abstract: 本发明提供了一种基于区块链的多无人机任务分配方法，包括将无人机任务信息发布到区块链上，区块链同步无人机任务信息至各个无人机节点；当所述无人机节点接收到无人机任务信息后，构建优化目标函数并计算优化目标函数结果；在区块链获得了所有无人机节点的优化目标函数结果之后执行智能合约，即将所有无人机节点的优化目标函数结果作为竞价采用拍卖算法对多无人机任务分配问题进行求解，最终获得当前任务的分配结果。本发明使用了分布式的拍卖算法提高了任务分配的速率和稳定性，并且分布式拍卖算法的去中心化思想可以和区块链完美结合；本发明利用了区块链的不可删改性，极大地提高了拍卖算法过程中的安全性和抗干扰能力。
-
公开(公告)号：CN109460354A
公开(公告)日：2019-03-12
申请号：CN201811202039.6
申请日：2018-10-16
Applicant: 南京邮电大学
IPC: G06F11/36
Abstract: 本发明提出了一种基于RDF推理进行测试用例约简的方法，包括预处理步骤，OWL建模，初步推理，进一步推理及测试用例约简。该方法从含有RDFa的HTML源代码出发，提取出RDF的信息，并生成初始的RDF图；利用工具进行owl建模，并完成初步推理工作；分析owl模型中元素间的关系，完善元素的属性等，设计推理规则，利用推理工具推导出页面元素间隐含的关系，生成完善的RDF图；结合RDF图生成测试用例的原理，标记出所有的测试路径，根据测试路径对已经生成的测试路径进行约简，最终生成精简的测试用例集。该方法能够生成覆盖范围广，数量少的精简测试用例集，同时提高了测试效率，降低测试成本。
-
Patent Agency Ranking
公开(公告)号：CN108650183A
公开(公告)日：2018-10-12
申请号：CN201810465969.4
申请日：2018-05-15
Applicant: 南京邮电大学
IPC: H04L12/741 , H04L29/08 , H04L29/12 , G06F17/30
Abstract: 本发明公开了一种基于Web动态路由匹配技术的无人机信息查询系统，包括前端框架、通信层与表现层；所述前端框架用于对用户输入的URL地址进行URL参数解析得到查询参数，并将解析出的查询参数发送给通信层；所述通信层用于接收前端框架发送的查询参数，并将前端框架解析出的查询参数发送给服务器，同时能接收服务器根据查询参数返回的无人机信息数据，以及能将所接收的无人机信息数据发送给表现层；所述表现层用于接收通信层发送的无人机信息数据，并能根据无人机信息数据渲染页面。本发明具有使用方便且查询速度快的优点。
-
公开(公告)号：CN104166668B
公开(公告)日：2018-02-23
申请号：CN201410254094.5
申请日：2014-06-09
Applicant: 南京邮电大学
IPC: G06F17/30
Abstract: 本发明提供一种基于FOLFM模型的新闻推荐系统及方法，在基于内容推荐方法的基础上，利用隐类模型和内容特征对新闻内容模型进行抽象表达，为每个用户构建其个性化的隐类偏好模型。通过对用户的实时行为记录进行实时训练得到用户对于某个隐类新闻的偏好，计算决定新闻是否推荐给用户，并经过一系列的处理过程得到最终的新闻推荐列表，本发明深入挖掘用户兴趣，提高推荐准确率及用户满意度，避免新闻的冷启动问题，在尽可能提高推荐效果的情况下保证性能。经实验表明，本发明既保证了高精度和高速度要求，又实现了用户视觉上的实时推荐。
-
公开(公告)号：CN104572474B
公开(公告)日：2017-09-29
申请号：CN201510050259.1
申请日：2015-01-30
Applicant: 南京邮电大学
IPC: G06F11/36
Abstract: 本发明是一种基于动态切片的轻量级错误定位方法，最顶层是测试用例生成模块，主要负责测试用例的自动化生成。第二层是程序状态修改模块，主要负责动态地改变谓词的结果，以产生值得进行切片的关键谓词。其余模块分别是断点分析模块、切片分析模块和可疑度统计模块；其中，断点分析模块主要负责分析程序崩溃的情况，对内存泄漏和堆栈溢出情况下无法正常执行结束的程序进行分析；切片分析模块主要是对依赖图进行动态切片，切片之后的结果以执行了程序哪几行的形式反馈给用户，用户根据切片结果，对其进行初步分析；可疑度统计模块主要负责计算每条可疑语句块的可疑度。大大减少了切片的工作量。精确的计算出程序崩溃时候的切片语句。
-
公开(公告)号：CN106933572A
公开(公告)日：2017-07-07
申请号：CN201710089449.3
申请日：2017-02-20
Applicant: 南京邮电大学
Abstract: 本发明公开了一种基于LLVM中间表示程序切片的度量模型，包括：将源程序通过LLVM命令行转换成对应的LLVM IR语言；构建程序系统依赖图，对程序LLVM IR语句切片；根据程序切片的结果和源程序转换得到的LLVM IR语句得到程序中各模块的模块大小，输出变量的个数，根据各度量模块所有输出变量的切片集中最大的切片集大小和最小的切片集的大小，和所有变量的公共切片集；将上步所得值带入度量函数中，完成对函数的LLVM IR度量,然后计算程序的Halstead度量；将程序所有度量结果先去除具有相同作用的度量值，再构建复杂性度量函数Complexity,并对程序的各个模块的Complexity进行计算并根据其大小进行排序，软件开发或测试可根据各模块的复杂度大小合理分配开发资源，并进行错误检测。本发明有效提高了程序切片的通用性和度量精度。
-
公开(公告)号：CN105787593A
公开(公告)日：2016-07-20
申请号：CN201610109994.X
申请日：2016-02-29
Applicant: 南京邮电大学
CPC classification number: G06Q10/04 , G06Q10/063
Abstract: 本发明公开了一种构造有限集合部分覆盖的方法，主要分为五个步骤：构造有限集合、求有限集合的所有划分、求第一层覆盖、构造其余覆盖以及查重。在求得有限集合A的划分的基础上进行构造，由于划分本身就是一种覆盖，因此不需要再判断所求结果是否为集合的覆盖，相较于穷举法来说，节省了大量的存储空间及运行时间；可以根据给定的约束条件来构造解空间，在此解空间上寻找问题的优化解，大大减少原搜索空间的范围，提高求解效率。
-
-
-
-
-
-
-
-
-
Search Results
222
records
(took 0.03 seconds)
