Cover Image

Об алгоритмах представления транзиционных систем с помощью бинарных диаграмм решений

Под реактивной системой понимается система, состоящая из нескольких компонент-объектов, взаимодействующих между собой и с окружающей их средой. Класс реактивных систем включает операционные системы, мультипрограммные среды, параллельные и распределенные дискретные системы, дискретн...

Full description

Saved in:

Bibliographic Details
Date:	2004
ISSN:	1727-4907
Main Author:	Багрий, Р.О.
Format:	Article
Language:	Russian
Published:	Інститут програмних систем НАН України 2004
Subjects:	Формальные методы в программировании
Online Access:	https://nasplib.isofts.kiev.ua/handle/123456789/1680
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:	Об алгоритмах представления транзиционных систем с помощью бинарных диаграмм решений /Р.О.Багрий // Проблеми програмування. — 2004. — N 2,3. — С. 89-94. — Бібліогр.: 8 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Similar Items

Автоматическая система анализа и верификации телекоммуникационной системы, описанной на языке MSC, с помощью формализма сетей Петри
by: Матвеева, Л.Е.
Published: (2004)

Нечіткий трансформаційний підхід до розробки програмних систем
by: Сергієнко, І.В., et al.
Published: (2004)

Булева оптимизация алгоритмов решения систем линейных диофантовых уравнений
by: Лопатина, М.В.
Published: (2004)

Реализация алгоритма преобразования неординарной сети Петри в ординарную
by: Усатюк, О.В., et al.
Published: (2004)

Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics
by: Bača, J., et al.
Published: (2004)

О реализации вычислений в задачах анализа программ, определенных над векторными пространствами
by: Львов, С.М.
Published: (2004)

Синтез автомата, специфицированного множеством дизъюнктов
by: Чеботарев, А.Н.
Published: (2003)

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

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

О логике независимости каузальных диаграмм
by: Балабанов, А.С.
Published: (2009)

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

О выборе начального приближения в итерационных алгоритмах решения уравнения X − AᵀX⁻¹A = Q
by: Ларин, В.Б.
Published: (2011)

Об использовании особых структур данных в алгоритмах покрытия
by: Паулин, О.Н., et al.
Published: (2020)

Динамический выбор размерности опорной функции в вероятностных алгоритмах МГУА на основе внешнего дополнения
by: Жиляев, С.А.
Published: (2011)

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

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

Асимптотические представления решений одного класса систем квазилинейных дифференциальных уравнений
by: Евтухов, В.М., et al.
Published: (2003)

Метод аналитического представления экспериментальных зависимостей
by: Костьян, Н.Л., et al.
Published: (2013)

Об односторонних нулях подмножеств полугруппы бинарных отношений
by: Диасамидзе, Я.И.
Published: (1990)

Полиномиальное со отношение для представления полной реакции 3D-нелинейных модулярных динамических систем
by: Фейзиев, Ф.Г., et al.
Published: (2011)

Об одной модификации алгоритма оценивания параметров линейной регрессии с помощью эллипсоидов
by: Сальников, Н.Н.
Published: (2012)

Описание параллелизма в алгоритмах информационно-управляющих систем средствами алгебраического аппарата
by: Акуловский, В.Г., et al.
Published: (2013)

Об ограниченной взаимной растворимости компонентов в расплавах бинарных металлических систем монотектического типа
by: Христенко, В.В., et al.
Published: (2012)

Влияние способа разбиения выборки в алгоритмах метода группового учета аргументов на адекватность критерия внешнего дополнения
by: Кондрашова, Н.В.
Published: (2015)

Эквивалентное представление моделей сложных дискретных систем с помощью алгебры процессов
by: Нестеренко, Б.Б., et al.
Published: (2008)

Диверсифікація пошуку в алгоритмах оптимізації мурашиними колоніями
by: Гуляницький, Л.Ф.
Published: (2017)

Генетична оптимізація рою часток у метафоричних алгоритмах
by: Горда, О.В., et al.
Published: (2023)

О пассивных и активных алгоритмах восстановления функций
by: Корнейчук, Н.П.
Published: (1993)

Автоматическое резюмирование текстовых документов с помощью кластеризации предложений
by: Алгулиев, Р.М., et al.
Published: (2008)

Алгоритм построения диаграмм Вороного с оптимальным размещением точек–генераторов на основе теории оптимального разбиения множеств
by: Киселева, Е.М., et al.
Published: (2020)

Стадийность «истинных» диаграмм нагружения
by: Дерюгин, Е.Е., et al.
Published: (2011)

Формирование отражающих сходство бинарных векторов с использованием случайных бинарных проекций
by: Рачковский, Д.А.
Published: (2015)

Об эффективных алгоритмах обработки, кодирования и шифрования данных на абонентских системах беспроводных сетей
by: Шевчук, Б.М.
Published: (2012)

Асимптотические представления решений одного класса нелинейных дифференциальных уравнений второго порядка
by: Шлепаков, О.Р.
Published: (2015)

Асимптотические представления решений нелинейных дифференциальных уравнений третьего порядка
by: Шарай, Н.В., et al.
Published: (2015)

Асимптотические представления решений существенно нелинейных систем обыкновенных дифференциальных уравнений с правильно и быстро меняющимися нелинейностями
by: Евтухов, В.М., et al.
Published: (2012)

Помехоустойчивое префиксное кодирование с помощью нижнего (2,3)-представления чисел
by: Анисимов, А.В., et al.
Published: (2014)

Электропроводность расплавов бинарных систем тиоцианат щелочного металла - краун-эфир
by: Присяжный, В.Д., et al.
Published: (1992)

Фазовые диаграммы бинарных систем каприлатов цинка, кадмия и свинца
by: Мирная, Т.А., et al.
Published: (2013)

Эффективность фильтрации в статистических алгоритмах быстрого поиска гомологии
by: Певзнер, П.А.
Published: (1990)