Структуровані мережі Петрі в системах проектування спеціалізованих процесорів - Автореферат

ХАРКІВСЬКИЙ ДЕРЖАВНИЙ ТЕХНІЧНИЙ УНІВЕРСИТЕТ РАДІОЕЛЕКТРОНІКИ Автореферат дисертації на здобуття наукового ступеня кандидата технічних наукРобота виконана у Харківському державному технічному університеті радіоелектроніки, Міністерство освіти і науки України. Науковий керівник кандидат технічних наук Лобода Віталій Гаврилович, Харківський державний технічний університет радіоелектроніки, професор кафедри автоматизації проектування обчислювальної техніки. Офіційні опоненти: доктор технічних наук, професор Філіппенко Ігор Григорович, Харківська державна академія залізничного транспорту, завідувач кафедри обчислювальної техніки та систем керування; Захист відбудеться "26 "грудня 2000 року о 13 годині на засіданні спеціалізованої вченої ради Д 64.052.02 у Харківському державному технічному університеті радіоелектроніки за адресою: 61166, м. З дисертацією можна ознайомитись у бібліотеці Харківського державного технічного університету радіоелектроніки за адресою: 61166, м.Можливість модифікації мережі Петрі дозволяє адаптувати її для моделювання практично будь-яких обєктів і процесів. Згідно з поставленою метою задачами дослідження в дисертаційній роботі є: аналіз структурованих мереж Петрі з метою вибору мережі Петрі, на основі якої можна розробити мережу Петрі для моделювання складних обчислювальних систем; Наукова новизна одержаних результатів: вперше на основі навантажених мереж Петрі розроблено структуровану мережу Петрі (L-мережу Петрі), основною особливістю якої є макромітка - мітка, що є мережею Петрі; це дозволило моделювати складні системи з урахуванням основних положень сучасного системного підходу - системології; удосконалено методику аналізу мереж Петрі шляхом синтезу двох основних методів аналізу мереж Петрі: дерева досяжності і матричного рівняння; це дозволило скоротити час аналізу мережі Петрі за рахунок обмеження дерева досяжності за допомогою вектора запуску; У друкованих працях, опублікованих у співавторстві, автору належить розробка L-мережі Петрі [1,10,11], доказ леми і теореми про еквівалентність аналітичних дуг і еквівалентність мереж Петрі з аналітичними дугами машинам Тюрінга [7,8], розробка синтезу основних методів аналізу мереж Петрі: дерева досяжності і матричного рівняння [2,10,11], розробка методу зменшення витрат памяті на збереження структури мережі Петрі [10,11], розробка методу вибору комутаційної структури для синтезу мережі Петрі [5], розробка нової структури та алгоритму роботи процесора Петрі [8,14], розробка моделі MISC-процесора на основі 2-мережі Петрі [9].Таким чином, кожній підсистемі Si відповідає множина Ni алгоритмів поведінки у вигляді множини мереж Петрі: , і стан кожної підсистеми Si визначається маркіруванням M(Pi) позицій Pi мережі Петрі з множини Ni. Потім, якщо вхідній дузі а мережі Петрі другого рівня зіставлена макромітка mi із множини МС міток мережі Петрі другого рівня, то цій дузі а за допомогою відображення f6 зіставляється деяке маркірування множини позицій першого рівня, зіставлених макромітці mi: . Вхідна дуга AII(tj) C O(pk) мережі Петрі другого рівня дозволяє перехід tj, якщо в позиції pk знаходиться макромітка mi, що відповідає дузі а, і маркірування позицій першого рівня, що відповідають макромітці mi, зіставлено дузі а: f1(mi) = pk, f5(a) = mi, , . Потім, якщо вихідній дузі а мережі Петрі другого рівня зіставлена макромітка mi із множини МС міток мережі Петрі другого рівня, то цій дузі а за допомогою відображення f8 зіставляється деяка мережа Петрі з множини , зіставленої макромітці mi: . Мережі Петрі першого рівня відповідають макроміткам 2-мереж Петрі, мережі Петрі другого рівня - макроміткам 3-мережі Петрі, на третьому рівні знаходяться макромітки 3-мережі Петрі.У дисертації вирішена актуальна наукова задача розробки структурованої мережі Петрі для моделювання складних ієрархічних багаторівневих обчислювальних систем на основі сучасного системного підходу - системології: На основі навантажених мереж Петрі розроблено нову модифікацію мережі Петрі - L-мережу Петрі, - яка призначена для моделювання складних ієрархічних багаторівневих систем із структурою, що змінюється в процесі роботи. Основною особливістю L-мережі Петрі є макромітка - мітка, що являється мережею Петрі. Це показує, що мережі Петрі з аналітичними дугами можна використовувати для моделювання систем довільної складності. Удосконалено методику аналізу мереж Петрі шляхом синтезу двох основних методів аналізу мереж Петрі: дерева досяжності і матричного рівняння. Це дозволило скоротити час аналізу мережі Петрі за рахунок обмеження дерева досяжності за допомогою вектора запуску.

ОСНОВНИЙ ЗМІСТ РОБОТИ