Preview

Информатика

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
№ 1 (2014) ОСОБЕННОСТИ ОБФУСКАЦИИ VHDL-ОПИСАНИЙ И МЕТОДЫ ОЦЕНКИ ЕЕ СЛОЖНОСТИ Аннотация  PDF (Rus)  похожие документы
В. В. Сергейчик, А. А. Иванюк
"... is given and their drawbacks are investigated when applied to specifications in VHDL language. Complexity ..."
 
Том 16, № 3 (2019) Обфускация комбинационных схем цифровых устройств от несанкционированного доступа Аннотация  PDF (Rus)  похожие документы
Л. А. Золоторевич
"... in the project. The algorithm of logical obfuscation and coding of digital structures based on the use of methods ..."
 
№ 3 (2016) СХЕМНАЯ РЕАЛИЗАЦИЯ VHDL-ОПИСАНИЙ СИСТЕМ НЕ ПОЛНОСТЬЮ ОПРЕДЕЛЕННЫХ БУЛЕВЫХ ФУНКЦИЙ Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило
"... Method for description of incompletely specified (partial) Boolean functions in VHDL is proposed ..."
 
№ 1(13) (2007) МОДЕЛИРОВАНИЕ ФУНКЦИОНАЛЬНЫХ НЕИСПРАВНОСТЕЙ ЦИФРОВЫХ УСТРОЙСТВ СРЕДСТВАМИ ЯЗЫКА VHDL Аннотация  PDF (Rus)  похожие документы
А. А. Иванюк
"... устройств на языке VHDL. Рассматриваются вопросы, связанные с распределением неисправностей в процессе ..."
 
№ 1(9) (2006) СРАВНЕНИЕ СХЕМНЫХ РЕАЛИЗАЦИЙ VHDL-МОДЕЛЕЙ, ИСПОЛЬЗУЮЩИХ ЧАСТИЧНУЮ ОПРЕДЕЛЕННОСТЬ БУЛЕВЫХ ФУНКЦИЙ Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило
"... LeonardoSpectrum более простые логические схемы по сравнению с VHDL-моделями, базирующимися на системах полностью ..."
 
№ 1(9) (2006) VHDL-МОДЕЛИ МАТЕМАТИЧЕСКИХ ФУНКЦИЙ, ОСНОВАННЫЕ НА КУСОЧНО-ПОЛИНОМИАЛЬНОЙ ИНТЕРПОЛЯЦИИ Аннотация  PDF (Rus)  похожие документы
Д. А. Кочанов
"... Предлагается способ создания VHDL-моделей математических функций с использованием стандартных ..."
 
№ 1(5) (2005) ОПИСАНИЕ ПАРАЛЛЕЛЬНЫХ И СЕКВЕНЦИАЛЬНЫХ АВТОМАТОВ НА ЯЗЫКЕ VHDL Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило
"... Предлагаются синтезируемые VHDL-модели параллельных автоматов, представленных на языке ПРАЛУ, и ..."
 
№ 1(5) (2005) МОДЕЛИРОВАНИЕ НЕИСПРАВНОСТЕЙ В СТРУКТУРАХ СБИС НА ЯЗЫКЕ VHDL Аннотация  PDF (Rus)  похожие документы
Л. А. Золоторевич
"... , представленных на структурном уровне на языке VHDL. Дается анализ эффективности предлагаемых решений. ..."
 
№ 3(7) (2005) МОДЕЛИРОВАНИЕ НЕИСПРАВНОСТЕЙ СБИС НА ПОВЕДЕНЧЕСКОМ УРОВНЕ НА ЯЗЫКЕ VHDL Аннотация  PDF (Rus)  похожие документы
Л. А. Золоторевич
"... , представленных на поведенческом уровне на языке VHDL. Предлагается формальный подход к решению задачи, в основе ..."
 
Том 15, № 4 (2018) Логическая характеризация класса сложности задач, разрешимых вероятностными алгоритмами за полиномиальное время Аннотация  PDF (Rus)  похожие документы
В. Г. Найденко
"... A problem to describe the complexity class BPP in terms of a logical language is considered. BPP ..."
 
№ 2(34) (2012) ФУНКЦИОНАЛЬНЫЕ VHDL-МОДЕЛИ ЭЛЕМЕНТОВ FPGA СЕМЕЙСТВА SPARTAN 3 ДЛЯ КОНВЕРТАЦИИ ПРОЕКТОВ ЦИФРОВЫХ СИСТЕМ В ЗАКАЗНЫЕ СБИС Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, А. Л. Соловьев
"... элементов предлагаются синтезируемые VHDL-модели тех логических элементов, которые входят в конфигурируемые ..."
 
№ 2(34) (2012) ПОСТРОЕНИЕ ТЕСТОВ И ВЕРИФИКАЦИЯ ПОТОКОВЫХ МОДЕЛЕЙ ЦИФРОВЫХ УСТРОЙСТВ НА ЯЗЫКЕ VHDL Аннотация  PDF (Rus)  похожие документы
Л. А. Золоторевич
"... , представленных в потоковом виде на уровне RTL на языке VHDL с использованием арифметических, логических ..."
 
№ 2(18) (2008) ВНЕДРЕНИЕ ФУНКЦИОНАЛЬНЫХ НЕИСПРАВНОСТЕЙ ОЗУ В ОПИСАНИЯ ЦИФРОВЫХ УСТРОЙСТВ НА ЯЗЫКЕ VHDL Аннотация  PDF (Rus)  похожие документы
А. А. Иванюк, А. В. Степанов
"... устройств при помощи языка VHDL. Предлагается методика внедрения моделей функциональных неисправностей ОЗУ в ..."
 
№ 3(03) (2004) ПОСТРОЕНИЕ VHDL-МОДЕЛЕЙ СХЕМ ДЛЯ ВЫЧИСЛЕНИЯ ФУНКЦИЙ, ЗАДАННЫХ В ТАБЛИЧНОЙ ФОРМЕ Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, Д. А. Кочанов
"... Предлагаются средства для создания VHDL-моделей аналитических функций с использованием стандартных ..."
 
Том 16, № 2 (2019) Верификация систем с параллелизмом поведения на основе графа достижимых состояний Аннотация  PDF (Rus)  похожие документы
Ю. В. Поттосин, В. И. Романов, Л. Д. Черемисинова
"... the system behavior satisfies the requirements fixed in the design specification The testing includes ..."
 
№ 2 (2015) ПРИМЕНЕНИЕ ОЦЕНОК СЛОЖНОСТИ ДИАГРАММ ДВОИЧНОГО ВЫБОРА ПРИ СИНТЕЗЕ ЛОГИЧЕСКИХ СХЕМ Аннотация  PDF (Rus)  похожие документы
Н. А. Авдеев, П. Н. Бибило
 
№ 3 (2015) ПРОЕКТИРОВАНИЕ ЦИФРОВЫХ СИСТЕМ С ПОНИЖЕННЫМ ЭНЕРГОПОТРЕБЛЕНИЕМ С ПРИМЕНЕНИЕМ ТЕХНОЛОГИИ UPF-ОПИСАНИЯ ПОДСИСТЕМЫ ПИТАНИЯ Аннотация  PDF (Rus)  похожие документы
А. С. Шашков
 
№ 3(31) (2011) ВЕРИФИКАЦИЯ ЛОГИЧЕСКИХ СХЕМ, РЕАЛИЗУЮЩИХ СИСТЕМЫ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, Д. Я. Новиков
"... булевых функций. Описываются VHDL-модели различных форм задания таких систем. Предлагается программа для ..."
 
№ 3(03) (2004) ИССЛЕДОВАНИЕ ЛЕКСИЧЕСКОГО МЕТОДА ЗАПУТЫВАНИЯ ИСХОДНЫХ ТЕКСТОВ ПРОГРАММ С ЦЕЛЬЮ ИХ ЗАЩИТЫ Аннотация  PDF (Rus)  похожие документы
С. Ю. Петрик, В. Н. Ярмолик
"... методом запутывающего кодирования (obfuscation) – заменой имен идентификаторов – как одним из наиболее ..."
 
№ 1(29) (2011) О РЕАЛИЗАЦИИ МОДУЛЯРНЫХ СУММАТОРОВ НА FPGA Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, Д. А. Городецкий
"... Рассматриваются две структуры модулярных сумматоров. Исследуются параметризованные VHDL-модели ..."
 
№ 1(25) (2010) ПОСТРОЕНИЕ ТЕСТОВ КОНТРОЛЯ ЦИФРОВЫХ СИСТЕМ НА УРОВНЕ МЕЖРЕГИСТРОВЫХ ПЕРЕДАЧ Аннотация  PDF (Rus)  похожие документы
Л. А. Золоторевич, А. В. Ильинкова
"... VHDL. Класс функциональных неисправностей, рассматриваемых при направленном построении теста ..."
 
№ 3 (2015) БЫСТРОЕ ПРОТОТИПИРОВАНИЕ ВСТРАИВАЕМЫХ ПРОГРАММИРУЕМЫХ СИСТЕМ НА ПЛИС ДЛЯ МУЛЬТИМЕДИЙНЫХ ПРИЛОЖЕНИЙ Аннотация  PDF (Rus)  похожие документы
В. В. Ключеня, Н. А. Петровский
"... DCT-IDCT cores are developed using VHDL hardware description language as FSL (Fast Simples Link ..."
 
№ 1(33) (2012) ОЦЕНКА ЭНЕРГОПОТРЕБЛЕНИЯ КМОП-СХЕМ НА ОСНОВЕ ЛОГИЧЕСКОГО МОДЕЛИРОВАНИЯ Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, А. Л. Соловьев
"... энергопотребления по структурным описаниям схем с помощью быстродействующего логического VHDL-моделирования ..."
 
№ 4(12) (2006) СиВер – СИСТЕМА СИНТЕЗА И ВЕРИФИКАЦИИ КОМБИНАЦИОННЫХ ЛОГИЧЕСКИХ СХЕМ Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, С. Н. Кардаш, В. И. Романов
"... булевых функций, а также описания на языке VHDL. Система СиВер состыкована с системой синтеза ..."
 
№ 3 (2016) МЕТОДЫ ПОИСКА НЕСКОЛЬКИХ РЕШЕНИЙ СИСТЕМЫ РАЗНОСТНЫХ И ИНТЕРВАЛЬНЫХ ОГРАНИЧЕНИЙ Аннотация  PDF (Rus)  похожие документы
И. В. Рубанов, М. С. Баркетов, М. Я. Ковалев
"... scheme, it has complexity O(n3) for finding initial solve and complexity O(n3) for finding solve ..."
 
№ 2 (2014) МОБИЛЬНАЯ ИЗМЕРИТЕЛЬНАЯ МНОГОКАНАЛЬНАЯ СИСТЕМА ДЛЯ ПРОВЕДЕНИЯ СТЕНДОВЫХ И НАТУРНЫХ ИСПЫТАНИЙ Аннотация  PDF (Rus)  похожие документы
С. В. Хитриков
"... in order to verify their compliance with the standards defined by the product specification. The system ..."
 
№ 1(53) (2017) ОТОБРАЖЕНИЕ ЛОГИЧЕСКИХ СЕТЕЙ В ЗАДАННЫЙ ТЕХНОЛОГИЧЕСКИЙ БАЗИС Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов
"... .e., algebraic) circuit specification into a gate (i.e., netlist) specification. The program is included ..."
 
№ 3 (2016) АЛГОРИТМИЧЕСКОЕ ПЕРЕЧИСЛЕНИЕ ЗАДАЧ В КЛАССЕ NPcoNP Аннотация  PDF (Rus)  похожие документы
В. Г. Найденко
"... The problem of recursive (algorithmic) representation is considered for the complexity class NP ..."
 
№ 3 (2016) ИССЛЕДОВАНИЕ ЭФФЕКТИВНОСТИ ТЕХНОЛОГИЧЕСКИ НЕЗАВИСИМОЙ ОПТИМИЗАЦИИ ФУНКЦИОНАЛЬНЫХ ОПИСАНИЙ КМОП-СХЕМ Аннотация  PDF (Rus)  похожие документы
Н. А. Кириенко, Л. Д. Черемисинова
"...  on complexity and delay of circuits made of CMOS VLSI library elements is investigated. The effectiveness ..."
 
Том 16, № 3 (2019) Сегментный поиск локальных экстремумов изображений на основе анализа яркостей смежных однородных областей Аннотация  PDF (Rus)  похожие документы
В. Ю. Цветков, Ань Туан Нгуен
"... extremes, but have a high computational complexity. A mathematical model and an algorithm based ..."
 
№ 3 (2014) ШЕЙДЕРНАЯ МЕТАМОДЕЛЬ КАК КОМПОНЕНТ АРХИТЕКТУРЫ ИНТЕРАКТИВНОГО ПРИЛОЖЕНИЯ Аннотация  PDF (Rus)  похожие документы
О. Г. Казанцева, Е. А. Барановский, Е. А. Ландарский
"... code complexity management. ..."
 
Том 16, № 4 (2019) Метод бидекомпозиции частичных булевых функций Аннотация  PDF (Rus)  похожие документы
Ю. В. Поттосин
"... in the form of a given logic algebra operation over two Boolean functions and so is reduced to specification ..."
 
№ 4 (2013) ИССЛЕДОВАНИЕ СВОЙСТВ РАЗЛОЖИМОСТИ СИСТЕМ БУЛЕВЫХ ФУНКЦИЙ Аннотация  PDF (Rus)  похожие документы
С. Х. Тагави Афшорд, Ю. В. Поттосин
"... functions are given: producing all solutions, searching for the best solution from the circuit complexity ..."
 
Том 15, № 1 (2018) НЕЛИНЕЙНАЯ ФИЛЬТРАЦИЯ СЛУЧАЙНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ РАСШИРЕННЫМ МЕТОДОМ НАИМЕНЬШИХ КВАДРАТОВ Аннотация  PDF (Rus)  похожие документы
В. М. Артемьев, А. О. Наумов, Л. Л. Кохан
"... has less computational complexity. Examples of a comparative accuracy evaluation of the proposed ..."
 
№ 3(55) (2017) РЕГРЕССИОННЫЙ АНАЛИЗ ПОТРЕБИТЕЛЬСКИХ РАСХОДОВ НА ПИТАНИЕ В ДОМОХОЗЯЙСТВАХ РЕГИОНА КАК ФУНКЦИИ РАСПОЛАГАЕМОГО ЛИЧНОГО ДОХОДА И ЦЕНЫ Аннотация  PDF (Rus)  похожие документы
И. Н. Сюльжин, С. Г. Бильчинская, Ю. А. Чернявский, Е. В. Шабинская
"... the specification of its constituent relationships, the choice of variables included in each relation ..."
 
Том 16, № 4 (2019) О надежности, безопасности и читабельности языков программирования на примере языка Ада Аннотация  похожие документы
А. В. Леонтьев
"... of view these suggestions do not effect seriously on the complexity and efficiency of calculations ..."
 
Том 15, № 4 (2018) Использование языка ПРАЛУ для верификации цифровых устройств Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов
"... process establishes the reconvergence (equivalence) of the device specification and the register-transfer ..."
 
Том 15, № 4 (2018) Эвристический метод многоблочной параллельной декомпозиции системы частичных булевых функций Аннотация  PDF (Rus)  похожие документы
Ю. В. Поттосин
"... on the number of arguments of the obtained functions is imposed. The method involves the specification ..."
 
Том 15, № 4 (2018) Синтез самопроверяемых схем встроенного контроля на основе метода логического дополнения до равновесного кода «2 из 4» Аннотация  PDF (Rus)  похожие документы
Д. В. Ефанов, В. В. Сапожников, В. В. Сапожников, Д. В. Пивоваров
"... redundancy reducing is achieved by minimizing the complexity of the control logic block technical ..."
 
Том 15, № 4 (2018) Характеризация и распознавание графов пересечений ребер трихроматических гиперграфов ограниченной кратности в классе расщепляемых графов Аннотация  PDF (Rus)  похожие документы
Т. В. Лубашева
"... -complete if k = 3. The complexity of the recognition of graphs from Lm(k) for fixed k ≥ 2 and m ≥ 2 ..."
 
1 - 40 из 40 результатов

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)