<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.3 20210610//EN" "JATS-journalpublishing1-3.dtd">
<article article-type="research-article" dtd-version="1.3" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xml:lang="ru"><front><journal-meta><journal-id journal-id-type="publisher-id">novtexmech</journal-id><journal-title-group><journal-title xml:lang="ru">Мехатроника, автоматизация, управление</journal-title><trans-title-group xml:lang="en"><trans-title>Mekhatronika, Avtomatizatsiya, Upravlenie</trans-title></trans-title-group></journal-title-group><issn pub-type="ppub">1684-6427</issn><issn pub-type="epub">2619-1253</issn><publisher><publisher-name>Commercial Publisher «New Technologies»</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.17587/mau.17.75-83</article-id><article-id custom-type="elpub" pub-id-type="custom">novtexmech-254</article-id><article-categories><subj-group subj-group-type="heading"><subject>Research Article</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="ru"><subject>МЕТОДЫ ТЕОPИИ АВТОМАТИЧЕСКОГО И АВТОМАТИЗИРОВАННОГО УПPАВЛЕНИЯ</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="en"><subject>METHODS OF THE THEORY OF AUTOMATIC CONTROL</subject></subj-group></article-categories><title-group><article-title>Уточнение оценок показателей сложности схем и автоматизация их эффективного применения</article-title><trans-title-group xml:lang="en"><trans-title>Clarification of Difficulty Indexes of Digital Circuits and Automation their Efficient Application</trans-title></trans-title-group></title-group><contrib-group><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Чебурахин</surname><given-names>И. Ф.</given-names></name><name name-style="western" xml:lang="en"><surname>Cheburakhin</surname><given-names>I. F.</given-names></name></name-alternatives><email xlink:type="simple">logicifch@yandex.ru</email><xref ref-type="aff" rid="aff-1"/></contrib><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Гавриш</surname><given-names>О. Н.</given-names></name><name name-style="western" xml:lang="en"><surname>Gavrish</surname><given-names>O. N.</given-names></name></name-alternatives><email xlink:type="simple">gavrish.o@gmail.com</email><xref ref-type="aff" rid="aff-1"/></contrib></contrib-group><aff-alternatives id="aff-1"><aff xml:lang="ru"><institution>МАТИ - РГТУ имени К. Э. Циолковского</institution><country>Россия</country></aff><aff xml:lang="en"><institution>MATI - Russian State Technological University named after K. E. Tsiolkovsky</institution><country>Russian Federation</country></aff></aff-alternatives><pub-date pub-type="collection"><year>2016</year></pub-date><pub-date pub-type="epub"><day>28</day><month>08</month><year>2018</year></pub-date><volume>17</volume><issue>2</issue><fpage>75</fpage><lpage>83</lpage><permissions><copyright-statement>Copyright &amp;#x00A9; Commercial Publisher «New Technologies», 2018</copyright-statement><copyright-year>2018</copyright-year><copyright-holder xml:lang="ru">Commercial Publisher «New Technologies»</copyright-holder><copyright-holder xml:lang="en">Commercial Publisher «New Technologies»</copyright-holder><license xlink:href="https://mech.novtex.ru/jour/about/submissions#copyrightNotice" xlink:type="simple"><license-p>https://mech.novtex.ru/jour/about/submissions#copyrightNotice</license-p></license></permissions><self-uri xlink:href="https://mech.novtex.ru/jour/article/view/254">https://mech.novtex.ru/jour/article/view/254</self-uri><abstract><p>Исследуется задача реализации произвольной булевой функции в классе формул и схем из функциональных элементов в стандартном базисе и базисе Жегалкина. Предлагается конструктивный метод синтеза формул и схем на основе рекуррентных соотношений (функциональных уравнений), сопровождаемого получением заранее аналитических верхних оценок различных показателей сложности (по числу букв; числу подформул; по числу функциональных элементов; по глубине формулы и по глубине схемы), в том числе и для схем минимальной сложности. При необходимости уточнения верхних оценок сложности предлагается вычислительный алгоритм.</p></abstract><trans-abstract xml:lang="en"><p>An important feature of modern scientific and technological revolution is the rapid growth of collecting and processing information in almost all areas of science and technology. This gives rise to a large number of difficult tasks (problems) for a variety of reasons that people are not able to solve on their own because of their huge information capacity and complexity. It should be noted that in recent years there has been a steady trend of increasing the role of computers in the task, which is associated with problems of processing and presentation of data not only in quantitative terms but also in qualitative form - in the form of relationships, text description, obtained in economics, medicine, biology etc. The creation and distribution of software for data processing, which would allow users-nonprogrammers, working in various fields of science and technology, to solve problems on the basis of a computer, is also extremely relevant. Improving computer element base occurs with great predominance increase the degree of integration in comparison with other parameters. Therefore, the primary means of increasing productivity is to increase computer equipment - the number of gates used in it. In this paper we study the problem of implementing any Boolean function in the class of formulas and - circuits of functional elements in standard and Zhegalkin bases. An efficient method for the synthesis of formulas and schemes on the basis of the recurrence relations (functional equations), followed by obtaining advance analytically upper estimates of various indicators of complexity (the number of letters, number subformulas; on the number of functional elements over the depth of the formula and the depth of the circuit), including and schemes for the minimum of difficulty. If necessary to clarify the upper bounds for the complexity, the computational algorithm is being proposed.</p></trans-abstract><kwd-group xml:lang="ru"><kwd>булевы функции</kwd><kwd>синтез формул и схем</kwd><kwd>функционал</kwd><kwd>декомпозиция</kwd><kwd>сложность</kwd><kwd>минимизация</kwd><kwd>функциональные уравнения</kwd><kwd>Boolean function</kwd><kwd>syntheses formula and circuit</kwd><kwd>decomposition</kwd><kwd>difficulty</kwd><kwd>minimization</kwd><kwd>functional of the equation</kwd></kwd-group></article-meta></front><back><ref-list><title>References</title><ref id="cit1"><label>1</label><citation-alternatives><mixed-citation xml:lang="ru">Журавлев Ю. И. Теоретико-множественные методы в алгебре логики // Проблемы кибернетики. 1962. № 8.</mixed-citation><mixed-citation xml:lang="en">Журавлев Ю. И. Теоретико-множественные методы в алгебре логики // Проблемы кибернетики. 1962. № 8.</mixed-citation></citation-alternatives></ref><ref id="cit2"><label>2</label><citation-alternatives><mixed-citation xml:lang="ru">Кудрявцев В. Б., Гасанов Э. Э., Подколзин А. С. Введение в теорию интеллектуальных систем. М.: Изд-во ф-та ВМиК МГУ, 2006. 208 стр.</mixed-citation><mixed-citation xml:lang="en">Кудрявцев В. Б., Гасанов Э. Э., Подколзин А. С. Введение в теорию интеллектуальных систем. М.: Изд-во ф-та ВМиК МГУ, 2006. 208 стр.</mixed-citation></citation-alternatives></ref><ref id="cit3"><label>3</label><citation-alternatives><mixed-citation xml:lang="ru">Лупанов О. Б. О сложности реализации функций алгебры логики формулами // Проблемы кибернетики. Вып. 3. М.: Физматгиз, 1960.</mixed-citation><mixed-citation xml:lang="en">Лупанов О. Б. О сложности реализации функций алгебры логики формулами // Проблемы кибернетики. Вып. 3. М.: Физматгиз, 1960.</mixed-citation></citation-alternatives></ref><ref id="cit4"><label>4</label><citation-alternatives><mixed-citation xml:lang="ru">Яблонский С. В. Об алгоритмических трудностях синтеза минимальных контактных схем // Проблемы кибернетики. 1959. № 2.</mixed-citation><mixed-citation xml:lang="en">Яблонский С. В. Об алгоритмических трудностях синтеза минимальных контактных схем // Проблемы кибернетики. 1959. № 2.</mixed-citation></citation-alternatives></ref><ref id="cit5"><label>5</label><citation-alternatives><mixed-citation xml:lang="ru">Поспелов Д. А. Логические методы анализа и синтеза схем. М.: Энергия, 1974. 342 с.</mixed-citation><mixed-citation xml:lang="en">Поспелов Д. А. Логические методы анализа и синтеза схем. М.: Энергия, 1974. 342 с.</mixed-citation></citation-alternatives></ref><ref id="cit6"><label>6</label><citation-alternatives><mixed-citation xml:lang="ru">Теряев Е. Д., Петрин К. В., Филимонов Н. Б., Филимонов А. Б. Агентные технологии в автоматизированных информационно-управляющих системах. Часть II. Агентные решения в задачах контроля и управления // Мехатроника, автоматизация, управление. 2010. № 10. С. 11-21.</mixed-citation><mixed-citation xml:lang="en">Теряев Е. Д., Петрин К. В., Филимонов Н. Б., Филимонов А. Б. Агентные технологии в автоматизированных информационно-управляющих системах. Часть II. Агентные решения в задачах контроля и управления // Мехатроника, автоматизация, управление. 2010. № 10. С. 11-21.</mixed-citation></citation-alternatives></ref><ref id="cit7"><label>7</label><citation-alternatives><mixed-citation xml:lang="ru">Цурков В. И. Декомпозиция в задачах большой размерности. М.: Наука, 1981. 324 с.</mixed-citation><mixed-citation xml:lang="en">Цурков В. И. Декомпозиция в задачах большой размерности. М.: Наука, 1981. 324 с.</mixed-citation></citation-alternatives></ref><ref id="cit8"><label>8</label><citation-alternatives><mixed-citation xml:lang="ru">Чебурахин И. Ф. Синтез дискретных управляющих систем и математическое моделирование: алгоритмы, программы. М.: Физматлит, 2004. 247 с.</mixed-citation><mixed-citation xml:lang="en">Чебурахин И. Ф. Синтез дискретных управляющих систем и математическое моделирование: алгоритмы, программы. М.: Физматлит, 2004. 247 с.</mixed-citation></citation-alternatives></ref><ref id="cit9"><label>9</label><citation-alternatives><mixed-citation xml:lang="ru">Чебурахин И. Ф. Преобразования функциональных уравнений и показатели сложности булевых функций // Матер. IX Междунар. семинара "Дискретная математика и ее приложения", посвященного 75-летию со дня рождения академика О. Б. Лупанова. М.: Изд-во МГУ, 2007. С. 126-129.</mixed-citation><mixed-citation xml:lang="en">Чебурахин И. Ф. Преобразования функциональных уравнений и показатели сложности булевых функций // Матер. IX Междунар. семинара "Дискретная математика и ее приложения", посвященного 75-летию со дня рождения академика О. Б. Лупанова. М.: Изд-во МГУ, 2007. С. 126-129.</mixed-citation></citation-alternatives></ref><ref id="cit10"><label>10</label><citation-alternatives><mixed-citation xml:lang="ru">Чебурахин И. Ф. Математические модели для интеллектуализации синтеза дискретных логических управляющих устройств на основе цифровых интегральных схем // Изв. РАН. ТиСУ. 2008. № 1. С. 68-77.</mixed-citation><mixed-citation xml:lang="en">Чебурахин И. Ф. Математические модели для интеллектуализации синтеза дискретных логических управляющих устройств на основе цифровых интегральных схем // Изв. РАН. ТиСУ. 2008. № 1. С. 68-77.</mixed-citation></citation-alternatives></ref><ref id="cit11"><label>11</label><citation-alternatives><mixed-citation xml:lang="ru">Чебурахин И. Ф. Сложность симметрических полиномов Жегалкина // XVII Междунар. школа-семинар "Синтез и сложность управляющих систем" им. акад. О. Б. Лупанова. Новосибирск, 2008. С. 180-185.</mixed-citation><mixed-citation xml:lang="en">Чебурахин И. Ф. Сложность симметрических полиномов Жегалкина // XVII Междунар. школа-семинар "Синтез и сложность управляющих систем" им. акад. О. Б. Лупанова. Новосибирск, 2008. С. 180-185.</mixed-citation></citation-alternatives></ref><ref id="cit12"><label>12</label><citation-alternatives><mixed-citation xml:lang="ru">Чебурахин И. Ф. Математические модели для минимизации и автоматизации синтеза дискретных управляющих систем // Мехатроника, автоматизация, управление. 2012. № 4. С. 5-13.</mixed-citation><mixed-citation xml:lang="en">Чебурахин И. Ф. Математические модели для минимизации и автоматизации синтеза дискретных управляющих систем // Мехатроника, автоматизация, управление. 2012. № 4. С. 5-13.</mixed-citation></citation-alternatives></ref></ref-list><fn-group><fn fn-type="conflict"><p>The authors declare that there are no conflicts of interest present.</p></fn></fn-group></back></article>
