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

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

Цель предлагаемого метода – сократить исследуемое пространство поведения формальных моделей, и, как следствие, повысить эффективность анализа ее свойств. В основу метода положен алгоритм статического символьного анализа предусловий переходов модели. The objective of the proposed method is to reduce...

Повний опис

Збережено в:

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

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

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

Застосування системи ПАРКС.NET в Docker контейнерах та Google Cloud Platform для розподілених хмарних обчислень
за авторством: Анісімов, А.В., та інші
Опубліковано: (2018)

Принципи та підходи до формування ансамблів класифікаторів на підставі агрегатування їх результатів
за авторством: Бармак, О.В., та інші
Опубліковано: (2018)

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

Швидке обчислення циклічної згортки багаторозрядних чисел на основі ШПФ у паралельній моделі обчислень
за авторством: Терещенко, А.М., та інші
Опубліковано: (2016)

Модель імуносенсора на основі решітчастих диференціальних рівнянь із запізненням
за авторством: Марценюк, В.П., та інші
Опубліковано: (2018)

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

Параллельное сложение на основе векторных операций
за авторством: Терещенко, А.Н., та інші
Опубліковано: (2018)

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

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

Про комбінаторні числа та симетрію в біології
за авторством: Тимофієва, Н.К
Опубліковано: (2018)

Testing simple neuron models with dendrites for sparse binary image representation
за авторством: Osaulenko, V.M.
Опубліковано: (2017)

Про природу скінченних та нескінченних комбінаторних множин
за авторством: Тимофієва, Н.К.
Опубліковано: (2017)

Двофазовий меметичний алгоритм забезпечення групової анонімності даних
за авторством: Тавров, Д.Ю., та інші
Опубліковано: (2015)

Синтез оптимальної структури глибокої нейронної мережі
за авторством: Коваль, Д.Ю., та інші
Опубліковано: (2016)

7-значнi логіки та логіки загальних недетермінованих предикатів
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2018)

Повнота секвенційних числень модальних логік немонотонних часткових предикатів
за авторством: Шкільняк, О.С., та інші
Опубліковано: (2016)

Алгоритм опису яружних цільових функцій
за авторством: Трофимчук, О.М., та інші
Опубліковано: (2015)

Побудова найкращих чебишовських наближень сплайнами
за авторством: Вакал, Л.П.
Опубліковано: (2017)

Знакові комбінаторні простори та штучний інтелект
за авторством: Тимофієва, Н.К.
Опубліковано: (2015)

Механизм повышения эффективности сжатия данных
за авторством: Буза, М.К.
Опубліковано: (2016)

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

Анализ структуры атрибутных транзиционных систем без скрытых переходов
за авторством: Скобелев, В.В.
Опубліковано: (2017)

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

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

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

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

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

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

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

Теория избыточных измерений
за авторством: Кондратов, В.Т.
Опубліковано: (2006)

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

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

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

Javachecker: статический анализ программных комплексов с помощью переписывающих правил
за авторством: Шевченко, Р.
Опубліковано: (2004)

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

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

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

Нейрон на основі адаптивного нечіткого перетворення для сучасних моделей штучних нейронних мереж
за авторством: Бодянський, Є.В., та інші
Опубліковано: (2023)