Статьи журнала - Онтология проектирования
Все статьи: 620
Другой
Бесплатно
Построение СППР на основе онтологии молочного производства
Статья научная
Цель работы - построение и реализация системы поддержки принятия решений (СППР) в молочном производстве на основе формализованных математических моделей и онтологического подхода. Проведена декомпозиция процесса производства молочной продукции, выделены основные влияющие на него факторы, а также взаимосвязи между ними. Сформирована онтология предметной области, которая представлена в виде концептуальной схемы и иерархии классов. Для описания последовательности влияния факторов и выявления управляющих воздействий разработана схема Исикавы для производства молочной продукции. Предложено формализованное описание эффективности процесса молочного производства. Разработана СППР для производства молочной продукции, включающая учёт факторов, связанных с сортом и видом кормовых растений, способами и методами высева семян, предпосевной подготовкой, классом и типом почв, агроклиматическими показателями, внесением удобрений, классом животных и кормовыми добавками.
Бесплатно
Построение базы знаний для автономного управления беспилотными транспортными средствами
Статья научная
Представлен подход к построению и использованию базы знаний для автономного управления беспилотными транспортными средствами. В качестве предметной области представлено сельское хозяйство. Отсутствие достаточного количества и уровня квалификации механизаторов приводит к простою техники, снижению урожайности культур и эффективности использования химикатов. Использование беспилотных транспортных средств позволяет уменьшить влияние данных факторов и снизить вредное воздействие на людей, работающих в сельском хозяйстве. В статье основной упор сделан на учёт особенностей и ограничений предметной области при построении траекторий движения беспилотных транспортных средств и управлении средствами обработки. Предложен подход, состоящий из этапов проектирования схемы базы знаний, автоматизации процесса наполнения базы знаний и организации функции логического вывода. Для каждого этапа приведены разработанные модели и алгоритмы, позволяющие сформировать и использовать базу знаний при решении задачи автономного управления беспилотными транспортными средствами. Статья содержит примеры и иллюстрации, призванные повысить наглядность предложенного подхода.
Бесплатно
Статья научная
Процесс проектирования сложных технических систем (СТС) является итеративным процессом, который характеризуется значительными затратами ресурсов (финансовых, трудовых, временных), оформлением большого объёма документации, а также множеством возникающих рисковых ситуаций. Для надёжного создания СТС необходима интеллектуальная система контроля и предупреждения рисковых ситуаций, которая позволит быстро обработать и проанализировать большие объёмы разнородной информации, выявить рисковые ситуации на этапе проектирования, а также ответить на вопрос типа «Что будет с проектом создаваемой СТС, если на этапе проектирования произойдут какие-либо изменения...?». Статья посвящена построению базы знаний интеллектуальной системы контроля и предупреждения рисковых ситуаций в условиях разнородной информации для этапа проектирования СТС критической инфраструктуры. Проведён анализ основных типов моделей представления знаний, применяемых при создании баз знаний. Предложена база знаний, основанная на модульном принципе и использующая обобщённую схему методологии когнитивного и нечёткого когнитивного моделирования. Новыми результатами являются: разработанный модуль обработки исходных данных, позволяющий обрабатывать разнородные данные; представление знаний в базе знаний в виде чётких или нечётких моделей; сценарии развития рисковых ситуаций, связанных с проектированием СТС.
Бесплатно
Построение графа знаний по телекоммуникационным данным
Статья научная
В работе описывается метод построения графа знаний по телекоммуникационным данным на основе проприетарных и эталонных моделей, используемых в области телекоммуникаций. В качестве эталонных рассматриваются модели, входящие в фреймворк, разработанный консорциумом TM Forum. Граф знаний проприетарных моделей предлагается строить с помощью автоматизированной обработки лог-файлов автотестов и таблиц БД биллинговой системы. Актуальность применения графов знаний обусловлена их структурированностью и семантичностью, а также возможностью последующего применения алгоритмов машинного обучения для генерации рекомендаций по оптимизации телекоммуникационных процессов и систем. Предложено применение метода на основе подхода многошагового рассуждения для создания интерпретируемых рекомендаций по восстановлению отсутствующих связей, путём их прогнозирования в проприетарном графе знаний. Предложенный метод рассматривает многошаговое рассуждение как задачу ответа на вопрос с использованием обработки естественного языка. Применение разработанного решения на основе нейросетевой архитектуры трансформера обеспечило интерпретируемые результаты с сохранением значений метрик, по сравнению с аналогами.
Бесплатно
Построение графа знаний предметной области на основе открытых электронных словарей
Статья научная
Рассматривается построение графа знаний с целью объединения знаний по химии, физике и физической химии в области водородной энергетики и технологических процессов получения водорода. Разработанный граф знаний содержит формализацию семантических связей и абстрактную организацию классов, сопоставимую с онтологиями предметной области. Описана система поддержки принятия решений для расширения графа знаний на основе алгоритма многокритериальной оценки валидации внешних источников данных в виде открытых электронных словарей. При валидации источника терминологических данных предметной области в системе поддержки принятия решений используется Интернет-сервис стандартизованной оценки. Собранные в интерфейсе оценочные средства автоматически предоставляют данные для экспертного заключения с принятием решения и собирают дополнительные данные для нейронной сети, которая обучается верификации внешних источников на прецедентах с экспертным решением. Граф знаний содержит 23,5 тысячи уникальных сущностей, представленных на русском языке с дублированным значением на английском языке.
Бесплатно
Построение карт потока создания ценности на основе онтологического подхода
Статья научная
Цель работы - оценка и повышение эффективности работы производственного предприятия посредством разработки и внедрения карты потока создания ценности. Проведён анализ метода карт потока создания ценностей, выявлены его недостатки и особенности. Построена карта потока создания ценностей текущего состояния производственного процесса и сделан вывод о том, что карта позволяет улучшить данный процесс потока. На основе анализа частного случая сети Петри показана необходимость в определении объектов, взаимосвязей и отношений инцидентности. Основные объекты определены посредством построения фреймовой модели взаимодействия ключевых параметров производства. Взаимосвязи между объектами и отношения инцидентности выявлены при помощи построения онтологической модели. Анализ построения карт потока создания ценностей позволил выявить пять видов затрат времени. Для снижения времени перемещения, времени загрузки-выгрузки и ликвидации простоев предложено использовать сети Петри с применением циклограмм.
Бесплатно
Статья научная
Рассматривается метод построения статистических моделей многосвязных объектов в виде многомерных регрессионных зависимостей на основе совместного использования измерительных данных и экспертных оценок. Основная идея метода заключается в преобразовании независимо полученных экспертных оценок и измерительных данных к единому виду - закону распределения непрерывной случайной величины. Это делает возможным сформировать корреляционную таблицу на основе решения обратной задачи определения закона распределения функции случайного аргумента. Сформированная корреляционная таблица служит основой построения регрессионной зависимости известными методами регрессионного анализа. Главным результатом работы является впервые предложенный метод построения многомерных регрессионных зависимостей за счѐт совместного использования экспертных оценок и измерительных данных.
Бесплатно
Построение модели предметной области путём зондирования сервиса Google Scholar Citations
Статья научная
Предлагается алгоритм построения терминологических сетей - моделей предметных областей на основе зондирования большой информационной сети. В качестве такой сети рассматривается сеть понятий, соответствующих тегам сервиса Google Scholar Citations. Узлы в этой сети соответствуют понятиям, маркированным тегами, а ребра - некоторую семантическую связь между ними, определяемую смежными интересами отдельных авторов. Приведён специальный алгоритм сканирования ресурсов сервиса Google Scholar Citations для получения репрезентативного набора тегов как основы модели предметной области. На основе данной сети автоматически формируется релевантный список публикаций. Приведены правила построения списка библиографических ссылок. Предложенный подход может быть применён, в частности, к библиографическим базам данных, в которых в явном виде выделены авторы и как теги - ключевые слова. Данный подход можно применять для многих областей науки.
Бесплатно
Построение онтологии для систематизации характеристик сети интернета вещей
Статья научная
Представлена формализация модели сети Интернета вещей, предназначенной для мониторинга технологических помещений с телекоммуникационным оборудованием в Федеральном исследовательском центре «Красноярский научный центр СО РАН». Сеть включает измерительные устройства, телекоммуникационную среду, серверы для сбора данных и прикладное программное обеспечение. Для информационного взаимодействия используется схема «издатель-подписчик» и облегчённый протокол с невысокой нагрузкой на каналы связи. Создана онтология, описывающая архитектуру сети и свойства устройств, которые собирают, передают, хранят и обрабатывают данные. Онтология содержит классы, представляющие понятия предметной области, отношения, свойства данных, диапазоны их изменения, критические значения, ограничивающие атрибуты элементов онтологии. Объекты онтологии имеют собственное цифровое представление в базах данных, включая результаты измерений, получаемые датчиками сети Интернета вещей, прецеденты аномальных данных, их статистические и частотные характеристики. Формализация позволила выявить неявные зависимости между объектами, связать их с характеристиками процессов, наблюдаемых устройствами сети Интернета вещей, и решать практические задачи. Рассмотрена задача выбора характеристик, влияющих на изменение схем информационного взаимодействия. Выполнен опрос экспертов и построена модель Кано для приоритизации характеристик, влияющих на принятие решений об организации схемы информационного взаимодействия в сети Интернета вещей.
Бесплатно
Построение онтологии фундаментальных понятий на основе трансдисциплинарного подхода
Статья научная
Описываются процедуры применения трансдисциплинарного подхода к выработке формулировок фундаментальных понятий и к построению онтологии этих понятий. Проведён анализ терминологических и содержательных составляющих, необходимых для такого применения. Установлена роль состояния гармонии, как критерия наличия положительных и отрицательных тенденций при оценивании рассматриваемой ситуации. Применение технологии выработки формулировки и построения онтологии показано на примере понятия «любовь». Отмечено, что в основе любви лежат положительные тенденции в состоянии гармонии, а также ряд других существенных признаков. Предложены формулировки ряда понятий, связанных с любовью. На основании полученных результатов определено место систем искусственного интеллекта в формируемом целостном построении, указаны ограничения на потенциальные возможности таких систем. Трансдисциплинарная технология носит универсальный характер и может быть применена, в том числе и в области онтологий. Статья предназначена для специалистов, интересующихся целостной онтологической картиной на уровне фундаментальных понятий.
Бесплатно
Построение правовой онтологии для поддержки принятия решений
Статья научная
Предложен подход к построению онтологии предметной области интеллектуальных прав, предназначенной для использования в системах поддержки принятия решений. Актуальность работы связана с тем, что используемые реляционные модели ориентированы преимущественно на хранение явно заданных сведений и не позволяют в полной мере учитывать семантические связи, нормативные ограничения и логически выводимые зависимости между объектами. В качестве формального основания в работе используются аппарат дескриптивной логики и язык OWL DL. Разработанная онтология включает иерархию классов, систему объектных свойств и набор аксиом. Аксиомы задают условия принадлежности объектов к классам, а также ограничения и исключения. Реализация модели выполнена в среде Protégé с применением логического вывода, обеспечивающего автоматическую классификацию экземпляров, проверку согласованности модели и выявление неявных связей. Разработанная методика включает построение онтологической модели, процедуры формирования запросов, отбора допустимых альтернатив и выработки рекомендаций для системы поддержки принятия решений. Показано, что применение онтологической модели позволяет переходить от описания знаний о предметной области к их операциональному использованию при анализе объектов интеллектуальных прав. Предложенный подход обеспечивает расширяемость модели знаний, согласованность еѐ структуры и возможность обработки частично заданных сведений, что делает его применимым при проектировании систем поддержки принятия решений в юридически значимых и семантически сложных областях.
Бесплатно
Построение хранилища обобщённых вычислительных экспериментов на основе онтологического подхода
Статья научная
Рассмотрена задача организации хранения и доступа к информации об обобщённых вычислительных экспериментах, связанных с математическим моделированием реальных физических процессов. Обобщённый вычислительный эксперимент предполагает многократное решение задачи численного моделирования при различных наборах значений определяющих параметров модели, что позволяет получить решение для некоторого класса задач математического моделирования, заданного в многомерном пространстве параметров. Предложен подход к построению хранилища данных, описывающих обобщённые вычислительные эксперименты, включая историю их планирования и корректировки сценариев проведения. Обсуждаются особенности хранения обобщённых вычислительных экспериментов, положенные в основу построения логической и физической моделей хранилища. Для организации эффективного взаимодействия пользователя с хранилищем предложена онтологическая модель обобщённого вычислительного эксперимента и связанная с ней структура метаданных, на основе которой реализуется механизм формирования запросов к хранилищу в терминах предметной области моделирования. Обсуждается применение разработанного подхода для хранения и анализа данных об обобщённом вычислительном эксперименте, связанном с оценкой точности численных моделей программной платформы OpenFOAM для трёхмерной задачи сверхзвукового обтекания клина.
Бесплатно
Предпроектный анализ интеллектуального жилого дома для условий Арктики
Статья научная
Сочетание неблагоприятных природных условий и малой населённости арктических пространств усложняет подходы к проектированию и строительству жилья для этих мест и определяет требования к автоматизированным средствам жизнеобеспечения, внутреннему устройству и надёжности жилых домов. В статье рассматривается проблема структурного синтеза интеллектуального жилого дома для арктических условий. Вводится классификация условий ограничения, накладываемых на конструктивные решения, принимаемые при проектировании. Ставится задача удовлетворения ограничений применительно к разработке конструктивных решений и автоматизации здания. В качестве цели назначается получение допустимого решения задачи синтеза на основании формализованных знаний об условиях эксплуатации, при котором целевая функция принимает наименьшее значение. Рассмотрены вопросы выбора целевых функций. Предложен подход к созданию новых привлекательных проектов интеллектуальных жилых домов для условий Крайнего Севера России, позволяющих обеспечить уют и безопасность с использованием последних достижений инженерной мысли в области автоматизации и надёжности автоматизированных систем. Привлекательное и уютное жильё поможет решить вопрос привлечения людей для обживания арктических пространств, их исследования, освоения и сохранения для потомков.
Бесплатно
Представление математических понятий в онтологии научных знаний
Статья научная
Рассматриваются особенности математических предметных областей в контексте построения он- тологии научных предметных областей. Приводятся примеры из разрабатываемого тезауруса по уравнениям смешанного типа из раздела уравнений с частными производными математической физики. Особое внимание уделяется вопросам представления и актуальной поддержки тезауруса адресата. Предлагается использовать специализированные тезаурусы, где наряду с определениями на естественном языке присутствуют символьные выражения. Этот подход позволяет уточнить запрос, используя математическую запись в ТеХ-нотации независимо от языка первоисточника, что приводит к уменьшению поискового шума и сокращению времени поиска. Обсуждается во- прос о том, почему всѐ ещѐ недостаточно создано математических тезаурусов и что надо сделать, чтобы они использовались в цифровых библиотеках наряду с другими информационными ресур- сами. Приводится пример создания тезауруса для отдельной математической предметной области. Особая трудность состоит в описании родо-видовых отношений в математических предметных областях, предлагается один из вариантов описания этих связей для уравнения смешанного типа.
Бесплатно
Статья научная
Статья посвящена рассмотрению роли актора в назначении функциональных свойств базовых и эталонных образцов аппаратно-программных комплексов (АПК). Рассмотрены особенности формирования внешнего облика АПК с позиций положений теории интерсубъективного управления. Рассмотрены понятия «вредные» и «полезные» функции АПК с учётом точки зрения различных акторов. Предложены векторные представления функциональных свойств базовых образцов, приведена многомерная модель, позволяющая анализировать функциональные свойства АПК с учётом разных режимов использования и различных мнений акторов. Предложен подход к оцениванию степени отклонения свойств АПК от базовых, а также функциональной пригодности АПК с учётом совокупности оценок акторов.
Бесплатно
Статья научная
В статье рассматриваются вопросы, связанные с упрощением применения онтологий, описанных на языке OWL, в качестве основы функционирования графических пользовательских интерфейсов. В частности предлагается создание промежуточного модели - онтологии пользовательского представления, для произвольной OWL-онтологии, ориентированной в первую очередь на непосредственную визуализацию в виде графовой структуры. Рассматривается структура такой модели, а также порядок отображения в ней аксиом исходной OWL-онтологии и их визуализация.
Бесплатно
Преобразование чертѐжно-конструкторской документации в трѐхмерную каркасную модель
Статья научная
Статья посвящена решению актуальной проблемы автоматизированного преобразования двухмерных технических чертежей в трѐхмерные каркасные модели. Существующие решения преимущественно обеспечивают одностороннее преобразование трѐхмерных моделей в двухмерные чертежи. В работе описаны: алгоритм автоматизированной обработки проекционных видов, основанный на использовании ограничивающих прямоугольников для выделения проекционных видов и проекционных векторов для восстановления линий проекционных связей; алгоритм формирования каркасной модели на основе анализа связей между точками облака и проекций рѐбер на проекционные виды, учитывающий различные конфигурации несущих линий (прямые, эллипсы) и расширяющий класс моделируемых тел до объектов, ограниченных плоскостями и поверхностями второго порядка (эллипсоиды, эллиптические цилиндры, конусы). Полученные результаты позволяют на порядок сократить время построения трѐхмерной модели по двухмерным чертежам объектов различного назначения.
Бесплатно
Применение векторного формализма в логике и логико-математическом моделировании
Статья научная
В статье выполнен обзор ряда направлений, посвящённых применению векторного формализма в логических исследованиях. Выделяются три таких направления. Первое связано с усложнением формального аппарата классической математической логики за счёт векторизации категорий Истины и Лжи. Оно представлено векторной логикой Е. Мизрахи и матричной логикой А. Штерна. Второе основано на векторизации логической семантики. В нём истинность рассматривается как многокомпонентный вектор. Здесь отмечены логика К.И. Бахтиярова, нейтрософская логика Ф. Смарандаке и логики с векторной семантикой. Третье направление связано с векторизацией силлогистики Аристотеля. Векторное представление в последнем случае используется для частичной визуализации и автоматизации построения силлогизмов. Все три направления имеют практическое значение и находят применение, в частности, для решения задач в области вычислительной техники и искусственного интеллекта.
Бесплатно
