CC BY
75
УДК 681.586
В. М. Зарипова, И. Ю. Петрова, Ю. А. Лежнина, Е. Н. Фабер
ОНТОЛОГИЧЕСКАЯ БАЗА ЗНАНИЙ ПО ФИЗИКО-ТЕХНИЧЕСКИМ ЭФФЕКТАМ ДЛЯ АВТОМАТИЗАЦИИ ТЕХНОЛОГИЧЕСКИХ ПРОЦЕССОВ
Обсуждается метод проектирования базы знаний о физических эффектах и явлениях, основанный на проблемно-ориентированной онтологии. Для описания энергоинформационной модели цепей различной физической природы предложено использовать онтологию модели энергоинформационного метода цепей, которая определяет понятия этой модели (цепь определенной физической природы, величины, параметры, межцепные физические эффекты, критерии энергоинформационного метода цепей), и онтологию физических эффектов, описывающую классификацию физических эффектов и отображающую соответствие между величинами и параметрами энергоинформационного метода цепей и физическими величинами и константами. В основе предлагаемой базы знаний лежит структурированное представление о каждом физическом эффекте, представляемое в виде паспорта физического явления и морфологической матрицы конструктивных реализаций этого явления. Классификация физических явлений в базе знаний основана на энергоинформационной модели цепей, предложенной авторами, которая специально ориентирована на проектирование новых принципов действия чувствительных элементов (сенсоров). Описаны механизмы преобразования (приведения) известных физических зависимостей к строго определенной форме взаимосвязи между величинами-аналогами энергоинформационной модели цепей. Такая база знаний может быть использована для обучения будущих инженеров, создающих новые датчики. Предложен алгоритм, позволяющий привести известные в физике формулы к виду, принятому в энергоинформационном методе цепей. Разработана структура обобщенной архитектуры подсистемы для работы с он-тологиями, которая представляет собой фреймворк для работы с ними. Фреймворк полностью соответствует структурной спецификации OWL 2 и поддерживается основными машинами вывода (CEL, FaCT++, HermiT, Pellet, Racer Pro). На вход подается перечень интерпретированных величин, т. е. ссылок на экземпляры онтологии. Результатом выполнения сервиса являются идентификаторы формул.
Ключевые слова: энергоинформационная модель цепей, онтологии, база знаний, физические эффекты, концептуальное проектирование.
Введение
По данным ряда исследователей, глобальный рынок датчиков увеличивается ежегодно на 7-9 % [1]. Количество физических явлений, эффектов и процессов, используемых для конструирования датчиков и их чувствительных элементов, быстро растет. Вследствие этого разработка методов концептуального проектирования чувствительных элементов датчиков актуальна, но имеет некоторые особенности. С одной стороны, возможно построение достаточно простых структурных схем, отражающих принцип действия чувствительного элемента и датчика, с другой - введение в базу знаний о физических эффектах хотя бы одного вновь открытого физиками явления порождает множество новых эффективных принципов действия этих устройств.
Известно достаточно большое количество методов концептуального проектирования новых технических решений на основе баз знаний о физических эффектах и явлениях. Назовем некоторые из них:
1. Теория решения изобретательских задач (ТРИЗ). Разработана в середине XX столетия Г. Алтьшуллером (Россия) [2]. Известно несколько коммерческих программных продуктов, реализующих идеологию ТРИЗ, например IHS Goldfire (ранее Invention Machine) [3].
2. Системный подход к инженерному проектированию, разработан в 1970 г. немецкими учеными G. Pahl и W. Beitz [4].
3. Метод концептуального проектирования, автор - Р. Коллер (Германия) [5].
4. Автоматизированное поисковое проектирование, авторы - А. И. Половинкин, В. А. Ка-маев, С. А. Фоменков (Россия) [6, 7].
Все вышеназванные методы базируются на систематизированных знаниях о физических эффектах, однако все они ориентированы на поддержку концептуального проектирования любых технических устройств, независимо от области их применения. Физические эффекты в базах знаний этих систем имеют вербальное описание как причинно-следственная связь, могут
сопровождаться аналитической формулой связи входа с выходом. Результатом работы этих систем является синтез нескольких альтернативных физических принципов действия технического устройства в виде цепочек последовательных преобразований от входа к выходу. Однако имеются трудности при разработке математических моделей, описывающих синтезированные варианты физического принципа действия, и оценке их эксплуатационных характеристик, что не позволяет проводить количественное сравнение этих вариантов. Описание физических эффектов не сопровождается конструктивной проработкой технических реализаций.
Цель нашего исследования - проектирование базы знаний по физическим эффектам на основе онтологий предметной области. В основе такой базы знаний лежит структурированное представление о каждом физическом эффекте, представляемое в виде паспорта физического явления и морфологической матрицы конструктивных реализаций этого явления. Систематизация разнообразных физических явлений в базе знаний основана на методе энергоинформационных моделей цепей (ЭИМЦ). Модель, предложенная в [8-11], специально ориентирована на проектирование новых принципов действия чувствительных элементов (сенсоров).
Метод обработки информации на основе онтологий для создания базы знаний по физическим эффектам позволит создать уникальные справочные системы, уменьшить трудоемкость работы экспертов, разработать алгоритмы синтеза принципа действия сенсоров. Такая база знаний может быть использована для обучения будущих инженеров, создающих новые датчики.
Энергоинформационная модель цепей
Энергоинформационная модель цепей позволяет перейти к структурно-формализованному описанию процессов в чувствительных элементах датчиков с помощью параметрических структурных схем [8, 9]. Принцип действия любого элемента информационно-измерительных и управляющих систем основан на взаимодействии цепей различной физической природы, которое моделируется в ЭИМЦ с помощью последовательности физико-технических эффектов (ФТЭ). Обобщенные величины цепи одной и той же физической природы изменяются в широких пределах и характеризуют внешнее воздействие на цепь данной физической природы и ее реакцию на него. Основные обобщенные величины ЭИМЦ: Q - заряд, Р - импульс, I - реакция, и - воздействие. Обобщенные параметры цепи характеризуют относительную неизменность материальной среды, в которой протекают физические процессы, и определяются геометрическими размерами, физическими и химическими свойствами материалов. Основные обобщенные параметры ЭИМЦ: Я - сопротивление; О = — - проводимость; С - емкость; W = — - жесткость; Ь - индуктивность; Я С
О = 1/Ь - дедуктивность (величина, обратная индуктивности).
Используя энергоинформационные модели для описания цепей различной физической природы, можно все многообразие взаимосвязей между величинами и параметрами представить в виде сложного графа (рис. 1).
Рис. 1. Граф ФТЭ и внутрицепных зависимостей для п цепей различной физической природы
На рис. 1 показан граф ФТЭ и внутрицепных зависимостей для п цепей: механической, магнитной, электрической и цепи г-й физической природы. Преобразования внутри цепи представлены в виде элементарных звеньев, соответствующих критериям ЭИМЦ. Для представления взаимодействия цепей различной физической природы используются звенья ФТЭ, которые преобразуют величины цепи одной физической природы в величины другой через коэффициент преобразования.
Разработка цепей другой физической природы в терминах ЭИМЦ постоянно продолжается (см., например, [11]).
Для формального описания процессов, протекающих в технических устройствах в виде цепочек преобразований обобщенных величин на основе ЭИМЦ, эксперт описывает существующие физические явления и разрабатывает паспорт каждого ФТЭ [8]. Разработка паспорта ФТЭ - трудоемкий процесс, сложность которого можно уменьшить, применяя онтологическую базу знаний о ФТЭ.
Онтологическая база знаний о физических эффектах
Виды онтологий в ЭИМЦ. Онтологии знаний о физических эффектах на основе методологии ТРИЗ предложены в [12, 13]. Однако эти онтологии не могут быть использованы ЭИМЦ, т. к. построены на основе так называемой модели веполей Альтшуллера и используют другие принципы классификации физических эффектов.
В [14] предложен метод моделирования чувствительных элементов информационно -измерительных систем, основанный на теории ЭИМЦ и 8ЛБТ-технологии. Чувствительный элемент (преобразователь) в [14] представляется как информационная система, а для описания концептуальной модели банка данных ФТЭ введены два базовых класса: «Процесс» и «Стрелка».
В [15] приведен фрагмент структуры реляционной базы данных о физических эффектах для концептуального проектирования датчиков на основе энергоинформационного метода.
В [16] речь идет о разработке онтологий системных подходов к анализу измерительных устройств.
Однако следует отметить, что во всех перечисленных работах не раскрыты механизмы приведения известных физических зависимостей к строго определенной форме взаимосвязи между величинами-аналогами ЭИМЦ.
Онтология - это система фундаментальных концепций, которая позволяет проектировщику моделировать и представлять особую область мира с точки зрения аксиоматических определений и таксономических структур [17]. Применительно к нашей задаче проектирования онтологии предметной области - это система понятий ЭИМЦ, приведенная выше.
В рамках нашего исследования предложено использовать следующие виды онтологий для описания ЭИМЦ различной физической природы:
1. Онтология ЭИМЦ (рис. 2) - определяет понятия этой модели (цепь определенной физической природы, величины, параметры, межцепные физические эффекты, критерии ЭИМЦ).
2. Онтология физических эффектов (рис. 3) - описывает классификацию физических эффектов, отображает соответствие между величинами и параметрами ЭИМЦ и физическими величинами и константами.
Для разработки паспорта ФТЭ необходимо привести известную зависимость между физическими величинами к строго определенной форме взаимосвязи между величинами-аналогами ЭИМЦ. Трудоемкость этой процедуры обусловлена следующими причинами:
— необходимость обработки больших объемов информации (требуется найти подходящую комбинацию формул из достаточно широкого перечня имеющихся в литературе);
— многоступенчатые преобразования известных формул, описывающих физический принцип действия эффекта, до выражений, содержащих величины ЭИМЦ;
— необходимость согласованной работы экспертов по разным областям знаний (требуется провести экспертную оценку основных эксплуатационных характеристик на множестве конструктивных реализаций ФТЭ).
эимц
свойства
Физическая природа цепи. Набор обобщенных величин. Набор обобщенных параметров. Критерии ЭИМЦ
Цепь
свойства
Физическая природа цепи. Условное обозначение. Цветовое обозначение
Параметр ЭИМЦ
свойства
Величина ЭИМЦ
ФТЭ
Набор параметров, характеризующих цепь. Условное обозначение параметра в ЭИМЦ. Размерности параметра в системе СИ. Формула параметра (физические константы, характеристики среды и геометрические размеры)
"Л
Величина и параметры связаны через критерии ЭИМЦ. Например:
I ■ Я = и или и ■ С = б
свойства
Набор величин, характеризующих цепь. Условное обозначение величин в ЭИМЦ. Условное обозначение в физике и химии. Размерности величин в системе СИ.
Формулы связей между величинами ЭИМЦ в физике и химии
"Л
Величины разной физической природы связаны между собой через ФТЭ.
Например, эффект Холла: ие = К^ и б
свойства
Название ФТЭ, связывающего цепи разной физической природы.
Условное обозначение ФТЭ в терминах ЭИМЦ.
Размерность ФТЭ в системе СИ.
Формула ФТЭ, известная из физики/химии.
Формула ФТЭ в терминах ЭИМЦ.
Набор физических констант, характеристик среды и геометрические размеры
Рис. 2. Онтология ЭИМЦ
Рис. 3. Фрагмент онтологической базы знаний ФТЭ Для решения этой проблемы можно использовать онтологическую базу знаний о ФТЭ.
Пример формализации физического явления с использованием ЭИМЦ. Рассмотрим пример формализации с использованием ЭИМЦ физического явления - эффект Холла. Если через проводящую пластинку (из металла или полупроводника) толщиной й в одном направлении пропускать постоянный ток 1е, а в другом направлении воздействовать магнитным полем В (магнитная индукция), то в третьем направлении можно измерить напряжение ие (напряжение Холла), меняющееся пропорционально силе магнитного поля и плотности тока:
ие = Ян ■ й- ■ В ■ 1е, (1)
где Ян - постоянная (константа) Холла, равная отношению подвижности носителей к удельной
проводимости материала.
Для получения энергоинформационной модели ФТЭ Холла необходимо преобразовать (1) так, чтобы перейти от магнитной индукции В к магнитному потоку Qmg , который является величиной ЭИМЦ. Для этого могут быть выполнены следующие преобразования уравнения (1):
ие = ^ ■ а-х ■ в ■ 1е ■ s ■ s-1 = ^ (й ■ s)-1 (В ■ s) 1е = кQrggIíUe ■ ат, ■ 1е,
где S - площадь чувствительной зоны датчика Холла (1-50 мм2); Q = В ■ 51 - магнитный поток, перпендикулярный площади чувствительной зоны, является обобщенной величиной ЭИМЦ. Коэффициент преобразования для энергоинформационной модели эффекта Холла определяется по формуле
kq i и = ян (й ■ S) 1.
Модель эффекта содержит два входа - Qmg и 1е, и один выход - ие.
Алгоритм поддержки экспертного анализа в онтологической базе знаний. Для снижения трудоемкости работы эксперта по формализации ФТЭ разработана база знаний и соответствий между физическими величинами и их аналогами в ЭИМЦ. Эта база знаний может быть использована для решения задачи поиска набора формул, позволяющего привести формулы, известные в физике, к виду, принятому в ЭИМЦ. Для этого предложен следующий алгоритм. Пользователь вводит запрос в виде набора величин и констант, которые используются в исходной формуле. Например, для эффекта Холла (1) запрос будет следующим: < ие, Ян, й, В, 1е >. Далее запрос обрабатывается системой и эксперту выводится результат его интерпретации:
- ие - напряжение // физическая величина;
- Ян - постоянная Холла // константа;
- й - толщина пластины // геометрический размер;
- В - индукция магнитного поля // физическая величина;
- 1е - сила тока // физическая величина.
Каждый компонент запроса интерпретируется как физическая величина, постоянная величина (константа) или геометрический размер. В случае невозможности однозначным образом интерпретировать запрос, пользователю предлагается на выбор список вариантов, обнаруженных в базе знаний, например:
- V - скорость // физическая величина;
- V - объем // физическая величина.
Задача заключается в преобразовании исходного списка физических величин и постоянных величин в список, содержащий только величины-аналоги ЭИМЦ, геометрические размеры, физические константы и коэффициенты, характеризующие свойства материалов. Для рассматриваемого примера имеем:
- ие - величина-аналог ЭИМЦ;
- Ян - константа;
- й - геометрический размер;
- В - <требуется преобразованием
- 1е - величина-аналог ЭИМЦ.
Система идентифицирует величины V2, ..., Vn), которые требуется преобразовать, и подбирает подходящий набор формул (Р1Л, РЪ, ..., Р1т) с использованием базы знаний зависимостей физических величин и величин-аналогов ЭИМЦ. Результатом преобразования является набор величин-аналогов ЭИМЦ (Е1, Е2, ..., Ер) и набор постоянных величин (С1, С2, ..., С?):
<VpV2, K, Vn)
->(¿1,E2, k, Ep | C,,C2, K, Cq).
В данном случае задача перехода к терминам ЭИМЦ состоит в преобразовании индукции магнитного поля В в величину магнитного потока Qmg. В базе знаний имеются сведения о следующей зависимости: Qmg = ББ (объект ^з). Поводом для рассмотрения объекта ^3 в качестве формулы-кандидата для преобразования величины Б является наличие в базе знаний факта использует Б». Результаты:
определяет Qm¿; использует Б;
является «ВеличинаЭИМЦ»; является «ГеометрическийРазмер».
«ВеличинаЭИМЦ» и «ГеометрическийРазмер» представляют собой классы онтологической базы знаний. Таким образом, результат применения формулы содержит только величины-аналоги ЭИМЦ и постоянные величины. На этом поиск формул завершается:
--
— Qmg
- 5
{Ue, Rh, d, B, Ie)
Qmg =B'S
Qmg I Rh
, d, s).
(2)
Как видно из выражения (2), коэффициент преобразования получившегося элементарного звена параметрической структурной схемы будет содержать следующие постоянные величины и геометрические размеры: , й, Б).
Иерархия классов онтологии представлена на рис. 3. Пример заполнения базы знаний для эффекта Холла:
F,,: U е = RfB • Ie, d
F : Y= ~ I
1.2 : Y 7 »
d
F 3: Q = B• S.
1.3
mg-
Класс «Величина», экземпляры: Б. Класс «Величина ЭИМЦ», экземпляры: ие, /е, Q1 Класс «Константа», экземпляры: У-Класс «ГеометрическиеРазмеры», экземпляры: й, Б. Класс «Формула», экземпляры: ^.2, ^з.
На рис. 3 можно проследить взаимосвязь формул и в которых есть общая переменная Б. Все остальные члены этих формул относятся к классам «Константа», «Геометриче-скиеРазмеры» или «Величина ЭИМЦ». Таким образом, если на входе алгоритма поиска формул для формализации ФТЭ дан список величин, входящих в формулу ^л, то в результате его выполнения будет предложена формула ^3.
Обобщенная архитектура подсистемы для работы с онтологиями
Структура обобщенной архитектуры подсистемы для работы с онтологиями показана на рис. 4. OWL API представляет собой фреймворк для работы с онтологиями. Он полностью соответствует структурной спецификации OWL 2 и поддерживается основными машинами вывода (CEL, FaCT++, HermiT, Pellet, Racer Pro).
Онтология OWL
TT
Бизнес- Сервисы: 1,2,3 Web-
OWL API логика приложение
MathML
Рис. 4. Обобщенная архитектура подсистемы для работы с онтологиями
Слой бизнес-логики содержит функции для решения задачи построения онтологии знаний о физических эффектах и задачи формулировки наименований физических величин и постоянных величин в терминах ЭИМЦ, поставленных в рамках настоящего исследования. Внешние приложения смогут использовать эту функциональность через специально разработанный для этих целей слой веб-сервисов. Нами разработаны следующие три веб-сервиса.
e
1. Сервис для получения результата интерпретации запроса:
string[] getValue(string value);
На вход подается введенная пользователем строка (value), а результатом выполнения сервиса является строковый идентификатор (или идентификаторы в случае невозможности однозначной интерпретации) соответствующего экземпляра онтологии.
2. Сервис для получения набора формул для формализации ФТЭ:
string[] getTransformationFormulas(string[] values);
На вход подается перечень интерпретированных величин, т. е. ссылок на экземпляры онтологии (values). Результатом выполнения сервиса являются идентификаторы формул.
3. Сервис для получения набора формул для вычисления коэффициента преобразования ФТЭ:
string[] getCalculationFormulas(string[] values);
На вход подается перечень интерпретированных величин, т. е. ссылок на экземпляры онтологии (values). Результатом выполнения сервиса являются идентификаторы формул.
Заключение
В ходе исследований рассмотрено формальное представление предметной области ФТЭ в терминах ЭИМЦ и основанной на нем онтологии цепей различной физической природы. Разработка онтологий для цепей разной физической природы в терминах ЭИМЦ является необходимым условием создания и функционирования баз знаний о физических явлениях и эффектах для автоматизированных систем поддержки инженерного творчества. Предложенный комплекс методов обработки информации в базе знаний по ФТЭ предоставляет возможность создавать уникальные справочные системы и уменьшает трудоемкость работы экспертов по созданию паспортов ФТЭ, поиску множества оценок эксплуатационных характеристик технической реализации этих эффектов. Предложенный алгоритм перевода формул, известных в физике, к виду, принятому в ЭИМЦ, упрощает работу пользователя, не являющегося экспертом в области ЭИМЦ, с полученной специализированной базой знаний. Разработанная онтология позволяет производить поиск по базе ФТЭ, описанных в терминах ЭИМЦ, используя запросы, сформулированные для физических величин и констант.
СПИСОК ЛИТЕРА ТУРЫ
1. Sensors: Technologies and Global Markets, Market Research Report from site BCC Research // URL: http://www.bccresearch.com/market-research/instrumentation-and-sensors/sensors-technologies-markets-ias006d.html (дата обращения: 07.05.2015).
2. Altov H. The Art of Inventing and Suddenly the Inventor Appeared / H. Altov, G. S. Altshuller. Technical Innovation Center, Worcester, MA, USA, 1994.
3. Optimize Decision-Making Across the Product Lifecycle (White Paper) // URL: http://www.ihs.com/images/ wp-Optimize-Decision-Making-Across-Product-Lifecycle.pdf (дата обращения: 09.05.2015).
4. Pahl G. Engineering Design / G. Pahl, W. Beitz. Springer-Verlag, Berlin, 1995.
5. Koller R. Konstruktionslehre für den Maschinenbau - Grundlagen des methodischen Konstruierens / R. Koller. Springer, Berlin, 1985.
6. Дворянкин A. M. Об автоматизации поиска принципов действия технических систем на основе банка данных физических явлений / A. M. Дворянкин, А. И. Половинкин, А. Н. Соболев // Кибернетика. 1978. № 1. С. 80-86.
7. Камаев В. А. Моделирование физических принципов действия и формирование множеств технических решений преобразователей энергии / В. А. Камаев, А. А. Яковлев // Информационные технологии. 2006. № 1. С. 2-8.
8. Zaripov M. Project of creation of knowledge base on physical and technological effects / M. Zaripov, I. Petrova, V. Zaripova // Joint IMEKO TC-1 & XXXIV MKM Conference Education in Measurements and Instrumentation - Challenges of New Technologies 2002, Proceedings of TC-1 Symposium. 2002. Vol. 1, pp. 171-176.
9. Petrova I. Systems of teaching engineering work on base of internet technologies / I. Petrova, V. Zaripova // International Journal "Information Technologies and Knowledge". 2007. Vol. 1. P. 89-95.
10. Зарипова В. М. Объектно-ориентированная модель базы знаний о физико-технических эффектах для системы концептуального проектирования новых элементов информационно-измерительных систем и систем управления / В. М. Зарипова // Прикаспийский журнал: управление и высокие технологии. 2013. № 1. С. 162-171.
11. Петрова И. Ю. Энергоинформационные модели биосенсоров / И. Ю. Петрова, В. М. Зарипова, Ю. А. Лежнина, В. М. Сокольский, И. А. Митченко // Вестн. Астрахан. гос. техн. ун-та. Сер.: Управление, вычислительная техника и информатика. 2015. № 3. С. 35-48.
12. Yan W. A New Method of Using Physical Effects in Su-Field Analysis based on Ontology Reasoning / W. Yan, C. Zanni-Merk, F. Rousselot, D. Cavallucci, P. Collet // 17th International Conference in Knowledge Based and Intelligent Information and Engineering Systems - KES2013, Procedia Computer Science. 22. 2013. Vol. 22. P. 30-39.
13. Song-Kyoo Kim. Conceptual Design Based on Substance-Field Model in Theory of Inventive Problem Solving / Song-Kyoo Kim // International Journal of Innovation, Management and Technology. 2012. Vol. 3, no. 4. P. 306-309.
14. Шикульская О. М. Модернизация концептуальной модели банка данных по физико-техническим эффектам на базе современных информационных технологий / О. М. Шикульская, Э. Р. Незаметдинова // Измерительная техника. 2007. № 1. С. 7-9.
15. Protalinskiy O. M. Technical Solutions for Conceptual Design Search Automation / O. M. Protalinskiy, T. V. Khomenko, O. V. Grigoriev // World Applied Sciences Journal (Information Technologies in Modern Industry, Education & Society). 2013. Vol. 24, no. 24. P. 138-144.
16. Хоменко Т. В. Системные подходы к анализу измерительных устройств / Т. В. Хоменко // Вестн. Астрахан. гос. техн. ун-та. Сер.: Управление, вычислительная техника и информатика. 2009. № 1. С. 88-93.
17. Guarino N. Towards very large knowledge bases - knowledge building and knowledge sharing / N. Guarino, P. Giaretta. Amsterdam, IOS Press, 1995. P. 25-32.
Статья поступила в редакцию 31.07.2015
ИНФОРМАЦИЯ ОБ АВТОРАХ
Зарипова Виктория Мадияровна - Россия, 414056, Астрахань; Астраханский инженерно-строительный институт; канд. техн. наук, доцент; доцент кафедры «Системы автоматизированного проектирования»; [email protected].
Петрова Ирина Юрьевна - Россия, 414056, Астрахань; Астраханский инженерно-строительный институт; д-р техн. наук, профессор; зав. кафедрой «Системы автоматизированного проектирования»; [email protected].
Лежнина Юлия Аркадьевна - Россия, 414056, Астрахань; Астраханский инженерно-строительный институт; канд. техн. наук; доцент кафедры «Системы автоматизированного проектирования»; [email protected].
Фабер Екатерина Николаевна - Россия, 414056, Астрахань; Астраханский государственный университет; аспирант кафедры «Информационные технологии»; [email protected].
V. M. Zaripova, I. Yu. Petrova, Yu. A. Lezhnina, E. N. Faber
ONTOLOGICAL KNOWLEDGE BASE ON PHYSICAL AND TECHNICAL EFFECTS FOR OPTIMIZATION OF TECHNOLOGICAL PROCESSES
Abstract. This article discusses the design of the knowledge base of physical phenomena and effects based on domain-specific ontology. To describe energy-information model of circuits of different physical nature, it is proposed to use ontology of the model of energy-information method of circuits that defines the concepts of this model (circuit of a certain physical nature, size, options, interchain physical effects, criteria of energy-information method of circuits) and the ontology of physical effects, which describes the classification of physical effects and shows the correspondence between the variables and the parameters of energy-information method of circuits, physical quantities and constants. This knowledge base is based on the structured representation of each physical effect that presented in the form of the passport of the physical phenomena and the morphological matrix of the structural implementation of the phenomena. The classification of various physical phenomena in the knowledge base is based on energy-information model of circuits, suggested by the authors, which is specially aimed at design of new operating principles of sensing elements (sensors). The mechanisms of transformation of the known physical dependencies into the strictly defined form of the relationship between the analogue values of the energy-information model of circuits are described. This knowledge base can be used to
teach future engineers creating new sensors. The algorithm that allows performing the transformation of the known in physics formulas to the form adopted in energy-information method of circuits is presented. The structure of the generalized architecture of the subsystem for working with ontologies, which is a framework for working with them, is developed. It is fully consistent with the structural specification of OWL 2 and is supported by the main machine output (CEL, FaCT++, HermiT, Pellet, Racer Pro). The input has a list of the interpreted variables, i. e. references to instances of the ontology. The results of the service execution are identifiers of the formulas.
Key words: energy-information model of circuits, ontology, knowledge base, physical effects, conceptual design.
REFERENCES
1. Sensors: Technologies and Global Markets, Market Research Report from site BCC Research. Available at: http://www.bccresearch.com/market-research/instrumentation-and-sensors/sensors-technologies-markets-ias006d.html (accessed: 07.05.2015).
2. Altov H., Altshuller G. S. The Art of Inventing and Suddenly the Inventor Appeared. Technical Innovation Center, Worcester, MA, USA, 1994.
3. Optimize Decision-Making Across the Product Lifecycle (White Paper). Available at: http://www.ihs.com/ images/wp-Optimize-Decision-Making-Across-Product-Lifecycle.pdf (accessed: 09.05.2015).
4. Pahl G., Beitz W. Engineering Design. Springer-Verlag, Berlin, 1995.
5. Koller R. Konstruktionslehre fur den Maschinenbau - Grundlagen des methodischen Konstruierens. Springer, Berlin, 1985.
6. Dvoriankin A. M., Polovinkin A. I., Sobolev A. N. Ob avtomatizatsii poiska printsipov deistviia tekhnicheskikh sistem na osnove banka dannykh fizicheskikh iavlenii [On automation of the search of the principles of the technical system operation based on the data bank of the physical phenomena]. Kibernetika, 1978, no. 1, pp. 80-86.
7. Kamaev V. A., Iakovlev A. A. Modelirovanie fizicheskikh printsipov deistviia i formirovanie mnozhestv tekhnicheskikh reshenii preobrazovatelei energii [Modeling of the physical principles of the activity and formation of the set of technical solutions of energy transfers]. Informatsionnye tekhnologii, 2006, no. 1, pp. 2-8.
8. Zaripov M., Petrova I., Zaripova V. Project of creation of knowledge base on physical and technological effects. Joint IMEKO TC-1 & XXXIV MKM Conference Education in Measurements and Instrumentation - Challenges of New Technologies 2002, Proceedings of TC-1 Symposium, 2002, vol. 1, pp. 171-176.
9. Petrova I., Zaripova V. Systems of teaching engineering work on base of internet technologies. International Journal "Information Technologies and Knowledge", 2007, vol. 1, pp. 89-95.
10. Zaripova V. M. Ob"ektno-orientirovannaia model' bazy znanii o fiziko-tekhnicheskikh effektakh dlia sis-temy kontseptual'nogo proektirovaniia novykh elementov informatsionno-izmeritel'nykh sistem i sistem uprav-leniia [Object-aimed model of knowledge base about the physical and technical effects for the system of conceptual designing of new elements of information measuring systems and management systems]. Pri-kaspiiskii zhurnal: upravlenie i vysokie tekhnologii, 2013, no. 1, pp. 162-171.
11. Petrova I. Iu., Zaripova V. M., Lezhnina Iu. A., Sokol'skii V. M., Mitchenko I. A. Energoinformatsion-nye modeli biosensorov [Energy-information models of biosensors]. Vestnik Astrakhanskogo gosudarstvennogo tekhnicheskogo universiteta. Seriia: Upravlenie, vychislitel'naia tekhnika i informatika, 2015, no. 3, pp. 35-48.
12. Yan W., Zanni-Merk C., Rousselot F., Cavallucci D., Collet P. A New Method of Using Physical Effects in Su-Field Analysis based on Ontology Reasoning. 17th International Conference in Knowledge Based and Intelligent Information and Engineering Systems - KES2013, Procedia Computer Science, 2013, vol. 22, pp. 30-39.
13. Song-Kyoo Kim. Conceptual Design Based on Substance-Field Model in Theory of Inventive Problem Solving. International Journal of Innovation, Management and Technology, 2012, vol. 3, no. 4, pp. 306-309.
14. Shikul'skaia O. M., Nezametdinova E. R. Modernizatsiia kontseptual'noi modeli banka dannykh po fiziko-tekhnicheskim effektam na baze sovremennykh informatsionnykh tekhnologii [Modernization of the conceptual model of data bank on the physical and technical effects based on the modern information technologies]. Izmeritel'naia tekhnika, 2007, no. 1, pp. 7-9.
15. Protalinskiy O. M., Khomenko T. V., Grigoriev O. V. Technical Solutions for Conceptual Design Search Automation. World Applied Sciences Journal (Information Technologies in Modern Industry, Education & Society), 2013, vol. 24, no. 24, pp. 138-144.
16. Khomenko T. V. Sistemnye podkhody k analizu izmeritel'nykh ustroistv [System approaches to the analysis of the measuring devices]. Vestnik Astrakhanskogo gosudarstvennogo tekhnicheskogo universiteta. Seriia: Upravlenie, vychislitel'naia tekhnika i informatika, 2009, no. 1, pp. 88-93.
17. Guarino N., Giaretta P. Towards very large knowledge bases - knowledge building and knowledge sharing. Amsterdam, IOS Press, 1995. P. 25-32.
The article submitted to the editors 31.07.2015
INFORMATION ABOUT THE AUTHORS
Zaripova Viktoriya Madiyarovna - Russia, 414056, Astrakhan; Astrakhan Civil Engineering Institute; Candidate of Technical Sciences, Assistant Professor; Assistant Professor of the Department "Systems of Automated Designing"; [email protected].
Petrova Irina Yurievna - Russia, 414056, Astrakhan; Astrakhan Civil Engineering Institute; Doctor of Technical Sciences, Professor; Head of the Department "Systems of Automated Designing"; [email protected].
Lezhnina Yuliya Arkadievna - Russia, 414056, Astrakhan; Astrakhan Civil Engineering Institute; Candidate of Technical Sciences; Assistant Professor of the Department "Systems of Automated Designing"; [email protected].
Faber Ekaterina Nicolaevna - Russia, 414056, Astrakhan; Astrakhan State University; Postgraduate Student of the Department "Information Technologies"; [email protected]. [email protected].
