Сортировать по:
| Выпуск | Название | |
| № 3(31) (2011) | ВЕРИФИКАЦИЯ ЛОГИЧЕСКИХ СХЕМ, РЕАЛИЗУЮЩИХ СИСТЕМЫ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, Д. Я. Новиков | ||
| "... Рассматривается задача верификации логических схем, реализующих системы частично определенных ..." | ||
| № 4(12) (2006) | СиВер – СИСТЕМА СИНТЕЗА И ВЕРИФИКАЦИИ КОМБИНАЦИОННЫХ ЛОГИЧЕСКИХ СХЕМ | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, С. Н. Кардаш, В. И. Романов | ||
| "... булевых функций, а также описания на языке VHDL. Система СиВер состыкована с системой синтеза ..." | ||
| № 2(34) (2012) | ПОСТРОЕНИЕ ТЕСТОВ И ВЕРИФИКАЦИЯ ПОТОКОВЫХ МОДЕЛЕЙ ЦИФРОВЫХ УСТРОЙСТВ НА ЯЗЫКЕ VHDL | Аннотация PDF (Rus) похожие документы |
| Л. А. Золоторевич | ||
| "... , представленных в потоковом виде на уровне RTL на языке VHDL с использованием арифметических, логических ..." | ||
| Том 18, № 4 (2021) | Распознавание логических вентилей в плоской транзисторной схеме | Аннотация PDF (Rus) похожие документы |
| Д. И. Черемисинов, Л. Д. Черемисинова | ||
| "... схемы транзисторного уровня путем распознавания в ней подсхем, реализующих логические элементы. М е то ..." | ||
| Том 18, № 1 (2021) | Логическая минимизация при синтезе комбинационных структур в FPGA | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, Ю. Ю. Ланкевич, В. И. Романов | ||
| "... (дизъюнктивных нормальных форм) и минимизации многоуровневых представлений систем полностью определенных булевых ..." | ||
| Том 21, № 3 (2024) | Извлечение логических сетей при декомпиляции описаний КМОП-схем на уровне транзисторов | Аннотация PDF (Rus) похожие документы |
| Д. И. Черемисинов, Л. Д. Черемисинова | ||
| "... descriptions of discrete devices and in high-level languages (VHDL and Verilog). Conclusion. The developed ..." | ||
| Том 19, № 3 (2022) | Канонизация графов при декомпиляции транзисторных схем | Аннотация PDF (Rus) похожие документы |
| Д. И. Черемисинов, Л. Д. Черемисинова | ||
| "... транзисторной схеме, которые позволяют получить представление на уровне логических элементов, эквивалентное ..." | ||
| № 1(5) (2005) | ОПИСАНИЕ ПАРАЛЛЕЛЬНЫХ И СЕКВЕНЦИАЛЬНЫХ АВТОМАТОВ НА ЯЗЫКЕ VHDL | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило | ||
| "... Предлагаются синтезируемые VHDL-модели параллельных автоматов, представленных на языке ПРАЛУ, и ..." | ||
| Том 20, № 2 (2023) | Применение диаграмм решений не полностью определенных функций k-значной логики при синтезе логических схем | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило | ||
| "... оптимизированных описаний систем булевых функций описаниями логических элементов. ..." | ||
| № 1(9) (2006) | СРАВНЕНИЕ СХЕМНЫХ РЕАЛИЗАЦИЙ VHDL-МОДЕЛЕЙ, ИСПОЛЬЗУЮЩИХ ЧАСТИЧНУЮ ОПРЕДЕЛЕННОСТЬ БУЛЕВЫХ ФУНКЦИЙ | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило | ||
| "... LeonardoSpectrum более простые логические схемы по сравнению с VHDL-моделями, базирующимися на системах полностью ..." | ||
| Том 21, № 1 (2024) | Технологически независимая оптимизация при реализации в заказных СБИС разреженных систем дизъюнктивных нормальных форм булевых функций | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, С. Н. Кардаш | ||
| "... цифровых СБИС разреженных систем дизъюнктивных нормальных форм (ДНФ) полностью определенных булевых функций ..." | ||
| № 2(34) (2012) | ФУНКЦИОНАЛЬНЫЕ VHDL-МОДЕЛИ ЭЛЕМЕНТОВ FPGA СЕМЕЙСТВА SPARTAN 3 ДЛЯ КОНВЕРТАЦИИ ПРОЕКТОВ ЦИФРОВЫХ СИСТЕМ В ЗАКАЗНЫЕ СБИС | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, А. Л. Соловьев | ||
| "... элементов предлагаются синтезируемые VHDL-модели тех логических элементов, которые входят в конфигурируемые ..." | ||
| № 2(18) (2008) | ВНЕДРЕНИЕ ФУНКЦИОНАЛЬНЫХ НЕИСПРАВНОСТЕЙ ОЗУ В ОПИСАНИЯ ЦИФРОВЫХ УСТРОЙСТВ НА ЯЗЫКЕ VHDL | Аннотация PDF (Rus) похожие документы |
| А. А. Иванюк, А. В. Степанов | ||
| "... устройств при помощи языка VHDL. Предлагается методика внедрения моделей функциональных неисправностей ОЗУ в ..." | ||
| № 1(33) (2012) | ОЦЕНКА ЭНЕРГОПОТРЕБЛЕНИЯ КМОП-СХЕМ НА ОСНОВЕ ЛОГИЧЕСКОГО МОДЕЛИРОВАНИЯ | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, А. Л. Соловьев | ||
| "... энергопотребления по структурным описаниям схем с помощью быстродействующего логического VHDL-моделирования ..." | ||
| Том 16, № 2 (2019) | Логическая минимизация булевых сетей с использованием разложения Шеннона | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, Ю. Ю. Ланкевич | ||
| "... Синтез логических схем, реализующих комбинационные блоки сверхбольших интегральных схем, – одна из ..." | ||
| Том 15, № 4 (2018) | Использование языка ПРАЛУ для верификации цифровых устройств | Аннотация PDF (Rus) похожие документы |
| Д. И. Черемисинов | ||
| "... Рассматривается задача создания испытательного стенда для функциональной верификации. В процессе ..." | ||
| № 3 (2016) | СХЕМНАЯ РЕАЛИЗАЦИЯ VHDL-ОПИСАНИЙ СИСТЕМ НЕ ПОЛНОСТЬЮ ОПРЕДЕЛЕННЫХ БУЛЕВЫХ ФУНКЦИЙ | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило | ||
| "... Method for description of incompletely specified (partial) Boolean functions in VHDL is proposed ..." | ||
| № 1 (2014) | ОСОБЕННОСТИ ОБФУСКАЦИИ VHDL-ОПИСАНИЙ И МЕТОДЫ ОЦЕНКИ ЕЕ СЛОЖНОСТИ | Аннотация PDF (Rus) похожие документы |
| В. В. Сергейчик, А. А. Иванюк | ||
| "... is given and their drawbacks are investigated when applied to specifications in VHDL language. Complexity ..." | ||
| Том 18, № 3 (2021) | Контроль надежности защиты интегральных схем от троянов: кодирование и декодирование комбинационных структур | Аннотация PDF (Rus) похожие документы |
| Л. А. Золоторевич, В. А. Ильинков | ||
| "... интегральных схем при разработке и в процессе производства на этапах спецификации, проектирования, верификации ..." | ||
| № 1(9) (2006) | VHDL-МОДЕЛИ МАТЕМАТИЧЕСКИХ ФУНКЦИЙ, ОСНОВАННЫЕ НА КУСОЧНО-ПОЛИНОМИАЛЬНОЙ ИНТЕРПОЛЯЦИИ | Аннотация PDF (Rus) похожие документы |
| Д. А. Кочанов | ||
| "... Предлагается способ создания VHDL-моделей математических функций с использованием стандартных ..." | ||
| № 3(7) (2005) | МОДЕЛИРОВАНИЕ НЕИСПРАВНОСТЕЙ СБИС НА ПОВЕДЕНЧЕСКОМ УРОВНЕ НА ЯЗЫКЕ VHDL | Аннотация PDF (Rus) похожие документы |
| Л. А. Золоторевич | ||
| "... , представленных на поведенческом уровне на языке VHDL. Предлагается формальный подход к решению задачи, в основе ..." | ||
| № 1(5) (2005) | МОДЕЛИРОВАНИЕ НЕИСПРАВНОСТЕЙ В СТРУКТУРАХ СБИС НА ЯЗЫКЕ VHDL | Аннотация PDF (Rus) похожие документы |
| Л. А. Золоторевич | ||
| "... , представленных на структурном уровне на языке VHDL. Дается анализ эффективности предлагаемых решений. ..." | ||
| № 1(13) (2007) | МОДЕЛИРОВАНИЕ ФУНКЦИОНАЛЬНЫХ НЕИСПРАВНОСТЕЙ ЦИФРОВЫХ УСТРОЙСТВ СРЕДСТВАМИ ЯЗЫКА VHDL | Аннотация PDF (Rus) похожие документы |
| А. А. Иванюк | ||
| "... устройств на языке VHDL. Рассматриваются вопросы, связанные с распределением неисправностей в процессе ..." | ||
| Том 18, № 2 (2021) | Минимизация многоуровневых представлений систем полностью определенных булевых функций с использованием разложений Шеннона и алгебраических представлений кофакторов | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, В. И. Романов | ||
| "... логическими формулами и сокращать число литералов в описании системы булевых функций. Число литералов в ..." | ||
| № 4(04) (2004) | АВТОМАТИЗАЦИЯ ЛОГИЧЕСКОГО ПРОЕКТИРОВАНИЯ | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, Л. Д. Черемисинова | ||
| "... Дается краткий обзор теоретических результатов, полученных в лаборатории логического проектирования ..." | ||
| Том 20, № 4 (2023) | Онтологический анализ в задачах моделирования угроз системам на основе контейнерных приложений | Аннотация PDF (Rus) похожие документы |
| А. И. Бражук, Е. В. Олизарович | ||
| "... Цели. Основной целью работы является экспериментальная верификация методики автоматического ..." | ||
| № 1(5) (2005) | СИСТЕМА АВТОМАТИЗАЦИИ ЭКСПЕРИМЕНТОВ, РЕАЛИЗУЮЩАЯ АГРЕГАТНЫЙ СПОСОБ ИМИТАЦИИ ТЕХНОЛОГИЧЕСКИХ ПРОЦЕССОВ | Аннотация PDF (Rus) похожие документы |
| И. В. Максимей, В. С. Смородин, Е. И. Сукач | ||
| "... автоматизации моделирования, реализующей агрегатный способ имитации. ..." | ||
| № 2(30) (2011) | ЭНЕРГОСБЕРЕГАЮЩЕЕ ПОКРЫТИЕ БИБЛИОТЕЧНЫМИ ЭЛЕМЕНТАМИ СХЕМЫ, РЕАЛИЗУЮЩЕЙ ДИАГРАММУ ДВОИЧНОГО ВЫБОРА | Аннотация PDF (Rus) похожие документы |
| Ю. В. Поттосин | ||
| "... Рассматривается задача покрытия библиотечными модулями комбинационной схемы, реализующей систему ..." | ||
| Том 20, № 1 (2023) | Совместное энергосберегающее кодирование состояний последовательных автоматов сети, реализующей параллельный автомат | Аннотация PDF (Rus) похожие документы |
| Ю. В. Поттосин | ||
| "... . Описан способ построения сети из последовательных автоматов, реализующей заданный параллельный автомат ..." | ||
| № 3(03) (2004) | ПОСТРОЕНИЕ VHDL-МОДЕЛЕЙ СХЕМ ДЛЯ ВЫЧИСЛЕНИЯ ФУНКЦИЙ, ЗАДАННЫХ В ТАБЛИЧНОЙ ФОРМЕ | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, Д. А. Кочанов | ||
| "... Предлагаются средства для создания VHDL-моделей аналитических функций с использованием стандартных ..." | ||
| № 3 (2016) | ЭВРИСТИЧЕСКИЙ МЕТОД ЭНЕРГОСБЕРЕГАЮЩЕГО ПРОТИВОГОНОЧНОГО КОДИРОВАНИЯ СОСТОЯНИЙ АСИНХРОННОГО АВТОМАТА | Аннотация PDF (Rus) похожие документы |
| Ю. В. Поттосин | ||
| "... активности элементов памяти в реализующей логической схеме. Предлагается эвристический метод решения этой ..." | ||
| Том 17, № 3 (2020) | Алгоритмы разбиения логических схем на подсхемы | Аннотация PDF (Rus) похожие документы |
| Н. А. Кириенко | ||
| "... Рассматривается задача разбиения логической схемы на подсхемы, имеющая большое значение при ..." | ||
| № 1(53) (2017) | ОТОБРАЖЕНИЕ ЛОГИЧЕСКИХ СЕТЕЙ В ЗАДАННЫЙ ТЕХНОЛОГИЧЕСКИЙ БАЗИС | Аннотация PDF (Rus) похожие документы |
| Д. И. Черемисинов | ||
| "... Рассматривается задача синтеза многоуровневых логических сетей в базисе библиотечных элементов ..." | ||
| № 3(11) (2006) | КОМПЛЕКС ПРОГРАММ СИНТЕЗА ЛОГИЧЕСКИХ СХЕМ НА БАЗЕ ПРОГРАММИРУЕМЫХ ЛОГИЧЕСКИХ ИНТЕГРАЛЬНЫХ СХЕМ | Аннотация PDF (Rus) похожие документы |
| Л. Д. Черемисинова | ||
| "... Описывается программный комплекс решения задач декомпозиции, возникающих при синтезе логических ..." | ||
| № 1(29) (2011) | АЛГОРИТМЫ ЭНЕРГОСБЕРЕГАЮЩЕГО КОДИРОВАНИЯ СОСТОЯНИЙ АВТОМАТА | Аннотация PDF (Rus) похожие документы |
| А. Д. Закревский | ||
| "... затраты энергии в реализующей автомат логической схеме. Первый из них основан на оптимальном отображении ..." | ||
| № 1(01) (2004) | ОБ ИНТЕРПРЕТАЦИИ ВРЕМЕННОЙ ЛОГИКИ ПРИ СИМВОЛИЧЕСКОЙ ВЕРИФИКАЦИИ | Аннотация PDF (Rus) похожие документы |
| Д. И. Черемисинов | ||
| "... В последние годы инструменты для символической верификации на основе временной логики входят в ..." | ||
| № 1 (2015) | МНОГОКРАТНАЯ СВЕРТКА РЕГУЛЯРНЫХ СТРУКТУР НА ОСНОВЕ РЕШЕНИЯ ЛОГИЧЕСКИХ УРАВНЕНИЙ | Аннотация PDF (Rus) похожие документы |
| Л. Д. Черемисинова | ||
| "... реализуемости множества свертки, который основывается на сведении задачи к решению логического уравнения и ..." | ||
| № 1(9) (2006) | РЕШЕНИЕ БОЛЬШИНСТВА ЛИНЕЙНЫХ ЛОГИЧЕСКИХ УРАВНЕНИЙ НЕСОВМЕСТНОЙ СИСТЕМЫ НА СУПЕРКОМПЬЮТЕРЕ | Аннотация PDF (Rus) похожие документы |
| А. Д. Закревский, Н. Р. Торопов | ||
| "... Рассматриваются переопределенные системы линейных логических уравнений, число уравнений в которых ..." | ||
| № 2(14) (2007) | ОПТИМИЗАЦИЯ ЛОГИЧЕСКОЙ СХЕМЫ АВТОМАТА МУРА НА ПРОГРАММИРУЕМОЙ МАТРИЧНОЙ ЛОГИКЕ | Аннотация PDF (Rus) похожие документы |
| А. А. Баркалов, Л. А. Титаренко, С. Я. Хмелевский | ||
| "... Описывается метод уменьшения числа макроячеек программируемой матричной логики (ПМЛ) в логической ..." | ||
| № 1(13) (2007) | ИССЛЕДОВАНИЕ ЭФФЕКТИВНОСТИ ЛОГИЧЕСКОЙ МИНИМИЗАЦИИ В ПРОЦЕССЕ СИНТЕЗА КОМБИНАЦИОННЫХ СХЕМ | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, П. В. Леончик | ||
| "... полностью определенных булевых функций на площадь регулярных схем программируемых логических матриц и на ..." | ||
| № 2(22) (2009) | ФОРМИРОВАНИЕ ПРОСТРАНСТВЕННО-ЛОГИЧЕСКИХ СВЯЗЕЙ ОБЪЕКТОВ ЦИФРОВЫХ КАРТ В ГЕОИНФОРМАЦИОННЫХ СИСТЕМАХ | Аннотация PDF (Rus) похожие документы |
| С. В. Абламейко, С. П. Боричев | ||
| "... Рассматривается проблема ускорения процесса формирования пространственно-логических связей ..." | ||
| № 3(23) (2009) | ОПТИМИЗАЦИОННЫЕ ПРЕОБРАЗОВАНИЯ ЛОГИЧЕСКОЙ СХЕМЫ НА ОСНОВЕ БЛОЧНОГО РАЗБИЕНИЯ | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, Н. А. Кириенко | ||
| "... Исследуется возможность использования метода разбиения логических сетей для минимизации сложности ..." | ||
| № 2 (2015) | ПРИМЕНЕНИЕ ОЦЕНОК СЛОЖНОСТИ ДИАГРАММ ДВОИЧНОГО ВЫБОРА ПРИ СИНТЕЗЕ ЛОГИЧЕСКИХ СХЕМ | Аннотация PDF (Rus) похожие документы |
| Н. А. Авдеев, П. Н. Бибило | ||
| "... логических элементов по BDD-представлению (диаграмме двоичного выбора) системы булевых функций. Описываются ..." | ||
| № 1(5) (2005) | ВЕРИФИКАЦИЯ ИМИТАЦИОННОЙ МОДЕЛИ ТЕХНОЛОГИЧЕСКОГО ПРОЦЕССА ПРОИЗВОДСТВА С ИЕРАРХИЧЕСКОЙ СТРУКТУРОЙ | Аннотация PDF (Rus) похожие документы |
| В. Д. Левчук, П. Л. Чечет, Е. О. Попова, В. В. Старченко, А. С. Помаз | ||
| "... имитационных экспериментов по верификации разработанной имитационной модели делается вывод о том, что модель ..." | ||
| Том 16, № 2 (2019) | Верификация систем с параллелизмом поведения на основе графа достижимых состояний | Аннотация PDF (Rus) похожие документы |
| Ю. В. Поттосин, В. И. Романов, Л. Д. Черемисинова | ||
| "... Рассматривается задача верификации систем управления на основе моделей их поведения, которая ..." | ||
| Том 21, № 2 (2024) | Верификация динамической подписи человека по ограниченному числу образцов | Аннотация PDF (Rus) похожие документы |
| В. В. Старовойтов | ||
| "... подписей человека, предъявленных для верификации, в многомерном признаковом пространстве. Выпуклая оболочка ..." | ||
| Том 16, № 2 (2019) | Отбор информативных геометрических признаков ядер клеток на люминесцентных изображениях раковых клеток | Аннотация PDF (Rus) похожие документы |
| Е. В. Лисица, Н. Н. Яцков, В. В. Скакун, П. Д. Кривошеев, В. В. Апанасович | ||
| Том 18, № 3 (2021) | Применение логики первого порядка для выявления организаторов и исполнителей противоправных действий в преступных группах | Аннотация PDF (Rus) похожие документы |
| А. М. Соболь, Е. И. Козлова, Ю. А. Чернявский | ||
| "... Известны три основных семейства алгоритмов вывода в логике первого порядка: прямой логический ..." | ||
| Том 17, № 2 (2020) | Схема коррекции сигналов для комбинационных устройств автоматики на основе логического дополнения с контролем вычислений по паритету | Аннотация PDF (Rus) похожие документы |
| В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов | ||
| "... возникновения неисправности в контролируемом объекте и метод логического дополнения для определения неправильно ..." | ||
| № 3(35) (2012) | МЕТОД РЕШЕНИЯ ЗАДАЧ РАСПОЗНАВАНИЯ В БУЛЕВОМ ПРОСТРАНСТВЕ НА ОСНОВЕ ЛОГИЧЕСКОЙ И ПРЕЦЕДЕНТНОЙ МОДЕЛЕЙ | Аннотация PDF (Rus) похожие документы |
| О. В. Шут | ||
| "... используются соответственно логическая и прецедентная модели представления начальной информации. Строится ..." | ||
| Том 15, № 3 (2018) | Логическая оптимизация многоуровневых представлений систем булевых функций на основе блочного разбиения и разложения Шеннона | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, Н. А. Кириенко, Ю. Ю. Ланкевич | ||
| "... оптимизации систем булевых функций, предварительно выполняемых при синтезе комбинационных схем. Процедуры ..." | ||
| Том 15, № 4 (2018) | Синтез самопроверяемых схем встроенного контроля на основе метода логического дополнения до равновесного кода «2 из 4» | Аннотация PDF (Rus) похожие документы |
| Д. В. Ефанов, В. В. Сапожников, В. В. Сапожников, Д. В. Пивоваров | ||
| "... Исследуются особенности синтеза самопроверяемых схем встроенного контроля по методу логического ..." | ||
| Том 15, № 4 (2018) | Логическая характеризация класса сложности задач, разрешимых вероятностными алгоритмами за полиномиальное время | Аннотация PDF (Rus) похожие документы |
| В. Г. Найденко | ||
| "... probablistic polynomial time) в терминах логического языка. BPP представляет собой класс вычислительных проблем ..." | ||
| № 1(29) (2011) | О РЕАЛИЗАЦИИ МОДУЛЯРНЫХ СУММАТОРОВ НА FPGA | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, Д. А. Городецкий | ||
| "... Рассматриваются две структуры модулярных сумматоров. Исследуются параметризованные VHDL-модели ..." | ||
| № 1(25) (2010) | ПОСТРОЕНИЕ ТЕСТОВ КОНТРОЛЯ ЦИФРОВЫХ СИСТЕМ НА УРОВНЕ МЕЖРЕГИСТРОВЫХ ПЕРЕДАЧ | Аннотация PDF (Rus) похожие документы |
| Л. А. Золоторевич, А. В. Ильинкова | ||
| "... VHDL. Класс функциональных неисправностей, рассматриваемых при направленном построении теста ..." | ||
| № 3(27) (2010) | ВЕРИФИКАЦИЯ ФУНКЦИОНАЛЬНЫХ ОПИСАНИЙ С НЕОПРЕДЕЛЕННОСТЬЮ НА ОСНОВЕ ПАРАФАЗНОГО ПРЕДСТАВЛЕНИЯ БУЛЕВЫХ ФУНКЦИЙ | Аннотация PDF (Rus) похожие документы |
| Д. Я. Новиков, Л. Д. Черемисинова | ||
| "... Исследуется задача проверки реализуемости системы частично определенных булевых функций ..." | ||
| № 3 (2013) | ВЕРИФИКАЦИЯ КОМПЬЮТЕРНЫХ МОДЕЛЕЙ ЭЛЕМЕНТОВ РЫЧАЖНОЙ ДЛИННОХОДОВОЙ ПОДВЕСКИ ПО РЕЗУЛЬТАТАМ СТЕНДОВЫХ ИСПЫТАНИЙ | Аннотация PDF (Rus) похожие документы |
| В. С. Кончак, А. А. Назаренко, С. В. Хитриков, Д. А. Бузановский, С. П. Лазакович, Ю. И. Николаев | ||
| Том 19, № 3 (2022) | Новый признак для описания изображений рукописной подписи на базе локальных бинарных шаблонов | Аннотация PDF (Rus) похожие документы |
| В. В. Старовойтов, У. Ю. Ахунджанов | ||
| "... , содержащих истинные и поддельные подписи 80 человек. Точность корректной верификации подписей на этих базах ..." | ||
| Том 20, № 4 (2023) | Моделирование дискретных управляющих систем с параллелизмом поведения | Аннотация PDF (Rus) похожие документы |
| Д. И. Черемисинов, Л. Д. Черемисинова | ||
| "... Цели. Рассматривается задача функциональной верификации устройств управления относительно ..." | ||
| Том 17, № 1 (2020) | Выделение подсистем связанных функций из многоуровневого представления системы булевых функций | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, А. М. Позняк | ||
| "... Одним из направлений логической оптимизации многоуровневых представлений систем булевых функций ..." | ||
| № 3 (2015) | БЫСТРОЕ ПРОТОТИПИРОВАНИЕ ВСТРАИВАЕМЫХ ПРОГРАММИРУЕМЫХ СИСТЕМ НА ПЛИС ДЛЯ МУЛЬТИМЕДИЙНЫХ ПРИЛОЖЕНИЙ | Аннотация PDF (Rus) похожие документы |
| В. В. Ключеня, Н. А. Петровский | ||
| "... DCT-IDCT cores are developed using VHDL hardware description language as FSL (Fast Simples Link ..." | ||
| Том 16, № 3 (2019) | Обфускация комбинационных схем цифровых устройств от несанкционированного доступа | Аннотация PDF (Rus) похожие документы |
| Л. А. Золоторевич | ||
| "... них являются проблемы верификации проектов на разных этапах проектирования. Наряду с задачами, которые ..." | ||
| № 4(16) (2007) | МНОГОМЕРНОЕ МОДУЛЯРНОЕ РАЗДЕЛЕНИЕ ИНФОРМАЦИИ | Аннотация PDF (Rus) похожие документы |
| Н. Н. Шенец | ||
| "... , реализующий многомерное разделение информации. Построенная схема обладает свойствами однородности и ..." | ||
| № 2(54) (2017) | МИНИМИЗАЦИЯ МНОГОУРОВНЕВЫХ ПРЕДСТАВЛЕНИЙ СИСТЕМ БУЛЕВЫХ ФУНКЦИЙ НА ОСНОВЕ РАЗЛОЖЕНИЯ ШЕННОНА | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, Ю. Ю. Ланкевич | ||
| "... последовательно строятся разложения Шеннона системы дизъюнктивных нормальных форм полностью определенных булевых ..." | ||
| № 4(36) (2012) | ИТЕРАТИВНЫЙ МЕТОД ЭНЕРГОСБЕРЕГАЮЩЕГО КОДИРОВАНИЯ СОСТОЯНИЙ ДИСКРЕТНОГО АВТОМАТА | Аннотация PDF (Rus) похожие документы |
| Ю. В. Поттосин | ||
| "... переключений элементов памяти в реализующей схеме. Определение значений внутренних переменных сводится к задаче ..." | ||
| № 2 (2015) | ЭНЕРГОСБЕРЕГАЮЩЕЕ ПРОТИВОГОНОЧНОЕ КОДИРОВАНИЕ СОСТОЯНИЙ АСИНХРОННОГО АВТОМАТА | Аннотация PDF (Rus) похожие документы |
| Ю. В. Поттосин | ||
| "... , который наряду с устранением опасных состязаний элементов памяти в реализующей схеме обеспечивает ..." | ||
| № 4(24) (2009) | МЕТОД БЛОЧНО-СТРУКТУРНОГО СИНТЕЗА ВЫЧИСЛИТЕЛЬНЫХ УСТРОЙСТВ МОДУЛЯРНОЙ АРИФМЕТИКИ | Аннотация PDF (Rus) похожие документы |
| В. П. Супрун, Д. А. Городецкий | ||
| "... Рассматривается задача логического проектирования вычислительных устройств модулярной арифметики ..." | ||
| № 4(04) (2004) | РЕШЕНИЕ БОЛЬШИХ СИСТЕМ БУЛЕВЫХ УРАВНЕНИЙ | Аннотация PDF (Rus) похожие документы |
| А. Д. Закревский | ||
| "... Многие проблемы анализа, синтеза и диагностики неисправностей логических схем, а также проблемы ..." | ||
| № 1(33) (2012) | ДИФРАКЦИЯ ПЛОСКОЙ ЭЛЕКТРОМАГНИТНОЙ ВОЛНЫ НА ПЛОСКОСЛОИСТОЙ СТРУКТУРЕ ИЗ БИИЗОТРОПНЫХ МАТЕРИАЛОВ | Аннотация PDF (Rus) похожие документы |
| В. Т. Ерофеенко, С. В. Малый | ||
| "... показывается точность и эффективность методики и реализующих ее программ. Приводятся результаты моделирования ..." | ||
| № 2(14) (2007) | СИНТЕЗ УСТРОЙСТВА УПРАВЛЕНИЯ С МОДИФИЦИРОВАННЫМИ ОПЕРАТОРНЫМИ ЛИНЕЙНЫМИ ЦЕПЯМИ | Аннотация PDF (Rus) похожие документы |
| А. А. Баркалов, Л. А. Титаренко, Я. А. Бегановский | ||
| "... , реализующих управляющую память устройства управления. Дается пример применения предложенного метода. ..." | ||
| 1 - 70 из 116 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
