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(9) (2006) СРАВНЕНИЕ СХЕМНЫХ РЕАЛИЗАЦИЙ VHDL-МОДЕЛЕЙ, ИСПОЛЬЗУЮЩИХ ЧАСТИЧНУЮ ОПРЕДЕЛЕННОСТЬ БУЛЕВЫХ ФУНКЦИЙ Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило
"... LeonardoSpectrum более простые логические схемы по сравнению с VHDL-моделями, базирующимися на системах полностью ..."
 
№ 1(9) (2006) VHDL-МОДЕЛИ МАТЕМАТИЧЕСКИХ ФУНКЦИЙ, ОСНОВАННЫЕ НА КУСОЧНО-ПОЛИНОМИАЛЬНОЙ ИНТЕРПОЛЯЦИИ Аннотация  PDF (Rus)  похожие документы
Д. А. Кочанов
"... Предлагается способ создания VHDL-моделей математических функций с использованием стандартных ..."
 
№ 3(7) (2005) МОДЕЛИРОВАНИЕ НЕИСПРАВНОСТЕЙ СБИС НА ПОВЕДЕНЧЕСКОМ УРОВНЕ НА ЯЗЫКЕ VHDL Аннотация  PDF (Rus)  похожие документы
Л. А. Золоторевич
"... , представленных на поведенческом уровне на языке VHDL. Предлагается формальный подход к решению задачи, в основе ..."
 
№ 1(5) (2005) ОПИСАНИЕ ПАРАЛЛЕЛЬНЫХ И СЕКВЕНЦИАЛЬНЫХ АВТОМАТОВ НА ЯЗЫКЕ VHDL Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило
"... Предлагаются синтезируемые VHDL-модели параллельных автоматов, представленных на языке ПРАЛУ, и ..."
 
№ 1(5) (2005) МОДЕЛИРОВАНИЕ НЕИСПРАВНОСТЕЙ В СТРУКТУРАХ СБИС НА ЯЗЫКЕ VHDL Аннотация  PDF (Rus)  похожие документы
Л. А. Золоторевич
"... , представленных на структурном уровне на языке VHDL. Дается анализ эффективности предлагаемых решений. ..."
 
№ 1(13) (2007) МОДЕЛИРОВАНИЕ ФУНКЦИОНАЛЬНЫХ НЕИСПРАВНОСТЕЙ ЦИФРОВЫХ УСТРОЙСТВ СРЕДСТВАМИ ЯЗЫКА VHDL Аннотация  PDF (Rus)  похожие документы
А. А. Иванюк
"... устройств на языке VHDL. Рассматриваются вопросы, связанные с распределением неисправностей в процессе ..."
 
Том 18, № 1 (2021) Логическая минимизация при синтезе комбинационных структур в FPGA Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, Ю. Ю. Ланкевич, В. И. Романов
 
№ 3(03) (2004) ПОСТРОЕНИЕ VHDL-МОДЕЛЕЙ СХЕМ ДЛЯ ВЫЧИСЛЕНИЯ ФУНКЦИЙ, ЗАДАННЫХ В ТАБЛИЧНОЙ ФОРМЕ Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, Д. А. Кочанов
"... Предлагаются средства для создания VHDL-моделей аналитических функций с использованием стандартных ..."
 
№ 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. Предлагается методика внедрения моделей функциональных неисправностей ОЗУ в ..."
 
Том 20, № 2 (2023) Применение диаграмм решений не полностью определенных функций k-значной логики при синтезе логических схем Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило
 
Том 21, № 1 (2024) Технологически независимая оптимизация при реализации в заказных СБИС разреженных систем дизъюнктивных нормальных форм булевых функций Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, С. Н. Кардаш
 
Том 15, № 4 (2018) Логическая характеризация класса сложности задач, разрешимых вероятностными алгоритмами за полиномиальное время Аннотация  PDF (Rus)  похожие документы
В. Г. Найденко
"... A problem to describe the complexity class BPP in terms of a logical language is considered. BPP ..."
 
Том 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 ..."
 
№ 4(12) (2006) СиВер – СИСТЕМА СИНТЕЗА И ВЕРИФИКАЦИИ КОМБИНАЦИОННЫХ ЛОГИЧЕСКИХ СХЕМ Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, С. Н. Кардаш, В. И. Романов
"... булевых функций, а также описания на языке VHDL. Система СиВер состыкована с системой синтеза ..."
 
№ 1(33) (2012) ОЦЕНКА ЭНЕРГОПОТРЕБЛЕНИЯ КМОП-СХЕМ НА ОСНОВЕ ЛОГИЧЕСКОГО МОДЕЛИРОВАНИЯ Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, А. Л. Соловьев
"... энергопотребления по структурным описаниям схем с помощью быстродействующего логического VHDL-моделирования ..."
 
Том 19, № 2 (2022) Информационная система для онтологического моделирования предметных областей Аннотация  PDF (Rus)  похожие документы
М. Н. Бухаров
"... the complexity of ontological modeling. Methods. As research methods, the theory of hybrid intelligence systems ..."
 
Том 19, № 1 (2022) Методология разработки программного обеспечения с использованием модели распределенных объектно-ориентированных стохастических гибридных систем Аннотация  PDF (Rus)  похожие документы
Р. Е. Шарыкин
"... with the system specification at all stages of the software development. The following stages of the development ..."
 
№ 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 ..."
 
Том 20, № 3 (2023) Семантические модели и средства разработки искусственных нейронных сетей и их интеграции с базами знаний Аннотация  PDF (Rus)  похожие документы
М. В. Ковалёв
"... Objectives. Specifications of models and tools for the development of artificial neural networks ..."
 
№ 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 ..."
 
№ 3(55) (2017) РЕГРЕССИОННЫЙ АНАЛИЗ ПОТРЕБИТЕЛЬСКИХ РАСХОДОВ НА ПИТАНИЕ В ДОМОХОЗЯЙСТВАХ РЕГИОНА КАК ФУНКЦИИ РАСПОЛАГАЕМОГО ЛИЧНОГО ДОХОДА И ЦЕНЫ Аннотация  PDF (Rus)  похожие документы
И. Н. Сюльжин, С. Г. Бильчинская, Ю. А. Чернявский, Е. В. Шабинская
"... the specification of its constituent relationships, the choice of variables included in each relation ..."
 
Том 19, № 2 (2022) Уменьшение динамического диапазона инфракрасных изображений на основе блочно-приоритетного выравнивания и сжатия гистограмм Аннотация  PDF (Rus)  похожие документы
С. И. Рудиков, В. Ю. Цветков, А. П. Шкадаревич
"... computational complexity, which is increasing while block size decreases. The aim of the work is to reduce ..."
 
Том 15, № 1 (2018) НЕЛИНЕЙНАЯ ФИЛЬТРАЦИЯ СЛУЧАЙНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ РАСШИРЕННЫМ МЕТОДОМ НАИМЕНЬШИХ КВАДРАТОВ Аннотация  PDF (Rus)  похожие документы
В. М. Артемьев, А. О. Наумов, Л. Л. Кохан
"... has less computational complexity. Examples of a comparative accuracy evaluation of the proposed ..."
 
№ 4 (2013) ИССЛЕДОВАНИЕ СВОЙСТВ РАЗЛОЖИМОСТИ СИСТЕМ БУЛЕВЫХ ФУНКЦИЙ Аннотация  PDF (Rus)  похожие документы
С. Х. Тагави Афшорд, Ю. В. Поттосин
"... functions are given: producing all solutions, searching for the best solution from the circuit complexity ..."
 
Том 16, № 4 (2019) О надежности, безопасности и читабельности языков программирования на примере языка Ада Аннотация  похожие документы
А. В. Леонтьев
"... of view these suggestions do not effect seriously on the complexity and efficiency of calculations ..."
 
Том 19, № 4 (2022) Мера различия для тестовых наборов при генерировании управляемых вероятностных тестов Аннотация  PDF (Rus)  похожие документы
В. Н. Ярмолик, В. В. Петровская, И. Мрозек
"... sequences is solved. Its relevance for generating controlled random tests and the complexity of finding ..."
 
Том 18, № 3 (2021) Контроль надежности защиты интегральных схем от троянов: кодирование и декодирование комбинационных структур Аннотация  PDF (Rus)  похожие документы
Л. А. Золоторевич, В. А. Ильинков
"... on the development stage and during the production process, including the stages of specification, design ..."
 
Том 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 ..."
 
Том 17, № 2 (2020) Схема коррекции сигналов для комбинационных устройств автоматики на основе логического дополнения с контролем вычислений по паритету Аннотация  PDF (Rus)  похожие документы
В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов
"... algorithm of control equipment is described with minimization of the technical implementation complexity ..."
 
Том 15, № 4 (2018) Синтез самопроверяемых схем встроенного контроля на основе метода логического дополнения до равновесного кода «2 из 4» Аннотация  PDF (Rus)  похожие документы
Д. В. Ефанов, В. В. Сапожников, В. В. Сапожников, Д. В. Пивоваров
"... redundancy reducing is achieved by minimizing the complexity of the control logic block technical ..."
 
Том 17, № 2 (2020) Скелетизация изображений на основе комбинации одно- и двухподытерационных моделей Аннотация  PDF (Rus)  похожие документы
Ц. Ма, В. Ю. Цветков, В. К. Конопелько
"... to contour noise and has a high computational complexity. The Zhang and Suen two-iteration algorithm (ZS ..."
 
Том 17, № 3 (2020) Эвристический метод алгебраической декомпозиции частичных булевых функций Аннотация  PDF (Rus)  похожие документы
Ю. В. Поттосин
"... is also given, over two Boolean functions. The task is reduced to specification of those two functions ..."
 
Том 20, № 4 (2023) Моделирование дискретных управляющих систем с параллелизмом поведения Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов, Л. Д. Черемисинова
"... specification is considered. When solving the problems of implementing and testing of discrete systems, one has ..."
 
Том 17, № 3 (2020) Методология Оценки Качества Веб-Сайта Универсальная Звезда: первая вершина – «Содержание» Аннотация  похожие документы
С. Г. Абдуганиев
"... with only one in 1991. The emergence of enormous websites of various complexities and types makes assessing ..."
 
Том 17, № 1 (2020) Выделение подсистем связанных функций из многоуровневого представления системы булевых функций Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, А. М. Позняк
"... identical subexpressions and synthesized logic circuits will have less complexity.  We describe software ..."
 
Том 17, № 4 (2020) Вычислительные методы для решения задачи комбинирования секторов воздушного пространства Аннотация  PDF (Rus)  похожие документы
И. В Рубанов, М. Я Ковалев
"... are also presented. Computational complexity of two problem variants is established: a bin packing type ..."
 
Том 18, № 1 (2021) Построение и применение маршевых тестов для обнаружения кодочувствительных неисправностей запоминающих устройств Аннотация  PDF (Rus)  похожие документы
В. Н. Ярмолик, В. А. Леванцевич, Д. В. Деменковец, И. Мрозек
"... with maximum fault coverage, as well as march tests with a minimum time complexity equal to 18N are given ..."
 
Том 18, № 3 (2021) Неразрушающие тесты с четным повторением адресов для запоминающих устройств Аннотация  PDF (Rus)  похожие документы
В. Н. Ярмолик, И. Мрозек, В. А. Леванцевич, Д. В. Деменковец
"... ). There is a significantly lower time complexity of the March_pA_1 and March_pA_2 tests compared to classical transparent ..."
 
Том 18, № 4 (2021) Подход к оптимизации зарядной инфраструктуры автономных троллейбусов для городских маршрутов Аннотация  PDF (Rus)  похожие документы
М. Я. Ковалев, Б. М. Розин, И. А. Шатерник
"... such as IBM ILOG CPLEX can be used, as well as, taking into account its computational complexity ..."
 
Том 18, № 4 (2021) Распознавание логических вентилей в плоской транзисторной схеме Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов, Л. Д. Черемисинова
"... O b j e c t i v e s. With the increasing complexity of verification and simulation of modern VLSI ..."
 
Том 19, № 2 (2022) Экспериментальное сравнение эффективности программ минимизации систем булевых функций в классе дизъюнктивных нормальных форм Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, И. П. Логинова
"... representations of Boolean functions are widely used in the design of digital systems to reduce the complexity ..."
 
Том 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 - 61 из 61 результатов

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

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