Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования

Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования

Рассмотрен метод проектирования грид-системы на основе транзиционных систем и их синхронных произведений. Полученная глобальная транзиционная система транслируется в сеть Петри (СП). С помощью СП проверяется корректность проектных решений, в частности отсутствие тупиков, мертвых переходов и т.д....

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2017
Автори: Крывый, С.Л., Бойко, Ю.В., Погорелый, С.Д., Борецкий, А.Ф., Глыбовец, Н.Н.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут кібернетики ім. В.М. Глушкова НАН України 2017
Назва видання:Кибернетика и системный анализ
Теми:
Програмно-технічні комплекси
Онлайн доступ:http://dspace.nbuv.gov.ua/handle/123456789/144690
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования / С.Л. Крывый, Ю.В. Бойко, С.Д. Погорелый, А.Ф. Борецкий, Н.Н. Глыбовец // Кибернетика и системный анализ. — 2017. — Т. 53, № 1. — С. 122-133. — Бібліогр.: 6 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id irk-123456789-144690
record_format dspace
spelling irk-123456789-1446902019-01-02T01:23:06Z Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования Крывый, С.Л. Бойко, Ю.В. Погорелый, С.Д. Борецкий, А.Ф. Глыбовец, Н.Н. Програмно-технічні комплекси Рассмотрен метод проектирования грид-системы на основе транзиционных систем и их синхронных произведений. Полученная глобальная транзиционная система транслируется в сеть Петри (СП). С помощью СП проверяется корректность проектных решений, в частности отсутствие тупиков, мертвых переходов и т.д. Розглянуто метод проектування грід-системи на основі транзиційних систем та їхніх синхронних добутків. Отримана глобальна транзиційна система транслюється в мережу Петрі (МП). За допомогою МП перевіряють коректність проектних рішень, зокрема відсутність тупиків, мертвих переходів тощо. The authors consider the method of designing grid systems based on transition systems and their products. The resulting global transition system is translated into a Petri net, which is used to verify the correctness of the design decisions. 2017 Article Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования / С.Л. Крывый, Ю.В. Бойко, С.Д. Погорелый, А.Ф. Борецкий, Н.Н. Глыбовец // Кибернетика и системный анализ. — 2017. — Т. 53, № 1. — С. 122-133. — Бібліогр.: 6 назв. — рос. 0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/144690 004.75 ru Кибернетика и системный анализ Інститут кібернетики ім. В.М. Глушкова НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Russian
topic Програмно-технічні комплекси
Програмно-технічні комплекси
spellingShingle Програмно-технічні комплекси
Програмно-технічні комплекси
Крывый, С.Л.
Бойко, Ю.В.
Погорелый, С.Д.
Борецкий, А.Ф.
Глыбовец, Н.Н.
Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования
Кибернетика и системный анализ
description Рассмотрен метод проектирования грид-системы на основе транзиционных систем и их синхронных произведений. Полученная глобальная транзиционная система транслируется в сеть Петри (СП). С помощью СП проверяется корректность проектных решений, в частности отсутствие тупиков, мертвых переходов и т.д.
format Article
author Крывый, С.Л.
Бойко, Ю.В.
Погорелый, С.Д.
Борецкий, А.Ф.
Глыбовец, Н.Н.
author_facet Крывый, С.Л.
Бойко, Ю.В.
Погорелый, С.Д.
Борецкий, А.Ф.
Глыбовец, Н.Н.
author_sort Крывый, С.Л.
title Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования
title_short Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования
title_full Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования
title_fullStr Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования
title_full_unstemmed Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования
title_sort проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования
publisher Інститут кібернетики ім. В.М. Глушкова НАН України
publishDate 2017
topic_facet Програмно-технічні комплекси
url http://dspace.nbuv.gov.ua/handle/123456789/144690
citation_txt Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования / С.Л. Крывый, Ю.В. Бойко, С.Д. Погорелый, А.Ф. Борецкий, Н.Н. Глыбовец // Кибернетика и системный анализ. — 2017. — Т. 53, № 1. — С. 122-133. — Бібліогр.: 6 назв. — рос.
series Кибернетика и системный анализ
work_keys_str_mv AT kryvyjsl proektirovaniegridstrukturnaosnovetranzicionnyhsistemsobosnovaniempravilʹnostiihfunkcionirovaniâ
AT bojkoûv proektirovaniegridstrukturnaosnovetranzicionnyhsistemsobosnovaniempravilʹnostiihfunkcionirovaniâ
AT pogorelyjsd proektirovaniegridstrukturnaosnovetranzicionnyhsistemsobosnovaniempravilʹnostiihfunkcionirovaniâ
AT boreckijaf proektirovaniegridstrukturnaosnovetranzicionnyhsistemsobosnovaniempravilʹnostiihfunkcionirovaniâ
AT glybovecnn proektirovaniegridstrukturnaosnovetranzicionnyhsistemsobosnovaniempravilʹnostiihfunkcionirovaniâ
first_indexed 2023-05-20T17:20:12Z
last_indexed 2023-05-20T17:20:12Z
_version_ 1796153064796717056

Схожі ресурси