| 1 |
1 июля 2015 г.-1 февраля 2016 г. |
Средства HTML5 в задачах биологических вычислений |
| Результаты этапа: Настроен процесс сборки исходных текстов ядра Z3 с использование конвейера инструментов: C/C++ -> LLVM -> Emscripten -> JavaScript (AsmJS). Спроектирован и реализован программный интерфейс на TypeScript для результатов компиляции в AsmJS. Выполнены тестовые замеры производительности и размеры получающихся в результате скриптов для простых утверждений.
Выполнене анализ приложений на Silverlight для ГКИ (Генетической клеточной инженерии) и ЗФД (Замещения фрагментов ДНК). Предложена архитектура приложения на HTML5 и его разбиение на основные компоненты.
|
| 2 |
1 февраля 2016 г.-30 июня 2016 г. |
Средства HTML5 в задачах биологических вычислений-2 |
| Результаты этапа: Созданы повторно-используемые компоненты пользовательского интерфейса, такие как как редактор исходного кода, таблицы реакций, просмотрщик результатов моделирования. Первая версия HTML5 приложений ЗФД и СХР (Сеть химических реаций)развернуты его в облаке Azure для тестирования и использования группой пользователей.
|
| 3 |
1 июля 2016 г.-31 октября 2016 г. |
Средства HTML5 в задачах биологических вычислений-3 |
| Результаты этапа: Реализован экспорт визуализаций и графиков, предоставляемых библиотекой InteractiveDataDisplay, в векторном формате SVG из приложений биологического моделирования. Новое HTML5 приложение СХР сравнимо по функциональности со старым неподдерживаемым приложением СХР для Silverlight.
|
