Мета роботи - підвищення якості обчислювального процесу, що вирішує поставлену задачу, за рахунок його моделювання та налагодження на базі мережі Петрі (МП). Під якістю обчислювального процесу (ОП) розуміється відсутність помилок (за циклювання, параліч, неможливість реалізації деякого фрагменту і т.п.) і його оптимізація за критерієм мінімуму складності. Запропоновано новий підхід до аналізу ОП, заснований на попередньому моделюванні МП як фрагментів ОП, так і повних ОП. Це надасть можливість виявляти багато помилок на стадії моделювання ОП. ОП розглянуто як сукупність макрооперацій, які є функціонально закінченими операціями різного ієрархічного рівня. Для виділення макрооперацій із ОП проведено його декомпозицію на елементарні (базові) обчислювальні конструкції. Сформульовано твердження про те, що будь-який ОП можна сконструйовати на основі відносно невеликої кількості макрооперацій. Для реалізації нового підходу поставлено і вирішено завдання розробки методу побудови МП за заданим ОП. Суть запропонованого методу полягає в розбитті ОП на макрооперації, побудові для кожної макрооперації фрагмента МП, моделюванні всіх фрагментів, збірки з фрагментів мережі повної МП та її моделюванні. Для реалізації методу розроблено процедуру побудови моделі ОП. Наведено опис етапів даної процедури: декомпозиція ОП на макрооперації за запропонованими правилами, переклад макрооперацій у фрагменти МП та їх моделювання, збір за запропонованими правилами повної МП і моделювання отриманої МП. Результати реалізації всіх етапів процедури заносяться в бібліотеку, призначення якої - накопичення знань про ОП, відповідні їм МП і результати моделювання. Це надає можливість спростити процес моделювання нового ОП за рахунок використання вже налагоджених фрагментів. У разі виявлення помилки в ОП або його не оптимальності ОП коригується, що і надає можливість підвищити його якість за вказаними вище критеріями. На прикладі сортування вставками експериментально підтверджується правильність роботи побудованої МП із застосуванням заявленого методу.

Індекс рубрикатора НБУВ: Г124.323.1-4

Шифр НБУВ: Ж41115 Пошук видання у каталогах НБУВ