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

Предикатные преобразователи в контексте символьного моделирования транзиционных систем

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

Повний опис

Збережено в:

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

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

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

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

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

Рекурсия и параллельные алгоритмы в задачах геометрического моделирования
за авторством: Терещенко, В.Н., та інші
Опубліковано: (2010)

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

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

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

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

Применение ускоренного моделирования к оценке количества некоторых k-мерных подпространств над конечным полем
за авторством: Масол, В.И., та інші
Опубліковано: (2010)

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

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

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

Идентификация моделей и оценка состояния Grid-систем
за авторством: Лавренюк, С.И., та інші
Опубліковано: (2009)

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

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

Моделирование мультиагентных систем с помощью обобщенных сетей активных ресурсов
за авторством: Башкин, В.А., та інші
Опубліковано: (2011)

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

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

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

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

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

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

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

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

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

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

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

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

Эквивалентность регулярных выражений в частично коммутативном алфавите
за авторством: Шукурян, А.С.
Опубліковано: (2009)

Формирование минимальных d-сепараторов в системе зависимостей
за авторством: Балабанов, А.С.
Опубліковано: (2009)

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

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

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

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

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

Условия разрешимости для вариационно-подобных неравенств
за авторством: Шамрай, Н.Б.
Опубліковано: (2008)

Моделирование механизма финансового выравнивания на примере межбюджетных отношений в Украине
за авторством: Гудыма, А.В.
Опубліковано: (2013)

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

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