|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Анализатор биологических моделей c линейно-временной логикойНИР
Bio Model Analyzer with Linear Temporal Logic
- Руководитель НИР: Березин С.Б.
- Участники НИР: Войцеховский Д.В., Костюкова С.Ю., Скоблов Н.А.
- Подразделение: Факультет вычислительной математики и кибернетики
- Срок исполнения: 1 июля 2015 г. - 31 октября 2016 г.
- Номер договора (контракта, соглашения): контракт Майкрософт Ресерч от 29 июня 2015
- Тип: Разработка
- Приоритетное направление научных исследований: Программное и математическое обеспечение эффективного решения актуальных задач на современных вычислительных системах
- ПН России: Информационно-телекоммуникационные системы
-
Рубрики ГРНТИ:
- 50.41.25 Прикладное программное обеспечение
- 50.41.29 Программное обеспечение пользовательского интерфейса
- 50.53.15 Автоматизация процессов проведения научных экспериментов
-
Ключевые слова:
веб-интерфейс, вычислительная биология, облачные технологии, html5, линейно-временная логика
-
Описание:
Анализатор биологических моделей (АБМ) – это инструментальное средство для моделирования и анализа биологических сетей. Простой графический интерфейс позволяет применять АБМ биологами, не обладающими опытом программирования и знанием формальных методов анализа сложных систем. Результаты анализа – положительные или отрицательные – отображаются визуально. В рамках данного НИР программное обеспечение АБМ будет дополнено средствами визуального задания и проверки гипотез линейно-временной логики. Линейно-временная логика является подмножеством модально-временной логики с модальностями, относящимися ко времени.
- Добавил в систему: Березин Сергей Борисович
Соисполнители НИР
| Microsoft Research | Координатор |
Источник финансирования НИР
| Международная организация/программа, Контракт Mайкрософт Ресерч |
Этапы НИР
| # | Сроки | Название |
| 1 | 1 июля 2015 г.-31 декабря 2015 г. | Анализатор биологических моделей c линейно-временной логикой-1 |
| Результаты этапа: Разработана и опубликована в открытом доступе в облачной среде Windows Azure новая версия Анализатора Биологических Моделей с возможностью визуального создания и проверки гипотез линейно-временной логики. | ||
| 2 | 1 января 2016 г.-31 марта 2016 г. | Анализатор биологических моделей c линейно-временной логикой-2 |
| Результаты этапа: В программное обеспечение "Анализатора биологических моделей" внесены изменения по результатам практической апробации: 1) Пользовательский интерфейс и вычислительный сервисы разнесены на два класса виртуальных машин с целью уменьшения времени отклика под нагрузкой 2) Улучшено визуальное представление модели и гипотез линейно-временной логики 3) Улучшена эргономика редакторов состояний и гипотез линейной-временной логики | ||
| 3 | 1 апреля 2016 г.-30 июня 2016 г. | Анализатор биологических моделей c линейно-временной логикой-3 |
| Результаты этапа: Серверные компоненты "Анализатора биологических моделей" расширены возможностью выполнения вычислений в пакетном режиме, что позволило выполнять проверку гипотез линейно-временной логики для сложных моделей, для которых время такой проверки может составлять несколько часов. Реализована устойчивая к сбоям система пакетной обработки на основе очередей Windows Azure, предоставляющая для каждого запроса информацию о его порядковом номере в очереди. Экспериментальная версия ПО АБМ с возможностью пакетной обработки длительных запросов развернута в облаке Windows Azure. | ||
| 4 | 1 июля 2016 г.-31 октября 2016 г. | Анализатор биологических моделей c линейно-временной логикой-4 |
| Результаты этапа: Программное обеспечение "Анализатора Биологических Моделей" дополнено новым редактором с возможностью ввода формул с подсветкой синтаксиса и интерактивной подсказкой. Реализована возможность авторизации пользователей и хранения моделей биологических систем в облачной службе хранения файлов OneDrive. | ||
Прикрепленные к НИР результаты
Для прикрепления результата сначала выберете тип результата (статьи, книги, ...). После чего введите несколько символов в поле поиска прикрепляемого результата, затем выберете один из предложенных и нажмите кнопку "Добавить".