Минимизация КНФ частично-монотонных булевых функций
Булеву функцию назовем частично-монотонной, если она монотонна относительно некоторых из своих аргументов и антимонотонна относительно остальных своих аргументов. Мы доказываем, что конъюнктивные нормальные формы частично-монотонных булевых функций можно минимизировать очень эффективно, используя ли...
Збережено в:
| Опубліковано в: : | Доповіді НАН України |
|---|---|
| Дата: | 2017 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Видавничий дім "Академперіодика" НАН України
2017
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/126539 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Минимизация КНФ частично-монотонных булевых функций / А.П. Пынько // Доповіді Національної академії наук України. — 2017. — № 3. — С. 18-21. — Бібліогр.: 4 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
Минимизация мощности управления электромагнитных механизмов
за авторством: Божко, А.Е.
Опубліковано: (2007)
за авторством: Божко, А.Е.
Опубліковано: (2007)
Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства
за авторством: Пынько, А.П.
Опубліковано: (2007)
за авторством: Пынько, А.П.
Опубліковано: (2007)
Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства
за авторством: Пынько, А.П.
Опубліковано: (2011)
за авторством: Пынько, А.П.
Опубліковано: (2011)
Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства
за авторством: Пынько, А.П.
Опубліковано: (2008)
за авторством: Пынько, А.П.
Опубліковано: (2008)
Алгебраически вырожденные приближения булевых функций
за авторством: Алексейчук, А.Н., та інші
Опубліковано: (2014)
за авторством: Алексейчук, А.Н., та інші
Опубліковано: (2014)
Математическая модель гидроупругих колебаний составных оболочек, частично заполненных жидкостью
за авторством: Кононенко, И.Ю., та інші
Опубліковано: (2008)
за авторством: Кононенко, И.Ю., та інші
Опубліковано: (2008)
Идентификация булевых функций методами линейной алгебры
за авторством: Скобелев, В.Г., та інші
Опубліковано: (1995)
за авторством: Скобелев, В.Г., та інші
Опубліковано: (1995)
Особенности реализации систем булевых функций на ПЛИС
за авторством: Баркалов, А.А., та інші
Опубліковано: (2004)
за авторством: Баркалов, А.А., та інші
Опубліковано: (2004)
Усовершенствованный тест k-мерности для булевых функций
за авторством: Алексейчук, А.Н., та інші
Опубліковано: (2013)
за авторством: Алексейчук, А.Н., та інші
Опубліковано: (2013)
Экономичный метод приближенной минимизации ДНФ булевых функций
за авторством: Лузин, С.Ю., та інші
Опубліковано: (2004)
за авторством: Лузин, С.Ю., та інші
Опубліковано: (2004)
Экономичный метод приближенной минимизации ДНФ булевых функций
за авторством: Luzin, S. Yu., та інші
Опубліковано: (2004)
за авторством: Luzin, S. Yu., та інші
Опубліковано: (2004)
Задача Колмогорова на классе кратно монотонных функций
за авторством: Бабенко, В.Ф., та інші
Опубліковано: (2013)
за авторством: Бабенко, В.Ф., та інші
Опубліковано: (2013)
Оценки числовых параметров в ДНФ случайных частичных булевых функций
за авторством: Махина, Г.А.
Опубліковано: (2009)
за авторством: Махина, Г.А.
Опубліковано: (2009)
Колмогоровские и линейные поперечники классов s-монотонных интегрируемых функций
за авторством: Коновалов, В.Н.
Опубліковано: (2005)
за авторством: Коновалов, В.Н.
Опубліковано: (2005)
Об оптимизации приближенного интегрирования монотонных функций двух переменных
за авторством: Бабенко, В.Ф., та інші
Опубліковано: (1999)
за авторством: Бабенко, В.Ф., та інші
Опубліковано: (1999)
Оптимизация приближенного интегрирования многозначных функций, монотонных по включению
за авторством: Бабенко, В.Ф., та інші
Опубліковано: (2011)
за авторством: Бабенко, В.Ф., та інші
Опубліковано: (2011)
Формосохраняющие поперечники типа Колмогорова классов s-монотонных интегрируемых функций
за авторством: Коновалов, В.Н.
Опубліковано: (2004)
за авторством: Коновалов, В.Н.
Опубліковано: (2004)
Формосохраняющие поперечники типа Колмогорова классов s-монотонных интегрируемых функций
за авторством: Коновалов, В.Н.
Опубліковано: (2004)
за авторством: Коновалов, В.Н.
Опубліковано: (2004)
Оптимизация адаптивных алгоритмов восстановления монотонных функций класса Hω
за авторством: Корнейчук, Н.П.
Опубліковано: (1993)
за авторством: Корнейчук, Н.П.
Опубліковано: (1993)
Модули полураспада монотонных функций и скорость сходимости рядов Фурье
за авторством: Степанец, А.И.
Опубліковано: (1986)
за авторством: Степанец, А.И.
Опубліковано: (1986)
Об аксиоматизациях булевых алгебр
за авторством: Лисовик, Л.П.
Опубліковано: (1997)
за авторством: Лисовик, Л.П.
Опубліковано: (1997)
Алгоритм построения диаграммы двоичного выбора для системы полностью определенных булевых функций
за авторством: Бибило, П.Н., та інші
Опубліковано: (2009)
за авторством: Бибило, П.Н., та інші
Опубліковано: (2009)
Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений
за авторством: Авлочинская, Т.В., та інші
Опубліковано: (2012)
за авторством: Авлочинская, Т.В., та інші
Опубліковано: (2012)
О сингуларисном разложении скачкообразной функции
за авторством: Божко, А.Е.
Опубліковано: (2008)
за авторством: Божко, А.Е.
Опубліковано: (2008)
Передаточные функции электрических колебательных систем
за авторством: Божко, А.Е., та інші
Опубліковано: (2007)
за авторством: Божко, А.Е., та інші
Опубліковано: (2007)
Оптимизация интервальных формул приближенного интегрирования многозначных функций, монотонных по включению
за авторством: Бабенко, В.В.
Опубліковано: (2011)
за авторством: Бабенко, В.В.
Опубліковано: (2011)
Оптимальное восстановление определенного интеграла от монотонных функций класса Hω
за авторством: Бусарова, Т.Н.
Опубліковано: (1997)
за авторством: Бусарова, Т.Н.
Опубліковано: (1997)
Минимизация канцерогенной опасности энергоустановок
за авторством: Канило, П.М., та інші
Опубліковано: (2011)
за авторством: Канило, П.М., та інші
Опубліковано: (2011)
Сингуларисные переходные функции звеньев систем автоматического управления
за авторством: Божко, А.Е.
Опубліковано: (2009)
за авторством: Божко, А.Е.
Опубліковано: (2009)
О построении целевой функции производственной системы
за авторством: Пигнастый, О.М.
Опубліковано: (2007)
за авторством: Пигнастый, О.М.
Опубліковано: (2007)
Об оптимизации „интервальных и точечных" квадратурных формул для классов монотонных функций
за авторством: Бородачев, С.В.
Опубліковано: (2001)
за авторством: Бородачев, С.В.
Опубліковано: (2001)
Задача Ландау - Колмогорова для класса абсолютно монотонных на конечном отрезке функций
за авторством: Скороходов, Д.С.
Опубліковано: (2011)
за авторством: Скороходов, Д.С.
Опубліковано: (2011)
Искусственная нейронная сеть для нелинейной декомпозиции функций
за авторством: Бодянский, Е.В., та інші
Опубліковано: (2009)
за авторством: Бодянский, Е.В., та інші
Опубліковано: (2009)
О глобальном минимуме целевой функции в задаче равновесной упаковки кругов
за авторством: Стецюк, П.И., та інші
Опубліковано: (2014)
за авторством: Стецюк, П.И., та інші
Опубліковано: (2014)
Эффективные стратегии преследования, основанные на использовании функции Ляпунова
за авторством: Пашко, С.В.
Опубліковано: (2016)
за авторством: Пашко, С.В.
Опубліковано: (2016)
Квази-phi-функции для математического моделирования отношений геометрических объектов
за авторством: Стоян, Ю.Г., та інші
Опубліковано: (2014)
за авторством: Стоян, Ю.Г., та інші
Опубліковано: (2014)
Новый подход к декомпозиции булевых функций. 4. Неразделительная декомпозиция: метод p,q-разбиения
за авторством: Рыцар, Б.Е.
Опубліковано: (2009)
за авторством: Рыцар, Б.Е.
Опубліковано: (2009)
Разделение полного множества значений булевых функций на основе заданного порога и порогового отношения
за авторством: Опанасенко, В.Н., та інші
Опубліковано: (2012)
за авторством: Опанасенко, В.Н., та інші
Опубліковано: (2012)
Построение свободной от радикалов Φ-функции для шара и неориентированного многогранника
за авторством: Стоян, Ю.Г., та інші
Опубліковано: (2011)
за авторством: Стоян, Ю.Г., та інші
Опубліковано: (2011)
Минимизация эмпирического риска и задачи построения линейных классификаторов
за авторством: Лаптин, Ю.П., та інші
Опубліковано: (2011)
за авторством: Лаптин, Ю.П., та інші
Опубліковано: (2011)