444

Кўпмодулли ҳисоблаш тизимларининг ишлаб туриш алгоритмини формал модели таклиф 
қилинади.  Чекли  автоматлар  ўрнига  чекли  алгебра   қаралиб,  автоматлар  назариясининг  асосий 
тушунчалари  ва  натижалари  ривожлантирилган.  Қаралаётган  модел  ўзининг  берилган 
қийматларини   блокли   қайта  ишлаш  билан  эмас,  балки  у  автомат  акслантиришларнинг   икки 
тўпламига  асосланган:  кириш  сўзларини  чиқиш  сўзларига  қисман  акслантириш  (алмаштириш) 
тўпламида  ва  алмаштириш  бошқарув  операторларининг  тўпламида.   Реал  ҳисоблаш 
тизимларининг ишлаш принципи кўрсатилган модулли  ҳисоблаш тизими мос келганлиги сабабли, 
келтирилган  тушунчалар  ва  олинган  натижалар  ҳисоблаш  дастурларини  тузишда  ва 
алгоритмларни таҳлил этишда енгил қўллаш мумкин.

  • Internet ҳавола
  • DOI
  • UzSCI тизимида яратилган сана 17-02-2020
  • Ўқишлар сони 433
  • Нашр санаси 10-09-2019
  • Мақола тилиO'zbek
  • Саҳифалар сони35-43
Ўзбек

Кўпмодулли ҳисоблаш тизимларининг ишлаб туриш алгоритмини формал модели таклиф 
қилинади.  Чекли  автоматлар  ўрнига  чекли  алгебра   қаралиб,  автоматлар  назариясининг  асосий 
тушунчалари  ва  натижалари  ривожлантирилган.  Қаралаётган  модел  ўзининг  берилган 
қийматларини   блокли   қайта  ишлаш  билан  эмас,  балки  у  автомат  акслантиришларнинг   икки 
тўпламига  асосланган:  кириш  сўзларини  чиқиш  сўзларига  қисман  акслантириш  (алмаштириш) 
тўпламида  ва  алмаштириш  бошқарув  операторларининг  тўпламида.   Реал  ҳисоблаш 
тизимларининг ишлаш принципи кўрсатилган модулли  ҳисоблаш тизими мос келганлиги сабабли, 
келтирилган  тушунчалар  ва  олинган  натижалар  ҳисоблаш  дастурларини  тузишда  ва 
алгоритмларни таҳлил этишда енгил қўллаш мумкин.

Русский

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

English

A formal model of the algorithm for the operation of a multimodular VS is proposed several 
important  concepts  and  results  of  the   ordinary  theory   of   automata   develop  in  the  case  when  finite 
algebras  are  used  instead  of  finite  automata.  The  Model  differs  from  renown  not  only   in  block 
processing of data , but also because if is based on two sets of automaton mappings.On the  set of partial 
mappings  (transformations)   of  input  words  to  the  output  and  on  the  set  oftransformationscontrail 
operators.In view of the coincidence of the principles of operation of the described modular aircraft and 
real machines, one can expect shat the results obtained will be more easily applied the computation and 
analyses of algorithms. 

Ҳавола номи
1 Янов Ю.И. О логических схемах алгоритмов// Сб. «Проблемы кибернетики». Вып.1. М.: Физматгиз, 1958. С. 75–127
2 Янов Ю.И. О логических преобразованиях схем алгоритмов// Сб. «Проблемы кибернетики». Вып.20. М.: Физматгиз, 1967. С.201–216.
3 Криницкий Н.А. , Миронов Г.А., Фролов Г.Д. Программирование и алгоритмические языки. М.: Наука, 1975. –496 с
4 Капитонова Ю.В., Летичевский А.А. Математическая теория проектирования вычислительных систем. М.: Наука. Гл. ред.физ.-мат.лит., 1988. –296 с
5 Мамиконов А.Г., Кульба В.В. Синтез оптимальных модульных систем обработки данных. М.: Наука, 1986.
6 Мелихов А.Н. Ориентированные графы и конечные автоматы.М.: Наука, 1971
7 Вальковский В.А. Распараллеливание алгоритмов и программ. Структурный подход. М.: Радио и связь, 1989
8 Миллер Р. Теория переключательных схем . М.: Наука, 1970. Т.1.
9 Айзерман М.А. и др. Логика. Автоматы. Алгоритмы. М.: Физматгиз, 1963
10 Меренков Н.Н. Параллельное программирование для многомодульных ВС. М.: Радио и связь, 1989
11 Самофалов К.Г. ,Луцкий Г.М. Основы теории многоуровневых конвейерных ВС. М.: Радио и связь, 1989
12 Зыков А.А. Теория конечных графов. Новосибирск: Наука, 1969
13 Мусаев М.У. Средства формализованного описания и преобразования автоматов и алгоритмов, ориентированных на проектирование ВС/ Ташк. политехн. ин-т. Ташкент, 1988. –29 с
Кутилмоқда