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

Вторым очень важным обстоятельством, способствующим привлечению математического аппарата в биологию, является тщательное экспериментальное определение констант скоростей многочисленных внутриклеточных реакций, определяющих функции клетки и соответствующей биосистемы. Без знания таких констант невозможно формально-математическое описание внутриклеточных процессов.

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

Численные эксперименты на моделях, способные воспроизводить широкий класс явлений в клетках, органах и организме, позволяют оценить правильность предположений, сделанных при построении моделей. Хотя в качестве постулатов моделей используются экспериментальные факты, необходимость некоторых допущений и предположений является важным теоретическим компонентом моделирования. Эти допущения и предположения являются гипотезами, которые могут быть подвергнуты экспериментальной проверке. Таким образом, модели становятся источниками гипотез, притом экспериментально верифицируемых. Эксперимент, направленный на проверку данной гипотезы, может опровергнуть или подтвердить ее и тем самым способствовать уточнению модели.

Такое взаимодействие моделирования и эксперимента происходит непрерывно, приводя ко все более глубокому и точному пониманию явления:

• эксперимент уточняет модель,
• новая модель выдвигает новые гипотезы,
• эксперимент уточняет новую модель и т. д.

В настоящее время область математического моделирования живых систем объединяет ряд различных и уже устоявшихся традиционных и более современных дисциплин, названия которых звучат достаточно обще, так что трудно бывает строго разграничить зоны их специфического использования. В настоящее время особенно бурно развиваются специализированные области применения математического моделирования живых систем — математическая физиология, математическая иммунология, математическая эпидемиология, направленные на разработку математических теорий и компьютерных моделей соответствующих систем и процессов.

Как всякая научная дисциплина, математическая (теоретическая) биология имеет свой предмет, способы, методы и процедуры исследования. В качестве предмета исследований выступают математические (компьютерные) модели биологических процессов, одновременно представляющие собой и объект исследования, и инструмент для исследования собственно биологических объектов. В связи с такой двоякой сущностью биоматематических моделей они подразумевают использование имеющихся и разработку новых способов анализа математических систем (теорий и методов соответствующих разделов математики) с целью изучения свойств самой модели как математического объекта, а также использование модели для воспроизведения и анализа экспериментальных данных, получаемых в биологических экспериментах. При этом в качестве одного из наиболее важных назначений математических моделей (и теоретической биологии в целом) является возможность предсказания биологических явлений и сценариев поведения биосистемы в определенных условиях и их теоретического обоснования до проведения соответствующих биологических экспериментов.

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

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