Все выпуски

Широко используемаяв генной инженерии плазмида pTTQ18 рассматриваетсяв данной работе как неоднородная нелинейная динамическая система, в которой могут возникать и распространяться локальные конформационные возмущения, называемые также открытыми состояниями или кинками. Последовательность плазмиды pTTQ18 характеризуется наличием множества функционально значимых участков. В одних работах для математического описания нелинейной динамики плазмиды используется достаточно простые модели, включающие, например, только четыре функционально значимых участка: промотор (Pr), терминатор (Term), ген AmpR, ген lacI. В других работах рассматривают гораздо более сложные модели, включающие, например, одиннадцать функционально значимых участков: три промотора (tac promoter, lacIq promoter и AmpR promoter), два терминатора (T1 и T2), два гена (lacI и AmpR), участки lac operator, MCS, M13 fwd и ori. Очевидно, что математическое моделирование динамических свойств плазмиды в этом случае представляет собой гораздо более сложную задачу. В целом вопрос о том, сколько и какие участки необходимо включать при конструировании приближенных неоднородных моделей нелинейной динамики плазмиды, до сих пор остается открытым. И перед каждым исследователем при математическом моделировании внутренней динамики плазмиды pTTQ18 возникает вопрос о выборе той или иной приближенной схемы плазмиды. Цель данного исследования — построить иерархию моделей, котораямог ла бы помочь в решении этого вопроса. Для этого мы собрали несколько приближенных схем плазмиды pTTQ18 и моделей, основанных на этих схемах. Затем мы расположили их в порядке возрастающей сложности, создав своеобразную иерархию схем. Для каждой модели мы рассчитали энергетический профиль потенциального поля плазмиды, учитывая, что этот энергетический профиль является одной из наиболее важных характеристик, отражающих внутреннюю динамику плазмиды и ее связь с функциональными свойствами плазмиды. Построенная таким образом иерархияя вляется основным результатом работы. Предложенный в работе подход позволит исследователям лучше ориентироваться в потоке схем и моделей плазмиды pTTQ18, а также облегчит выбор подходящей модели как для плазмиды pTTQ18, так и для других плазмид.

Предлагается семейство методов Гаусса – Ньютона для решения оптимизационных задачи систем нелинейных уравнений, основанное на идеях использования верхней оценки нормы невязки системы уравнений и квадратичной регуляризации. В работе представлено развитие схемы метода трех квадратов с добавлением моментного члена к правилу обновления искомых параметров в решаемой задаче. Получившаяся схема обладает несколькими замечательными свойствами. Во-первых, в работе алгоритмически описано целое параметрическое семейство методов, минимизирующих функционалы специального вида: композиции невязки нелинейного уравнения и унимодального функционала. Такой функционал, целиком согласующийся с парадигмой «серого ящика» в описании задачи, объединяет в себе большое количество решаемых задач, связанных с приложениями в машинном обучении, с задачами восстановления регрессионной зависимости. Во-вторых, полученное семейство методов описывается как обобщение нескольких форм алгоритма Левенберга – Марквардта, допускающих реализацию в том числе и в неевклидовых пространствах. В алгоритме, описывающем параметрическое семейство методов Гаусса – Ньютона, используется итеративная процедура, осуществляющая неточное параметризованное проксимальное отображение и сдвиг с помощью моментного члена. Работа содержит детальный анализ эффективности предложенного семейства методов Гаусса – Ньютона, выведенные оценки учитывают количество внешних итераций алгоритма решения основной задачи, точность и вычислительную сложность представления локальной модели и вычисления оракула. Для семейства методов выведены условия сублинейной и линейной сходимости, основанные на неравенстве Поляка – Лоясиевича. В обоих наблюдаемых режимах сходимости локально предполагается наличие свойства Липшица у невязки нелинейной системы уравнений. Кроме теоретического анализа схемы, в работе изучаются вопросы ее практической реализации. В частности, в проведенных экспериментах для субоптимального шага приводятся схемы эффективного вычисления аппроксимации наилучшего шага, что позволяет на практике улучшить сходимость метода по сравнению с оригинальным методом трех квадратов. Предложенная схема объединяет в себе несколько существующих и часто используемых на практике модификаций метода Гаусса – Ньютона, в добавок к этому в работе предложена монотонная моментная модификация семейства разработанных методов, не замедляющая поиск решения в худшем случае и демонстрирующая на практике улучшение сходимости метода.