Название: Методы и средства предикатно-онтологического контроля семантики проектных задач и проектных решений(Шамшев А.Б.)

Жанр: Информационные системы и технологии

Просмотров: 4003

Аннотация

АВТОРЕФЕРАТШАМШЕВ АЛЕКСЕЙ БОРИСОВИЧМЕТОДЫ И СРЕДСТВА ПРЕДИКАТНО-ОНТОЛОГИЧЕСКОГО КОНТРОЛЯ СЕМАНТИКИ ПРОЕКТНЫХ ЗАДАЧ И ПРОЕКТНЫХ РЕШЕНИЙПодписано в печать 11.11.2010. Формат 60x84/16.Усл. п. л. 1,17.Уч.-изд.л. 1,00. Тираж 100 экз. Заказ № 1359.Типография УлГТУ. 432027. Ульяновск, Сев. Венец, 32

На правах рукописиШАМШЕВ АЛЕКСЕЙ БОРИСОВИЧМЕТОДЫ И СРЕДСТВА ПРЕДИКАТНО-ОНТОЛОГИЧЕСКО- ГО КОНТРОЛЯ СЕМАНТИКИПРОЕКТНЫХ ЗАДАЧ И ПРОЕКТНЫХ РЕШЕНИЙСпециальность: 05.13.12 –«Системы автоматизации проектирования (промышленность)»АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата технических наукУльяновск, 2010

Работа выполнена на кафедре «Вычислительная техника» Ульяновского государственного технического университетаНаучный руководитель:                  доктор технических наук, профессорСОСНИН Пётр ИвановичОфициальные оппоненты:              доктор технических наук, профессорЕГОРОВ Юрий Петрович;кандидат технических наук, профессорПОХИЛЬКО Александр ФёдоровичВедущая организация:            ОАО «Ульяновское конструкторское бюро приборостроения», г. Ульяновск.Защита состоится 15 декабря 2010 г. в 12:00 на заседании диссертационного Совета Д212.277.01 при Ульяновском государственном техническом универси- тете по адресу: 432027, г. Ульяновск, ул. Северный Венец, д. 32. ауд. 211.С диссертацией можно ознакомиться в научной библиотеке Ульяновского госу- дарственного технического университета.Автореферат разослан «15» ноября 2010 г.Учёный секретарь диссертационного советад.т.н., профессор                                                                               В.И. Смирнов