Статьи журнала - Онтология проектирования

Все статьи: 495

Реализация оболочки и портала знаний по верификации математических доказательств на платформе IACPAAS

Реализация оболочки и портала знаний по верификации математических доказательств на платформе IACPAAS

Клещв А.С., Тимченко В.А.

Статья научная

Представлена концептуальная архитектура оболочки для интерактивных систем верификации математических доказательств и создаваемого с её помощью развиваемого тематического портала знаний. Описан процесс реализации всех программных и информационных компонентов оболочки на облачной платформе IACPaaS с использованием предоставляемых ею технологий и инструментальных средств их поддержки. Рассмотрен процесс разработки начального состояния портала знаний по верификации математических доказательств с использованием средств оболочки, способ использования портала знаний заинтересованными членами математического сообщества, а также механизмы изменения состояния портала его администратором. В состав начального состояния портала знаний входят: модель онтологии базы математических знаний, включающая спецификацию начального состояния языка представления математических знаний, редактор модели онтологии базы математических знаний, редактор базы математических знаний, редактор базы способов рассуждений, решатель задач оболочки, реализующий процесс конструирования доказательств в терминах модели онтологии доказательств. Также в состав начального состояния портала знаний входят начальное состояние базы математических знаний и начальное состояние базы способов рассуждений. Развитие портала знаний осуществляется по названным информационным компонентам. В этом процессе могут принимать участие все заинтересованные члены математического сообщества с помощью системы личных кабинетов платформы IACPaaS, в которых каждый пользователь может независимо развивать свою персональную копию текущего состояния общего портала знаний. Передача новых результатов в общий портал контролируется его администратором.

Бесплатно

Рекомендуемые издания

Рекомендуемые издания

Другой

Бесплатно

Рекомендуемые издания

Рекомендуемые издания

Другой

Бесплатно

Рекомендуемые издания

Рекомендуемые издания

Другой

Бесплатно

Рекомендуемые издания

Рекомендуемые издания

Другой

Бесплатно

Рекомендуемые издания

Рекомендуемые издания

Другой

Бесплатно

Рекомендуемые издания

Рекомендуемые издания

Другой

Бесплатно

Рекомендуемые издания

Рекомендуемые издания

Другой

Бесплатно

Рекомендуемые книги

Рекомендуемые книги

Другой

Бесплатно

Репозитории онтологии как средство повторного использования знаний для распознавания информационных объектов

Репозитории онтологии как средство повторного использования знаний для распознавания информационных объектов

Гладун А.Я., Рогушина Ю.В.

Статья научная

Представлен анализ репозиториев онтологии - средств эффективного хранения и поиска онтологии или их компонентов, обеспечивающих их повторное использование в интеллектуальных информационных системах для решения задач распознавания информационных объектов в распределенной среде. Сформулированы требования к концептуальной структуре репозитория онтологии. Проанализированы направления интеграции семантических поисковых систем с репозиториями онтологии для описания предметной области поиска и требования, предоставляемые поисковыми системами к стандартам онтологических метаданных и формам их представления. Практическое использование репозиториев обеспечивает пользователей поисковых систем онтологиями, наиболее пригодными для решения стоящих перед ними задач (как с точки зрения релевантности, так и с точки зрения качества), а также позволяет выполнять задачу распознавания различных типов информационных объектов, которые обнаруживает поисковая система.

Бесплатно

Робот-проектант: на пути к реальности

Робот-проектант: на пути к реальности

Боргест Н.М., Власов С.А., Громов аЛ.А., Громов аН.А., Коровин М.Д., Шустова Д.В.

Статья научная

Со времени выхода статьи «Робот-проектант: фантазия и реальность», опубликованной в журнале «Онтология проектирования» №4(6) в 2012 году, прошло ровно три года. В данной статье представлены новые результаты исследований, выполненных в Самарском государственном аэрокосмическом университете имени С.П. Королева, в области автоматизации предварительного проектирования самолета. Основное внимание уделено формализации знаний, проектных процедур и операций в выбранной предметной области, семантическому и математическому моделированию. В качестве семантической основы будущей информационной системы (интеллектуального помощника проектанта) выступает тезаурус предметной области, который является интегратором всех баз данных, знаний, процедур и сценариев проектирования. Существенным развитием в формализации проектных работ является математическое моделирование - симбиоз параметризованных геометрических 3D моделей, статистических и конечно-элементных моделей при оценке аэродинамических нагрузок, прочности и масс конструкции. Особое место в создании робота-проектанта занимает интерфейс, который должен обеспечить конструктора всей необходимой информацией для принятия окончательных решений и «объяснить» при необходимости «свои» рекомендуемые решения. Созданный прототип робота-проектанта в виде демонстрационного образца в сложной, высокотехнологичной и наукоёмкой области позволяет надеяться в будущем на реализацию автоматического проектирования простых конструкций и сокращение времени проектирования традиционных схем артефактов.

Бесплатно

Робот-проектант: фантазия и реальность

Робот-проектант: фантазия и реальность

Боргест Н.М., Громов А.А., Морено Р.Х., Коровин М.Д., Шустова Д.В., Одинцова С.А., Князихина Ю.Е.

Статья научная

Концепция создания автоматизированных систем проектирования (САПР) на основе технологии искусственного интеллекта (ИИ) активно разрабатывалась в конце 80-х начале 90-х на кафедре конструкции и проектирования летательных аппаратов Куйбышевского авиационного института имени академика СП. Королева (ныне СГАУ), получив в то время высокую оценку специалистов (см. например, «От редакции» в журнале «Онтология проектирования» № 2, 2012). Результаты этих работ были опубликованы в работе Боргеста Н.М. «Автоматизация предварительного проектирования самолета» в 1992 году. К сожалению, произошедшие в стране перемены приостановили эти исследования, которые возобновились лишь с открытием на кафедре новой специальности («Автоматизированное управление жизненным циклом продукции») и постановки соответствующих дисциплин (в том числе «Онтология производственной сферы», а также «Онтология проектирования» для магистров по направлению «Авиастроение»). В статье представлен современный взгляд на возможность создания автоматических проектантов и приведены полученные авторами результаты по реализации подобных систем на примере предварительного проектирования самолета.

Бесплатно

Роль художественного сознания в моделировании наблюдаемого и мыслимого пространства

Роль художественного сознания в моделировании наблюдаемого и мыслимого пространства

Бондаренко А.И.

Статья научная

В статье поднимается проблема целеполагания в деятельности художественного сознания, соотношения различных форм живой и неживой субстанций, случайного и закономерного, хаотичного и гармоничного в развитии материи. Рассматривается концепция «событие человечества и антропный принцип», ставится проблемный вопрос об основных направлениях деятельности сознания. Дается характеристика живой субстанции и сознания, как одной из ее форм, обладающей возможностью ценностно-смысловой оценки мира и создания единого гармоничного пространства, также раскрывается понятие времени как фактора энергетического развития материи.

Бесплатно

Самоорганизующиеся сетевые экспертные среды в системах с эндогенным принципом целеуказания

Самоорганизующиеся сетевые экспертные среды в системах с эндогенным принципом целеуказания

Виноградов Г.П., Виноградова Н.Г.

Статья научная

В статье обсуждается проблема построения модели функционирования социально-экономической системы, использующей механизмы информационного взаимодействия её участников. Центральным моментом такого взаимодействия является формирование согласованных представлений о целях, ограничениях, потребностях, возможностях и направлениях развития. Модель позволяет не только определить заказчиков и потребителей товаров и услуг, требования к объёмам и показателям качества, но и формировать их представления о собственных потребностях. Это позволяет считать, что механизмы формирования согласованных представлений и способов действия участников системы являются более эффективными, чем, например, рыночные или командно-иерархические. Показано, что наиболее перспективной формой информационного взаимодействия при решении задач поиска, производства нового знания и определения направления его использования становятся саморазвивающиеся сетевые экспертные среды. Элементарной частью такой среды является эксперт-профессионал, владеющий современными телекоммуникационными технологиями. Интеграция в сетевой структуре естественных интеллектов образует коллективный стратегический субъект, который является средством синергии знаний и действий в процессе развития. Рассматривается проблема построения самоорганизующихся сетевых экспертных сред для обеспечения инновационного развития производств, выпускающих высокотехнологичную, наукоёмкую продукцию и услуги.

Бесплатно

Саморганизация в социальных системах

Саморганизация в социальных системах

Ржевский Г.А.

Статья научная

Сложность современного основанного на Интернете глобального рынка в последнее время достигла такого уровня, что традиционные командные методы управления бизнесом начинают испытывать трудности при столкновении с часто возникающими проблемами, вызванными динамикой рынка. Альтернативой традиционным методам управления является создание адаптивных бизнес-процессов, способных к самоорганизации, что позволило бы оперативно реагировать на возникающие проблемы и решать их последствия до появления следующих проблем. Такие бизнес процессы являются сложными и, следовательно, характеризуются такими качествами как «вспыхивающий» интеллект, спонтанное творчество и стихийное лидерство. Представлен практический подход к проектированию самоорганизующихся бизнес-систем, основанный на опыте автора.

Бесплатно

Журнал