Шаранхаев, И. К. О представлении булевых функций бесповторными формулами в некоторых симметрических базисах [Текст] / И. К. Шаранхаев // Вестник Бурятского государственного университета. - 2007. - Вып. 6. - С. 53-56. - Библиогр.: с. 56 (9 назв. ) . - ISSN 1994-0866
Рубрики: Математика Комбинаторный анализ Кл.слова (ненормированные): булевы функции -- бесповторность булевых функций -- базисы -- булевы базисы -- дискретная математика Аннотация: Изучается представление булевых функций формулами. Найдены критерии бесповторности булевых функций в базисах {v,., -, 0, 1, x[1]... х[n] v x[1]... x[n]}, где n - нечетное число, большее 1. |
Комбаров, Ю. А. О минимальных схемах для линейных булевых функций [Текст] / Ю. А. Комбаров // Вестник Московского университета. Сер. 1, Математика. Механика. - 2011. - № 6. - С. 41-44 : рис. - Библиогр.: с. 44 . - ISSN 0201-7385
Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): схема из функциональных элементов -- линейные булевы функции -- минимальные схемы -- стандартные блоки -- стандартная редукция -- булевы функции Аннотация: Заметка посвящена реализации линейных булевых функций минимальными схемами. Основным результатом является описание структуры всех минимальных схем, реализующих линейные булевы функции. Нет сведений об экземплярах (Источник в БД не найден) |
Прихожий, А. А. (доктор технических наук). Взаимосвязь частичных, не полностью и полностью определенных булевых функций в логических системах [Текст] / А. А. Прихожий // Информатизация образования. - 2012. - № 4. - С. 81-91. - Библиогр.: с. 90-91 (2 назв. ) . - ISSN 2079-522X
Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): частичные булевы функции -- булевы функции -- логические системы -- булевы операции -- частичные операции -- математическое моделирование Аннотация: Анализ и классификация частичных функций, реализуемых не полностью и полностью определенными булевыми функциями. Нет сведений об экземплярах (Источник в БД не найден) |
Касим-Заде, О. М. (доктор физико-математических наук). О глубине булевых функций при реализации схемами над произвольным бесконечным базисом [Текст] / О. М. Касим-Заде // Вестник Московского университета. Сер. 1, Математика. Механика. - 2012. - № 6. - С. 55-57. - Библиогр.: с. 56-57 . - ISSN 0201-7385
Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): булевы функции -- схемы из функциональных элементов -- глубина булевых функций -- глубина схемы -- схемная глубина Аннотация: Для всех бесконечных базисов найдены оценки схемной глубины всех булевых функций с точностью до небольшой аддитивной постоянной. Нет сведений об экземплярах (Источник в БД не найден) |
Аблаев, Ф. М. Уточнение иерархии класса булевых функций, представимых в моделях k-OBDD ветвящихся программ [Текст] / Ф. М. Аблаев, К. Р. Хадиев // Известия вузов. Математика. - 2013. - № 3. - С. 56-61. - Библиогр.: с. 61 . - ISSN 0021-3446
Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): Bolling - Sauerhoff - Sieling - Wegener иерархия -- OBDD -- k-OBDD -- автоматные коммуникационные протоколы -- булевы функции -- ветвящиеся программы -- иерархия Bolling - Sauerhoff - Sieling - Wegener -- классы сложности -- коммуникационные протоколы -- теорема об иерархии Аннотация: Рассматривается известная модель ветвящихся программ - k-OBDD. Разработан метод представления процесса вычисления в k-OBDD в виде (определяемого в работе) автоматного коммуникационного протокола, который позволяет продолжить иерархию Bolling - Sauerhoff - Sieling - Wegener с ограничениями на ширину. Доп.точки доступа: Хадиев, К. Р. Нет сведений об экземплярах (Источник в БД не найден) |
Касим-Заде, Октай Мурад оглы (доктор физико-математических наук). О порядках роста функций Шеннона сложности схем над бесконечными базисами [Текст] / О. М. Касим-Заде // Вестник Московского университета. Сер. 1, Математика. Механика. - 2013. - № 3. - С. 55-57. - Библиогр.: с. 57 . - ISSN 0201-7385
Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): Шеннона функции -- булевы функции -- сложности схем -- схемы -- теоремы -- функции Шеннона Аннотация: Показано, что любая функция одного действительного переменного, выразимая в виде суперпозиции рациональных функций с действительными коэффициентами, логарифмов и экспонент и имеющая порядок роста, является порядком роста функции Шеннона сложности схем над некоторым бесконечным базисом. Нет сведений об экземплярах (Источник в БД не найден) |
Бибило, П. Н. (профессор). Минимизация BDD-представлений систем полностью определенных булевых функций с использованием алгебраических разложений кофакторов [Текст] = Minimization of binary decision diagrams for systems of completely defined boolean functions using algebraic representations of cofactors / П. Н. Бибило, В. И. Романов // Информационные технологии. - 2021. - Т. 27, № 8. - С. 395-408 . - ISSN 1684-6400
Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): BDD -- Binary Decision Diagram -- VHDL -- boolean functions -- Шеннона разложение -- алгебраические представления подфункций -- булевы функции -- дизъюнктивная нормальная форма -- кофакторы -- разложение Шеннона -- синтез логических схем Аннотация: Основным критерием оптимизации при синтезе комбинационных схем из библиотечных логических элементов является число литералов в алгебраических представлениях булевых функций. Предлагается метод логической оптимизации на основе поиска алгебраических представлений подфункций (кофакторов) одного уровня BDD в виде дизъюнкции либо конъюнкции других подфункций данного уровня BDD. Доп.точки доступа: Романов, В. И. (доцент; ведущий научный сотрудник) Нет сведений об экземплярах (Источник в БД не найден) |
Бибило, П. Н. (доктор технических наук). Совместная и раздельная минимизация многоуровневых представлений систем булевых функций [Текст] / П. Н. Бибило // Информационные технологии. - 2023. - Т. 29, № 11. - С. 574-582 . - ISSN 1684-6400
Рубрики: Радиоэлектроника Теория автоматов Кл.слова (ненормированные): Binary Decision Diagram -- VHDL -- ДНФ -- СБИС -- Шеннона разложения -- булевы сети -- булевы функции -- дизъюнктивные нормальные формы -- разложения Шеннона Аннотация: Приводятся результаты экспериментальных исследований эффективности программ минимизации многоуровневых представлений систем булевых функций, выполняемых при синтезе комбинационных схем в библиотеке проектирования заказных КМОП СБИС. Нет сведений об экземплярах (Источник в БД не найден) |