ї А.П. Левич
ОБЩАЯ ТЕОРИЯ СИСТЕМ КАК МЕТАТЕОРИЯ ТЕОРЕТИЧЕСКОГО НАУЧНОГО ЗНАНИЯ И
ТЕМПОРОЛОГИИ[*]
А.П. Левич
Кафедра общей экологии Биологического факультета Московского
государственного университета им. М.В.Ломоносова
Кафедра моделирования природных референтов времени Web-института исследований природы времени http://www.chronos.msu.ru
ИСТОЧНИК: Пространство и время: физическое, психологическое,
мифологическое. М.: КЦ "новый Акрополь", 2006. Стр. 70-88.
Общая теория систем, на мой взгляд, - наиболее удачный кандидат на роль метатеории в теоретическом научном знании. Метатеорию для выбранной теории я понимаю как ее логический, формальный язык, как способ ее рационального построения и как ее методологическую основу.
Системное мировоззрение предлагает описание Мира на языке синтетических математических дисциплин как совокупности взаимодействующих систем.
1. КОМПОНЕНТЫ ДИНАМИЧЕСКИХ ТЕОРИЙ И
СТРУКТУРНЫЕ ПРИНЦИПЫ НАУК
Динамическая теория любого фрагмента реальности обязательно включает ряд компонент, разработка которых осознанно, а чаще неявно выступает этапами создания теории (Ачкурин, 1974; Левич, 2005).
О-компонент состоит в описании идеализированной структуры элементарного объекта теории.
S-компонент заключается в перечислении допустимых состояний объектов теории. Другими словами, о компоненте S говорят как о пространстве состояний исследуемой системы.
С-компонент фиксирует способы изменчивости объектов и исправляет чрезмерную идеализацию, связанную с выделением объектов, поскольку в мире нет объектов, а есть лишь процессы, абстракцию от которых составляют представления об объектах. С-компонент вводит в теорию процессы и изменчивость систем.
Т-компонент теории состоит во введении способа измерения изменчивости, или часов и параметрического времени в описание систем. Параметрическое время предлагается понимать как образ меняющихся объектов при отображении процесса изменчивости в линейно упорядоченное, обладающее метрикой (как правило, числовое) множество. Обычно изменчивость избранного объекта принимают за эталон и с ее помощью измеряют иные изменчивости. Часы и есть естественный объект, изменчивость которого служит эталоном и операциональным способом устройства нужного отображения.
L-компонент теории представляет собой формулировку закона изменчивости, выделяющую реальное обобщенное движение объектов в пространстве состояний из всех возможных движений (термин "обобщенное движение" употреблен как синоним изменчивости объектов).
Для многих областей естествознания формулировка законов изменчивости составляет цель построения теории. Эта цель недостижима без корректного решения классов проблем, составляющих разработку О-,С-,S- и Т-компонентов теории. В методологии естествознания наименее разработаны С- и Т-компоненты. Существует тесная взаимосвязь между выбором этих компонентов и способом получения L-компонента. По А.А.Шарову (1996), закон движения это есть описание изменчивости исследуемого объекта с помощью изменчивости эталонных часов, поэтому от степени адекватности выбора часов исследуемым процессам может зависеть способность обнаружить закон изменчивости. Законы движения влияют на способы измерения времени в тех областях, где Т- и L-компоненты теории согласованы (Время и современная физика, 1970), например: одновременность двух событий или порядок их следования, равенство двух длительностей должны определяться таким образом, чтобы формулировка естественных законов была бы настолько простой, насколько это возможно (Poincare, 1898).
По-видимому, трудности получения уравнений движения во многих областях науки связаны как раз с несогласованностью физических способов измерения времени с нефизической природой исследуемых закономерностей.
Наконец, I-компонент теории составляет набор интерпретирующих процедур. Во-первых, это процедура сопоставления формальным, как правило, математическим конструкциям теории абстрактных понятий предметной реальности, во-вторых, - правила соотнесения предметных понятий с экспериментально измеряемыми величинами.
I-компонент - обязательная составная часть теории. Именно
интерпретирующие процедуры превращают формальную теоретическую схему в науку о
реальности. Возможности развития I-компонента теории, особенно в части
экспериментальных идентификаций, зависят не только, а порою не столько от
достоинств теорeтической схемы и ее создателей, сколько от "суммы технологий",
достигнутой всей цивилизацией.
Интерпретационные процедуры
крайне неоднозначны. Разработка I-компонента часто оказывается наиболее трудным
и самым уязвимым этапом создания работающей теории.
Поговорим
подробнее о начальных этапах создания теории: выборе элементарных объектов и
способов их изменчивости. Соответствующие компоненты теории получили название
"структурных принципов" (Newell, Simon, 1987). Приведу примеры
структурных принципов:
Атомистическое учение.
Материальные точки в фазовом пространстве положений и скоростей в классической
механике.
Амплитуды вероятностей в бесконечномерном гильбертовом пространстве квантовой
механики.
Планетарная модель атома, строение атомного ядра.
Мир элементарных частиц и физических полей.
Концепция физического вакуума.
Гео- или гелиоцентрическая системы ближнего космоса.
Космология расширяющейся Вселенной.
Параллельные Вселенные Эверетта.
Клеточная теория организмов.
Бактериальная природа инфекционных болезней.
Дискретная природа биологической наследственности.
Популяционная, трофическая и др. структуры экосистем и биосферы Земли.
Тектоника плит в геологии. Оболочечная структура земных недр.
Классовая теория общества.
Структурные принципы на многие годы определяют рамки, в которых функционируют целые науки. Структурные принципы представляют "само собой разумеющуюся", часто не осознаваемую альтернативной, неотрефлексированную, но обязательную часть любого знания. Статус самих принципов весьма различен - от строгих научных фактов до символов веры и явных заблуждений. Так, атомистической гипотезе Демокрита около 2400 лет, но еще около 100 лет назад не угасал драматический спор великих Л.Больцмана и Э.Маха о том, действительно ли атомы существуют. Около 100 лет понадобилось, чтобы гипотеза Г.Менделя о дискретных единицах генетического кода воплотилась в образе двойной спирали дезоксирибонуклеиновой кислоты.
- УРАВНЕНИЯ
ДВИЖЕНИЯ ИЛИ ЭКСТРЕМАЛЬНЫЙ ПРИНЦИП?
Одна из главных задач теоретического знания - формулировка фундаментальных законов изменчивости систем. Главный для меня мотив применения теории систем при решении этой задачи - надежда обнаружить пути вывода, а не угадывания законов изменчивости.
Существует не так уж много вариантов формального представления фундаментальных законов в теоретическом естествознании. Самый распространенный из них, - так называемые, уравнения движения. Например, уравнения Ньютона в классической механике, уравнение Шредингера в нерелятивистской квантовой механике, уравнение Дирака для релятивистского случая, уравнения Эйнштейна в общей теории относительности: Уравнение движения - это постулат, изобретенный гением, имя которого становится именем фундаментального закона.
Другой распространенный вариант - формулирование экстремального принципа (Левич, 2004а). Например, в физике известны принцип наименьшего времени распространения света П.Ферма, принцип наименьшего действия П.Мепертюи, принцип максимальной энтропии, принцип минимума производства энтропии: В биологии известны принцип наибольшей приспособленности Ч.Дарвина, принцип максимальной экспансии, более дюжины экстремальных экологических принципов1) и.т.п. Угадывание постулата-уравнения заменяет в теориях, основанных на экстремальных принципах, угадывание (т.е. то же постулирование) функции или функционала, поиск экстремума которых методами вариационного исчисления приводит к описанию движения или развития исследуемой системы. Теории, построенные с помощью постулатов-уравнений или постулатов-функционалов, как правило, эквивалентны друг другу. А именно, вариационные методы позволяют для любого заданного функционала выписать уравнения движения в форме уравнений Эйлера-Лагранжа, а для любого уравнения движения можно подобрать функционал, для которого оно является уравнением Эйлера-Лагранжа.
Однако, экстремальные принципы, на мой взгляд, обладают большей обобщающей и эвристической силой. Рассмотрим пример камня, брошенного под углом к горизонту. Почему он движется по параболе? Объясняя явление, можно указать на квадратичное уравнение равнопеременного движения. Само это уравнение представляет следствие второго закона Ньютона для тела, движущегося под действием постоянной силы. Возможно и более общее объяснение - через движение по геодезической линии, которая является решением уравнения Эйнштейна в общей теории относительности. И уравнение Ньютона, и уравнение Эйнштейна могут быть получены из принципа наименьшего действия. Однако, уравнение равнопеременного движения относится к узкому классу движений под действием постоянной силы, второй закон Ньютона описывает движения под действием произвольных сил в слабых полях и с невысокими скоростями, уравнение Эйнштейна уже не связаны и этими ограничениями, а принцип наименьшего действия применим ко всем формам механического, электромагнитного и ряда других движений.
Мысль о том, что "природа действует простейшим образом", чрезвычайно стара и послужила источником многих научных идей и методических приемов. Всем экстремальным принципам присущи две основные черты: крайний лаконизм и простота и, в то же время, крайне общий и универсальный характер (Голицын, Левич, 2004). В XIX веке установилась позитивистская точка зрения, согласно которой экстремальные принципы - суть только изящная и компактная упаковка для большого числа опытных фактов, не вносящая ничего нового в уже известные законы. Научная революция XX века, вызванная в физике теорией относительности и квантовой механикой, привела к пересмотру роли и места экстремальных принципов. Требования релятивистской инвариантности удается удовлетворить наиболее последовательным образом, только исходя из вариационных формулировок законов природы. Сложилось убеждение, что основные законы физики (а весьма вероятно, что и любой другой науки) должны иметь форму экстремальных принципов (Полак, 1960).
Открытие экстремальных принципов в свое время породило надежду подойти к законам природы не только "снизу", путем индукции, обобщения фактов, но и "сверху", путем дедукции от экстремальных принципов. Л.Эйлер, в частности, считал, что для этого нужно только путем общих "метафизических" рассуждений найти ту величину, которую "экономит" природа в данной области знания (т.е. "целевую функцию", "функционал") и сформулировать соответствующий экстремальный принцип. В скрытом виде этот принцип содержит все нужные законы, и получить их в явной форме - дело простой математической ловкости. Несмотря на соблазнительную простоту этой программы, реализовать ее ни разу не удалось - ни самому Эйлеру, ни тем, кто пытался следовать за ним. Причина этого достаточно очевидна: не существовало никакого регулярного метода для отыскания экстремизируемой величины. Механике и оптике в этом смысле "повезло": соответствующие величины были для них достаточно простыми и, в сущности, могли быть найдены путем перебора. Но уже в термодинамике максимизируемая величина - энтропия - не обладала ни простотой, ни достаточно очевидным физическим смыслом. После ряда неудач программа Эйлера по отысканию законов природы "сверху" была заброшена. Более того, сами вариационные принципы были взяты под подозрение и "урезаны в правах" вследствие своего рода "телефобии", которой была заражена позитивистски настроенная наука.
Позднее незаметно и, как это часто бывает, без лишней рефлексии наука вновь полностью вернулась к идеям экстремальности. Широкое распространение (Gzyl, 1995) в науках естественного и гуманитарного циклов получил принцип максимума энтропии. С его помощью решают задачи в статистической физике, экологии, математике, лингвистике, кибернетике, экономике, психологии, теориях коммуникаций, надежности, распознавания образов и т.д. Основная проблема в применении этого принципа состоит в отсутствии явных процедур для сопоставления каждой из исследуемых систем адекватного ее природе энтропийного функционала. Даже в прародительнице энтропии - статистической физике - подходы к расчету энтропии в интересующих исследователя случаях крайне ограничены (как сетовал И. Пригожин (1985, с. 93), "формулировка второго начала с точки зрения современного физика представляет собой скорее программу, чем утверждение, допускающее однозначную интерпретацию, так как ни Томпсон, ни Клаузиус не указали точный рецепт, позволяющий выразить изменение энтропии через наблюдаемые величины"). Поэтому обычная практика при работе с принципом максимума энтропии состоит в постулировании для исследуемой системы какого-либо аналога формул Больцмана или Шеннона. Наиболее последовательно указанная тенденция проявляет себя в, так называемом, формализме Джейнса. Метод исследования систем Эдвина Томсона Джейнса состоит из нескольких рекомендаций (Jaynes, 1957):
1. Сопоставить допустимым состояниям системы определенные значения вероятности их реализации.
2. Сформулировать в виде равенств ограничения на макропараметры системы (например, законы сохранения энергии, числа частиц и т.д.).
3. Отыскать равновесное состояние системы методом множителей Лагранжа как решение задачи на условный максимум с функционалом в форме шенноновской энтропии.
Появившись в конце 60-х годов прошедшего века в статистической физике, формализм Джейнса прошествовал по многим областям знания, добавив к проблеме обоснования энтропийного функционала и проблему адекватного выбора ограничений на его экстремум, поскольку до решения вариационной задачи не известно, для каких макропараметров должны выполняться ограничения в виде строгих равенств.
Но почему же в мире действуют экстремальные принципы? Готфрид Вильгельм Лейбниц считал - потому, что мы с вами живем в "лучшем из миров". Я бы хотел додумать эту мысль - в чем конкретно наш мир так хорош, что в нем действуют экстремальные принципы? Движет мной не только любопытство, но и потребность науки в поиске законов изменчивости мира, особенно в тех исследовательских областях, в которых гениальное угадывание фундаментальных уравнений еще не свершилось.
3. МАТЕМАТИКА ДЛЯ ТЕОРИИ СИСТЕМ
Уверенность в том, что "книга природы написана языком математики", выразил еще Галилей. С тех времен познание законов - устойчивых, повторяющихся, воспроизводимых связей в явлениях природы - как правило, сопряжено с определенными математическими структурами.
И уравнения движения, и экстремальные принципы - это инструменты теоретического естествознания. Единственный путь построения формальной теории, открытый для теоретика, состоит в подборе математической структуры, удачно описывающей интересующий исследователя фрагмент реальности. Например, эмпирическое пространство описывают трехмерным многообразием действительных чисел. Совокупность "точечных" событий мира можно описать четырехмерным многообразием Минковского с псевдоевклидовой метрикой или метрикой, учитывающей риманову кривизну. Совокупность состояний атома принято описывать векторами в бесконечномерном гильбертовом пространстве или - равносильным образом - полем бесконечных матриц. Экологическое сообщество удобно описывать множествами со структурой разбиений.
Да и сама математика, по словам многоголового автора эпохи Н.Бурбаки (1963), представляет собой переплетение нескольких математических структур - алгебраической, топологической и структуры порядка. Длительный, многовековой процесс математизации естественных наук показал и то, что каждая фундаментальная естественнонаучная теория в своих основаниях связана с весьма специфическими разделами математики. Например, чтобы сформулировать законы механики, Ньютону пришлось создать дифференциальное и интегральное исчисления; теория поля неотделима от уравнений в частных производных и векторного анализа; статистическая физика - от теории вероятностей; теория относительности - от тензорного исчисления; квантовая механика - от теории бесконечномерных гильбертовых пространств.
В современной науке возникли предпосылки - идеи и разработки - для
возврата к программе Эйлера. К концу XX столетия сформировалась область
математического знания, позволяющая оперировать полными совокупностями
одинаково структурированных множеств, а также устанавливать соответствия между
классами структурированных объектов с различной аксиоматикой. Эта область -
теория категорий и функторов (Букур, Деляну, 1972; Цаленко, Шульгейфер, 1974;
Голдблатт, 1983; Джонстон, 1986) - включает в себя и способы сравнения по
"степени структурированности" различных состояний моделируемых
систем. Другими словами, на самом абстрактном уровне описания систем возникает
конструктивная возможность рассчитывать количественные характеристики состояний
и с их помощью выявлять экстремальные состояния системы (Акчурин, 1974;
Месарович, Тахикара, 1978; Левич, 1982; Егоров и соавт., 1990; Lequizamon,
1993; Levich, Solov'yov, 1999; Левич, 2000).
До самого недавнего времени наиболее общими рамками (явно сформулированными или неявно предполагавшимися) теоретического описания систем во всякой естественнонаучной теории были рамки теории множеств - любой объект исследований должен принадлежать некоторому множеству. Это приносило до сих пор, скажем, в физике и химии положительные результаты, поскольку в таких областях становилась автоматически применимой вся основанная на теории множеств математика. Но насколько концептуальная база теории множеств достаточна для построения теории любых систем? Не окажется ли более соответствующей специфике "не точных" наук теория категорий и функторов, альтернативная теории множеств в плане построения оснований математики?
Если в теории множеств конструкция отображения, или функции является производной и вспомогательной по отношению к самим множествам, то в теории категорий преобразования объектов (объекты - аналоги множеств) входят в аксиоматическое определение категории наравне с объектами. Более того, объекты оказываются частным, предельным случаем преобразований. Таким образом, при категорно-функторном описании систем акцент переносится с "застывших", "мертвых" состояний объектов на различные формы их движений и преобразований. Предметом исследования становятся не столько состояния систем, сколько совокупности способов их преобразований (вспомним, что именно такая черта, как постоянное обновление, смена, преобразование материального субстрата, есть одно из отличий большинства естественных и антропных систем).
Одними из первых в области приложения конструкций теории категорий к описанию и анализу естественных процессов и систем были работы школы математической биологии Н.Рашевского. В начале пятидесятых годов XX века в работах Н.Рашевского были заложены основы абстрактной биологии, существенно использующей средства теории категорий для математического моделирования биологических явлений и процессов. Концепции, введенные Н.Рашевским, получили дальнейшее развитие в работах Р.Розена, сформулировавшего принципы реляционной биологии. Р.Розен впервые применил теорию категорий с целью математического обоснования и унификации реляционной биологии и построил теорию представлений биологических систем в категориях. Абстрактный категорно-функторный подход к системному описанию биологических явлений и процессов развивался в последующие годы в нескольких направлениях различными исследователями в области математической биологии. В результате этих исследований были построены теория систем Р.Розена, описывающая существенные особенности, обусловленные взаимосвязью метаболических и генетических процессов в живой клетке; теория "молекулярных множеств" А.Бартоломея; теория организмических суперкатегорий А.Баяну, реализующая на основе теории категорий потенциал концепции организмических множеств Н.Рашевского, и энергетическая теория абстрактных экосистем К.Легизамона. Ряд биологических проблем теории систем исследовал М.Арбиб. Формальный математический аппарат теории категорий и функторов был создан С.Эйленбергом и С.Маклейном в процессе разработки алгебраических основ теории групп гомологий и когомологий, топологических комплексов, сопряженных пространств и других объектов математики. Впоследствии выяснилось, что теория категорий и функторов является универсальной формой математического познания в той его части, которая формулируется в терминах математических структур.
Две уже упоминавшиеся особенности теоретико-категорного описания систем позволяют думать, что язык теории категорий более адекватен для описания реальности, нежели язык теории множеств. Они заслуживают того, чтобы напомнить о них еще раз. Первая особенность - возможность оперировать сразу всей совокупностью одинаково структурированных множеств, что позволяет отождествить эту совокупность с пространством всех возможных состояний системы. Вторая особенность - та, что в категорию наряду со структурированными объектами равноправно и обязательно входят все допустимые их структурой способы изменения объектов, т.е. преобразования состояний системы. Это позволяет заменить теоретико-множественное идеализированное представление мира в виде "застывших" объектов на адекватное миру представление его процессами.
Итак, будем формально описывать систему категорией структурированных множеств2). Категория представляет собой объединение двух классов - класса объектов и класса морфизмов. Класс объектов - это совокупность всех одинаково структурированных множеств. На языке теории систем объект - это состояние системы. Таким образом, класс объектов представляет пространство состояний системы. Представления об изменчивости системы на языке теории категорий формализованы как изменения базового множества при сохранении его структуры.
Пространство состояний содержит все потенциально возможные состояния системы. В реальности состояния системы альтернативны: истинность одного из них исключает "одновременную" истинность других. В этом смысле пространство состояний обладает "вневременными" (или по Гуцу (2004), "безвременными") свойствами: все состояния сосуществуют в нем (независимо от момента времени, в который они реализуются), а не альтернативны. И, если назвать пространство состояний "категорным временем", то отмеченные "вневременные" свойства роднят его с понятием вечности, которая содержит в себе все возможные события "изменчивого" Мира. Реальная же изменчивость системы - последовательность состояний, или траектория в пространстве состояний - может быть названа ее "системным временем".
Класс морфизмов категории - это совокупность определенных преобразований, заданных для каждой пары объектов. На языке теории систем морфизмы - допустимые структурой системы способы изменения объектов3). Замечу, что если классы объектов каких-либо двух категорий совпадают, но допустимые преобразования в классах морфизмов различны, то мы имеем дело с различными категориями (которые описывают различающиеся системы). Например, система, для преобразования состояний которой допустимы произвольные соответствия, отличается от той, где те же множества преобразуются взаимно однозначно. Процессы, происходящие в первой системе богаче, чем во второй, - в ней допустимы переходы между состояниями с переменным числом элементов, в то время как во второй системе число элементов в разных состояниях одинаково.
4. КАК СРАВНИВАТЬ СТРУКТУРЫ
Поиск выделенных - реально осуществляющихся - состояний систем среди всех потенциально возможных в методологии экстремальных принципов требует, во-первых, умения каким-либо образом упорядочить состояния между собой на шкале "больше-меньше", "сильнее-слабее" и т.п. и, во-вторых, - выбора экстремального из этих состояний в полученном упорядочении. На языке математических структур такой поиск означает умение упорядочить структурированные множества, описывающие систему, и выбрать наиболее "сильную" (или наиболее "слабую") структуру в качестве той, что выделяет реализующееся состояние из всех возможных. Назовем сформулированное утверждение "принципом экстремальной структуры".
Теория категорий и функторов представляет аппарат, позволяющий сравнивать по "силе структур" любые структурированные множества (Левич, 1982). Метод сравнения легче всего понять, рассмотрев предельный случай структурированных множеств - множества без структуры. Для сравнения бесструктурных множеств можно использовать такую их характеристику, как количество элементов (синонимы - кардинальные числа множеств, мощности множеств). Любые два множества сравнимы по количеству элементов. Для множеств со структурой характеристика по количеству элементов неинформативна, поскольку никак не связана со структурой. Однако, само понятие количества элементов не первично, а возникает как математическая конструкция при сравнении множеств с помощью соответствий между ними. Термины "изменение объектов", "преобразование состояний", упомянутые в предыдущих абзацах, в данном контексте можно считать синонимами термина "соответствие". Частный случай соответствий представляют собой привычные функции, или отображения. Поясним примером метод сравнения множеств с помощью соответствий. Зададимся вопросом: чего (или кого) больше в некой комнате - стульев или людей? Один из способов ответить на этот вопрос - подсчитать количества стульев и людей, а затем сравнить полученные числа. Другой способ - установить соответствие между людьми и стульями, например, попросив, чтобы каждый из присутствующих в комнате людей занял один стул. После того, как люди рассядутся, мы сможем точно ответить, больше ли в комнате стульев или людей, в зависимости от того, остались ли свободными стулья или - стоящими без места люди. Замечу, что при этом мы можем не знать ни количества стульев, ни количества людей в комнате. Повторю, что процедура сравнения множеств с помощью соответствий носит более общий характер, чем подсчет количества элементов в множествах.
Применение сравнения структурированных множеств с помощью преобразований (соответствий), сохраняющих имеющуюся структуру, порождает "структурные числа" структурированных множеств (Левич, 1982), обобщающие понятия кардинального числа, или "количества элементов", используемые для множеств без структуры (структурные числа превращаются в обычные количества элементов для частного случая бесструктурных множеств). Однако, структурные числа - это не конечная остановка на нашем пути к методу поиска экстремальных структур. Дело в том, что в отличие от бесструктурных множеств, которые всегда сравнимы с помощью числа элементов в них, структурированные множества могут оказаться не сравнимыми между собой, поскольку необходимые для сравнения соответствия могут существовать не для любой пары структурированных множеств. Это значит, что траектория "движения" системы от одного состояния к другому - "более сильному" - состоянию может прерваться из-за невозможности сравнить состояния, чтобы применить экстремальный принцип.
В математике существует способ обойти создавшуюся трудность с помощью метода "представлений". Метод состоит в замене объектов и преобразований одной категории объектами и преобразованиями другой. Делается это так, чтобы задаваемые структурой первой категории связи между объектами и между их преобразованиями не были нарушены. Вне математики подобный метод называют "методом аналогий". Собственно, представления из одной категории в другую и названы функторами, фигурирующими в названии теории наравне с категориями. Для любой категории структурированных множеств существует особый функтор в категорию множеств без структуры. Этот функтор сопоставляет каждому структурированному множеству совокупность его преобразований, допустимых заданной на множестве структурой. Таким образом в теории категорий естественно возникает числовая функция состояния - внутренне присущая теории категорий характеристика объектов категории - количество допустимых преобразований. Оказывается, что количества этих преобразований упорядочены так же, как структурные числа множеств (если структурные числа сравнимы). Доказательство этой теоремы, а также строгие формулировки приводимых здесь утверждений содержатся в работе, специально посвященной применению теории категорий и функторов для описания систем (Левич, 1982). Предложенный метод сравнения структурированных множеств называется "функторным сравнением структур", а количество допустимых преобразований структурированных множеств - их "функторными инвариантами", или "функторными числами"4). Замечу, что функторные числа представляют собой следующее за структурными числами обобщение понятия "количества элементов" (Левич, 2000). Согласно этому обобщению, "правильное" сравнение структурированных множеств состоит в сравнении количеств их преобразований, не нарушающих заданную на множествах структуру, (а не в сравнении мощностей базовых для структуры множеств). Для методологии применения экстремальных принципов оказывается очень важным, что функторные числа в отличие от структурных чисел сравнимы для любых структурированных множеств, т.е. экстремальный принцип, сформулированный на языке функторных чисел, применим для сравнения любых состояний исследуемой системы.
Уже проведенные и дальнейшие рассуждения должны продемонстрировать путь по созданию метода расчета (а не угадывания) экстремизируемых функций при применении методологии экстремальных принципов. На этом пути нам необходимо сделать следующий шаг. Количество допустимых структурой системы преобразований зависит от двух характеристик структурированного множества: от количества элементов в нем и от заданной на множестве структуры. Если мы хотим, чтобы экстремизируемая функция отражала именно свойства структуры, то вместо общего количества допустимых преобразований необходимо использовать удельное их количество (т.е. количество, приходящееся на один элемент множества всех преобразований). Величина, обратная введенному таким образом удельному инварианту, оказывается равной числу неэквивалентных (во вполне определенном математическом смысле) преобразований5). Можно показать, что величины, обратные к удельным функторным инвариантам, упорядочены так же, как сами функторные инварианты, т.е. задачу о поиске экстремальных состояний систем они способны решать так же, как предшествующее обобщение чисел.
5. ЭНТРОПИЙНЫЙ ЭКСТРЕМАЛЬНЫЙ ПРИНЦИП
Полученная конструкция, связанная с функторными инвариантами структуры системы, известна в науке под несколько другим именем. Чтобы понять это, назовем сохраняющуюся при определенных допустимых преобразованиях структуру состояния системы его "макросостоянием", а допустимые этой структурой преобразования - его "микросостояниями". В новых терминах величина, обратная к удельному инварианту, оказывается количеством неэквивалентных микросостояний, соответствующих заданному макросостоянию. Позволим себе теперь взять логарифм (по основанию, большему единицы, чтобы упорядочение прологарифмированных величин не изменилось на противоположное) от этого числа микросостояний. В полученной конструкции искушенный читатель сразу узнает ремейк больцмановского определения энтропии. Поэтому назовем логарифм числа неэквивалентных допустимых преобразований данного состояния системы его "обобщенной энтропией" (синонимы: теоретико-категорная, функторная, структурная энтропия). Все сказанное выше позволяет считать обобщенную энтропию, во-первых, мерой структурированности состояний системы (можно уточнить - мерой удаленности состояния от его бесструктурного аналога, энтропия которого равна нулю) и, во-вторых, функцией состояния, непосредственно связанной с обобщением понятия о количестве элементов для структурированных множеств. Замечу, что возникшая конструкция энтропии получена вне каких-либо статистических или вероятностных предпосылок. Величина обобщенной энтропии может быть строго рассчитана для состояний любых систем, эксплицируемых математическими структурами. Она может быть вычислена для состояний, описываемых множествами с любым - большим или малым - количеством элементов. Вероятностные интерпретации могут возникать при рассмотрении определенных типов систем, но они совершенно не обязательны для расчетов энтропии. Для некоторых математических структур, например, для множеств с разбиениями, формула для обобщенной энтропии близко совпадает с формулами для энтропии идеального газа Л.Больцмана или для энтропии каналов связи К.Шеннона. Функторные инварианты многих (а, возможно, и всех) математических структур могут быть выражены через инварианты ассоциированных со структурами разбиений. Возможно, этот математический факт объясняет "вездесущность" появления энтропии при описании самых различных естественных и антропных систем. А упомянутая выше связь конструкции энтропии с обобщением понятия "количество элементов" может служить методическим обоснованием методологического принципа, согласно которому "числа правят миром". Таким образом появляется строгий метод расчета энтропии систем, поддающихся (или - нет, см. сноску 2) формальному описанию с помощью математических структур, и алгоритм порождения целевых функций для экстремальных задач6).
В рамках поставленной задачи по поиску экстремального принципа проследим цепочку возникших в ходе исследования формулировок:
1) Следует отыскивать экстремальное состояние системы.
2) Для системы, моделируемой структурированными множествами, следует отыскивать состояние с экстремальной (например, с наиболее "сильной") структурой.
3) Следует отыскивать состояние системы, обладающее наименьшим удельным функторным инвариантом или наибольшим количеством неэквивалентных допустимых структурой системы преобразований.
4) Следует отыскивать состояние, обобщенная энтропия которого максимальна.
6. СИСТЕМЫ И РЕСУРСЫ
Осталось сделать заключительный шаг на пути формулирования искомого экстремального принципа. Этот шаг не следует из предшествующих построений, а связан с таким свойством изменяющихся систем, как открытость по отношению к потребляемым ресурсам. Я исхожу из исследовательской установки, утверждающей, что любые изменяющиеся системы потребляют некоторый ресурс. Такое утверждение очевидно для систем, открытых по отношению к энергии или веществу, менее очевидно - для изолированных систем, например, если изменение представляет собой механическое движение закрытой системы. (Ресурсом, "потребляемым" такой движущейся системой, можно считать (Левич, 1996) необходимое для движения пространство.) Впрочем, несогласный с моей установкой читатель может полагать, что рассмотрен лишь класс открытых в его понимании систем. Я постулирую, что наша Вселенная открыта для субстанциональных потоков, принадлежащих глубинным уровням строения материи и, возможно, не идентифицируемых современными экспериментальными технологиями. Любые изменения (и любое движение, в частности) прямо или косвенно индуцированы этими потоками, которые являются ресурсами, "потребляемыми" меняющимися системами. Именно потребляемые системой ресурсы задают последовательность состояний, лукаво заменившую подлежащий определению термин "время", в определение системного времени.
"Ресурс" субстанциональных потоков не только порождает последовательность смены состояний, но и ограничивает степень их изменчивости, поскольку без ограничения по ресурсам требование реализации максимальной структуры свелось бы к неограниченной экспансии системы. Из-за этого в экстремальном принципе, порождающем закон изменчивости, экстремум обязательно должен быть условным и появление представлений об ограничивающих ресурсах необходимо, а не случайно.
В силу сказанного искомый принцип может звучать следующим образом: из заданного состояния система переходит в такое состояние, для которого обобщенная энтропия максимальна в пределах, задаваемых доступными системе ресурсами. Заметим, что среди состояний, в которые переходит заданное состояние, рассматривается и оно само. Упоминание об ограничениях ресурсами - основное отличие приведенного принципа от Второго начала термодинамики (действующего исключительно в закрытых системах). Безусловный максимум энтропии, требуемый Вторым началом, приводит к однородному распределению характеристик системы, называемому "тепловой смертью". Условный экстремум энтропии для открытых, но ограниченных по ресурсам систем влечет неоднородные распределения. Причем степень их неоднородности может быть сколь угодно велика в зависимости от различий компонентов исследуемой системы по "потребностям" в ресурсах, ограничивающих развитие (Левич, 1980).
Предложенный экстремальный принцип имеет важную темпоральную интерпретацию. Для меня понятие времени является синонимом изменчивости объектов в мире. Часы есть способ измерения, или параметризации этой изменчивости. Системным временем названа последовательность состояний меняющейся системы. Каждому последовательному состоянию системы - "моменту" ее системного времени - в рамках теоретико-категорного описания соответствует "сила структуры" этого состояния. Согласно принятому принципу максимальной структуры "сила структур" возрастает монотонно системному времени. Время, задаваемое структурными числами состояний, можно назвать "структурным временем" системы. Энтропийный экстремальный принцип влечет монотонное увеличение энтропии состояний вдоль траектории изменчивости (последовательности состояний) системы. Тем самым, значения энтропии параметризуют изменения системы. Другими словами, возникает энтропийная параметризация времени, или энтропийное время систем (Левич, 2004б). Интервал энтропийного времени, то есть приращение энтропии есть логарифм величины, показывающей во сколько раз изменилось число допустимых структурой системы неэквивалентных преобразований.
7. МЕТОД ТЕОРИИ СИСТЕМ ДЛЯ ПОИСКА КОМПОНЕНТ ДИНАМИЧЕСКИХ ТЕОРИЙ
Резюмирую полученные результаты:
1) Деятельность теоретика-модельера по описанию естественных и антропных систем базируется на подборе подходящих математических структур. Для оперирования классами структурированных множеств предназначена математическая теория категорий и функторов.
2) Система может быть формально описана категорией, содержащей класс объектов - состояний системы - и класс морфизмов - допустимых структурой системы способов преобразований одних состояний в другие.
3) Состояния систем, описываемых математическим структурами, могут быть упорядочены методами теории категорий по "степени их структурированности".
4) Постулировано, что динамика системы определена принципом максимальной структуры: из заданного состояния система переходит в то состояние, структура которого максимальна (в пределах доступных системе ресурсов).
5) Предложен строгий метод, позволяющий каждому состоянию системы сопоставить числовую функцию, значения которой монотонны степени структурированности состояния и могут служить ее мерой.
Значение этой функции рассчитывают через количество допустимых системой неэквивалентных преобразований.
Эта функция обобщает понятие "количество элементов", определенное для бесструктурных множеств, на множества со структурой.
Эта функция может быть интерпретирована как обобщение статистической энтропии и может быть названа обобщенной (структурной, функторной, теоретико-категорной) энтропией.
Структурная энтропия получена вне каких-либо статистических или вероятностных представлений.
Принцип максимальной структуры должен быть переформулирован в этом случае как принцип максимума (обобщенной) энтропии. От Второго начала термодинамики его отличает применение к открытым (в самом общем смысле) системам и обязательное требование ограничений по ресурсам.
6) Введены и сопоставлены представления о собственных временах систем: время категорное, время системное, время структурное, время энтропийное и время метаболическое.
Категорное и системное времена описывают качественные аспекты изменчивости систем. Структурное, энтропийное и метаболическое времена предоставляют способы количественного измерения изменчивости, т.е. вводят различные типы часов для измерения собственного времени систем7). Экстремальный принцип может быть переформулирован как принцип минимального метаболического времени систем.
7) Принцип максимума энтропии эквивалентен:
ћ
принципу
реализации экстремального состояния системы;
ћ
принципу
реализации максимальной структуры ("сложности",
"разнообразия", "структурной информации" и т.п.);
ћ
принципу
максимальной (обобщенной) экспансии системы, т.е. ее "количественному"
росту;
ћ
принципу
наименьшего "потребления" ограничивающих ресурсов или их определенной
комбинации, которую можно назвать "обобщенной свободной энергией"
системы;
ћ принципу минимального метаболического времени системы.
8) Построены компоненты динамической теории:
ћ Элементарные объекты - множества со структурой.
ћ Совокупность элементарных объектов составляет класс объектов категории, описывающей систему, и задает пространство состояний системы.
ћ Способы изменчивости элементарных объектов - их преобразования из класса морфизмов описывающей систему категории.
ћ Интервал времени, измеряющий изменения при переходе системы из одного состояния в другое "энтропийными часами", есть разность обобщенных энтропий начального и конечного состояний.
ћ Закон изменчивости - экстремальный принцип, использующий свойство упорядоченности объектов категории.
Полученные результаты позволяют предложить для отыскания законов изменчивости систем формализм, основанный на принципе максимума обобщенной энтропии. Этот формализм развивает формализм Джейнса и состоит из следующих этапов8):
ћ
Выбор математической структуры, адекватно описывающей
исследуемую систему.
ћ
Формализация структуры в виде множеств морфизмов и объектов
некоторой категории структурированных множеств.
ћ Расчет обобщенной энтропии через количества допустимых структурой неэквивалентных морфизмов. Функция обобщенной энтропии может быть строго рассчитана для любых описаний систем с помощью математических структур, т.е. целевая функция для применений экстремального принципа может быть рассчитана, а не угадана.
ћ
Формулировка ресурсных и других ограничивающих развитие
сообщества условий в виде неравенств или равенств. (Современные методы
вариационного исчисления позволяют исследовать задачи с ограничениями в виде
неравенств, а не равенств. Это, казалось бы, небольшое техническое усовершенствование
влечет радикальное расширение возможностей вариационного моделирования на
актуальные и реалистичные классы сложных
задач.)
ћ
Постановка вариационной задачи на условный экстремум
обобщенной энтропии с найденными ограничениями.
ћ
Поиск лимитирующих ресурсов и других лимитирующих факторов на
основе теоремы стратификации (Левич с соавт., 1994).
ћ
Постановка редуцированной вариационной задачи на условный
экстремум с ограничениями в виде равенств.
ћ
Формулировка закона изменчивости системы в виде аналога уравнения
Эйлера-Лагранжа полученной вариационной задачи.
СНОСКИ
1) Можно перечислить следующие предлагавшиеся целевые
функции (Фурсова и соавт., 2003): максимальный поток энергии через систему
(Lotka, 1922), максимум "силы" (Odum, Pinkerton, 1955), максимальное
рассеяние энергии (Ulanowicz, Hannon, 1987; Schneider, Kay, 1994;
Mauersberger, 1996), запасание "максимальной эксергии"
(Jørgensen, 1997), асценденция (Ulanowicz, 1986), индекс зрелости
(Pérez-España, Arreguin-Sánchez, 1999), максимизация косвенных
эффектов (Patten, 1986; 1995), максимизация биомассы (Margalef, 1968),
специальная иерархическая организация (O'Neill et al., 1986), максимум
устойчивости органического вещества (Whittaker, Woodwell, 1971), максимизация
разнообразия (Левич, 1980), минимизация диссипации энергии и "наискорейший
спуск" (А.И.Зотин, А.А.Зотин, 1999).
2) Замечу, что теоретико-категорное описание систем не
требует обязательной экспликации системы математической структурой. Возможно
"качественное" категорное описание, т.е. непосредственное
перечисление и описание состояний системы и всех переходов между ними
(морфизмов) не на математическом, а на внутридисциплинарном содержательном
языке (некоторым аналогом чего может, например, служить карта метаболических
путей живой клетки) с последующим подсчетом числа морфизмов и выбором
последовательности реализующихся состояний согласно экстремальному принципу.
Замечу, что если задана
математическая структура, то возможно задание сохраняющих ее морфизмов. Необходимость
обратного утверждения для приложений не обязательна: если заданы морфизмы, то
может и не существовать математической структуры с известной аксиоматикой,
которую они "сохраняют". Объекты "качественной категории" и
будут реализацией соответствующей заданным морфизмам структуры.
3) Экстремизируемые функционалы в механике, в теории
поля должны быть инвариантными по отношению к определенным групповым
преобразованиям, эксплицирующим требования заданных симметрий Мира. Как уже
говорилось, этих требований может быть достаточно для однозначного выбора
функционала. Можно провести аналогию между сохранением структуры и групповым
принципом симметрии, а также между соответствующими морфизмами структуры и
групповыми преобразованиями. Однако, категорный язык предоставляет гораздо более широкие возможности,
не ограниченные лишь групповыми структурами. Целевые функции и функционалы,
возникающие в теории категорий, с самого начала обладают необходимыми
свойствами инвариантности.
4) Теория категорий не просто представляет удобный
язык для описания систем, а выступает как источник строгих результатов (теорем)
при решении задачи о сравнении структурированных множеств. Метод функторного сравнения структур вряд ли
мог бы быть естественно сформулирован
вне теории категорий.
5) При конструирования понятия
"количество элементов", или мощности для бесструктурных множеств эти
множества сравнивают с помощью инъективных отображений. Структурированные
множества сравнивают с помощью инъективных
морфизмов структуры. Возникающие отношения порядка стандартным образом порождают как в классе объектов, так и в класс
морфизмов отношения эквивалентности.
На языке теории систем это
приводит к неразличимости некоторых состояний и некоторых их преобразований. Поэтому задача о подсчете
количества преобразований должна быть поставлена как задача подсчета количества
неэквивалентных морфизмов. В случае, когда преобразования образуют группу,
задача решается с помощью теоремы Лагранжа о количестве элементов в факторгруппе.
Так, например, для биекций это количество равно
, где числитель -
число биекций для множества из 
элементов, а
знаменатель - число биекций, сохраняющих разбиение исходного множества на 
классов (сохраняющие разбиение биекции составляют нормальную
подгруппу группы биекций для множества, объединяющего классы эквивалентности).
Можно высказать
предположение: для подсчета числа неэквивалентных морфизмов в полугруппе (любая
категория есть частичная полугруппа) справедлив аналог теоремы Лагранжа. Точнее
достаточно, чтобы соответствующая теорема выполнялась не в произвольной
полугруппе, а в полугруппе, порождаемой категорией структурированных множеств
(или хотя бы - категорией множеств со структурой разбиений).
6) В зависимости от области приложения энтропийного
подхода возникают самые разнообразные толкования энтропии: как меры
неопределенности (Tribus, 1961); меры 'незнания' истинного микросостояния
системы, находящейся в известном макросостоянии (Gell-Mann, 1994);
меры порядка-беспорядка, сложности и организованности (Хайтун, 1996); меры
неточности контроля над частицами (Губин, 1997); а также как разновидности
функционала действия в гамильтоновой механике (Хазен, 1998).
Подобные
интерпретации представляются вторичными по отношению к той, которую вкладывал в
термин 'энтропия' Р.Ю.Клаузиус (Clausius, 1865), переводя его с греческого
τροπη как 'превращение' или, имея в виду роль второго
закона термодинамики для развития Мира, как 'эволюцию'. Происхождение энтропии
из анализа допустимых системой преобразований сохраняет эту традицию.
7) Конструкции структурного и энтропийного времени
включают целый ряд произвольно выбранных формальных шагов. Например, сравнение
структурированных множеств, описывающих состояние систем, производится с помощью
инъективных преобразований (по аналогии со сравнением по мощностям
неструктурированных множеств). В качестве представления из категории структурированных в категорию неструктурированных множеств,
порождающего энтропийное время, в функторном методе сравнения структур выбран
основной одноместный функтор. Этот функтор оказался монотонным по упорядочению
структур и его значения оказались сводимыми к энтропиеобразным функциям.
Инъективные преобразования, лежащие в основе упорядочения структур,
представляют собой однозначные вложения. Т.е. эволюция систем, согласно
экстремальному принципу, идет от подобъектов к объектам. Такой тип эволюции
можно назвать консервативным или казуальным: достигнутые состояния не пропадают
(подобъект "сохраняется" в объекте) и новые состояния возникают не на
пустом месте, а из своих "менее сильных" (в смысле упорядочения по
силе структуры) предшественников. Использование для сравнения состояний вместо
инъективных иных типов преобразований так
же, как и отыскание иных функторов, монотонно представляющих упорядочение
структур числами, могут породить иные типы структурного и энтропийного времени
и иные типы эволюции систем. Следует отметить, что выбор упорядочивающих морфизмов - вопрос экспликации
операциональных способов выяснения принадлежности элементов объектам. Тем
самым, вопрос об адекватной параметризации изменчивости становится зависимым от
"суммы технологий, достигнутой цивилизацией" в области
экспериментальной идентификации объектов мира.
8) Пример применения предложенного формализма в
экологи сообществ продемонстрирован в нескольких публикациях (Левич и соавт,
1997; Levich, 2000; Левич, 2004в).
ЛИТЕРАТУРА
АКЧУРИН И.А. Единство естественнонаучного знания. М.: Наука, 1974. 207с.
БУКУР И., ДЕЛЯНУ А. Введение в теорию категорий и функторов. М.: Мир, 1972. 259с.
БУРБАКИ Н. Архитектура математики // Очерки по истории математики. М.:
Мир, 1963. С. 245-259.
Время и современная
физика. Под ред. Дж.Ригала. М.: Мир, 1970.
ГОЛДБЛАТТ Р. Топосы. Категорный анализ логики. М.: Мир, 1983. 488с.
ГОЛИЦЫН Г.А., ЛЕВИЧ А.П. Вариационные принципы в научном знании // Философские науки. 2004. ?1. С. 105-136.
ГУБИН В.Б. История с энтропией //
Философские науки. 1997. Вып. 3-4. С. 98-120.
ГУЦ А.К. Элементы теории времени. Омск: Изд-во Наследие. Диалог-Сибирь, 2004. 364с.
ДЖОНСТОН П.Т. Теория топосов. М.: Наука, 1986. 440с.
ЕГОРОВ А.А., ОЩЕПКОВ А.П., СТЕПАНОВ Б.В. Категорные методы в автоматизированных системах управления. Л.: ЛТИ им. Ленсовета, 1990. 81с.
ЗОТИН А.И., ЗОТИН А.А. Направление, скорость и механизмы прогрессивной
эволюции: Термодинамические и экспериментальные основы. М.: Наука, 1999. 320с.
ЛЕВИЧ А.П. Структура экологических сообществ. М.: Изд-во Моск. ун-та, 1980. 180с.
ЛЕВИЧ А.П. Теория множеств, язык теории категорий и их применение в теоретической биологии. М.: Изд-во Моск. ун-та, 1982. 190с.
ЛЕВИЧ А.П. Время как изменчивость естественных систем: способы количественного описания изменений и порождение изменений субстанциональными потоками // Конструкции времени в естествознании: на пути к пониманию феномена времени. Часть 1. Междисциплинарное исследование. М.: Изд-во Моск. ун-та, 1996. С. 149-192.
ЛЕВИЧ А.П. Энтропия как мера структурированности сложных систем //
Время, хаос и математические проблемы. Вып.
ЛЕВИЧ А.П. Почему
выполняются экстремальные принципы для энтропии и времени? // Пространство и
время: физические, психологическое, мифологическое II. М.: КЦ "Новый Акрополь, 2004а. С. 87-94
ЛЕВИЧ А.П. Энтропийная параметризация времени в общей теории систем // Системный подход в современной науке. М.: Прогресс-Традиция, 2004б. С.167-190.
ЛЕВИЧ А.П. Принцип максимума энтропии и теоремы вариационного моделирования // Успехи современной биологии. 2004в. Т.124. ?6. С. 3-21.
ЛЕВИЧ А.П. Почему
скромны успехи в изучении времени // Пространство и время: физическое,
психологическое, мифологическое III. М.: КЦ
"Новый Акрополь", 2005. С.63-74.
ЛЕВИЧ А.П., АЛЕКСЕЕВ В.Л., НИКУЛИН В.А. Математические аспекты вариационного моделирования // Математическое моделирование. 1994. Т.6. ?5. С. 55-71.
ЛЕВИЧ А.П., МАКСИМОВ В.Н., БУЛГАКОВ Н.Г. Теоретическая и экспериментальная экология фитопланктона: управление структурой и функциями сообществ. М.: Изд-во НИЛ, 1997. 192с.
МЕСАРОВИЧ Н., ТАХИКАРА Я. Общая теория систем: математические основы. М.: Мир, 1978. 312с.
ПОЛАК Л.С. Вариационные принципы механики, их развитее и применение в физике. М.: Физматгиз. 1960. 600с.
ПРИГОЖИН И. От существующего к возникающему. М.: Прогресс, 1985. 328c.
ФУРСОВА П.В., ЛЕВИЧ А.П., АЛЕКСЕЕВ В.Л. Экстремальные принципы в математической биологии // Успехи современной биологии. 2003. Т. 123. ?2. С. 115-137.
ХАЗЕН А.М. Введение
меры информации в аксиоматическую базу механики. М.: Рауб, 1998. 168c.
ХАЙТУН С.Д.
Механика и необратимость. М.: Янус, 1996. 448 с.
ЦАЛЕНКО М.Ш., ШУЛЬГЕЙФЕР Е.Г. Основы теории категорий. М.: Наука, 1974. 256с.
шаров а.а. Анализ типологической концепции времени
С.В.Мейена. // Конструкции времени в естествознании: на пути к пониманию
феномена времени. М.: Изд-во Моск. ун-та, 1996. С.96 - 111.
CLAUSIUS R. Über verschiedene für die
Anwendung bequeme Formen der Hauptgleichungen der mechanischen
Wärmetheorie //Ann. Phys. Folge 2. 1865. Bd. 125. S. 353-400.
GELL-MANN M. The quark and the jaguar: adventures in
the simple and the complex.
GZYL M. The method of maximum
Entropy.
JAYNES E.T. Informational theory and
statistical mechanics // Phys. Rev. 1957. V.106. Pp. 620-630.
JØRGENSEN S.E.
Integration of Ecosystem Theories: a Pattern 2nd..
LEQUIZAMON
LEVICH A.P.
Variational modelling theorems and algocoenoses functioning principles //
Ecological Modelling. 2000. V. 131. Pp. 207-227.
LEVICH A.P., SOLOV'YOV A.V.
Category-functor modeling of natural systems // Cybernetics and Systems. 1999.
V.30. No 6. Pp. 571-585.
LOTKA A.J. Contribution to the energetics of
evolution // Proc. Natl. Acad. Sci. 1922. N.8.
Pp. 14 -150.
MARGALEF
R. Perspectives in ecological theory.
MAUERSBERGER
P. From a theory of local processes in aquatic ecosystems to a theory at the
ecosystem scale // Sci. Total Environ. 1996. 183. Pp.99-106.
NEWELL. A., SIMON H.A. The Informatics as
Empirical Investigation: Symbol and Search //ACM Turing Award Lectures. N.Y.:
ACM Press, 1987.
ODUM H.T.,
PINKERTON R.C. Time's speed regulator: the optimum efficiency for maximum power
output in physical and biological systems // Am. Sci. 1955. 43. Pp. 331-343.
O'NEILL R.V.,
DEANGELIS D.I., WAIDE J.B., ALLEN T.F.H. A Hierarchical Concept of Ecosystems.
PATTEN B.C.
Energy cycling, length of food chains, and direct versus indirect effects in
ecosystems // Ecosystem Theory for Biological Oceanography.
PATTEN
B.C. Network integration of ecological extremal principles: exergy, emergy,
power, ascendency and inderect effects // Ecological modelling. 1995. 79. Pp.
75-84.
PÉREZ-ESPAÑA
H., ARREGUIN-SÁNCHEZ F. A measure of ecosystem maturity // Ecologocal
Modelling. 1999. 119. Pp. 79-85.
Poincare H.
SCHNEIDER
E.D., KAY J.J. Life as a manifestation of the second law of thermodynamics //
Math. Comput. Model. 1994. 19. Pp. 25-48.
TRIBUS M. Information theory
as the basic for thermostatics and thermodynamics //J. Appl. Mech. Ser. E.
1961. V.28. ? 1. Pp. 1-8.
ULANOWICZ R.E. Growth and development: Ecosystems Phenomenology. N.Y.:
Springer, 1986. 203p.
ULANOWICZ
R.E., HANNON B.M. Life and production of entropy // Proc. R. Soc. Lond., 1987.
232. Pp. 181-192.
WHITTAKER
R.H., WOODWELL G.M. Evolution of natural communities // Ecosystem Structure and
Function.