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

Продукционная система оптимизации иерархических описаний логических схем

Описана продукционная система, предназначенная для оптимизации иерархически организованных описаний комбинационных логических схем. Комбинированные маршруты оптимизации рассматриваются в виде стратегий, представляющих собой совокупность продукций типа «если → то». В левой части продукции размещается...

Повний опис

Збережено в:

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

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

Автоматизована система оптимізації розподілу автомобілів по об’єктах перевезень
за авторством: Таланчук, П.М., та інші
Опубліковано: (2013)

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

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

Управление многосвязными объектами с вырожденными и плохо обусловленными передаточными матрицами на основе метода псевдообратного оператора
за авторством: Скурихин, В.И., та інші
Опубліковано: (2013)

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

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

Побудова бази знань адаптивної системи дистанційного навчання на основі фреймової та продукційної моделей представлення знань
за авторством: Федорук, П.І., та інші
Опубліковано: (2012)

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

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

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

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

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

Катастрофо-устойчивые решения. Пример построения территориально распределенной кластерной системы
за авторством: Лисецкий, Ю.М.
Опубліковано: (2010)

Построение единой системной ИТ-инфраструктуры предприятия топливно-энергетичекого комплекса
за авторством: Лисецкий, Ю.М.
Опубліковано: (2013)

Кроссплатформенность и интероперабельность в корпоративных информационных системах на основе WEB-сервисов
за авторством: Росинский, В.В.
Опубліковано: (2012)

Побудова сервісно-ресурсної моделі ІТ-сервисів авіаційного тренажера
за авторством: Колісниченко, Р.А.
Опубліковано: (2014)

Интеллектуальное управление сложными системами в нештатных ситуациях на базе моделей сетей Петри
за авторством: Копп, В.Я., та інші
Опубліковано: (2013)

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

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

Построение компактных тестов для функциональной верификации VHDL-описаний конечных автоматов
за авторством: Бибило, П.Н., та інші
Опубліковано: (2017)

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

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

Конструктивно-продукционная модель графового представления текста
за авторством: Шинкаренко, В.И., та інші
Опубліковано: (2016)

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

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

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

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

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

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

Выбор энергоемких тестовых наборов для обеспечения режима повышенного энергопотребления комбинационных КМОП-схем
за авторством: Бибило, П.Н., та інші
Опубліковано: (2016)

Коническая регуляризация в задачах квадратичной оптимизации
за авторством: Лаптин, Ю.П.
Опубліковано: (2016)

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

Оценка энергопотребления комбинационных КМОП-схем на основе логического моделирования с учетом временных задержек элементов
за авторством: Бибило, П.Н., та інші
Опубліковано: (2014)

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

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

Про верхню межу термодинамічної ефективності теплонасосних схем установок для сушіння деревини
за авторством: Безродний, М.К., та інші
Опубліковано: (2011)

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

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

Конструктивно-продукционные структуры и их грамматические интерпретации. I. Обобщенная формальная конструктивно-продукционная структура
за авторством: Шинкаренко, В.И., та інші
Опубліковано: (2014)

Гибридная метаэвристика, основанная на оптимизации муравьиными колониями и Н-методе
за авторством: Гуляницкий, Л.Ф., та інші
Опубліковано: (2009)