Кўпмодулли ҳисоблаш тизимларининг ишлаб туриш алгоритмини формал модели таклиф
қилинади. Чекли автоматлар ўрнига чекли алгебра қаралиб, автоматлар назариясининг асосий
тушунчалари ва натижалари ривожлантирилган. Қаралаётган модел ўзининг берилган
қийматларини блокли қайта ишлаш билан эмас, балки у автомат акслантиришларнинг икки
тўпламига асосланган: кириш сўзларини чиқиш сўзларига қисман акслантириш (алмаштириш)
тўпламида ва алмаштириш бошқарув операторларининг тўпламида. Реал ҳисоблаш
тизимларининг ишлаш принципи кўрсатилган модулли ҳисоблаш тизими мос келганлиги сабабли,
келтирилган тушунчалар ва олинган натижалар ҳисоблаш дастурларини тузишда ва
алгоритмларни таҳлил этишда енгил қўллаш мумкин.
Кўпмодулли ҳисоблаш тизимларининг ишлаб туриш алгоритмини формал модели таклиф
қилинади. Чекли автоматлар ўрнига чекли алгебра қаралиб, автоматлар назариясининг асосий
тушунчалари ва натижалари ривожлантирилган. Қаралаётган модел ўзининг берилган
қийматларини блокли қайта ишлаш билан эмас, балки у автомат акслантиришларнинг икки
тўпламига асосланган: кириш сўзларини чиқиш сўзларига қисман акслантириш (алмаштириш)
тўпламида ва алмаштириш бошқарув операторларининг тўпламида. Реал ҳисоблаш
тизимларининг ишлаш принципи кўрсатилган модулли ҳисоблаш тизими мос келганлиги сабабли,
келтирилган тушунчалар ва олинган натижалар ҳисоблаш дастурларини тузишда ва
алгоритмларни таҳлил этишда енгил қўллаш мумкин.
Предлагается формальная модель алгоритма функционирования многомодульной
вычислительной системы (ВС). Развивается научная мысль о нескольких важных понятиях и
результатах обычной теории автоматов на случай, когда вместо конечного автомата
рассматриваются конечные алгебры. Обосновывается, что модель отличается от известных не
только блочностью обработки данных, но и тем, что она основана на двух множествах автоматных
отображений: на множестве частичных отображений (преобразований) входных слов в выходные
и на множестве операторов управления преобразованиями. Ввиду совпадения принципов работы
описанной модульной ВС и реальных машин можно ожидать, что вводимые понятия и
полученные результаты будут легче применимы для составления программ вычисления и анализа
алгоритмов.
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 | Musaev M.U. | Кандидат технических наук. доцент | Навоийский государственный горный институт, Алмалыкский горно- металлургический факультет кафедра «Горное дело» |
№ | Ҳавола номи |
---|---|
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 с |