Зображення обкладинки

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Кибернетика и системный анализ
Дата:	2009
Автори:	Крывый, С.Л., Чугаенко, А.В.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2009
Теми:	Кибернетика
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/44382
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Формальные методы анализа дискретных систем с использованием языка спецификаций/ С.Л. Крывый, А.В. Чугаенко // Кибернетика и системный анализ. — 2009. — № 4. — С. 31-48. — Бібліогр.: 13 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри
за авторством: Визовитин, Н.В., та інші
Опубліковано: (2015)

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

Методика разработки и средства формализации функциональных спецификаций систем и устройств
за авторством: Годлевский, А.Б., та інші
Опубліковано: (2016)

Комбинаторный метод решения систем линейных ограничений
за авторством: Крывый, С.Л.
Опубліковано: (2014)

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

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

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

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

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

Усовершенствованный метод синтеза автомата по его спецификации в языке L
за авторством: Тимофеев, В.Г., та інші
Опубліковано: (2011)

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

Конечные автоматы в информационных технологиях
за авторством: Крывый, С.Л.
Опубліковано: (2011)

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

Алгоритмы генерации базовой точки кривой Эдвардса с использованием критериев делимости точки
за авторством: Ковальчук, Л.В., та інші
Опубліковано: (2016)

Метод вычисления семантической близости-связности между словами естественного языка
за авторством: Анисимов, А.В., та інші
Опубліковано: (2011)

Верификация программ: состояние, проблемы, результаты. II
за авторством: Крывый, С.Л., та інші
Опубліковано: (2014)

Верификация программ: состояние, проблемы, результаты. I
за авторством: Крывый, С.Л., та інші
Опубліковано: (2013)

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

Новые клеточные методы умножения матриц
за авторством: Елфимова, Л.Д.
Опубліковано: (2013)

Исследование однотипных структурных элементов CN-сети в процессе компонентного моделирования и анализа сложной системы с параллелизмом
за авторством: Лукьянова, Е.А., та інші
Опубліковано: (2012)

Информационная технология анализа мимических проявлений эмоциональных состояний человека
за авторством: Кривонос, Ю.Г., та інші
Опубліковано: (2015)

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

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

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

О сложности анализа автоматов над конечным кольцом
за авторством: Скобелев, В.В., та інші
Опубліковано: (2010)

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

Математические методы геоинформатики. III. Нечеткие сравнения и распознавание аномалий на временных рядах
за авторством: Гвишиани, А.Д., та інші
Опубліковано: (2008)

Формальные соотношения в страховании
за авторством: Шептура, А.А.
Опубліковано: (2009)

Формальные модели компонентного программирования
за авторством: Грищенко, В.Н.
Опубліковано: (2003)

Формальные и неархимедовы структуры динамических систем на многообразиях
за авторством: Харченко, В.П., та інші
Опубліковано: (2019)

Асимптотическая стохастическая устойчивость решений динамических систем с последействием с учетом марковских возмущений
за авторством: Антонюк, С.В., та інші
Опубліковано: (2013)

Моделирование мультиагентных систем с помощью обобщенных сетей активных ресурсов
за авторством: Башкин, В.А., та інші
Опубліковано: (2011)

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

Классификация поражений глазодвигательных мышц с использованием аппарата нечеткой логики
за авторством: Кочина, М.Л., та інші
Опубліковано: (2011)

Решение проблемы инвариантности вероятностных характеристик заведомо совместных систем случайных нелинейных уравнений над конечным коммутативным кольцом с единицей
за авторством: Левитская, А.А.
Опубліковано: (2010)

Система сущностей бизнес-моделей организационных систем
за авторством: Маслянко, П.П., та інші
Опубліковано: (2012)

Идентификация моделей и оценка состояния Grid-систем
за авторством: Лавренюк, С.И., та інші
Опубліковано: (2009)

Парадигмы модельного и символьного тестирования программных систем
за авторством: Летичевский, А.А. (мл.)
Опубліковано: (2015)

Формальные основы интероперабельности компонентов в программировании
за авторством: Лаврищева, Е.М.
Опубліковано: (2010)

Оценка структуры связей между функциональными показателями операторов при зрительном труде с использованием факторных моделей
за авторством: Евтушенко, А.С., та інші
Опубліковано: (2016)