Gerontology Explorer
База знаний по геронтологии
Форум Рейтинг способов продления жизни Новые материалы Email-рассылка: информация о новых материалах на сайте RSS-канал: информация о новых материалах на сайте Поиск Указатель Экспорт, импорт

     
Моделирование на основании формальных утверждений

 


 

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

 

1. Неформальная: нечеткая

2. Инертная: необходим человек для интерпретации

3. Статичная: ее нельзя изменить или улучшить простым путем

 

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

 

1. Дифференциальные уравнения

2. Булеановы сети

3. Байессовы сеты

4. Вычеслительное моделирование Куипера

 

Модель должна описывать:

1. Место в клетке

2. Численные характеристики, с помощью которых измеряются процессы

3. Причинно-следственные связи между численными характеристиками

 

В качестве примера такой модели профессор Лэнгли представил лизосому. С помощью формальных выражений, которые могут быть поняты и интерпретированны компьютером описываются процессы, происходящие в лизосоме со старением. Существуют факты - наблюдаемые феномены и утверждения, которые человек вводит в компьютер, и на основании которых машина может в дальнейшем делать предположения о динамике системы в зависимости от изменения ее параметров. То есть компьютер может ответить на вопрос будет ли иметь место то или иное предположение человека о поведении лизосомы. Эта модель создана при помощи интернет технологий, что делает ее весьма доступной для большого числа исследователей. Идею профессора Лэнгли можно сформулировать как создание графической версии википедии, посвященной процессам старения. Похожие продукты для моделирования сложных систем: EcoSys, STELLA, BioBike.

 

 

См. подраздел  ярлык: Дискриптивная логика в базах знаний.

 

 Обсудить на форуме

 

Изменен: 17.01.10

Узлов всего: 3 914. Узлов на вкладке: 502. Узлов в узле: 0. Последнее обновление: 20.01.13 19:01

Gerontology Explorer ©, 2007 - 2013. Все права защищены. Для правообладателей Обратная связь

Хостинг от uCoz