Введение к работе
-Актуальность проблемы.
Условия реального времени при управлении многими провесами предъявляют серьезные требования как к' постановке адач, так и к организации вычислений.Одним из путей разре-ения возникающих здесь противоречий являются распределенные ычисления.
При построении распределенных вычислительных сред.вклю-авщих значительное число модулей обработки данных, на пер-зе место выдвигается организация их эффективного и корректно взаимодействия.Зта задача решается как на программ-)м,так и.на аппаратном уровнях.
Координация взаимодействия составных частей системы іебует специальных средств, составляющих существенную часть :его оборудования, что заставляет разработчиков искать для їх рациональные технические решения.
В рамках проблематики взаимодействуя, большое значение еет решение вопросов логической состоятельности применяе-х механизмов координации взаимодействия, модулей, включая и просы времейной согласованности работы, всех частей системы. Упомянутые выше вопросы являются объектом исследования по крайней мере, двух научных дисциплин: теории сетей мас-вого обслувивания и теории взаимодействующих процессов.
Обе эти теории достаточно развиты, и имегот.ся. впечатляю-
э примеры их применения. Например, исследования по теории
злодействующих процессов позволили разработать язык QKKAH
методы теории сетей массового обслуйивавия; используются
і вычислении характеристик реальных сетей ЗВ!А.
В последнее время специалисты, в различных областях прошит постоянно усиливающийся интерес к относительно новому ічному направлению под названием теория дискретно-событий-; систем (discrete event iJrivensystems-DCC). Цодтверядениеи іму является особое внимание, которое было отвеД'-но теории на очередном конгрессе 1FAC (1990г.). Наиболее распрост-енннм определением ДСС является ее понимание как динамикой системи с дискретным пространством состояний и кусоч-постиянной фазовой траекторией. В рамках этого
- г -
определения разработано большое количество моделей. Однак каядая из них, используя свои средства описания и акализ динамических объектов , не охватывает многих ванных для при лояений задач. К их числу принадлежат вопросы, связанные построением управляющих пространств для асинхронных рекур сивных процессов, развивающихся в возбудимых однородных ере дах. Они составляют содервание исследований области распре деленных вычислений в рамках так называемой "волновс идеологии" решения многих практически ванных задач, которь в настоящее время уделяется пристальное внимание многих cm циалистов.
Сказанное позволяет считать актуальными исследования области теории и практики построения асинхронных вычислит ных сред с волновым принципом формирования управляюче пространства.
Цель работы состоит в совершенствовании организации в числительного процесса в однородных клеточных цепях с рас ределенной памятью и волновым принципом взаимодейств звеньев, а такве в получении соответствующих рекомендаций аппаратной поддержке предловенных механизмов взаимодействі
Достижение поставленной цели, предусматривает ревеї следующих задач:
разработка волновой модели клеточного автомата;
исследование вопросов формального описания волної процессов в однородных .возбудимых средах;
анализ свойств волновых процессов, развивающихся управляющем волновом пространстве одномерной клеточной це
выработка рекомендаций по реализации одномерных це с волновым механизмам взаимодействия функциональных звень
Методы.исследования базируются на общей теории авте тов и вычислительных алгоритмов, теории алгебраических с тем и конечных множеств,теории графов и сетей ., ИСПОЛЬ; результаты теории самосинхронных схем , систолических-сті тур,формальные модели поведения.дискретных систем , а т< накопленный к настоящему времени опыт проектирования асі ронных цепей,
Научная новизна проведенных исследований состоит 1) в разработке моделей волнового процесса, развива
гося в пространстве по дправлению возбудимых одномерных клеточных цепей;
-
выявлении локальных характеристических свойств вол нового процесса на базе модели в полных состояниях С диаг-памм перехода Маллера);
-
установлении свойств недетерминированного развития эолнового процесса и их влияния на поведение одномерных клеточных цепей (в пространстве по управлению);
4) формировании рекомендаций по проектировании схем
:опряжения' функциональных звеньев одномерных цепей на базе
золнового механизма их взаимодействия.
Практическая ценность. Разработанные модели волновых іроцессов послужили основой выработки рекомендаций по проек-гированию ряда устройств обработки сигналов для автоматизи-юванных систем научных исследований (в рамках г/б НИР по іинии - Института моделирования и интеллектуализации слояных :истем ) и учебно-исследовательской лабораторной установки [ля изучения аппаратных средств мультипроцессорных систем іекурсивного типа.
Апробация работы.Основные полоаения работы докладываюсь и обсуядались на постоянно действующем семинаре "Теория втоматов" секции вычислительной техники НТО РЭС им. Р.С.По-ова, Ленинград, 1990,1991гг..'научно-технической конференции рофессорско-преподавательскогп ппгтава ЛЗТИ им. В.И.Ульянове Ленина"), 1990г
Внедрение результатов.Результаты работы использовались а кафедре Вычислительной техники ЭТ9 при выполнении г/б НИР Исследование принципов организации рекурсивных вычислитель-ых структур",а такие вошли в методические рекомендации по выполнению учебно-исследовательских работ на лабораторной становке для изучения аппаратных средств мультипроцессорных истем рекурсивного типа.
Публикации.По теме диссертации опубликованы три статьи, ве из них в соавторстве.Личный вклад автора является оиреде-яюїдим в части именно тех результатов.которые вынесены на за-,пц.
-Структура и объем работы.
Раоота спстииг ич введения, четырех глав с выводами,зак-
4 -лючения и списка литературы, включающего 76 наименований. Основная часть работы излоаена на 132 страницах машинописного текста. Работа содеркит 45 рисунков и б таблиц,