منابع مشابه
String Assembling Systems
We introduce and investigate string assembling systems which form a computational model that generates strings from copies out of a finite set of assembly units. The underlying mechanism is based on piecewise assembly of a double-stranded sequence of symbols, where the upper and lower strand have to match. The generation is additionally controlled by the requirement that the first symbol of a u...
متن کاملSelf-Assembling Systems are Distributed Systems
In 2004, Klavins et al. introduced the use of graph grammars to describe—and to program— systems of self-assembly. We show that these graph grammars can be embedded in a graph rewriting characterization of distributed systems that was proposed by Degano and Montanari over twenty years ago. We apply this embedding to generalize Soloveichik and Winfree’s local determinism criterion (for achieving...
متن کاملFormal Verification of Self-Assembling Systems
This paper introduces the theory and practice of formal verification of self-assembling systems. We interpret a well-studied abstraction of nanomolecular self assembly, the Abstract Tile Assembly Model (aTAM), into Computation Tree Logic (CTL), a temporal logic often used in model checking. We then consider the class of “rectilinear” tile assembly systems. This class includes most aTAM systems ...
متن کاملConformational switching in self-assembling mechanical systems
A study of one-dimensional (1-D) self-assembly of a type of mechanical conformational switches, minus devices is presented where assembly occurs via the sequential mating of a random pair of parts selected from a part bin, referred to as sequential random bin-picking. Parametric design optimization of the minus devices via a genetic algorithm maximizing the yield of a desired assembly, and rate...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: RAIRO - Theoretical Informatics and Applications
سال: 2012
ISSN: 0988-3754,1290-385X
DOI: 10.1051/ita/2012020