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

Свойства предикатного трансформера системы VRS

Розглянуто моделі, записані в мові базових протоколів. Вони є атрибутними транзиційними системами, а їх стани задаються формулами багатосортного числення предикатів першого порядку над атрибутами системи. Допускаються атрибути простих числових символьних типів, функціональних типів, а також черги. В...

Повний опис

Збережено в:

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

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

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

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

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

Кибер-физические системы
за авторством: Летичевский, А.А., та інші
Опубліковано: (2017)

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

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

Нечеткие системы логического вывода и их применение
за авторством: Провотар, А.И., та інші
Опубліковано: (2013)

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

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

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

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

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

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

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

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

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

Satisfiability For Symbolic Verification in VRS
за авторством: A. Letichevsky, та інші
Опубліковано: (2013)

Satisfiability For Symbolic Verification in VRS
за авторством: Letichevsky, A., та інші
Опубліковано: (2013)

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

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

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

Условия единственности решения неоднородной системы нелинейных случайных уравнений над полем GF(3)
за авторством: Масол, В.И., та інші
Опубліковано: (2010)

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

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

Новые доказательства важных теорем бестипового экстенсионального λ–исчисления
за авторством: Лялецкий, А.А.
Опубліковано: (2014)

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

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

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

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

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

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

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

Problem of identity: massivization vrs. individualization
за авторством: L. A. Usanova
Опубліковано: (2017)

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

Порождение корневых функционалов системы полиномов
за авторством: Сейфуллин, Т.Р.
Опубліковано: (2008)

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

Задача проверки Т-выполнимости для логического языка VL1 системы VRS
за авторством: Тимофеев, В.Г.
Опубліковано: (2012)

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

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