Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

A Dynamic Programming-Based Verification Method for Sensor Network Software Model

A sensor network and software model technology, applied in network topology, network planning, electrical components, etc., to achieve the effect of clear and complete thinking, space-time complexity, and optimization of space-time complexity

Inactive Publication Date: 2016-03-30
NANJING UNIV OF POSTS & TELECOMM
View PDF6 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005]Technical problem: the purpose of this invention is to establish a sensor network software model verification method based on dynamic programming, to solve the problem of sensor network software verification, to overcome the verification in scale, dynamic Challenges in terms of gender and resource constraints, and alleviate the state space explosion problem by discovering the state space structure characteristics of the formal model of the sensor network

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • A Dynamic Programming-Based Verification Method for Sensor Network Software Model
  • A Dynamic Programming-Based Verification Method for Sensor Network Software Model
  • A Dynamic Programming-Based Verification Method for Sensor Network Software Model

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0044] Certain embodiments of the accompanying drawings of the present invention are described in more detail below.

[0045] According to attached figure 1 , the present invention is built on the basis of model checking technology, and the specific implementation mode is:

[0046] 1. System modeling

[0047] Assuming that the wireless sensor network adopts a hierarchical structure, each network node is assigned a level, the root node is level 0, and a node at level i can communicate with at least one node at level (i-1); after the network is deployed, the root node The node broadcasts the level discovery group to start the level discovery phase. The level discovery group contains the number and level of the node; after the neighbor node receives the group, it sets its own level as the level in the group plus 1, and then broadcasts a new level discovery group; the node After receiving the broadcast packet of the i-level node, record the number of the node that sent the broad...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention discloses a sensor network software model test method based on dynamic programming. The sensor network software model test method based on the dynamic programming comprises system modeling, model preprocessing and model feature verification. The system modeling builds an abstract time state automat model through a set of process method. The model preprocessing is used for reducing states which do not have influences on verification process in an automat. The model feature verification utilizes a memory searching verification method based on dynamic programming thinking. The sensor network software model test method based on the dynamic programming can effectively verify whether relative network protocols satisfy requirements or not and solves the problem of state space explosion in verification process, and given system verification process is low in space-time complexity.

Description

technical field [0001] The invention relates to a method for state space search in sensor network software model inspection, which mainly utilizes the idea of ​​dynamic programming to alleviate the problem of state space explosion, and belongs to the cross-technical application field of computer technology, wireless communication, sensor technology, topology control technology and verification technology . Background technique [0002] Advances in sensor technology, micro-electromechanical systems, modern networks, and wireless communications have promoted the emergence and development of modern wireless sensor networks. The wireless sensor network expands people's ability to obtain information, connects the physical information of the objective world with the transmission network, and will provide people with the most direct, effective and real information in the next generation network. A wireless sensor network is a wireless network composed of a group of sensor nodes in...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Patents(China)
IPC IPC(8): H04W16/18H04W24/00H04W84/18
Inventor 陈志黄洵松毛博曹壹岳文静曾雅芸迟文东
Owner NANJING UNIV OF POSTS & TELECOMM
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com