Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Кибернетика и системный анализ
Datum:	2017
Hauptverfasser:	Крывый, С.Л., Бойко, Ю.В., Погорелый, С.Д., Борецкий, А.Ф., Глыбовец, Н.Н.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут кібернетики ім. В.М. Глушкова НАН України 2017
Schlagworte:	Програмно-технічні комплекси
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/144690
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:	Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования / С.Л. Крывый, Ю.В. Бойко, С.Д. Погорелый, А.Ф. Борецкий, Н.Н. Глыбовец // Кибернетика и системный анализ. — 2017. — Т. 53, № 1. — С. 122-133. — Бібліогр.: 6 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Проектирование ИТ-инфраструктуры
von: Крывый, С.Л., et al.
Veröffentlicht: (2018)

Экосистемы программной инженерии
von: Крывый, С.Л., et al.
Veröffentlicht: (2020)

Представлення, аналіз та видобування знань з неструктурованих природномовних текстів
von: Гогерчак, Г.І., et al.
Veröffentlicht: (2021)

Високопродуктивні суперкомп'ютерні технології моделювання та ідентифікації складних нанопористих кіберсистем зі зворотними зв'язками для n-компонентної компетитивної адсорбції
von: Петрик, М.Р., et al.
Veröffentlicht: (2021)

Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками
von: Гломозда, Д.К., et al.
Veröffentlicht: (2018)

Метод распознавания параметров помехоустойчивых блочных циклических кодов по образующему полиному
von: Николаев, С.Н., et al.
Veröffentlicht: (2021)

Достоверность решений линейных математических моделей с приближенно заданными исходными данными
von: Химич, А.Н., et al.
Veröffentlicht: (2004)

Метод параллельного нечеткого вывода для систем Такаги–Сугено высшего порядка
von: Ершов, С.В., et al.
Veröffentlicht: (2018)

Обобщенные оценки факторов в задачах когнитивного моделирования
von: Таран, Т.А., et al.
Veröffentlicht: (2004)

Использование технологии идентификации семантически связных элементов текста для определения единого информационного пространства
von: Петрасова, С.В., et al.
Veröffentlicht: (2017)

Гибридные алгоритмы решения алгебраической проблемы собственных значений с разреженными матрицами
von: Химич, А.Н., et al.
Veröffentlicht: (2017)

Подход к классификации состояния сети на основе статистических параметров для обнаружения аномалий в информационной структуре вычислительной системы
von: Рубан, И.В., et al.
Veröffentlicht: (2018)

Метод синтеза услуг в задачах компьютерной телефонии
von: Палагин, А.В., et al.
Veröffentlicht: (2004)

Исследования моделей распознавания звуков речи на основе нейронных сетей глубокого обучения для экспертизы цифровых фонограмм
von: Соловьев, В.И., et al.
Veröffentlicht: (2021)

Метод и алгоритм получения элементов тензора пространственных производных вектора магнитной индукции в задаче поиска магнитных аномалий
von: Примин, М.А., et al.
Veröffentlicht: (2019)

Математическое моделирование токовых состояний водных объектов
von: Каленчук-Порханова, А.А.
Veröffentlicht: (2019)

Совместное распределение некоторых статистик случайной битовой последовательности
von: Масол, В.И., et al.
Veröffentlicht: (2021)

Огляд сучасних методів захищеності та безпеки програмних систем
von: Летичевський, О.О., et al.
Veröffentlicht: (2019)

Математический метод корректировки плана полетов в нештатных режимах работы аэропорта
von: Нелин, О.В.
Veröffentlicht: (2003)

Обоснование принципиальной возможности применения нейронных сетей глубокого обучения для построения системы выявления следов цифровой обработки фонограмм
von: Соловьев, В.И., et al.
Veröffentlicht: (2020)

Ефективні способи організації паралельної роботи оптимізаційних алгоритмів
von: Шило, В.П., et al.
Veröffentlicht: (2019)

Розвиток суперкомп’ютерів серії СКІТ, розроблених в Інституті кібернетики ім. В.М. Глушкова НАН України у період з 2002 по 2017 роки
von: Головинський, А.Л., et al.
Veröffentlicht: (2017)

О построении систем управления с инвариантной программой
von: Лёгенький, В.И.
Veröffentlicht: (2004)

Алгоритми методу дискретних особливостей для обчислювальних технологій
von: Довгий, С.О., et al.
Veröffentlicht: (2017)

Унифицированная модель объекта управления дискретного производства
von: Каплунов, М.И.
Veröffentlicht: (2003)

Симетричні криптоалгоритми у системі залишкових класів
von: Касянчук, М.М., et al.
Veröffentlicht: (2021)

Имитационное моделирование распределенной обработки информации в локальных вычислительных сетях
von: Быченко, О.В., et al.
Veröffentlicht: (2004)

Методология построения информационной системы управления проектами на основе интеграции приложений предприятия
von: Тулупов, М.А.
Veröffentlicht: (2020)

Повышение точности решения дискретных некорректных задач методом случайного проецирования
von: Ревунова, Е.Г.
Veröffentlicht: (2018)

Алгоритм наилучшей равномерной аппроксимации сплайнами со свободными узлами
von: Вакал, Л.П., et al.
Veröffentlicht: (2019)

Інтелектуалізація інформаційних систем – механізми та інструментарій інтерактивного ситуативного аналізу
von: В’юн, В.І.
Veröffentlicht: (2004)

Системная методология прогнозирования: прогнозирование процессов естественной и искусственной природы
von: Теслер, Г.С.
Veröffentlicht: (2004)

Календарное планирование для унифицированной модели объекта управления дискретного производства
von: Каплунов, М.И.
Veröffentlicht: (2004)

Прикладная математическая задача как объект компьютерной алгебры
von: Клименко, В.П., et al.
Veröffentlicht: (2003)

Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул
von: Львов, М.С., et al.
Veröffentlicht: (2018)

Численные методы определения жесткостных характеристик сечения стержня
von: Городецкий, А.С., et al.
Veröffentlicht: (2019)

Особливості організації сучасних систем автоматизації міркувань
von: Мороховець, М.К.
Veröffentlicht: (2003)

Новый подход к работе с неориентированными деревьями
von: Иванешкин, А.И.
Veröffentlicht: (2021)

Программный комплекс решения задачи многокритериальной оптимизации со стохастическими ограничениями
von: Богданова, Л.М., et al.
Veröffentlicht: (2018)

Целочисленное косинусное преобразование высокого порядка: метод построения и быстрые алгоритмы для кодирования изображений и видео с высоким разрешением
von: Гнатив, Л.А.
Veröffentlicht: (2017)