15
International Journal of Electronics and Communication Engineering & Technology (IJECET), ISSN 0976 – 6464(Print), ISSN 0976 – 6472(Online) Volume 4, Issue 1, January- February (2013), © IAEME 131 BAYESIAN NETWORK BASED MODELING AND RELIABILITY ANALYSIS OF QUANTUM CELLULAR AUTOMATA CIRCUITS Dr.E.N.Ganesh Professor ECE Dept, Rajalakshmi Institute of Technology,Chennai – 600124 TamilNadu, India Email: [email protected] ABSTRACT Quantum cellular automata (QCA) is a new technology in nanometer scale as one of the alternatives to nano cmos technology, QCA technology has large potential in terms of high space density and power dissipation with the development of faster computers with lower power consumption. This paper considers the problem of reliability analysis of Simple QCA circuits at layout level like QCA latches and NOT circuit. The tool used to tackle this problem is Bayesian networks (BN) that derive from convergence of statistics and Artificial Intelligence (AI). It consists of the representation of probabilistic causal relation between variables of a system. Using this we have transformed QCA circuit in to Bayesian framework to find the probability of getting correct output in terms of its polarization with respect to its input configuration and temperature. Reliability analysis also discussed for finding the defective cells in QCA circuit. This will increase overall efficiency of circuit and hence speed of the circuit with lower power consumption. Keywords: BN – Bayesian network, Quantum cellular automata, Reliability, Conditional probability, Join probability distribution 1. INTRODUCTION This paper considers the problem of reliability analysis of QCA circuit organized in parallel and/or in serial given the reliability of the Input cells. The mathematical tool used to tackle this problem is Bayesian networks. Reliability analysis of systems is very important in order to be able to deliver errorless QCA cell at the output. A given QCA system is often composed of many cells organized in serial and parallel, whose failure of one cell in serial INTERNATIONAL JOURNAL OF ELECTRONICS AND COMMUNICATION ENGINEERING & TECHNOLOGY (IJECET) ISSN 0976 – 6464(Print) ISSN 0976 – 6472(Online) Volume 4, Issue 1, January- February (2013), pp. 131-145 © IAEME: www.iaeme.com/ijecet.asp Journal Impact Factor (2012): 3.5930 (Calculated by GISI) www.jifactor.com IJECET © I A E M E

Bayesian network based modeling and reliability analysis of quantum cellular

  • Upload
    iaeme

  • View
    186

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Bayesian network based modeling and reliability analysis of quantum cellular

International Journal of Electronics and Communication Engineering & Technology (IJECET), ISSN

0976 – 6464(Print), ISSN 0976 – 6472(Online) Volume 4, Issue 1, January- February (2013), © IAEME

131

BAYESIAN NETWORK BASED MODELING AND RELIABILITY

ANALYSIS OF QUANTUM CELLULAR AUTOMATA

CIRCUITS

Dr.E.N.Ganesh

Professor ECE Dept, Rajalakshmi Institute of Technology,Chennai – 600124

TamilNadu, India

Email: [email protected]

ABSTRACT

Quantum cellular automata (QCA) is a new technology in nanometer scale as one of

the alternatives to nano cmos technology, QCA technology has large potential in terms of

high space density and power dissipation with the development of faster computers with

lower power consumption. This paper considers the problem of reliability analysis of Simple

QCA circuits at layout level like QCA latches and NOT circuit. The tool used to tackle this

problem is Bayesian networks (BN) that derive from convergence of statistics and Artificial

Intelligence (AI). It consists of the representation of probabilistic causal relation between

variables of a system. Using this we have transformed QCA circuit in to Bayesian framework

to find the probability of getting correct output in terms of its polarization with respect to its

input configuration and temperature. Reliability analysis also discussed for finding the

defective cells in QCA circuit. This will increase overall efficiency of circuit and hence speed

of the circuit with lower power consumption.

Keywords: BN – Bayesian network, Quantum cellular automata, Reliability, Conditional

probability, Join probability distribution

1. INTRODUCTION

This paper considers the problem of reliability analysis of QCA circuit organized in

parallel and/or in serial given the reliability of the Input cells. The mathematical tool used to

tackle this problem is Bayesian networks. Reliability analysis of systems is very important in

order to be able to deliver errorless QCA cell at the output. A given QCA system is often

composed of many cells organized in serial and parallel, whose failure of one cell in serial

INTERNATIONAL JOURNAL OF ELECTRONICS AND

COMMUNICATION ENGINEERING & TECHNOLOGY (IJECET)

ISSN 0976 – 6464(Print)

ISSN 0976 – 6472(Online)

Volume 4, Issue 1, January- February (2013), pp. 131-145 © IAEME: www.iaeme.com/ijecet.asp

Journal Impact Factor (2012): 3.5930 (Calculated by GISI) www.jifactor.com

IJECET

© I A E M E

Page 2: Bayesian network based modeling and reliability analysis of quantum cellular

International Journal of Electronics and Communication Engineering & Technology (IJECET), ISSN

0976 – 6464(Print), ISSN 0976 – 6472(Online) Volume 4, Issue 1, January- February (2013), © IAEME

132

may cause the failure of the whole system or at least reduce its performance. In terms of

reliability there are two types of organizations of cells, organization in serial and organization

in parallel. These organizations impact on the reliability of the resulting circuit. If a circuit

consists of n cells Ci, i=1,…n in serial, the system will be performing well if and only if each

component is performing well, so if Pi , is the reliability of the ith

component, then the

reliability of the system Ps is given by

Ps = ∏i = 1 to n Pi (1)

On the contrary if a system consists of n cells Ci, i=1,…n in parallel, the system will perform

well if at least one of these cells perform well, so if Pi is the reliability of the ith

component,

then the reliability of the system Pp is given by

Pp = 1 - ∏i = 1 to n ( 1 - pi) (2)

Eq. (1) and (2) constitute the fundamental relations for computing the reliability of a QCA

circuit because any system will consist of cells or groups of cells in serial and/or in parallel.

Quantum-dot Cellular Automata (QCA) is an emerging technology that offers a revolutionary

approach to computing at nano-level [1][2]. A dot can be visualized as well. Once electrons

are trapped inside the dot, it requires higher energy for electron to escape. The fundamental

unit of QCA is QCA cell created with four quantum Dots positioned at the vertices of a

square. [2] [3.]. Fig 1.a and 1.b below shows quantum cells with electrons occupying

opposite vertices.

1.a P = +1 (Binary 1) 1.b P = -1 (Binary0)

Fig1 QCA cells with four Quantum dots. [1][3][4][5]

This interaction forces between the neighboring cells able to synchronize their polarization.

Therefore an array of QCA cells acts as wire and is able to transmit information from one end

to another [6] [7][8][9][10]. Figure 2 and 3 Majority functions of QCA Cell.

Fig 2.and 3 Majority AND, OR gate [3] [4][5][6]

Page 3: Bayesian network based modeling and reliability analysis of quantum cellular

International Journal of Electronics and Communication Engineering & Technology (IJECET), ISSN

0976 – 6464(Print), ISSN 0976 – 6472(Online) Volume 4, Issue 1, January- February (2013), © IAEME

133

Clocking is the requirement for synchronization of information flow in QCA circuits [11]

[12] [13]. It requires a clock not only to synchronize and control information flow but clock

actually provides power to run the circuit [14] [15]. Bayesian Networks (BN) derive from the

convergence of statistical methods that permit one to go from information (data) to

knowledge (probability laws, relationship between variables,…) with Artificial Intelligence

(AI) that permits computers to deal with knowledge (not only information), (see for example

[16]). The terminology BN comes from Thomas Bayes’s [17] 18th

century work. Its actual

development is due to [17]. The main purpose of BN is to integrate uncertainty into expert

systems. BN consist in a graphical representation of the causality relation between a cause

and its effects. Figure 4 show that A is the cause and B its effect.

A B

Fig 4 Causality representation in BN

But as relation of causality is not strict, the next step is to quantify it by giving the probability

of occurrence of B when A is realized. So an BN consists of an oriented graph where nodes

represent variables, and oriented arcs represent the causality relation and a set of

probabilities. A rigorous definition of a BN is given in [18].Let us consider an acyclic

oriented graph g = (v,a) where v and a represents set of nodes and the arcs in the graph. A

trial E with whom there is associated a finite probability space and given n random variables (

Xi )1 < i < n, a and E defines Bayesian network, noted B = (G,P). There exists a bisection

between the nodes of G and var(Xi). The factorization property for this is

P(X1,X2 …….Xn) = Π P ( Xi / C(Xi)) (3)

Where C(Xi) depends on the set of causes(parents) of Xi. P (X1, X 2,……Xi) Eq.(3) is the

probability of simultaneous realization of variables X1, X2 ….Xi and P(X i / Yi) is the

conditionality probability. The main purpose of Bayesian networks is to propagate certain

knowledge of the state of one or more partitioned nodes through the network so that one shall

learn how the belief’s of the expert ion the Bayesian network will change, given B = (G,P)

and set of nodes it returns to compute P ( Xi / Y i ). Using the properties of chains, trees

networks and the properties of conditional probability, algorithms can be derived to

propagate certain knowledge in term of modifying the belief. BN is completely determined

by its structure and some parameters, namely a priori probabilities of nodes without parents

and conditional probabilities of intermediate nodes for different configurations of states of

their parents. The basic cell of the QCA circuit will be the component of which reliability

will be available. Clocked QCA circuits are considered here, the reliability of the cell can be

found in terms of probability of getting correct output of the output cell or group of cells in

that QCA circuit. Before going in detail about reliability analysis let us deal in detail about

simple QCA latch and transforming the latch into Bayesian network according to [19][ 20].

Page 4: Bayesian network based modeling and reliability analysis of quantum cellular

International Journal of Electronics and Communication Engineering & Technology (IJECET), ISSN

0976 – 6464(Print), ISSN 0976 – 6472(Online) Volume 4, Issue 1, January- February (2013), © IAEME

134

2. BAYESIAN MODEL OF COMPUTATION

Consider a simple QCA latch of figure 5 drawn through QCA simulator from [21]. Figure 6

shows layout model Bayesian network of QCA latch from [22].

Figure 5 shows the simple QCA latch from [21]

Figure 6 shows the simple Bayesian model of QCA latch.

Each chance node in figure 7 represents a random variable of each cell in figure6 and directed

arc represents direct causal relation with the parent nodes. A link is directed to child node

from the parent node. Let us consider 5 QCA cells indexed in a manner of X1, X2, X 3, X 4

and X5. X1 be the input and X5 be the output cell. We use two state approximate model of

single QCA cell [20], Two state model can be derived from the quantum formulation based

on all possible configuration of pair of electron in a cell. [23] Each state can be observed in

one of possible state logical 0 ( x0) or logical 1 ( x1). The probability of observing a state is P

(Xi = xi), x denotes the states be in logical 0 or 1. Polarization of cell in terms of state

probabilities can be found from conditional and joint probabilities. The joint probability of

observing a set under steady state assignments for the cell can be determined from quantum

wave function which is cumbersome and requires quantum wave function calculations.

Instead as in [20] consider a joint wave function of two cells in terms of product of two

variables and representing the product as factored representation. By using Hocktree Fock

approximation as in [24] determine state probability, but by determining polarization as in

[25] the polarization can be determined from the given equation.

Page 5: Bayesian network based modeling and reliability analysis of quantum cellular

International Journal of Electronics and Communication Engineering & Technology (IJECET), ISSN

0976 – 6464(Print), ISSN 0976 – 6472(Online) Volume 4, Issue 1, January- February (2013), © IAEME

135

P = (ρ1 + ρ3 ) - (ρ2 + ρ4) / (ρ1 + ρ2 + ρ3 + ρ4 ) (4)

Where ρ represents the expectation values of charges of two cells, Using the above equation,

Eq.(4) polarization values can be found, expected values of polarization being directly

entered in the conditional probability table of a random node or a cell and hence using Genie

software the joint probability distribution of the circuit can be found. Using this method it is

possible to find the probability of getting output (polarization) for a given temperature and

input being found. Consider the QCA latch in figure 6, the joint probability function is

decompose in to product of individual conditional probability functions as

P ( X1, …..X5 ) = P(X5 / X4, X3). P( X4 / X3 , X2) …..P(X2 / X1) P(X1) (5)

But Eq.(5) hold for linear random nodes with easy message passing technique to find joint

distribution, we have consider not a linear cell instead a tree like structure. We have used here

[18] Joint tree method of message passing technique for propagating the polarization

information. Since we have considered as tree like structure, we used above method to form

clusters, we decompose the network in to clusters that form tree structures and treat the

variable in each cluster as compound variable that is capable of passing message to its

neighbor, the above network can be clustered in to three clusters X1,X2 and X3 as one

cluster, X2, X3, and X4 as second cluster and X4 and X5 as another cluster. The direct causes

or parent of a node depends on inferred causal ordering. The exact message passing scheme

depends on tree structure, whose nodes are clique of random variables. This tree of cliques is

obtained from the initial DAG structure via a series of transformations that preserve the

represented dependencies. These transformations are constructing moral and chordal graph

via constructing triangulated undirected graph. The moral graph is obtained by considering

DAG structure to a triangulated undirected graph structure called moral graph. Chordal graph

is obtained from moral graph by a process of triangulation. Triangulation is the process of

breaking all cycles in the graph to be composition of cycles over just 3 nodes by adding

additional links. There are many possible ways for achieving this. At one extreme, we can

add edges between every pair of nodes to arrive at final graph that is complete. When we

transform DAG to junction of cliques the preservation of parameters dependencies must be

taken care, here in this process automatically the dependencies are preserved. Figure 7,8, 9

shows the junction of tree clique for the example considered.

Figure 7 shows the moral graph of QCA Bayesian network

Page 6: Bayesian network based modeling and reliability analysis of quantum cellular

International Journal of Electronics and Communication Engineering & Technology (IJECET), ISSN

0976 – 6464(Print), ISSN 0976 – 6472(Online) Volume 4, Issue 1, January- February (2013), © IAEME

136

Figure 8 chordal graph of QCA Bayesian network

Figure 9 Junction of cliques

Moral graph is obtained by drawing a line between x2 andx3, hence it forms a tree

structure and using minimum elimination of clique sets and running intersection property as

in [21], a three node clique set is formed which is a subtree from the tree, three set of clique is

formed using intersection property, [18]a chordal graph is the triangulation process of finding

junction clique set. Finally three sets Clique x1x2x3 , x2x3x4 and x4x5 with potential

function as shows in the figure 9. Clique sets c1,c2 and c3 are running with intersection

property, a junction tree between these clique is formed by connecting each predecessor to

the present clique set. A potential function is associated with each clique set formed from the

conditional probability of the variables in the set. Each potential function is determined by

the product of conditional probability functions mapped to that clique. Eq.(6) gives Product

of Cond .Probability.

C(x2x3) = ΠvuPa(x) ε x P ( v / Pa ( X)) (6)

The joint probability distribution is given by eq.(7)

P(x1…..x5) = Π c(xi) i = 1…5 (7)

Now the tree structure is useful for local message passing. Given any evidence, messages

consist of the updated probabilities of the common variables between two neighboring

cliques. We used average likelihood propagation algorithm for finding expected polarization

of output cell with respect to temperature and types of input. The probabilities are propagated

through the junction clique by local message passing. Messages are passed from leaf clique to

root clique, then again the present clique pass message to next clique and so on. Based on the

values of c the marginal are found z(yi) for each clique, when message passed first to second

clique, a scaling factor being sent to first clique to scale the marginal for moving to the next

clique, this way message being transmitted.

Page 7: Bayesian network based modeling and reliability analysis of quantum cellular

International Journal of Electronics and Communication Engineering & Technology (IJECET), ISSN

0976 – 6464(Print), ISSN 0976 – 6472(Online) Volume 4, Issue 1, January- February (2013), © IAEME

137

Z(yi) = Σ c( xi) (8)

Z(yi) = Zi(yi) / Zj(yi) .Zj(yi) (9)

Eq. (8) gives summation of all the values of potential function to give marginal function,

Eq.(9) is rescaled depending on present junction clique and next junction clique scaling

function. Hence for each passing marginal function are rescaled and value is changed for next

clique. We used this technique for QCA latch cell for finding probability of getting correct

output at the output cell with respect temperature and inputs. Figure 10 a. shows the

probability of getting correct output of logic 1 and logic 0 with respect to input configurations

1 and 0. Figure 10.b and c shows probability of getting correct output in combinational and

Flip flop QCA circuits. The output value through Bayesian network gives nearly equal to

simulated value, hence Bayesian tools can be used for modeling nano circuits.

Fig.10 a. shows the Probability of getting correct output of QCA latch with respect to input

0 and 1.

Fig 10.b.Probability of getting correct ouput in Comb circuits through Baeysian networks

Page 8: Bayesian network based modeling and reliability analysis of quantum cellular

International Journal of Electronics and Communication Engineering & Technology (IJECET), ISSN

0976 – 6464(Print), ISSN 0976 – 6472(Online) Volume 4, Issue 1, January- February (2013), © IAEME

138

Fig 10.c.Probability of getting correct ouput in Flip flops circuits through Baeysian

networks

2.1 Simulation Results

The simulated values from QCA Designer circuit is taken as input to the bayseian network

and cryogenic temperature of 10 K is assumed throughout the Bayesian network. Applying

the algorithm and probability of getting correct output is calculated. Figure 10 a to c shows

the probability of getting correct ouput for latch, combinational and sequential circuits. It is

found that the value more or less the simulated value and the baysian algorithms used to

model the nano cicuits for device failures. The next section discuss about the reliability

issues of QCA circuits and therbyu the reducing the faults occuring in QCA circuits.

3. RELIABILITY ANALYSIS OF BAYESIAN STRUCTURE

QCA circuits are constructed by serial and parallel structures of QCA wires.

Reliability analysis can be done on this circuit in order to deliver errorless QCA cells in the

QCA circuit. The reliability analysis of these circuits depends on reliability of input cells so

that errorless QCA cell can be constructed. Bayesian networks used in chapter 5 are used for

reliability analysis of QCA circuits. The failure of a QCA cell in QCA circuit may cause the

failure of whole system and a single defective cell in parallel may reduce the overall

performance of a QCA circuit. If a circuit consists of n cells Ci, i=1,…n in serial, the system

will be performing well if and only if each component is performing well. So if Pi , is the

reliability of the ith

component, then the reliability of the system Ps is given by equation 3.1.

1s i ton iP Pπ

== (3.1)

On the contrary if a system consists of n cells Ci, i=1,…n in parallel, the system will

perform well if at least one of these cells perform well, so if Pi is the reliability of the ith

component, then the reliability of the system Pp is given by equation 3.2.

11 (1 )P i ton i

P Pπ=

= − − (3.2)

Page 9: Bayesian network based modeling and reliability analysis of quantum cellular

International Journal of Electronics and Communication Engineering & Technology (IJECET), ISSN

0976 – 6464(Print), ISSN 0976 – 6472(Online) Volume 4, Issue 1, January- February (2013), © IAEME

139

Equation 1 and 2 constitute the fundamental relations for computing the reliability of a QCA

circuit because any system will consists of cells or groups of cells in serial and/or in parallel

manner. Consider a simple QCA latch of figure 11 drawn through QCAdesigner tool. All

QCA circuits are transformed into Bayesian framework and simulated using Genie software.

Each cell in the QCA circuit is a node in Bayesian network. Each chance node has

Conditional probability table through which joint probability of entire circuit is found.

Figure 11.a QCA latch circuit drawn. Figure 11.b Bayesian using QCA designer

representation

Each chance node in figure 11 represents a random variable of each cell and directed arc

represents direct causal relation with parent nodes. The structure of the resulting BN for QCA

latch cell for reliability analysis consists of three groups of nodes, let Nc be the node without

parent say X1 Nint is the intermediate nodes consists of Nint,s serial intermediated node and

Npar,s parallel intermediate node. Here X3 and X4 are parallel intermediate nodes with X1 as a

parent node. X3 with X4, X2 with X4 are serial intermediate node and destination node as Nout

(X5). Figure 12 shows the framed Bayesian structure for reliability analysis.

Figure 12 reliability analysis of QCA Latch using Bayesian network

Page 10: Bayesian network based modeling and reliability analysis of quantum cellular

International Journal of Electronics and Communication Engineering & Technology (IJECET), ISSN

0976 – 6464(Print), ISSN 0976 – 6472(Online) Volume 4, Issue 1, January- February (2013), © IAEME

140

The transformation of QCA latch Bayesian structure to reliability analysis is by

considering each cell or node as serial or parallel (assuming all cells are in clock zone). This

analysis is useful to study the cell failure in terms of polarization and to identify the correct

QCA cell for the circuit failure. Once defined the structure of the BN, its parameters must be

determined: the parameters to be entered in to the Bayesian network are priori probabilities of

states of nodes without parents, that is nodes of type Nc and the conditional probabilities of

intermediate nodes, that is nodes of type Nint,s and Nint,p, knowing some configurations of the

states of their parents. Though more than two states can be considered for each node, here it

is considered that each node has only two states: failure (F) or no failure (NF). The

generalization to more than two states would not be very difficult. The parameters of the BN

consist of two types:

1. A priori probabilities of basic components given by their reliability or the complement of

their reliability.

2. Conditional probabilities of the intermediate nodes given the configurations of their

parents. A priori probabilities of nodes of type Nc are fully determined by the reliability of the

corresponding components.

4.0 RELIABILITY ALGORITHM OF QCA CIRCUITS.

If nc is the basic cell of Nc and pi is the reliability of the component Nc,

( )i

c iP N NF P= = and

( ) 1 , 1....i

c i cP N F P i n= = − = (4.1)

Similarly for Nint,p and Nint,s Parameters can be defined as

int, int, int,( / ( )) 0 ( ),p p p

P N NF C N UN C N N Failure= = ∈ = (4.2)

Else

int, int,( / ( )) 1p p

P N NF C N= = (4.3)

and

int, int, int,( / ( )) 1 ( ),p p p

P N F C N UN C N N Failure= = ∈ = (4.4)

Else

int, int,( / ( )) 0p p

P N F C N= = (4.5)

int, int, int,( / ( )) 1 ( ),s s s

P N NF C N UN C N N NoFailure= = ∈ = (4.6)

Else

int, int,( / ( )) 0s sP N NF C N= = (4.7)

And

int, int, int,( / ( )) 1 ( ),s s sP N F C N UN C N N NoFailure= = ∈ = (4.8)

Else

int, int,( / ( )) 1s sP N F C N= = (4.9)

Equations 6.3 to 6.11 gives conditional probability defined for intermediate nodes with conditions

failure (F) and no- failure (NF). The polarization is defined for each cell, for example

( ) 0.9

( ) 0.1, 1....4.

i

i

P C NF

P C F i

= =

= = =

(4.10)

Page 11: Bayesian network based modeling and reliability analysis of quantum cellular

International Journal of Electronics and Communication Engineering & Technology (IJECET), ISSN

0976 – 6464(Print), ISSN 0976 – 6472(Online) Volume 4, Issue 1, January- February (2013), © IAEME

141

Full polarization value (logic 1) is 0.9 to +1 and -0.9 to -1, partially polarized values are 0.5

to 0.8 or -0.5 to 0-0.8, and logic 0 polarization values are -0.5 to + 0.5. Let X1 cell be the Nc

node, interaction between X2 and X4 be G1 as intermediate node, interaction between X3

and X4 be G2, second node be either G1 or G2 of Nint,p, third intermediate node be Nint,s

and finally destination or output node Nout. Now the Bayesian network defined over QCA

latch according to above statements as shown in figure 13, assume logic 1 as input decision

and searching for utility at the output node in terms of its probability.

Figure 13 a Decision and utility nodes for evaluating logic1 probability at the output node

which is 0.832 with intermediate node CPT is shown in table 4.1.

Table 4.1 Intermediate node G1 node CPT

Table 4.1 shows the intermediate CPT table, if the entries in the CPT are changed slightly

from 0.9 to 0.6 less polarized that leads to decrease the probability then intermediated nodes

has to be checked. Next is to examine the cell which is less polarized by G1 or G2 nodes.

Figure 14 Decision and utility nodes for evaluating logic1 probability at the output node

which is 0.822, decreased than in figure 13.

Page 12: Bayesian network based modeling and reliability analysis of quantum cellular

International Journal of Electronics and Communication Engineering & Technology (IJECET), ISSN

0976 – 6464(Print), ISSN 0976 – 6472(Online) Volume 4, Issue 1, January- February (2013), © IAEME

142

Table 4.1 and 4.2 gives G1 and G2 CPT, the failure of the whole system means that

component X4 and cell G1 will surely fail. The element responsible for the failure of G1 is X3

and X4 with 71.00% of chances against G2 with 29.00% of chances. So the system critical

elements, in terms of reliability, are G1( X3 and X4) and X4 . One can simulate many other

configurations to find the error occurred in terms of probability of output.

Table 4.2 CPT of node G2 due to X2 and X4 QCA cells

(0.71 – 1, 0.3 -0)

Cell X2 Failure No - Failure

Cell X4 F NF F NF

Failure 1 0 0 0

No

failure

0 1 1 1

Table 4.3 CPT of node G1 due to X3 and X4 QCA cells

( 0.71 -1, 0.3 -0)

Cell X3 Failure No - Failure

Cell X4 F NF F NF

Failure 1 1 1 0

No

failure

0 0 0 1

4.1 QCA NOT circuit with CLOCK Zone

A QCA circuit organized in parallel is more reliable than one which is organized in serial.

Serial QCA circuits require clocking for group of cells whereas a parallel QCA cell (circuit

with more layers in parallel) which has clock zones running for more no of layers. One way

to improve the reliability of a QCA circuit is to put two or more layers in parallel instead of

one layer. But this process will increase the complexity of the circuit. An example of a

system composed of QCA cells is given in Figure 6.5. The system has two main parallel

branches, one branch consisting only of the components C4 and the other one consisting of

component C1 in serial with a group formed by C2 and C3 in parallel.

Figure 15.QCA not circuit with serial and parallel layers a input and y output

Page 13: Bayesian network based modeling and reliability analysis of quantum cellular

International Journal of Electronics and Communication Engineering & Technology (IJECET), ISSN

0976 – 6464(Print), ISSN 0976 – 6472(Online) Volume 4, Issue 1, January- February (2013), © IAEME

143

Figure 16 Equivalent Component structure for reliability analysis of QCA not circuit

Table 4.4 CPT of node G2

Cells c2 Failure No - Failure

Cells c3 F NF F NF

Failure 1 0 0 0

No

failure

0 1 1 1

Table 4.5 CPT of node G1

Cells c1 Failure No - Failure

Cells G2 F NF F NF

Failure 1 1 1 0

No

failure

0 0 0 1

Table 4.6 CPT of intermediates node.

Cells c4 Failure No - Failure

Cells G1 F NF F NF

Failure 1 0 0 0

Nofailure 0 1 1 1

Figure 15 is QCA NOT circuit and 16 gives the reliability transformation of finding the

components in 15. QCA NOT circuit has two parallel branches and one loop in one of the

parallel branches. As discussed in the previous section, C1 has group of cells in upper parallel

arm, C2 and C3 form the smaller loop in upper parallel arms and C4 form the lower parallel

arm. Let us define the components (group of cells)

• C1, C2, C3 and C4 are nodes of type Nc;

• G2 is a node of type Nint,s formed by regrouping the component C1 act in parallel

components C2 and C3;

• G1 is a node of type Nint,s formed by regrouping the component C1 and the subsystem

G2;

• Finally the subsystem G1 and the component C4 act in parallel on the system so that

this one is a node of type Nint,p.

C2

C3

C4

C1

Page 14: Bayesian network based modeling and reliability analysis of quantum cellular

International Journal of Electronics and Communication Engineering & Technology (IJECET), ISSN

0976 – 6464(Print), ISSN 0976 – 6472(Online) Volume 4, Issue 1, January- February (2013), © IAEME

144

Table 4.4, 4.5, 4.6 gives Conditional Probability of cells of G1 and G2 intermediate nodes.

The failure of the whole system means that component C4 and subsystem G1 will surely fail.

The element responsible for the failure of G1 is C1 with 91.74% of chances against G2 with

9.17% of chances. So the system critical elements, in terms of reliability, are C1 and C4. The

group of cells in C1 and C4 have to be examined to find particular defect cell in terms of its

probability of getting correct polarization or not. The same way analysis can be carried out

for QCA system to find defective cells.

The reliability of QCA cell can be found using this Bayesian network of transforming

QCA circuits to its Bayesian framework. The QCA latch circuit failure is due to one of the

intermediate nodes as its probability decreases when it is a defect one, similarly QCA not

circuit also is used to find reliability of group of cells in serial and parallel arms. This can be

extended for simulating errorless QCA systems. The extension of this work is to assume the

type of defects or device level uncertainties in QCA circuits and by using different algorithm

simulating its Bayesian framework to find defective cells in terms of its polarization.

5. CONCLUSION

Bayesian network can be used to find the probability based modelling of QCA cells in

terms of its temperature and input configurations. We have simulated the probability based

Bayesian modelling of finding the correct output of simple latch circuit. We discussed

reliability analysis of QCA latch and Not circuit, we found the probability decreases as we

move to higher nodes when present cell or node is a defect one, reliability of the cell can be

found using this Bayesian network of transforming qca circuits to its Bayesian framework.

We discussed qca latch circuit failure is due to one of the intermediate nodes as its probability

decreases when it is a defect one, we analysed QCA not circuit also to find reliability of

group of cells in serial and parallel arms. This can be extended for simulating errorless QCA

systems. We have not considered the type of defects occur for particular cell. The extension

of this work is to assume the type of defects or device level uncertainties in QCA circuits and

by using different algorithm simulating its Bayesian framework.

REFERENCE

[1] C. Lent and P. Tougaw etal Proceeding of the IEEE, vol. 85-4, pp. 541.557, April 1997

[2] K.Walus, Wei Wang and Julliaen et al, Proc IEEE Nanotechnology conf, vol 3 December

2004.

[3] A. Vetteth et al., Proc. IEEE Emerging Telecommunications Tech-nologies Conf., 2002

[4] K.Walus, Wei Wang and Julliaen et al, Proc IEEE Nanotechnology conf, vol 3 page461-

463December 2004

[5] K.Walus, Schulaf and Julliaen et al, Proc IEEE Nanotechnology conf, vol 4,page 1350-

1354, 2004.

[6] K.Walus, Dimitrov and Julliaen et al Proc IEEE Nanotechnology conf, vol 3,page 1435 –

1439 2003

[7] K.Walus, Dysart and Julliaen et al, IEEE transactions on Nanotechnology conf, vol 3, No

– 2 June 2004.

[8] P. D. Tougaw and C. S. Lent, J. Appl. Phys., vol. 75, no. 3, pp. 1818–1825, 1994.]

[9] I. Amlani et al., Appl. Phys. Lett., vol. 77, no. 5, pp. 738–740,2000.] Control input to OR

gate is 1.

[10] W. Porod etal Int. J. Bifurcation Chaos, vol. 7, no. 10, pp. 2199–2218, 1997.

Page 15: Bayesian network based modeling and reliability analysis of quantum cellular

International Journal of Electronics and Communication Engineering & Technology (IJECET), ISSN

0976 – 6464(Print), ISSN 0976 – 6472(Online) Volume 4, Issue 1, January- February (2013), © IAEME

145

[11] I. Amlani et al, Appl. Phys. Lett., vol. 77, no. 5, pp. 738–740,2000.] Control input to OR

gate is 1.

[12] . Amlani et al., Science, vol. 284, pp. 289–291, 999.

[13] A. Orlov et al., Appl. Phys. Lett., vol. 74, no. 19, pp. 2875–2877, 1999

[14] K. Hennessy and C. S. Lent, J. Vac. Sci. Technol. B., vol. 19, no. 5, pp. 1752–1755 2001

[15] K.Walus, Dysart and Julliaen et al, IEEE transactions on Nanotechnology conf, vol 3

March 2004.

[15 ] G. Toth, Ph.D. dissertation, Univ. Notre Dame, Notre Dame, IN, 2000

[16]. Vilela Neto, Pacheco, Barbosa IEEE transaction on Computers VOL 56, pp -191 -198

February 2007

[17] Bayes.T., An Essay Towards Solving A Problem in the Doctrine of Chances,

BIOMETRICA, 46,1958, pp. 293-298 (reprinted from an original paper of 1763).

[18] Pearl J., Probabilistic Reasoning in Intelligent Systems, Margon Kaufmann,1988.

[19] Barlow R Proschan, Mathematical Theory of Reliability, NASA Symposium on VLSI

Design, Coeur d’Alene, Idaho, USA, Oct. 4-5, 2005.

[21] Saket Srivastava and Sanjukta Bhanja IEEE transactions on nanotechnology vol4 pp 43

– 78 2006.

[22] www.qcadesigner.ca

[23]. www.genie.in

[24]. P. D. Tougaw and C. S. Lent, . Journal of Applied Physics, vol. 80, pp. 4722.4736, Oct

1996.

[25] C. Lent and P. Tougaw, in Proceeding of the IEEE, vol. 85-4, pp. 541.557, April 1997.

[26] Geza Toth, Craig S. Lent, P. Douglas Superlattices and Microstructure, Vol. 20, No.

4, 473(1996).

[27] Nilesh Parihar and Dr. V. S. Chouhan, “Extraction Of QRS Complexes Using

Automated Bayesian Regularization Neural Network” International Journal Of Advanced

Research In Engineering & Technology (IJARET), Volume 3, Issue 2, 2012, pp. 37 - 42,

Published by IAEME.

[28] Er. Ravi Garg and Er. Abhijeet Kumar, “Comparasion of SNR and MSE for Various

Noises Using Bayesian Framework” International journal of Electronics and Communication

Engineering &Technology (IJECET), Volume 3, Issue 1, 2012, pp. 76 - 82, Published by

IAEME.