-
题名高效容错的无线传感网事件及其边界检测算法
被引量：7
- 1
-
-
作者
徐小龙
耿卫建
杨庚
李玲娟
杨震
-
机构
南京邮电大学计算机学院南京
计算机软件新技术国家重点实验室南京大学南京
江苏省无线传感网高技术研究重点实验室南京邮电大学南京
宽带无线通信与传感网技术教育部重点实验室南京邮电大学南京
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2014年第5期997-1008,共12页
-
基金
国家自然科学基金项目(61202004)
中国博士后科学基金项目(2011M500095,2012T50514)
+3 种基金
江苏省博士后科研资助计划项目(1102103C)
江苏省自然科学基金项目(BK2011754,BK2009426)
江苏省高校自然科学研究计划项目(12KJB520007)
南京大学计算机软件新技术国家重点实验室基金项目(KFKT2012B21)
-
文摘
事件检测与事件边界检测是无线传感器网络的重要应用之一,节点故障的准确检测是提高事件与事件边界检测效率的前提.然而,目前的故障检测机制对节点故障类型分析不够明晰,导致系统可能将事件边界节点误判为故障节点,且常需要传感器节点间进行频繁通信,导致网络系统容错性能和节点利用率低下,并带来额外的能耗开销.为了达到较高的检测精度与能源利用率,提出了一种新的高效容错的无线传感网事件及其边界检测算法:利用时间相关性实现无线传感器网络事件检测,利用空间相关性实现故障检测与事件边界检测;提出了节点的信息可靠度恢复机制,使得节点能够根据网络环境的变化,自动调整节点的信息可靠度.实验结果表明,即使在故障概率较高的情况下,该策略仍然具有良好的性能表现.
-
关键词
无线传感网
故障检测
事件检测
事件边界检测
能耗
-
Keywords
wireless sensor networks （WSNs） fault detection event detection
event boundarydetection energy consumpti, on
-
分类号
TP393.09
[自动化与计算机技术—计算机应用技术]
-
-
题名基于递归神经网络局部建模的人群异常事件监测
被引量：2
- 2
-
-
作者
蔡瑞初
陈恬
郝志峰
谢伟浩
温雯
-
机构
广东工业大学计算机学院
计算机软件新技术国家重点实验室南京大学
佛山科学技术学院数学与大数据学院
-
出处
《计算机应用研究》
CSCD
北大核心
2018年第6期1900-1905,共6页
-
基金
NSFC-广东联合基金资助项目(U1501254)
国家自然科学基金资助项目(61472089
+7 种基金
61572143)
广东省自然科学基金资助项目(2014A030306004
2014A030308008)
广东省科技计划资助项目(2013B051000076
2015B010108006
2015B010131015)
广东特支计划资助项目(2015TQ01X140)
广州市珠江科技新星资助项目(201610010101)
-
文摘
针对密集人群建模困难、异常事件检测可靠性差等问题,提出了一种基于递归神经网络局部建模的人群异常事件监测与定位方法。该方法首先对人群场景进行网格划分,提取多尺度光流统计直方图特征,并按照一定规则进行特征选择,建立人群动态序列事件表示;然后采用递归神经网络对人群场景进行局部细粒度建模和预测;最后基于前后帧重构误差进行异常事件判定,实现异常事件的监测和定位。在公共数据集UCSD上进行的对比实验结果验证了该方法的有效性。
-
关键词
人群异常监测
异常定位
递归神经网络
无监督学习
重构误差
-
Keywords
abnormal crowd monitoring
abnormal localization
recurrent neural network
unsupervised learning
reconstruction error
-
分类号
TP183
[自动化与计算机技术—控制理论与控制工程]
-
-
题名设备自动巡检控制逻辑的层级时间自动机建模与验证
- 3
-
-
作者
孙程
邢建春
杨启亮
韩德帅
-
机构
解放军理工大学国防工程学院
计算机软件新技术国家重点实验室南京大学
-
出处
《计算机科学》
CSCD
北大核心
2017年第4期66-71,78,共7页
-
基金
江苏省自然科学基金(BK20151451)
装备预先研究基金(9140A06050215JB25091)
计算机软件新技术国家重点实验室(南京大学)开放课题(KFKT2014B12)资助
-
文摘
地下建筑工程中的设备系统经常处于静止状态,为保证其在需要时能安全可靠地运行,需对设备进行定期的自动巡检。在自动巡检的过程中,设备自动巡检控制逻辑起到了举足轻重的作用。为了解决复杂的设备自动巡检控制逻辑造成的一系列问题,之前提出了一种层级有限自动机(HFA)的形式化模型,并利用HFA对设备自动巡检控制逻辑实现了行为建模,但并未添加时间属性,也未验证其正确性与可靠性。现提出一种层级时间自动机形式化模型,并利用它对设备自动巡检控制逻辑进行建模,再利用UPPAAL对其进行分析与形式化验证,分别验证其安全性、可达性、活性及时间约束,以此来确保其时效正确性与可靠性。这种建模与形式化验证方法弥补了之前无时间约束的漏洞,有效确保了设备自动巡检控制逻辑的正确性与可靠性。最终,该模型通过了模拟和验证,这充分证明了设备自动巡检控制逻辑是正确可靠的。
-
关键词
自动巡检
层级时间自动机
UPPAAL
模型检测
-
Keywords
Automatic polling
Hierarchical timed automata
UPPAAL
Model checking
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
