253

Мақола ҳисоблаш тизимларининг макросинтез масаласини автоматлаштиришга, алгоритм
ва автоматларнинг толерантлик аппаратини излашга ҳамда ишланмасига, яъни қурилаётган
ҳисоблаш тизимлари функционал модулларининг оптимал таркибини аниқлашга, функционал
модулларни сони минимал тип билан фарқланишига ва берилган масалалар мажмуасидан
ихтиёрий алгоритмни энг яхши усул билан реализация қилишга бағишланган. Ҳисоблаш
тизимларининг функционал модуллари ва алгоритмлари орасидаги мосликни ўрнатувчи
структурали кўп масалалар − мос автоматларни ҳамда функционал модулларни асослаш ва танлаб
олиш − алгоритмларни эквивалент алмаштириш масалалари билан бирга ечишга тўғри келади.
Алгоритмлар (автоматлар)ни таққослаш симметрик бўлмаган муносабатлар олиб борилишини
тақозо этади. Шу муносабат билан мақолада кенгроқ кўринишга эга бўлган эквивалент
муносабатининг хусусий ҳолати бўлган киритиш муносабатини кўриш керак. Бу усул берилган
алгоритмлар мажмуасига қаратилган функционал модулларнинг оптимал танлови жараёнини
аниқлашга ёрдам беради.
 

  • Internet havola
  • DOI
  • UzSCI tizimida yaratilgan sana 13-02-2020
  • O'qishlar soni 234
  • Nashr sanasi 11-09-2017
  • Asosiy tilO'zbek
  • Sahifalar48-56
Русский

Статья посвящена исследованию и разработке аппарата толерантности алгоритмов и
автоматов, предназначенного для автоматизации решения одного из основных вопросов задачи
макросинтеза ВС − определения оптимального состава функциональных модулей (ФМ)
разрабатываемой ВС, отличающейся минимальным числом типов функциональных модулей, но в
совокупности наилучшим образом реализующих любой алгоритм из заданного комплекса задач.
Предложено решение структурно множественных задач, связанных с установлением соответствия
между алгоритмами и функциональными модулями ВС с поиском сходных автоматов, а также
выбором и обоснованием общего состава ФМ, одновременно с задачами эквивалентных
преобразований алгоритмов. Обоснована необходимость проведения сравнения алгоритмов на
базе, допускающей несимметричные отношения. Рассмотрен более широкий вид отношений −
отношения вложения автоматов, частным случаем которого является отношение эквивалентности.
Установлено, что указанный метод позволяет определять оптимальный набор функциональных
модулей, настроенных на заданный комплекс алгоритмов.
 

Ўзбек

Мақола ҳисоблаш тизимларининг макросинтез масаласини автоматлаштиришга, алгоритм
ва автоматларнинг толерантлик аппаратини излашга ҳамда ишланмасига, яъни қурилаётган
ҳисоблаш тизимлари функционал модулларининг оптимал таркибини аниқлашга, функционал
модулларни сони минимал тип билан фарқланишига ва берилган масалалар мажмуасидан
ихтиёрий алгоритмни энг яхши усул билан реализация қилишга бағишланган. Ҳисоблаш
тизимларининг функционал модуллари ва алгоритмлари орасидаги мосликни ўрнатувчи
структурали кўп масалалар − мос автоматларни ҳамда функционал модулларни асослаш ва танлаб
олиш − алгоритмларни эквивалент алмаштириш масалалари билан бирга ечишга тўғри келади.
Алгоритмлар (автоматлар)ни таққослаш симметрик бўлмаган муносабатлар олиб борилишини
тақозо этади. Шу муносабат билан мақолада кенгроқ кўринишга эга бўлган эквивалент
муносабатининг хусусий ҳолати бўлган киритиш муносабатини кўриш керак. Бу усул берилган
алгоритмлар мажмуасига қаратилган функционал модулларнинг оптимал танлови жараёнини
аниқлашга ёрдам беради.
 

English

The Article is dedicated to study and development of the apparatus for tolerance algorithm and
automaton, intended for automation of the decision one of the main questions of the problem microsites
СS – determinations of the optimum composition of the functional modules (FM) under development
CS, differing minimum number of the types of the functional modules, but collections to the best
advantage realizing any correspondence to between algorithm and functional module CS with searching
for cognate automaton, as well as choice and justification of the general composition FM, solves
simultaneously with problem of the equivalent transformations algorithm. Consequently, connection
in work is considered broader type relations − attitude of the embedding automaton, quotient by event
which is an attitude to equivalence. The specified method allows the reception of the procedure
determination optimum set of the functional modules, adjusted on given complex algorithm.

 

Havola nomi
1 Янов Ю.А. О логических схемах алгоритмов// Проблемы кибернетики. Вып.1. М.: Физматгиз, 1958. С. 75−127.
2 Янов Ю.А. О логических преобразованиях схем алгоритмов// Проблемы кибернетики. Вып. 20. М.: Физматгиз, 1967. С. 201−216 .
3 Ершов А.П. Операторные алгоритмы // Проблемы кибернетики. Вып. 20. М.: Физматгиз, 1968. С.181−199.
4 Тузов В.А. О минимизации граф-схем// Журнал вычислительной математики и математической физики». 1968. Т.8. №4. С. 922−928.
5 Шрейдер Ю.А. Равенство, сходство, порядок. М.: Наука, 1971. − 252 с.
6 Бекмуратов Т.Ф., Мусаев М.У. Метод построения классов толерантности на множестве алгоритмов// Доклады АН РУз. 1997. №7. С. 24−26.
7 Мусаев М.У. Функция сравнения маршрутов на моделях алгоритмов// Доклады АН РУз. 1997. №8. С. 21−23.
Kutilmoqda