Buchumschlag

Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений

Описаны результаты экспериментального исследования алгоритма декомпозиции частичных булевых функций и систем, основанного на сведении задачи декомпозиции к задаче «выполнимость конъюнктивной нормальной формы». Для проверки выполнимости задачи использованы известные SAT-программы picosat и zChaff. Th...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Управляющие системы и машины
Datum:	2012
Hauptverfasser:	Авлочинская, Т.В., Бибило, П.Н.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2012
Schlagworte:	Новые методы в информатике
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/83064
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:	Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений / Т.В. Авлочинская, П.Н. Бибило // Управляющие системы и машины. — 2012. — № 3. — С. 15-23. — Бібліогр.: 12 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Алгоритм построения диаграммы двоичного выбора для системы полностью определенных булевых функций
von: Бибило, П.Н., et al.
Veröffentlicht: (2009)

Метод непосредственного умножения элементов конечного поля GF(2m) с использованием логических функций
von: Кубицкий, В.И., et al.
Veröffentlicht: (2014)

Использование выпуклых продолжений функций для решения нелинейных задач оптимизации
von: Лаптин, Ю.П., et al.
Veröffentlicht: (2010)

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

Метод решения проблемы расчета техногенных рисков
von: Бегун, В.В., et al.
Veröffentlicht: (2014)

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

Интерстрипация функций двух переменных на системе пересекающихся полос
von: Литвин, О.Н., et al.
Veröffentlicht: (2014)

Оценки вычислительной сложности некоторых алгоритмов аппроксимации функций рядами Фурье с заданной точностью
von: Коломыс, Е.Н., et al.
Veröffentlicht: (2013)

Модель тягового электропривода автомобиля на основе вентильного электродвигателя
von: Сериков, С.А.
Veröffentlicht: (2010)

Использование кластеризации при анализе данных
von: Коваль, П.Н.
Veröffentlicht: (2010)

Численная реализация метода конечных элементов с оптимальным выбором параметров, базисных функций и координат узлов элементов
von: Литвин, О.Н., et al.
Veröffentlicht: (2009)

Исследование нестационарного энергообмена двух лазерных пучков в нелинейных средах методами вычислительной физики
von: Старков, В.Н., et al.
Veröffentlicht: (2009)

Разделение полного множества значений булевых функций на основе заданного порога и порогового отношения
von: Опанасенко, В.Н., et al.
Veröffentlicht: (2012)

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

Применение конвейеризации для увеличения быстродействия логических схем
von: Бибило, П.Н., et al.
Veröffentlicht: (2013)

Алгебраически вырожденные приближения булевых функций
von: Алексейчук, А.Н., et al.
Veröffentlicht: (2014)

Структурный метод формирования двоичных псевдослучайных векторов заданного веса
von: Романкевич, В.А., et al.
Veröffentlicht: (2011)

Метод відновлення поверхні між смугами за допомогою інформації про поверхню на взаємно перпендикулярних смугах
von: Литвин, О.М., et al.
Veröffentlicht: (2011)

Существование согласованного k-аддитивного продолжения мер в теории возможностей
von: Бычков, А.С., et al.
Veröffentlicht: (2009)

Допустимые преобразования автомата, взаимодействующего со средой
von: Чеботарев, А.Н., et al.
Veröffentlicht: (2010)

О спектральном подходе к исследованию цепей Маркова
von: Вишенский, А.А., et al.
Veröffentlicht: (2009)

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

3D-коефіцієнти Фур'є на класі диференційовних функцій та оператори кусково-сталої сплайн-інтерфлетації
von: Литвин, О.М., et al.
Veröffentlicht: (2013)

О решении классической задачи Штейнера для четырех точек
von: Агаи Аг Гамиш Якуб, et al.
Veröffentlicht: (2013)

Числова теоретико-множинна інтерпретація полінома Жеґалкіна
von: Рицар, Б.Є.
Veröffentlicht: (2013)

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

Метамодель для математичного моделювання поверхні тіла на основі даних радіолокації
von: Литвин, О.М., et al.
Veröffentlicht: (2010)

Эффективная аффинная аппроксимация в метрике L₁
von: Тищенко, М.А., et al.
Veröffentlicht: (2010)

Об одном методе расчета показателей надежности отказоустойчивых многопроцессорных систем
von: Романкевич, А.М., et al.
Veröffentlicht: (2011)

Аргумент цільової функції в задачі клінічної діагностики
von: Тимофієва, Н.К., et al.
Veröffentlicht: (2012)

Наближення спеціальними функціями визначення двох змінних з використанням дискретних даних
von: Литвин, О.М., et al.
Veröffentlicht: (2012)

Алгоритм оценивания и анализа пространственно-временных характеристик магнитного поля в магнитокардиографии
von: Недайвода, И.В., et al.
Veröffentlicht: (2010)

Математическое моделирование лазерных экспериментальных исследований слаборассеивающих материалов
von: Старков, В.Н., et al.
Veröffentlicht: (2011)

Масштабируемый параллельный генетический алгоритм построения идентифицирующих последовательностей для современных многоядерных вычислительных систем
von: Иванов, Д.Е.
Veröffentlicht: (2011)

Числова теоретико-множинна інтерпретація поліномів Ріда–Маллера з фіксованою та змішаною полярністю
von: Рицар, Б.Є.
Veröffentlicht: (2013)

Про існування розв’язків рівняння Ляпунова на конусі
von: Бичков, О.С., et al.
Veröffentlicht: (2010)

Об одном подходе к решению комбинаторной задачи оптимизации на графах
von: Донец, Г.А., et al.
Veröffentlicht: (2009)

Оценка качества моделирования скрытого фрагмента дифференциального графика хронопотенциограммы инверсии тяжелых металлов в жидкой пробе полярографа
von: Татаринов, А.Э., et al.
Veröffentlicht: (2014)

Розв'язування оптимизаційної задачі з дробово-лінійною цільовою функцією на комбінаторній конфігурації розміщень
von: Нагірна, А.М.
Veröffentlicht: (2014)

Методологические основы реинжиниринга систем автоматизированного проектирования
von: Великодный, С.С.
Veröffentlicht: (2014)