М.: Наука. — ISSN 0005-2310.
Журнал «Автоматика и телемеханика» издается под руководством
Отделения энергетики, машиностроения, механики и процессов
управления Российской академии наук на базе Института проблем
управления им. В. А. Трапезникова РАН. Соучредителем является
Институт проблем передачи информации им. А. А. Харкевича РАН.
Выпускается 12 номеров журнала в год (ежемесячный).
Журнал публикует статьи и заметки, содержащие новые научные
результаты в области теоретических и прикладных проблем управления,
по следующим разделам: автоматы; автоматизация проектирования и
программирования; автоматизированные системы управления; адаптивные
и робастные системы; вычислительная техника в управлении;
детерминированные системы; дискретные системы; моделирование
поведения и интеллекта; надежность; системы автоматизации
производственных процессов; системы массового обслуживания;
стохастические системы; техническая диагностика; технические
средства в управлении; управление в биологических системах и
медицине; управление в социально-экономических системах; заметки;
хроника; информация. Публикуются также обзоры, характеризующие
современное состояние основных проблем, сообщения о наиболее
интересных научных конференциях, материалы научных дискуссий,
рецензии на новые книги.
Содержание:
Р.С. Станкович, С.Н. Янушкевич. Предисловие к специальному выпуску журнала Арифметическая логика в системах управления Арифметическая логика
Й.Т. Астола, К. Егиазарян, М. Станкович, Р.С. Станкович. Арифметические выражения фибоначчи
Б. Фальковски, Ч. Фу. Семейство тернарных арифметических полиномиальных представлений на основе новых классов преобразований
О.А. Финько. Реализация систем булевых функций большой размерности методами модулярной арифметики
В.П. Шмерко. Теоремы малюгина: новое понимание в логическом управлении, проектировании сбис и структурах данных для новых технологий Решающие диаграммы
К. Вахид, Д.К. Лу, К. Рахман. Языковые конструкции РДВ в спецификациях на основе многобитовых решающих диаграмм
П. Дзюжаньски, В.П. Шмерко, С.Н. Янушкевич. Представления логических схем линейными решающими диаграммами с расширением для наноструктур
А. Колпаков, Р.Х. Латыпов. Приближенные алгоритмы минимизации двоичных диаграмм решений на основе линейных преобразований переменных
Р. Сайзленд, Й. Ксай. Представление логических схем линейными решающими диаграммами для целей оперативного макетирования Дискретное моделирование
Рольф Дрекслер. Использование информации многобитового уровня в процедурах формальной верификации аппаратных средств
А.Д. Закревский. Алгоритмы синтеза полиномов, реализующих слабо определенные булевы функции и системы
В.Д. Малюгин. Синтез и верификация логических моделей
М. Торнтон. Смешанное представление многозначных логических функций спектрами и решающими диаграммами
Д. Попель, С.Н. Янушкевич. Моделирование комбинационных схем с использованием линейных многобитовых представлений Среди книг
В.Ю. Рутковский. Рецензия на книгу Ч. Гаджиева и Ф. Чалишкана Диагностика неисправностей и реконфигурация в системах управления полетом В.Д. Малюгин, В.С. Выхованец. Памяти Л.А. Залманзона
Р.С. Станкович, С.Н. Янушкевич. Предисловие к специальному выпуску журнала Арифметическая логика в системах управления Арифметическая логика
Й.Т. Астола, К. Егиазарян, М. Станкович, Р.С. Станкович. Арифметические выражения фибоначчи
Б. Фальковски, Ч. Фу. Семейство тернарных арифметических полиномиальных представлений на основе новых классов преобразований
О.А. Финько. Реализация систем булевых функций большой размерности методами модулярной арифметики
В.П. Шмерко. Теоремы малюгина: новое понимание в логическом управлении, проектировании сбис и структурах данных для новых технологий Решающие диаграммы
К. Вахид, Д.К. Лу, К. Рахман. Языковые конструкции РДВ в спецификациях на основе многобитовых решающих диаграмм
П. Дзюжаньски, В.П. Шмерко, С.Н. Янушкевич. Представления логических схем линейными решающими диаграммами с расширением для наноструктур
А. Колпаков, Р.Х. Латыпов. Приближенные алгоритмы минимизации двоичных диаграмм решений на основе линейных преобразований переменных
Р. Сайзленд, Й. Ксай. Представление логических схем линейными решающими диаграммами для целей оперативного макетирования Дискретное моделирование
Рольф Дрекслер. Использование информации многобитового уровня в процедурах формальной верификации аппаратных средств
А.Д. Закревский. Алгоритмы синтеза полиномов, реализующих слабо определенные булевы функции и системы
В.Д. Малюгин. Синтез и верификация логических моделей
М. Торнтон. Смешанное представление многозначных логических функций спектрами и решающими диаграммами
Д. Попель, С.Н. Янушкевич. Моделирование комбинационных схем с использованием линейных многобитовых представлений Среди книг
В.Ю. Рутковский. Рецензия на книгу Ч. Гаджиева и Ф. Чалишкана Диагностика неисправностей и реконфигурация в системах управления полетом В.Д. Малюгин, В.С. Выхованец. Памяти Л.А. Залманзона