CN103220685B - 基于动态规划的传感器网络软件模型检验方法 - Google Patents
基于动态规划的传感器网络软件模型检验方法 Download PDFInfo
- Publication number
- CN103220685B CN103220685B CN201310140565.5A CN201310140565A CN103220685B CN 103220685 B CN103220685 B CN 103220685B CN 201310140565 A CN201310140565 A CN 201310140565A CN 103220685 B CN103220685 B CN 103220685B
- Authority
- CN
- China
- Prior art keywords
- state
- node
- model
- dynamic programming
- character
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Fee Related
Links
Landscapes
- Mobile Radio Communication Systems (AREA)
- Arrangements For Transmission Of Measured Signals (AREA)
Abstract
Description
Claims (2)
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201310140565.5A CN103220685B (zh) | 2013-04-22 | 2013-04-22 | 基于动态规划的传感器网络软件模型检验方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201310140565.5A CN103220685B (zh) | 2013-04-22 | 2013-04-22 | 基于动态规划的传感器网络软件模型检验方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN103220685A CN103220685A (zh) | 2013-07-24 |
CN103220685B true CN103220685B (zh) | 2016-03-30 |
Family
ID=48818046
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201310140565.5A Expired - Fee Related CN103220685B (zh) | 2013-04-22 | 2013-04-22 | 基于动态规划的传感器网络软件模型检验方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN103220685B (zh) |
Families Citing this family (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN103888460B (zh) * | 2014-03-26 | 2017-09-12 | 南京邮电大学 | 基于状态空间搜索的控制器局域网协议验证方法 |
CN103970652B (zh) * | 2014-04-29 | 2016-08-17 | 南京邮电大学 | 基于有界模型检验的无线传感网软件代码验证方法 |
CN103970653A (zh) * | 2014-04-29 | 2014-08-06 | 南京邮电大学 | 一种传感器网软件可达性验证方法 |
CN104573224B (zh) * | 2015-01-05 | 2018-07-17 | 西安交通大学 | 一种基于模型检测技术的复杂机电系统可靠性评估方法 |
CN107228669B (zh) * | 2017-05-31 | 2019-10-18 | 同济大学 | 一种基于状态树的室内人员区域间运动事件检测方法 |
CN111211945A (zh) * | 2020-01-09 | 2020-05-29 | 全球能源互联网研究院有限公司 | 计及信息时效的嵌入式装置安全通信协议验证方法和系统 |
CN113923143B (zh) * | 2020-07-07 | 2023-04-07 | 中移(苏州)软件技术有限公司 | 一种云网络的调整方法、装置以及存储介质 |
Family Cites Families (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN201000670Y (zh) * | 2007-01-16 | 2008-01-02 | 天津市博技机电高科技有限公司 | 传动装置的智能故障诊断及修复装置 |
CN102307369B (zh) * | 2011-09-13 | 2013-11-27 | 北京科技大学 | 支持无线传感网并行仿真和实物模拟的装置及方法 |
CN102546063B (zh) * | 2012-02-24 | 2014-04-16 | 哈尔滨工业大学 | 无线传感器网络能耗仿真工具及其仿真方法 |
CN102682209B (zh) * | 2012-05-03 | 2014-11-05 | 桂林理工大学 | 有机污染物定量结构活性相关建模的变量筛选方法 |
CN102811480B (zh) * | 2012-06-19 | 2015-04-22 | 中国科学院计算技术研究所 | 基于物理脉冲耦合的无线传感器网络时间同步方法 |
CN102740393A (zh) * | 2012-07-13 | 2012-10-17 | 南京邮电大学 | 一种基于动态规划的无线传感器网络路由方法 |
-
2013
- 2013-04-22 CN CN201310140565.5A patent/CN103220685B/zh not_active Expired - Fee Related
Also Published As
Publication number | Publication date |
---|---|
CN103220685A (zh) | 2013-07-24 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN103220685B (zh) | 基于动态规划的传感器网络软件模型检验方法 | |
Robidoux et al. | Automated modeling of dynamic reliability block diagrams using colored Petri nets | |
CN108664400A (zh) | 一种基于相依贝叶斯网络的故障诊断技术的构建方法 | |
Heidarian et al. | Analysis of a clock synchronization protocol for wireless sensor networks | |
CN105677563A (zh) | 一种基于SysML模块图的集成测试序列生成方法 | |
CN102624476B (zh) | 一种基于模型检测的无线传感器网络时间同步检验方法 | |
CN109408521A (zh) | 一种用于更新区块链全局数据状态的方法及其装置 | |
CN107330589A (zh) | 卫星网络协调风险的定量化评估方法及系统 | |
CN105243245A (zh) | 一种基于Petri网的电路模块故障机理相关关系的可靠性建模方法 | |
Mo et al. | Network simplification and K-terminal reliability evaluation of sensor-cloud systems | |
Zhang et al. | Modeling and evaluation of wireless sensor network protocols by stochastic timed automata | |
CN104267936A (zh) | 基于树语义的异步动态下推网络可达性分析方法 | |
CN103646194A (zh) | 一种基于形式化验证的同步数据流程序的可信排序方法 | |
Maissa et al. | Modeling and analyzing wireless sensor networks with VeriSensor | |
CN102662848B (zh) | 一种贝叶斯软件可靠性验证测试方法及其计算机辅助工具 | |
CN103888460A (zh) | 基于状态空间搜索的控制器局域网协议验证方法 | |
CN105389434A (zh) | 一种用于多故障模式云计算平台的可靠性评估方法 | |
CN103970653A (zh) | 一种传感器网软件可达性验证方法 | |
CN102957206B (zh) | 面向智能电网的多粒度离线模型拼接方法 | |
Heidarian Dehkordi | Studies on verification of wireless sensor networks and abstraction learning for system inference | |
Bondavalli et al. | The hidenets holistic approach for the analysis of large critical mobile systems | |
CN104468196A (zh) | 基于证据筛选的虚拟网络故障诊断方法及装置 | |
Chu et al. | CPSSim: simulation framework for large-scale cyber-physical systems | |
Shao et al. | Fault Tracing Method for Relay Protection System–Circuit Breaker Based on Improved Random Forest | |
Li et al. | Reliability analysis for command‐and‐control systems based on edge extension diagram and binary decision diagram |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
C14 | Grant of patent or utility model | ||
GR01 | Patent grant | ||
EE01 | Entry into force of recordation of patent licensing contract |
Application publication date: 20130724 Assignee: Jiangsu Nanyou IOT Technology Park Ltd. Assignor: NANJING University OF POSTS AND TELECOMMUNICATIONS Contract record no.: 2016320000214 Denomination of invention: Sensor network software model test method based on dynamic programming Granted publication date: 20160330 License type: Common License Record date: 20161117 |
|
LICC | Enforcement, change and cancellation of record of contracts on the licence for exploitation of a patent or utility model | ||
EC01 | Cancellation of recordation of patent licensing contract |
Assignee: Jiangsu Nanyou IOT Technology Park Ltd. Assignor: NANJING University OF POSTS AND TELECOMMUNICATIONS Contract record no.: 2016320000214 Date of cancellation: 20180116 |
|
EC01 | Cancellation of recordation of patent licensing contract | ||
CF01 | Termination of patent right due to non-payment of annual fee |
Granted publication date: 20160330 |
|
CF01 | Termination of patent right due to non-payment of annual fee |