Статьи журнала - Онтология проектирования
Все статьи: 556
Стабильность неопределённых задач оптимизации
Статья научная
Рассмотрена задача оптимизации неполностью определённых функций, т.е. функций с параметрами, заданными лишь с точностью до интервала. Дан обзор существующих подходов к решению задач оптимизации неполностью определённых функций с различными видами неопределённости. Описана математическая постановка задачи оптимизации функции с интервальными параметрами и метод ее решения путем сведения к двум задачам оптимизации полностью определённых функций, т.е. функций с точно известным параметрами (метод детерминизации). Показано, что решение проблемы оптимизации неполностью определённых функций требует также рассмотрения задачи определения устойчивости оптимума к варьированию значений параметров функции. В связи с этим введены понятия макроустойчивости и микроустойчивости задачи оптимизации полностью определенной функции. Даны необходимые и достаточные условия макроустойчивости задачи оптимизации полностью определенной функции. Приведен алгоритм проверки макроустойчивости. Дан пример проверки макроустойчивости конкретной задачи с помощью этого алгоритма (задача о назначениях). Приведен также алгоритм проверки микроустойчивости задачи оптимизации полностью определенной функции. Для решения указанных задач используются методы интервальной математики.
Бесплатно
Стратегии интеллекта и его онтологии: попытка разобраться
Статья научная
Автор предлагает вступить в дискуссию по вопросам стратегий развития искусственного интеллекта, технологий и систем искусственного интеллекта. Статья предваряется предисловием в форме послания из инобытия, а завершается послесловием в форме обращения к разработчикам искусственного интеллекта. Мотивом написания статьи явилась принятая в России стратегия развития искусственного интеллекта на период до 2030 года. В статье обсуждаются используемые понятия: интеллект, интеллекты индивидуума и социума, их стратегии, искусственный интеллект, онтологии и объяснимый искусственный интеллект, инобытие как онтология проектирования. Приведены ссылки на обзоры стратегий развития искусственного интеллекта, принятые в ведущих странах мира, анализируются стратегии, принятые в России и США. В российской стратегии отмечается наличие критериальных проблем и не согласованность целей и предложенных показателей, отсутствие онтологий предметных областей при разработке систем искусственного интеллекта. В американской стратегии отмечены: сделанные в ней акценты на понятный, заслуживающий доверие, надёжный и безопасный искусственный интеллект; онтологии и стандарты, принятые и разрабатываемые с целью укрепления лидерства США в создании искусственного интеллекта. В заключении делается вывод о важности и необходимости разработки и применения онтологий при создании объяснимых систем искусственного интеллекта, интегрированных в социум.
Бесплатно
Структура информационного хранилища системы поддержки принятия клинических решений
Статья научная
Рассматривается построение на основе онтологического подхода информационного хранилища системы поддержки принятия клинических решений слабо-формализуемой предметной области лечения бронхолёгочных заболеваний. Приведён обзор подходов к созданию баз знаний в этой предметной области. Описан метод извлечения знаний, основанный на правилах из клинических рекомендаций и поиске зависимостей между словами в предложениях с учётом последовательности применения правил. Информационное хранилище системы поддержки принятия клинических решений наполняется онтологической и продукционной базами знаний при помощи предложенного метода извлечения знаний. Разработана онтология выбранной предметной области, проведены исследования её качества на основе анализа топологии графа при помощи метрик когнитивной эргономичности. Показана эффективность описанного метода извлечения знаний. Разработана оригинальная архитектура системы поддержки принятия клинических решений.
Бесплатно
Структура методологии комплексной деятельности
Статья научная
Работа посвящена изложению концепции методологии комплексной деятельности, развивающей общую методологию на случай любой сложной (имеющей нетривиальную многоуровневую внутреннюю структуру) человеческой деятельности. Рассматриваются структурные элементы комплексной деятельности, конструктивно описываются её логическая, причинно-следственная и процессная структуры. Значительное внимание уделяется организации и управлению, неопределённости, а также жизненным циклам деятельности, её субъектов, предметов, ресурсов, знаний и технологий. Использование системы согласованных формальных моделей обеспечивает практическую применимость результатов как специалистами-практиками, так и учёными, занимающимися исследованиями общих принципов организации деятельности (практической, научной и др.) и управления организационно-техническими системами. Впервые предложен формализм описания сложной деятельности вместе с субъектом - организационно-технической системой. Разработаны формальные модели организации и управления как комплексной деятельности.
Бесплатно
Тематическое дешифрирование аэроснимков лесных территорий на основе концептуального моделирования
Статья научная
Дистанционное зондирование Земли является одним из главных источников информации о земной поверхности. С развитием беспилотных летательных аппаратов появилась возможность делать аэроснимки с высоким пространственным разрешением, по которым можно более точно идентифицировать объекты. Цель исследования - повышение достоверности интерпретации аэроснимков за счёт разработки методики автоматизированной обработки снимков на основе концептуального моделирования. Анализ методов тематического дешифрирования снимков показал, что ни один из них не обеспечивает необходимое качество сегментации без дополнительной настройки под предметную область. Применена методика концептуального моделирования предметных задач, которая обеспечивает адекватность синтаксических представлений (в т.ч. различных изображений), позволяет контролировать логику решения задач и уменьшить количество ошибок на этапе её программной реализации. Приведено описание информационной системы тематического дешифрирования снимков, реализующей разработанную методику. Проведена оценка достоверности тематического дешифрирования снимков лесных территорий. Показано, что разработанная методика позволила улучшить идентификацию лесных объектов на аэроснимках на 18,6%. Развитие данной методики может выполняться для определения характеристик идентифицируемых деревьев: возраст, порода, высота, запас древесины.
Бесплатно
Тенденции и состояние в области управления справочными данными в машиностроении
Статья научная
В статье рассмотрены принципы построения централизованных систем управления корпоративной справочной информацией в машиностроении. Использование семантических моделей данных в этих системах - Master Data Management (MDM), сделает их эффективными в работе с инженерными данными, а интеграция семантической MDM и САПР позволит создать новый класс конкурентоспособных интеллектуальных программных комплексов. В качестве примера реализации новых тенденций представлено краткое описание функциональных возможностей системы управления справочными данными Semantic, адаптированной к условиям отечественного машиностроения и интегрированной с продуктами компании Autodesk - мирового лидера в области САПР.
Бесплатно
Статья научная
Представлена концепция оболочки для интерактивных систем верификации интуитивных мате-матических доказательств и рассмотрены средства спецификации формальных систем, которые могут быть положены в основу такой оболочки: языки описания порождающих графовых и текстовых грамматик, а также язык описания контекстных условий, позволяющие задавать контекстно-зависимые графовые грамматики с конкретным синтаксисом. С использованием этих средств специфицировано ядро формально-логической системы, приближенной к математической практике конструирования доказательств. Описана модель онтологии для представления баз формализованных математических знаний и способов рассуждений, включающая спецификацию сетевой структуры различных разделов математики, а также спецификации порождающих графовых грамматик, описывающих абстрактный синтаксис языков представления математических утверждений (знаний) и способов рассуждений. Определены контекстные условия этих языков. Рассмотрена общая синтаксическая структура полных доказательств и разработанная на её основе модель онтологии полных доказательств. В работе используется подход, основанный на контекстно-зависимых грамматиках и онтологиях, состоящий в разработке явно представленной декларативной спецификации языка представления математических знаний и способов рассуждений (языка математического диалекта), а также модели доказательства. Принципиальная особенность языка состоит в его расширяемости, которая обеспечивается за счёт расширяемости множества определений, позволяющих вводить новые термины для обозначения определяемых понятий и расширяемости его грамматики. Расширяемость грамматики достигается благодаря средствам, позволяющим описать синтаксис каждой новой конструкции языка представления математических утверждений, а также контекстные условия.
Бесплатно
Технология генерации онтологии базы данных с помощью онтологического толкового словаря
Статья научная
В статье рассматриваются возможности использования ранее созданных реляционных баз данных для формирования онтологии предметной области с целью её применения при построении интерфейсов, ос- нованных на знаниях. Разрабатываемая онтология предметной области включает концепты, описываю- щие свойства, предметы, отношения, процессы, ситуации, сюжеты. За основу сценария построения онто- логии предлагается взять отображение реляционной базы данных с использованием известных алгорит- мов получения RDF-дампа базы данных и автоматизированного метода извлечения знаний об отношени- ях между понятиями на основе анализа схемы базы данных с использованием онтологического толкового словаря. Приводится описание базового набора инструментов интерфейса менеджера, и даются примеры применения инструментария.
Бесплатно
Статья научная
В статье приводятся постановки и предлагаемая технология решения широкого круга задач совместной оптимизации по комплексным критериям эффективности проектных разработок и режимов функционирования сложноструктурированных бесконечномерных детерминированных и не полностью определённых систем с распределёнными параметрами применительно к их описанию операторными уравнениями достаточно общего вида с соответствующими начальными и краевыми условиями. В качестве базовой рассматривается детерминированная задача оптимального проектирования программных управлений режимами функционирования распределённой системы с полным объёмом информации о характеристиках объекта. Предлагаемый метод её решения последовательно распространяется на задачи оптимизации проектных разработок в условиях априори фиксируемых внешних воздействий на объект; на комплексную проблему совместной оптимизации и далее на типичные ситуации оптимального проектирования распределённой системы в условиях интервальной неопределённости её параметрических характеристик и внешних возмущений. Развиваемый подход использует предварительную процедуру параметризации искомых решений, опирающуюся на известные аналитические условия оптимальности; последующую операцию точной редукции к специальным задачам математического программирования; альтернансные свойства их экстремалей, подобные известным результатам теории нелинейных чебышёвских приближений, и фундаментальные закономерности предметной области. Приводится представляющий самостоятельный интерес пример применения полученных результатов общего характера к задаче оптимального проектирования промышленного объекта технологической теплофизики производственного назначения. Предлагаемая интерпретация проблемы оптимального проектирования систем с распределёнными параметрами в виде комплексной задачи совместного поиска соответствующих компонентов векторных пространственно-временных управляющих воздействий и обобщенная на достаточно широкий круг подобных задач технология разработки на этой основе программных стратегий принятия решений являются новыми.
Бесплатно
Статья научная
Доступ к данным на основе онтологий - один из известных подходов к построению систем, основанных на знаниях. Он подразумевает комбинирование онтологии, представляющей понятийную систему предметной области, и реляционной базы данных, используемой для хранения данных, соответствующих заданным в онтологии понятиям. При этом онтология используется в качестве основы для формирования пользовательских запросов, а база данных - для получения результатов их выполнения. В статье предложена технология повышения производительности выполнения запросов к таким системам за счёт предварительной подготовки базы данных с учётом того, что применяемая онтология разработана с использованием онтологических паттернов содержания. Данные паттерны представляют собой небольшие целостные фрагменты онтологии, формализующие обобщённые ситуации предметной области (например, участие в событии, исполнении роли, наличие частей у объекта и др.). Новизну данной технологии определяет возможность ее применения для целого класса онтологий, основанных на онтологических паттернах. Рассматривается общий принцип работы системы с доступом к данным на основе онтологий. Приведено описание предлагаемой технологии, а также её реализация на примере конкретной онтологии и экспериментальная оценка полученных результатов.
Бесплатно
Статья научная
Рассмотрены особенности разработки мобильных приложений для людей с ограниченными интеллектуальными возможностями. Предложена технология разработки адаптируемых мобильных приложений для пользователей с ограниченными интеллектуальными возможностями, основанная на применении шаблонной многомодульной архитектуры с возможностью выбора готовых функциональных решений из хранилища модулей. Описан способ разработки адаптируемого интерфейса мобильного приложения, включающий создание шаблонов экранов, на которых размещаются элементы интерфейса, разделение элементов шаблонов на обязательные и опциональные и сопоставление каждому элементу наборов возможных изображений. Предложен способ адаптации интерфейса с помощью конфигурационной панели, обеспечивающий возможность настройки интерфейса под каждого пользователя без изменения программного кода. Описана веб-система, обеспечивающая поддержку этапов создания и эксплуатации мобильных приложений с адаптируемым интерфейсом. Приведены примеры мобильных приложений для пользователей с ограниченными интеллектуальными возможностями. Описание проектных и технологических решений, разработанных в рамках предложенного подхода, представлено в виде онтологической модели, использование которой позволяет извлекать знания для создания приложений, доступных людям с ограниченными интеллектуальными возможностями.
Бесплатно
Статья научная
Рассматривается новая проектная парадигма, направленная на существенное сокращение времени разработки продукции и оптимизацию ее характеристик. На основе онтологического анализа предметной области и решаемых задач обсуждаются ключевые термины и основные направления совершенствования процесса проектирования сложной наукоемкой техники. Изложение иллюстрируется примерами из самолетостроения.
Бесплатно
Трансформация онтологии образования: от классно-урочной системы к смарт-инновациям
Статья научная
Мир в 21-ом веке изменяется как материально, так и ментально. Производственные отношения в образовании уже не соответствуют развитию производительных сил «умных» технологий. Цель статьи - анализ социальных и дидактических аспектов современных и перспективных тенденций в сфере образования с точки зрения его развития от онтологических традиций классно-урочной системы к онтологии инноваций смарт-образования. Рассмотрены основные факторы и потребности, ведущие к инновационным изменениям в системе образования: адекватность технологий, используемых в экономике, в повседневной жизни людей и в образовании; доступность и комфортность процессов получения образования; необходимость перехода от стандартов содержания образования к его вариативности при сохранении базовой подготовки; отказ от классов, жёсткого расписания, «страшилок» экзаменов и строгих ограничений сроков обучения; уход от многопредметности; главенствующая роль обучающегося; появление и развитие новых функций преподавателя; индивидуализация и персонификация обучения с использованием искусственного интеллекта. Показано, что совокупность современных и перспективных инноваций, обусловленных социальными потребностями и технологическими факторами, ведёт к эволюции системы образования от концептов традиционной классно-урочной системы не только к смарт-инструментам учебной деятельности, повышающим качество учебного процесса, но и к новой перспективной образовательной парадигме смарт-образования.
Бесплатно
Статья научная
Предпочтение англоязычным публикациям сказалось на качестве современной русской научной терминологии. На примере одной из монографий показана потеря взаимосвязи между основными понятиями технической диагностики, следующая из их определений. К причинам такого положения следует отнести: пренебрежение основополагающими отечественными стандартами в области надёжности и диагностики, заимствование иностранных определений без учёта особенностей национального языка, утерю образного восприятия терминов и отсутствие научного подхода к формированию определений понятий. На основе определений понятий, сформулированных в основополагающих отечественных стандартах, устанавливаются связи между отказом, ошибкой, дефектом и неисправностью, иллюстрируемые наглядной структурно-функциональной моделью диагностирования вычислительной системы. Для улучшения познавательной функции понятий предлагается использовать системный подход и собственные свойства модели (функция, структура, операция). С их применением выполнен критический анализ определения понятия «тестирование», предложено определение этого понятия, удовлетворяющее системным требованиям.
Бесплатно
Умный город как сложная адаптивная система
Статья научная
В городской среде стремительное развитие политической, социальной и экономической сфер ставят перед лицом общественности новые задачи, актуальным решением которых является переход от традиционных методов управления городским пространством к Умному городу. При этом, необходимо переосмысление ключевых элементов данной концепции. В работе предложено обновлённое определение Умного города. Дан анализ проблем развития городских агломераций, связанных с повсеместным использованием сложной системы Интернет-экономики, и описано их практическое решение - разработка городских пространств как сложных адаптивных систем, способных предоставлять в реальном времени услуги горожанам и приезжим в зависимости от уровня сложности задачи. Авторы выступают за применение инновационного подхода, который обеспечивает минимальное количество вмешательств в работу городских служб. Концепция синхронной разработки и внедрения мультиагентных систем планирования сервисов в реальном времени и онтологии Умного города, описанные в статье, позволят обеспечить необходимые изменения за счёт параллельной работы географически распределённых проектных групп.
Бесплатно
