| |
| Выпуск |
Название |
| |
| Том 21, № 2 (2024) |
Меры различия, основанные на применении расстояния Хэмминга, для генерирования управляемых вероятностных тестов |
Аннотация
PDF (Rus)
|
|
В. Н. Ярмолик, В. В. Петровская, Н. А. Шевченко |
| |
| Том 21, № 1 (2024) |
Технологически независимая оптимизация при реализации в заказных СБИС разреженных систем дизъюнктивных нормальных форм булевых функций |
Аннотация
PDF (Rus)
|
|
П. Н. Бибило, С. Н. Кардаш |
| |
| Том 20, № 4 (2023) |
Моделирование дискретных управляющих систем с параллелизмом поведения |
Аннотация
PDF (Rus)
|
|
Д. И. Черемисинов, Л. Д. Черемисинова |
| |
| Том 20, № 4 (2023) |
Формальная модель описания и условия обнаружения связных неисправностей взаимного влияния запоминающих устройств |
Аннотация
PDF (Rus)
|
|
В. Н. Ярмолик, Д. В. Деменковец, В. В. Петровская, А. А. Иванюк |
| |
| Том 20, № 2 (2023) |
Применение диаграмм решений не полностью определенных функций k-значной логики при синтезе логических схем |
Аннотация
PDF (Rus)
|
|
П. Н. Бибило |
| |
| Том 20, № 2 (2023) |
Генерация потоковых сетей акторов поиска кратчайших путей для параллельной многоядерной реализации |
Аннотация
PDF (Eng)
|
|
А. А. Прихожий |
| |
| Том 20, № 1 (2023) |
Совместное энергосберегающее кодирование состояний последовательных автоматов сети, реализующей параллельный автомат |
Аннотация
PDF (Rus)
|
|
Ю. В. Поттосин |
| |
| Том 20, № 1 (2023) |
Аппаратная реализация булевых функций на основе автоматной модели |
Аннотация
PDF (Rus)
|
|
А. А. Бутов |
| |
| Том 19, № 4 (2022) |
Мера различия для тестовых наборов при генерировании управляемых вероятностных тестов |
Аннотация
PDF (Rus)
|
|
В. Н. Ярмолик, В. В. Петровская, И. Мрозек |
| |
| Том 19, № 3 (2022) |
Канонизация графов при декомпиляции транзисторных схем |
Аннотация
PDF (Rus)
|
|
Д. И. Черемисинов, Л. Д. Черемисинова |
| |
| Том 19, № 3 (2022) |
Генерирование адресных последовательностей с заданной переключательной активностью и повторяемостью адресов |
Аннотация
PDF (Rus)
|
|
В. Н. Ярмолик, Н. А. Шевченко, В. А. Леванцевич, Д. В. Деменковец |
| |
| Том 19, № 2 (2022) |
Экспериментальное сравнение эффективности программ минимизации систем булевых функций в классе дизъюнктивных нормальных форм |
Аннотация
PDF (Rus)
|
|
П. Н. Бибило, И. П. Логинова |
| |
| Том 19, № 1 (2022) |
Синтез комбинационных схем с помощью алгебраической декомпозиции булевых функций |
Аннотация
PDF (Rus)
|
|
Ю. В. Поттосин |
| |
| Том 18, № 4 (2021) |
Распознавание логических вентилей в плоской транзисторной схеме |
Аннотация
PDF (Rus)
|
|
Д. И. Черемисинов, Л. Д. Черемисинова |
| |
| Том 18, № 2 (2021) |
Минимизация булевых функций в классе ортогональных дизъюнктивных нормальных форм |
Аннотация
PDF (Rus)
|
|
Ю. В. Поттосин |
| |
| Том 18, № 2 (2021) |
Минимизация многоуровневых представлений систем полностью определенных булевых функций с использованием разложений Шеннона и алгебраических представлений кофакторов |
Аннотация
PDF (Rus)
|
|
П. Н. Бибило, В. И. Романов |
| |
| Том 18, № 1 (2021) |
Построение и применение маршевых тестов для обнаружения кодочувствительных неисправностей запоминающих устройств |
Аннотация
PDF (Rus)
|
|
В. Н. Ярмолик, В. А. Леванцевич, Д. В. Деменковец, И. Мрозек |
| |
| Том 18, № 1 (2021) |
Логическая минимизация при синтезе комбинационных структур в FPGA |
Аннотация
PDF (Rus)
|
|
П. Н. Бибило, Ю. Ю. Ланкевич, В. И. Романов |
| |
| Том 17, № 3 (2020) |
Алгоритмы разбиения логических схем на подсхемы |
Аннотация
PDF (Rus)
|
|
Н. А. Кириенко |
| |
| Том 17, № 3 (2020) |
Эвристический метод алгебраической декомпозиции частичных булевых функций |
Аннотация
PDF (Rus)
|
|
Ю. В. Поттосин |
| |
| Том 17, № 1 (2020) |
Выделение подсистем связанных функций из многоуровневого представления системы булевых функций |
Аннотация
PDF (Rus)
|
|
П. Н. Бибило, А. М. Позняк |
| |
| Том 16, № 4 (2019) |
Метод бидекомпозиции частичных булевых функций |
Аннотация
PDF (Rus)
|
|
Ю. В. Поттосин |
| |
| Том 17, № 1 (2020) |
Формирование адресных последовательностей с заданной переключательной активностью |
Аннотация
PDF (Rus)
|
|
В. Н. Ярмолик, Н. А. Шевченко |
| |
| Том 16, № 3 (2019) |
Способ построения семейства кодов с суммированием с наименьшим общим количеством необнаруживаемых ошибок в информационных векторах |
Аннотация
PDF (Rus)
|
|
Д. В. Ефанов, В. В. Сапожников, Вл. В. Сапожников |
| |
| Том 16, № 3 (2019) |
Обфускация комбинационных схем цифровых устройств от несанкционированного доступа |
Аннотация
PDF (Rus)
|
|
Л. А. Золоторевич |
| |
| № 1(01) (2004) |
МИНИМИЗАЦИЯ ПЛОЩАДИ РЕГУЛЯРНЫХ МАТРИЧНЫХ СТРУКТУР ЗАКАЗНЫХ СБИС МЕТОДОМ СВЕРТКИ |
Аннотация
PDF (Rus)
|
|
Л. Д. Черемисинова |
| |
| № 1(01) (2004) |
ОБ ИНТЕРПРЕТАЦИИ ВРЕМЕННОЙ ЛОГИКИ ПРИ СИМВОЛИЧЕСКОЙ ВЕРИФИКАЦИИ |
Аннотация
PDF (Rus)
|
|
Д. И. Черемисинов |
| |
| № 1(01) (2004) |
О ТАБЛИЧНОМ ЗАДАНИИ СИСТЕМ ПОЛНОСТЬЮ ОПРЕДЕЛЕННЫХ БУЛЕВЫХ ФУНКЦИЙ |
Аннотация
PDF (Rus)
|
|
Ю. В. Поттосин, Е. А. Шестаков |
| |
| № 4(8) (2005) |
ДЕКОМПОЗИЦИЯ СИСТЕМЫ БУЛЕВЫХ ФУНКЦИЙ ПО ЗАДАННЫМ ВХОДНЫМ ФУНКЦИЯМ |
Аннотация
PDF (Rus)
|
|
Ю. В. Поттосин, Е. А. Шестаков |
| |
| № 4(8) (2005) |
ЭНЕРГОСБЕРЕГАЮЩЕЕ КОДИРОВАНИЕ СОСТОЯНИЙ КОНЕЧНОГО АВТОМАТА. МЕТОД КВАДРАТОВ |
Аннотация
PDF (Rus)
|
|
А. Д. Закревский |
| |
| № 4(8) (2005) |
ПРОГРАММНЫЕ СРЕДСТВА ДЛЯ РЕШЕНИЯ ЛОГИКО-КОМБИНАТОРНЫХ ЗАДАЧ |
Аннотация
PDF (Rus)
|
|
В. И. Романов |
| |
| № 4(8) (2005) |
ВСТРОЕННАЯ АППАРАТУРА НЕРАЗРУШАЮЩЕГО САМОТЕСТИРОВАНИЯ ДЛЯ СХЕМ ОЗУ НА ОСНОВЕ ЛОКАЛЬНО-СИММЕТРИЧНЫХ ТЕСТОВ |
Аннотация
PDF (Rus)
|
|
А. П. Занкович, В. Н. Ярмолик |
| |
| № 2(6) (2005) |
ПАРАЛЛЕЛЬНАЯ ПРОВЕРКА ДНФ НА ТАВТОЛОГИЮ |
Аннотация
PDF (Rus)
|
|
Н. Р. Торопов |
| |
| № 2(6) (2005) |
РАЗВИТИЕ ТАБЛИЧНОГО МЕТОДА ДЕКОМПОЗИЦИИ СИСТЕМЫ ПОЛНОСТЬЮ ОПРЕДЕЛЕННЫХ БУЛЕВЫХ ФУНКЦИЙ |
Аннотация
PDF (Rus)
|
|
Д. В. Садников |
| |
| № 2(6) (2005) |
СИНТЕЗ МИКРОПРОГРАММНОГО АВТОМАТА С МНОЖЕСТВЕННЫМ КОДИРОВАНИЕМ НАБОРОВ МИКРООПЕРАЦИЙ |
Аннотация
PDF (Rus)
|
|
А. А. Баркалов, А. Ф. Буковец |
| |
| № 1(5) (2005) |
СИНТЕЗ КОМПОЗИЦИОННОГО МИКРОПРОГРАММНОГО УСТРОЙСТВА УПРАВЛЕНИЯ С ОПТИМАЛЬНЫМ КОДИРОВАНИЕМ ЭЛЕМЕНТАРНЫХ ОПЕРАТОРНЫХ ЛИНЕЙНЫХ ЦЕПЕЙ |
Аннотация
PDF (Rus)
|
|
А. А. Баркалов, Р. Вишневский |
| |
| № 1(5) (2005) |
ОПИСАНИЕ ПАРАЛЛЕЛЬНЫХ И СЕКВЕНЦИАЛЬНЫХ АВТОМАТОВ НА ЯЗЫКЕ VHDL |
Аннотация
PDF (Rus)
|
|
П. Н. Бибило |
| |
| № 1(5) (2005) |
МОРФИЗМЫ МОДЕЛЕЙ ПОВЕДЕНИЯ РАСПРЕДЕЛЕННЫХ СИСТЕМ |
Аннотация
PDF (Rus)
|
|
Д. И. Черемисинов |
| |
| № 1(5) (2005) |
МОДЕЛИРОВАНИЕ НЕИСПРАВНОСТЕЙ В СТРУКТУРАХ СБИС НА ЯЗЫКЕ VHDL |
Аннотация
PDF (Rus)
|
|
Л. А. Золоторевич |
| |
| Том 16, № 2 (2019) |
Логическая минимизация булевых сетей с использованием разложения Шеннона |
Аннотация
PDF (Rus)
|
|
П. Н. Бибило, Ю. Ю. Ланкевич |
| |
| № 4(12) (2006) |
СиВер – СИСТЕМА СИНТЕЗА И ВЕРИФИКАЦИИ КОМБИНАЦИОННЫХ ЛОГИЧЕСКИХ СХЕМ |
Аннотация
PDF (Rus)
|
|
П. Н. Бибило, С. Н. Кардаш, В. И. Романов |
| |
| № 4(12) (2006) |
ФОРМИРОВАНИЕ АДРЕСНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ С МАКСИМАЛЬНЫМ СРЕДНИМ ХЭММИНГОВЫМ РАССТОЯНИЕМ ДЛЯ МНОГОКРАТНОГО ТЕСТИРОВАНИЯ ОЗУ |
Аннотация
PDF (Rus)
|
|
С. В. Ярмолик, В. Н. Ярмолик |
| |
| № 1(9) (2006) |
РЕШЕНИЕ БОЛЬШИНСТВА ЛИНЕЙНЫХ ЛОГИЧЕСКИХ УРАВНЕНИЙ НЕСОВМЕСТНОЙ СИСТЕМЫ НА СУПЕРКОМПЬЮТЕРЕ |
Аннотация
PDF (Rus)
|
|
А. Д. Закревский, Н. Р. Торопов |
| |
| № 1(9) (2006) |
VHDL-МОДЕЛИ МАТЕМАТИЧЕСКИХ ФУНКЦИЙ, ОСНОВАННЫЕ НА КУСОЧНО-ПОЛИНОМИАЛЬНОЙ ИНТЕРПОЛЯЦИИ |
Аннотация
PDF (Rus)
|
|
Д. А. Кочанов |
| |
| № 1(9) (2006) |
МИНИМИЗАЦИЯ СИСТЕМ БУЛЕВЫХ ФУНКЦИЙ В КЛАССЕ ДИЗЪЮНКТИВНЫХ НОРМАЛЬНЫХ ФОРМ |
Аннотация
PDF (Rus)
|
|
П. В. Леончик |
| |
| № 1(9) (2006) |
АНАЛИЗ ЭНЕРГОПОТРЕБЛЕНИЯ МНОГОВХОДОВОГО СУММАТОРА ПО МОДУЛЮ ДВА |
Аннотация
PDF (Rus)
|
|
И. А. Мурашко |
| |
| № 1(9) (2006) |
ОБНАРУЖЕНИЕ КОДОЧУВСТВИТЕЛЬНЫХ НЕИСПРАВНОСТЕЙ ЗАПОМИНАЮЩИХ УСТРОЙСТВ С МНОГОКРАТНЫМ ИСПОЛЬЗОВАНИЕМ МАРШЕВЫХ ТЕСТОВ |
Аннотация
PDF (Rus)
|
|
С. В. Ярмолик, В. Н. Ярмолик |
| |
| Том 16, № 2 (2019) |
Верификация систем с параллелизмом поведения на основе графа достижимых состояний |
Аннотация
PDF (Rus)
|
|
Ю. В. Поттосин, В. И. Романов, Л. Д. Черемисинова |
| |
| № 1(9) (2006) |
СРАВНЕНИЕ СХЕМНЫХ РЕАЛИЗАЦИЙ VHDL-МОДЕЛЕЙ, ИСПОЛЬЗУЮЩИХ ЧАСТИЧНУЮ ОПРЕДЕЛЕННОСТЬ БУЛЕВЫХ ФУНКЦИЙ |
Аннотация
PDF (Rus)
|
|
П. Н. Бибило |
| |
| № 2(14) (2007) |
СИНТЕЗ УСТРОЙСТВА УПРАВЛЕНИЯ С МОДИФИЦИРОВАННЫМИ ОПЕРАТОРНЫМИ ЛИНЕЙНЫМИ ЦЕПЯМИ |
Аннотация
PDF (Rus)
|
|
А. А. Баркалов, Л. А. Титаренко, Я. А. Бегановский |
| |
| № 2(14) (2007) |
ОПТИМИЗАЦИЯ ЛОГИЧЕСКОЙ СХЕМЫ АВТОМАТА МУРА НА ПРОГРАММИРУЕМОЙ МАТРИЧНОЙ ЛОГИКЕ |
Аннотация
PDF (Rus)
|
|
А. А. Баркалов, Л. А. Титаренко, С. Я. Хмелевский |
| |
| № 2(14) (2007) |
ОЦЕНКА ВЕРОЯТНОСТИ ОТКАЗА НЕВОССТАНАВЛИВАЕМОЙ СИСТЕМЫ С ИСПОЛЬЗОВАНИЕМ МЕТОДОВ АЛГЕБРЫ ЛОГИКИ |
Аннотация
PDF (Rus)
|
|
Е. Н. Зайцева, Ю. В. Поттосин |
| |
| № 2(14) (2007) |
ДЕКОМПОЗИЦИЯ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ – ПОИСК ПОДХОДЯЩЕГО РАЗБИЕНИЯ |
Аннотация
PDF (Rus)
|
|
А. Д. Закревский |
| |
| № 2(14) (2007) |
АЛГОРИТМ ПОКРЫТИЯ РАЗРЕЖЕННЫХ БУЛЕВЫХ МАТРИЦ |
Аннотация
PDF (Rus)
|
|
П. В. Леончик |
| |
| № 1(13) (2007) |
НАХОЖДЕНИЕ ОТНОШЕНИЯ ПАРАЛЛЕЛЬНОСТИ НА МНОЖЕСТВЕ ЦЕПОЧЕК АЛГОРИТМА УПРАВЛЕНИЯ |
Аннотация
PDF (Rus)
|
|
Л. Д. Черемисинова |
| |
| № 1(13) (2007) |
ДЕКОМПОЗИЦИЯ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ - ПРОВЕРКА НА РАЗДЕЛИМОСТЬ ПО ЗАДАННОМУ РАЗБИЕНИЮ |
Аннотация
PDF (Rus)
|
|
А. Д. Закревский |
| |
| № 1(13) (2007) |
ИССЛЕДОВАНИЕ ЭФФЕКТИВНОСТИ ЛОГИЧЕСКОЙ МИНИМИЗАЦИИ В ПРОЦЕССЕ СИНТЕЗА КОМБИНАЦИОННЫХ СХЕМ |
Аннотация
PDF (Rus)
|
|
П. Н. Бибило, П. В. Леончик |
| |
| № 1(13) (2007) |
МОДЕЛИРОВАНИЕ ФУНКЦИОНАЛЬНЫХ НЕИСПРАВНОСТЕЙ ЦИФРОВЫХ УСТРОЙСТВ СРЕДСТВАМИ ЯЗЫКА VHDL |
Аннотация
PDF (Rus)
|
|
А. А. Иванюк |
| |
| № 1(13) (2007) |
МЕТОДИКА ПРОЕКТИРОВАНИЯ БЫСТРОДЕЙСТВУЮЩЕГО ГЕНЕРАТОРА ПСЕВДОСЛУЧАЙНОЙ ПОСЛЕДОВАТЕЛЬНОСТИ МАКСИМАЛЬНОЙ ДЛИНЫ |
Аннотация
PDF (Rus)
|
|
И. А. Мурашко |
| |
| № 4(20) (2008) |
РЕАЛИЗАЦИЯ ЭВРИСТИЧЕСКОГО МЕТОДА ДЕКОМПОЗИЦИИ БУЛЕВЫХ ФУНКЦИЙ |
Аннотация
PDF (Rus)
|
|
А. Д. Закревский, Н. Р. Торопов |
| |
| № 4(20) (2008) |
ПОСТРОЕНИЕ ПОСЛЕДОВАТЕЛЬНОСТЕЙ ДЛЯ ТЕСТИРОВАНИЯ D-ТРИГГЕРОВ СИНХРОННЫХ ПОСЛЕДОВАТЕЛЬНОСТНЫХ СХЕМ |
Аннотация
PDF (Rus)
|
|
Д. А. Кочанов |
| |
| № 3(19) (2008) |
РЕШЕНИЕ СИСТЕМЫ ДИЗЪЮНКТИВНЫХ УРАВНЕНИЙ МЕТОДОМ ПЕРЕМНОЖЕНИЯ ДНФ |
Аннотация
PDF (Rus)
|
|
Н. Р. Торопов |
| |
| № 3(19) (2008) |
АНАЛИЗ КОЛИЧЕСТВЕННЫХ ХАРАКТЕРИСТИК РАЗЛИЧИЯ ПРИ ТЕСТИРОВАНИИ ОЗУ |
Аннотация
PDF (Rus)
|
|
С. В. Ярмолик, А. Н. Курбацкий, В. Н. Ярмолик |
| |
| № 2(18) (2008) |
НАХОЖДЕНИЕ ЗАДЕРЖЕК РЕГУЛЯРНЫХ СХЕМ С ПОСЛЕДОВАТЕЛЬНЫМИ СОЕДИНЕНИЯМИ ТРАНЗИСТОРОВ |
Аннотация
PDF (Rus)
|
|
Н. А. Авдеев, П. Н. Бибило |
| |
| № 2(18) (2008) |
ВНЕДРЕНИЕ ФУНКЦИОНАЛЬНЫХ НЕИСПРАВНОСТЕЙ ОЗУ В ОПИСАНИЯ ЦИФРОВЫХ УСТРОЙСТВ НА ЯЗЫКЕ VHDL |
Аннотация
PDF (Rus)
|
|
А. А. Иванюк, А. В. Степанов |
| |
| № 2(18) (2008) |
ТОПОЛОГИЧЕСКАЯ ОПТИМИЗАЦИЯ РЕГУЛЯРНЫХ МОП СТРУКТУР МЕТОДОМ ДВУДОЛЬНОЙ СВЕРТКИ |
Аннотация
PDF (Rus)
|
|
Л. Д. Черемисинова |
| |
| № 2(18) (2008) |
МЕТОД МИНИМИЗАЦИИ СИСТЕМЫ ПОЛНОСТЬЮ ОПРЕДЕЛЕННЫХ БУЛЕВЫХ ФУНКЦИЙ |
Аннотация
PDF (Rus)
|
|
Ю. В. Поттосин, Н. Р. Торопов, Е. А. Шестаков |
| |
| № 3(23) (2009) |
ОПТИМИЗАЦИОННЫЕ ПРЕОБРАЗОВАНИЯ ЛОГИЧЕСКОЙ СХЕМЫ НА ОСНОВЕ БЛОЧНОГО РАЗБИЕНИЯ |
Аннотация
PDF (Rus)
|
|
П. Н. Бибило, Н. А. Кириенко |
| |
| № 3(23) (2009) |
МЕТОД МИНИМИЗАЦИИ СИСТЕМЫ НЕ ПОЛНОСТЬЮ ОПРЕДЕЛЕННЫХ БУЛЕВЫХ ФУНКЦИЙ |
Аннотация
PDF (Rus)
|
|
Ю. В. Поттосин, Н. Р. Торопов, Е. А. Шестаков |
| |
| № 3(23) (2009) |
ТЕСТИРОВАНИЕ ОЗУ НА ОСНОВЕ АДАПТИВНОГО СЖАТИЯ ВЫХОДНЫХ ДАННЫХ |
Аннотация
PDF (Rus)
|
|
С. В. Ярмолик, В. Н. Ярмолик |
| |
| 1 - 70 из 100 результатов |
1 2 > >>
|
