Дальше К следующему разделу Назад К предыдующему разделу Начало К началу разделу Конец К концу разделу Список К оглавлению

2.4. Математические модели в экологии

Мем № 14: “Современная биология заимствует богатый инструментарий у точных наук, который включает математические методы и современные информационные технологии…” Г.Г. Винберг [1979б].

Природа и математическое мышление

Идеологической основой технологической цивилизации является Научная Идеология, или Сциентизм (англ. Science). Она основана на вере в существование небольшого числа точно формулируемых законов природы, на основе которых все в природе предсказуемо и манипулируемо. Природа рассматривается как гигантская машина, которой можно управлять, если известен принцип ее функционирования. Эта научная идеология, как заметил еще Э. Мах, часто играет роль религии технологической цивилизации.

Основная догма научной идеологии – это вера в математизацию. Она (догма) утверждает, что всё (или, по крайней мере, всё существенное) в природе может быть измерено, превращено в числа или другие математические объекты, и что путем совершения над ними различных математических манипуляций можно предсказать и подчинить своей воле все явления природы и общества. Эта вера содержится уже в призыве Г. Галилея: "Измерить все, что измеримо, и сделать измеримым то, что неизмеримо". Э. Кант говорил, что каждая область сознания является наукой настолько, насколько в ней содержится математики. А. Пуанкаре писал, что окончательная, идеальная фаза развития любой научной концепции – это ее математизация. В некотором смысле можно сказать, что мы живем в математической цивилизации – и, может быть, умираем вместе с нею [приведены выдержки из доклада российского математика академика И.Р. Шафаревича, URL].

Основная особенность математики, очень существенная для научной идеологии, – это ее способность трансформировать решение глубоких проблем в стандартизированные логические схемы. На вопрос о том, что же такое познание мира, Бурбаки предлагают такой ответ: “это возможность компактной записи наблюдаемых явлений, ибо компактная запись - как раз и есть то, что дает нам возможность предсказывать и управлять”. Любопытно, что компактная запись наблюдаемых явлений в науке рассматривается как теория даже тогда, когда с ней не связано никакого теоретизирования. Теория – это, по сути дела, такое логическое построение, которое позволяет описать явление существенно короче, чем это удается делать при непосредственном наблюдении [Налимов, 1979]. Пример: периодическая система Д.И. Менделеева, будучи компактной записью необозримого ранее многообразия явлений в неорганической химии, сразу же стала рассматриваться как некий весьма существенный вклад в теорию химии, хотя в момент появления этой таблицы с ней не связывалась вообще какая-либо теоретизация.

Более 100 лет назад известный в то время биолог В.В. Пашутин [1885; цит. по: Леонов, URLа], писал: “Обобщающие полеты ума в сфере патологических явлений совершенно необходимы, так как запас детальных фактов в настоящее время очень велик и получает характер, за недостатком обобщений, тяготеющего ума балласта, с которым едва может справляться наша память”. Как видим, уже тогда ведущие российские ученые понимали, что возрастание массы необобщенных фактов приводит к тому, что они постепенно превращаются в балласт.

Не так давно исполнилось 50 лет печально известной августовской сессии ВАСХНИЛ, которая завершилась запретом генетики. Однако вместе с генетикой из биологии усилиями Т.Д. Лысенко была изгнана и статистика. Выступая с заключительным словом на этой сессии, Лысенко сказал, что теория вероятностей и статистика нужны только менделистам-морганистам, а "мичуринской биологии" эти науки не нужны. “Все так называемые законы менделизма-морганизма построены исключительно на идее случайности. …Не будучи в состоянии вскрыть закономерности живой природы, морганисты вынуждены прибегать к теории вероятности и, не понимая конкретного содержания биологических процессов, превращают биологическую науку в голую статистику. Недаром же зарубежные статистики - Гальтон, Пирсон, а теперь Фишер и Райт - также считаются основоположниками менделизма-морганизма... Изживая из нашей науки менделизм-морганизм-вейсманизм, мы тем самым изгоняем случайность из биологической науки. Нам необходимо твердо запомнить, что наука – враг случайностей. Эта фраза Лысенко на долгие годы стала одной из методологических заповедей биологии. Ученым, которые отваживались применять статистику в своих биологических исследованиях, ВАК даже отказывал в ученой степени [Леонов, URLб]. Учитывая, что в эти же годы вместе с генетикой запрещенной наукой стала и кибернетика, можно понять, какой деформации подверглась методология экспериментальной биологии и экологии. Несколько исправить положение удалось только в результате подвижнической деятельности и теоретических работ таких известных ученых, как В.И. Вернадский, А.Н. Колмогоров, А.Л. Чижевский, А.А. Любищев, В.В. Налимов и др. (см. [Боголюбов, 2002]).

Нынешние сложности в развитии биологии связаны именно с трудностями компактного описания того громадного материала, который легко накапливается в результате наблюдений, но чрезвычайно трудно систематизируется. Когда известного французского ученого П.С. Лапласа спрашивали, зачем он предлагает допустить в Академию наук медиков, зная, что медицина – не наука, он отвечал: “Затем, чтобы они общались с учеными”. Первой удачной попыткой на этом пути была классификация К. Линнея: многообразие наблюдаемых фактов было сведено к некоторой системе. Эволюционная теория Ч. Дарвина – еще одна попытка компактного представления все тех же данных, но теперь уже в их историческом развитии. Но со времен Дарвина и до наших дней в биологии больше не рождалось подобных всеобъемлющих компактных теоретических построений, обладающих такой же разъяснительной силой, как, скажем, записи соотношений в теоретической физике. Представления о биогенетическом коде, самое большое открытие в биологии последнего времени, – это, собственно, расшифровка самого языка, но вовсе не того, как что-то новое пишется на этом языке. Исследования в области биологии и экологии долгие годы ограничивались качественным описанием объектов и процессов, количественные же оценки их характеристик сводились лишь к констатации "увеличения" или "уменьшения" средних значений отдельных признаков [Налимов, 1979].

В целом, состояние российской "количественной" экологии разными исследователями оценивается неоднозначно: одним она представляется бурно развивающейся наукой, другим – направлением, находящимся в состоянии концептуального кризиса. В этой связи представляется интересным привести результаты непредвзятого анализа на основе формальных наукометрических методов содержания статей, публикуемых в экологических журналах [Будилова с соавт., 1995]. Материалом для анализа послужили статьи англоязычного журнала "ЕСОLOGY" и русскоязычного журнала "ЭКОЛОГИЯ" за 1991-92 гг., где подсчитывались индивидуальные и совместные частоты встречаемости в этих публикациях экологических и математических терминов.

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

    1. стандартные статистические методы;
    2. многомерные методы (множественная регрессия и многофакторный дисперсионный анализ);
    3. отклонение от нормальности, непараметрические методы;
    4. таблицы сопряженности и множественные сравнения;
    5. марковские случайные процессы;
    6. дифференциальные уравнения.

Группы II и III характеризуют более продвинутые (сложные) методы по сравнению c группой I. Группу III характеризуют методы, в которых, в отличие от базовых, не выполняется предположение о нормальности данных, а в группе II представлены многофакторные методы. Группы IV характеризуется акцентом на дискретную природу факторов. Наконец, группы V и VI связаны с построением динамических моделей – вероятностных и детерминистских. Численность их оказалась неожиданно малой. Это тем более удивительно, что наиболее частыми ключевыми словами экологического направления были “конкуренция” и “динамика”, казалось бы, требующие этих методов (см. табл. 2.1).

Таблица 2.1

Частота применения групп математических методов I-VI в статьях, относящихся к экологическим тематическим направлениям ( в % от числа статей каждого направления)

Журнал, экологическая тематика

Число статей

Математические методы, %

I

II

III

IV

V

VI

Жур-нал "ЕСО-LOGY"

Наземные животные

116

90

73

43

19

3

3

Птицы

10

100

80

40

10

0

0

Водные сообщества

19

95

74

42

21

0

0

Растения

101

94

72

38

17

1

2

Журнал "ЭКОЛОГИЯ"

104

69

13

0

0

0

0

По сравнению с журналом "ECOLOGY", математические методы в статьях из журнала "ЭКОЛОГИЯ" используются менее интенсивно как в количественном отношении, так и по разнообразию методов. Например, в 139 статьях из журнала "ЭКОЛОГИЯ" за 1991 г. термин “регрессия” встретился 16 раз, “дисперсионный анализ” – 8 раз (в то время как термин “среднее” встретился 62 раза). Для отечественных публикаций велика доля описательных и обзорных сообщений, не содержащих вообще упоминания статистических терминов ("ЭКОЛОГИЯ" – 24%, "ECOLOGY" – 4%).

Общие понятия и принципы

Последнее десятилетие много говорится о кризисе в представлениях об экологическом мире, причём весьма радикальной ревизии подвергаются почти все фундаментальные эвристики [Розенберг и соавт. 1999]. Г.С. Розенберг и И.Э. Смелянский [1997] так формулируют основные тенденции в изменении миропонимания:

  1. пришло понимание субъективности образа экологического мира;
  2. экологический мир перестал быть понятным и объяснимым;
  3. пространство перестало быть простым;
  4. время также перестало быть простым;
  5. экологический мир стал динамическим.

Это делает вполне корректным употребление в отношении биологических наук таких понятий Т.Куна [1977], как "научная революция", "смена парадигм" и т.д. По-видимому, можно заключить, что этот процесс сейчас находится на стадии "экстраординации" и еще далек от завершения.

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

Процесс построения математической модели включает в себя следующие типовые этапы:

В условиях смены парадигм экологического мира здесь ярко проявляется:

Можно упомянуть еще несколько принципов, "воодушевляющих" математиков и системологов [Флейшман, 1982; Брусиловский, 1985; Розенберг с соавт., 1999]:

Если вспомнить еще об уникальности экосистем, невозможности их редукции, сложности проведения системных экспериментов, значительной погрешности и малочисленности измерений многих экологических параметров, неполноте наших знаний о механизмах функционирования экосистем, то становятся понятны сомнения ряда специалистов относительно возможностей экологического прогнозирования, в частности, и экологического моделирования, вообще [Брусиловский, 1985, 1987]. В.В. Налимов [1979] писал, что можно “... как блестящие идеи, так и научные нелепости одинаковым образом облечь во впечатляющий мундир формул и теорем... Наряду с математизацией знаний происходит и математизация глупостей; язык математики, как ни странно, оказывается пригодным для выполнения любой из этих задач”. Однако, при правильном применении, математический подход не отличается существенно от подхода, основанного на "традиционном здравом смысле". Математические методы просто более точны и в них используются более четкие формулировки и более широкий набор понятий. В конечном счете, они должны быть совместимы с обычными словесными рассуждениями, хотя, вероятно, идут дальше их.

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

1) компактное описание наблюдений;

2) анализ наблюдений (объяснение явлений);

3) предсказание на основе наблюдений (прогнозирование).

Нередко бывает так, что одну и ту же модель можно воспринимать сразу в трех "ипостасях", т.е. используя ее и для описания, и для анализа, и для предсказания. К примеру, логистической регрессией мы описываем параметры генеральной совокупности, но одновременно мы и анализируем взаимосвязи в этой совокупности, результат же логистической регрессии мы применяем для предсказания. Показано [Розенберг с соавт., 1999], что для сложных свойств сложных систем нельзя ожидать аналогичного успеха: одна модель (один закон) будет не в состоянии одновременно удовлетворительно выполнять как объяснительную, так и предсказательную функцию (принцип разделения функций описания и прогнозирования). Для объяснения необходимы простые модели, и здесь, по меткому выражению У.Р. Эшби [1966], “...в будущем теоретик систем должен стать экспертом по упрощению”. Что касается экологического прогнозирования, то “сложность модели для сложных объектов принципиально необходима” [Ивахненко с соавт., 1980].

Несовместимость "простоты" модели и точности решения задачи проявляется в высказывании академика А.А. Самарского [1979]: “... исследователь постоянно находится между Сциллой усложненности и Харибдой недостоверности. С одной стороны, построенная им модель должна быть простой в математическом отношении, чтобы ее можно было исследовать имеющимися средствами. С другой стороны, в результате всех упрощений она не должна утратить и "рациональное зерно", существо проблемы”. В этом высказывании заложен самый важный, на наш взгляд, принцип математического моделирования – любая модель должна иметь оптимальную сложность, необходимую и достаточную для решения поставленной задачи, – который восходит своими корнями к "бритве Оккама".

Принцип "бритвы Оккама" был сформулирован в XIV веке английским философом Уильямом Оккамом в следующем виде: frustra fit plura, quod fieri potest pauciora - частностей должно быть не больше, чем их необходимо.

Принцип одномерности конечного решения

Смысл моделирования заключается в получении некоторого решения, в общем случае – многомерного. Пусть, например, {X} – множество решений, которое может быть получено с помощью модели, а x – некоторое определенное решение, принадлежащее этому множеству: x ' X. Тогда считается, что для всех x может быть задана функция: q(x), которая называется критерием (критерием качества, целевой функцией, функцией предпочтения, функцией полезности и т.п.), обладающая тем свойством, что если решение x1 предпочтительнее x2, то:

q(x1) > q(x2).

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

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

Мем № 15: Правда всегда одна, – так говорил фараон;
Он был очень умен и за это его называли Тутанхамон”

[гр. “Наутилус Помпилиус”, песня “Тутанхамон”, альбом “Титаник”].

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

Принцип одномерности конечного решения тесно связан с принципом рекуррентного объяснения [Флейшман, 1982; Розенберг с соавт.,1999], который отражает иерархическую организацию моделей экосистем: свойства и решения, получаемые для подсистем каждого уровня, выводятся (объясняются), исходя из постулируемых свойств элементов нижестоящего уровня иерархии. Например, для моделирования свойств экосистемы (биоценоза) используются свойства и связи популяций, для вывода свойств популяций – свойства и связи отдельных особей и т.д. Необходимо только помнить, что любая иерархия имеет один и только один корень.

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

Введем, например, суперкритерий q0(x), как скалярную функцию векторного аргумента в пространстве решений:

q0(x)= q0((q1(x), q2(x), …, qn(x)) .

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

.

Естественно, что для разных способов эти решения являются в общем случае различными. Поэтому едва ли не главное в решении многокритериальной задачи – обоснование данного вида ее постановки, которое делается чаще всего неформальными экспертными методами [Литвак, 1982; Сидельников, 1990].

Альтернативой единственному обобщенному показателю является математический аппарат типа многокритериальной оптимизации – множества Парето и т.д. (см., например, [Подиновский, Ногин, 1982]).

О возможных классификациях моделей

Вопросам экологического моделирования (в первую очередь, математического) посвящена обширная литература [Свирежев, Логофет, 1978; Федоров, Гильманов, 1980; Флейшман, 1982; Розенберг, 1984; Базыкин, 1985; Абросов, Боголюбов, 1986; Розенберг с соавт., 1994]. Однако составить строгую единую классификацию математических моделей, различающихся по назначению, используемой информации, технологии конструирования и т.п., принципиально невозможно, хотя версий таких классификаций существует достаточно много [Беляев и др., 1979; Флейшман и др., 1982; Розенберг, 1984].

В.В.Налимов [1971] делит математические модели в биологии на два класса – теоретические (априорные) и описательные (апостериорные). П.М. Брусиловский [1985] видит математическую экологию как мультипарадигматическую науку с четырьмя симбиотическими парадигмами: вербальной, функциональной, эскизной и имитационной. Можно перечислить и другие основания для классификации моделей:

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

Дальше К следующему разделу Назад К предыдующему разделу Начало К началу разделу Конец К концу разделу Список К оглавлению