Композиционный подход к проектированию реактивных алгоритмов
Запропоновано метод проектування складних автоматів за їх композиційною специфікацією мовою L. Композиційна специфікація складається із специфікацій автоматних модулів та зв’язків між ними. Автомат, що синтезується, одержується шляхом з’єднання графів переходів модулів, синтезованих за їх специфікац...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2013 |
| Main Author: | Чеботарев, А.Н. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2013
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/86267 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Композиционный подход к проектированию реактивных алгоритмов / А.Н. Чеботарев // Кибернетика и системный анализ. — 2013. — Т. 49, № 5. — С. 14-27. — Бібліогр.: 15 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Проектирование реактивных алгоритмов путем решения уравнений над автоматами
by: Чеботарев, А.Н.
Published: (2012)
by: Чеботарев, А.Н.
Published: (2012)
Доказательное проектирование алгоритмов функционирования реактивных систем
by: Чеботарев, А.Н., et al.
Published: (2008)
by: Чеботарев, А.Н., et al.
Published: (2008)
Структурные модели алгоритмов в задачах прикладного программирования. II. Структурно-алгоритмический подход к моделированию программного обеспечения
by: Шинкаренко, В.И., et al.
Published: (2009)
by: Шинкаренко, В.И., et al.
Published: (2009)
Методический подход к проектированию структуры автоматизированнойсистемы управления организационного типа
by: Самохвалов, Ю.Я., et al.
Published: (2009)
by: Самохвалов, Ю.Я., et al.
Published: (2009)
Системный подход к проектированию автоматизированных систем обработки информации и управления
by: Путятин, В.Г., et al.
Published: (2007)
by: Путятин, В.Г., et al.
Published: (2007)
Методологический подход к проектированию и изготовлению изделий из высокопрочных углепластиков
by: Шилина, Е.В., et al.
Published: (2016)
by: Шилина, Е.В., et al.
Published: (2016)
Подход к оценке сложности в среднем постоптимального анализа дискретных задач оптимизации
by: Михайлюк, В.А.
Published: (2011)
by: Михайлюк, В.А.
Published: (2011)
О вычислительной стойкости квантовых алгоритмов преобразования информации
by: Скобелев, В.Г.
Published: (2010)
by: Скобелев, В.Г.
Published: (2010)
Анализ фиктивности состояний автомата, синтезированного по спецификации, преобразованной из языка L* в язык L
by: Чеботарев, А.Н.
Published: (2013)
by: Чеботарев, А.Н.
Published: (2013)
Согласование спецификаций автоматов, представленных в языке L
by: Чеботарев, А.Н.
Published: (2016)
by: Чеботарев, А.Н.
Published: (2016)
Согласование взаимодействующих автоматов
by: Чеботарев, А.Н.
Published: (2015)
by: Чеботарев, А.Н.
Published: (2015)
Использование согласования логических спецификаций автоматов при решении игровых задач
by: Чеботарев, А.Н.
Published: (2014)
by: Чеботарев, А.Н.
Published: (2014)
Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L
by: Чеботарев, А.Н.
Published: (2010)
by: Чеботарев, А.Н.
Published: (2010)
О классе формул языка L*, специфицирующих автоматы с конечной памятью
by: Чеботарев, А.Н.
Published: (2010)
by: Чеботарев, А.Н.
Published: (2010)
Моделирование процесса адаптации алгоритмов сжатия средствами конструктивно-продукционных структур
by: Шинкаренко, В.И., et al.
Published: (2015)
by: Шинкаренко, В.И., et al.
Published: (2015)
Обзор генетических алгоритмов образования ниш для решения задач многоэкстремальной оптимизации
by: Глибовец, Н.Н., et al.
Published: (2013)
by: Глибовец, Н.Н., et al.
Published: (2013)
Построение оптимальных алгоритмов массовых вычислений в задачах цифровой фильтрации
by: Анисимов, А.В., et al.
Published: (2008)
by: Анисимов, А.В., et al.
Published: (2008)
Анализ алгоритмов диффузии для решения оптимизационных задач структурного распознавания
by: Шлезингер, М.И., et al.
Published: (2011)
by: Шлезингер, М.И., et al.
Published: (2011)
Некоторые аспекты преобразования алгоритмов на основе формализации информационных связей
by: Акуловский, В.Г.
Published: (2009)
by: Акуловский, В.Г.
Published: (2009)
Новый подход к декомпозиции булевых функций. 4. Неразделительная декомпозиция: метод p,q-разбиения
by: Рыцар, Б.Е.
Published: (2009)
by: Рыцар, Б.Е.
Published: (2009)
Подход к определению эффективных признаков и синтезу оптимального полосно-разделяющего классификатора для элементов дактильно-жестовой речи
by: Крак, Ю.В., et al.
Published: (2016)
by: Крак, Ю.В., et al.
Published: (2016)
Усовершенствованный метод синтеза автомата по его спецификации в языке L
by: Тимофеев, В.Г., et al.
Published: (2011)
by: Тимофеев, В.Г., et al.
Published: (2011)
Знание-ориентированный подход к адаптации алгоритмов
by: Шинкаренко, В.И.
Published: (2008)
by: Шинкаренко, В.И.
Published: (2008)
Построение экспоненциальной оценки в компартментной системе с распределенными запаздываниями: подход на основе неравенства Хейла–Лунелла
by: Марценюк, В.П., et al.
Published: (2013)
by: Марценюк, В.П., et al.
Published: (2013)
Композиционный подход к описанию твердорастворного упрочнения в бинарных растворах с неограниченной растворимостью компонентов
by: Фирстов, С.А., et al.
Published: (2018)
by: Фирстов, С.А., et al.
Published: (2018)
Материалы к проектированию технологии бурения с использованием газожидкостных смесей
by: Давиденко, А.Н., et al.
Published: (2013)
by: Давиденко, А.Н., et al.
Published: (2013)
Подходы к проектированию и совершенствованию систем управления предприятием
by: Курносова, А.В.
Published: (2011)
by: Курносова, А.В.
Published: (2011)
Об одном подходе к проектированию алгебраических типов данных
by: Песчаненко, В.С.
Published: (2006)
by: Песчаненко, В.С.
Published: (2006)
Технологический подход к проектированию параллельной обработки / М.К. Буза // Штучний інтелект. — 2008. — № 3. — С. 619-625. — Бібліогр.: 3 назв. — рос.
by: Буза, М.К.
Published: (2008)
by: Буза, М.К.
Published: (2008)
Новый ультратвердый поликристаллический композиционный материал
by: Шульженко, А.А., et al.
Published: (2009)
by: Шульженко, А.А., et al.
Published: (2009)
Применение ускоренного моделирования к оценке количества некоторых k-мерных подпространств над конечным полем
by: Масол, В.И., et al.
Published: (2010)
by: Масол, В.И., et al.
Published: (2010)
Улучшенная верхняя граница для относительного расстояния между булевой функцией и множеством k-мерных функций
by: Алексейчук, А.Н.
Published: (2015)
by: Алексейчук, А.Н.
Published: (2015)
К вопросу о существовании полиномиально приближенных схем для реоптимизации дискретных задач оптимизации
by: Михайлюк, В.А.
Published: (2011)
by: Михайлюк, В.А.
Published: (2011)
Некоторые подходы к моделированию цен в эколого-экономической системе
by: Григоркив, В.С.
Published: (2009)
by: Григоркив, В.С.
Published: (2009)
Памяти академика А.А. Дородницына — к 100-летию со дня рождения
by: Евтушенко, Ю.Г.
Published: (2010)
by: Евтушенко, Ю.Г.
Published: (2010)
Ассоциативная версия алгоритма Рамалингама для динамической обработки подграфа кратчайших путей после добавления к графу новой дуги
by: Непомнящая, А.Ш.
Published: (2012)
by: Непомнящая, А.Ш.
Published: (2012)
Об эффективности метода вероятностно нейтральных битов в статистическом криптоанализе синхронных поточных шифров
by: Алексейчук, А.Н., et al.
Published: (2016)
by: Алексейчук, А.Н., et al.
Published: (2016)
Алгебраически вырожденные приближения булевых функций
by: Алексейчук, А.Н., et al.
Published: (2014)
by: Алексейчук, А.Н., et al.
Published: (2014)
Верхние оценки несбалансированности билинейных аппроксимаций раундовых функций блочных шифров
by: Алексейчук, А.Н., et al.
Published: (2010)
by: Алексейчук, А.Н., et al.
Published: (2010)
Верификация программ: состояние, проблемы, результаты. I
by: Крывый, С.Л., et al.
Published: (2013)
by: Крывый, С.Л., et al.
Published: (2013)
Similar Items
-
Проектирование реактивных алгоритмов путем решения уравнений над автоматами
by: Чеботарев, А.Н.
Published: (2012) -
Доказательное проектирование алгоритмов функционирования реактивных систем
by: Чеботарев, А.Н., et al.
Published: (2008) -
Структурные модели алгоритмов в задачах прикладного программирования. II. Структурно-алгоритмический подход к моделированию программного обеспечения
by: Шинкаренко, В.И., et al.
Published: (2009) -
Методический подход к проектированию структуры автоматизированнойсистемы управления организационного типа
by: Самохвалов, Ю.Я., et al.
Published: (2009) -
Системный подход к проектированию автоматизированных систем обработки информации и управления
by: Путятин, В.Г., et al.
Published: (2007)