are shown. Finally, several conclusions are drown in
Section 5.
2 PROBLEM FORMULATION
A Wireless Sensor Network is a wireless network
formed by sensor nodes. Each sensor node sens an
area around itself called its sensing area. A parameter
called sensing radius determines the sensitivity range
of the sensor node and thus the sensing area. The
nodes communicate among themselves using wireless
communication links. These links are determined by
a communication radius. A special node in the WSN
called High Energy Communication Node (HECN) is
responsible for external access to the network. There-
fore, every sensor node in the network must have
communication with the HECN. Since the communi-
cation radius is often much smaller than the network
size, direct links are not possible for peripheral nodes.
A multi-hop communication path is then established
for those nodes that do not have the HECN within
their communication range.
The WSN layout problem amounts to deciding the
geographical position of the sensor nodes that form
a WSN. In our formulation, a non-fixed amount of
sensor nodes has to be placed in a terrain providing
full sensitivity coverage. The positions of the nodes
have to be chosen in a way that minimizes the total
number of sensor nodes, while keeps the connectivity
of the network.
The WSN operates by rounds: In a round, ev-
ery node collects the data from its measurements and
sends it to the HECN. Every node transmits the infor-
mation packets to the neighbor that is closest to the
HECN, or the HECN itself if it is within the commu-
nication range. The sensing area of the WSN is the
union of the individual areas of all nodes. The de-
signer wants the network to cover the complete sens-
ing area. On the other hand, the number of sensor
nodes must be kept as low as possible, since using
many nodes represents a high cost of the network,
possibly influences of the environment and also pro-
vokes a probability of detection (when stealth moni-
toring is designed). The objective of this problem is
to minimize the number of sensors deployed while the
area is fully covered and connected.
3 ANT COLONY OPTIMIZATION
FRAMEWORK
Many of the existing solutions to this problem come
from the field of Evolutionary Computation (Alba and
Molina, 2008; Molina et al., 2008). After analyz-
ing them, we noticed that these interesting develop-
ments are quite similar to ACO algorithms. The re-
lation between ACO algorithms and evolutionary al-
gorithms provides a structural way of handling con-
strained problems. They have in common the use of
a probabilistic mechanisms for recombination of in-
dividuals. This leads to algorithms where the popula-
tion statistics are kept in a probability vector. In each
iteration of the algorithm, these probabilities are used
to generate new solutions. The new solutions are then
used to adapt the probability vector.
Real ants foraging for food lay down quantities
of pheromone (chemical cues) marking the path that
they follow. An isolated ant moves essentially guided
by an heuristic function and an ant encountering a
previously laid pheromone will detect and decide to
follow it with high probability thus taking more in-
formed actions based on the experience of previous
ants (and thereby reinforce it with a further quantity
of pheromone). The repetition of the above mecha-
nism represents the auto-catalytic behavior of real ant
colony where the more the ants followa trail, the more
attractive that trail becomes.
The ACO algorithm uses a colony of artificial ants
that behave as cooperative agents in a mathematic
space were they are allowed to search and reinforce
pathways (solutions) in order to find the optimal ones.
The problem is represented by graph and the ants
walk on the graph to construct solutions. The so-
lution is represented by a path in the graph. After
initialization of the pheromone trails, ants construct
feasible solutions, starting from random nodes, then
the pheromone trails are updated. At each step ants
compute a set of feasible moves and select the best
one (according to some probabilistic rules based on a
heuristic guided function) to carry out the rest of the
tour. The structure of ACO algorithm is shown in Fig-
ure 1. The transition probability p
ij
, to chose the node
j when the current node is i, is based on the heuristic
information η
ij
and on the pheromone trail level τ
ij
of the move, where i, j = 1, . . . . ,n.
p
ij
=
τ
α
ij
η
β
ij
∑
k∈allowed
τ
α
ik
η
β
ik
(1)
The higher value of the pheromone and the heuris-
tic information, the more profitable is to select this
ICEC 2010 - International Conference on Evolutionary Computation
6