Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

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

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

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

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

Генерация тестовых сценариев на основе формальной модели
von: Летичевский, А.А., et al.
Veröffentlicht: (2010)

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

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

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

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

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

Диалог как основа построения речевых систем
von: Мещеряков, Р.В., et al.
Veröffentlicht: (2008)

Операционное формирование кодов состояний в микропрограммных автоматах
von: Баркалов, А.А., et al.
Veröffentlicht: (2011)

Построение формальной модели вопросно-ответного взаимодействия пользователя с автоматизированной системой
von: Верлань, А.Ф., et al.
Veröffentlicht: (2014)

Метод идентификации динамического объекта посредством интегральной модели
von: Сытник, А.А., et al.
Veröffentlicht: (2016)

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

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

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

Кронекеровы (тензорные) модели нечетко-множественных гранул
von: Минаев, Ю.Н., et al.
Veröffentlicht: (2014)

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

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

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

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

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

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

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

Математические модели борьбы партий за электорат или компаний за рынки сбыта
von: Остапенко, В.В., et al.
Veröffentlicht: (2012)

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

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

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

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

Метод построения модели гарантированного развития предприятия
von: Равецки, Я.
Veröffentlicht: (2009)

О скорости сходимости в асимптотическом разложении для эргодического распределения полумарковской модели управления типа (s, S)
von: Алиев, Р.Т., et al.
Veröffentlicht: (2012)

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

Метод автоматической классификации на базе нечеткого отношения сходства
von: Гуляницкий, Л.Ф., et al.
Veröffentlicht: (2016)

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

Метод декодирования помехоустойчивого кода переменной длины на основе конечных автоматов
von: Завадский, И.А.
Veröffentlicht: (2015)

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

Алгеброалгоритмические аспекты полноты: абстракции, биология и экология
von: Цейтлин, Г.Е., et al.
Veröffentlicht: (2008)

Глубинный метод классификации на основе удаленной меры концентрации для обработки асимметричных данных
von: Галкин, А.А.
Veröffentlicht: (2016)

Автоматический контроль физических параметров монет
von: Бех, А.Д., et al.
Veröffentlicht: (2004)

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

Алгебро-алгоритмические аспекты полноты: абстракции, биология и экология
von: Цейтлин, Г.Е.
Veröffentlicht: (2008)