Download EMERGENCE OF OPTIMIZED COMMUNICATION IN SIMULATION

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project

Document related concepts
no text concepts found
Transcript
Proceedings of the Third International Conference on Modeling, Simulation and Applied Optimization
Sharjah,U.A.E January 20-22 2009
EMERGENCE OF OPTIMIZED COMMUNICATION IN SIMULATION OF
EHW MODULES
Yasser Baleghi Damavandi
Karim Mohammadi
Iran University of Science & Technology
Department of Electrical Engineering
P.O.Box 16846, Tehran, Iran
yasser [email protected]
Iran University of Science & Technology
Department of Electrical Engineering
P.O.Box 16846, Tehran, Iran
[email protected]
Based on the mentioned encouraging start with simple serial
adders, the present paper reports a real world function to
demonstrate potentials of this self organized communication.
ABSTRACT
Evolvable Hardware (EHW) is a new concept that aims the
application of evolutionary algorithms to hardware design. EHW
can adapt itself to unknown environment based on features of the
reconfigurable hardware.
Based on Evolvable Hardware features, a previous work reported
emergence of self organized communication between EHW
modules with simple function of a serial adder.
In the present paper EHW modules are to build up a self
organized communication to function as a frame grabber
peripheral card and a part of mainboard in the computer.
Watermarked video stream is used for ease of evaluation. The
results show a good convergence in common protocol and
simultaneous fault tolerance.
1.
A frame grabber card which interfaces a video stream to the
computer is assumed to contain an EHW module while the
motherboard contains the same raw module to receive the video
data.
Since genetic algorithm as the optimization engine of EHW
needs a fitness function, a very good way of output video
assessment is utilized here which is described in section 2. This
section also includes a detailed description to overall system that
is simulated in this experiment. Section 3 will illustrate some
important results of the simulation while the paper concludes and
poses the future work in section 4.
2.
INTRODUCTION
Evolvable Hardware (EHW) is a technique that has led to some
radical new designs for analog & digital circuits [1,2,3]. EHW
applies special algorithms called Evolutionary Algorithms (EA)
to hardware design that consists of programmable elements. In
EHW, a researcher specifies the desired output from the system
and then the "EA" evolves a circuit on the programmable device
that gives the desired output.
While simulating EHW agents for an evolutionary
communication the question arises that: "Under what conditions
could these agents build up a self organized communication?”
This question is well answered by Gmytrasiewicz et al [4]. The
requirements for such a communication are: possessing a
Knowledge Representation Language (KRL), purposefulness and
rationality for the involved agents. Briefly, all of these
requirements can be guaranteed by using the evolutionary
algorithm in EHW modules as communicating agents.
SETTING THE STAGE
Figure 1 shows the system diagram to simulate the EHW modules
communicating to each other to receive and monitor a
watermarked video stream.
Clock
Watermarked
Video Stream
To prove this, the authors had reported the emergence of coevolutionary communication between EHW modules in [5]. The
mentioned modules were to evolve to an 8 bit serial adder.
This kind of communication was shown to be highly fault
tolerant, especially to the permanent physical faults in
communication lines [6].
ICMSA0`09-1
EHW1
Receive &
Encode
Fitness
EHW2
D0-D7
Decode &
Monitor
Video Data
To Monitor
Key
Recovery
Fitness
Key Evaluator
Figure 1. System Diagram of EHW-based frame grabber
Proceedings of the Third International Conference on Modeling, Simulation and Applied Optimization
Sharjah,U.A.E January 20-22 2009
Cb Signal
Y Signal
Cr Signal
Figure 2. Interface signals produced by EHW1 to transmit the first 20 pixels of first line
2.1. Watermarked Video Stream
A constant key is watermarked in every frame of the video
stream. This method is based on digital watermark technology.
Invisible reference information (watermarked key) is embedded
into the video sequence, which may be corrupted during
transmission and can be retrieved from the decoded video at the
destination key evaluator. By the comparison of retrieved
watermark with the original watermark stored in the destination,
we are able to assess how much video sequence quality degrades
during the transmission, so as to achieve our goal to assess the
video quality without reference [7].
first 20 pixels of first line of image that is transferred by EHW1.
As illustrated, this process needs 52 pixel clocks i.e. 1.6 times
redundancy in comparison with the original data. This
redundancy however is time consuming here but as you will see
in section 3.3 it would be useful for fault tolerance, other than this
protocol was emerged automatically which is valuable itself!
Finally after 107 generations the video stream was successfully
transmitted and monitored at the destination. An example of
transmitted image is shown in figure 3. This figure shows the
correct retrieval after the evolution time.
The evaluator will monitor recovered key from video data and
will return its hamming distance from the predetermined original
key. This value will be supposed as the fitness value in genetic
algorithm which determines the new configuration of EHW
modules. Using the mentioned fitness function, each of the EHWs
has to adapt, to score the best, in an evolutionary process. The
key recovery process assures that video data has been recovered
successfully. This way has been used for no-reference video
quality assessment.
The D0-D7 interface signals as shown in figure 2 will be
generated by EHW1 and interpreted by EHW2 that can represent
an emerging common language between the two modules. The
input image has 320x240 pixels per frame. Figure 2 shows the
ICMSA0`09-2
EHWbased
system
Figure 3. Input and output images examples, produced by
Matlab Image acquisition toolbox
Proceedings of the Third International Conference on Modeling, Simulation and Applied Optimization
Sharjah,U.A.E January 20-22 2009
point crossover and mutation operators with Gaussian function,
tournament selection mechanism and forward migration.
2.2. EHW1
As shown in figure 3, the input image is captured by the image
acquisition toolbox of Matlab 7.5 software. The stream format is
in YCbCr color space which has three 8-bit parameters to
represent each pixel [8]. Thus there are 24 lines as input to EHW1
and the same number of lines are output from it. A truth table that
describes such a logic system needs: 224x24=402,653,184 bits of
chromosome for genetic algorithm that looks to be very immense!
A way to reduce this chromosome is to divide the unrelated bits
and use individual EHW modules to encode each of them. That is
why the EHW1 consists of 3 independent truth table modules,
each one with 8 inputs and 8 outputs. This results in 28x8=2048
bits for each module that shows a good reduction even when
taking account all three modules i.e. 6,144 bits.
The above mentioned structure, in an evolutionary process,
produces the signals of figure 2. The whole communication signal
data is used in an emerged language assessment analysis in
section 3.1.
It is obvious from the nature of the problem, that the goal
architecture of EHW modules is a sequential digital circuit. For
an appropriate genotype, we used one of the standard forms of a
sequential circuits (shown in Figure 4), in which, it is made up of
an n bit register, and a combinational circuit that provides the
feedbacks and outputs [9].
3.
Results
Evolution of EHW modules with the mentioned properties has
resulted in three emergent behaviors in this experiment. These
emergent behaviors are considered as follows:
3.1. Emergence of a communication in large scale
hardware
In this simulation the system resulted in 100% key recovery. This
means that the raw hardware modules of EHW1 & EHW2 could
establish a self organized communication without any
predesigned protocol. The genetic algorithm that was used for
this simulation guaranteed an optimized language with very good
parameters. As stated in [10] a language can be emerged based on
evolution of signals. So the interface signals can refer to a
language and this language can even be evaluated.
One of the language evaluation parameters is lexicon entropy
[11]. The lexicon entropy for any concept (video data) is a
function of lexicons (D0-D7) that simultaneously refers to it and is
derived from equation 1.
H(X) =
1
∑ P(x) × log( P(x) )
(1)
x∈ X
Register
.
.
.
In equation 1, H(x) is the lexicon entropy of the random variable
x and P(x) is the probability of x (lexicon) for conveying a
concept. Therefore if only one word (D0-D7) refers to a concept
(desired status) the entropy approaches 0. This has happened for
the mentioned simulation in 107 generations. Figure 5 shows the
evolution of generations until they gain the best (near zero)
fitness.
Combinational
Circuit
Fig.4 Representation of a sequential circuit
Using fig 4, we only need to evolve the combinational circuit, for
which, the truth table is used. The outputs columns of the truth
table of the combinational circuit are used as the chromosome
chain (the input columns are implicit) and a register is roughly
selected as a fixed parameter.
2.3. EHW2
EHW2 has the same raw architecture of EHW1 and is to coevolve with it to reach the fitness of decoding the video. The
evaluation process takes place after the output of EHW2 is ready
and the original key is compared with the retrieved watermarked
data.
The genetic algorithm used for this process had the following
parameters: 30 random individuals for initial population, two-
ICMSA0`09-3
Figure 5. Genetic algorithm process for EHW modules
Proceedings of the Third International Conference on Modeling, Simulation and Applied Optimization
Sharjah,U.A.E January 20-22 2009
Y Signal
Cb Signal
Cr Signal
Figure 6. Interface signals encountering s_a_0 and s_a_1 faults
As stated in section 2.1 in the evolved protocol there is a
redundant data of 1.6 times for conveying a color concept.
encoder which adds redundancy and transmits it to the decoder.
The decoder is able to retrieve the video data.
3.2. Automatic Hardware Design
In this process two hardware modules have been automatically
designed (evolved). The hardware here means the VHDL code of
the EHW, which describes the EHW module. This description is
derived from the genome i.e. the truth table and the
predetermined architecture. For this purpose the Simulink,
Genetic Algorithm and direct search and Link for ModelSim®
toolboxes of Matlab7.5 are utilized in cooperation with the
Modelsim software in this experiment. Transferring from truth
table to a hardware description is done by Link for Modelsim
toolbox of Matlab and inspired by architecture of a PLD which is
depicted in figure 7.
Figure 7. PLD architecture for description of the evolved
hardware
3.3. Fault Tolerant Protocol
The genome that described the hardware and was used in genetic
algorithm is well described in [5]. This hardware contains an
In this subsection the idea of fault tolerance in EHW modules
communication is put to test. For this purpose the previously
ICMSA0`09-4
Proceedings of the Third International Conference on Modeling, Simulation and Applied Optimization
Sharjah,U.A.E January 20-22 2009
described model will face different types of faults in the
communication lines. As the EHW modules are two electronic
boards that communicate with each other via a connector, the fault
model can contain related cases. A typical fault affecting the
mentioned connections is a short between a pin and the power
supply line in the connector. Considering the type of these pins,
one of the following logical faults may happen.
RS232, RS485, USB, I2C ,… which undoubtedly will lead to a
failure.
Stuck at 1/0: A short between ground or power and the signal line
can make the signal remain at a fixed voltage level. The
corresponding logical fault consists of the signal being stuck at a
fixed logic value v (v ε {1,0}) , and it is denoted by s-a-v. Since
there are some power and usually more ground pins in such a
connection, a short between them and the signal lines will cause sa-1/0 faults and thus they are put in the fault model.
Another remarkable property is that there is no need to follow the
classic fault tolerant algorithms that contain fault detection,
location and recovery, respectively. For example in classic fault
detection a TPG is required, while the fault will be detected in the
fitness evaluation process of EHW modules in this work.
In many cases, the effect of an open on a signal line with only one
fan-out is to make the input that has become unconnected due to
the open, assume a constant logic value and hence appear as a
stuck fault [12]. Supposing a shielded, low length connection
which brings about negligible radiation noise and delay faults, the
introduced model can cover many kinds of physical faults that
may happen in the EHW communication line.
The main advantage of this system is gaining an intrinsic fault
tolerance. The varying nature of EHW gives it an intrinsic fault
tolerance [6]. Whenever a fault happens at communication lines
that damages the video data, the key cannot be recovered
correctly and it will lead to a degradation of the fitness. This will
result in a change in genome and consequently hardware. The
evolutionary loop will continue until it reaches the best fitness i.e.
the key and video data are recovered correctly. The video and D0D7 signals in faulty condition are depicted in figure 6 as an
example of an s-a-0 in Y line and s-a-1 in Cb and Cr lines all
happened on D0 line.
When D0 experience a stuck at 0/1 fault (shorts to GND/Vsupply)
the system will try to transfer the data without D0 line. This may
be more time-consuming but what is gained instead of the time
drawback is a correct function under faulty condition.
Comparing this varying protocol, it seems to be a very good
option when human intervention is not possible at faulty
condition like the space applications. That may be the property of
evolvable hardware that has attracted the attention of NASA [13].
What is tested here is Single Stuck Fault, (SSF) that means only
one line is faulty during the simulation. Another term is Multiple
Stuck Fault (MSF) which refers to more than one faulty line
during the communication. This will be considered in future
work.
Another task from the list of future work is a full duplex
communication. In this experiment one module was supposed as
a sender and another one was determined as a receiver. A
development can be a simultaneous role of sender/receiver for
both EHW modules.
Physical layer characteristics like voltage level and clock
frequencies are supposed to be fixed in this experiment, but
utilizing FPAA like some referenced EHW applications [14] will
give another dimension of flexibility to this kind of
communication.
The evolved protocol is a point to point one, which can be
developed to be a bus one too.
Finally we are hopeful that these researches pave the way for
future adaptive hardware agents that no more need a common
protocol, and can be leaved to make improvements, modifications
and tolerate faults.
Comparing figure 6 with figure 2 shows that a new protocol is
evolved while encountering the fault and this can be taken into
account. The signals are again for conveying 20 pixel colors but
with more pixel clocks i.e. 80.
In the Single Stuck Fault (SSF) simulations performed here, all
combinations of D0…D7 from YCbCr channels are put to test and
the results showed an insensitivity of the system to fault
occurrence in 4th line of Cb! It shows a redundancy in this
protocol (1.6 times) that made line 4 insensitive of fault. The
same behavior is reported in EHW-based robot controllers [12].
4.
Conclusion and Future Work
Most of the communication protocols in computer peripheral
devices are not immune against the permanent faults that may
happen in the communication channel. For example one can
assume a stuck at 1 fault in one of the communication lines of
5.
REFERENCES
[1] A. Thompson, I. Harvey, and P. Husbands, The natural way
to evolve hardware, in Proc. IEEE Int. Symp. Circuits Syst.,
pp. 37_40, 1996.
[2] X. Yao and T. Higuchi, Promises and challenges of
evolvable hardware, IEEE Trans. Syst., Man, Cybern. C,
Appl. Rev., vol. 29, no. 1, pp. 87-97, Feb. 1999.
[3] T. Higuchi, M. Iwata, D. Keymeulen, H. Sakanashi, M.
Murakawa, I. Kajitani, E. Takahashi, K. Toda, M. Salami, N.
Kahihara, and N. Otsu, Real-world applications of analog
and digital evolvable hardware, IEEE Trans. Evol. Comput.,
vol. 3, no. 3, pp. 220-235, Sep. 1999.
ICMSA0`09-5
Proceedings of the Third International Conference on Modeling, Simulation and Applied Optimization
Sharjah,U.A.E January 20-22 2009
[4] P. Gmytrasiewicz, Michael N. Huhns, The Emergence of
Language Among Autonomous Agents , IEEE Internet
Computing Magazine, July 2000.
[5] Y. Baleghi Damavandi, K. Mohammadi, Co-evolution for
Communication: An EHW Approach , Journal of Universal
Computer Science, Vol. 13, No. 9., pp. 1300-1308, 2007.
[6] Y. Baleghi Damavandi, K. Mohammadi Fault Tolerance in
Co-evolutionary Communication of EHW Modules ,
Proceedings of International Conference of Bio-Inspired
Computing Theory and Applications BIC-TA2007, China,
14-17 September, 2007.
[7] Fu-zheng, Y., Xin-dai, W., Yi-lin, C.; Shuai, W., A noreference video quality assessment method based on digital
watermark , 14th IEEE Proceedings on Personal, Indoor and
Mobile Radio Communications, PIMRC 2003, 7-10 Sept.
2003.
[8] Y. Baleghi Damavandi, K. Mohammadi, Speed limit traffic
sign detection and recognition , IEEE cybernetics and
intelligent systems (CIS), volume 2, pages 79-802, December
2004.
[9] V. Nelson, H. Nagel, B. Carrol, D. Irwin, Digital Logic
Circuit Analysis and Design, Prentice Hall, 1995
[10] A. Cangelosi, Evolution of Communication and Language
Using Signals, Symbols, and
Words , IEEE Transactions
On Evolutionary Computation, Vol. 5, No. 2, April 2001
[11] N. Neubauer , Emergence in a Multi-agent Simulation of
Communicative Behavior, Publications of the Institute of
Cognitive Science Volume 11-2004.
[12] M. Abramovici, M.A.Bruer, A.D. Friedman, Digital Systems
testing and Testable Design, IEEE Press, 1990
[13] G.W. Greenwood, A.M. Tyrrell, Introduction to Evolvable
Hardware, a Practical Guide for Designing self_Adaptive
Systems, IEEE Press, 2007
[14] G.W. Greenwood, D. Hunter, E. Ramsden, “Fault recovery in
linear systems via intrinsic evolution”, Proceedings 2004
NASA/DOD Conference On Evolvable Hardware, 115-122,
2004
ICMSA0`09-6