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

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

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

Повний опис

Збережено в:

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

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

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

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

Условия единственности решения неоднородной системы нелинейных случайных уравнений над полем GF(3)
за авторством: Масол, В.И., та інші
Опубліковано: (2010)

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

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

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

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

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

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

Согласование взаимодействующих автоматов
за авторством: Чеботарев, А.Н.
Опубліковано: (2015)

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

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

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

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

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

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

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

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

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

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

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

О сложности анализа автоматов над конечным кольцом
за авторством: Скобелев, В.В., та інші
Опубліковано: (2010)

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

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

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

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

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

Нисходящее проектирование алгоритмов в рамках алгеброалгоритмического подхода
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2012)

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

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

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

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

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

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

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

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

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

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

Распараллеливание алгоритмов решения СЛАУ
за авторством: Карпенко, Є.Ю., та інші
Опубліковано: (2012)