Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

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

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

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

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

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

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

Методический подход к проектированию структуры автоматизированнойсистемы управления организационного типа
von: Самохвалов, Ю.Я., et al.
Veröffentlicht: (2009)

Системный подход к проектированию автоматизированных систем обработки информации и управления
von: Путятин, В.Г., et al.
Veröffentlicht: (2007)

Методологический подход к проектированию и изготовлению изделий из высокопрочных углепластиков
von: Шилина, Е.В., et al.
Veröffentlicht: (2016)

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

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

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

Анализ фиктивности состояний автомата, синтезированного по спецификации, преобразованной из языка 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: Шинкаренко, В.И., et al.
Veröffentlicht: (2015)

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

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

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

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

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

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

Процесс коммуникации в клинической диагностике. Семиотический подход
von: Долгополов, И.Н.
Veröffentlicht: (2009)

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

Подход к определению эффективных признаков и синтезу оптимального полосно-разделяющего классификатора для элементов дактильно-жестовой речи
von: Крак, Ю.В., et al.
Veröffentlicht: (2016)

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

Знание-ориентированный подход к адаптации алгоритмов
von: Шинкаренко, В.И.
Veröffentlicht: (2008)

Построение экспоненциальной оценки в компартментной системе с распределенными запаздываниями: подход на основе неравенства Хейла–Лунелла
von: Марценюк, В.П., et al.
Veröffentlicht: (2013)

Композиционный подход к описанию твердорастворного упрочнения в бинарных растворах с неограниченной растворимостью компонентов
von: Фирстов, С.А., et al.
Veröffentlicht: (2018)

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

Подходы к проектированию и совершенствованию систем управления предприятием
von: Курносова, А.В.
Veröffentlicht: (2011)

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

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

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

Новый ультратвердый поликристаллический композиционный материал
von: Шульженко, А.А., et al.
Veröffentlicht: (2009)

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

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

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