Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений
Описаны результаты экспериментального исследования алгоритма декомпозиции частичных булевых функций и систем, основанного на сведении задачи декомпозиции к задаче «выполнимость конъюнктивной нормальной формы». Для проверки выполнимости задачи использованы известные SAT-программы picosat и zChaff. Th...
Збережено в:
| Опубліковано в: : | Управляющие системы и машины |
|---|---|
| Дата: | 2012 |
| Автори: | , |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
2012
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/83064 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений / Т.В. Авлочинская, П.Н. Бибило // Управляющие системы и машины. — 2012. — № 3. — С. 15-23. — Бібліогр.: 12 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
Алгоритм построения диаграммы двоичного выбора для системы полностью определенных булевых функций
за авторством: Бибило, П.Н., та інші
Опубліковано: (2009)
за авторством: Бибило, П.Н., та інші
Опубліковано: (2009)
Метод непосредственного умножения элементов конечного поля GF(2m) с использованием логических функций
за авторством: Кубицкий, В.И., та інші
Опубліковано: (2014)
за авторством: Кубицкий, В.И., та інші
Опубліковано: (2014)
Использование выпуклых продолжений функций для решения нелинейных задач оптимизации
за авторством: Лаптин, Ю.П., та інші
Опубліковано: (2010)
за авторством: Лаптин, Ю.П., та інші
Опубліковано: (2010)
Оценки числовых параметров в ДНФ случайных частичных булевых функций
за авторством: Махина, Г.А.
Опубліковано: (2009)
за авторством: Махина, Г.А.
Опубліковано: (2009)
Выбор весовых функций в методе Петрова–Галеркина для интегрирования линейных одномерных уравнений конвекции–диффузии
за авторством: Сирик, С.В., та інші
Опубліковано: (2014)
за авторством: Сирик, С.В., та інші
Опубліковано: (2014)
Динамический выбор размерности опорной функции в вероятностных алгоритмах МГУА на основе внешнего дополнения
за авторством: Жиляев, С.А.
Опубліковано: (2011)
за авторством: Жиляев, С.А.
Опубліковано: (2011)
Метод решения проблемы расчета техногенных рисков
за авторством: Бегун, В.В., та інші
Опубліковано: (2014)
за авторством: Бегун, В.В., та інші
Опубліковано: (2014)
Метод решения линеаризованной задачи размещения неориентированных геометрических объектов
за авторством: Чуб, И.А., та інші
Опубліковано: (2011)
за авторством: Чуб, И.А., та інші
Опубліковано: (2011)
Интерстрипация функций двух переменных на системе пересекающихся полос
за авторством: Литвин, О.Н., та інші
Опубліковано: (2014)
за авторством: Литвин, О.Н., та інші
Опубліковано: (2014)
Оценки вычислительной сложности некоторых алгоритмов аппроксимации функций рядами Фурье с заданной точностью
за авторством: Коломыс, Е.Н., та інші
Опубліковано: (2013)
за авторством: Коломыс, Е.Н., та інші
Опубліковано: (2013)
Модель тягового электропривода автомобиля на основе вентильного электродвигателя
за авторством: Сериков, С.А.
Опубліковано: (2010)
за авторством: Сериков, С.А.
Опубліковано: (2010)
Кластерный анализ данных на основе модифицированной иммунной сети
за авторством: Литвиненко, В.И.
Опубліковано: (2009)
за авторством: Литвиненко, В.И.
Опубліковано: (2009)
Использование кластеризации при анализе данных
за авторством: Коваль, П.Н.
Опубліковано: (2010)
за авторством: Коваль, П.Н.
Опубліковано: (2010)
Численная реализация метода конечных элементов с оптимальным выбором параметров, базисных функций и координат узлов элементов
за авторством: Литвин, О.Н., та інші
Опубліковано: (2009)
за авторством: Литвин, О.Н., та інші
Опубліковано: (2009)
Исследование нестационарного энергообмена двух лазерных пучков в нелинейных средах методами вычислительной физики
за авторством: Старков, В.Н., та інші
Опубліковано: (2009)
за авторством: Старков, В.Н., та інші
Опубліковано: (2009)
Разделение полного множества значений булевых функций на основе заданного порога и порогового отношения
за авторством: Опанасенко, В.Н., та інші
Опубліковано: (2012)
за авторством: Опанасенко, В.Н., та інші
Опубліковано: (2012)
Применение конвейеризации для увеличения быстродействия логических схем
за авторством: Бибило, П.Н., та інші
Опубліковано: (2013)
за авторством: Бибило, П.Н., та інші
Опубліковано: (2013)
Продукционная система оптимизации иерархических описаний логических схем
за авторством: Бибило, П.Н., та інші
Опубліковано: (2011)
за авторством: Бибило, П.Н., та інші
Опубліковано: (2011)
Подход к формированию оптимальных проектных структур на основе рангового метода решения нелинейных булевых уравнений
за авторством: Листровой, С.В., та інші
Опубліковано: (2011)
за авторством: Листровой, С.В., та інші
Опубліковано: (2011)
Алгебраически вырожденные приближения булевых функций
за авторством: Алексейчук, А.Н., та інші
Опубліковано: (2014)
за авторством: Алексейчук, А.Н., та інші
Опубліковано: (2014)
Об оптимизации вычислительного процесса математического моделирования сложных задач
за авторством: Богаенко, В.А.
Опубліковано: (2010)
за авторством: Богаенко, В.А.
Опубліковано: (2010)
3D-коефіцієнти Фур'є на класі диференційовних функцій та оператори кусково-сталої сплайн-інтерфлетації
за авторством: Литвин, О.М., та інші
Опубліковано: (2013)
за авторством: Литвин, О.М., та інші
Опубліковано: (2013)
Масштабируемый параллельный генетический алгоритм построения идентифицирующих последовательностей для современных многоядерных вычислительных систем
за авторством: Иванов, Д.Е.
Опубліковано: (2011)
за авторством: Иванов, Д.Е.
Опубліковано: (2011)
Розв'язування оптимизаційної задачі з дробово-лінійною цільовою функцією на комбінаторній конфігурації розміщень
за авторством: Нагірна, А.М.
Опубліковано: (2014)
за авторством: Нагірна, А.М.
Опубліковано: (2014)
Оценивание положения точек схода на изображениях городских кварталов
за авторством: Сдобников, В.Ю., та інші
Опубліковано: (2009)
за авторством: Сдобников, В.Ю., та інші
Опубліковано: (2009)
О спектральном подходе к исследованию цепей Маркова
за авторством: Вишенский, А.А., та інші
Опубліковано: (2009)
за авторством: Вишенский, А.А., та інші
Опубліковано: (2009)
Эффективная аффинная аппроксимация в метрике L₁
за авторством: Тищенко, М.А., та інші
Опубліковано: (2010)
за авторством: Тищенко, М.А., та інші
Опубліковано: (2010)
Об одном подходе к решению некорректных задач идентификации физических объектов при разведочном анализе данных
за авторством: Бабак, О.В., та інші
Опубліковано: (2011)
за авторством: Бабак, О.В., та інші
Опубліковано: (2011)
Модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры алгоритмов
за авторством: Овсяк, А.В., та інші
Опубліковано: (2013)
за авторством: Овсяк, А.В., та інші
Опубліковано: (2013)
Допустимые преобразования автомата, взаимодействующего со средой
за авторством: Чеботарев, А.Н., та інші
Опубліковано: (2010)
за авторством: Чеботарев, А.Н., та інші
Опубліковано: (2010)
Оценивание релевантности результатов в индуктивных процедурах системно-аналитических исследований
за авторством: Осипенко, В.В.
Опубліковано: (2012)
за авторством: Осипенко, В.В.
Опубліковано: (2012)
Интервальные вычисления в задачах оценки экспертных решений
за авторством: Жуковская, О.А.
Опубліковано: (2012)
за авторством: Жуковская, О.А.
Опубліковано: (2012)
Чисельна реалізація методу лінійних інтегро-диференціальних рівнянь для рівняння нестаціонарної теплопровідності з двома просторовими змінними
за авторством: Литвин, О.М., та інші
Опубліковано: (2012)
за авторством: Литвин, О.М., та інші
Опубліковано: (2012)
Алгоритм оценивания пространственного распределения магнитного поля сердца человека в магнитокардиографии
за авторством: Недайвода, И.В., та інші
Опубліковано: (2009)
за авторством: Недайвода, И.В., та інші
Опубліковано: (2009)
A Simple Minimization Method of the Variables Number in Complete and Incomplete Logic Functions. Part 2
за авторством: Rytsar, B.Ye.
Опубліковано: (2017)
за авторством: Rytsar, B.Ye.
Опубліковано: (2017)
Методологические основы реинжиниринга систем автоматизированного проектирования
за авторством: Великодный, С.С.
Опубліковано: (2014)
за авторством: Великодный, С.С.
Опубліковано: (2014)
New minimization method of logical functions in polynomial set-theoretical format. 1. Generalized rules of conjuncterms simplification
за авторством: Rytsar, B.Ye.
Опубліковано: (2015)
за авторством: Rytsar, B.Ye.
Опубліковано: (2015)
Построение бизнес-правил для SQL-вложений и JCL-заданий
за авторством: Гриценко, В.И., та інші
Опубліковано: (2009)
за авторством: Гриценко, В.И., та інші
Опубліковано: (2009)
Розв’язання задач з підвищеною точністю обчислень
за авторством: Опанасенко, В.М., та інші
Опубліковано: (2011)
за авторством: Опанасенко, В.М., та інші
Опубліковано: (2011)
A New Method of Minimization of Logical Functions in the Polynomial Set-theoretical Format. 2. Minimization of Complete and Incomplete Functions
за авторством: Rytsar, B.Ye.
Опубліковано: (2015)
за авторством: Rytsar, B.Ye.
Опубліковано: (2015)