Preview

Информатика

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

Информация о разделе


ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ

 
Выпуск Название
 
Том 21, № 3 (2024) Извлечение логических сетей при декомпиляции описаний КМОП-схем на уровне транзисторов Аннотация   PDF (Rus)
Д. И. Черемисинов, Л. Д. Черемисинова
 
Том 21, № 3 (2024) Декомпозиция параллельного автомата в сеть последовательных автоматов и энергосберегающее кодирование их состояний при асинхронной реализации Аннотация   PDF (Rus)
Ю. В. Поттосин
 
Том 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, № 2 (2022) Экспериментальное сравнение эффективности программ минимизации систем булевых функций в классе дизъюнктивных нормальных форм Аннотация   PDF (Rus)
П. Н. Бибило, И. П. Логинова
 
Том 19, № 3 (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) ОПИСАНИЕ ПАРАЛЛЕЛЬНЫХ И СЕКВЕНЦИАЛЬНЫХ АВТОМАТОВ НА ЯЗЫКЕ VHDL Аннотация   PDF (Rus)
П. Н. Бибило
 
№ 1(5) (2005) МОРФИЗМЫ МОДЕЛЕЙ ПОВЕДЕНИЯ РАСПРЕДЕЛЕННЫХ СИСТЕМ Аннотация   PDF (Rus)
Д. И. Черемисинов
 
№ 1(5) (2005) МОДЕЛИРОВАНИЕ НЕИСПРАВНОСТЕЙ В СТРУКТУРАХ СБИС НА ЯЗЫКЕ VHDL Аннотация   PDF (Rus)
Л. А. Золоторевич
 
№ 1(5) (2005) СИНТЕЗ КОМПОЗИЦИОННОГО МИКРОПРОГРАММНОГО УСТРОЙСТВА УПРАВЛЕНИЯ С ОПТИМАЛЬНЫМ КОДИРОВАНИЕМ ЭЛЕМЕНТАРНЫХ ОПЕРАТОРНЫХ ЛИНЕЙНЫХ ЦЕПЕЙ Аннотация   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) ОБНАРУЖЕНИЕ КОДОЧУВСТВИТЕЛЬНЫХ НЕИСПРАВНОСТЕЙ ЗАПОМИНАЮЩИХ УСТРОЙСТВ С МНОГОКРАТНЫМ ИСПОЛЬЗОВАНИЕМ МАРШЕВЫХ ТЕСТОВ Аннотация   PDF (Rus)
С. В. Ярмолик, В. Н. Ярмолик
 
№ 1(9) (2006) РЕШЕНИЕ БОЛЬШИНСТВА ЛИНЕЙНЫХ ЛОГИЧЕСКИХ УРАВНЕНИЙ НЕСОВМЕСТНОЙ СИСТЕМЫ НА СУПЕРКОМПЬЮТЕРЕ Аннотация   PDF (Rus)
А. Д. Закревский, Н. Р. Торопов
 
№ 1(9) (2006) VHDL-МОДЕЛИ МАТЕМАТИЧЕСКИХ ФУНКЦИЙ, ОСНОВАННЫЕ НА КУСОЧНО-ПОЛИНОМИАЛЬНОЙ ИНТЕРПОЛЯЦИИ Аннотация   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) ПОСТРОЕНИЕ ПОСЛЕДОВАТЕЛЬНОСТЕЙ ДЛЯ ТЕСТИРОВАНИЯ D-ТРИГГЕРОВ СИНХРОННЫХ ПОСЛЕДОВАТЕЛЬНОСТНЫХ СХЕМ Аннотация   PDF (Rus)
Д. А. Кочанов
 
№ 4(20) (2008) РЕАЛИЗАЦИЯ ЭВРИСТИЧЕСКОГО МЕТОДА ДЕКОМПОЗИЦИИ БУЛЕВЫХ ФУНКЦИЙ Аннотация   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)
П. Н. Бибило, Н. А. Кириенко
 
1 - 70 из 102 результатов 1 2 > >>