Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Кибернетика и системный анализ
Datum:	2010
Hauptverfasser:	Летичевский, А.А., Годлевский, А.Б., Летичевский, А.А. (мл.), Потиенко, С.В., Песчаненко, В.С.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут кібернетики ім. В.М. Глушкова НАН України 2010
Schlagworte:	Кибернетика
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/45239
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:	Свойства предикатного трансформера системы VRS / А.А. Летичевский, А.Б. Годлевский, А.А. Летичевский (мл.), С.В. Потиенко, В.С. Песчаненко // Кибернетика и системный анализ. — 2010. — № 4. — С. 3-16. — Бібліогр.: 19 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

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

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

Алгоритм Очевидности Глушкова
von: Летичевский, А.А., et al.
Veröffentlicht: (2013)

Алгоритм трансляции APLAN-кода
von: Летичевский, А.А., et al.
Veröffentlicht: (2010)

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

Обзор современных систем и методов верификации формальных моделей
von: Колчин, А.В., et al.
Veröffentlicht: (2012)

Кибер-физические системы
von: Летичевский, А.А., et al.
Veröffentlicht: (2017)

Алгебраическая теория взаимодействия и киберфизические системы
von: Летичевский, А.А.
Veröffentlicht: (2017)

Система доказательного программирования
von: Летичевский, А.А. (мл.), et al.
Veröffentlicht: (2012)

Нечеткие системы логического вывода и их применение
von: Провотар, А.И., et al.
Veröffentlicht: (2013)

Эксперименты с дедуктивным тестированием реактивных систем
von: Летичевский, А.А. (мл.)
Veröffentlicht: (2013)

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

Методика разработки и средства формализации функциональных спецификаций систем и устройств
von: Годлевский, А.Б., et al.
Veröffentlicht: (2016)

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

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

Информационная технология прогноза функционального состояния сердечно-сосудистой системы
von: Кочина, М.Л., et al.
Veröffentlicht: (2012)

Пропозиційні логіки часткових предикатів з композицією предикатного доповнення
von: Нікітченко, М.С., et al.
Veröffentlicht: (2019)

Satisfiability For Symbolic Verification in VRS
von: A. Letichevsky, et al.
Veröffentlicht: (2013)

Satisfiability For Symbolic Verification in VRS
von: Letichevsky, A., et al.
Veröffentlicht: (2013)

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

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

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

Неклассические свойства пространства дискретных геометрий
von: Григорьян, Ю.Г.
Veröffentlicht: (2009)

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

Условия единственности решения неоднородной системы нелинейных случайных уравнений над полем GF(3)
von: Масол, В.И., et al.
Veröffentlicht: (2010)

Исследование однотипных структурных элементов CN-сети в процессе компонентного моделирования и анализа сложной системы с параллелизмом
von: Лукьянова, Е.А., et al.
Veröffentlicht: (2012)

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

Эквивалентность двумерных многоленточных автоматов
von: Григорян, А.А., et al.
Veröffentlicht: (2008)

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

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

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

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

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

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

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

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

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

Problem of identity: massivization vrs. individualization
von: L. A. Usanova
Veröffentlicht: (2017)

Порождение корневых функционалов системы полиномов
von: Сейфуллин, Т.Р.
Veröffentlicht: (2008)

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