-
公开(公告)号：CN103970653A
公开(公告)日：2014-08-06
申请号：CN201410179197.X
申请日：2014-04-29
Applicant: 南京邮电大学
IPC: G06F11/36
Abstract: 本发明提出一种传感器网软件可达性验证方法，该方法首先将无线传感网软件用模型表示，该模型用来描述节点以及节点之间的状态迁移，然后用粒子群算法对所得的软件模型进行优化，在具体实施总可以时序逻辑公式来表示无线传感网软件所需要满足的属性或性质，将对无线传感网软件的验证转化为验证软件模型是否满足公式来判断系统性质。本发明方法通过对可达性验证路径的优化，能够有效地对传感器网软件进行可达性验证，并保持具有较强的灵活性。
-
公开(公告)号：CN104657472A
公开(公告)日：2015-05-27
申请号：CN201510079140.7
申请日：2015-02-13
Applicant: 南京邮电大学
IPC: G06F17/30
CPC classification number: G06F17/30705 , G06N3/126
Abstract: 本发明给出一种英文文本聚类方法，该方法首先将英文文本进行预处理成向量空间模型，然后在聚类过程中，第一步是随机选取n个聚类中心，对于聚类中心，利用欧氏距离进行聚类的划分，使同一类的文本归为一个聚类，这样完成得到一个局部最优的聚类划分；第二步是进行进化算法的处理，所用到的是联姻的思想以及基因交叉变异的过程进行新一代聚类中心的选择，通过与文本间距离最近的原则进行聚类划分从而达到全局最优。本发明能够对英文文本进行有效聚类，剔除不必要的聚类结果，使得聚类过程较快收敛。
-
公开(公告)号：CN103970652A
公开(公告)日：2014-08-06
申请号：CN201410179163.0
申请日：2014-04-29
Applicant: 南京邮电大学
Abstract: 本发明所述的一种基于有界模型检验的无线传感网软件代码验证方法，该方法首先通过对无线传感网软件源代码分析并建立动态查找表，然后建立软件模型，该模型是无线传感网软件源代码的静态结构和动态行为的抽象，在此基础上定义模型转换规则，实现软件模型转化向C语言的代码转化，最后使用有界模型检验工具对转化后的代码进行有界模型检验。本发明能够有效缓解无线传感网软件模型检验中的状态空间爆炸问题，可应用于无线传感网系统验证。
-
公开(公告)号：CN103970652B
公开(公告)日：2016-08-17
申请号：CN201410179163.0
申请日：2014-04-29
Applicant: 南京邮电大学
Abstract: 本发明所述的一种基于有界模型检验的无线传感网软件代码验证方法，该方法首先通过对无线传感网软件源代码分析并建立动态查找表，然后建立软件模型，该模型是无线传感网软件源代码的静态结构和动态行为的抽象，在此基础上定义模型转换规则，实现软件模型转化向C语言的代码转化，最后使用有界模型检验工具对转化后的代码进行有界模型检验。本发明能够有效缓解无线传感网软件模型检验中的状态空间爆炸问题，可应用于无线传感网系统验证。
-
-
-
Search Results
4
records
(took 0.018 seconds)
