Buchumschlag

Формальные методы анализа дискретных систем с использованием языка спецификаций

Описано реалізацію алгоритму переведення набору діаграм MSC (документа MSC) в подійно еквівалентну йому мережу Петрі, наведено доказ коректності зазначеного алгоритму. Мережа, що отримана таким чином, може бути використана для аналізу властивостей вихідного документа MSC. Наведений алгоритм є складо...

Ausführliche Beschreibung

Gespeichert in:

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

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри
von: Визовитин, Н.В., et al.
Veröffentlicht: (2015)

Анализ фиктивности состояний автомата, синтезированного по спецификации, преобразованной из языка L* в язык L
von: Чеботарев, А.Н.
Veröffentlicht: (2013)

Методика разработки и средства формализации функциональных спецификаций систем и устройств
von: Годлевский, А.Б., et al.
Veröffentlicht: (2016)

Согласование спецификаций автоматов, представленных в языке L
von: Чеботарев, А.Н.
Veröffentlicht: (2016)

Комбинаторный метод решения систем линейных ограничений
von: Крывый, С.Л.
Veröffentlicht: (2014)

Структурные модели алгоритмов в задачах прикладного программирования. I. Формальные алгоритмические структуры
von: Шинкаренко, В.И., et al.
Veröffentlicht: (2009)

Подход к оценке сложности в среднем постоптимального анализа дискретных задач оптимизации
von: Михайлюк, В.А.
Veröffentlicht: (2011)

Подход к оценке сложности вероятностных процедур постоптимального анализа дискретных задач оптимизации
von: Михайлюк, В.А.
Veröffentlicht: (2012)

Насколько формальны формальные методы?
von: Тарасюк, О.М., et al.
Veröffentlicht: (2011)

Алгоритм построения базиса множества решений систем линейных диофантовых уравнений в кольце целых чисел
von: Крывый, С.Л.
Veröffentlicht: (2009)

Использование согласования логических спецификаций автоматов при решении игровых задач
von: Чеботарев, А.Н.
Veröffentlicht: (2014)

Усовершенствованный метод синтеза автомата по его спецификации в языке L
von: Тимофеев, В.Г., et al.
Veröffentlicht: (2011)

Робастная диссипативность дискретных систем и ее исследование с помощью последовательности множеств функций Ляпунова
von: Лычак, М.М.
Veröffentlicht: (2008)

Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L
von: Чеботарев, А.Н.
Veröffentlicht: (2010)

Неклассические свойства пространства дискретных геометрий
von: Григорьян, Ю.Г.
Veröffentlicht: (2009)

Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке
von: Чеботарев, А.Н.
Veröffentlicht: (2009)

Конечные автоматы в информационных технологиях
von: Крывый, С.Л.
Veröffentlicht: (2011)

О классе формул языка L*, специфицирующих автоматы с конечной памятью
von: Чеботарев, А.Н.
Veröffentlicht: (2010)

Верификация программ: состояние, проблемы, результаты. I
von: Крывый, С.Л., et al.
Veröffentlicht: (2013)

Верификация программ: состояние, проблемы, результаты. II
von: Крывый, С.Л., et al.
Veröffentlicht: (2014)

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

Метод вычисления семантической близости-связности между словами естественного языка
von: Анисимов, А.В., et al.
Veröffentlicht: (2011)

К вопросу о существовании полиномиально приближенных схем для реоптимизации дискретных задач оптимизации
von: Михайлюк, В.А.
Veröffentlicht: (2011)

Новые клеточные методы умножения матриц
von: Елфимова, Л.Д.
Veröffentlicht: (2013)

Исследование однотипных структурных элементов CN-сети в процессе компонентного моделирования и анализа сложной системы с параллелизмом
von: Лукьянова, Е.А., et al.
Veröffentlicht: (2012)

Информационная технология анализа мимических проявлений эмоциональных состояний человека
von: Кривонос, Ю.Г., et al.
Veröffentlicht: (2015)

Распознавание действий медицинских работников на основе показателей акселерометров с использованием глубинной сети убеждений
von: Галкин, А.А.
Veröffentlicht: (2016)

Метод автоматического построения онтологических баз знаний. I. Разработка семантико-синтаксической модели естественного языка
von: Марченко, А.А.
Veröffentlicht: (2016)

Специализированные клеточные структуры для контурного анализа изображений
von: Белан, С.Н.
Veröffentlicht: (2011)

О сложности анализа автоматов над конечным кольцом
von: Скобелев, В.В., et al.
Veröffentlicht: (2010)

Теоретические основы анализа помехи и помехопрогноза аварий
von: Алиев, Т.А.
Veröffentlicht: (2008)

Адаптивный отбор образцов при измерении параметров трафика компьютерной сети с использованием нечеткого регулятора и нейронной сети
von: Гиертл, Ю., et al.
Veröffentlicht: (2008)

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

Методы распознавания групповой принадлежности, основанные на доверительных границах, и их апробация в клинической онкологии
von: Петунин, Ю.И., et al.
Veröffentlicht: (2009)

Математические методы геоинформатики. III. Нечеткие сравнения и распознавание аномалий на временных рядах
von: Гвишиани, А.Д., et al.
Veröffentlicht: (2008)

Асимптотическая стохастическая устойчивость решений динамических систем с последействием с учетом марковских возмущений
von: Антонюк, С.В., et al.
Veröffentlicht: (2013)

Моделирование мультиагентных систем с помощью обобщенных сетей активных ресурсов
von: Башкин, В.А., et al.
Veröffentlicht: (2011)

Формальные соотношения в страховании
von: Шептура, А.А.
Veröffentlicht: (2009)

Формальные модели компонентного программирования
von: Грищенко, В.Н.
Veröffentlicht: (2003)

Теоретические основы, методы и процессоры преобразования информации в кодах поля Галуа на базе вертикально-информационной технологии
von: Николайчук, Я.Н., et al.
Veröffentlicht: (2014)