Шестая международная конференция «Автоматизация проектирования дискретных систем» саdd DD′07 Минск, 14-15 ноября 2007 г Текст научной статьи по специальности «Строительство и архитектура»

ХРОНИКА

ШЕСТАЯ МЕЖДУНАРОДНАЯ КОНФЕРЕНЦИЯ «АВТОМАТИЗАЦИЯ ПРОЕКТИРОВАНИЯ ДИСКРЕТНЫХ СИСТЕМ» CAD DD'07

Минск, 14-15 ноября 2007 г.

Организаторы конференции: Объединенный институт проблем информатики НАН Беларуси, Белорусский государственный университет, Институт проблем проектирования в микроэлектронике РАН, Томский государственный университет, Зеленоградский университет (Польша). Заседания проходили в Объединенном институте проблем информатики.

Научная программа конференции охватывала следующие тематические направления: лингвистическое обеспечение; архитектурное проектирование; алгоритмическое проектирование; функционально-логическое проектирование; анализ и верификация; техническое диагностирование; моделирование; системы автоматизированного проектирования; реализация систем на программируемых, заказных и полузаказных СБИС; проектирование систем на кристалле; новые маршруты проектирования; библиотеки проектных решений, IP-блоки.

Председатель программного комитета чл.-корр. НАН Беларуси А.Д. Закревский, председатель оргкомитета д-р техн. наук П.Н. Бибило и ответственный секретарь конференции О.В. Клачко обеспечили качественное рецензирование и отбор докладов, а также публикацию докладов в двух томах материалов конференции.

Финансовую поддержку в публикации материалов конференции оказали Объединенный институт проблем информатики НАН Беларуси, Национальная академия наук Беларуси, Белорусский республиканский фонд фундаментальных исследований.

В конференции участвовали 114 ученых из 13 стран (Армении, Беларуси, Германии, Израиля, Китая, России, Словакии, США, Украины, Швейцарии, Японии), в том числе 3 член-корреспондента национальных академий наук, 27 докторов и 34 кандидата наук. Было заслушано 4 пленарных и 67 секционных докладов. В рамках конференции была организована выставка-демонстрация программных средств.

Открывая конференцию, генеральный директор ОИПИ НАН Беларуси чл.-корр. НАН Белару-

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

В пленарных докладах — В.И. Хаханов (соавторы С. Гайдук, И.В. Хаханова) «Технологии тестирования и верификации программно-аппаратных проектов»; В.В. Кунцевиг «Обзор средств САПР сквозного проектирования современных сложно-функциональных интегральных схем»; A.A. Ива-нюк «Контролепригодное проектирование оперативных запоминающих устройств»; B. Stainbach «UML based design automation» — были сделаны обзоры и дан всесторонний анализ современного состояния теории и практики решения задач, относящихся к заявленным темам докладов.

На секциях «Логическое проектирование, моделирование, тестирование и диагностика» и «Высокоуровневое проектирование, схемотехническое, топологическое и физическое проектирование» были заслушаны доклады ученых из СНГ

A.Д. Закревского, П.Н. Бибило, Л.А. Золоторевич,

B.А. Ведешенкова, А.В. Лобанова, Ю.А. Скобцова, Д.В. Сперанского, В.А. Твердохлебова, В.В. Топоркова и др., а также доклады зарубежных ученых — A. Barkalov (Польша), B. Stainbach, Ch. Posthoff (оба — Германия), A.F. Bukowiec, A.G. Karatkevich (оба — Польша), E. Lange (Латвия) и др.

Ряд докладов был посвящен задачам высокоуровневого проектирования и вопросам применения языков UML, VHDL, ПРАЛУ для описания функционирования дискретных устройств, моделей сетей Петри, автоматов и параллельных программ. В рамках схемотехнического, топологического и физического проектирования рассматривались проблемы размещения элементов и ячеек регулярных структур с последовательным соединением транзисторов, вопросы проектирования заказных СБИС и др. Логическое проектирование было представлено докладами по распознаванию монотонных булевых функций, по оптимизационным задачам в булевом пространстве, по новым подходам в задачах минимизации и декомпозиции

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

85

ХРОНИКА

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

Доклады были разнообразные и в основном интересные, часто вызывали живой интерес и дискуссии, в ходе которых нередко каждый из участ-

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

Подробнее с программой конференции можно ознакомиться на сайте http://uiip.bas-net.by/%7Elogic/cad2007.html.

Д-р техн. наук, профессор В.А. Твердохлебов

e-mail: [email protected] □

НАУЧНО-ТЕХНИЧЕСКАЯ КОНФЕРЕНЦИЯ «СОВРЕМЕННЫЕ СЛОЖНЫЕ СИСТЕМЫ УПРАВЛЕНИЯ»

Конференция организована совместно на ротационной основе Институтом проблем управления им. В.А. Трапезникова РАН, Воронежским государственным архитектурно-строительным университетом, Липецким государственным техническим университетом, Тверским государственным техническим университетом и Старооскольским технологическим институтом.

Место и время проведения — г. Тверь, Тверской государственный технический университет, 6—7 мая 2008 г.

Основные тематические направления конференции

■ теория управления; методы, модели и механизмы управления;

■ наблюдаемость, управляемость и идентификация систем управления;

■ оценивание процессов управления; оптимальное и адаптивное управление;

■ управление производственными, финансовыми и социальными структурами;

■ управление проектами и производством; управление запасами, затратами, финансами, потоками ресурсов и персоналом;

■ моделирование и проектирование организационно-технологических процессов, производств и систем управления;

■ управление непрерывными и дискретными технологическими процессами в различных производствах;

■ управление качеством продукции;

■ искусственный интеллект.

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

Сообщения и материалы следует направлять по адресам: [email protected], [email protected], [email protected], 170024, г. Тверь, ул. М. Конева, д. 12, к. 506б, ТГТУ, кафедра "Бухгалтерский учет, анализ и аудит", проф. В.Н. Кузнецову.

86

CONTROL SCIENCES № 2 • 2008