CC BY
60
ПРЕДИКАТНАЯ МОДЕЛЬ СХЕМНО-ОРИЕНТИРОВАННЫХ ЗАПРОСОВ ОБСЛУЖИВАЮЩЕГО ПЕРСОНАЛА В СИСТЕМАХ ИНФОРМАЦИОННОЙ ПОДДЕРЖКИ
Курчидис
Виктор Александрович,
д.т.н., профессор, профессор кафедры автоматики (и вычислительных средств) Военно-космической академии имени А.Ф. Можайского, г. Ярославль, Россия, [email protected]
Попов
Тимур Александрович,
заместитель начальника научно-исследовательского отдела Военно-космической академии имени А.Ф. Можайского г. Ярославль,Россия, [email protected]
Анисимов Олег Витальевич,
к.т.н., доцент, доцент кафедры автоматики (и вычислительных средств) Военно-космической академии имени А.Ф. Можайского, г. Ярославль, Россия, [email protected]
Ключевые слова:
информационная поддержка, электрическая схема, предикатная модель, радиоэлектронная аппаратура, техническая эксплуатация, схемно-ориентированный запрос.
?
О л л С
Одним из путей повышения эффективности решения задач эксплуатации сложных технических комплексов является использование средств автоматизации. Существующие средства автоматизации, не предоставляют обслуживающему персоналу возможности по формированию запросов на получение требуемой информации в виде фрагментов электрических схем с использованием понятий и терминов предметной области в рамках синтаксиса естественно-подобного языка.
Работа посвящена разработке предикатной модели запросов, ориентированных на использование понятий и терминов предметной области при формировании целевых условий со стороны обслуживающего персонала для представления запрашиваемых фрагментов схем. Такие запросы в работе названы схемно-ориентированными. Предлагается свойства элементов, участвующих в определении условий, формально записывать в форме отношений между предметными понятиями. Выявлены основные отношения, которые соответствуют структурным элементам электрической схемы и определены во фреймовой концептуальной модели радиоэлектронной аппаратуры.
Определены задаваемые обслуживающим персоналом условия, которым должны удовлетворять элементы электрических схем, отображаемые в виде графических фрагментов. Обосновано использование логики предикатов первого порядка в рамках синтаксиса естественного языка для формирования целевых условий запросов в терминах и понятиях электрических схем радиоэлектронной аппаратуры. Предлагаемая формализованная структура схемно-ориентированных запросов позволяет согласовать предикатные формулы со структурой предложений естественного языка. Предложенная предикатная модель характеризуется тем, что такие запросы формируется на основе предложений на естественно-подобном языке. При этом имеется возможность использовать в запросах термины и понятия предметной области, а также производить согласование используемых слов по падежам и формам единственного/множественного числа. Полученный результат целесообразно рассматривать в качестве методологической основы построения концептуальных интерфейсов на основе естественно-подобных языков для систем информационной поддержки обслуживающего персонала в процессе технической эксплуатации радиоэлектронной аппаратуры. Это способствует повышению уровня автоматизации систем информационной поддержки обслуживающего персонала и сокращению времени решения прикладных задач технической эксплуатации изделий радиоэлектронной аппаратуры сложных технических комплексов.
Введение
Эксплуатация сложных технических комплексов требует от обслуживающего персонала навыков как по использованию радиоэлектронной аппаратуры этих комплексов по назначению, так и ее техническому обслуживанию и восстановлению, что связано с необходимостью поддержания таких комплексов в работоспособном состоянии. Важную роль в процессе восстановления радиоэлектронной аппаратуры играют средства информационной поддержки, предоставляющие обслуживающему персоналу доступ к эксплуатационной документации (комплект электрических схем, руководства по эксплуатации, нормативно-справочная информация и т.п.). Организация таких средств в виде автоматизированных систем информационной поддержки (СИП) является одним из путей повышения эффективности деятельности обслуживающего персонала благодаря расширению возможностей по извлечению, анализу и предоставлению разнородной информации.
В современных СИП для извлечения информации, необходимой при выполнении операций восстановления РЭА, обслуживающий персонал формирует запросы, имеющие определенную формализованную структуру. Учитывая, что современные СИП построены на основе реляционных или объектно-реляционных баз данных и систем управления, для определения необходимой информации используются процедурные и/ или декларативные языки запросов, использующие выражения реляционной алгебры и/или формулы реляционного исчисления [2]. Примерами современных языков запросов являются формальные языки, такие как SQL, DBE, XQuery, XPath, LinQ и другие.
Такие запросные языки являются универсальными с точки зрения формирования разнообразных запросов в терминах баз данных. Однако они не позволяют в структуре запросов учитывать особенности концептуального представления терминов и понятий для конкретных предметных областей. Поэтому для развития средств автоматизации в предметной области технического обслуживания и восстановления РЭА необходимо создавать языки запросов для СИП, которые позволяют использовать систему терминов и понятий, сложившуюся в нормативной и эксплуатационной документации, а также в практике эксплуатации РЭА. Структура таких языков в значительной степени определяется информационным ресурсом, с которым работает обслуживающий персонал.
Важным информационным ресурсом при выполнении операций по восстановления являются электрические схемы РЭА, которые позволяют обслуживающему персоналу на основе графического представления получать подробную информацию об электрических элементах РЭА и связях между ними. Наличие электрических схем в комплекте эксплуатационных документов на РЭА регламентировано существующими стандартами [ГОСТ 2.601-2006, ГОСТ 2.701-2008].
Автоматизированные средства информационной поддержки ОП в существующих СИП могут обеспечивать использование целого ряда распространенных способов и приемов работы со схемами, таких, как предоставление схем, предоставление дополнительной информации для схемных элементов, выделение фрагментов схем и т.д. При этом обслуживающий персонал, имея определенное представление о способе решения прикладной задачи восстановления РЭА, формулирует конкретную цель в предметных понятиях и терминах электрических схем. Эта цель должна быть отражена в запросе обслуживающего персонала и направлена на определение одного или нескольких фрагментов схем, которые содержат необходимую техническую информацию.
Повышение гибкости и эффективности способов работы ОП со схемами при восстановлении РЭА может быть обеспечено путем совершенствования средств формирования запросов за счет использования в запросах конструкций на естественно-подобном языке [1]. Это обеспечивает грамматическое и терминологическое согласование содержания запроса с представлением ОП о цели и способах решения задач восстановления РЭА. При этом появляется возможность полностью формировать запросы на основе естественно-подобного языка и учитывать условия, определяемые целью запроса, а также автоматизировать операции формирования и представления обслуживающему персоналу схемных фрагментов. Это приводит к возможности перехода в современных СИП к высокоуровневым концептуальным интерфейсам, обеспечивающим совместное использование речевых, текстовых и схемно-графических технологий при работе обслуживающего персонала с электрическими схемами радиоэлектронной аппаратуры.
Такой подход к автоматизации СИП, в первую очередь, требует решения задачи определения и формализация структуры запросов, которые обеспечивают обслуживающему персоналу возможность описания цели и условий на естественно-подобном языке с использованием терминов и понятий предметной области, необходимых для формирования и представления фрагментов электрических схем при восстановлении РЭА. Решение сформулированной задачи в литературе отсутствует, в данной работе для таких запросов используется название «схемно-ориентированный запрос» (СОЗ).
Определение и формализация структуры СОЗ связана с разработкой модели СОЗ, которая должна с одной стороны использовать термины и понятия, связанные со структурными элементами электрических схем, а с другой стороны отражать отношения между этими элементами, представленные на основе естественного языка.
В данной работе решение научной задачи по разработке модели СОЗ осуществляется за счет решения двух частных задач: формализованного описание структуры схемно-ориентированного запроса и пред-
ставление схемно-ориентированного запроса на естественно-подобном языке.
Формализованное описание структуры
схемно-ориентированного запроса
Схемно-ориентированный запрос в терминах электрических схем в целом должен соответствовать общепринятой структуре запроса [2]:
<Запрос> = <Команда> <Данные>.
Информационная поддержка обслуживающего персонала на основе СОЗ направлена на управление визуальным представлением графических фрагментов электрических схем и определяется полем <Данные> запроса. При таком способе организации информационной поддержки поле <Команда> у всех запросов может основываться на использовании, по крайней мере, двух команд, которые могут быть ассоциированы, например, со словом «Показать» и «Скрыть». Цель запроса с командой «Показать» состоит в определении схемных фрагментов с необходимой информацией для визуального представления. Запроса с командой «Скрыть» используется для скрытия схемных фрагментов, соответствующих требуемым условиям, при визуальном отображении схем РЭА.
Поле <Данные> определяет задаваемые обслуживающим персоналом условия, которым должны удовлетворять элементы электрических схем, отображаемые в составе визуальных графических фрагментов. Условия определения множества элементов схемы, могут задаваться непосредственно свойством (совокупностью свойств) одного элемента х схемы либо опосредованно через другие элементы у, 2 и т.д., имеющие связи не только с элементом х, но и между собой.
Формально множество Q1 целевых элементов схемы, определяемых на основе свойств одного элемента можно определить следующим образом:
У2(Х,у) = ф2(Р21(*), Р22(*), ... , (Р'21(У), Р'22(У), - ,
Ql = {х I ВД>
(1)
У1(х) = ф1(Рц(х), Р12(х), ...).
(2)
Q2 = {х I Зу У2(х, у)}
(3)
Р"21(х, у), Р"22(х, у), ... ).
Условия для определения целевых элементов х схемы могут задаваться опосредованно через свойства не одного, а нескольких других элементов у, 2 электрической схемы:
Qз = {х I З у 32 Уз(х, у, 2)>
(5)
где У1(х) обозначает условия, которым должен удовлетворять элемент х электрической схемы.
В свою очередь, условие У1(х) может определяться одним свойством Р(х) либо совокупностью свойств элемента х электрической схемы:
В случае, когда условие для определения элементов х могут задаваться опосредованно через свойства других элементов у электрической схемы, множество Q2 целевых элементов схемы определяется следующим образом:
В общем случае условие У2(х, у) может определяться не только свойствами элемента х, но и свойствами элемента у, а также свойствами элемента х, связанными с другими элементами у:
При этом не только элемент х может определяться опосредованно через элемент у, но и элемент у может опосредованно определяться через элемент 2. В этом случае условие У3(х, у, 2) будет определяться не только свойствами элемента х, но также свойствами элементов у и 2; свойствами элемента х, связанными с элементами у и 2; свойствами элемента у, связанными с элементом 2.
Формально свойства элементов, которые участвуют в определении условий, целесообразно записывать в форме отношений вида aR.fi или Я(а,в). В этой записи а и в являются предметными понятиями, которые соответствуют структурным элементам х, у, 2 электрической схемы и определены во фреймовой концептуальной модели ФМ РЭА, предложенной в работе [5], а Я определяет вид (название) отношения между элементами этой модели. В такой форме записи эти отношения являются высказываниями, которые могут быть истинными или ложными, так что формулы ф1, ф2 и ф3, которые определяют условия У1(х), У2(х,у) и У3(х,у,2), являются логическими формулами.
Человеку условия удобно выражать в виде суждений, используя форму высказываний о свойствах и отношениях структурных элементов электрических схем. Такие высказывания основываются на использовании понятий предметной области и могут иметь два значения истинности (истина или ложь). Примерами таких высказываний могут быть: «блок имеет разъем», «ячейка выполняет функцию» и т.п. Поскольку элементы отношений могут быть предметными переменными, использование только логики высказываний может быть не достаточно для определения сложных условий У1(х), У2(х,у) и У3(х,у,2). Поэтому при формировании условий на основе отношений целесообразно использовать предикатную форму записи, которая основывается на логике предикатов первого порядка. Использование языка предикатов позволяет создавать сложные высказывания, которые при формальной записи используют операции алгебры логики (и, или, не) и кванторы существования и общности [4-6].
Предметные понятия, используемые в записи предикатных выражений, могут являться предметными переменными или предметными константами. В качестве предметных переменных выступают понятия, определяемые слотами фреймовой модели ФМ РЭА, описанной в работе [5], а в качестве предметных констант - значения соответствующих слотов.
При таком подходе к формализации структуры СОЗ все свойства схемных элементов х, у и 2, которые определяются условиями разных видов У1(х), У2(х,у)и У3(х,У2), целесообразно записывать в форме предикатов на основе необходимых отношений Яъ Я2, Я3 и т.д. В результате будет сформирована предикатная модель схемно-ориентированных запросов. В такой модели собственно условие может быть представлено в виде составной формулы на основе операций алгебры логики. Например, в случае, когда условие определяется свойствами одного схемного элемента х (выражение 2), составная формула может иметь вид:
У1(х) = Яп(х)& Я12М V Я^(х,у), (6)
где отношения Яп, Я12, Я13, - унарные отношения, отражающие свойства элемента х.
В случае, когда условие определяется двумя элементами х и у (выражение 4), составная формула может иметь вид:
У2(х,у) = Я21(х)& Я22(х, у) V Я2з(х,у), (7)
где Я21 - унарное отношение, отражающее свойства элемента х, а Я22 и Я2з - бинарные отношения между элементами х и у.
Аналогично можно записать логическую формулу для условий с большим числом учитываемых схемных элементов. Множество элементов Q, составляющих цель запроса, с использованием исчисления предикатов может определяться предикатным выражением, которое формируется с использованием кванторов. Например, применительно к множеству Q1 предикатное выражение имеет вид: Ух У1(х). Этот предикат определяет множество Q1, как совокупность элементов х, в которой для всех х выполняется условие У1(х). Применительно к множеству Q2 предикатное выражение имеет вид: Ух Зу У"2(х,у). Этот предикат определяет множество Q2, как совокупность элементов х и у, в которой для всех х выполняется условие У"2(х, у). Аналогично записывается предикат, определяющий множество элементов Q3.
В предикатной модели СОЗ с помощью формул логики предикатов предлагается записывать собственно условия, а запрос представлять в виде предложений, которые используют предикатные формулы и понятия есте-ственного языка. При этом использование понятий русского языка ограничивается, с одной стороны, предикатной формой записи, а, с другой стороны, требованием их согласования с позиций грамматических правил естественного языка.
При таком подходе к определению структуры запроса поле <Данные> в СОЗ предлагается формировать на основе языка логики предикатов. Это позволяет в рамках общей предикатной модели СОЗ, с одной стороны, логически связать в запросе понятия и отношения предметной области, а, с другой стороны, предоставляет возможность использовать простые синтаксические
структуры естественного языка, в частности, вида «подлежащее-сказуемое-дополнение».
Ниже развитие способов использования языковых синтаксических средств направлено на формирование сложных схемно-ориентированных запросов, которые в целом соответствуют правилам естественного языка.
Представление схемно-ориентированного запроса на естественно-подобном языке Предикатный язык формирования схемно-ориен-тированных запросов основывается на использовании двух языковых элементов - термов и предикатов. Термы определяют понятия и объекты предметной области, которые определяются используемой концептуальной моделью предметной области. При использовании фреймовой модели ФМ РЭА, как концептуальной модели РЭА, в качестве термов целесообразно использовать типы структурных элементов схемы (блок, ячейка, разъем, цепь прохождения сигнала и т.д.) и значения их атрибутов (маркировка, название, позиционное обозначение и т.д.), а также функциональные элементы модели (функциональные задачи, выполняемые функции) и значения их атрибутов (имя функциональной задачи, имя выполняемой функции и т.д.).
Фреймовая модель ФМ РЭА позволяет определить только понятия, используемые в схемно-ориентиро-ванных запросах. Для определения множества предикатов, необходимо проанализировать отношения между предметными переменными, ассоциированными с понятиями ФКМ РЭА, и представить их в виде терминов естественного языка, которые используются для описания этих отношений.
Анализ ФМ РЭА показывает, что предметное понятие «блок», как предикатная переменная, участвует, по крайней мере, в шести базовых отношениях, которые могут быть определены через языковые термины естественного языка: «соединен с», «входит в», «имеет», «содержит», «выполняет», «влияет на». Это позволяет зафиксировать все базовые отношения Я(а, в), связывающие предикатную переменную а =«блок» с другими предикатными переменными в, и представить их в виде фрагмента семантической сети (рис. 1).
Аналогичный анализ, выполненный для всех предикатных переменных, позволяет сформировать полный граф семантической сети и определить множество языковых понятий, ассоциированных с предикатами Я в модели СОЗ:
Я = {«входит в», «содержит», «соединяет», «соединен с», «связан с», «проходит через», «имеет», «влияет на», «зависит от», «выполняет»}.
Использование названных элементов языка, позволяет, применяя формализм языка логики предикатов, создать основу представления запросов в виде совокупности простых предложений естественного языка, содержащих термины и понятия электрических схем. Такие простые предложения имеют базовую предикативную форму в естественном языке. Примерами
Блок
Рис.1. Фрагмент семантической сети для предикатной переменной <блок>
таких предложений могут быть следующие: «блок содержит ячейку», «ячейка входит в блок», «блок выполняет функцию» и т.п.
Следует отметить одну особенность в записи предикатных форм в таких простых предложениях, связанную с использованием предикатных констант. Эти константы в соответствии с фреймовой моделью ФМ РЭА [5] определяют уникальные значения свойств структурных элементов электрических схем. Наличие конкретного значения свойства всякого элемента определяется использованием предиката «имеет», например, «ячейка имеет название Я5», «блок имеет позиционное обозначение У2» и т.п. В этом случае целесообразно использовать сокращенную языковую запись в предложениях, которая соответствует унарной форме записи Я(х) отношения, например, «ячейка Я5», «блок А1» и т.п. С учетом этого замечания допустимы следующие предложения в структуре запроса: «блок содержит ячейку Я5», «ячейка входит в блок ФР1», «сигнал зависит от сигнала В», «цепь сигнала соединяет блоки А и блоки В», и т.п.
Эти же простые предложения можно записать как с использованием причастного оборота (например, «блок, содержащий ячейку Я5»; «ячейка, входящая в блок ФР1»; сигнал, не зависящий от сигнала В; цепь сигнала, соединяющая блоки А и В), так и используя придаточный определительный оборот с союзным словом «который» (например, блок, который содержит ячейку Я5; ячейка, которая входит в блок ФР1; сигнал, который не зависит от сигнала В; цепь сигнала, которая соединяет блоки А и В). В таком случае использование одноместной формы записи отношений для определения значения свойств элементов позволяет сократить длину предложения в запросе. Так, предложение «Блок, который содержит ячейку, имеющую позиционное обо-
значение У2», может быть представлено в сокращенной форме: «Блок, который содержит ячейку У2».
С формальной точки зрения предложение «Блок, который содержит ячейку У2» используя предикатную модель схемно-ориентированного запроса можно записать следующим образом:
У(блок, ячейка, У2) = содержит (блок, ячейку) & имеет(ячейка, название) & есть(название, У2).
В соответствии с правилами формирования условий вида (6) и (7) каждое последующее предложение в запросе направлено на уточнение свойств термов, используемых в предыдущих предложениях. Поэтому объединение в структуре запроса нескольких простых предложений в сложное предложение можно осуществлять с использованием, например, наречий. В частности, предлагается использовать наречие «причем», так, что использование данного наречия требует представления присоединяемого простого предложения в базовой предикативной форме.
Использование перечисленных правил и приемов формирования предложений позволяет определить структуру поля «Данные» схемно-ориентированного запроса, которая в целом будет соответствовать грамматическим требованиям построения предложений на естественном языке. Использование естественного языка в структуре предложений запроса позволяет производить согласование используемых слов по падежам, а также использовать формы множественного/ единственного числа, что удобно с точки зрения голосового формирования этих запросов обслуживающим персоналом. Учитывая, что использование команды «показать» также синтаксически согласуется с предлагаемой структурой предложения, следует отметить, что, в целом структура запросов является грамматически корректной конструкцией естественного языка.
Описанные выше правила определяют общую структуру схемно-ориентированного запросов в виде предложений на естественно-подобном языке. В качестве примеров запросов, соответствующих этим правилам, могут служить следующие предложения: «Показать блок, который содержит ячейку, которая включает разъем Ш1»; «Показать ячейку, которая входит в цепь прохождения сигнала А1, причем ячейка содержит разъем Ш1»; «Показать блоки».
Использование предикатной модели схемно-ори-ентированных запросов в системах информационной поддержки требует разработки правил построения предложений языка схемно-ориентированных запросов на основе теории формальных грамматик. Использование в запросах естественно-подобного языка, сопряженного с определенной предметной областью, определяет необходимость описывать в этих правилах не только синтаксис предложений, но также и множество смыслов предложений с точки зрения предметной области, т.е. семантику языка.
Заключение
Для повышения гибкости и эффективности способов работы ОП с электрическими схемами при восстановлении РЭА предлагается использовать схемно-ори-ентированные запросы. Такие запросы предоставляют обслуживающему персоналу возможность использовать естественно-подобный язык для описания целевых условий определяющих в терминах и понятиях предметной области, фрагменты электрических схем, которые необходимо формировать для визуального представления.
Предлагаемая предикатная модель схемно-ориен-тированных запросов формально основывается на использовании логики предикатов. Языковая структура схемно-ориентированных запросов определяется совокупностью грамматических правил, позволяющих формировать запросы в виде предложений на естественно-подобном языке с использованием терминов и понятий электрических схем. Использование естественного языка в структуре предложений запросов позволяет производить согласование используемых слов по падежам, а также использовать формы множественного/единственного числа.
Использование предлагаемой модели определяет направление развития архитектуры систем информационной поддержки, связанное с использованием концептуальных интерфейсов, обеспечивающих совместное использование речевых, текстовых и схемно-графических технологий при работе обслуживающего
персонала с электрическими схемами РЭА.
Использование естественно-подобных языков способствует повышению информационной емкости запросов и, соответственно, сокращению общего числа запросов, которое необходимо формировать обслуживающему персоналу для получения требуемой информации. Наибольший эффект сокращение числа запросов дает в процессе восстановления РЭА, который характеризуются многократностью формирования запросов со стороны обслуживающего персонала и циклическим характером выполняемых операций.
Формализация и общая логика предложенной структуры схемно-ориентированного запроса являются основой для программной реализации соответствующего интерпретатора запросов, как компонента систем информационной поддержки. Внедрение в системы информационной поддержки соответствующих программных средств позволяет повысить уровень автоматизации процессов технической эксплуатации и сократить время восстановления РЭА за счет уменьшения времени на извлечение требуемой технической информации по запросам обслуживающего персонала.
Литература
1. Анисимов О.В. Направления совершенствования систем информационной поддержки обслуживающего персонала при технической эксплуатации систем специального назначения // Наукоемкие технологии в космических исследованиях Земли. 2014. Т.6. № 5. С. 44-52.
2. К. Дж. Дейт. Введение в системы баз данных. СПб.: Вильямс. 2006. 1328 с.
3. Анисимов О.В., Курчидис В.А., Попов Т.А. Концептуальное представление электрических схем радиоэлектронной аппаратуры на основе фреймовой модели // Наукоемкие технологии в космических исследованиях Земли. 2015. Т.7. № 2. С. 20-28.
4. Колмогоров А.Н, Драгалин А.Г. Математическая логика. М.: КомКнига, 2006. 240 с.
5. Анисимов О.В., Приветень А. С., Курчидис В.А. Структура метода формирования онтологии предметной области технической эксплуатации радиоэлектронной аппаратуры // Наукоемкие технологии в космических исследованиях Земли. - 2014. Т.6. № 3. С. 26-30.
6. Анисимов О.В., Приветень А. С. Эффективность информационной поддержки обслуживающего персонала в цикле восстановления радиоэлектронных средств // Наукоемкие технологии в космических исследованиях Земли. 2013. Т. 5. № 1. С. 26-29.
Для цитирования:
Курчидис В.А., Попов Т.А., Анисимов О.В. Предикатная модель схемно-ориентированных запросов обслуживающего персонала в системах информационной поддержки // Наукоемкие технологии в космических исследованиях Земли. 2015. Т. 7. № 3. С. 30-36.
THE PREDICATE MODEL OF SCHEME-ORIENTED QUERIES FOR STAFF IN INFORMATION SUPPORT SYSTEMS
Kurchidis Victor Aleksandrovich,
Yaroslavl, Russian, [email protected]
Popov Timur Aleksandrovich,
Yaroslavl, Russian, [email protected]
Anisimov Oleg Vitalyevich,
Yaroslavl, Russian, [email protected]
Abstrart
One way of raising efficiency in solving problems of complex technical systems operation while using the automation equipment. Existing automation equipment, maintenance personnel do not provide opportunities to build queries to obtain the required information in the form of electrical schemes fragments using concepts and terms within the subject area of this natural language syntax. The work is dedicated to the development of predicate query models, focused on the use of concepts and terms in the field of the formation of the target conditions by staff to represent the requested schema fragments. Such requests are referred to the scheme-oriented. It is offered to record the properties of elements, which are involved in the determination of the conditions, in the form of the relationship between the subject terms. The basic relationship that corresponds to the structural elements of the electrical schemes and are defined in framing conceptual model of radio-electronic equipment are reveled.
The conditions asked by service personnel, which must correspond to the elements of electric schemes that are displayed in the form of widgets, are defined. For the formation of targeted query conditions and concepts in terms of the electrical circuits of electronic equipment is justified use of the first-order predicate logic within the syntax of natural language. The offered formalized structure of the scheme-oriented requests allows coordinating the predicate formulas with the structure of the natural language sentences.
Proposed predicate model is characterized by requests that are formed based on the sentences in the natural-like language. In this case, it is possible to use those terms and concepts in the subject domain in requests, as well as to
produce coordination of the used words in cases and single/plural forms.
The obtained result is appropriate to consider as a methodological basis for constructing conceptual interfaces based on natural-like language systems for service personnel information support in the technical exploitation of electronic equipment. This increases the level of information support automation for service personnel and reducing the solution of applied problems of technical operation of radio-electronic equipment in complex technical systems. Keywords: information support, technical maintenance, electronic devices, electric scheme, predicate model, scheme-oriented query.
References
1. Anisimov O.B. The directions of improvement of systems of information support of the service personnel at technical operation of systems of a special purpose. H&ES Research. 2014. Vol. 6. No. 5. Pp. 44-52. (in Russian).
2. Date. C. Vvedenie v sistemy baz dannykh [An introduction to Database System]. SPb.: Vilyams. 2008. 1328 p. (in Russian).
3. Anisimov O.V., Kurchidis V.A., Popov T.A. Conceptual representation of electrical schemes electronics based on frame model. H&ES Research. 2015. Vol. 7. No. 2. Pp. 20-28. (in Russian).
4. Kolmogorov A.N., Dragalin A.G. Matematicheskaya logika [The mathematical logic]. Moscow: ComKniga. 2006. 240 p. (in Russian).
5. Anisimov O.V., Priveten A.S., Kurchidis V.A. Structure of the method of forming domain ontology technical operation radio-electronic equipment. H&ES Research. 2014. Vol. 6. No. 3. Pp. 26-30. (in Russian).
6. Anisimov O.V., Priveten A.S. Information support of scheme request for the personnel in the recovery cycle of radio-electronic devices. H&ES Research. 2013. Vol. 5. No. 1. Pp. 26-29. (in Russian).
Information about authors:
Kurchidis V.A., Ph.D., professor, professor Automation (and computing devices), Military Space Academy; Popov O.V., deputy head of Department scientific research, Military Space Academy;
Anisimov O.V., Ph.D., associate professor, docentAutomation (and computing devices), Military Space Academy.
For citation:
Kurchidis V.A., Popov O.V., Anisimov O.V. The predicate model of scheme-oriented queries for staff in information support systems. H&ES Research. 2015. Vol. 7. No.3. Pp. 30-36. (in Russian).
