Минимизация КНФ частично-монотонных булевых функций
Булеву функцию назовем частично-монотонной, если она монотонна относительно некоторых из своих аргументов и антимонотонна относительно остальных своих аргументов. Мы доказываем, что конъюнктивные нормальные формы частично-монотонных булевых функций можно минимизировать очень эффективно, используя ли...
Gespeichert in:
| Veröffentlicht in: | Доповіді НАН України |
|---|---|
| Datum: | 2017 |
| 1. Verfasser: | Пынько, А.П. |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Видавничий дім "Академперіодика" НАН України
2017
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/126539 |
| 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: | Минимизация КНФ частично-монотонных булевых функций / А.П. Пынько // Доповіді Національної академії наук України. — 2017. — № 3. — С. 18-21. — Бібліогр.: 4 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineÄhnliche Einträge
Минимизация мощности управления электромагнитных механизмов
von: Божко, А.Е.
Veröffentlicht: (2007)
von: Божко, А.Е.
Veröffentlicht: (2007)
Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства
von: Пынько, А.П.
Veröffentlicht: (2007)
von: Пынько, А.П.
Veröffentlicht: (2007)
Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства
von: Пынько, А.П.
Veröffentlicht: (2011)
von: Пынько, А.П.
Veröffentlicht: (2011)
Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства
von: Пынько, А.П.
Veröffentlicht: (2008)
von: Пынько, А.П.
Veröffentlicht: (2008)
Алгебраически вырожденные приближения булевых функций
von: Алексейчук, А.Н., et al.
Veröffentlicht: (2014)
von: Алексейчук, А.Н., et al.
Veröffentlicht: (2014)
Математическая модель гидроупругих колебаний составных оболочек, частично заполненных жидкостью
von: Кононенко, И.Ю., et al.
Veröffentlicht: (2008)
von: Кононенко, И.Ю., et al.
Veröffentlicht: (2008)
Идентификация булевых функций методами линейной алгебры
von: Скобелев, В.Г., et al.
Veröffentlicht: (1995)
von: Скобелев, В.Г., et al.
Veröffentlicht: (1995)
Особенности реализации систем булевых функций на ПЛИС
von: Баркалов, А.А., et al.
Veröffentlicht: (2004)
von: Баркалов, А.А., et al.
Veröffentlicht: (2004)
Экономичный метод приближенной минимизации ДНФ булевых функций
von: Лузин, С.Ю., et al.
Veröffentlicht: (2004)
von: Лузин, С.Ю., et al.
Veröffentlicht: (2004)
Задача Колмогорова на классе кратно монотонных функций
von: Бабенко, В.Ф., et al.
Veröffentlicht: (2013)
von: Бабенко, В.Ф., et al.
Veröffentlicht: (2013)
Колмогоровские и линейные поперечники классов s-монотонных интегрируемых функций
von: Коновалов, В.Н.
Veröffentlicht: (2005)
von: Коновалов, В.Н.
Veröffentlicht: (2005)
Об оптимизации приближенного интегрирования монотонных функций двух переменных
von: Бабенко, В.Ф., et al.
Veröffentlicht: (1999)
von: Бабенко, В.Ф., et al.
Veröffentlicht: (1999)
Оптимизация приближенного интегрирования многозначных функций, монотонных по включению
von: Бабенко, В.Ф., et al.
Veröffentlicht: (2011)
von: Бабенко, В.Ф., et al.
Veröffentlicht: (2011)
Формосохраняющие поперечники типа Колмогорова классов s-монотонных интегрируемых функций
von: Коновалов, В.Н.
Veröffentlicht: (2004)
von: Коновалов, В.Н.
Veröffentlicht: (2004)
Оптимизация адаптивных алгоритмов восстановления монотонных функций класса Hω
von: Корнейчук, Н.П.
Veröffentlicht: (1993)
von: Корнейчук, Н.П.
Veröffentlicht: (1993)
Об аксиоматизациях булевых алгебр
von: Лисовик, Л.П.
Veröffentlicht: (1997)
von: Лисовик, Л.П.
Veröffentlicht: (1997)
Алгоритм построения диаграммы двоичного выбора для системы полностью определенных булевых функций
von: Бибило, П.Н., et al.
Veröffentlicht: (2009)
von: Бибило, П.Н., et al.
Veröffentlicht: (2009)
Модули полураспада монотонных функций и скорость сходимости рядов Фурье
von: Степанец, А.И.
Veröffentlicht: (1986)
von: Степанец, А.И.
Veröffentlicht: (1986)
Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений
von: Авлочинская, Т.В., et al.
Veröffentlicht: (2012)
von: Авлочинская, Т.В., et al.
Veröffentlicht: (2012)
Минимизация канцерогенной опасности энергоустановок
von: Канило, П.М., et al.
Veröffentlicht: (2011)
von: Канило, П.М., et al.
Veröffentlicht: (2011)
О сингуларисном разложении скачкообразной функции
von: Божко, А.Е.
Veröffentlicht: (2008)
von: Божко, А.Е.
Veröffentlicht: (2008)
Оптимальное восстановление определенного интеграла от монотонных функций класса Hω
von: Бусарова, Т.Н.
Veröffentlicht: (1997)
von: Бусарова, Т.Н.
Veröffentlicht: (1997)
Оптимизация интервальных формул приближенного интегрирования многозначных функций, монотонных по включению
von: Бабенко, В.В.
Veröffentlicht: (2011)
von: Бабенко, В.В.
Veröffentlicht: (2011)
Сингуларисные переходные функции звеньев систем автоматического управления
von: Божко, А.Е.
Veröffentlicht: (2009)
von: Божко, А.Е.
Veröffentlicht: (2009)
О построении целевой функции производственной системы
von: Пигнастый, О.М.
Veröffentlicht: (2007)
von: Пигнастый, О.М.
Veröffentlicht: (2007)
Задача Ландау - Колмогорова для класса абсолютно монотонных на конечном отрезке функций
von: Скороходов, Д.С.
Veröffentlicht: (2011)
von: Скороходов, Д.С.
Veröffentlicht: (2011)
Об оптимизации „интервальных и точечных" квадратурных формул для классов монотонных функций
von: Бородачев, С.В.
Veröffentlicht: (2001)
von: Бородачев, С.В.
Veröffentlicht: (2001)
Искусственная нейронная сеть для нелинейной декомпозиции функций
von: Бодянский, Е.В., et al.
Veröffentlicht: (2009)
von: Бодянский, Е.В., et al.
Veröffentlicht: (2009)
О глобальном минимуме целевой функции в задаче равновесной упаковки кругов
von: Стецюк, П.И., et al.
Veröffentlicht: (2014)
von: Стецюк, П.И., et al.
Veröffentlicht: (2014)
Разделение полного множества значений булевых функций на основе заданного порога и порогового отношения
von: Опанасенко, В.Н., et al.
Veröffentlicht: (2012)
von: Опанасенко, В.Н., et al.
Veröffentlicht: (2012)
Новый подход к декомпозиции булевых функций. 4. Неразделительная декомпозиция: метод p,q-разбиения
von: Рыцар, Б.Е.
Veröffentlicht: (2009)
von: Рыцар, Б.Е.
Veröffentlicht: (2009)
Эффективные стратегии преследования, основанные на использовании функции Ляпунова
von: Пашко, С.В.
Veröffentlicht: (2016)
von: Пашко, С.В.
Veröffentlicht: (2016)
Квази-phi-функции для математического моделирования отношений геометрических объектов
von: Стоян, Ю.Г., et al.
Veröffentlicht: (2014)
von: Стоян, Ю.Г., et al.
Veröffentlicht: (2014)
Минимизация эмпирического риска и задачи построения линейных классификаторов
von: Лаптин, Ю.П., et al.
Veröffentlicht: (2011)
von: Лаптин, Ю.П., et al.
Veröffentlicht: (2011)
Глобальная минимизация количества межслойных переходов
von: Полубасов, О.Б.
Veröffentlicht: (2001)
von: Полубасов, О.Б.
Veröffentlicht: (2001)
Качественный анализ систем регулирования нейтрального типа в условиях неопределенности с позиций функций Ляпунова
von: Шатырко, А.В.
Veröffentlicht: (2012)
von: Шатырко, А.В.
Veröffentlicht: (2012)
Минимизация параметров разрушения втулки фрикционной пары
von: Мирсалимов, В.М., et al.
Veröffentlicht: (2015)
von: Мирсалимов, В.М., et al.
Veröffentlicht: (2015)
Минимизация вычислений в алгоритме объемной реконструкции
von: Закидальский, А.И.
Veröffentlicht: (2008)
von: Закидальский, А.И.
Veröffentlicht: (2008)
Лексикографическая эквивалентность в частично комбинаторной оптимизации дробно-линейных функций на размещениях
von: Емец, О.А., et al.
Veröffentlicht: (2017)
von: Емец, О.А., et al.
Veröffentlicht: (2017)
Минимизация потерь наплавленного порошковой лентой металла
von: Кассов, В.Д.
Veröffentlicht: (2001)
von: Кассов, В.Д.
Veröffentlicht: (2001)
Ähnliche Einträge
-
Минимизация мощности управления электромагнитных механизмов
von: Божко, А.Е.
Veröffentlicht: (2007) -
Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства
von: Пынько, А.П.
Veröffentlicht: (2007) -
Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства
von: Пынько, А.П.
Veröffentlicht: (2011) -
Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства
von: Пынько, А.П.
Veröffentlicht: (2008) -
Алгебраически вырожденные приближения булевых функций
von: Алексейчук, А.Н., et al.
Veröffentlicht: (2014)