<?xml version="1.0" encoding="UTF-8"?>
<article xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="JATS-archive-oasis-article1-4.xsd" article-type="research-article" dtd-version="1.4" xml:lang="ru">
  <front>
    <journal-meta>
      <journal-title-group>
        <journal-title>Журнал Современные проблемы науки и образования</journal-title>
      </journal-title-group>
      <issn>2070-7428</issn>
      <publisher>
        <publisher-name>Общество с ограниченной ответственностью &amp;quot;Издательский Дом &amp;quot;Академия Естествознания&amp;quot;</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="publisher-id">ART-20560</article-id>
      <title-group>
        <article-title>АЛГОРИТМ ФОРМИРОВАНИЯ ПРОГРАММНОЙ СИСТЕМЫ ПО СХЕМЕ БЛОКА ВОССТАНОВЛЕНИЯ С СОГЛАСОВАНИЕМ НА ОСНОВЕ НЕЧЕТКОЙ ЛОГИКИ</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <name-alternatives>
            <name xml:lang="ru">
              <surname>Царев</surname>
              <given-names>Р.Ю.</given-names>
            </name>
          </name-alternatives>
          <name-alternatives>
            <name xml:lang="en">
              <surname>Tsarev</surname>
              <given-names>R.Yu.</given-names>
            </name>
          </name-alternatives>
          <email>tsarev.sfu@mail.ru</email>
          <xref ref-type="aff" rid="affeb5ca4b3"/>
        </contrib>
      </contrib-group>
      <aff id="affeb5ca4b3">
        <institution xml:lang="ru">ФГАОУ ВПО «Сибирский федеральный университет»</institution>
        <institution xml:lang="en">Siberian Federal University</institution>
      </aff>
      <pub-date date-type="pub" iso-8601-date="2015-02-14">
        <day>14</day>
        <month>02</month>
        <year>2015</year>
      </pub-date>
      <issue>2</issue>
      <fpage>178</fpage>
      <lpage>178</lpage>
      <permissions>
        <license xlink:href="https://creativecommons.org/licenses/by/4.0/">
          <license-p>This is an open-access article distributed under the terms of the CC BY 4.0 license.</license-p>
        </license>
      </permissions>
      <self-uri content-type="url" hreflang="ru">https://science-education.ru/ru/article/view?id=20560</self-uri>
      <abstract xml:lang="ru" lang-variant="original" lang-source="author">
        <p>Программная избыточность как средство обеспечения высокой надежности программных систем приводит к необходимости решения ряда проблем, самой важной из которых является оптимальное использование ресурсов при проектировании и разработке избыточных программных систем. Схема блока восстановления с согласованием является эффективным механизмом отказоустойчивости программных систем, основываясь на двух современных подходах, таких как разработка программного обеспечения с блоком восстановления и мультиверсионное программирование. Данная комбинация позволяет использовать достоинства обоих указанных подходов. Использование в составе программной системы избыточных программных компонент вынуждает решать задачу оптимизации, минимизируя расходы одновременно с повышением уровня надежности программной системы. При решении задачи формирования реальной программной системы зачастую невозможно получить точные значения ее характеристик. Решение задачи оптимизации в условиях неопределенности возможно благодаря использованию аппарата нечетной логики. В данной статье предложен алгоритм нечеткой оптимизации состава программной системы, создаваемой согласно схеме блока восстановления с согласованием.</p>
      </abstract>
      <abstract xml:lang="en" lang-variant="translation" lang-source="translator">
        <p>Software redundancy as a means to ensure high reliability of software systems makes it necessary to address a number of issues, the most important of which is the optimal use of resources at the phases of design and development of redundant software systems. Consensus recovery block scheme is an effective mechanism providing the fault tolerance of software systems. The scheme is based on two up to date approaches such as the recovery blocks and multiversion programming. This combination brings us the advantages of both these approaches. The use of redundant software component as part of a software system requires solving the optimization problem minimizing costs while increasing the reliability of the software system. The optimization of a real software system is often difficult due to fuzzy values of its characteristics. Solution of the problem of optimization under uncertainty can be obtained using the fuzzy logic. The article proposes an algorithm of fuzzy optimization of the software system created according the consensus recovery block scheme.</p>
      </abstract>
      <kwd-group xml:lang="ru">
        <kwd>блок восстановления</kwd>
        <kwd>мультиверсионное программирование</kwd>
        <kwd>надежность</kwd>
        <kwd>оптимизация</kwd>
      </kwd-group>
      <kwd-group xml:lang="en">
        <kwd>recovery block</kwd>
        <kwd>mutiversion programming</kwd>
        <kwd>reliability</kwd>
        <kwd>optimization</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <back>
    <ref-list>
      <ref>
        <note>
          <p>1. Лысенко, И.В. Нечеткая оптимизация: новый подход к постановке и решению задач / И.В. Лысенко // Труды СПИИРАН. – 2004. – Т. 1. – № 2. – C. 90–118.</p>
        </note>
      </ref>
      <ref>
        <note>
          <p>2. Модель формирования оптимальной программной системы по схеме блока восстановления с согласованием / О.И. Завьялова, С.Н. Гриценко, С.В. Тынченко, Р.Ю. Царев // Современные проблемы науки и образования. – 2015. – № 1; URL: http://www.science-education.ru/121-18871 (дата обращения: 17.06.2015).</p>
        </note>
      </ref>
      <ref>
        <note>
          <p>3. Пальчунов Д.Е. Нечеткие алгебраические системы / Д.Е. Пальчунов, Г.Э. Яхъяева // Вестник НГУ. Серия: Математика, механика, информатика. – 2010. – Т. 10. – Вып. 3. – C. 76–93.</p>
        </note>
      </ref>
      <ref>
        <note>
          <p>4. Царев Р.Ю. Мультиверсионное программное обеспечение. Алгоритмы голосования и оценка надежности: монография / Р.Ю. Царев, А.В. Штарик, Е.Н. Штарик. – Красноярск: Сибирский федеральный университет, 2013. – 120 с.</p>
        </note>
      </ref>
      <ref>
        <note>
          <p>5. Царев Р.Ю. Учет совместимости COTS-компонентов при формировании избыточных программных систем / Р.Ю. Царев, О.И. Завьялова, А.С. Черниговский // Современные проблемы науки и образования. – 2015. – № 1; URL: http://www.science-education.ru/125-19746 (дата обращения: 17.06.2015).</p>
        </note>
      </ref>
      <ref>
        <note>
          <p>6. Царев Р.Ю. Fuzzy-метод формирования структуры мультиверсионного программного обеспечения информационно-управляющих систем / Р.Ю. Царев // Информационно-измерительные и управляющие системы. – 2007. – № 12. – С. 72–75.</p>
        </note>
      </ref>
      <ref>
        <note>
          <p>7. Bali S., Gupta A., Dinesh Kumar U. Fuzzy multi-objective build-or-buy approach for component selection of fault tolerant modular software system under consensus recovery block scheme (2012) Advances in Intelligent and Soft Computing, 130 AISC (VOL. 1), pp. 1025–1036.</p>
        </note>
      </ref>
      <ref>
        <note>
          <p>8. Bellman R.E., Zadeh L.A. Decision-making in a fuzzy environment (1970) Management Science, 17 (4), pp. b-141-64.</p>
        </note>
      </ref>
      <ref>
        <note>
          <p>9. Mohamed R.H. The relationship between goal programming and fuzzy programming (1997) Fuzzy Sets and Systems, 89 (2), pp. 215–222.</p>
        </note>
      </ref>
      <ref>
        <note>
          <p>10. Reifer D.J., Boehm, B.W., Gangadharan, M. Estimating the cost of security for cots software (2003) Lecture Notes in Computer Science, vol. 2580, pp. 178–186.</p>
        </note>
      </ref>
    </ref-list>
  </back>
</article>
