3.) Если же устанавливается активизирующая связь, то наличие или отсутствие входных данных заблокирует или позволит ответ от mRNA (логическая операция значения истины) (рис. 2-1с).
4.) Пример генной DNF-сети показан на рис.2-1d.
Молекулярный оператор 1 – мРНК флуоресцентного белка ZsYellow с мишенями для siRNA-A, siRNA-C и siRNA-E в UTR участках (мРНК1).
Молекулярный оператор 2 – мРНК того же белка, только UTR область содержит мишени для siRNA-НЕ(А) и siRNA-B (мРНК2).
Если, к примеру, A, C и E присутствуют, то соответствующие siRNA будут блокированы и трансляция светящегося белка будет идти с мРНК1. Хотя siRNA-НЕ(A) будет активной и подавит трансляцию белка ZsYellow с мРНК2, общий результат операции (мРНК1) ИЛИ (мРНК2) будет оценен как ИСТИНА.
2.3 Устройство молекулярного автомата для КНФ выражений
Биологическая цепь, которая предполагает только второй подход, включает в себя виды mRNA, которые производят фактор считывания информации, подавляющий кодирующий выходные данные ген. Принцип основан на использовании молекул мРНК, кодирующих белки-репрессоры LacI и LacI-KRAB (рис.2-2).
Репрессоры – это белки, которые, связываясь со своей мишенью на ДНК в промоторно-операторной области (месте старта синтеза мРНК), препятствуют образованию мРНК.Репрессор LacI выделен из бактерии E.сoli, a KRAB – из клеток человека. Связывание LacI (или LacI-KRAB) репрессора с операторной областью LacO, расположенной перед геном, кодирующим выходной белок (здесь – dsRed), препятствует образованию его мРНК и, следовательно, самого белка (в данном случае флуоресцирующего красным белка dsRed). Рассмотрим, предлагаемые ниже, схемы (рис. 2-2).
Рис. 2-2 - Дизайн генной сети молекулярного компьютера на основе СNF-формы
1.) Если репрессор эффективно регулирует выходные данные, все mRNA должны быть устранены, чтобы сгенерировать выходные данные, имплементируя логическую операцию И (таблица 2-2а). Если репрессор с одной мРНК эффективно блокирует белок dsRed , то для получения последнего на выходе необходимо, чтобы все мРНК, производящие репрессор, были удалены, что соответствует логической операции И (рис.2-2a).
2.)
Как и до этого, мы комбинируем комплекты целей siRNA. Однако, в отличие от прошлого случая, эндогенные входные данные должны активизировать siRNA, а не заблокировать их. ПО меньшей мере одна siRNA из каждого комплекта должна быть активизирована, чтобы устранить все репрессоры mRNA и деблокировать подавление, в соответствии с логической операцией ИЛИ (рис. 2-2б). Как и в схеме с DNF, последовательности-мишени для siRNA вставили в 3’-UTR участки мРНК, кодирующих репрессоры. Но, в противоположность предыдущей схеме, здесь предполагается, что молекулы на входе активируют siRNA, а не блокируют их. Хотя бы одна из двух siRNA, нацеленных на одну мРНК, должна быть активирована, чтобы уничтожить эту репрессорную мРНК (рис. 2-2b). Это приведет к освобождению LacO области от LacI и, соответственно, инициирует образование белка dsRed. Эта ситуация иллюстрирует логическую операцию ИЛИ (рис.2-2b).3.) Например, если А и B активизируют siRNA, направленные на одну mRNA, а Х и Y активизируют siRNA, направленную на другую mRNA, как минимум A или B, а также X или Y должны присутствовать (A ИЛИ B; X ИЛИ Y). Данные, блокирующие медиатора- siRNA отсутствуют в выражении (рис. 2-2с). Это – пример выражения конъюнктивной нормальной формы (КНФ) – (рис. 2-2д). Стандартные формы ДНФ и КНФ особенно полезны, потому что любое логическое условие может быть оценено с использованием соответствующей ДНФ или КНФ. В случае с логическим отрицанием (рис.2c) предполагается, что молекулярный вход А блокирует siRNA. В этом случае, если А нет на входе (ЛОЖЬ – FALSE), тогда нет репрессора и есть белок dsRed, что соответствует операции НЕ (А), и на выходе мы имеем ИСТИНУ – TRUE.
Пример генной CNF-сети показан на рис.2-2d. Если молекулярные входы B и С присутствуют, тогда активируются siRNA-B и siRNA-C, снижая количества репрессора LacI, синтезируемого с молекул-операторов мРНК1 и мРНК2. При этом общий уровень белка LacI будет низким, что приведет к освобождению области LacO от LacI. Теперь участок старта синтеза белка dsRed открыт и на выходе имеем большие количества белка dsRed, что соответствует результату ИСТИНА.2.4 Тестирование индивидуальных молекул
Далее проводились оценивающие эксперименты для выражение ДНФ и КНФ. Были сконструировали цепи, чтобы оценить два выражения в форме ДНФ. Так, для двух генных сетей, соответствующих двум DNF-формам, были просчитаны все варианты пяти входных переменных (табл.2-3а).
Рисунок 2-3 - Таблицы истинности для вычисляемых выражений
Форме D1 – (A И B И C ) ИЛИ (D И E) – соответствуют два молекулярных оператора. Один из них содержит в нетранслируемом конце гена ZsYellow последовательные мишени для siRNA, блокирующих синтез белков T1 (A), T2 (B) и S14 (C). В тот же участок второго гена-оператора встроены мишени для siRNA FF3 (D) и FF4 (E) (в соответствии с рис. 2-1d).
Форме D2 – (A И C И E) ИЛИ (НЕ(A) И B) – соответствуют молекулярный оператор 1, содержащий в нетранслируемом конце гена ZsYellow последовательные мишени для siRNA, блокирующих синтез белков FF4 (A), T1 (C) и S14 (E), и молекулярный оператор 2, содержащий мишени для siRNA, блокирующих синтез FF3 (НЕ(A)) и T2 (B) в том же
Рисунок 2-4 - Тестирование индивидуальных молекул ДНК
а – результаты оценки двух DNF-выражений, полученные для всех комбинаций переменных.