Научная деятельность


Госбюджет:

Тема 5. Информационные и инструментальные системы обработки и анализа данных и знаний, моделирования природных процессов (2018-2020 гг.)

Содержание работы: Модель и методы реализации инструментального средства для поддержки коллективного проектирования интеллектуальных сервисов на платформе IASPaaS, основанные на декларативном представлении модели коллективной разработки.Сервис по диагностике острых заболеваний на основе онтологического подхода и база знаний по восстановительной терапии (для некоторых заболеваний) на облачной платформе IASPaaS.


Гранты РФФИ:

Проект 19-07-00244 - Средства языковой поддержки разработки жизнеспособных систем с базами знаний  (2019-2021), руководитель проекта: Грибова В.В.
Цели работы: Разработка моделей, методов и программных реализаций, основанных на языковом подходе к формированию и сопровождению всех компонентов систем с базами знаний (СБЗ) и направленных на обеспечение жизнеспособности данного класса ПС.
Ожидаемые в 2019 году результаты: поддержка разработки и сопровождения баз знаний СБЗ, ориентированных на экспертов предметной области; разработка методов создания и сопровождения прозрачных решателей задач СБЗ; разработка адаптивных мультимодальных пользовательских интерфейсов СБЗ и редакторов БЗ; разработка методов и инструментальных средств создания СБЗ, обеспечивающих согласованность и целостность архитектурных компонентов СБЗ.

Проект 18-07-01079 - Облачные технологии коллективной разработки сложных и  эволюционирующих основанных на знаниях систем поддержки принятия решений (2018-2020), руководитель проекта: Шалфеева Е.А.
Цели работы: Разработка моделей, методов, инструментальных средств для поддержки всех этапов коллективного накопления и развития формализованных баз знаний, коллективного создания облачных специализированных оболочек и эволюционирующих ОЗСППР (основанных на знаниях систем поддержки принятия решений) на их основе.
Ожидаемые в 2019 году результаты: метод реализации системы управления качеством баз знаний на основе прецедентов; модель реализации системы управления полнотой и непротиворечивостью баз наблюдений в процессе расширения формализуемых знаний; усовершенствованная декларативная модель управления коллективным развитием ОЗСППР с распределением полномочий редактирования фрагментов базы знаний нескольким экспертам и организацией контролируемого доступа к базам знаний через множество повторно-используемых операций запроса к ним; модель влияния изменений в онтологии предметной области на необходимость модификации компонентов облачных ОЗСППР и требования к интеллектуальной поддержке управления процессом создания новых версий компонентов облачных ОЗСППР при изменениях в онтологии предметной области.

Проект 17-07-00956 - Облачная платформа совместимых интеллектуальных систем для поддержки принятия решений в практической и научно-образовательной деятельности в области медицины (2017-2019), руководитель проекта: Федорищев Л.А.
Цели работы: Развитие и совершенствование моделей, методов и технологии создания платформы совместимых (основанных на общем наборе моделей знаний, данных и программных компонентов) медицинских облачных систем, предназначенных для обеспечения интеллектуальной поддержки практической (состоящей в постановке диагноза, назначении и мониторинге лечения) деятельности врачей и научно-образовательной (состоящей в создании, накоплении и верификации знаний о диагностике и лечении заболеваний путём изучения различных источников информации и работе с тренажерами) деятельности медицинских сотрудников. 
Ожидаемые в 2019 году результаты: фармакологический справочник действующих веществ с формальным описанием противопоказаний, особых условий приёма, совместимости с другими действующими веществами; базы знаний о диагностике заболеваний «хронический гастрит», «неинфекционный энтерит», «язвенная болезнь желудка» и «язвенная болезнь двенадцатиперстной кишки»; база знаний о лечении заболеваний «хронический гастрит», «неинфекционный энтерит», «язвенная болезнь (желудка и двенадцатиперстной кишки)»; модель и метод реализации облачного прототипа системы назначения лечения, учитывающей индивидуальные особенности пациента; информационные компоненты и метод реализации облачного прототипа системы мониторинга и коррекции лечения; метод реализации облачного тренажёра по постановке диагноза с генерацией жалоб и наблюдений, их оценкой и объяснением правильности поставленного диагноза и запрошенных наблюдений.

Проект 17-07-00299 - Облачные сервисы интерактивной верификации интуитивных доказательств математических теорем (2017-2019), руководитель проекта: Тимченко В.А.
Цели работы: Разработка моделей, методов, облачных инструментальных средств и технологии коллективного формирования и сопровождения математических баз знаний для различных разделов математики, а также для коллективного (интерактивного) конструирования и верификации (с поддержкой режима автоматического поиска доказательств подцелей) интуитивных доказательств теорем, с использованием этих баз знаний. Математические знания представляются на расширяемом языке математического диалекта (который эквивалентен логическому языку высших порядков) в привычной и понятной для математиков форме.
Ожидаемые в 2019 году результаты: проект и методы реализации решателя задач оболочки для интерактивных систем верификации математических доказательств с использованием специализированной технологии разработки интеллектуальных сервисов на облачной платформе IACPaaS; методы реализации синтаксически управляемых контекстно-зависимых средств редактирования базы математических знаний и базы формализованных способов рассуждений портала знаний по верификации математических доказательств; методы реализации процесса поиска доказательства математического утверждения по аналогии; методы реализации процесса автоматического (слепого) поиска доказательства математического утверждения.

 

Проекты «Дальний Восток»  

Проект 18-МНТ-009 - Разработка и исследование мемристорных наноматериалов для нового подхода к обработке информации (2018-2020), руководитель проекта: Грибова В.В.
Цель работы: Проект направлен на исследование структурных, электрофизических и мемристорных свойств наноразмерных пленок оксидов металлов, что позволит разработать наноматериал, обладающий необходимыми свойствами, разработку метода формирования функциональных реконфигурируемых структур в пленках оксидов металлов и разработку принципа функционирования вычислительной структуры, которая реализует новый подход к обработке информации, основанный на параллельном управлении сменным набором высокоуровневых операций.
Ожидаемые в 2019 году результаты: разработка алгоритма диагностики заболеваний, основанного на онтологии острых заболеваний; выделение в конкретизированном алгоритме диагностики базовых операций и операций над объектами диагностики и базами знаний (составляющих сменный набор вычислительных операций новой модели вычислений, использующей вспомогательные вычислительные устройства, в том числе основанные на мемристорных плёнках на основе оксидов металлов); разработка модели универсального информационно-управляющего графа решения задач  с набором операторов управления процессом обработки информации (и параллельными вычислениями)  с обращением к вычислительным операциям из сменного набора; методы реализации системы вычислений, основанной на информационно-управляющих графах, построенных из набора операторов управления вычислениями над произвольным набором базовых операций.

Проект 18-5-078 - Модели и методы автоматизации разработки гибридных интерфейсов и визуализации результатов web-приложений, реализованных на гетерогенных вычислительных архитектурах (раздел 4) (2018-2020), руководитель проекта: Грибова В.В.
Цель работы: разработка моделей и методов автоматизации проектирования, реализации и сопровождения гибридных пользовательских интерфейсов (wimp -интерфейсов, интерфейсов в виде таблиц, графов и текстов) web-приложений, визуализации результатов вычислительных экспериментов с использованием многопроцессорных архитектур. Все полученные результаты будут апробированы на реальных задачах.
Ожидаемые в 2019 году результаты: реализация и тестирование взаимодействия компонентов облачных сервисов на платформе IACPaaS с компонентами, расположенными на внешних архитектурах; реализация автоматической генерации двухмерных табличных интерфейсов по метаинформации и интеграция их в универсальный редактор знаний на платформе IACPaaS; реализация автоматической генерации интерфейсов в виде графов по метаинформации и интеграция их в универсальный редактор знаний на платформе IACPaaS; разработка генератора модулей обработки выходных данных вычислительных экспериментов на основе графического языка.

Проект 18-5-060 - Оптимизация мониторинга и управление рисками развития природноочаговых заболеваний на Дальнем Востоке (раздел 7) (2018-2020), соисполнитель проекта: Грибова В.В.
Цель работы: Разработка и внедрение дистанционно-доступного (облачного) Банка биологических материалов (ББМ).
Ожидаемые в 2019 году результаты: разработка методов адаптации пользовательского интерфейса к различным профилям пользователей и альтернативным форматам хранения; разработка методов разграничения доступа и управления информационными ресурсами, задействованных в процессе мониторинга заболеваний.

_______________________________________________________________________________________

Госбюджет:

Тема 5. Интеллектуальные системы обработки данных, знаний и принятия решений (2013-2016 гг.)

Гранты РФФИ:

Проект 16-07-00340 - Методы, технология и инструментальная поддержка построения сложно-структурированных облачных сервисов в гетерогенной вычислительной среде  (2016-2018), руководитель проекта: Грибова В.В.
Разработка моделей сложно-структурированных интеллектуальных сервисов для решения практических и научных задач в гетерогенной вычислительной среде, технологии их создания и интеллектуального управления в процессе жизненного цикла. 

Проект 15-07-03193 - Облачные технологии обеспечения жизнеспособности и качества интеллектуальных систем (2015-2017), руководитель проекта: Шалфеева Е. А.
Разработка моделей, методов, инструментальных средств для поддержки всех этапов разработки интеллектуальных систем как облачных сервисов, предназначенных для решения задач автоматизации интеллектуальной деятельности, обеспечения качества всех компонентов сервиса (базы знаний, решателя, интерфейса), а также управления ими в процессе жизненного цикла. 

Проект 14-07-00270 - Медицинские облачные сервисы (2014-2016), руководитель проекта: Клещев А.С.
Разработка информационных (онтологий, баз знаний и данных) и программных компонентов для медицинских систем поддержки принятия решений и медицинских компьютерных тренажеров на основе облачных технологий.

Проект 14-07-00299 - Система автоматизированного конструирования доказательств математических теорем для научных исследований в распределенной вычислительной среде (2014-2016), руководитель проекта: Тимченко В.А.
Разработка модели многопользовательской системы автоматизированного конструирования доказательств теорем, выраженных формулами на языке логики первого или более высокого порядка, удобной в математических исследованиях, обладающей способностями к накоплению математических знаний, обеспечению их широкой доступности, к выполнению в процессе построения доказательств значительной части рутинной работы и формулировке новых теорем.

Проект 14-07-90400 - Создание интеллектуальных облачных технологий экспресс-диагностики состояния сельскохозяйственных культур (2014-2015), руководитель проекта: Грибова В.В.
Создание интеллектуальных систем (реализованных как облачные сервисы) для экспресс-диагностики состояния растений. Технология разработки такой системы включает три следующих этапа: создание и поддержку базы данных и знаний о нормальном и текущем состояниях растений, об изменении этих состояния, о нормальных и текущих климатических условиях и их изменении, о техногенных нагрузках и их влиянии на состояние растений, о методах защиты растений от воздействия стрессовых факторов разного происхождения; создания решателя для выработки управленческих решений, направленных на защиту растений от воздействия стрессовых факторов разного происхождения; создание пользовательского интерфейса.

Проект 13-07-00024 - Облачная платформа для создания и использования интеллектуальных сервисов  (2013-2015), руководитель проекта: Грибова В.В. 
Создание моделей и методов разработки многоагентных интеллектуальных облачных сервисов, основанных на декларативном и унифицированном представлении его информационных ресурсов (данных, знаний, онтологий). 

Проект «Дальний Восток»  

Проект 15-I-4-029 - Модели, методы, инструментальные средства для поддержки разработки жизнеспособных систем принятия решений как облачных сервисов  (Раздел 4) (2015-2017), руководитель проекта: Грибова В.В.
Проект направлен на создание моделей, методов, механизмов управления и инструментальной поддержки автоматизации проектирования, обеспечения качества всех компонентов при создании жизнеспособных систем принятия решений. Данная цель будет достигнута путем создания облачной технологии разработки и сопровождения облачных программно-информационных систем для решения задач принятия решений с использованием формализованных знаний и всех задач управления качеством знаний на основе системного анализа автоматизируемой области, контекстно-зависимого редактирования при формализации знаний и повторного использования методов решения задач известных классов.