Мақола ҳисоблаш тизимларининг макросинтез масаласини автоматлаштиришга, алгоритм
ва автоматларнинг толерантлик аппаратини излашга ҳамда ишланмасига, яъни қурилаётган
ҳисоблаш тизимлари функционал модулларининг оптимал таркибини аниқлашга, функционал
модулларни сони минимал тип билан фарқланишига ва берилган масалалар мажмуасидан
ихтиёрий алгоритмни энг яхши усул билан реализация қилишга бағишланган. Ҳисоблаш
тизимларининг функционал модуллари ва алгоритмлари орасидаги мосликни ўрнатувчи
структурали кўп масалалар − мос автоматларни ҳамда функционал модулларни асослаш ва танлаб
олиш − алгоритмларни эквивалент алмаштириш масалалари билан бирга ечишга тўғри келади.
Алгоритмлар (автоматлар)ни таққослаш симметрик бўлмаган муносабатлар олиб борилишини
тақозо этади. Шу муносабат билан мақолада кенгроқ кўринишга эга бўлган эквивалент
муносабатининг хусусий ҳолати бўлган киритиш муносабатини кўриш керак. Бу усул берилган
алгоритмлар мажмуасига қаратилган функционал модулларнинг оптимал танлови жараёнини
аниқлашга ёрдам беради.
Статья посвящена исследованию и разработке аппарата толерантности алгоритмов и
автоматов, предназначенного для автоматизации решения одного из основных вопросов задачи
макросинтеза ВС − определения оптимального состава функциональных модулей (ФМ)
разрабатываемой ВС, отличающейся минимальным числом типов функциональных модулей, но в
совокупности наилучшим образом реализующих любой алгоритм из заданного комплекса задач.
Предложено решение структурно множественных задач, связанных с установлением соответствия
между алгоритмами и функциональными модулями ВС с поиском сходных автоматов, а также
выбором и обоснованием общего состава ФМ, одновременно с задачами эквивалентных
преобразований алгоритмов. Обоснована необходимость проведения сравнения алгоритмов на
базе, допускающей несимметричные отношения. Рассмотрен более широкий вид отношений −
отношения вложения автоматов, частным случаем которого является отношение эквивалентности.
Установлено, что указанный метод позволяет определять оптимальный набор функциональных
модулей, настроенных на заданный комплекс алгоритмов.
Мақола ҳисоблаш тизимларининг макросинтез масаласини автоматлаштиришга, алгоритм
ва автоматларнинг толерантлик аппаратини излашга ҳамда ишланмасига, яъни қурилаётган
ҳисоблаш тизимлари функционал модулларининг оптимал таркибини аниқлашга, функционал
модулларни сони минимал тип билан фарқланишига ва берилган масалалар мажмуасидан
ихтиёрий алгоритмни энг яхши усул билан реализация қилишга бағишланган. Ҳисоблаш
тизимларининг функционал модуллари ва алгоритмлари орасидаги мосликни ўрнатувчи
структурали кўп масалалар − мос автоматларни ҳамда функционал модулларни асослаш ва танлаб
олиш − алгоритмларни эквивалент алмаштириш масалалари билан бирга ечишга тўғри келади.
Алгоритмлар (автоматлар)ни таққослаш симметрик бўлмаган муносабатлар олиб борилишини
тақозо этади. Шу муносабат билан мақолада кенгроқ кўринишга эга бўлган эквивалент
муносабатининг хусусий ҳолати бўлган киритиш муносабатини кўриш керак. Бу усул берилган
алгоритмлар мажмуасига қаратилган функционал модулларнинг оптимал танлови жараёнини
аниқлашга ёрдам беради.
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.
№ | Muallifning F.I.Sh. | Lavozimi | Tashkilot nomi |
---|---|---|---|
1 | Musayev M.U. | Кандидат технических наук, доцент | Навоийский государственный горный институт, Алмалыкский горно- металлургический факультет кафедра «Горное дело» |
№ | 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. |