Статьи журнала - Онтология проектирования
Все статьи: 607
Концепция поддержки лазерного аддитивного производства на основе онтологического подхода
Статья научная
Предложена общая концепция программно-информационной поддержки лазерного аддитивного производства металлических изделий из порошковых композиций. В её основу положен онтологический двухуровневый подход к формированию знаний о процессах лазерного аддитивного производства. При таком подходе онтология явно отделена от базы знаний, и профильные специалисты могут самостоятельно формировать и развивать знания в понятном для них концептуальном представлении. Предложена общая архитектура, описан состав и назначение информационных и программных компонентов комплекса поддержки принятия решений в процессах лазерного аддитивного производства. К информационным компонентам относятся онтологии, базы данных, содержащие информацию о компонентах систем лазерного аддитивного производства и материалах для аддитивного производства, а также база знаний и база прецедентов. В базе знаний содержится формализованная информация о настройках режимов лазерного аддитивного производства, обеспечивающих соответствие получаемых металлических деталей требованиям действующих нормативных документов отрасли. База прецедентов содержит структурированное описание протоколов использования лазерных технологических комплексов для аддитивного производства металлических изделий из металлопорошковых композиций. К программным компонентам относятся редакторы для формирования и сопровождения баз данных и базы знаний, система поддержки принятия решений, основанная как на знаниях, так и на прецедентах, а также средство структуризации базы прецедентов. Для моделирования физико-химических процессов используются соответствующие внешние программные средства. При принятии решений используется гибридный подход, объединяющий методы инженерии знаний и поиска по аналогии на основе прецедентов. Особенностью подхода является непрерывное обновление базы знаний за счёт её совершенствования экспертами и верификации в процессе накопления прецедентов.
Бесплатно
Статья научная
Эффективное управление процессом обучения программ дополнительного профессионального образования в университете обусловлено обеспечением уникальных потребностей обучающихся согласно запросам предприятий-работодателей реального сектора экономики в соответствии с выбранными компетенциями и направлениями подготовки. В ряде задач управления, алгоритм решения которых неизвестнен, активно разрабатываются и внедряются системы с использованием искусственных нейронных сетей, позволяющие классифицировать и анализировать данные для принятия управленческих решений. Широкое применение искусственных нейронных сетей приводит к необходимости систематизации данных с целью повышения производительности процессов обработки, хранения, поиска и анализа данных для реализации программ обучения на всех этапах их жизненного цикла. Разрабатываемый программно-аналитический комплекс представлен на примере модели интеллектуальной системы, применяемой для контроля и анализа получаемых компетенций обучающихся, построенной на основе онтологического подхода, модели непрерывного улучшения качества, позволяющей определить взаимодействие бизнес-процессов, их последовательность и контрольные показатели эффективности. Разработана схема узла нейронной сети программно-аналитического комплекса, способная к обучению на основе данных. Представленная схема узла нейронной сети предполагает применение алгоритма обучения с учителем, когда на вход поступает тренировочный набор данных.
Бесплатно
Кросс-технологии ситуационного центра - когнитивная инфраструктура проектирования
Статья научная
Рассматривается организация коллективной деятельности в ситуационном центре. Отмечено недостаточное использование научного потенциала. Ресурсы ситуационного центра дополнены сервисной командой, включающей координатора, методолога, игротехника и планшетиста. Как компонент технологии рассматривается прототипирование по правилу: «Наиболее простой вариант системы, включающий наиболее сложный элемент». Кросс-технологии рассматриваются как вариант комплексного использования потенциала различных информационных ресурсов. Приведен пример проекта использования ситуационного центра для борьбы с терроризмом. Отмечена целесообразность рефлексивного мониторинга терминологии. Подчёркнута необходимость фиксации субъекта, который является конечной инстанцией в интерпретации терминов и результатов работы. Приведены сведения о математических моделях субъектов с рефлексией, которые могут быть полезны при оценке потребительских свойств проектируемых изделий. Даны ссылки на интернет-ресурсы с публикациями по предложенному подходу.
Бесплатно
Логика экоустойчивой архитектуры
Статья научная
В статье рассмотрены вопросы онтологической сущности экологически устойчивой архитектуры, которая опирается на концепцию устойчивого развития ООН и холистическое, целостное видение мира. Автор интерпретирует понятие «целостность», которое Хайдеггер раскрывает через анализ существа техники в своих работах, используя онтологический метод, выявляющий мысль в виде необходимости. Автор рассматривает понятие «среда», которая является сущностной необходимостью для экоустойчивой архитектуры, её определяющим началом. Выделено шесть разных моделей конкретной среды, которые обусловливают соответствующие задачи, выбор научного или эстетического подхода в проектировании, материалы и технологии, предопределяют образ зданий. Эта среда, а именно - глобальный мир, природное окружение, социальная, метафорическая, медицинская, культурная - определяет соответствующую логику проектирования. Предложен новый онтологический подход к рассмотрению связей и отношений экоустойчивой архитектуры в единстве её логик.
Бесплатно
Логики с векторной семантикой как средство верификации баз знаний
Статья научная
Обсуждаются общие вопросы автоматизированного поиска артефактов в продукционных базах знаний на основе логик с векторной семантикой в варианте V TF-логик. Рассматриваются случаи ложности антецедента продукции при всех допустимых значениях истинности входных посылок, наличие нигде не используемых терминов и генерирование неопределённых значений истинности, появление противоречий. Алгоритмизация рассматривается как организация прямого присоединённого логического вывода, вскрывающего артефакты баз знаний. Первые два случая выявляются подсчётом числа срабатываний каждой продукции и выявлением терминов, не привязанных к продукциям. Противоречие обнаруживается выводом с проверкой истинности заключений-гипотез. Наличие заключения с истинностью á1; 1ñ (полное противоречие) сигнализирует о противоречии на одном из этапов рассуждений, который устанавливается обратной трассировкой логической цепочки. Необходимым этапом вывода является объединение свидетельств с использованием 11-композиции (второй формы дизъюнкции в многозначной V TF-логике). Приведены: принцип расчёта истинности заключения на основе истинности посылок, стратегии объединения свидетельств, числовые меры, которые могут использоваться в ходе вывода.
Бесплатно
Логико-онтологическое моделирование управления рисками грузового порта
Статья научная
Предприятия любой сферы, в том числе в транспортно-логистическом секторе, сталкиваются с необходимостью получения конкурентного преимущества за счёт применения инновационных методов управления. К ним можно отнести комплексное использование методов управления организационными системами наряду с применением прогрессивных средств и технологий. Особое внимание уделяется управлению рисками с целью недопущений нежелательных ситуаций. В данной работе впервые представлено описание логико-онтологической модели комплексного применения многоуровневого целеполагания на основе сбалансированной системы показателей и логико-вероятностного моделирования для поддержки принятия решений по управлению рисками грузового порта. В качестве рисков рассматриваются ситуации недостижения целей деятельности грузового порта, включая недостижения нормативных значений показателей. Комплексное использование технологий сбалансированной системы показателей и логико-вероятностного моделирования позволило построить общую концепцию многоуровневого целеполагания. Её основное преимущество заключается в детальной проработке целей компании, подчинённых основной стратегической цели. Это позволяет оказывать влияние на операционные события и получать положительный результат в тактическом и стратегическом планах. Онтологическая модель содержит всю информацию о взаимодействии элементов, влияющих на наступление рисковых событий, и позволяет осуществлять выборку вариантов выхода из рисковой ситуации в соответствии с заданными условиями. Результаты запросов к риск-ориентированной онтологической модели являются вариантами управленческих решений, направленных на снижение рисков в работе грузового порта.
Бесплатно
Логико-системные последовательности в научных проектах
Статья научная
Статья посвящена исследованию логических методов при выполнении научных проектов. Раскрывается логическая схема научного проекта. Основой логического анализа является язык исчисления высказываний и язык предикатов. В результате исследования исходное информационное множество преобразуется в структурированную систему знаний. Логический анализ определяет область истинности системы знаний. Логико-системные исследования формируют структуру системы знаний. Системный подход выделяет другую часть множества, которую согласно Нариньяни можно назвать «не система». Информация, входящая в «не систему», подразделяется на «антагонизм» и неопределённость. Научное исследование имеет два направления исследований: «в глубину» и «в ширину». Направление «в глубину» направлено на достижение цели от начальной позиции исследований до конечной. Направление «в ширину» направлено на расширение исследований на каждом этапе безотносительно к конечной цели. Эти направления реализуются путём выявления и использования парадигматических и синтагматических отношений. В научном исследовании всегда возникает задача нахождения компромисса между углублением исследования и мерой его расширения. Парадигматические отношения служат основой построения семантического пространства области исследования. Семантическое пространство научного исследования содержит совокупность категорий и связей между ними, описывающих содержание области научных исследований. Его можно рассматривать как семантический кластер. Новизной следует считать введение понятия логико-системная последовательность и метод формирования такой последовательности. Логико системные последовательности связывают функциональный анализ, системный анализ и логику. Они служат основой формирования системы знаний.
Бесплатно
МП-целостность при проектировании реляционных моделей баз данных
Статья научная
Обсуждается особый вид целостности в базах данных – целостность «множественности предка» (МП-целостность), понятие которого было введено авторами на концептуально-онтологическом уровне применительно к моделям «сущность–связь». В данной статье это понятие распространяется на реляционную модель с целью практического применения при создании баз данных. Рассматриваются связанные с этим видом целостности понятия: линия восходящего родства, отношение и ограничение множественности предка. Для перехода к реляционной модели требуется учѐт также первичных и внешних ключей, ссылочной целостности, табличных триггеров. В качестве универсального средства обеспечения целостности в реляционной среде предлагается подход на основе применения триггеров базы данных. Триггеры обнаруживают и блокируют операции вставки и обновления строк в таблицах, которые ведут к нарушению целостности. Отмечается необходимость процедурного программирования триггеров, а также сложность переноса данных между системами баз данных разного вида из-за различий языков процедурного программирования. Предлагается подход на основе использования возможностей поддержания ссылочной целостности. В этом случае целостность множественности предка обеспечивается как часть ссылочной целостности. Конкретное решение зависит от использования простых/составных, натуральных/суррогатных ключей, а также от технических ограничений среды реализации базы данных. Может потребоваться введение избыточных компонентов в состав ключей для отслеживания экземпляра предка вдоль линий восходящего родства. Приведены тестовые примеры реляционных моделей в различных реляционных средах (полностью – в MySQL и MariaDB, и частично в PostgreSQL, MS SQL Server, Oracle Database).
Бесплатно
Математические модели онтологии базы знаний информационной обучающей системы
Статья научная
Исследована система знаний эксперта и построена онтология базы знаний информационной обучающей системы. Обосновано применение методологии нечеткого моделирования при формальном описании выделенных классов онтологии. Построены математические модели представления знаний эксперта в реляционной базе данных информационной обучающей системы. Программная реализация описанных в статье математических моделей позволит определить представление учебной дисциплины в наглядном и обозримом виде с учетом качественных характеристик учебного материала, отразить в обучающей системе личный профессиональный опыт преподавателя и, тем самым, повысить качество автоматизированного обучения.
Бесплатно
Математические основы онтологии проектирования бинарных систем обработки информации
Статья научная
В статье рассматриваются теоретические предпосылки для достижения булевской функциональной полноты простейших гетерогенных и гомогенных бинарных функциональных блоков и систем из них, предназначенных для логической обработки информации. Информация в таких системах может быть представлена различными (разнородными) физическими параметрами, кодирующими разные состояния физических объектов. Анализируются простейшие типы функциональных зависимостей выходных сигналов (параметров) таких блоков от входных, обеспечивающие полноценную логическую обработку. Рассматриваются схемы типовых устройств и систем, гарантирующих подобную обработку. Показано, что гомогенные и гетерогенные бинарные системы обработки информации могут быть построены на основе общей (универсальной) базовой онтологии, рассматривающей любые физические объекты как функциональные, преобразующие один набор некоторых физических параметров (физических свойств в самом широком смысле) в другой.
Бесплатно
Статья научная
Рассматривается численное моделирование тепловых процессов при 3 D -печати с использованием технологии селективного лазерного плавления на основе машинного обучения. Построена математическая модель нестационарного теплопереноса в стержне переменного сечения в виде дифференциального уравнения в частных производных относительно температуры стержня. Предложен алгоритм численного решения уравнения с использованием системы Matlab . Показано, что при определённых исходных данных распределение температуры носит квазистационарный характер. Для данного случая получено простое аналитическое выражение для температурного поля. С использованием библиотеки TensorFlow построена и обучена нейросеть. Данные для обучения нейросети получены при помощи аналитического решения тепловой задачи. Результаты расчётов с использованием нейросети соответствуют результатам решения исходной математической модели. Отмечается, что трёхмерное моделирование процесса печати для реальных изделий требует значительных компьютерных ресурсов. Показано, что модели на основе машинного обучения могут быть использованы для аппроксимации температурного поля при 3 D -печати по технологии селективного лазерного плавления подобных по форме деталей.
Бесплатно
Математическое моделирование формирования учебных планов на основе онтологии. Часть 1
Статья научная
Предлагается математическая модель оптимального формирования учебного плана на основе решения задачи многокритериальной оптимизации. В сочетании с ранее разработанной онтологией образовательного процесса она позволяет предложить информационную технологию индивидуализированного формирования в вузах учебных планов подготовки специалистов разного уровня.
Бесплатно
Метаонтология исследовательского проектирования морских динамических объектов
Статья научная
Обсуждаются вопросы модификации онтологии и метаонтологии в динамической структуре ин- теллектуальной системы исследовательского проектирования морских судов и технических средств освоения океана. Информационная модель обеспечивает построение онтологии мореход- ных качеств в сложных динамических средах, обусловленных нелинейным взаимодействием ис- следуемых объектов с ветроволновыми возмущениями. Структура волнового поля задана в виде климатических спектров морского волнения. Взаимосвязь между онтологиями информационной модели представляется в виде дерева решений. Формальная модель и иерархическая структура онтологии рассмотрены в рамках парадигмы обработки информации в мультипроцессорной вы- числительной среде. Приведен фрагмент семантической сети, определяющей онтологию функ- циональных элементов базы знаний и реализующей динамическую структуру знаний при анализе экстремальных ситуаций, возникающих в практике эксплуатации морских динамических объек- тов. Особое внимание обращается на формализацию предметной области при решении проблемы мореходности в условиях неопределенности и неполноты исходной информации.
Бесплатно
