Buchumschlag

Проектирование реактивных алгоритмов путем решения уравнений над автоматами

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Кибернетика и системный анализ
Datum:	2012
1. Verfasser:	Чеботарев, А.Н.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут кібернетики ім. В.М. Глушкова НАН України 2012
Schlagworte:	Кибернетика
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/84120
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:	Проектирование реактивных алгоритмов путем решения уравнений над автоматами / А.Н. Чеботарев // Кибернетика и системный анализ. — 2012. — Т. 48, № 4. — С. 3-13. — Бібліогр.: 9 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Композиционный подход к проектированию реактивных алгоритмов
von: Чеботарев, А.Н.
Veröffentlicht: (2013)

Доказательное проектирование алгоритмов функционирования реактивных систем
von: Чеботарев, А.Н., et al.
Veröffentlicht: (2008)

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

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

Обзор генетических алгоритмов образования ниш для решения задач многоэкстремальной оптимизации
von: Глибовец, Н.Н., et al.
Veröffentlicht: (2013)

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

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

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

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

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

Согласование взаимодействующих автоматов
von: Чеботарев, А.Н.
Veröffentlicht: (2015)

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

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

О классе формул языка L*, специфицирующих автоматы с конечной памятью
von: Чеботарев, А.Н.
Veröffentlicht: (2010)

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

Моделирование автоматов над конечным кольцом автоматами с конечной памятью
von: Скобелев, В.В.
Veröffentlicht: (2012)

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

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

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

Построение оптимальных алгоритмов массовых вычислений в задачах цифровой фильтрации
von: Анисимов, А.В., et al.
Veröffentlicht: (2008)

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

Усовершенствованный метод синтеза автомата по его спецификации в языке L
von: Тимофеев, В.Г., et al.
Veröffentlicht: (2011)

О сложности анализа автоматов над конечным кольцом
von: Скобелев, В.В., et al.
Veröffentlicht: (2010)

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

Структурные модели алгоритмов в задачах прикладного программирования. II. Структурно-алгоритмический подход к моделированию программного обеспечения
von: Шинкаренко, В.И., et al.
Veröffentlicht: (2009)

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

О двух типах нелинейных автоматов над конечным кольцом
von: Скобелев, В.В.
Veröffentlicht: (2009)

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

Нисходящее проектирование алгоритмов в рамках алгеброалгоритмического подхода
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2012)

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

Верхние и нижние оценки количества некоторых k-мерных подпространств заданного веса над конечным полем
von: Кузнецов, И.Н.
Veröffentlicht: (2010)

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

Помехоустойчивый алгоритм решения проблемы нечеткой кластеризации на базе метода нечетких связанных точек
von: Насибов, Э.Н.
Veröffentlicht: (2008)

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

Двумерные стационарные структуры в параболическом уравнении с отражением пространственных переменных
von: Белан, Е.П.
Veröffentlicht: (2011)

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

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

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

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

Распараллеливание алгоритмов решения СЛАУ
von: Карпенко, Є.Ю., et al.
Veröffentlicht: (2012)