|
Предисловие к специальному выпуску журнала “Арифметическая логика в системах управления”
Р. С. Станкович, С. Н. Янушкевич
|
3 |
|
|
Арифметическая логика
|
|
|
Арифметические выражения фибоначчи
Й. Т. Астола, К. Егиазарян, М. Станкович, Р. С. Станкович
|
4–21 |
|
|
Семейство тернарных арифметических полиномиальных представлений на основе новых классов преобразований
Б. Фальковски, Ч. Фу
|
22–36 |
|
|
Реализация систем булевых функций большой размерности методами модулярной арифметики
О. А. Финько
|
37–60 |
|
|
Теоремы малюгина: новое понимание в логическом управлении, проектировании сбис и структурах данных для новых технологий
В. П. Шмерко
|
61–83 |
|
|
Решающие диаграммы
|
|
|
Языковые конструкции РДВ в спецификациях на основе многобитовых решающих диаграмм
К. Вахид, Д. К. Лу, К. Рахман
|
84–92 |
|
|
Представления логических схем линейными решающими диаграммами с расширением для наноструктур
П. Дзюжаньски, В. П. Шмерко, С. Н. Янушкевич
|
93–111 |
|
|
Приближенные алгоритмы минимизации двоичных диаграмм решений на основе линейных преобразований переменных
А. Колпаков, Р. Х. Латыпов
|
112–128 |
|
|
Представление логических схем линейными решающими диаграммами для целей оперативного макетирования
Р. Сайзленд, Й. Ксай
|
129–139 |
|
|
Дискретное моделирование
|
|
|
Использование информации многобитового уровня в процедурах формальной верификации аппаратных средств
Рольф Дрекслер
|
140–157 |
|
|
Алгоритмы синтеза полиномов, реализующих слабо определенные булевы функции и системы
А. Д. Закревский
|
158–176 |
|
|
Синтез и верификация логических моделей
В. Д. Малюгин
|
177–187 |
|
|
Смешанное представление многозначных логических функций спектрами и решающими диаграммами
М. Торнтон
|
188–200 |
|
|
Моделирование комбинационных схем с использованием линейных многобитовых представлений
Д. Попель, С. Н. Янушкевич
|
201–217 |
|
|
Среди книг
|
|
|
Рецензия на книгу Ч. Гаджиева и Ф. Чалишкана “Диагностика неисправностей и реконфигурация в системах управления полетом”
В. Ю. Рутковский
|
218–220 |
|
|
|
Памяти Л. А. Залманзона
В. Д. Малюгин, В. С. Выхованец
|
221 |
Обратная связь: