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

Автоматический метод динамического построения абстракций состояний формальной модели

Описано метод побудови абстракцій для підвищення ефективності перевірки формальних моделей. Послаблення відношення еквівалентності станів досягається за рахунок ігнорування незначущих значень атрибутів. Результати експериментів продемонстрували на деяких прикладах зменшення складності виконання пере...

Повний опис

Збережено в:

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

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

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

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

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

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

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

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

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

Диалог как основа построения речевых систем
за авторством: Мещеряков, Р.В., та інші
Опубліковано: (2008)

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

Построение формальной модели вопросно-ответного взаимодействия пользователя с автоматизированной системой
за авторством: Верлань, А.Ф., та інші
Опубліковано: (2014)

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

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

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

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

Кронекеровы (тензорные) модели нечетко-множественных гранул
за авторством: Минаев, Ю.Н., та інші
Опубліковано: (2014)

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

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

Теория непрерывных задач оптимального разбиения множеств как универсальный математический аппарат построения диаграммы Вороного и ее обобщений. I. Теоретические основы
за авторством: Киселева, Е.М., та інші
Опубліковано: (2015)

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

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

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

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

Математические модели борьбы партий за электорат или компаний за рынки сбыта
за авторством: Остапенко, В.В., та інші
Опубліковано: (2012)

Информационно-экстремальный метод классификации наблюдений с категориальными признаками
за авторством: Довбыш, А.С., та інші
Опубліковано: (2016)

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

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

Адаптивный метод гибридного обучения эволюционирующей нейро-фаззи системы
за авторством: Бодянский, Е.В., та інші
Опубліковано: (2015)

О скорости сходимости в асимптотическом разложении для эргодического распределения полумарковской модели управления типа (s, S)
за авторством: Алиев, Р.Т., та інші
Опубліковано: (2012)

Метод построения модели гарантированного развития предприятия
за авторством: Равецки, Я.
Опубліковано: (2009)

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

Структурные модели алгоритмов в задачах прикладного программирования. II. Структурно-алгоритмический подход к моделированию программного обеспечения
за авторством: Шинкаренко, В.И., та інші
Опубліковано: (2009)

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

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

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

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

Алгеброалгоритмические аспекты полноты: абстракции, биология и экология
за авторством: Цейтлин, Г.Е., та інші
Опубліковано: (2008)

Автоматический контроль физических параметров монет
за авторством: Бех, А.Д., та інші
Опубліковано: (2004)

Новый подход к декомпозиции булевых функций. 4. Неразделительная декомпозиция: метод p,q-разбиения
за авторством: Рыцар, Б.Е.
Опубліковано: (2009)

Алгебро-алгоритмические аспекты полноты: абстракции, биология и экология
за авторством: Цейтлин, Г.Е.
Опубліковано: (2008)