автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.01, диссертация на тему:Модели структурного описания объектов для оценки их качества

кандидата технических наук
Дорофеев, Роман Сергеевич
город
Иркутск
год
2014
специальность ВАК РФ
05.13.01
Автореферат по информатике, вычислительной технике и управлению на тему «Модели структурного описания объектов для оценки их качества»

Автореферат диссертации по теме "Модели структурного описания объектов для оценки их качества"

На правах рукописи

ДОРОФЕЕВ Роман Сергеевич

МОДЕЛИ СТРУКТУРНОГО ОПИСАНИЯ ОБЪЕКТОВ ДЛЯ ОЦЕНКИ ИХ КАЧЕСТВА

Специальность 05.13.01 - Системный анализ, управление и обработка информации (промышленность)

АВТОРЕФЕРАТ

диссертации на соискание ученой степени кандидата технических наук

О 4 СЕН 2014

005552120

Иркутск-2014

005552120

Диссертация выполнена в ФГБОУ ВПО «Иркутский государственный технический университет» на кафедре «Технологии машиностроения»

Научный руководитель: кандидат технических наук, доцент

Сосинская Софья Соломоновна

Официальные оппоненты: Дегтярев Александр Борисович,

доктор технических наук, доцент, ФГБОУ ВПО «Санкт-Петербургский государственный электротехнический университет «ЛЭТИ» им. В.И. Ульянова (Ленина)», профессор кафедры «Вычислительной техники»

Черняховская Лилия Рашитовна, доктор технических наук, профессор, ФГБОУ ВПО «Уфимский государственный авиационный технический университет», профессор кафедры «Технической кибернетики»

Ведущая организация: ФГБОУ ВПО «Ангарская государственная

техническая академия» (г. Ангарск)

Защита состоится «16» октября 2014 г. в 10-00 часов на заседании диссертационного совета Д.218.004.01 на базе ФГБОУ ВПО «Иркутский государственный университет путей сообщения» по адресу: 664074, г. Иркутск, ул. Чернышевского, 15, ауд. А-803. Тел. 8-(3952)-63-83-11, факс 8-(3952)-38-76-72; e-mail: rnaknv@irgups.ru.

С диссертацией можно ознакомиться в библиотеке и на сайте ФГБОУ ВПО «Иркутский государственный университет путей сообщения» http://www.irgups.ru

Автореферат разослан «15» августа 2014

Ученый секретарь диссертационного совета

'/У

А/ / А.В. Данеев

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

Актуальность темы исследования. В условиях рынка и конкуренции высокое качество является самым значимым источником национального богатства и важнейшей составляющей конкурентоспособности. Качество продукции практически стало критерием надежности партнера - одним из условий успешного бизнеса. Обеспечение качества продукции поставлено в ряд важных экономических проблем для всех стран мира, а для России в особенности. Используемые на предприятиях в настоящее время методы оценки качества требуют больших трудозатрат и недостаточно автоматизированы.

Проведенный анализ литературы показал, что существующие с конца 60-х гг. методы квалиметрической экспертизы не потеряли своей актуальности и продолжают использоваться по сей день. Оценке качества с использованием методов квалиметрии посвящены работы многих отечественных авторов: Г.Г. Аз-гальдова, В.В. Окрепилова, А.И. Субетго, A.B. Владимирцева, А.Г. Варжапетяна, А.И. Гаранина, М. Скржипека, A.B. Гличева и других.

Нельзя обойти вниманием и сравнительно недавно появившийся онтологический подход, который показал свою жизнеспособность для структурного описания предметной области. Вопросам применения онтологии уделено внимание в работах Т.А. Гавриловой, В.Ф. Хорошевского, А.Ф. Тузовского, C.B. Чи-рикова, В.З. Ямпольского и других исследователей.

Зарубежный опыт применения методов квалиметрии и онтологического подхода без их совокупного использования представлен работами следующих авторов: Tom Gruber, Nicola Guariano, Mike Uschold, Michael Graninger, Jos de Bruijn, Stijn Heymans, D.R. White, D.L. Scott, R.N. Schulz и других.

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

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

Цель исследования заключается в разработке методики квалиметрической экспертизы на основе моделей структурного описания объектов с использованием онтологий, что позволяет автоматизировать процесс оценки качества и выявить источники его потерь.

Для реализации поставленной цели решались следующие задачи:

1. Оценка возможности и необходимости применения онтологического подхода к задачам квалиметрической экспертизы.

3

2. Структуризация признаков, влияющих на оценку качества, с позиций системного анализа и на основе онтологического подхода; структурное описание объектов в виде онтологии.

3. Разработка методики перехода от классических моделей описания последовательности технологических операций (ЮЕН), иМЬ) к онтологии признаков объекта, влияющих на его качество.

4. Проектирование и разработка системы поддержки принятия решений в области оценки качества на основе предлагаемой методики.

Объект исследования: методы квалиметрической экспертизы.

Предмет исследования: методика квалиметрической экспертизы, основанная на моделировании структуры объектов с помощью онтологий.

Основные методы исследования: системный анализ, теория сетей Петри, онтологический подход, объектно-ориентированное программирование, ква-лиметрия.

Научная новизна работы определяется следующими основными результатами, выносимыми на защиту:

1. Применение онтологического подхода к задачам квалиметрической экспертизы.

2. Разработка методики выявления источников потери качества объекта на основе онтологического подхода.

3. Разработка методики перехода от классических моделей описания последовательности технологических операций (ЮЕН), ИМЬ) через сети Петри к онтологии.

4. Разработка системы поддержки принятия решений в области оценки качества «Квалиметрическая экспертиза».

Теоретическая и практическая значимость работы. Теоретическая значимость работы заключается в предлагаемой методике оценки качества промышленных изделий, сочетающей в себе методы классической квалиметрии и искусственного интеллекта (онтологический подход) и использующей модели ГОЕБО и иМЬ для построения онтологий.

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

Применение результатов. На основе разработанной методики реализовано программное приложение (система поддержки принятия решений) «Квалиметрическая экспертиза» (свидетельство о государственной регистрации программы для ЭВМ № 2012618460 «Интернет-приложение «Квалиметрическая экспертиза»), нашедшее применение для различных прикладных объектов. Приложение используется на кафедре геоэкологии факультета географии ФГБОУ ВПО «Российский государственный педагогический университет им. А.И. Герцена» (г. Санкт-Петербург) в учебном курсе «Эколого-геологическая экспертиза состояния памятников культурного наследия» для оценки качества памятников, а также при подготовке дипломных работ и магистерских диссертаций в Иркутском государственном техническом университете (ИрГТУ), что подтверждается

актами о внедрении. Кроме того, разработанное приложение применяется магистрантами кафедры технологии машиностроения ИрГТУ при изучении дисциплины «Основы квалиметрии».

Достоверность полученных результатов подтверждается использованием классических методов квалиметрической экспертизы, методов построения он-тологий, сравнением результатов, получаемых по предложенной методике, с известными.

Апробация работы. Работа выполнялась на кафедре технологии машиностроения ИрГТУ. Основные положения проведенных исследований докладывались и обсуждались на следующих конференциях и семинарах: XVI Байкальской Всероссийской конференции «Информационные и математические технологии в науке и управлении» (2010, Иркутск), Девятой международной научно-практической конференции «Исследование, разработка и применение высоких технологий в промышленности» (2010, Санкт-Петербург), Второй Международной научно-практической Интернет-конференции Белгородского филиала НАЧАУ ВПО СГА (2010, Белгород), Семинаре молодых ученых в рамках III международной конференции (2010, Улан-Уде), IV Всероссийской конференции «Винеровские чтения» (2011, Иркутск), XIV заочной научной конференции Research Journal of International Studies (2013, Екатеринбург), семинарах кафедры технологии машиностроения, межкафедралыюм семинаре кафедр технологии машиностроения, автоматизированных систем и вычислительной техники ИрГТУ.

Личный вклад. Результаты, составляющие научную новизну и выносимые на защиту, получены лично автором.

Сведения о публикациях. По теме диссертации опубликовано 10 научных работ, из них 3 статьи в изданиях, рекомендованных ВАК; получено свидетельство о государственной регистрации программы для ЭВМ. Общий объём публикаций по исследуемой проблематике составляет 2,75 п.л.

Структура и объем работы. Диссертационная работа состоит из введения, трех глав, заключения, списка литературы из 110 наименований и 8 приложений. Общий объем работы составляет 139 страниц, содержит 76 рисунков (в том числе в приложениях), приложения на 27 листах.

ОСНОВНОЕ СОДЕРЖАНИЕ РАБОТЫ

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

В первой главе приводятся обзор литературы по квалиметрической экспертизе и онтологическому подходу, численные методы расчета интегральной оценки качества (пересчет рангов в веса, показателей к квалиметрической шкале, расчет суммарных интегральных характеристик); описываются задачи оценки качества, даются определения основных понятий в области квалиметрии и онтологии, представлены методы квалиметрии, классификация квалиметрий и виды расчетных моделей, особенности онтологического подхода, включая его назна-

чение, формализацию, языки представления онтологических знаний. Здесь же произведен сравнительный анализ распространенных редакторов онтологий Protégé и OntoStudio и обоснован выбор OntoStudio.

Во второй главе дается оценка возможности и необходимости применения онтологического подхода к задачам квалиметрической экспертизы. Данный подход позволяет более детально описать предметную область, повышая качество экспертизы. В связи с тем, что оценки, полученные на основе известных ква-лиметрических методов, не дают информации о причинах и источниках снижения качества объекта, в работе предлагается методика выявления этих источников (рис. 1).

Предполагается, что предварительно декомпозиции, онтологическому описанию и интегральному оцениванию подвергается эталонный объект. Итоговая оценка качества исследуемого объекта сравнивается с оценкой эталонного, и, в случае недопустимого расхождения результатов, пользователь получает рекомендации о способах устранения потерь по каждому признаку. Это позволяет выявить причины потерь качества рассматриваемого объекта в сравнении с эталонным.

Для учета влияния процессов изготовления объекта на его качество в работе предлагается методика перехода от классических моделей описания процессов в стандартах IDEF0 и UML (Unified Modeling Language) к сетям Петри, на основе которых формируется необходимая онтология.

В качестве примера в главе рассматривается технология изготовления детали на токарном станке. Показан переход от модели ШЕРО к диаграммам последовательностей операций ЦМЬ, а от них к сетям Петри и онтологии. На рис. 2-4 представлена соответствующая модель ЮЕН), состоящая из контекстной диаграммы и двух уровней её декомпозиции.

||

гост

Заготовка Изготовление детали на токарном станке Ос о | Деталь

1 Щ 1

Токарный станок

Рис. 2. Контекстная диаграмма технологии изготовления детали на токарном станке

гост

Заготовку

Токарный станок

Рис. 3. Первый уровень декомпозиции гост

Рис. 4. Декомпозиция «Установка 1» 7

В связи с тем, что модели ГОЕРО и диаграммы последовательностей ИМЬ решают одну и ту же задачу: демонстрируют схемы технологических операций и могут применятся независимо друг от друга, в работе предложена методика перехода от одной модели к другой и представлен результат преобразования в виде информационной модели, изображенной на рис. 5.

Рис. 5. Развернутая диаграмма последовательности операций для технологии изготовления детали на токарном станке

На разработанных диаграммах в качестве механизмов выступают действующие лица (Actors), а в качестве сообщений - входы и выходы процессов диаграмм IDEF0. На рис. 5 показана развернутая диаграмма последовательностей операций для технологии изготовления детали.

Следующим этапом методики является переход от полученных UML-диаграмм к сетям Петри. Основной метод построения сети заключается в разбиении диаграммы последовательностей на части специального вида и сопоставлении каждой такой части некоторой конструкции многоуровневой сети Петри.

В работе представлен алгоритм построения многоуровневой сети Петри по диаграмме последовательностей операций UML. Данный алгоритм разработан на основе совокупности идей, предложенных в работах Ameedeen М A Bordbar В. А., Ни Z., Shatz S. М„ Saldhana J. А. (рис. 6).

Рис. 6. Переход от диаграммы последовательности операций к сети Петри

Алгоритм преобразования состоит из следующих шагов:

1. Декомпозиция диаграммы последовательности операций на отдельные фрагменты.

2. Преобразование каждого фрагмента в эквивалентную часть сети Петри.

3. Объединение частей сети Петри.

Здесь m - это передаваемое сообщение (переход) на диаграмме последовательности операций.

На первом шаге диаграмма последовательности разбивается на части таким образом, чтобы в каждом фрагменте обязательно находилось только одно передаваемое сообщение (один переход). Далее каждый фрагмент преобразуется в эквивалентную часть сети Петри посредством замены сообщений переходами t и элементов диаграммы последовательности - позициями р. Полученные блоки объединяются в единую сеть Петри. На рис. 7 представлена сеть Петри для развернутой диаграммы последовательности операций технологии изготовления детали на токарном станке.

Для построения онтологии сеть Петри представляется на языке интернет-разметки PNML (Petri Net Markup Language - язык разметки сети Петри), в которой описываются все наименования и координаты объектов сети.

Таким образом, осуществляется последовательный переход от моделей IDEF0 к диаграммам последовательности UML, от них к сетям Петри, и в конечном счете, - к онтологиям, которые используются при квалиметрической экспертизе.

Для более наглядного представления методики на рис.8 изображен соответствующий процесс в виде диаграммы активности.

р8: Полуфабрикат 3

рб: Полуфабрикат

Ь2: Поступление

р4: Полуфабрикат 1

р2: Жидкая штамповка

р 1: Заготовка £ 1: Поступление

Рис. 7. Сеть Петри для развернутой диаграммы последовательности операций технологии изготовления детали на токарном станке

/ ГОШ) А Начало \ Г

Разработка контекстной диаграммы технологического процесса

А: Диаграммы процессов к преобразованию в диаграммы последовательности операций пригодны?

)

Ж.

Разработка диаграммы последовательности операций

Декомпозиция диаграммы на отдельные фрагменты

Б: Все фрагменты декомпозированы?

Сети Петри

ж

Преобразование каждого фрагмента в эквивалентные части сети Петрп

Замена н подстановка N блоков сети Петри (для представления сетью Петри исходной диаграммы последовательности операций)

Сохранение сети Петри на языке интернет разметки

Онтология

ж

Преобразование Р?ШЬ скрппта в онтологию

I Просмотр полученной о нтол о гии в ОЙ ЮЯШ111 о

ъ

Рис. 8. Технология перехода ГОЕК)-иМЬ-сеть Петри-Онтология

10

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

В третьей главе рассматривается созданная на основе предлагаемой методики система поддержки принятия решений «Квалиметрическая экспертиза». Приложение позволяет производить оценку качества промышленных изделий и других объектов и выявлять источники его потери.

В качестве примера работы приложения в главе рассматривается структуризация признаков, влияющих на качество металлорежущих фрезерных консольных вертикальных станков типа 6Р13 в соответствии с ГОСТ 15467-791 и дается их описание в виде онтологической системы. На рис. 9 показана иерархия групп признаков онтологии этих станков. В главе также рассматривается еще одно разработанное в ходе диссертационного исследования приложение «ONT-Converter», позволяющее осуществлять преобразование онтологий в базу данных для дальнейшего импорта в систему принятия решений «Квалиметрическая экспертиза» и экспорта в редактор онтологий OntoStudio с возможностью корректировки значений свойств экземпляров онтологии.

Онтология, разработанная в OntoStudio и представленная на языке разметки Object Logic (OBL), содержит описание классов онтологии, экземпляров, их атрибуты и отношения.

* А Оценка качества станков г\ /-м-»т

„ & Cj„;si ~ Онтология на языке OBL позволяет вно-

,@оцен«_ичктм_с™ко. г сить любые корректировки, изменять имена,

§3 Геометрическая и кинематическая_точ .

щ дин^ичеси^чес™ " добавлять и удалять информацию, придержи-

II Надежносгь.и.долгагтиот ВЭЯСЬ ОбЩеЙ СТРУКТУРЫ ОНТОЛОГИИ.

1*1 Показатали_техмологичнссти

щ Сохраняемость Дополнительно приложение ONT-

Converter оснащено возможностью анализа р Зкономичнссть текста на языке разметки сетей Петри PNML.

i эксплуГгационные_покеители После загрузки в OntoStudio сохраненной

а эрго«оИ»чг«Иг_поИЗЭТмИ из ONT-Converter онтологии, полученной из

j Ёз- Properties r~r г-

Р Безопасное™ сети Иетри, отображается следующая иерар-

_____• хия показателей (рис. 10).

—"-я——--------г—В случае необходимости онтология мо-

I реви..... ....... ............... жет быть дополнена признаками, их числовы-

й бпз-2 ми значениями, а также скорректирована как

Рис. 9. Онтология через редактор онтологий ОЩоБ^ю, так и че-

металлорежущего станка рез ОМТ-Сопч'епег.

Данное приложение позволяет осуществлять переход от сетей Петри к искомой онтологии, после чего онтология импортируется в систему принятия решений «Квалиметрическая экспертиза».

В главе приводится пример проведения экспертизы для двух однотипных металлорежущих станков с помощью разработанного инструментария.

На рис. 11 и 12 показаны формы с результатами подсчета суммарных интегральных характеристик для каждого станка.

1 ГОСТ 15467-79 Управление качеством продукции. Основные понятия. Термины и определения.

И

Произведенные расчеты показывают, что станок 6Р13-1 по рассчитанным суммарным интегральным характеристикам имеет более высокое качество, чем станок 6Р13-2.

Расчет по сумме: Скип = 0,7878; Оека86Р1з-1 = 0,2122;

Расчет по произведению: <ЗбР13-1 = 0,7489; Оека<26Р13_1 = 0,2511;

Q6pi3-2 = 0,7785; DeltaQ6P13_2 = 0,2215.

Q6P13-2 = 0,7214; DeltaQ6P13.2 = 0,2786.

Здесь О - количественное значение соответствия качества объекта предъявляемым требованиям, БекаС) - количественное значение отклонения объекта от требований.

Результат, полученный вручную, полностью совпал с результатами системы поддержки принятия решений:

Расчет по сумме: <2бР1з-1 = 0,787; БекаБбиз.! = 0,213;

Расчет по произведению: <2бР1з-1 = 0,749; Века(2бР13-1 - 0,251;

Qepi3-2 = 0,776; DeltaQ6P13.2 = 0,224.

Q6P13-2-0,721; DeItaQ6Pi3-2 = 0,279.

1 в

/Л ТП_детали_нз_тхн:арном_сгат е *

л £> Classes

ТГ1дотали_на,тоирнам_стан* е ^ Голоо*а_ревальвернач ¡Г*| Деталь

Ш -f вд-ач^штамповка Г* Кулачги_сырые М 06|)а6отать_пабер>1ность_1 if'l О6ра6отать_поверхносгь_.2 О6рабо-тать„повер*нйсть_5 л § Ойрпбот*:а_детали

Чягптовкадетали Q Пнноль_аадаен_6абки ; . М Полуфа0рш(ат_1 |Е'

|Г*Л Лолуфа6ртат_2 М Полуфабри* ат_3 ¡3 Пресс

j^j Товарный станок

ц Установка,!

>'станавга_2 0 Устаноика_3 И Штамп л ¿г> Properties _______Оценка Результат обааботн! Ле"

J

Instances - •crag"

1 fgj Заготовка.

j 4 j щ !

Рис. 10. Онтология

технологии изготовления

детали на токарном станке

В связи с тем, что станок 6Р13-1 по рассчитанным характеристикам оказался более качественным, примем его за эталон.

Подсчет суммарных интегральных характеристик: ШШ

¡Станки

irpa.

¡Металлорежущий станок

Выберите .подгруппу

6Р13-1

BSS2E2S3I

SP13-2

функциональные характеристики

Сумма 0= 0.7878 ОейаО= 0.2122

Произведение 0= 0.7489 Ое11аО= 0.2511

Рис. 11. Форма подсчета суммарных характеристик для 6Р13-1

Подсчет суммарных интегральных характеристик:

Е?"

6Р13-1

6Р13-2

функциональные характеристики

Сумма 0= 0.7785 ОейаО= 0.2215

Произведение 0= 0.7214 ОвИаа= 0.2786

Рис. 12. Форма подсчета суммарных характеристик для 6Р13-2

Расхождение 110 ■ %[ Оценить :

Наименование Уровень Значение для 6Р13-1 Значение для 6Р13-2 Расхождение (%) Примечание I

Динамические качества 2 0.5 0 45 10 замена/ ремонт/ реставрация

замена/

Сохраняемость 2 0.5 0.4 20 ремонт/ реставрация

замена/

Экономичность 2 0.75 0.65 13 ремонт/ реставрация

Производительность 3 0 75 0.7 7

Рис. 13. Результат обработки данных

После получения результатов можно выполнить их анализ с целью выявления отклонений значений признаков от эталонных, для чего в приложении реализована функция «Анализ результатов». Результат работы функции представлен на рис. 13, значение процентного расхождения принято за 10%.

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

Методика проиллюстрирована также для оценки качества таких объектов как детали класса «кронштейн» и памятников.

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

В заключении приведены основные результаты работы.

ОСНОВНЫЕ РЕЗУЛЬТАТЫ И ВЫВОДЫ

1. Объединение классических квалиметрических методов с онтологическим подходом позволяет повысить качество квалиметрической экспертизы.

2. На основе этого объединения предложена методика оценки качества объектов (изделий), позволяющая автоматизировать этот процесс, структуризи-ровать признаки, влияющие на качество объекта, и выявить источники его потерь.

3. Важной составляющей методики является переход от описания последовательности технологических операций на языках моделирования IDEF0 и UML к сетям Петри, что позволяет строить искомые онтологии.

4. Методика реализована в виде программного комплекса, включающего компоненты ONT-Converter и «Квалиметирческая экспертиза».

5. Работоспособность методики проиллюстрирована на серии примеров из различных областей.

СПИСОК РАБОТ, ОПУБЛИКОВАННЫХ ПО ТЕМЕ ДИССЕРТАЦИИ Публикации в рецензируемых научных журналах, входящих в перечень ВАК

1. Дорофеев P.C. Моделирование процессов технологической подготовки производства путем последовательного перехода от различных CASE-средств к сетям Петри/ P.C. Дорофеев // Вестник ИрГТУ, № 8, 2011. - С. 6 - 12 (0,38 пл.).

2. Дорофеев P.C. Разработка типовой формы для ввода значений свойств экземпляров онтологии/ P.C. Дорофеев // «Современные технологии. Системный анализ. Моделирование», Научный журнал, ИрГУПС, №3, 2013. -С. 178-182(0,3 пл.).

3. Дорофеев P.C. Методология и программная реализация совместного использования онтологии и квалиметрической экспертизы при оценке качества станков/ P.C. Дорофеев // Вестник ИрГТУ, № 3, 2013. - С. 16 - 23 (0,5 п.л.).

Свидетельства о государственной регистрации программы для ЭВМ

4. Дорофеев Роман Сергеевич, Сосинская Софья Соломоновна. Интернет-приложение «Квалиметрическая экспертиза» / Дорофеев Роман Сергеевич, Сосинская Софья Соломоновна // свидетельство о государственной регистрации программы для ЭВМ № 2012618460 от 18 сентября 2012 г./ Федеральная служба по интеллектуальной собственности, патентам и товарным знакам. - 2012.

Публикации в российских и зарубежных изданиях, доклады на российских и международных конференциях

5. Дорофеев P.C. Применение методов онтологии для оценки качества станков/ P.C. Дорофеев, С.С. Сосинская // Высокие технологии, исследования, промышленность: Сб. трудов Девятой международной научно-практической конференции «Исследование, разработка и применение высоких технологий в промышленности». Т. 2. — СПб.: Изд-во Политехи, ун-та, 2010. - С. 141-143 (0,15/0,1 п.л.).

6. Дорофеев P.C. Разработка web-приложения для оценки качества объектов/ P.C. Дорофеев // Инновационные подходы к применению информационных

технологий профессиональной деятельности: Сб. трудов Второй Международной научнопрактической Интернет-конференции Белгородского филиала НАЧАУ ВПО СГА. - Белгород: ГиК, 2010. - С. 321-323 (0,15 п.л.).

7. Дорофеев P.C. Совместное использование методологий квалиметриче-ской экспертизы и онтологии для оценки качества технологий изготовления изделий/ P.C. Дорофеев, С.С. Сосинская // Информационные и математические технологии в науке и управлении: Сб. трудов XVI Байкальской Всероссийской конференции. Ч. 2. - Иркутск: ИСЭМ СО РАН, 2010. - С. 138-145 (0,45/0,35 п.л.).

8. Дорофеев P.C. Применение методов онтологии для типизации технологических процессов машиностроительного производства /P.C. Дорофеев // Инфо-коммуникационные и вычислительные технологии и системы: Сб. трудов семинара молодых ученых в рамках III международной конференции. Улан-Удэ: ВСГАКИ, 2010. - С. 72-76 (0,31 п.л.).

9. Дорофеев P.C. Преобразование диаграмм IDEF0 в диаграммы последовательности UML для наглядного представления процесса производства/ P.C. Дорофеев // Винеровские чтения: Сб. трудов IV Всероссийской конференции. Ч. 1. - Иркутск: ИрГТУ, 2011. - С. 90-94 (0,31 п.л.).

10. Дорофеев P.C. Разработка редактора для корректировки онтологии и его использование для оценки качества металлорежущего станка/ P.C. Дорофеев, А.Н. Маслов, С.С. Сосинская // Международный научно-исследовательский журнал: Сб. трудов XIV заочной научной конференции Research Journal of International Studies, №4, 4. 1. - Екатеринбург: ООО «Европринт», 2013. - С. 116 -118(0,2/0,1 п.л.).

Подписано в печать: 30.07.2014 г. Формат 60 х 90 1/16. Бумага офсетная. Печать трафаретная. Гарнитура Times New Roman. Усл. печ. л. 1,34. Тираж 100 экз. Зак. 747

Отпечатано: Федеральное государственное унитарное геологическое предприятие «Урангеологоразведка» БФ Сосновгеология. Юридический адрес: г. Иркутск, ул. Трактовая, дом 9. ИНН 7706042118 Справки и информация: тел.: 38-78-40, тел./факс: 598-498