Проектування та модельне обґрунтування застосувань на основі відеоадаптерів
Досліджено модельне обгрунтування властивостей архітектур відеоадаптерів виробництва NVIDIA. Розглянуто послідовність застосування апарату транзиційних систем для побудови високорівневої специфікації та апарату мереж Петрі для верифікації моделі застосування. Проведено формалізацію узагальненої моде...
Gespeichert in:
| Veröffentlicht in: | Управляющие системы и машины |
|---|---|
| Datum: | 2018 |
| Hauptverfasser: | , , |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
2018
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/150489 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Проектування та модельне обґрунтування застосувань на основі відеоадаптерів / С.Д. Погорілий, С.Л. Кривий, М.С. Слинько // Управляющие системы и машины. — 2018. — № 4. — С. 46-56. — Бібліогр.: 10 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862716360158609408 |
|---|---|
| author | Погорілий, С.Д. Кривий, С.Л. Слинько, М.С. |
| author_facet | Погорілий, С.Д. Кривий, С.Л. Слинько, М.С. |
| citation_txt | Проектування та модельне обґрунтування застосувань на основі відеоадаптерів / С.Д. Погорілий, С.Л. Кривий, М.С. Слинько // Управляющие системы и машины. — 2018. — № 4. — С. 46-56. — Бібліогр.: 10 назв. — укр. |
| collection | DSpace DC |
| container_title | Управляющие системы и машины |
| 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.
|
| first_indexed | 2025-12-07T18:04:49Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-150489 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0130-5395 |
| language | Ukrainian |
| last_indexed | 2025-12-07T18:04:49Z |
| publishDate | 2018 |
| publisher | Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України |
| 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 |
| spellingShingle | Проектування та модельне обґрунтування застосувань на основі відеоадаптерів Погорілий, С.Д. Кривий, С.Л. Слинько, М.С. Технические средства информатики |
| title | Проектування та модельне обґрунтування застосувань на основі відеоадаптерів |
| title_alt | Модельное обоснование приложений на основе видеоадаптеров Design and Model Justification of GPU-Based Applications |
| title_full | Проектування та модельне обґрунтування застосувань на основі відеоадаптерів |
| title_fullStr | Проектування та модельне обґрунтування застосувань на основі відеоадаптерів |
| title_full_unstemmed | Проектування та модельне обґрунтування застосувань на основі відеоадаптерів |
| title_short | Проектування та модельне обґрунтування застосувань на основі відеоадаптерів |
| title_sort | проектування та модельне обґрунтування застосувань на основі відеоадаптерів |
| topic | Технические средства информатики |
| topic_facet | Технические средства информатики |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/150489 |
| 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 |