SlideShare une entreprise Scribd logo
1  sur  23
From :- Abhisek Kundu (11081026)
Nur Islam (11081017)
Pabitra Paramanik (11081005)
TIME FRAME

MAJOR PLAYERS CONTRIBUTION

Early 50’s

J. Von Neuman , E.F. Codd ,
Henrie & Moore , H Yamada
& S. Amoroso

Modeling biological systems
- cellular models

‘60s & ‘70s

A. R. Smith , Hillis, Toffoli

Language recognizer, Image
Processing

‘80 s

S. Wolfram ,Crisp,Vichniac

Discrete Lattice,statistical
systems, Physical systems

‘87 - ‘96

IIT KGP, Group

Additive CA,
characterization,applications

‘97 - ‘99

B.E.C Group

GF (2p) CA
1

2

3

• ANALYSIS AND SYNTHESIS OF NONLINEAR
REVERSIBLE CELLULAR AUTOMATA

• GUI IMPLEMENTATION OF RECHABILITY
TREE

• VLSI DESIGN AND TESING BASED ON
CELLULAR AUTOMATA
NEXT

CELLULAR
AUTOMATA(CA)
BASICS

NEXT

CA RULES

REVERSIBLE CA

NEXT

REACHABILITY TREE
A Cellular Automata (CA) is a discreet model studied in computability theory ,
mathematics , physics , complexity science , theoretical biology and microstructure modeling.
 A cellular automaton consists of a regular grid/lattice of cells.
 It evolves in discrete space and time , and can be viewed as an autonomous Finite
State Machine(FSM).
 Each cell follows a simple rule for updating its state.
 The cell's state s at time t+1 depends on its own state and the states of its
neighbouring cells at t.

Cell
State = empty/off/alive/0
Grid/Lattice

State = filled/on/dead/1
CAs have been (or could be) used to solve a
wide range of computing problems including:
Image Processing: Each cell correspond to an image pixel and the
transition rule describe the
nature of the processing task.

Random Number Generation: CAs can
generate large sequences of random numbers.

NP-Complete Problems: CAs can address some
of the more difficult problems in computer Science.

OTHERS:

VLSI Testing,
Data Encryption,
Error Correcting Code Correction,
Testable Synthesis,
Generation of hashing Function.
Cellular Automata offer many advantages over
standard computing architecture including:
Implementation: CAs require very few wires.

Scalability: It is easy to upgrade a CA by adding
additional cells.
Robustness: CAs continue to perform even
when a cell is faulty because the local
connectivity property helps to contain the error.
The three main components of a Cellular Automata are :
The array dimension
The neighborhood structure
The transition rule

Neighborhood:Von Neumann
Moore
Extended Moore

Periodic Boundary CA :- Left neighbor of the left most cell is the
right most cell and vice versa.
Null Boundary CA :- State of left neighbor of the left most cell
and the right neighbor of the right most cell is Zero/Null.


Next State Function:- In a CA next state Si t+1 of the ith
cell is specified by the Next State function fi as

Si t+1 = fi (S i-1t , S it , S i+1 t )
Each cell has a next state function . If the next state
function of the ith cell is expressed in the form of a truth table then the
decimal equivalent of the output is conventionally referred to as the
‘Rule’ Ri.
We can form the next state combinational logic corresponding to a
cell’s rule that determines next state of the cell.

Linear/Additive Rule :- The rule that employ only XOR logic or
XNOR logic in its next state combinational logic is called linear rule
otherwise it is a non-linear rule . Out of 256 rules there are only 14
rules (Rule-15,51,60,85,90,102,105,150,153,165,170,195,204,240) are
linear / additive rule.
D

Cell 0

Q

Cell 1

Cell 2

Cell 3

0

0
4-Cell CA Structure


A small number of sensible rules, for any given
suitable application.



Every CA rule says:

A cell in state X changes to a cell of state Y if
certain neighbourhood conditions are satisfied


For 1d,2 state, 3 neighbour CA have total number of
2^2^3 = 2^8 = 256 rules.


A combination of the present states can be viewed as the Min Term of a 3varible (S i-1t , S it , S i+1 t ) switching function . Therefore each column of the
first row of table2 is referred to as Rule Min Term (RMT).



RMT 7 of rule 105 of cell1= d(don’t care)

RMT 4 of rule 129 for cell2 = 0



RMT 3 of rule 171 of cell3= 1

RMT 1 of rule 65 of cell4= d(don’t care)
Relationship among RMTs of cell i and cell (i+1) for
next state computation
 CA in n-neighborhood , an RMT can be considered as n-bit
window(i-1 , i ,i+1).
 The n-bit window for the (i+1)th cell can be found from the
window of ith cell with one bit right shift.

The RMT window for ith cell is (bi-1 bi bi+1), bi =0/1, then
the RMT window for (i+1)th cell is either (bibi+1 0) or
(bibi+1 1).
 Therefore if ith CA cell changes it state following the RMT
k of the rule Ri, then (i+1)th cell will change state
following the RMT 2kmod8 or 2kmod8+1.



2D cellular automata system.



Each cell has 8 neighbors - 4 adjacent orthogonally, 4 adjacent diagonally.
This is called the Moore Neighborhood.



Simple rules, executed at each time step:
 A live cell with 2 or 3 live neighbors survives to the next round.
 A live cell with 4 or more neighbors dies of overpopulation.
 A live cell with 1 or 0 neighbors dies of isolation.
 An empty cell with exactly 3 neighbors becomes a live cell in the next
round.
Definition 2 :- A rule is balanced if it contains equal
number of 1s and 0s in its 8-bit binary representation ;
otherwise it is an unbalanced rule.
 Definition 3 :- A rule Ri’ is the complement rule of R
if each RMT(Rule Min Term) of Ri’ is the complement
of the corresponding RMT of Ri , Therefore , Ri + Ri’ =
11111111 (255).
 Definition 4 :- Two RMTs are equivalent if both result
in the same set of RMTs effective for the next level of
Reachability tree.
 Definition 5 :- Two RMTs are sibling at level i+1 if
these are resulted in from the same RMTs at the level i
of the Reachability tree.

In case of reversibility there are two types of CA : Reversible CA :- The initial CA state repeats after certain no of
time steps . Therefore all the states of a reversible CA are reachable from other states.
A state must have only one predecessor. It contains only cyclic states in it state
transition diagram.

 Irreversible CA :- There are some states which are not
reachable(non-reachable states) from other state and a state may have more than one
predecessor.


The reachability tree is defined to characterize the CA states. It
is a binary tree and represents the reachable states of a CA.



Each node of the tree is constructed with RMT(s) of a rule .



Left Edge : - 0-edge Right Edge :- 1-edge.



The no of levels of the reachability tree for an n-cell CA is
(n+1).Root node is at level 0 and leaf nodes are at level n.



The node at level I are constructed with the selected RMTs of
Ri+1 for the next state computation of cell (i+1).
WE ARE IN PROGRESS…...….

Contenu connexe

Tendances

شرح مبسط عن الخوارزميات الجينية باستخدام الحاسبات
شرح مبسط عن الخوارزميات الجينية باستخدام الحاسباتشرح مبسط عن الخوارزميات الجينية باستخدام الحاسبات
شرح مبسط عن الخوارزميات الجينية باستخدام الحاسبات
sayAAhmad
 
CS8691 - Artificial Intelligence.pdf
CS8691 - Artificial Intelligence.pdfCS8691 - Artificial Intelligence.pdf
CS8691 - Artificial Intelligence.pdf
KishaKiddo
 

Tendances (20)

Types and roles
Types and rolesTypes and roles
Types and roles
 
Art network
Art networkArt network
Art network
 
Adaptive Resonance Theory
Adaptive Resonance TheoryAdaptive Resonance Theory
Adaptive Resonance Theory
 
COMPILER DESIGN Run-Time Environments
COMPILER DESIGN Run-Time EnvironmentsCOMPILER DESIGN Run-Time Environments
COMPILER DESIGN Run-Time Environments
 
Lecture 09: Localization and Mapping III
Lecture 09: Localization and Mapping IIILecture 09: Localization and Mapping III
Lecture 09: Localization and Mapping III
 
Applications of Mealy & Moore Machine
Applications of  Mealy  & Moore Machine Applications of  Mealy  & Moore Machine
Applications of Mealy & Moore Machine
 
General purpose simulation System (GPSS)
General purpose simulation System (GPSS)General purpose simulation System (GPSS)
General purpose simulation System (GPSS)
 
States, state graphs and transition testing
States, state graphs and transition testingStates, state graphs and transition testing
States, state graphs and transition testing
 
Kalman Filter Basic
Kalman Filter BasicKalman Filter Basic
Kalman Filter Basic
 
Performance prediction of PV & PV/T systems using Artificial Neural Networks ...
Performance prediction of PV & PV/T systems using Artificial Neural Networks ...Performance prediction of PV & PV/T systems using Artificial Neural Networks ...
Performance prediction of PV & PV/T systems using Artificial Neural Networks ...
 
شرح مبسط عن الخوارزميات الجينية باستخدام الحاسبات
شرح مبسط عن الخوارزميات الجينية باستخدام الحاسباتشرح مبسط عن الخوارزميات الجينية باستخدام الحاسبات
شرح مبسط عن الخوارزميات الجينية باستخدام الحاسبات
 
Address in the target code in Compiler Construction
Address in the target code in Compiler ConstructionAddress in the target code in Compiler Construction
Address in the target code in Compiler Construction
 
Use case Diagram and Sequence Diagram
Use case Diagram and Sequence DiagramUse case Diagram and Sequence Diagram
Use case Diagram and Sequence Diagram
 
Unit 5
Unit 5Unit 5
Unit 5
 
Artificial Intelligence Searching Techniques
Artificial Intelligence Searching TechniquesArtificial Intelligence Searching Techniques
Artificial Intelligence Searching Techniques
 
Software Engineering :Behavioral Modelling - I Sequence diagram
Software Engineering :Behavioral Modelling - I Sequence diagram Software Engineering :Behavioral Modelling - I Sequence diagram
Software Engineering :Behavioral Modelling - I Sequence diagram
 
CS8691 - Artificial Intelligence.pdf
CS8691 - Artificial Intelligence.pdfCS8691 - Artificial Intelligence.pdf
CS8691 - Artificial Intelligence.pdf
 
Context Awareness in Mobile Computing
Context Awareness in Mobile ComputingContext Awareness in Mobile Computing
Context Awareness in Mobile Computing
 
Working principle of Turing machine
Working principle of Turing machineWorking principle of Turing machine
Working principle of Turing machine
 
Evolutionary Algorithms
Evolutionary AlgorithmsEvolutionary Algorithms
Evolutionary Algorithms
 

En vedette

Cellular automata
Cellular automataCellular automata
Cellular automata
Yang Yeeun
 
Presentation adv theo cs fadhil
Presentation adv theo cs fadhilPresentation adv theo cs fadhil
Presentation adv theo cs fadhil
Fadhil Sukmadinata
 
Model checking of time petri nets
Model checking of time petri netsModel checking of time petri nets
Model checking of time petri nets
Marwa Al-Rikaby
 

En vedette (20)

Cellular automata
Cellular automataCellular automata
Cellular automata
 
Cellular automata
Cellular automataCellular automata
Cellular automata
 
Cellular automata by Devdutta Chakrabarti
Cellular automata by Devdutta ChakrabartiCellular automata by Devdutta Chakrabarti
Cellular automata by Devdutta Chakrabarti
 
Cellular Automata Models of Social Processes
Cellular Automata Models of Social ProcessesCellular Automata Models of Social Processes
Cellular Automata Models of Social Processes
 
Cellular Automata
Cellular AutomataCellular Automata
Cellular Automata
 
Cellular Automata
Cellular AutomataCellular Automata
Cellular Automata
 
Cellular automata
Cellular automata Cellular automata
Cellular automata
 
Cellular Automata- Dengue Fever
Cellular Automata- Dengue FeverCellular Automata- Dengue Fever
Cellular Automata- Dengue Fever
 
CELLULAR AUTOMATA TRAFFIC FLOW MODEL
CELLULAR AUTOMATA TRAFFIC FLOW MODELCELLULAR AUTOMATA TRAFFIC FLOW MODEL
CELLULAR AUTOMATA TRAFFIC FLOW MODEL
 
Urban Land Cover Change Detection Analysis and Modelling Spatio-Temporal Grow...
Urban Land Cover Change Detection Analysis and Modelling Spatio-Temporal Grow...Urban Land Cover Change Detection Analysis and Modelling Spatio-Temporal Grow...
Urban Land Cover Change Detection Analysis and Modelling Spatio-Temporal Grow...
 
Presentation adv theo cs fadhil
Presentation adv theo cs fadhilPresentation adv theo cs fadhil
Presentation adv theo cs fadhil
 
1D/2D Cellular Automata Modeling with Modelica
1D/2D Cellular Automata Modeling with Modelica1D/2D Cellular Automata Modeling with Modelica
1D/2D Cellular Automata Modeling with Modelica
 
Cellular Automata
Cellular AutomataCellular Automata
Cellular Automata
 
Educational Software Engineering: Where Software Engineering, Education, and ...
Educational Software Engineering: Where Software Engineering, Education, and ...Educational Software Engineering: Where Software Engineering, Education, and ...
Educational Software Engineering: Where Software Engineering, Education, and ...
 
Block Emulation and Computation in One-dimensional Cellular Automata: Breakin...
Block Emulation and Computation in One-dimensional Cellular Automata: Breakin...Block Emulation and Computation in One-dimensional Cellular Automata: Breakin...
Block Emulation and Computation in One-dimensional Cellular Automata: Breakin...
 
StrataGEM: A Generic Petri Net Verification Framework
StrataGEM: A Generic Petri Net Verification FrameworkStrataGEM: A Generic Petri Net Verification Framework
StrataGEM: A Generic Petri Net Verification Framework
 
Impact of Agricultural Value Chains on Digital Liquidity
Impact of Agricultural Value Chains on Digital LiquidityImpact of Agricultural Value Chains on Digital Liquidity
Impact of Agricultural Value Chains on Digital Liquidity
 
Promoting accountability in agricultural investment chains: an introduction
Promoting accountability in agricultural investment chains: an introductionPromoting accountability in agricultural investment chains: an introduction
Promoting accountability in agricultural investment chains: an introduction
 
A Preliminary Study on Architecting Cyber-Physical Systems
A Preliminary Study on Architecting Cyber-Physical SystemsA Preliminary Study on Architecting Cyber-Physical Systems
A Preliminary Study on Architecting Cyber-Physical Systems
 
Model checking of time petri nets
Model checking of time petri netsModel checking of time petri nets
Model checking of time petri nets
 

Similaire à Cellular automata

Stability criteria and Analysis_Control Systems Engineering_MEB 4101.pdf
Stability criteria and Analysis_Control Systems Engineering_MEB 4101.pdfStability criteria and Analysis_Control Systems Engineering_MEB 4101.pdf
Stability criteria and Analysis_Control Systems Engineering_MEB 4101.pdf
MUST
 
Preparatory_questions_final_exam_DigitalElectronics1 (1).pdf
Preparatory_questions_final_exam_DigitalElectronics1 (1).pdfPreparatory_questions_final_exam_DigitalElectronics1 (1).pdf
Preparatory_questions_final_exam_DigitalElectronics1 (1).pdf
rdjo
 
UNIT-II -DIGITAL SYSTEM DESIGN
UNIT-II -DIGITAL SYSTEM DESIGNUNIT-II -DIGITAL SYSTEM DESIGN
UNIT-II -DIGITAL SYSTEM DESIGN
Dr.YNM
 
LECTURE 4. Stability criteria and Analysis_Control Systems Engineering_MEB 41...
LECTURE 4. Stability criteria and Analysis_Control Systems Engineering_MEB 41...LECTURE 4. Stability criteria and Analysis_Control Systems Engineering_MEB 41...
LECTURE 4. Stability criteria and Analysis_Control Systems Engineering_MEB 41...
MUST
 
Annu. Rev. Mater. Res. 2002 Vol 32 P 53 Overview Cellular Automa
Annu.  Rev.  Mater.  Res. 2002 Vol 32 P 53 Overview Cellular AutomaAnnu.  Rev.  Mater.  Res. 2002 Vol 32 P 53 Overview Cellular Automa
Annu. Rev. Mater. Res. 2002 Vol 32 P 53 Overview Cellular Automa
Dierk Raabe
 

Similaire à Cellular automata (20)

Cellular Automata, PDEs and Pattern Formation
Cellular Automata, PDEs and Pattern FormationCellular Automata, PDEs and Pattern Formation
Cellular Automata, PDEs and Pattern Formation
 
Two dimensional-cellular-automata
Two dimensional-cellular-automataTwo dimensional-cellular-automata
Two dimensional-cellular-automata
 
SMALL SIGNAL ROTOR ANGLE STABILITY
SMALL SIGNAL ROTOR ANGLE STABILITY SMALL SIGNAL ROTOR ANGLE STABILITY
SMALL SIGNAL ROTOR ANGLE STABILITY
 
Stabiltiy & R-H Ccriterion
Stabiltiy & R-H CcriterionStabiltiy & R-H Ccriterion
Stabiltiy & R-H Ccriterion
 
stability ( Introduction (1) routh )
stability ( Introduction (1) routh )stability ( Introduction (1) routh )
stability ( Introduction (1) routh )
 
Stability criteria and Analysis_Control Systems Engineering_MEB 4101.pdf
Stability criteria and Analysis_Control Systems Engineering_MEB 4101.pdfStability criteria and Analysis_Control Systems Engineering_MEB 4101.pdf
Stability criteria and Analysis_Control Systems Engineering_MEB 4101.pdf
 
Preparatory_questions_final_exam_DigitalElectronics1 (1).pdf
Preparatory_questions_final_exam_DigitalElectronics1 (1).pdfPreparatory_questions_final_exam_DigitalElectronics1 (1).pdf
Preparatory_questions_final_exam_DigitalElectronics1 (1).pdf
 
UNIT-II -DIGITAL SYSTEM DESIGN
UNIT-II -DIGITAL SYSTEM DESIGNUNIT-II -DIGITAL SYSTEM DESIGN
UNIT-II -DIGITAL SYSTEM DESIGN
 
UNIT-II : SEQUENTIAL CIRCUIT DESIGN
UNIT-II  : SEQUENTIAL CIRCUIT DESIGN UNIT-II  : SEQUENTIAL CIRCUIT DESIGN
UNIT-II : SEQUENTIAL CIRCUIT DESIGN
 
Transfer Function, Concepts of stability(critical, Absolute & Relative) Poles...
Transfer Function, Concepts of stability(critical, Absolute & Relative) Poles...Transfer Function, Concepts of stability(critical, Absolute & Relative) Poles...
Transfer Function, Concepts of stability(critical, Absolute & Relative) Poles...
 
LECTURE 4. Stability criteria and Analysis_Control Systems Engineering_MEB 41...
LECTURE 4. Stability criteria and Analysis_Control Systems Engineering_MEB 41...LECTURE 4. Stability criteria and Analysis_Control Systems Engineering_MEB 41...
LECTURE 4. Stability criteria and Analysis_Control Systems Engineering_MEB 41...
 
State space analysis.pptx
State space analysis.pptxState space analysis.pptx
State space analysis.pptx
 
Control systems formula book
Control systems formula bookControl systems formula book
Control systems formula book
 
Modern Control System (BE)
Modern Control System (BE)Modern Control System (BE)
Modern Control System (BE)
 
solver (1)
solver (1)solver (1)
solver (1)
 
Annu. Rev. Mater. Res. 2002 Vol 32 P 53 Overview Cellular Automa
Annu.  Rev.  Mater.  Res. 2002 Vol 32 P 53 Overview Cellular AutomaAnnu.  Rev.  Mater.  Res. 2002 Vol 32 P 53 Overview Cellular Automa
Annu. Rev. Mater. Res. 2002 Vol 32 P 53 Overview Cellular Automa
 
1984 koditschek natural motion for robot arms
1984 koditschek   natural motion for robot arms1984 koditschek   natural motion for robot arms
1984 koditschek natural motion for robot arms
 
Control Systems Assignment Help
Control Systems Assignment HelpControl Systems Assignment Help
Control Systems Assignment Help
 
Placing Controllers in a System
Placing Controllers in a SystemPlacing Controllers in a System
Placing Controllers in a System
 
Two queue tandem resim 16 paper
Two queue tandem resim 16 paperTwo queue tandem resim 16 paper
Two queue tandem resim 16 paper
 

Plus de Nur Islam

Plus de Nur Islam (8)

Lan wan
Lan wanLan wan
Lan wan
 
Gsm
GsmGsm
Gsm
 
Overview of iso 9001
Overview of iso 9001Overview of iso 9001
Overview of iso 9001
 
Software reliability & quality
Software reliability & qualitySoftware reliability & quality
Software reliability & quality
 
Metrics for project size estimation
Metrics for project size estimationMetrics for project size estimation
Metrics for project size estimation
 
Organization and team structures
Organization and team structuresOrganization and team structures
Organization and team structures
 
Halsted’s Software Science-An analytical technique
Halsted’s Software Science-An analytical techniqueHalsted’s Software Science-An analytical technique
Halsted’s Software Science-An analytical technique
 
Designing of media player
Designing of media playerDesigning of media player
Designing of media player
 

Dernier

Dernier (20)

General Principles of Intellectual Property: Concepts of Intellectual Proper...
General Principles of Intellectual Property: Concepts of Intellectual  Proper...General Principles of Intellectual Property: Concepts of Intellectual  Proper...
General Principles of Intellectual Property: Concepts of Intellectual Proper...
 
Sociology 101 Demonstration of Learning Exhibit
Sociology 101 Demonstration of Learning ExhibitSociology 101 Demonstration of Learning Exhibit
Sociology 101 Demonstration of Learning Exhibit
 
SOC 101 Demonstration of Learning Presentation
SOC 101 Demonstration of Learning PresentationSOC 101 Demonstration of Learning Presentation
SOC 101 Demonstration of Learning Presentation
 
Food safety_Challenges food safety laboratories_.pdf
Food safety_Challenges food safety laboratories_.pdfFood safety_Challenges food safety laboratories_.pdf
Food safety_Challenges food safety laboratories_.pdf
 
How to Give a Domain for a Field in Odoo 17
How to Give a Domain for a Field in Odoo 17How to Give a Domain for a Field in Odoo 17
How to Give a Domain for a Field in Odoo 17
 
Key note speaker Neum_Admir Softic_ENG.pdf
Key note speaker Neum_Admir Softic_ENG.pdfKey note speaker Neum_Admir Softic_ENG.pdf
Key note speaker Neum_Admir Softic_ENG.pdf
 
How to Create and Manage Wizard in Odoo 17
How to Create and Manage Wizard in Odoo 17How to Create and Manage Wizard in Odoo 17
How to Create and Manage Wizard in Odoo 17
 
Jamworks pilot and AI at Jisc (20/03/2024)
Jamworks pilot and AI at Jisc (20/03/2024)Jamworks pilot and AI at Jisc (20/03/2024)
Jamworks pilot and AI at Jisc (20/03/2024)
 
HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptx
HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptxHMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptx
HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptx
 
UGC NET Paper 1 Mathematical Reasoning & Aptitude.pdf
UGC NET Paper 1 Mathematical Reasoning & Aptitude.pdfUGC NET Paper 1 Mathematical Reasoning & Aptitude.pdf
UGC NET Paper 1 Mathematical Reasoning & Aptitude.pdf
 
ICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptxICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptx
 
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx
 
Fostering Friendships - Enhancing Social Bonds in the Classroom
Fostering Friendships - Enhancing Social Bonds  in the ClassroomFostering Friendships - Enhancing Social Bonds  in the Classroom
Fostering Friendships - Enhancing Social Bonds in the Classroom
 
Single or Multiple melodic lines structure
Single or Multiple melodic lines structureSingle or Multiple melodic lines structure
Single or Multiple melodic lines structure
 
On National Teacher Day, meet the 2024-25 Kenan Fellows
On National Teacher Day, meet the 2024-25 Kenan FellowsOn National Teacher Day, meet the 2024-25 Kenan Fellows
On National Teacher Day, meet the 2024-25 Kenan Fellows
 
Python Notes for mca i year students osmania university.docx
Python Notes for mca i year students osmania university.docxPython Notes for mca i year students osmania university.docx
Python Notes for mca i year students osmania university.docx
 
Understanding Accommodations and Modifications
Understanding  Accommodations and ModificationsUnderstanding  Accommodations and Modifications
Understanding Accommodations and Modifications
 
Towards a code of practice for AI in AT.pptx
Towards a code of practice for AI in AT.pptxTowards a code of practice for AI in AT.pptx
Towards a code of practice for AI in AT.pptx
 
Sensory_Experience_and_Emotional_Resonance_in_Gabriel_Okaras_The_Piano_and_Th...
Sensory_Experience_and_Emotional_Resonance_in_Gabriel_Okaras_The_Piano_and_Th...Sensory_Experience_and_Emotional_Resonance_in_Gabriel_Okaras_The_Piano_and_Th...
Sensory_Experience_and_Emotional_Resonance_in_Gabriel_Okaras_The_Piano_and_Th...
 
Unit 3 Emotional Intelligence and Spiritual Intelligence.pdf
Unit 3 Emotional Intelligence and Spiritual Intelligence.pdfUnit 3 Emotional Intelligence and Spiritual Intelligence.pdf
Unit 3 Emotional Intelligence and Spiritual Intelligence.pdf
 

Cellular automata

  • 1. From :- Abhisek Kundu (11081026) Nur Islam (11081017) Pabitra Paramanik (11081005)
  • 2. TIME FRAME MAJOR PLAYERS CONTRIBUTION Early 50’s J. Von Neuman , E.F. Codd , Henrie & Moore , H Yamada & S. Amoroso Modeling biological systems - cellular models ‘60s & ‘70s A. R. Smith , Hillis, Toffoli Language recognizer, Image Processing ‘80 s S. Wolfram ,Crisp,Vichniac Discrete Lattice,statistical systems, Physical systems ‘87 - ‘96 IIT KGP, Group Additive CA, characterization,applications ‘97 - ‘99 B.E.C Group GF (2p) CA
  • 3. 1 2 3 • ANALYSIS AND SYNTHESIS OF NONLINEAR REVERSIBLE CELLULAR AUTOMATA • GUI IMPLEMENTATION OF RECHABILITY TREE • VLSI DESIGN AND TESING BASED ON CELLULAR AUTOMATA
  • 5. A Cellular Automata (CA) is a discreet model studied in computability theory , mathematics , physics , complexity science , theoretical biology and microstructure modeling.  A cellular automaton consists of a regular grid/lattice of cells.  It evolves in discrete space and time , and can be viewed as an autonomous Finite State Machine(FSM).  Each cell follows a simple rule for updating its state.  The cell's state s at time t+1 depends on its own state and the states of its neighbouring cells at t. Cell State = empty/off/alive/0 Grid/Lattice State = filled/on/dead/1
  • 6. CAs have been (or could be) used to solve a wide range of computing problems including: Image Processing: Each cell correspond to an image pixel and the transition rule describe the nature of the processing task. Random Number Generation: CAs can generate large sequences of random numbers. NP-Complete Problems: CAs can address some of the more difficult problems in computer Science. OTHERS: VLSI Testing, Data Encryption, Error Correcting Code Correction, Testable Synthesis, Generation of hashing Function.
  • 7. Cellular Automata offer many advantages over standard computing architecture including: Implementation: CAs require very few wires. Scalability: It is easy to upgrade a CA by adding additional cells. Robustness: CAs continue to perform even when a cell is faulty because the local connectivity property helps to contain the error.
  • 8. The three main components of a Cellular Automata are : The array dimension The neighborhood structure The transition rule Neighborhood:Von Neumann Moore Extended Moore Periodic Boundary CA :- Left neighbor of the left most cell is the right most cell and vice versa. Null Boundary CA :- State of left neighbor of the left most cell and the right neighbor of the right most cell is Zero/Null.
  • 9.  Next State Function:- In a CA next state Si t+1 of the ith cell is specified by the Next State function fi as Si t+1 = fi (S i-1t , S it , S i+1 t ) Each cell has a next state function . If the next state function of the ith cell is expressed in the form of a truth table then the decimal equivalent of the output is conventionally referred to as the ‘Rule’ Ri.
  • 10. We can form the next state combinational logic corresponding to a cell’s rule that determines next state of the cell. Linear/Additive Rule :- The rule that employ only XOR logic or XNOR logic in its next state combinational logic is called linear rule otherwise it is a non-linear rule . Out of 256 rules there are only 14 rules (Rule-15,51,60,85,90,102,105,150,153,165,170,195,204,240) are linear / additive rule.
  • 11. D Cell 0 Q Cell 1 Cell 2 Cell 3 0 0 4-Cell CA Structure
  • 12.  A small number of sensible rules, for any given suitable application.  Every CA rule says: A cell in state X changes to a cell of state Y if certain neighbourhood conditions are satisfied  For 1d,2 state, 3 neighbour CA have total number of 2^2^3 = 2^8 = 256 rules.
  • 13.  A combination of the present states can be viewed as the Min Term of a 3varible (S i-1t , S it , S i+1 t ) switching function . Therefore each column of the first row of table2 is referred to as Rule Min Term (RMT).  RMT 7 of rule 105 of cell1= d(don’t care) RMT 4 of rule 129 for cell2 = 0  RMT 3 of rule 171 of cell3= 1 RMT 1 of rule 65 of cell4= d(don’t care)
  • 14. Relationship among RMTs of cell i and cell (i+1) for next state computation  CA in n-neighborhood , an RMT can be considered as n-bit window(i-1 , i ,i+1).  The n-bit window for the (i+1)th cell can be found from the window of ith cell with one bit right shift. 
  • 15. The RMT window for ith cell is (bi-1 bi bi+1), bi =0/1, then the RMT window for (i+1)th cell is either (bibi+1 0) or (bibi+1 1).  Therefore if ith CA cell changes it state following the RMT k of the rule Ri, then (i+1)th cell will change state following the RMT 2kmod8 or 2kmod8+1. 
  • 16.  2D cellular automata system.  Each cell has 8 neighbors - 4 adjacent orthogonally, 4 adjacent diagonally. This is called the Moore Neighborhood.  Simple rules, executed at each time step:  A live cell with 2 or 3 live neighbors survives to the next round.  A live cell with 4 or more neighbors dies of overpopulation.  A live cell with 1 or 0 neighbors dies of isolation.  An empty cell with exactly 3 neighbors becomes a live cell in the next round.
  • 17. Definition 2 :- A rule is balanced if it contains equal number of 1s and 0s in its 8-bit binary representation ; otherwise it is an unbalanced rule.  Definition 3 :- A rule Ri’ is the complement rule of R if each RMT(Rule Min Term) of Ri’ is the complement of the corresponding RMT of Ri , Therefore , Ri + Ri’ = 11111111 (255).  Definition 4 :- Two RMTs are equivalent if both result in the same set of RMTs effective for the next level of Reachability tree.  Definition 5 :- Two RMTs are sibling at level i+1 if these are resulted in from the same RMTs at the level i of the Reachability tree. 
  • 18. In case of reversibility there are two types of CA : Reversible CA :- The initial CA state repeats after certain no of time steps . Therefore all the states of a reversible CA are reachable from other states. A state must have only one predecessor. It contains only cyclic states in it state transition diagram.  Irreversible CA :- There are some states which are not reachable(non-reachable states) from other state and a state may have more than one predecessor.
  • 19.  The reachability tree is defined to characterize the CA states. It is a binary tree and represents the reachable states of a CA.  Each node of the tree is constructed with RMT(s) of a rule .  Left Edge : - 0-edge Right Edge :- 1-edge.  The no of levels of the reachability tree for an n-cell CA is (n+1).Root node is at level 0 and leaf nodes are at level n.  The node at level I are constructed with the selected RMTs of Ri+1 for the next state computation of cell (i+1).
  • 20.
  • 21.
  • 22.
  • 23. WE ARE IN PROGRESS…...….