Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2004
1. Verfasser:	Багрий, Р.О.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут програмних систем НАН України 2004
Schlagworte:	Формальные методы в программировании
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/1680
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:	Об алгоритмах представления транзиционных систем с помощью бинарных диаграмм решений /Р.О.Багрий // Проблеми програмування. — 2004. — N 2,3. — С. 89-94. — Бібліогр.: 8 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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