+
Онтология проектирования
2023. — Выпуск 2
Содержание:
+
В современном дедуктивном анализе к основным задачам относятся следующие: поиск доказательства заданного утверждения с помощью аксиом и правил вывода; проверка корректности заданного следствия из определённых посылок. О задачах вывода следствий с заранее заданными свойствам (задачи с интересными следствиями) в настоящее время известно немного, и нет чётких ответов на вопросы: какие свойства присущи интересному следствию и как вычислить интересное следствие? Ответы можно получить, если для моделирования рассуждений воспользоваться математическим аппаратом алгебры кортежей на основе свойств декартова произведения множеств. Объектами алгебры кортежей являются произвольные многоместные отношения. Эти отношения можно рассматривать как интерпретации формул математической логики. Они представляют собой матрицеподобные структуры, у которых ячейки содержат не элементы, а подмножества соответствующих атрибутов. Операции (дополнение, обобщённое пересечение и обобщённое объединение) в алгебре кортежей соответствуют логическим связкам математической логики (отрицание, конъюнкция, дизъюнкция), а отношение обобщённое включение - отношению выводимости. Вычисление кванторных операций выполняется с помощью операций с атрибутами (добавление фиктивного атрибута, что соответствует правилу обобщения в исчислении предикатов, и элиминация атрибута). Для двух из четырёх типов структур алгебры кортежей элиминация атрибутов соответствует вычислению проекции отношения. Для вывода интересных следствий в алгебре кортежей используется структура, названная минимальным следствием, которая равна обобщённому пересечению посылок, выраженных структурами алгебры кортежей. Интересные следствия вычисляются как проекции минимального следствия. В результате вычислений и проверок получаются следствия с сокращённым или заданным составом переменных, а также с сокращённым объёмом записи.
Загружаем данные из библиотечной системы...
Ключевые слова
+
Рассматриваются некоторые аспекты взаимосвязей двух инженерных дисциплин - материаловедения и строительной механики. Обсуждаются стержневые структуры от представительных ячеек и объёмов композитов, армированных длинными и короткими волокнами, до пространственных конструкций с регулярной структурой. Рассматриваются различные подходы к прогнозированию и оценкам минимальной массы стержневых систем на начальных стадиях проектирования конструкций. Основное внимание уделено исследованию возможности применения безразмерного критерия силового совершенства конструкции к оценке эффективности материалов с гетерогенной структурой. С этой целью поставлен и подробно описывается вычислительный эксперимент, в ходе которого на базе простейшей кубической решётки Браве генерируются последовательно ферменные структуры возрастающей сложности и методами строительной механики анализируются их свойства. Показано, что ферменное моделирование обладает определённым потенциалом для прогнозирования ряда механических характеристик гетерогенных материалов.
Загружаем данные из библиотечной системы...
Ключевые слова
+
В работе описывается обобщённая онтология, позволяющая формировать знания о различных видах лечения (медикаментозном, восстановительном, хирургическом) вне зависимости от раздела медицины. Онтология - необходимый компонент создания информационной системы, ориентированной на решение класса задач планирования лечения. Планирование позволяет объединить виды лечения для различных заболеваний и разделов медицины. Описывается метод адаптации обобщённой онтологии к различным видам лечения и терминологии, привычной разработчику базы знаний - эксперту предметной области. Из обобщённой онтологии наследуются все специализированные онтологии по конкретным видам лечения, сохраняя её структуру и семантические зависимости. Такой подход обеспечивает создание баз знаний в системах поддержки принятия решений по комплексному назначению лечения пациента, открывая возможность создания единого решателя, обеспечивающего снижение затрат на разработку информационной системы. Обобщённая онтология разработана на облачной платформе IACPaaS и в настоящее время используется для создания баз знаний в различных областях медицины.
Загружаем данные из библиотечной системы...
Ключевые слова
+
Рассматривается формообразование поверхностей аналитическими методами и их визуализация средствами компьютерной графики. Эта тема привлекает внимание архитекторов, инженеров и учёных-механиков, которым важно видеть поверхности в конструкциях машин различного назначения и в формах сооружений, аппроксимировать сложные поверхности более простыми - аналитическими; выбирать рациональную форму оболочки из нескольких вариантов, учитывая функциональные, технологические и эргономические требования к изделию. Цель работы заключается в исследовании способов образования форм поверхностей. Методом исследования является общая аналитическая теория прикладного формообразования поверхностей, соответствующая современным требованиям применения компьютерных технологий. В работе получены параметрические уравнения циклической поверхности Иоахимсталя, показаны возможности формообразования таких поверхностей, которые рекомендованы для практического использования. На примерах визуализации поверхностей средствами компьютерной графики (программа Maple ) показано применение аналитических моделей, позволяющих оценить конструктивные и эстетические качества оболочки в научных исследованиях, проектировании, изготовлении. Определены пути разработки аналитического аппарата, который позволяет моделировать процесс криволинейного проецирования и образования поверхностей как системы проецирующих лучей, проходящих через заданную проекцию поверхности. Целенаправленный выбор параметрической формы аналитического моделирования поверхностей способствует использованию моделей в системах автоматизированного проектирования, подготовки производства и в современных пакетах компьютерной графики (Компас 3D, Renga , Revit , Ansys , Лира Сапр, Scad и др.).
Загружаем данные из библиотечной системы...
Ключевые слова
+
The growth of the world population forces a more outstanding and more efficient food production, forcing agribusiness into the race for greater productivity. Thus, agrochemicals as a tool for increasing and defending production have become more critical with each harvest. This work presents an ontology that describes the knowledge involved in the need for Agrochemical Pervasive Traceability Model (APTM). This proposed ontology is called ontology for pervasive traceability of agrochemicals (OntoPTA). We present classes and their relationships in a hierarchical way and a visualization from the OWL ontology language. This ontology fills the gap in the understanding and modeling of this type of agribusiness process. This modeling helps farm administrators and software developers to perform better analysis for the development, use and maintenance of systems in agribusiness.
Загружаем данные из библиотечной системы...
Ключевые слова
+
Исследуется возможность применения графовых моделей в проектном управлении для решения задачи формирования проектной группы и распределения работ проекта между потенциальными исполнителями. Выделены возможные направления применения онтологического моделирования в проектном управлении. Средствами редактора онтологий Protégé реализована онтология проекта. Исследуется возможность построения векторных представлений элементов простых графов и графов знаний в задаче формирования проектной группы. Задачи исследования: построение графовых моделей проектов - простого графа и графа знаний; применение векторных представлений вершин и отношений графовых моделей для решения задачи распределения работ проекта. Рассматривается возможность применения мер семантической близости в онтологии. Новизна предложенного подхода заключается в использовании при формировании проектной группы данных об участниках реализованных проектов, что повышает вероятность успешной реализации проекта. Представление элементов графа в виде числовых векторов позволяет применить к исследованию предметной области методы машинного обучения. Приводится пример решения задачи формирования рабочей группы проекта, в котором осуществлён выбор исполнителей проектной работы. Все расчёты осуществлены средствами языка Python .
Загружаем данные из библиотечной системы...
Ключевые слова
+
Описывается применение онтологического подхода к решению задачи генерации событийных данных, поступающих из журналов имитационных экспериментов. В настоящее время в рамках научного направления «Интеллектуальный анализ процессов» развиваются методы и алгоритмы, позволяющие решать задачи машинного обучения применительно к событийным данным. Имитационное моделирование в данном случае может играть важную роль для формирования обучающих выборок. Однако экспериментальные результаты имитации в виде журналов определённой структуры необходимо приводить к виду событийных журналов так, как они понимаются в интеллектуальном анализе процессов. В данной работе приводится постановка задачи формирования онтологического ресурса, позволяющего сформировать журнал событий по результатам имитационных экспериментов с дискретно-событийной моделью, в которой заявки на обработку представлены в виде агентов. Приводится формальное описание онтологии предметной области и алгоритм её доопределения на основе данных журналов имитационной модели. В качестве объекта имитации в работе предлагается рассматривать иерархическую систему принятия решений, в которую поступают задачи различной сложности. Уровень сложности задач является определяющим для выбора уровня иерархии, на котором данную задачу требуется решать. Приводится архитектура разработанной онтологической системы, а также структура понятий с соответствующими семантическими отношениями и наборами экземпляров.
Загружаем данные из библиотечной системы...
Ключевые слова
+
Анализируется проблема многоуровневого управления ресурсами крупных предприятий и связанные с ней ограничения каскадного подхода, реализуемого в современных автоматизированных системах управления. Отмечается, что каскадный подход приводит к задержкам в процессах управления, росту сложности управления и значительным расхождениям между планами на разных уровнях управления, срывам сроков и выходу за бюджеты заказов. Предлагается распределённый подход, который предполагает создание автономных интеллектуальных систем управления ресурсами подразделений, формирующих стратегические планы и ведущих оперативное управление; сетевое сопряжённое взаимодействие указанных систем для согласования и синхронизации планов по событиям, поступающим в реальном времени. Разработан метод создания распределённых автономных систем управления ресурсами предприятий. Показана возможность реализации подхода в рамках цифровой экосистемы на базе сетецентрической платформы с вертикально-горизонтальными взаимодействиями указанных систем. Представлены результаты разработки и внедрения подхода на промышленных предприятиях по проектированию, производству и эксплуатации высокотехнологической продукции, требующей раздельного позаказного планирования и учёта. Обсуждаются перспективы развития подхода для формирования цифровых двойников отраслевых цепочек кооперации предприятий.
Загружаем данные из библиотечной системы...
Ключевые слова
+
This article analyzes the procedures for improving quality management using the example of solving problems of compliance with product quality requirements at industrial enterprises. The quality of the products largely depends on the use of modern methods and tools of quality management, as well as on improving the competence of personnel in the field of quality systems. In this regard, it is proposed to apply the corporate knowledge of the enterprise, including models and algorithms of artificial intelligence. Corporate knowledge is formed on the basis of the formation and processing of documentation, interviewing qualified specialists and intellectual data analysis on the implementation of business processes. During the research, an ontology of quality management was developed, decision-making rules were created and the results of improving the quality management system using a neuro-fuzzy network were predicted. The use of these artificial intelligence tools will make it possible to form a unified terminology to ensure an unambiguous perception of information by all participants in the process and the use of a knowledge base to support decision-making. It is proposed to use quality management tools to improve the efficiency of decisions made by intelligent tools, i.e. production rules and neural networks.
Загружаем данные из библиотечной системы...
Ключевые слова
+
Анализ требований вакансий на рынке труда показывает, что они представляют собой многоуровневые языковые конструкции из нескольких слов со сложными семантическими связями. Целью исследования является разработка метода извлечения коротких текстов знаний и навыков/компетенций из текстов требований, имеющих сложную организационную структуру. Метод состоит в дополнении структуры сложных предложений новыми связями посредством дообученной на текстах онлайн-вакансий нейросетевой модели BERT и перехода от сложного текста к набору простых комбинаций слов. Показан процесс дообучения нейросетевых моделей BERT от лаборатории по искусственному интеллекту Сбербанка на текстах онлайн-вакансий. Реализованы два механизма добавления новых связей между словами требований с учётом знаний из предметной области: линейный и через дополнение дерева синтаксического разбора. Проведён сравнительный анализ для нескольких комбинаций инструментов. Наилучший результат показала комбинация: дообученная модель BERT плюс deeppavlov_syntax_parser плюс линейный способ дополнения связей. Применимость метода проверена на текстовом корпусе требований онлайн-вакансий. Предложенный метод показал более высокую эффективность, чем подход, основанный на правилах, который предполагает использование формальных правил и правил грамматики для анализа естественного языка. Использование метода позволяет оперативно определять ключевые изменения потребностей рынка труда на уровне текстов требований отдельных знаний и навыков/компетенций.
Загружаем данные из библиотечной системы...
Ключевые слова
+
Загружаем данные из библиотечной системы...
+
Загружаем данные из библиотечной системы...
Вверх