<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>ПРИМЕНЕНИЕ ЭВОЛЮЦИОННЫХ И РОЕВЫХ АЛГОРИТМОВ ОПТИМИЗАЦИИ ДЛЯ РЕШЕНИЯ МОДЕЛЬНОЙ ЗАДАЧИ ПРЕДСКАЗАНИЯ СТРУКТУРЫ БЕЛКА</article-title>
      </title-group>
      <pub-date>
        <year>2018</year>
      </pub-date>
      <fpage>620</fpage>
      <lpage>625</lpage>
      <abstract>
        <p>Работа посвящена проблемам прогнозирования пространственной структуры белковых молекул, полипептидов и их комплексов. Предлагаемый нами метод основан на решении задачи оптимизации, в которой целевой функцией является потенциальная энергия молекулы, а параметрами оптимизации - длины связей между атомами и углы вращения. Главными особенностями таких задач является большая размерность и высокая вычислительная сложность. Проведенные предварительные исследования показали, что множество существующих алгоритмов оптимизации решают такую задачу неудовлетворительно. Типичное время вычисления задачи занимает от нескольких часов до нескольких дней. Кроме того, для корректного вычисления целевой функции требуется серьезное программное обеспечение. Эти факторы существенно усложняют процесс разработки эффективных алгоритмов для решения задачи предсказания структуры белков и их комплексов. В настоящей работе предлагается упрощенная, модельная задача укладки графа на плоскости, которая позволяет проводить расчеты быстрее и без использования специального программного обеспечения, разрабатывать новые и улучшать существующие алгоритмы оптимизации. В работе приводятся результаты численного исследования ряда алгоритмов роевой и эволюционной оптимизации при решении поставленной модельной задачи. Ключевые слова: биоинформатика, алгоритмы роевой оптимизации, эволюционные алгоритмы, алгоритмы роевого интеллекта, укладка графа, предсказание структуры белка.</p>
      </abstract>
      <kwd-group>
        <kwd>© 2018 Быстров Максим Александрович</kwd>
        <kwd>Ершов Николай Михайлович</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>1. Введение</p>
      <p>Важной задачей структурной биоинформатики является предсказание трехмерной
структуры белков и их комплексов. Существующие методы моделирования пространственной
структуры белковой молекулы по ее линейной последовательности аминокислот являются
недостаточно быстрыми и точными, в настоящий момент не существует таких алгоритмов, с
помощью которых можно было бы за разумное время предсказать с высокой точностью
пространственную структуру белка. Один из подходов к решению задач данного класса
заключается в их сведение к задачам непрерывной оптимизации. Параметрами оптимизации
при этом являются длины межатомных связей и углы их вращения. В качестве целевой
функции берется потенциальная энергия всей последовательности аминокислот. Глобальный
минимум потенциальной энергии молекулы будет соответствовать искомой пространственной
структуре. Данную задачу выделяет высокая размерность и, как следствие, длительное время
вычисления целевой функции.</p>
      <p>
        В силу указанных причин было предложено вести разработку эффективных алгоритмов
предсказания структуры на более простой модельной задаче, обладающей следующими
свойствами:
 она должна быть аналогичной рассматриваемым задачам биоинформатики;
 целевая функция должна вычисляться быстро;
 вычисление целевой функции не требует специализированного программного
обеспечения [
        <xref ref-type="bibr" rid="ref5">1</xref>
        ].
      </p>
      <p>В качестве такой модельной задачи нами была выбрана задача укладки графа на
плоскости.
2. Модельная задача укладки графов на плоскости</p>
      <p>Задается граф (дерево), длины ребер которого являются одинаковыми и
фиксированными. Переменными параметрами являются углы отклонения ребер графа от
реберродителей (рис. 1).</p>
      <p>Рисунок 1. Параметры оптимизации
 ( ) = α ∙ ∑
Для графа, состоящего из n вершин, свободными параметрами будут являться (n – 2)
углов. Положение первых двух вершин является фиксированным. Каждая вершин графа имеет
заданный тип, всего имеется десять типов, меткой типа служит символ. Каждый тип вершины
характеризуется двумя параметрами: массой w и зарядом q. Целевая функция — потенциальная
энергия укладки графа – складывается из попарных потенциалов для всех пар вершин и
представляется следующей формулой:</p>
      <p>≠   ≠   ≠ 
Первое слагаемое соответствует «гравитационному» притяжению вершин, второе –
«электростатическому» взаимодействию, третье – взаимному отталкиванию вершин.
Неизвестными параметрами являются набор углов x. Параметры α, β и γ — это весовые
коэффициенты; G, E, P — параметры потенциалов; pij — штраф за слишком близкое
расположение двух вершин друг другу.</p>
      <p>+  ∙ ∑
+  ∙ ∑
(1)
3. Программная реализация</p>
      <p>Для решения поставленной модельной задачи предполагается использовать алгоритмы
роевой оптимизации, которые хорошо зарекомендовали себя при решении задач глобальной
оптимизации [2]. Нами разработан комплекс программ, предназначенный для автоматизации
процесса разработки и анализа подобных алгоритмов. Отдельная программа (C++) делает
заданное количество запусков алгоритма, вычисляет и сохраняет в файле статистику
выполнения алгоритма. Эти данные затем обрабатываются специальным скриптом (Python), на
основе чего строятся изображения (в том числе анимированные) графов и графики сходимости
текущего алгоритма.</p>
      <p>Основная программа выполняет загрузку и сохранение данных, сбор статистики и
визуализацию. Алгоритмы оптимизации включены в программный комплекс, их
взаимодействие с основной программой ограничивается запросами на вычисление целевой
функции. Следует подчеркнуть, что сходимость алгоритмов зависит от используемых
параметров. В проводимых экспериментах часть параметров подбирались с учетом
рекомендаций авторов алгоритмов и собственных исследований. Для объективности сравнения
эксперименты проводились на одинаковом размере популяций решений и одинаковом
ограничении на максимальное количество обращений к целевой функции. Число частиц для
всех алгоритмов было выбрано равным 1000, maxefs — максимальное число обращений к
целевой функции, efs — счетчик обращений к целевой функции. В настоящий момент в
систему включены следующие пять алгоритмов.</p>
      <p>
        1. Particle Swarm Optimization (PSO) – метод роя частиц. В нашей работе мы
использовали canonical PSO [
        <xref ref-type="bibr" rid="ref1">3</xref>
        ]. Коэффициент инерции χ = 0.75. Коэффициенты
ускорения: c1 = 1.8, c2 = 2.0.
2. A Competitive Swarm Optimizer (CSO) – метод конкурирующего роя [
        <xref ref-type="bibr" rid="ref2">4</xref>
        ]. Коэффициент
социальной составляющей φ = 0.3.
3. Bacterial Foraging Optimization (BFO) – алгоритм бактериального поиска [
        <xref ref-type="bibr" rid="ref3">5</xref>
        ].
Параметры: длина цикла отбора и размножения l = 32, длина шага бактерии
step = 1.0 ∙  ; число шагов за каждую итерацию цикла отбора и размножения

случайно, но не более ста; рассеяние для каждой бактерии берется с вероятностью
  = 0.05.
4. Genetic algorithm (GA) – генетический алгоритм [
        <xref ref-type="bibr" rid="ref4">6</xref>
        ]. Для выбора более
приспособленных особей использовался метод рулетки. Вероятность мутации
каждого гена   =0.004.
5. Differential evolution (DE) – алгоритм дифференциальной эволюции [7]. Сила
мутации F = 0.66. Вероятность замещения мутированного вектора исходным
 
вектором: 0.2 ≤   ≤ 0.5, при

&lt; 0.5; 0 ≤  
≤ 0.2, при

≥ 0.5.
4. Численное исследование
      </p>
      <p>На первом этапе вычислительных экспериментов ставилась задача нахождения
оптимальной структуры модельного белка, с искомой структурой, аналогичной структурам
αспирали и β-листа. Поиск укладок проводился на цепочках AEEAAEEAAE и AAAACCEEEE. Все
вершины имеют массу m = 2, значения зарядов:  A= +2,  С = 0,  Е = –2. Для всех анализируемых
алгоритмов выполнялось по 50 независимых запусков для каждого из двух графов. Результаты
сравнения эффективности данных пяти алгоритмов представлены на рис. 2. Видно, что
абсолютным победителем в проведенном сравнении является алгоритм CSO, а наиболее слабые
результаты показал генетический алгоритм. Интересно, что алгоритм бактериального поиска
оказался по-разному эффективен на двух рассматриваемых задачах: β-лист он укладывает
намного лучше, чем α-спираль.</p>
      <p>На рис. 3 построены графики, показывающие динамику сходимости алгоритма CSO для
лучшего запуска (с абсолютным минимумом целевой функции) на обоих графах, а также
показаны найденные им укладки.</p>
      <p>Рисунок 2. Сравнительный анализ работы пяти алгоритмов оптимизации
Рисунок 3. Графики сходимости алгоритма CSO, справа представлены найденные укладки графов
5. Заключение
В результате выполненной работы были получены следующие результаты:
 поставлена модельная задача укладки графа на плоскости, аналогичная задаче
предсказания трехмерной структуры белка;
 разработана программная система для тестирования популяционных алгоритмов
непрерывной оптимизации и визуализации результатов их работы;
 проведено численное исследование пяти наиболее популярных алгоритмов для двух
типов графов, со структурой аналогичной α-спиралям и β-листам.</p>
      <p>
        Результаты проведенных численных экспериментов показали, что наиболее
эффективным для решения задачи укладки графа является алгоритм CSO. Однако полученные
результаты не дают пока достаточной информации о преимуществах того или иного алгоритма.
Сходимость сильно зависит от большого набора параметров каждого алгоритма, от числа
частиц роя и от ограничения на число вычислений целевой функции. Целью дальнейшей
работы является настройка оптимальных параметров для каждого алгоритма при решении
модельной задачи, а также применение настроенных таким образом алгоритмов к решению
задач предсказания трехмерной структуры белков и их комплексов.
Литература
[
        <xref ref-type="bibr" rid="ref5">1</xref>
        ] Полуян С. В., Ершов Н. М. Разработка эффективных алгоритмов биоинформатики на основе
решения модельной задачи укладки графов // Информационно-телекоммуникационные
технологии и математическое моделирование высокотехнологичных систем: материалы
Всероссийской конференции с международным участием. Москва, РУДН, 24-28 апреля 2017 г.
— РУДН Москва, 2017. — С. 333–335.
[7] Price K., Storn R., Lampinen J. Differential Evolution: A Practical Approach to Global
Optimization, Springer, 2005.
      </p>
      <p>APPLICATION OF EVOLUTIONARY AND SWARM
OPTIMIZATION ALGORITHMS FOR SOLVING THE
MODEL PROBLEM OF PREDICTING THE PROTEIN</p>
      <p>STRUCTURE
The article is devoted to the problems of predicting the space structure of protein molecules,
polypeptides and their complexes. The proposed method is based on solving the optimization problem,
in which the objective function is the potential energy of the molecule, and the optimization
parameters are the length of interatomic bindings and the rotation angles. The main features of such
tasks are high dimensionality and high computational complexity. Preliminary studies have shown that
many existing optimization algorithms solve this problem unsatisfactorily. Typical calculation time
takes from several hours to several days. In addition, the correct calculation of the objective function
requires serious software. These factors significantly complicate the process of developing efficient
algorithms for solving the problem of predicting the structure of proteins and their complexes. A
simplified model problem of laying a graph on a plane, which allows you to perform calculations
faster and without using special software, develop new and improve existing optimization algorithms
is proposed in this paper. The results of a numerical study concerning a number of algorithms for
swarm and evolutionary optimization in solving a set model problem are presented.
Keywords: bioinformatics, swarm optimization algorithms, evolutionary
intelligence algorithms, graph laying, protein structure prediction.</p>
      <p>algorithms, swarm</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [3]
          <string-name>
            <surname>Clerc J. K. M.</surname>
          </string-name>
          <article-title>The particle swarm - explosion, stability, and convergence in a multidimensional complex space</article-title>
          ,
          <source>IEEE Transactions on Evolutionary Computation</source>
          ,
          <year>2002</year>
          , V.
          <volume>6</volume>
          , № 1, pp.
          <fpage>58</fpage>
          -
          <lpage>73</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [4]
          <string-name>
            <surname>Cheng</surname>
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Jin</surname>
            <given-names>Y. A Competitive</given-names>
          </string-name>
          <string-name>
            <surname>Swarm</surname>
          </string-name>
          <article-title>Optimizer for Large Scale Optimization</article-title>
          ,
          <source>in IEEE Transactions on Cybernetics</source>
          , Feb.
          <year>2015</year>
          , Vol.
          <volume>45</volume>
          , No.
          <issue>2</issue>
          , pp.
          <fpage>191</fpage>
          -
          <lpage>204</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [5]
          <string-name>
            <surname>Passino K. M.</surname>
          </string-name>
          <article-title>Biomimicry of bacterial foraging for distributed optimization and control</article-title>
          ,
          <source>IEEE Control Systems Magazine</source>
          ,
          <year>2002</year>
          ,
          <volume>22</volume>
          , pp.
          <fpage>52</fpage>
          -
          <lpage>67</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [6]
          <string-name>
            <surname>Whitley</surname>
            <given-names>D. A Genetic</given-names>
          </string-name>
          <string-name>
            <surname>Algorithm</surname>
            <given-names>Tutorial</given-names>
          </string-name>
          , Statistics and Computing,
          <year>1994</year>
          , 4, pp.
          <fpage>65</fpage>
          -
          <lpage>85</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          1Dubna State University,
          <article-title>the Institute of System Analysis and Management, Universitetskaya str</article-title>
          .
          <volume>19</volume>
          ,
          <string-name>
            <surname>Dubna</surname>
          </string-name>
          , Moscow region,
          <volume>141982</volume>
          , Russia 2 Lomonosov Moscow State University,
          <source>the Faculty of Computational Mathematics and Cybernetics</source>
          , Leninskie Gory str. 1, bdg. 52, Moscow, 119234, Russia
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>