Abstract

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.

Highlights

  • Оäниì из важнейøих äостижений науки и техники пpоøëоãо стоëетия явиëосü созäание и øиpокое испоëüзование эëектpонных вы÷исëитеëüных ìаøин (ЭВМ)

  • This gives rise to a large number of difficult tasks

  • F. Matematicheskiye modeli dlya minimizatsii i avtomatizatsii sinteza diskretnykh upravlyayushchikh sistem (Mathematical models for minimization and automation the synthesis of discrete control systems), Mekhatronika, Avtomatizatsiya, Upravleniye, 2012, no

Read more

Summary

МЕТОДЫ ТЕОРИИ АВТОМАТОВ И АВТОМАТИЧЕСКОГО УПРАВЛЕНИЯ

Уточнение оценок показателей сложности схем и автоматизация их эффективного пpименения. Дëя них пpостейøиìи ìатеìати÷ескиìи ìоäеëяìи явëяþтся буëевы функöии, пpивносящие в теоpиþ и пpактику их pеаëизаöии (в кëассах фоpìуë и схеì из функöионаëüных эëеìентов) свои пpобëеìы относитеëüно сëожности. Иссëеäования сëожности фоpìуë и схеì веäутся в pазных напpавëениях [1,2,3,4,5,6,7]: выбоp базиса, ìетоäа, тpебований к показатеëяì сëожности—ка÷ества синтеза. Пpи выбоpе базиса испоëüзуþтся теоpеìа о поëноте систеìы буëевых функöий и теоpеìа о äвух систеìах, всëеäствие ÷еãо ìожно поëу÷атü оöенки сëожности пpеäставëения функöий в äpуãих базисах [4, 8, 10, 12]. Особо важной явëяется заäа÷а вывоäа оöенки показатеëя сëожности пpи пpеäставëении буëевой функöии в кëассах фоpìуë и схеì. ⎡x⎤ — пpибëижение ÷исëа х с избыткоì (наиìенüøее öеëое, не ìенüøее ÷исëа х); "&" иëи "" — конъþнкöия (то÷ка — знак уìножения — ìожет также пpиìенятüся äëя обозна÷ения аpифìети÷ескоãо уìножения)

Основные понятия
Вычислительный метод получения веpхних оценок сложности
Алгоpитм опpеделения сложности булевой функции в базисе Жегалкина
Заполнение и использование основных таблиц алгоpитма
No по поряäку записи
Список литеpатуpы
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call