Название: Методы и средства предикатно-онтологического контроля семантики проектных задач и проектных решений(Шамшев А.Б.) Жанр: Информационные системы и технологии Просмотров: 4559 |
Аннотация
АВТОРЕФЕРАТШАМШЕВ АЛЕКСЕЙ БОРИСОВИЧМЕТОДЫ И СРЕДСТВА
ПРЕДИКАТНО-ОНТОЛОГИЧЕСКОГО КОНТРОЛЯ СЕМАНТИКИ ПРОЕКТНЫХ ЗАДАЧ И ПРОЕКТНЫХ
РЕШЕНИЙПодписано в печать 11.11.2010. Формат 60x84/16.Усл. п. л. 1,17.
На правах рукописиШАМШЕВ АЛЕКСЕЙ БОРИСОВИЧМЕТОДЫ И СРЕДСТВА ПРЕДИКАТНО-ОНТОЛОГИЧЕСКО- ГО КОНТРОЛЯ СЕМАНТИКИПРОЕКТНЫХ ЗАДАЧ И ПРОЕКТНЫХ РЕШЕНИЙСпециальность: 05.13.12 –«Системы автоматизации проектирования (промышленность)»АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата технических наукУльяновск, 2010 Работа выполнена на кафедре «Вычислительная техника» Ульяновского государственного технического университетаНаучный руководитель: доктор технических наук, профессорСОСНИН Пётр ИвановичОфициальные оппоненты: доктор технических наук, профессорЕГОРОВ Юрий Петрович;кандидат технических наук, профессорПОХИЛЬКО Александр ФёдоровичВедущая организация: ОАО «Ульяновское конструкторское бюро приборостроения», г. Ульяновск.Защита состоится 15 декабря 2010 г. в 12:00 на заседании диссертационного Совета Д212.277.01 при Ульяновском государственном техническом универси- тете по адресу: 432027, г. Ульяновск, ул. Северный Венец, д. 32. ауд. 211.С диссертацией можно ознакомиться в научной библиотеке Ульяновского госу- дарственного технического университета.Автореферат разослан «15» ноября 2010 г.Учёный секретарь диссертационного советад.т.н., профессор В.И. Смирнов |
|