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: (2012)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Сложность семейств алгоритмов обучения и оценивание неслучайности извлечения эмпирических закономерностей
von: Донской, В.И.
Veröffentlicht: (2012)

Структурные модели алгоритмов в задачах прикладного программирования. I. Формальные алгоритмические структуры
von: Шинкаренко, В.И., et al.
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: (2010)

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

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

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

Точное число эллиптических кривых в канонической форме, изоморфных кривым Эдвардса над простым полем
von: Бессалов, А.В., et al.
Veröffentlicht: (2015)

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

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

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

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