RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов
Загрузить рукопись

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Автомат. и телемех.:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


2004, выпуск 6  


Предисловие к специальному выпуску журнала “Арифметическая логика в системах управления”
Р. С. Станкович, С. Н. Янушкевич
3

Арифметическая логика
Арифметические выражения фибоначчи
Й. Т. Астола, К. Егиазарян, М. Станкович, Р. С. Станкович
4
Семейство тернарных арифметических полиномиальных представлений на основе новых классов преобразований
Б. Фальковски, Ч. Фу
22
Реализация систем булевых функций большой размерности методами модулярной арифметики
О. А. Финько
37
Теоремы малюгина: новое понимание в логическом управлении, проектировании сбис и структурах данных для новых технологий
В. П. Шмерко
61

Решающие диаграммы
Языковые конструкции РДВ в спецификациях на основе многобитовых решающих диаграмм
К. Вахид, Д. К. Лу, К. Рахман
84
Представления логических схем линейными решающими диаграммами с расширением для наноструктур
П. Дзюжаньски, В. П. Шмерко, С. Н. Янушкевич
93
Приближенные алгоритмы минимизации двоичных диаграмм решений на основе линейных преобразований переменных
А. Колпаков, Р. Х. Латыпов
112
Представление логических схем линейными решающими диаграммами для целей оперативного макетирования
Р. Сайзленд, Й. Ксай
129

Дискретное моделирование
Использование информации многобитового уровня в процедурах формальной верификации аппаратных средств
Рольф Дрекслер
140
Алгоритмы синтеза полиномов, реализующих слабо определенные булевы функции и системы
А. Д. Закревский
158
Синтез и верификация логических моделей
В. Д. Малюгин
177
Смешанное представление многозначных логических функций спектрами и решающими диаграммами
М. Торнтон
188
Моделирование комбинационных схем с использованием линейных многобитовых представлений
Д. Попель, С. Н. Янушкевич
201

Среди книг
Рецензия на книгу Ч. Гаджиева и Ф. Чалишкана “Диагностика неисправностей и реконфигурация в системах управления полетом”
В. Ю. Рутковский
218

Памяти Л. А. Залманзона
В. Д. Малюгин, В. С. Выхованец
221
Автоматика и телемеханика
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019