Home | Business News | Browse by Publication | M | Michigan Academician

Computers.

Article Excerpt
Self Organizing Sensor Networks Maximal Coverage Using Autonomous Mobil Nodes. Swapna Ghanekar, Fatma Mili and Imad Elhajj, Oakland University, Computer Science and Engineering, Rochester, MI

Advances in sensing and communication technology make sensor networks a convenient and cost effective tool for collecting data in hard to reach and hazardous areas. Increasingly, sensor networks are used to monitor the environment and enable swift and accurate intervention. Environmental monitoring is characterized by the facts that the area under surveillance tend to be large whereas incidents tend to be both sparse in time and localized. In this research, we investigate means by which we get full coverage, so that we do not miss events of interest, and low cost, so that we do not deploy too many sensors in areas where nothing is happening. To solve this problem, we propose using a combination of static and mobile sensor nodes. Initially, all nodes would be randomly deployed. The mobile sensor nodes are constantly on the lookout for "interesting" events. They move to areas where they can contribute useful and relevant information. As the dynamics of the events move, so do they. This paper describes the algorithm a node uses to determine whether it should move or not and to decide if it is in a sufficiently interesting area. We also discuss simulation results.

Proof Correctness Methods Applied to an Algorithm for Finding an Integer's Smallest Prime Divisor. Mike Zeiger, Eastern Michigan University, Department of Computer Science, Ypsilanti, MI 48197

In formal methods theory, a well-known theorem on loop correctness is usually used in the derivation of programs. In this paper,...

View this article FREE - Now for a Limited Time, try Goliath Business News
Free for 3 Days!