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

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

Запропоновано метод проектування складних автоматів за їх композиційною специфікацією мовою 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)

Функционально-модульный подход к проектированию устройств СВЧ и КВЧ
за авторством: Лейбман, А.М.
Опубліковано: (1998)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Процесс коммуникации в клинической диагностике. Семиотический подход
за авторством: Долгополов, И.Н.
Опубліковано: (2009)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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