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

Композиционный подход к проектированию реактивных алгоритмов

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

Повний опис

Збережено в:

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

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

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

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

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

Системный подход к проектированию автоматизированных систем обработки информации и управления
за авторством: Путятин, В.Г., та інші
Опубліковано: (2007)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Новый подход к декомпозиции булевых функций. 4. Неразделительная декомпозиция: метод p,q-разбиения
за авторством: Рыцар, Б.Е.
Опубліковано: (2009)

Подход к определению эффективных признаков и синтезу оптимального полосно-разделяющего классификатора для элементов дактильно-жестовой речи
за авторством: Крак, Ю.В., та інші
Опубліковано: (2016)

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

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

Построение экспоненциальной оценки в компартментной системе с распределенными запаздываниями: подход на основе неравенства Хейла–Лунелла
за авторством: Марценюк, В.П., та інші
Опубліковано: (2013)

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

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

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

Об одном подходе к проектированию алгебраических типов данных
за авторством: Песчаненко, В.С.
Опубліковано: (2006)

Технологический подход к проектированию параллельной обработки / М.К. Буза // Штучний інтелект. — 2008. — № 3. — С. 619-625. — Бібліогр.: 3 назв. — рос.
за авторством: Буза, М.К.
Опубліковано: (2008)

Новый ультратвердый поликристаллический композиционный материал
за авторством: Шульженко, А.А., та інші
Опубліковано: (2009)

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

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

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

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

Памяти академика А.А. Дородницына — к 100-летию со дня рождения
за авторством: Евтушенко, Ю.Г.
Опубліковано: (2010)

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

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

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

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

Верификация программ: состояние, проблемы, результаты. I
за авторством: Крывый, С.Л., та інші
Опубліковано: (2013)