Простийпошук |
Розширенийпошук |
Покажчики
|
Професійний пошук |
Рубрикатор НБУВ |
Розподілений пошук |
Бази даних
Наукова періодика України - результати пошуку
Книжкові видання та компакт-дискиЖурнали та продовжувані виданняАвтореферати дисертаційРеферативна база данихНаукова періодика УкраїниТематичний навігаторАвторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Повнотекстовий пошук
| Знайдено в інших БД: | Реферативна база даних (1) |
Список видань за алфавітом назв: Авторський покажчик Покажчик назв публікацій  |
Пошуковий запит: (<.>AT=Paulin Method for Constructing the$<.>) | |||
|
Загальна кількість знайдених документів : 1 |
|||
| 1. | 
Paulin O. N. Method for Constructing the Model of Computing Processbased on Petri net [Електронний ресурс] / O. N. Paulin, N. O. Komleva, S. U. Marulin, A. O. Nikolenko // Applied aspects of information technology. - 2019. - Vol. 2, no 4. - С. 260-270. - Режим доступу: http://nbuv.gov.ua/UJRN/aait_2019_2_4_3 Мета роботи - підвищення якості обчислювального процесу, що вирішує поставлену задачу, за рахунок його моделювання та налагодження на базі мережі Петрі (МП). Під якістю обчислювального процесу (ОП) розуміється відсутність помилок (за циклювання, параліч, неможливість реалізації деякого фрагменту і т.п.) і його оптимізація за критерієм мінімуму складності. Запропоновано новий підхід до аналізу ОП, заснований на попередньому моделюванні МП як фрагментів ОП, так і повних ОП. Це надасть можливість виявляти багато помилок на стадії моделювання ОП. ОП розглянуто як сукупність макрооперацій, які є функціонально закінченими операціями різного ієрархічного рівня. Для виділення макрооперацій із ОП проведено його декомпозицію на елементарні (базові) обчислювальні конструкції. Сформульовано твердження про те, що будь-який ОП можна сконструйовати на основі відносно невеликої кількості макрооперацій. Для реалізації нового підходу поставлено і вирішено завдання розробки методу побудови МП за заданим ОП. Суть запропонованого методу полягає в розбитті ОП на макрооперації, побудові для кожної макрооперації фрагмента МП, моделюванні всіх фрагментів, збірки з фрагментів мережі повної МП та її моделюванні. Для реалізації методу розроблено процедуру побудови моделі ОП. Наведено опис етапів даної процедури: декомпозиція ОП на макрооперації за запропонованими правилами, переклад макрооперацій у фрагменти МП та їх моделювання, збір за запропонованими правилами повної МП і моделювання отриманої МП. Результати реалізації всіх етапів процедури заносяться в бібліотеку, призначення якої - накопичення знань про ОП, відповідні їм МП і результати моделювання. Це надає можливість спростити процес моделювання нового ОП за рахунок використання вже налагоджених фрагментів. У разі виявлення помилки в ОП або його не оптимальності ОП коригується, що і надає можливість підвищити його якість за вказаними вище критеріями. На прикладі сортування вставками експериментально підтверджується правильність роботи побудованої МП із застосуванням заявленого методу. | ||
Попередній перегляд: 
Реферативна БД
 |
| Відділ наукової організації електронних інформаційних ресурсів |
 Пам`ятка користувача |