Wireless Sensor Networks (wsns) have a limited power source which is a small battery installed in each node. The main concern in designing wsns is how to extend the lifetime of network nodes. Power consumption in wsns...
详细信息
ISBN:
(纸本)9781479952496
Wireless Sensor Networks (wsns) have a limited power source which is a small battery installed in each node. The main concern in designing wsns is how to extend the lifetime of network nodes. Power consumption in wsns has been investigated in a lot of research. In this paper we propose a novel power saving algorithm which has a low computational complexity in comparison with existing coding/decoding schemes. Instead of decoding every received signal our proposed algorithm avoid the high computational complexity via analyzing the sanity of the received packet. So, the receiver can detect collisions and determine when the transmitted signals need to be decoded. Our proposed algorithm achieves a significant power saving due to avoid decoding of transmitted signals which involve in collisions. Based on two proposed algorithm metrics, thresholds, modulation schemes and different scenarios, we use MATALB to show performance gains of our proposed algorithm.
We describe an approach of using the evaluation mechanism of the specification and verification system PVS to support formal design exploration of wsn algorithms at the early stages of their development. The specifica...
详细信息
ISBN:
(纸本)9783540876977
We describe an approach of using the evaluation mechanism of the specification and verification system PVS to support formal design exploration of wsn algorithms at the early stages of their development. The specification of the algorithm is expressed with an extensible set of programming primitives, and properties of interest are evaluated with ad hoc network simulators automatically generated from the formal specification. In particular, we build on the PVSio package as the core base for the network simulator. According to requirements, properties of interest can I)e simulated at different levels of abstraction. We illustrate our approach by, specifying and simulating a standard routing algorithm for wireless sensor networks.
暂无评论