Библиотека Амурского Государственного Университета

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

БД "Статьи" - результаты поиска

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

Выпускные квалификационные работы

Антитеррор

Область поиска

в найденном

Найдено в других БД:

БД "Книги" (24)

Труды АМГУ (3)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=булевы функции<.>)

Общее количество найденных документов : 38
Показаны документы с 1 по 20

1-20 21-38

Тарасов, В. В.
Булевы функции с несобственными параметрами [Текст] : научное издание / В. В. Тарасов // Проблемы передачи информации. - 2003. - Т. 39, N 2. - С. 75

ББК 32.815

Кл.слова (ненормированные):
Булевы функции -- несобственные параметры -- теория автоматов

Имеются экземпляры в отделах: всего 1 : з.п. (1)
Свободны: з.п. (1)

Найти похожие

Шифр: maup/2006/12
Журнал

Мехатроника, автоматизация, управление [Текст] : Теорет. и прикладной научно-техн. журн. - ISSN 1684-6427. - Выходит ежемесячно
2006г. N 12 . - Указатель статей за 2006 г.

Содержание:
Осипцева, О. С. Формирование требований к модальной модели и пропускной способности канала связи без помех в задаче цифрового дистанционного управления / О.С. Осипцева, А.В. Ушаков. - С.2-12. - Библиогр. в конце ст.
Кл.слова: МОДАЛЬНОЕ УПРАВЛЕНИЕ, МЕТОДЫ, СИСТЕМА ЦИФРОВОГО ДИСТАНЦИОННОГО УПРАВЛЕНИЯ, АНАЛИЗ ПРОЦЕСОВ, МОДАЛЬНЫЕ МОДЕЛИ, ФОРМИРОВАНИЕ ПАРАМЕТРОВ
Мамышев, Дж. Построение фундаментальной матрицы линейной разнотемповой системы управления с особенностями в кооффициентах вектора состояния / Дж. Мамышев, Ж. Шаршеналиев. - С.8-12. - Библиогр. в конце ст.
Кл.слова: СИСТЕМА УПРАВЛЕНИЯ, ОБЕСПЕЧЕНИЕ АСИМПТОТИЧЕСКИХ УСТРОЙСТВ, ФУНДАМЕНТАЛЬНАЯ МАТРИЦА
Шахнин, В. А. Расчетная модель датчика для гибких производственных модулей неразрушающего контроля / В.А. Шахнин. - С.13-17. - Библиогр. в конце ст.
Кл.слова: АВТОМАТИЗАЦИЯ НЕРАЗРУШАЮЩЕГО КОНТРОЛЯ, ЭЛЕКТРОМАГНИТНЫЕ ДАТЧИКИ, КОНСТРУКЦИИ, МАГНИТНОЕ ПОЛЕ ДАТЧИКА, РАСПРЕДЕЛЕНИЕ
Пономаренко, А. В. Универсальное диагностирование в частных классах конечных автоматов / А.В. Пономаренко. - С.17-24. - Библиогр. в конце ст.
Кл.слова: МЕХАТРОННЫЕ СИСТЕМЫ ДИАГНОСТИРОВАНИЕ, УПРАВЛЕНИЕ АВТОМАТАМИ, НЕДОСТИЖИМЫЕ ТРАЕКТОРИИ, КЛАССИФИКАЦИЯ АВТОМАТОВ
Чебурахин, И. Ф. Алгоритмы и языки логического управления / И.Ф. Чебурахин. - С.24-31. - Библиогр. в конце ст.
Кл.слова: АЛГОРИТМЫ ЛОГИЧЕСКОГО УПРАВЛЕНИЯ, ФУНКЦИОНАЛЬНЫЕ УРАВНЕНИЯ, ОБЩИЕ СВЕДЕНИЯ, БУЛЕВЫ ФУНКЦИИ
Зюбин, В. Е. "Си с процессами"- язык программирования логических контроллеров / В.Е. Зюбин. - С.31-35
Кл.слова: ЦИФРОВЫЕ СИСТЕМЫ УПРАВЛЕНИЯ , ПРОГРАММИРОВАНИЯ НА ЯЗЫКЕ РЕФЛЕКС, ЯЗЫК РЕФЛЕКС, ЦЕЛИ СОЗДАНИЯ
Воронин, А. Ю. Синтез распределительной системы управления магнитным полем тороидальной камеры. Часть 2 / А.Ю. Воронин, И.М. Першин. - С.36-42. - Библиогр. в конце ст.
Кл.слова: ЦИФРОВОЕ МОДЕЛИРОВАНИЕ, АМПЛИТУДНО-САСТОТНАЯ ХАРАКТЕРИСТИКА, МОДЕЛЬ МАГНИТНЫХ ПОЛЕЙ
Болнокин, В. Е. Оптимизация системы планирования для дискретных технологических процессов / В.Е. Болнокин, Ван Уи Данг. - С.42-45. - Библиогр. в конце ст.
Кл.слова: алгоритмы управления, АЛГОРИТМЫ ПОИСКА
Парфенов, И. И. Цепные дроби- перспективный математический аппарат анализ и синтеза человеко-машинной системы / И.И. Парфенов. - С.45-51. - Библиогр. в конце ст.
Кл.слова: ТЕОРИЯ ЦЕПНЫХ ДРОБЕЙ, ЧЕЛОВЕКО-МАШИННЫЕ СИСТЕМЫ, ИНТЕГРАЛЬНЫЕ ФУНКЦИИ СИСТЕМ
На вкладках: Сабо Ю.И., Ларкин Е.В. Отказоустойчивость авионики с иерархической структурой ; Парамонов П.П.,Видин Б.В.,Стрижевский В.С. Управление конфигурациями в сертифицируемых программных разработках ; Рожков В.Н. Информационно-логическая модель процесса контроля летательных аппаратов ; Малыхин Л.И.,Мишина В.К., Никифоров В.М. Методика синтеза и анализа алгоритмов терминального управления прицеливанием ракет
Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Румянцев, Г. Н. (д. т. н., проф.).
Автоматизация и оптимизация синтеза комбинационных автоматов [Текст] / Г. Н. Румянцев, И. Ф. Чебурахин // Мехатроника, автоматизация, управление. - 2008. - N 7 (88). - С. 54. - Полный текст статьи опубликован в Приложении к журналу

УДК

^a519.6

ББК 22.19
Рубрики: Математика
Вычислительная математика
Кл.слова (ненормированные):
цифровые интегральные схемы -- булевы функции -- показатели качества -- функциональные уравнения -- многокритериальная оптимизация -- интеллектуальный синтез -- комбинационные автоматы
Аннотация: Показываются возможности функциональных уравнений при представлении булевых функций в классах формул и схем из функциональных элементов в разных базисах, позволяющие получать соответствующие выражения для показателей сложности-качества и минимизировать их. Эти результаты предлагается использовать в системах интеллектуального синтеза комбинационных автоматов в базисе микросхем.

Доп.точки доступа:
Чебурахин, И. Ф. (д. т. н., проф.)

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Чебурахин, И. Ф. (д. т. н., профессор).
Оптимизация и автоматизация синтеза симметрических комбинационных автоматов на основе базовых матричных кристаллов [Текст] / И. Ф. Чебурахин, В. И. Цурков // Мехатроника, автоматизация, управление. - 2009. - N 7 (100). - С. 19-29. : ил. - Библиогр.: с. 29 (28 назв. )

УДК

^a621.398

^a519.7

ББК 32.96 + 22.18
Рубрики: Радиоэлектроника
   Автоматика и телемеханика
   Математика
   Математическая кибернетика
Кл.слова (ненормированные):
симметрические автоматы -- комбинационные автоматы -- матричные кристаллы -- функциональные уравнения -- булевы функции -- цифровые интегральные схемы -- декомпозиции
Аннотация: Предлагаются методы и средства для оптимизации и автоматизации синтеза комбинационных автоматов на основе базовых матричных кристаллов. Показываются возможности использования функциональных уравнений при представлении симметрических булевых функций в классах формул и схем из функциональных элементов в разных базисах, позволяющие получать соответствующие функционалы для показателей сложности-качества и минимизировать их.

Доп.точки доступа:
Цурков, В. И. (д-р физ. -мат. наук, профессор, зав. отделом)

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)
Заказаны экз-ры для отделов: ч.з.

Найти похожие

Леонтьев, В. К.
О мерах сходства и расстояниях между объектами [Текст] / В. К. Леонтьев // Журнал вычислительной математики и математической физики. - 2009. - Т. 49, N 11. - С. 2041-2058. . - Библиогр.: с. 2057-2058

УДК

^a519.7

ББК 22.18
Рубрики: Математика
Математическая кибернетика
Кл.слова (ненормированные):
булевы функции -- графы -- Левенштейна метрики -- меры сходства -- меры Хаусдорфа -- метрики Левенштейна -- метрики различия -- метрики Хемминга -- расстояния между объектами -- функции близости -- Хаусдорфа меры -- Хемминга метрики
Аннотация: Рассматриваются различные метрики и функции от метрик. Приводится ряд результатов, относящихся к определению сходства и различия объектов для разных способов измерений.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Коршунов, А. Д.
Некоторые нерешенные задачи дискретной математики и математической кибернетики [Текст] / А. Д. Коршунов // Успехи математических наук. - 2009. - Т. 64, Вып. 5. - С. 3-20. - Библиогр.: с. 15-20 (73 назв. ) . - ISSN 0042-1316

УДК

^a510

^a519.7

ББК 22.1 + 22.18
Рубрики: Математика
Общие вопросы математики
Математическая кибернетика
Кл.слова (ненормированные):
дискретная математика -- гамильтоновы циклы -- тройки Штейнера -- Штейнера тройки -- булевы функции -- булевы кубы -- числовые множества -- изоморфизм графов -- полиномиальные задачи -- комбинаторная математика
Аннотация: В области дискретной математики и математической кибернетики известно большое число нерешенных задач. Написание достаточно полного обзора по таким задачам связано с преодолением больших трудностей. Во-первых, спектр таких задач весьма широк и разнообразен. Во-вторых, степень трудности решения разных задач сильно отличаются друг от друга. Поэтому из множества задач даже в подробный и обстоятельный обзор следует включать не все задачи, а наиболее важные и существенные. Объективный отбор таких задач затруднителен. В настоящую статью включены 13 нерешенных задач, относящихся к комбинаторной математике и теории сложности вычислений. Отобранные задачи отражают 50-летние исследования автора и по этой причине в определенной степени являются субъективными. Вместе с тем, эти задачи трудны и представляют значительный интерес для дискретной математики и математической кибернетики.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Подольский, В. В.
Уменьшение на единицу степени многочлена с заданной знаковой функцией может экспоненциально увеличить его вес и длину [Текст] / В. В. Подольский, А. А. Шерстов ; представлено В. М. Бухштабером // Успехи математических наук. - 2009. - Т. 64, Вып. 5. - С. 179-180. - Библиогр.: с. 180 (3 назв. ) . - ISSN 0042-1316

УДК

^a517.5

ББК 22.161.5
Рубрики: Математика
Теория функций
Кл.слова (ненормированные):
знаковые функции -- булевы функции -- целочисленные многочлены -- многочлены -- пороговые элементы -- функции голосования
Аннотация: Авторы показывают, что необходимый для вычисления заданной функции вес пороговых элементов может сильно измениться в ответ на небольшие изменения степени пороговых элементов.

Доп.точки доступа:
Шерстов, А. А.; Бухштабер, В. М. \.\

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Кривилев, А. В.
Автоматизированный синтез управляющих булевых функций мехатронного модуля привода с трехфазным вентильным двигателем [Текст] / А. В. Кривилев // Известия РАН. Теория и системы управления. - 2010. - N 2. - С. 153-163. - Библиогр.: c. 162-163 (12 назв. ) . - ISSN 0002-3388

УДК

^a621.313.2.072.2

ББК 32.813
Рубрики: Радиоэлектроника
Искусственный интеллект. Экспертные системы
Кл.слова (ненормированные):
управляющие булевы функции -- синтез управляющих булевых функций -- булевы функции -- автоматический синтез управляющих булевых функций -- мехатронные модули электроприводов -- Mathematica (язык программирования) -- электроприводы с вентильными двигателями -- коммутация ключевых элементов -- коммутационные процессы -- MatLab (программа)
Аннотация: Предложен автоматизированный подход к синтезу управляющих булевых функций, позволяющий получить таблицу состояний и их аналитические выражения для произвольного метода коммутации ключевыми элементами с последующей передачей результатов в системы моделирования и автоматизированного проектирования. Программная реализация метода выполнена на языке Mathematica.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Чебурахин, И. Ф. (д-р техн. наук, профессор).
Специальная реляционная база данных для оптимизации и автоматизации синтеза комбинационных автоматов [Текст] / И. Ф. Чебурахин, В. И. Цурков // Мехатроника, автоматизация, управление. - 2010. - N 9 (114). - С. 7-13. : ил. - Библиогр.: с. 12-13 (28 назв. )

УДК

^a621.398

^a519.7

ББК 32.96 + 22.18
Рубрики: Радиоэлектроника
   Автоматика и телемеханика
   Математика
   Математическая кибернетика
Кл.слова (ненормированные):
реляционные базы данных -- комбинационные автоматы -- булевы функции -- декомпозиции -- функциональные уравнения -- многокритериальная оптимизация
Аннотация: Для оптимизации и автоматизации синтеза комбинационных автоматов предлагаются методы на основе структурно-функциональной последовательной (параллельной) декомпозиции булевых функций, а также на основе функциональных уравнений. Получены оценки для показателей качества синтеза в разных базисах: число символов переменных в задающей функцию формуле; число подформул и глубина формулы; число функциональных элементов и глубина схемы, составляющие реляционную базу данных. Некоторые полученные оценки показателей качества - ложности синтеза, представляющие практический интерес, минимальные.

Доп.точки доступа:
Цурков, В. И. (д-р физ. -мат. наук, профессор, зав. отделом)

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

10.

Чебурахин, И. Ф. (д. т. н., профессор).
Логическое управление и обработка информации в мехатронных системах [Текст] / И. Ф. Чебурахин, В. И. Цурков // Мехатроника, автоматизация, управление. - 2010. - N 5 (110). - С. 33-37. : ил. - Библиогр.: с. 37 (12 назв. )

УДК

^a621.398

^a519.7

ББК 32.96 + 22.18
Рубрики: Радиоэлектроника
   Автоматика и телемеханика
   Математика
   Математическая кибернетика
Кл.слова (ненормированные):
мехатронные системы -- обработка информации -- логическое управление -- булевы функции -- декомпозиции -- многокритериальная оптимизация -- мультиплексоры
Аннотация: Усовершенствован математический аппарат, применяемый для автоматизации и оптимизации синтеза дискретных устройств логического управления и обработки информации (комбинационных автоматов). В качестве базисов могут применяться микросхемы различной степени интеграции. Для математических моделей, булевых функций из различных классов заранее выводятся оценки (нижние, верхние и минимальные) функционалов качества, получаемые при реализации этих функций в различных базисах. Методы рекомендуются для интеллектуализации систем синтеза комбинационных автоматов.

Доп.точки доступа:
Цурков, В. И. (д-p физ. -мат. наук, профессор, зав. отделом)

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

11.

Чебурахин, И. Ф. (доктор технических наук, профессор).
Синтез дискретных логических устройств обработки информации на основе теории агентов [Текст] / И. Ф. Чебурахин, В. И. Цурков // Мехатроника, автоматизация, управление. - 2011. - N 3 (120). - С. 27-34. : ил. - Библиогр.: с. 34 (23 назв. )

УДК

^a004.9

^a519.7

ББК 32.973-018.2 + 22.18
Рубрики: Вычислительная техника
   Прикладные информационные (компьютерные) технологии в целом
   Математика
   Математическая кибернетика
Кл.слова (ненормированные):
информационные агентные системы -- агентные системы -- теория агентов -- дискретные логические устройства -- обработка информации -- многоядерные процессоры -- булевы функции -- декомпозиция -- кодирование
Аннотация: Предлагается программно и аппаратно реализуемая обработка логической информации для автоматизированных информационных управляющих систем. Особенностью подхода является разработка алгоритмов для непрямых методов вычисления произвольной булевой функции в разных базисах, основывающихся на декомпозиции, классификации множества булевых функций и кодирования. Определяются методы минимизации программ по числу исполняемых операций, которые учитываются в основных алгоритмах. Другой особенностью подхода является направленность на возможное распараллеливание вычислений. Алгоритмы соответствующим образом преобразуются, облегчая в дальнейшем программирование для систем с многоядерными процессорами.

Доп.точки доступа:
Цурков, В. И. (доктор физико-математических наук, профессор)

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

12.

Корягин, К. Н.
Уровневая структура полиномов Жегалкина, свойства тестовых множеств и алгоритм поиска аннигиляторов [Текст] / К. Н. Корягин // Журнал вычислительной математики и математической физики. - 2010. - Т. 50, N 7. - С. 1334-1340. . - Библиогр.: c. 1340

УДК

^a519.6

ББК 22.19
Рубрики: Математика
Вычислительная математика
Кл.слова (ненормированные):
алгоритмы поиска аннигиляторов -- аннигиляторы -- булевы функции -- единичные n-мерные кубы -- Жегалкина полиномы -- линейные булевы уравнения -- полиномы Жегалкина -- тестовые множества -- тупиковые тестовые множества
Аннотация: В начале статьи исследуются свойства булевых функций, заданных полиномами Жегалкина степени не выше k от n переменных с точки зрения закономерности размещения их единичных (нулевых) точек на единичном кубе. Далее рассматривается вопрос о свойствах тестовых множеств для полиномов Жегалкина, где основное значение имеют тупиковые тестовые множества. В конце статьи описывается детерминированный (не вероятностный) алгоритм для поиска всех аннулирующих многочленов (аннигиляторов) для заданного полинома, в том числе поиск аннигиляторов минимальной степени, имеющих приложение в криптологии. В известных алгоритмах поиска аннигиляторов задача сводится к решению систем линейных булевых уравнений. Понижение размерности этих систем уменьшает алгоритмическую сложность решения задачи. Предложенный алгоритм позволяет достичь этой цели, но не решает вопроса улучшения асимптотической сложности решения этих систем.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

13.

Бибило, П. Н.
Декомпозиция систем булевых функций, заданных диаграммами двоичного выбора [Текст] / П. Н. Бибило, П. В. Леончик // Известия РАН. Теория и системы управления. - 2011. - N 4. - С. 86-101. . - Библиогр.: c. 101 (35 назв. )

УДК

^a519.1

ББК 22.174.1
Рубрики: Математика
Комбинаторный анализ
Кл.слова (ненормированные):
булевы функции -- системы булевых функций -- декомпозиция систем -- разбиение множества переменных -- диаграмма двоичного выбора -- синтез логических систем
Аннотация: Предлагается метод декомпозиции системы полностью определенных булевых функций по двухблочному разбиению множества переменных и алгоритм выбора разбиения этого множества. Система функций задается диаграммой двоичного выбора, что облегчает отыскание разбиения переменных и проведение декомпозиции по использованному разбиению переменных. Приводятся результаты экспериментальных исследований, показывающие эффективность декомпозиции при синтезе логических схем.

Доп.точки доступа:
Леончик, П. В.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

14.

Коршунов, А. Д.
Сложность вычислений булевых функций [Текст] / А. Д. Коршунов // Успехи математических наук. - 2012. - Т. 67, вып. 1 (403). - С. 97-168 : ил. - Библиогр.: с. 159-168 (165 назв.) . - ISSN 0042-1316

УДК

^a519.1

^a519.7

ББК 22.174.1 + 22.18
Рубрики: Математика
Комбинаторный анализ
Математическая кибернетика
Кл.слова (ненормированные):
булевы функции -- сложность вычислений -- булевы схемы -- булевы схемы без ветвлений -- контактные схемы -- клеточные схемы -- частичные булевы функции -- логические формулы -- дискретная математика
Аннотация: Булевы функции являются одним из основных объектов дискретной математики, в особенности тех ее разделов, которые входят в математическую логику и математическую кибернетику. Язык булевых функций удобен для описания функционирования многих дискретных систем, например, контактных схем, булевых схем, ветвящихся программ и некоторых других. Важным параметром таких дискретных систем является их сложность. Эта характеристика активно изучается, начиная с работ К. Шеннона. Опубликовано много научных статей, в которых содержится большое число результатов. Цель обзора - изложение основных результатов по сложности вычислений (реализации) булевых функций контактными схемами, булевыми схемами и булевыми схемами без ветвлений, которые получены за последние шестьдесят лет.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

15.

Чебурахин, И. Ф. (доктор технических наук; профессор).
Математические модели для минимизации и автоматизации синтеза дискретных управляющих систем [Текст] / И. Ф. Чебурахин // Мехатроника, автоматизация, управление. - 2012. - № 4 (133). - С. 5-13 : ил. - Библиогр.: с. 13 (17 назв.) . - ISSN 1684-6427

УДК

^a519.7

ББК 22.18
Рубрики: Математика
Математическая кибернетика
Кл.слова (ненормированные):
математические модели -- синтез формул -- синтез схем -- дискретные управляющие системы -- автоматизация синтеза -- булевы функции -- декомпозиция -- функциональные уравнения -- функциональные элементы
Аннотация: Исследуется задача реализации булевых функций в классе формул и схем из функциональных элементов (ФЭ) в разных базисах. Предлагается конструктивный метод синтеза на основе функциональных уравнений, сопровождаемый получением заранее аналитически верхних оценок различных показателей сложности (по числу подформул и глубине суперпозиционной формулы; по числу ФЭ и глубине схемы). При реализации произвольной булевой функции в базисе Жегалкина выводится структура оценивающего функционала по сложности.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

16.

Черемисинова, Л. Д.
Формальная верификация логических описаний с функциональной неопределенностью на основе логарифмического кодирования условий [Текст] / Л. Д. Черемисинова // Автоматика и телемеханика. - 2012. - № 7. - С. 139-153 : ил. - Библиогр.: с. 153 (13 назв.) . - ISSN 0005-2310

УДК

^a621.398

ББК 32.96
Рубрики: Радиоэлектроника
Автоматика и телемеханика
Кл.слова (ненормированные):
комбинационные схемы -- многовыходные интервалы -- логарифмическое кодирование -- логические описания -- булевы функции -- формальная верификация -- функциональная неопределенность -- верификация -- кодирование условий -- конъюнктивные нормальные формы
Аннотация: Рассматривается задача проверки реализуемости описания с функциональной неопределенностью, представленного системой частично определенных булевых функций, заданной комбинационной схемой.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

17.

Чебурахин, И. Ф. (доктор технических наук; профессор).
Алгоритмизация представления булевых функций формулами и схемами минимальной сложности в базисе Жегалкина [Текст] / И. Ф. Чебурахин // Мехатроника, автоматизация, управление. - 2012. - № 12 (141). - С. 7-14. - Библиогр.: с. 14 (10 назв.) . - ISSN 1684-6427

УДК

^a519.7

ББК 22.18
Рубрики: Математика
Математическая кибернетика
Кл.слова (ненормированные):
алгоритмизация -- булевы функции -- базис Жегалкина -- Жегалкина базис -- минимизация -- декомпозиция -- синтез булевых формул -- функциональные уравнения -- функциональные элементы
Аннотация: Предлагаются алгоритмы синтеза булевых (логических) формул в базисе Жегалкина и получения при этом эффективных оценок сложности (по числу букв, базисных функций и других). Также предложена оригинальная классификация множества булевых функций, позволяющая выводить некоторые счетные их классы на основе функциональных уравнений и подсчитывать мощность этих классов. При этом методы позволяют проводить эффективный синтез схем из функциональных элементов.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

18.

Корягин, К. Н.
Тупиковые тестовые множества для полиномов Жегалкина, аффинно эквивалентные шару, и недостаточность такого описания в общем случае [Текст] / К. Н. Корягин // Журнал вычислительной математики и математической физики. - 2012. - Т. 52, № 7. - С. 1325-1331. - Библиогр.: c. 1331 . - ISSN 0044-4669

УДК

^a519.7

ББК 22.18
Рубрики: Математика
Математическая кибернетика
Кл.слова (ненормированные):
Жегалкина полином -- булевы функции -- единичные n-мерные кубы -- полином Жегалкина -- тестовые множества -- тупиковые тестовые множества
Аннотация: В статье рассматривается вопрос о соответствии между множеством всех тупиковых тестовых множеств для полиномов Жегалкина от n переменных степени не выше k и тупиковыми тестовыми множествами, получаемыми из шара B[k] (0) с помощью невырожденных аффинных преобразований.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

19.

Золоторевич, Л. А.
Верификация проектов и построение тестов контроля СБИС на уровне RTL [Текст] / Л. А. Золоторевич // Автоматика и телемеханика. - 2013. - № 1. - С. 146-158 : ил. - Библиогр.: с. 158 (7 назв.) . - ISSN 0005-2310

УДК

^a621.398

^a681.5

ББК 32.96 + 32.81
Рубрики: Радиоэлектроника
Автоматика и телемеханика
Кибернетика
Кл.слова (ненормированные):
методы верификации проектов -- тесты контроля СБИС -- язык VHDL -- системы булевых функций -- СБИС -- верификация проектов -- техническая диагностика -- булевы функции -- сверхбольшие интегральные схемы -- интегральные схемы -- резисторно-транзисторные логические схемы
Аннотация: Предлагается метод верификации проектов и направленного построения тестов контроля СБИС, представленных на уровне RTL на языке VHDL.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

20.

Зайцева, Е. Н.
Анализ значимости элементов структурно-сложной системы с помощью логического дифференциального исчисления [Текст] / Е. Н. Зайцева, В. Г. Левашенко // Автоматика и телемеханика. - 2013. - № 2. - С. 6-21 : ил. - Библиогр.: с. 21 (23 назв.) . - ISSN 0005-2310

УДК

^a621.398

ББК 32.96
Рубрики: Радиоэлектроника
Автоматика и телемеханика
Кл.слова (ненормированные):
взаимосвязанные элементы -- работоспособность систем -- бинарные математические модели -- логические дифференциальные исчисления -- математические модели -- дифференциальные исчисления -- булевы функции -- элементы систем -- анализ значимости элементов -- значимость элементов -- структурно-сложные системы -- отказ систем -- надежность систем
Аннотация: В большинстве случаев реальный объект или процесс является комплексом взаимосвязанных элементов, представляющих собой структурно-сложную систему. Предлагается новый подход к анализу и оценке значимости элементов системы на основе логического дифференциального исчисления булевых функций.

Доп.точки доступа:
Левашенко, В. Г.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

1-20 21-38

Тематический навигатор

Статистика за 18.08.2024
Число запросов	67926
Число посетителей	1
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)