Конференция «Теория и практика логического управления», посвященная памяти М. А. Гаврилова Текст научной статьи по специальности «Компьютерные и информационные науки»

Конференции «Теория о орактока логического управления», пнсвященная памяти М.А. Гаврилова

10—11 ноября 2003 г. в Институте проблем управления им. В.А. Трапезникова РАН состоялась международная конференция, посвященная 100-летию со дня рождения выдающегося ученого, доктора технических наук, профессора, члена-кор-респондента АН СССР Михаила Александровича Гаврилова — одного из создателей и лидеров теории логических схем и конечных автоматов, которая в 1960-х годах была наиболее продвинутой и бурно развивающейся ветвью кибернетики.

В конференции приняли участие ученики и коллеги М.А. Гаврилова, участники знаменитых Гавриловских школ по теории дискретных устройств и конечных автоматов, приехавшие из Санкт-Петербурга, Киева, Минска, Томска и других городов.

С докладом о жизненном пути М.А. Гаврилова и его вкладе в мировую науку выступил А.А. Амбарцумян. О.П. Кузнецов рассказал о Гавриловских школах, их традициях и незабываемой научной и человеческой атмосфере, царившей на них. С воспоминаниями о М.А. Гаврилове выступили директор ИПУ И.В. Прангишвили, П.П. Пархоменко, Е.В. Бабичева, А.Е. Янковская. С теплыми словами обратилась к участникам вдова М.А. Гаврилова Н.Н. Потапова.

Представленные на конференции доклады с некоторой долей условности можно классифицировать следующим образом.

Логическое управление

Амбарцумян А.А. Логическое управление на основе событийного моделирования.

Бибило П.Н. Декомпозиция частичных булевых функций на основе решения логических уравнений.

Закревский А.Д. Эффективный метод нахождения кратчайшего решения систем линейных логических уравнений.

Лазарев В.Г., Пийлъ Е.И. Применение теории автоматов и логического управления при проектировании телекоммуникационных систем.

Потехин А.И. Аналитическое описание технологической структуры объектов с потоковой технологией.

Поттосин Ю.В., Томашев В.Ф., Шестаков Е.А. Мультиплексная реализация булевой функции по ее секционному разложению.

Выхованец В.С., Малюгин В.Д. Аппаратная и программная реализация мультипликативных форм.

Редъкин Н.П. Минимальные самокорректирую -щиеся схемы для оператора поразрядного сравнения булевых наборов.

Финъко О.А. Модульные формы арифметической логики.

Логическое проектирование

Черемисинов Д.И. Конвертер структурных описаний для интеграции САПР.

Кононенко НА., Захарова Г.Б., Титов В.Г. Программно-алгоритмический комплекс для компи-

лятивного проектирования систем логического управления и вычислительных структур.

Чеботарев А.Н. Язык логической спецификации реактивных систем (синтаксис и семантика).

Черемисинова Л.Д. Комплекс программ синтеза логических сетей на ПМЛ.

Янковская А.Е. К вопросу оптимизации и надежностного проектирования и перепроектирования устройств логического управления.

Системный анализ

Прангишвили И.В. Системный подход, системное мышление и энтропизация знаний.

Теория программирования

Абрамова Н.А. О практических возможностях формализованных спецификаций.

Искусственный интеллект

Кузнецов О.П., Кулинич А.А., Марковский А.В. Применение аппарата нечетких отношений к анализу ситуаций.

Поспелов Д.А., Шустер В.А. Нормативное поведение интеллектуальных систем.

Случайные процессы

Гребенюк Е.А. Анализ и оперативная диагностика систем, описываемых нестационарными случайными процессами, применение разработанных алгоритмов для прогноза кризисных событий в российской экономике.

Техническая диагностика

Правилъщиков П.А. Законы технической диагностики как обоснование новой архитектуры вычислительных средств для решения логических и других уравнений.

Прикладная дискретная математика

Выхованец В. С. Алгебраическая декомпозиция дискретных функций в аддитивной алгебре.

Пархоменко П.П. Построение гамильтоновых циклов в двоичных гиперкубах с неисправными ребрами.

Шоломов Л.А. Формальные методы построения, агрегирования и декомпозиции отношений в порядковых моделях многокритериального выбора.

Новые информационные технологии

Григорян А.К. Современные технологии управления предприятиями.

Девятков В.В. Мультиагентное иерархическое распознавание на основе нечеткого ситуационного исчисления.

Научная тематика конференции оказалась весьма разнообразной, показав, насколько широк круг областей информатики и управления, в которых работают люди, начинавшие свой научный путь с теории логических схем и конечных автоматов.

О.П. Кузнецов 8 (095) 334-91-19

E-mail: olkuznes@ipu.rssi.ru □

ПРОБЛЕМЫ УПРАВЛЕНИЯ № 4 • 2DD3