Table of Contents
A model of computation for Fourier optical processors
Outline
Analog Optical Computing
Multiplication with Light
Scope
Motivations
Fourier processors at Maynooth
Joint transform correlator (JTC)
Joint transform correlator (JTC)
Joint transform correlator (JTC)
AO matrix-vector multiplier
AO matrix-vector multiplier
Perceptron learning
Motivations (cont.)
Motivations (cont.)
Existing optical models of computation
Existing optical models of computation
Existing optical models of computation
Existing optical models of computation
Existing optical models of computation
Existing optical models of computation
Existing optical models of computation
Our theoretical machine
Formal description
1. Memory
2. Finite control
3. Control flow
3. Control flow
3. Control flow
3. Control flow
3. Control flow
3. Control flow
4. Information flow
5. Configurations
6. Tuples
6. Tuples
Grammar
Grammar
Example machines
Matched filter correlation
Matched filter correlation
Matched filter correlation
Joint transform correlation
Spatial-frequency filtering
Computability
Papa Bear - too powerful?
Papa Bear - too powerful?
Papa Bear - too powerful?
Mama Bear - not powerful enough?
Mama Bear - not powerful enough?
Computability: indirect addressing
Baby Bear - just right!
2PDA - recognising S?aSb|e
2PDA - recognising S?aSb|e
2PDA - push and pop simulations
2PDA - macros (shorthand)
2PDA
TM
Computational complexity
MF and JTC
Future...
Conclusions
PPT Slide
|