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/45246
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. — С. 91-99. — Бібліогр.: 7 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

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

Методы прямого и обратного символьного моделирования систем, заданных базовыми протоколами
von: Потиенко, С.В.
Veröffentlicht: (2008)

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

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

Рекурсия и параллельные алгоритмы в задачах геометрического моделирования
von: Терещенко, В.Н., et al.
Veröffentlicht: (2010)

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

Свойства предикатного трансформера системы VRS
von: Летичевский, А.А., et al.
Veröffentlicht: (2010)

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

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

Применение ускоренного моделирования к оценке количества некоторых k-мерных подпространств над конечным полем
von: Масол, В.И., et al.
Veröffentlicht: (2010)

Об алгоритмах представления транзиционных систем с помощью бинарных диаграмм решений
von: Багрий, Р.О.
Veröffentlicht: (2004)

Алгоритмы обучения нейронных сетей и нейро-фаззи систем c сепарабельной структурой
von: Скороход, Б.А.
Veröffentlicht: (2015)

Система сущностей бизнес-моделей организационных систем
von: Маслянко, П.П., et al.
Veröffentlicht: (2012)

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

Идентификация моделей и оценка состояния Grid-систем
von: Лавренюк, С.И., et al.
Veröffentlicht: (2009)

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

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

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

Моделирование мультиагентных систем с помощью обобщенных сетей активных ресурсов
von: Башкин, В.А., et al.
Veröffentlicht: (2011)

Формальные методы анализа дискретных систем с использованием языка спецификаций
von: Крывый, С.Л., et al.
Veröffentlicht: (2009)

Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри
von: Визовитин, Н.В., et al.
Veröffentlicht: (2015)

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

Асимптотическая стохастическая устойчивость решений динамических систем с последействием с учетом марковских возмущений
von: Антонюк, С.В., et al.
Veröffentlicht: (2013)

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

Робастная диссипативность дискретных систем и ее исследование с помощью последовательности множеств функций Ляпунова
von: Лычак, М.М.
Veröffentlicht: (2008)

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

Диффузные алгоритмы обучения нейронных сетей прямого распространения
von: Скороход, Б.А
Veröffentlicht: (2013)

Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L
von: Чеботарев, А.Н.
Veröffentlicht: (2010)

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

Представление чисел в двухбазисных системах счисления
von: Анисимов, А.В.
Veröffentlicht: (2013)

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

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

Эквивалентность регулярных выражений в частично коммутативном алфавите
von: Шукурян, А.С.
Veröffentlicht: (2009)

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

Формирование минимальных d-сепараторов в системе зависимостей
von: Балабанов, А.С.
Veröffentlicht: (2009)

Представление чисел в смешанном базисе (2, 3)
von: Анисимов, А.В.
Veröffentlicht: (2009)

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

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

Построение гамильтонова пути в графах перестановочных многогранников
von: Донец, Г.А., et al.
Veröffentlicht: (2010)

Частный случай разрешающего полинома
von: Павленко, В.Б.
Veröffentlicht: (2015)