Проектування та модельне обґрунтування застосувань на основі відеоадаптерів
Досліджено модельне обгрунтування властивостей архітектур відеоадаптерів виробництва NVIDIA. Розглянуто послідовність застосування апарату транзиційних систем для побудови високорівневої специфікації та апарату мереж Петрі для верифікації моделі застосування. Проведено формалізацію узагальненої моде...
Збережено в:
| Опубліковано в: : | Управляющие системы и машины |
|---|---|
| Дата: | 2018 |
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
2018
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/150489 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Проектування та модельне обґрунтування застосувань на основі відеоадаптерів / С.Д. Погорілий, С.Л. Кривий, М.С. Слинько // Управляющие системы и машины. — 2018. — № 4. — С. 46-56. — Бібліогр.: 10 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-150489 |
|---|---|
| record_format |
dspace |
| spelling |
Погорілий, С.Д. Кривий, С.Л. Слинько, М.С. 2019-04-08T13:23:03Z 2019-04-08T13:23:03Z 2018 Проектування та модельне обґрунтування застосувань на основі відеоадаптерів / С.Д. Погорілий, С.Л. Кривий, М.С. Слинько // Управляющие системы и машины. — 2018. — № 4. — С. 46-56. — Бібліогр.: 10 назв. — укр. 0130-5395 DOI https://doi.org/10.15407/usim.2018.04.0046 https://nasplib.isofts.kiev.ua/handle/123456789/150489 004.4 Досліджено модельне обгрунтування властивостей архітектур відеоадаптерів виробництва NVIDIA. Розглянуто послідовність застосування апарату транзиційних систем для побудови високорівневої специфікації та апарату мереж Петрі для верифікації моделі застосування. Проведено формалізацію узагальненої моделі обчислень в архітектурі NVIDIA CUDA та досліджено її на предмет наявності дедлоків, пасток, властивості обмеженості та відсутності мертвих місць і переходів. Цель. Презентация нового метода создания приложений с использованием видеоадаптеров, основанного на модельном проектировании. Результат. С помощью аппарата транзицийних систем удалось получить формализованную спецификацию анализируемой системы. Благодаря ее представлению сетью Петри проведен анализ модели на наличие дедлоков и ловушек, а также на отсутствие мертвых переходов и мест. Получены множества базисных и минимальных дедлоков и ловушек, показано, что каждый дедлок включает в себя по меньшей мере одну из ловушек, то есть полученная модель является живой. Purpose. The purpose of this article is to present the new method of GPU-based application development based on the model design. Result. A formalized specification of the analyzed system could be obtained due to the transi-tion system apparatus usage. The model is analyzed for the deadlocks (siphons) and traps and the absence of dead transitions and places. The sets of basis and minimum deadlocks and traps are obtained. Model aliveness is proved due to the fact that each deadlock includes at least one of the traps. uk Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України Управляющие системы и машины Технические средства информатики Проектування та модельне обґрунтування застосувань на основі відеоадаптерів Модельное обоснование приложений на основе видеоадаптеров Design and Model Justification of GPU-Based Applications Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Проектування та модельне обґрунтування застосувань на основі відеоадаптерів |
| spellingShingle |
Проектування та модельне обґрунтування застосувань на основі відеоадаптерів Погорілий, С.Д. Кривий, С.Л. Слинько, М.С. Технические средства информатики |
| title_short |
Проектування та модельне обґрунтування застосувань на основі відеоадаптерів |
| title_full |
Проектування та модельне обґрунтування застосувань на основі відеоадаптерів |
| title_fullStr |
Проектування та модельне обґрунтування застосувань на основі відеоадаптерів |
| title_full_unstemmed |
Проектування та модельне обґрунтування застосувань на основі відеоадаптерів |
| title_sort |
проектування та модельне обґрунтування застосувань на основі відеоадаптерів |
| author |
Погорілий, С.Д. Кривий, С.Л. Слинько, М.С. |
| author_facet |
Погорілий, С.Д. Кривий, С.Л. Слинько, М.С. |
| topic |
Технические средства информатики |
| topic_facet |
Технические средства информатики |
| publishDate |
2018 |
| language |
Ukrainian |
| container_title |
Управляющие системы и машины |
| publisher |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України |
| format |
Article |
| title_alt |
Модельное обоснование приложений на основе видеоадаптеров Design and Model Justification of GPU-Based Applications |
| description |
Досліджено модельне обгрунтування властивостей архітектур відеоадаптерів виробництва NVIDIA. Розглянуто послідовність застосування апарату транзиційних систем для побудови високорівневої специфікації та апарату мереж Петрі для верифікації моделі застосування. Проведено формалізацію узагальненої моделі обчислень в архітектурі NVIDIA CUDA та досліджено її на предмет наявності дедлоків, пасток, властивості обмеженості та відсутності мертвих місць і переходів.
Цель. Презентация нового метода создания приложений с использованием видеоадаптеров, основанного на модельном проектировании. Результат. С помощью аппарата транзицийних систем удалось получить формализованную спецификацию анализируемой системы. Благодаря ее представлению сетью Петри проведен анализ модели на наличие дедлоков и ловушек, а также на отсутствие мертвых переходов и мест. Получены множества базисных и минимальных дедлоков и ловушек, показано, что каждый дедлок включает в себя по меньшей мере одну из ловушек, то есть полученная модель является живой.
Purpose. The purpose of this article is to present the new method of GPU-based application development based on the model design. Result. A formalized specification of the analyzed system could be obtained due to the transi-tion system apparatus usage. The model is analyzed for the deadlocks (siphons) and traps and the absence of dead transitions and places. The sets of basis and minimum deadlocks and traps are obtained. Model aliveness is proved due to the fact that each deadlock includes at least one of the traps.
|
| issn |
0130-5395 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/150489 |
| citation_txt |
Проектування та модельне обґрунтування застосувань на основі відеоадаптерів / С.Д. Погорілий, С.Л. Кривий, М.С. Слинько // Управляющие системы и машины. — 2018. — № 4. — С. 46-56. — Бібліогр.: 10 назв. — укр. |
| work_keys_str_mv |
AT pogoríliisd proektuvannâtamodelʹneobgruntuvannâzastosuvanʹnaosnovívídeoadapterív AT kriviisl proektuvannâtamodelʹneobgruntuvannâzastosuvanʹnaosnovívídeoadapterív AT slinʹkoms proektuvannâtamodelʹneobgruntuvannâzastosuvanʹnaosnovívídeoadapterív AT pogoríliisd modelʹnoeobosnovaniepriloženiinaosnovevideoadapterov AT kriviisl modelʹnoeobosnovaniepriloženiinaosnovevideoadapterov AT slinʹkoms modelʹnoeobosnovaniepriloženiinaosnovevideoadapterov AT pogoríliisd designandmodeljustificationofgpubasedapplications AT kriviisl designandmodeljustificationofgpubasedapplications AT slinʹkoms designandmodeljustificationofgpubasedapplications |
| first_indexed |
2025-12-07T18:04:49Z |
| last_indexed |
2025-12-07T18:04:49Z |
| _version_ |
1850873678082867200 |