САПР для синтетической биологии

Значительная часть этой категории — водопровод для рабочих процессов: генерация протоколов, планирование экспериментов, сбор данных. У водопровода нет механизма, который стоило бы объяснять. Но у ядра категории он есть, и честная страница — про ядро: что именно компилирует компилятор генетических схем и почему биология продолжает сопротивляться заимствованной у электроники аналогии.

Что компилирует компилятор

На входе — логическая спецификация: таблица истинности, которую клетка должна реализовать. Компилятор отображает это поведение на сеть вентилей из репрессоров: каждый вентиль — промотор, репрессируемый продуктом другого гена, а комбинации репрессоров реализуют логику NOR, из которой собирается любая булева функция. Настоящие решения компилятора — аллокационные: какого участника охарактеризованной библиотеки вентилей поставить в каждый узел и как разместить вентили по ДНК, чтобы общие компоненты не мешали друг другу. Почему это не проектирование чипов: «проводами» служат молекулы, диффундирующие в общей цитоплазме. Каждый вентиль черпает из одного и того же конечного пула рибосом и полимераз, поэтому включение одного логического пути истощает остальные, — глобальной связки, которой у кремния нет. Устройство — не сумма изолированных деталей, а бюджет, который тратится сразу несколькими способами.

Почему симуляция честна лишь в пределах своих данных

Симулятор умеет интерполировать только внутри доказательной базы своей библиотеки. Измеренная сила промотора условна: она зависит от штамма-хозяина, копийности плазмиды, фазы роста, соседних последовательностей и от того, какая нагрузка на трансляцию висит ниже по цепи, — и каждое из этих условий меняет число. Поэтому связующее ограничение для предсказания — долг характеризации, а не качество алгоритма: модель ровно настолько хороша, насколько широк измеренный интервал, в котором она интерполирует, и молчит за его пределами. Это та же физика, что ломает композицию стандартных деталей, и та же связка, которую страница метаболической инженерии зовёт регуляцией: биологическая деталь не носит своё поведение с собой, как резистор.

Прочная половина: сборка как решение задач о связях

Часть категории, которая работает по-настоящему, — компиляция ДНК, а не поведения. Современные методы сборки — системы ограничений, которые софт способен проверить: ферменты типа IIS режут вне сайта узнавания, оставляя короткие запроектированные выступы, а компилятор подбирает последовательности выступов так, чтобы каждое сочленение спаривалось ровно с задуманным соседом — уникально, без перекрёстных реакций, проверяемо одной термодинамикой гибридизации. То же верно для методов на перекрытиях: каждый конец фрагмента должен совпасть со своим соседом и ни с кем больше. Эти правила проектирования — термодинамика отжига, а не социология, потому-то генерация протоколов сборки и решена настолько, что поддаётся автоматизации. Честное разделение такое: где правила физические, софт — инженер; где биологические — библиотекарь. И передний край поля — это перекладывание данных из второй колонки в первую.