Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan...
-
Upload
lee-freeman -
Category
Documents
-
view
216 -
download
0
Transcript of Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan...
![Page 1: Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan University of Tennessee, Knoxville Supported by NSF.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649f355503460f94c52cdd/html5/thumbnails/1.jpg)
Universally Programmable Intelligent Matter
A Systematic Approach to Nanotechnology
Bruce MacLennan
University of Tennessee, Knoxville
Supported by NSF NER grantand UTK Center for Information Technology Research
![Page 2: Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan University of Tennessee, Knoxville Supported by NSF.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649f355503460f94c52cdd/html5/thumbnails/2.jpg)
Introduction & Definitions
• Intelligent matter: individual molecules or molecular clusters function as agents
• Universally programmable intelligent matter: made from a small set of building blocks that are computationally universal
![Page 3: Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan University of Tennessee, Knoxville Supported by NSF.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649f355503460f94c52cdd/html5/thumbnails/3.jpg)
Goals
• Avoid case-by-case nano-engineering of materials
• Design one “universal material” that can be “programmed” for many applications
• Requires a small, fixed set of molecular building blocks (& reactions), which can be arranged for varied purposes
• Suggestive evidence for such sets
![Page 4: Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan University of Tennessee, Knoxville Supported by NSF.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649f355503460f94c52cdd/html5/thumbnails/4.jpg)
K-substitution
((K X) Y) X
![Page 5: Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan University of Tennessee, Knoxville Supported by NSF.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649f355503460f94c52cdd/html5/thumbnails/5.jpg)
K-Substitutionas a Molecular Process
![Page 6: Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan University of Tennessee, Knoxville Supported by NSF.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649f355503460f94c52cdd/html5/thumbnails/6.jpg)
S-Substitution (with Copying)
(((S X) Y) Z) ((X Z) (Y Z))
![Page 7: Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan University of Tennessee, Knoxville Supported by NSF.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649f355503460f94c52cdd/html5/thumbnails/7.jpg)
S-Substitution (with Sharing)
(((S X) Y) Z) ((X Z) (Y Z))
![Page 8: Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan University of Tennessee, Knoxville Supported by NSF.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649f355503460f94c52cdd/html5/thumbnails/8.jpg)
Computational Properties
• Universality: S and K can compute anything that is computable
• Church-Rosser Property: substitutions can be done in any order without affecting result
![Page 9: Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan University of Tennessee, Knoxville Supported by NSF.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649f355503460f94c52cdd/html5/thumbnails/9.jpg)
SK Computation
• Good model of nondeterministic & parallel computing
• Has been studied as model of massively parallel computer architecture
• Functional computer programs can be compiled into SK networks
![Page 10: Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan University of Tennessee, Knoxville Supported by NSF.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649f355503460f94c52cdd/html5/thumbnails/10.jpg)
Example: Computing a Ring
Ring (X,Y) = R
where rec R = Aux (X,Y,R)
Aux (X, nil, R) = R
Aux (x:X, y:Y, R)
= (x,y) : Aux (X,Y,R)
![Page 11: Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan University of Tennessee, Knoxville Supported by NSF.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649f355503460f94c52cdd/html5/thumbnails/11.jpg)
Example: Computing a Tube
Tube (nil, X, Y)
= Ring (X, Y)
Tube (a:N, X, Y)
= Ring [X, Tube(N,X,Y)]
![Page 12: Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan University of Tennessee, Knoxville Supported by NSF.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649f355503460f94c52cdd/html5/thumbnails/12.jpg)
Extensions
• Sensor operations respond to environmental conditions
• Effector operations have physical effects on environment
• Execution of these “imperative” operations must be controlled
![Page 13: Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan University of Tennessee, Knoxville Supported by NSF.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649f355503460f94c52cdd/html5/thumbnails/13.jpg)
Some Static Applications
• Complex physical structures: chains, tubes, spheres, fibers, networks, quasi-crystalline structures
• Membranes with pores or channels
• Very dense analog neural networks
• Sensor & effector organs for microrobots
• Conventional computation
![Page 14: Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan University of Tennessee, Knoxville Supported by NSF.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649f355503460f94c52cdd/html5/thumbnails/14.jpg)
Some Dynamic Applications
• Membrane with controllable channels• Free-floating clusters controlling fluid properties• Semiautonomous agents to recognize and bind
molecules• Sensory transducers, such as artificial retinas &
cochleas• Effectors, such as cilia & artificial muscle fibers• Self-repair
![Page 15: Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan University of Tennessee, Knoxville Supported by NSF.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649f355503460f94c52cdd/html5/thumbnails/15.jpg)
Developing an Application
1) Write & debug program
2) Compile into SK network
3) Simulate on computer
4) Flatten into DNA sequence
5) Replicate DNA
6) Construct molecular network from DNA
7) Supply reactants for computation
8) Optionally, replace by permanent groups
![Page 16: Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan University of Tennessee, Knoxville Supported by NSF.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649f355503460f94c52cdd/html5/thumbnails/16.jpg)
Issues
• Appropriate model of computation• Replication/sharing problem• Appropriate choice of combinators• Blocking computation• Nontraditional effects on computation• Dealing with substitution error• Geometrical issues• Supply of reactants• Identifying/synthesizing appropriate reactions
![Page 17: Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan University of Tennessee, Knoxville Supported by NSF.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649f355503460f94c52cdd/html5/thumbnails/17.jpg)
Current Activities
• Developing mathematical model
• Theoretical analysis
• Developing simulation tool
• Programming sample applications