BioUML интегрированная расширяемая среда для моделирования биологических систем Biosoft.Ru Лабоработория Биоинформатики КТИ ВТ СО РАН

Slides:



Advertisements
Similar presentations
Differential Equations Math Review with Matlab: Finding Solutions to Differential Equations S. Awad, Ph.D. M. Corless, M.S.E.E. D. Cinpinski E.C.E. Department.
Advertisements

BioUML SOFTWARE FRAMEWORK FOR SYSTEMS BIOLOGY Overview  ITC Software All rights reserved.
Solving Equations = 4x – 5(6x – 10) -132 = 4x – 30x = -26x = -26x 7 = x.
Парламентские библиотеки: прошлое и будущее Присцилла Бэйнз Директор Библиотеки, Палата общин, Санкт-Петербург, октябрь 2004 г.
Поиск оптимального набора параметров оптимизаций компилятора Брусенцов Леонид Евгеньевич студент 4 курса ФИТ НГУ Руководители:Илья.
ИНСПЕКЦИЯ ПО ОХРАНЕ ОКРУЖАЮЩЕЙ СРЕДЫ Министерство по охране окружающей среды и природных ресурсов Грузии Обеспечение выполнения природоохранных требований.
ВятГУ «"Обеспечение доступа участников национальной нанотехнологической сети к электронным источникам НТИ” (ФЦП "Развитие инфраструктуры наноиндустрии.
Дипломная работа Ивановой О.О., группа 545 Научный руководитель: д. ф.-м. н., профессор Терехов А.Н. Генерация кода по диаграмме активностей.
Веремьёва Е. И.. Радиобиология — это самостоятельная комплексная, фундаментальная наука, состоящая из многих научных направлений, изучающая действие ионизирующих.
ПРИНЦИПЫ РАЗРАБОТКИ СИСТЕМЫ КЛАССА LEARNING MANAGEMENT SYSTEM И ОПЫТ ЕЕ ИСПОЛЬЗОВАНИЯ НА ФАКУЛЬТЕТЕ МЕНЕДЖМЕНТА Афанасьева С.В. Кафедра бизнес-информатики.
СРЕДА ВИЗУАЛЬНОГО МОДЕЛИРОВАНИЯ ON-LINE Курсовая работа Научные руководители: Ю.В. Литвинов Т.А. Брыксин Иванов Всеволод, 345 группа.
Определение необходимого уровня запасов на складе.
Миллер Дмитрий, 545 группа Научный руководитель: д.ф.-м.н., профессор, А.Н.Терехов Рецензент: к.ф.-м.н, доцент, А.Н. Иванов.
Типология характеров по Фрейду
Создание сервиса синхронизации разнородных баз данных Допущена к защите зав. кафедрой: д.ф.м.н., профессор Терехов А.Н. Научный руководитель: доцент Графеева.
Обзор последних достижений биометрических методов аутентификации РусКрипто 2005.
1 СПбГУ ИТМО, кафедра Компьютерных Технологий ПРИМЕНЕНИЕ АВТОМАТНОГО ПРОГРАММИРОВАНИЯ ДЛЯ ПОСТРОЕНИЯ СИСТЕМ УПРАВЛЕНИЯ БИЗНЕС- ПРОЦЕССАМИ Евгений Андреевич.
Управление и Конфигурирование Встроенных Систем Ушаков Константин, 545 группа Руководитель: Елена Венгерова.
Адаптивный метод распределения SPMD-заданий в грид Паньшенсков Михаил, 545 группа Научный руководитель: Лукичев А.С. Рецензент: Демьянович Ю.К июня.
Разработка программного обеспечения (Software Engineering) Часть 2. Создание ПО.
1 Генерация контекстных ограничений для баз данных Выполнил: Жолудев В. Научный руководитель: Терехов А.Н. Рецензент: Иванов А.Н.
ERAMIS “Network Europe – Russia – Asia of Masters in Informatics as a Second competence” (ERAMIS) «Магистратура по информатике как вторая компетенция для.
OECD iLibrary. Что такое OECD?  Международная организация, занимающаяся публикацией данных, отслеживанием тенденции, анализом и прогнозированием экономических.
Понятие риска применительно к инвестиционным проектам
ГЕОИНФОРМАЦИОННЫЕ СИСТЕМЫ ДЛЯ МОНИТОРИНГА СОСТОЯНИЯ ЗДОРОВЬЯ НАСЕЛЕНИЯ Лаборатория Геоинформатики, ВНИИгеосистем, Москва Е.Н. Черемисина, М. Г. Суханов,
Microsoft Solutions Framework Технологии программирования. Курс на базе Microsoft Solutions Framework Семинар 2. Знакомство с построением диаграмм вариантов.
EDCWiki Electronic Document Circulation using wiki Система электронного документооборота на основе wiki Участники: Кузьмин Константин, Цыцулин Виталий.
Создание экспериментального стенда для оценки методов поиска изображений по содержанию Выполнила: Теплых М. А. Научный руководитель: Васильева Н. С. Рецензент:
Approximation of EU and RF technical regulation, standardisation and certification systems A project funded by the European Union 1 Экономическое влияние.
Генерация вероятностных автоматов методами Reinforcement Learning Выполнил: Иринёв А. В. Руководитель: Шалыто А. А.
Симулятор квантовых вычислений Выполнил: Гедерцев А.С. Руководитель, д.ф.-м.н., профессор: Граничин О.Н.
Верификация автоматных программ Ремизов А.О., д.т.н., проф. Шалыто А.А.
Вычисление типов в императивных динамически типизированных языках. Михаил Калугин, студент 3 курса ММФ Научные руководители: Игорь Николаевич Скопин Андрей.
Увеличение модульности программного обеспечения на языке Java Курсовая работа студента 345 группы Абишева Тимура Маратовича Научный руководитель: Профессор.
Санкт-Петербургский Государственный Университет Математико-Механический факультет Кафедра системного программирования Применение диаграмм двоичных решений.
Кураева Екатерина Анатольевна, заместитель директора по УВР, учитель математики сш № 29.
Анализ и Проектирование качественных приложений Презентация по книге Крэга Лармана.
Сервис описания дискретных динамических систем на основе рекуррентных алгоритмов стохастической аппроксимации и подобных им Александр Вахитов научный руководитель.
ПОДДЕРЖКА ЗАДАЧ ОПЕРАТИВНОГО МОНИТОРИНГА ПРИРОДНЫХ ПРОЦЕССОВ В ОКЕАНОЛОГИЧЕСКОЙ ИНФОРМАЦИОННО- АНАЛИТИЧЕСКОЙ СИСТЕМЕ ДВО РАН А.В. Голик, А.Е. Суботэ, С.Г.
Разработка программного обеспечения (Software Engineering) Ian Sommervillle Часть 3. Требования к ПО: модели систем.
Объектно-ориентированное проектирование DSP-систем в телекоммуникациях Подготовил: Сергеев Виктор Николаевич СПбГУ, математико-механический Факультет,
Геоинформационные системы Чернышов Алексей Акимович.
Методы интерактивной визуализации динамики жидких и газообразных сред Костикова Елена Юрьевна, 521 гр. Научный руководитель: Игнатенко Алексей Викторович.
Рубцов И.В. Саламаха П.Н. CМ-7 МГТУ им. Н.Э. Баумана 2005 Создание автоматической системы управления оружием мобильного робототехнического комплекса на.
9 октября 2004 Поиск статических изображений по содержанию: использование текстового запроса Наталья Васильева
Технология разработки имитационных моделей аграрных систем (с) Н.М. Светлов, Лекция 1. Технология разработки имитационных моделей аграрных систем.
Классификация, кластеризация и поиск изображений на основе низкоуровневых характеристик Наталья Васильева Руководитель: Новиков Б. А.
Исследование возможностей сервисной шины SonicMQ Дипломная работа студентки 545 группы Комольцевой Дарьи Владимировны Научный руководитель: Графеева Н.Г.
Microsoft TechDayshttp:// Александр Шаповал Эксперт по стратегическим технологиям
BioUML SOFTWARE FRAMEWORK FOR SYSTEMS BIOLOGY Overview  ITC Software All rights reserved.
Distributed High Performance Computing Environment of Ural Branch of RAS M.L.Goldshtein, A.V.Sozykin, Institute of Mathematics and Mechanics UrB RAS, Yekaterinburg.
SQL Server 2012 Более 100 новых функций!. Конференция «Лонч SQL Server 2012» в Санкт-Петербурге 10 апреля 2012 Courtyard by Marriott 2-ая линия Васильевского.
3.5 – Solving Systems of Equations in Three Variables.
BioUML - интегрированная платформа для совместных исследований в области биоинформатики и системной биологии Колпаков Ф.А. 1,2, Толстых.
BioUML ( Software framework for systems biology Overview Biosoft.Ru, Novosibirsk, Russia. Laboratory of Bioinformatics, Digital Design.
Computational Methods of Scientific Programming Lecturers Thomas A Herring, Room A, Chris Hill, Room ,
Человеко-машинное взаимодействие Лекция 6 Мерзлякова Екатерина Юрьевна к.т.н. доцент ПМиК.
Моделирование систем Цифровой Обработки Сигналов в среде LabVIEW Круглов Евгений Владимирович, аспирант МИФИ Решетов Владимир Николаевич, к.ф.-м. н. доцент.
Лаборатория Геофизической Информатики Брагинская Л.П., Ковалевский В.В., Григорюк А.П. ОПЫТ СОЗДАНИЯ ТЕМАТИЧЕСКОГО ИНТЕРНЕТ- РЕСУРСА «АКТИВНАЯ СЕЙСМОЛОГИЯ»
Симметричные таблицы «затраты-выпуск»: построение и анализ стабильности коэффициентов Корнева Евгения ФКН НИУ ВШЭ НИУ ВШЭ, 14 мая 2015 г.
1 BioUML - Biological Universal Modeling Language Biosoft.Ru, Novosibirsk, Russia. Laboratory of Bioinformatics, Digital Design Technologies.
State Equations BIOE Processes A process transforms input to output States are variables internal to the process that determine how this transformation.
SDL TRADOS 2006 Сокращение затрат и удвоение производительности: лингвистические технологии на основе баз данных от ведущей компании.
Plot Diagram.
Экологический мониторинг в Казахстане Куанбаева Дария БЖД и ЗОС-302.
Solving Cubic Equations
Solving Equations with Variables on Both Sides
Solving Equations with Variables on Both Sides
TWO STEP EQUATIONS 1. SOLVE FOR X 2. DO THE ADDITION STEP FIRST
Balanced scales and equations
Presentation transcript:

BioUML интегрированная расширяемая среда для моделирования биологических систем Biosoft.Ru Лабоработория Биоинформатики КТИ ВТ СО РАН

Организм Органы Ткани Клетки Метаболические путиГенные сети Химически вещества (~10 000) Белки и их комплексы (~ ) Гены (~40 000) Базы данных (более 500 баз данных, общий объем сотни гигабайт)

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

Организм Органы Ткани Клетки Метаболические путиГенные сети Химически вещества (~10 000) Белки и их комплексы (~ ) Гены (~40 000) Базы данных (более 500 баз данных, общий объем сотни гигабайт)

BioUML BioUML - Biological Unified Modeling Language – это интегрированная расширяемая среда для визуального моделирования биологических систем.

Интегрированный редактор диаграмм

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

Система поиска и визуализации взаимодействующих компонентов систем

Система визуального моделирования

BioUML modeler %constants declaration global k_1 k_2 k_3 k_E0 k_Km v_blood v_liver k_1 = 0.1 k_2 = 0.05 k_3 = 0.01 k_E0 = 1.0 k_Km = 0.1 v_blood = v_liver = %Model variables and their initial values y = [] y(1) = % y(1) - $blood.A y(2) = 0.0 % y(2) - $liver.A y(3) = 0.0 % y(3) - $liver.B y(4) = 1.0 % y(4) - $liver.E %numeric equation solving [t,y] = ode23('pharmo_simple_dy',[0 200],y) %plot the solver output plot(t, y(:,1),'-',t, y(:,2),'-',t, y(:,3),'-',t, y(:,4),'-') title ('Solving pharmo_simple problem') ylabel ('y(t)') xlabel ('x(t)') legend('$blood.A','$liver.A','$liver.B','$liver.E'); Пример автоматически сгенерированной программы на языке MATLAB для численного моделирования и графического представления результатов.

BioUML modeler Function to calculate dy/dt for the model. function dy = pharmo_simple_dy(t, y) % Calculates dy/dt for 'pharmo_simple' model. %constants declaration global k_1 k_2 k_3 k_E0 k_Km v_blood v_liver % calculates dy/dt for 'pharmo_simple' model dy = [ -k_1*y(1)+k_2*y(2) -k_3*k_E0*y(2)/(k_Km+y(2)/v_liver)-k_2*y(2)+k_1*y(1) k_3*k_E0*y(2)/(k_Km+y(2)/v_liver) 0]

BioUML: обзор архитектуры

Meta model Мета модель обеспечивает абстрактный уровень для описания структуры биологической системы как кластеризованного графа и описания математической модели системы. DiagramElement kernel:DataElement title:String view:View role:Role Node location:Point image:Image Edge in:Node out:Node Compartment nodes:Node[] edges:Edge[] Diagram type:DiagramType Role diagramElement Constant value:double Variable initilaValue:double Equation variable:Variable equation:String ExecutableModel variables:Variable[] constants:Constant[] MatlabODEModel generateModel():File[] Meta model Dynamics model n n n n

Architecture overview

Интегрированное решение BioUML полностью обеспечивает процесс визуального построения модели и ее расчета, начиная с поиска информации в базах данных и заканчивая автоматической генерацией выполняемой модели. Основные достоинства BioUML

Расширяемое решение 1)Возможность добавлять новые типы диаграмм и новые типы данных, причем для других типов систем, отличных от биологических. 2)Возможность подключать различные базы данных по биологии в виде отдельных модулей. 3)Возможность добавлять программные модули для анализа и моделирования. Основные достоинства BioUML

Открытое решение Система BioUML и ее исходные тексты свободно доступны (GNU LGPL license). Основные достоинства BioUML