Пусть имеется совокупность индивидуумов. Каждый индивидуум может находиться в одном из двух состояний: 1) состояние индивидуализма, т.е. способности заниматься только своими личными делами; 2) состояние коллективизма, т.е. способности заниматься общими для всех индивидуумов делами. По определению, заданная совокупность индивидуумов образует в произвольный момент времени коллектив, если, по крайней мере, из них (безразлично, кто именно) находятся в этот момент в состоянии коллективизма; в противном случае эта совокупность образует толпу. Ясно, что пороговое значение должно быть достаточно большим (близким к ); однако конкретное значение должно оговариваться отдельно для каждой ситуации. Задана динамика изменения состояний всех индивидуумов, в виде последовательности моментов времени, в которых происходит изменение состояния индивидуума или, что эквивалентно, последовательности интервалов времени с одним и тем же состоянием индивидуума. Требуется определить динамику изменения состояний совокупности индивидуумов в целом, т.е. последовательность моментов времени, в которых происходит изменение состояния этой совокупности (превращение из коллектива в толпу и обратно) или, что эквивалентно, последовательность интервалов времени с одним и тем же ее состоянием (коллектив или толпа).

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

Булева логическая функция (2.1) задает некоторый динамический автомат без памяти с двоичными входами и двоичным выходом . Эта функция (этот автомат) реализуется соответствующей комбинационной логической схемой, построенной из подходящих логических элементов [5-7]. Таким образом, динамический автомат без памяти, реализующий булеву логическую функцию (2.1), является абстрактной математической моделью динамического поведения заданной совокупности индивидуумов, а соответствующая комбинационная логическая схема, реализующая указанную функцию, является структурной математической моделью этого поведения.

Теперь поставленная задача может быть удобно сформулирована в терминах автоматной модели заданной системы. Именно, имеется динамический автомат без памяти с двоичными входами и 1 двоичным выходом , на котором реализуется некоторая неизвестная булева логическая функция входов (2.1), определяемая условиями задачи. Заданы входные процессы автомата . Требуется найти выходной процесс автомата .

Сформулированная задача может быть решена методами динамической теории автоматов [5,8], а именно: 1) по условиям задачи составляется булева логическая функция состояния совокупности индивидуумов (2.1); 2) по составленной функции строится комбинационная логическая схема некоторого динамического автомата без памяти, реализующая эту функцию; построенная схема является структурной математической моделью динамического поведения заданной совокупности индивидуумов; 3) полученная схема разбивается на последовательные ступени глубиной в один элемент; 4) по методике [5,8] находятся соотношения между входными и выходными процессами для всех типов элементов схемы; как показано в [8], эти соотношения полностью описываются с помощью базовых операций непрерывной логики (НЛ) (дизъюнкция) и (конъюнкция); 5) по заданным входным процессам схемы и найденным соотношениям определяются сначала процессы на выходах ее 1-й ступени, затем по ним – процессы на выходах 2-й ступени и т.д. и, наконец, процесс на выходе всей схемы. Процесс и есть искомый динамический процесс изменения состояния совокупности индивидуумов. При этом интервалы времени со значениями процесса представляет те временные интервалы, в которых заданная совокупность индивидуумов образует коллектив, а интервалы со значениями процесса - временные интервалы, где указанная совокупность представляет собой толпу. Как видно из приведенного алгоритма, моменты изменения состояния совокупности индивидуумов (моменты изменения в процессе ) выражаются через моменты изменения состояния отдельных индивидуумов (моменты изменения в процессах ) с помощью операций НЛ (дизъюнкция) и (конъюнкция).

Приступим к решению задачи, используя приведенный в §1 алгоритм.

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

где есть операция булевой дизъюнкции. Но, как следует из булевой алгебры логики [8], функция есть не что иное, как симметрическая булева логическая функция от переменных индекса , ее стандартное обозначение . Свойства таких функций для произвольных значений индекса детально изучены [8]. Подставляя в (3.1) выражение функций в виде симметрических функций , получим явное представление булевой логической функции состояния совокупности индивидуумов

выраженное только через известные функции с помощью операций булевой дизъюнкции .

Шаг 2. По составленной функции состояния системы (3.2) строим соответствующую комбинационную логическую схему динамического автомата без памяти (рис. 1). Эта схема есть структурная математическая модель изучаемой совокупности индивидуумов. Она состоит из подсхем (элементов), реализующих соответствующие симметрические логические функции , и имеющих каждая по входов , и одного -входового элемента ИЛИ, реализующего на выходе булеву логическую дизъюнкцию своих входов , являющихся выходами указанных подсхем.

Шаг 3. Разбиваем схему рис. 1 на две последовательные ступени глубиной в один элемент. 1-я ступень состоит из работающих параллельно элементов, реализующих симметрические логические функции , от входных переменных и имеющих выходы . 2-я ступень содержит единственный элемент со входами и выходом , на котором реализуется булева логическая функция – дизъюнкция входов.

Шаг 4. Соотношение между входными и выходными процессами произвольного -го, элемента 1-й ступени схемы рис. 1 дается следующей формулой динамической теории автоматов [8]. Пусть двоичные входные процессы схемы рис. 1 , являющиеся также входными процессами произвольного -го, , элемента 1-й ступени схемы и моделирующие динамику изменения состояния произвольного -го индивидуума, имеют вид произвольных последовательностей импульсов и пауз в соответствующих временных интервалах и .

Тогда двоичный процесс на выходе -го, , элемента ступени имеет вид

где и - так называемые логические определители (ЛО) ранга , составленные соответственно из моментов изменений во входных процессах (3.3) и из моментов изменений в этих процессах [8]

M – общее число элементов в каждом ЛО [общее число изменений каждого вида во входных процессах (3.3)], означающее общее число интервалов коллективизма всех индивидуумов, определяемое по формуле

в частности,

где и - дизъюнкция и конъюнкция НЛ; элемент в (3.7) опускается, если из записанного условия для суммы получается .

Соотношение между входными и выходным процессами единственного элемента 2-й ступени схемы рис. 1 – дизъюнктора дается следующей формулой [8]. Пусть двоичные процессы на входах дизъюнктора имеют общий вид, аналогичный (3.3):

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

где и - ЛО ранга , составленные соответственно из моментов изменений во входных процессах (3.8) и из моментов изменений в этих процессах и аналогичные ЛО , т.е.

Шаг 5. Процессы , на выходах 1-й ступени схемы рис. 1 уже определены выше (см. формулу (3.4)). Процесс на выходе 2-й ступени этой схемы есть процесс на выходе элемента-дизъюнктора, образующего эту ступень и получающего по своим входам выходные процессы предшествующей ступени. Таким образом, процесс можно определить по общей формуле (3.9), учитывая, что в нашем случае дизъюнктор имеет входные процессы вида (3.8), в которых моменты изменений и их число выражаются конкретно согласно формуле (3.4). В результате получим для процесса общее выражение (3.9), в котором ЛО и и число конкретизированы следующим образом

где определяется по формуле (3.6).

Согласно §1, полученный процесс , определяемый формулами (3.9), (3.12), (3.13), (3.6), и есть динамический процесс изменения состояния заданной совокупности индивидуумов. Причем в интервалах времени, где значение процесса , эта совокупность образует коллектив, а в остальных интервалах времени, где значение процесса - толпу. Из формул (3.9), (3.12), (3.13), (3.6) видно, что моменты изменения состояния совокупности индивидуумов выражаются через моменты изменения состояния отдельных индивидуумов (моменты изменения в процессах ) с помощью операций НЛ дизъюнкции и конъюнкции . Полученный результат показывает, что изученная совокупность индивидуумов в общем случае имеет интервалов времени (формула (3.13)), на которых она образует коллектив. В конкретных случаях, при конкретных числовых параметров процессов изменения состояния отдельных индивидуумов , количество интервалов может быть меньше , из-за вырождения некоторых из них. Выведенные формулы (3.9), (3.12), (3.13), (3.6) позволяют эффективно вычислять процесс изменения состояния совокупности индивидуумов при любых конкретно заданных процессах изменения состояния самих индивидуумов.

Полученное в § 3 решение задачи моделирования поведения совокупности индивидуумов представлено в аналитической форме [см. формулы (3.9), (3.12), (3.13), (3.6)]. Это позволяет проанализировать данное решение. При этом интерес представляют, в первую очередь, следующие вопросы: 1) На каких интервалах времени совокупность индивидуумов всегда образует толпу, а на каких всегда образует коллектив? 2) На каких интервалах времени совокупность индивидуумов, в зависимости от условий, может образовывать как толпу, так и коллектив? 3) Каковы эти условия?

Для ответа на поставленные вопросы обратимся к формулам (3.9), (3.12), (3.13), (3.6), описывающим динамику поведения совокупности индивидуумов. Начнем с первого вопроса. Из формулы (3.9) видно, что на интервалах времени

процесс , описывающий динамику изменения состояния совокупности индивидуумов, равен 0, т.е. эта совокупность всегда образует толпу. Подставив в (4.1) выражения ЛО и из (3.12) и вычислив эти ЛО согласно формулам (3.7), получим такие выражения для интервалов времени, на которых изучаемая совокупность индивидуумов всегда образует толпу

В этих выражениях - конъюнкция НЛ, - дизъюнкция НЛ, а ЛО и вычисляются по формулам (3.7). Далее, из формулы (3.9) видно, что на интервалах времени

если они не вырождены в точку, процесс изменения состояния совокупности индивидуумов равен 1, т.е. эта совокупность образует коллектив. В промежуточных же интервалах, если они не вырождены, этот процесс равен 0, т.е. изучаемая совокупность образует толпу. Реально, в зависимости от соотношения между элементами ЛО и (3.5) (т.е. между моментами , изменения состояния различных индивидуумов ) получаются различные соотношения между самими этими ЛО и в итоге – различные соотношения между ЛО и (3.12). Таким образом, реально интервалы времени (4.3) и промежуточные между ними интервалы могут быть как невырождены, так и вырождены, причем в последнем случае ситуация переходит в противоположную: коллектив превращается в толпу, а толпа – в коллектив. В итоге приходим к следующему выводу: в интервале времени

совокупность индивидуумов, в зависимости от условий, может образовывать как коллектив, так и толпу. Подставив в (4.4) найденные выше в (4.2) выражения для ЛО и , получим такое выражение для интервала времени

В (4.5) - конъюнкция НЛ, а ЛО и вычисляются по формулам (3.7).

Интервалы времени (4.1), в которых совокупность индивидуумов всегда образует толпу, совместно с интервалом времени (4.4), в котором эта совокупность, в зависимости от условий, может образовывать коллектив или толпу, охватывает всю временную ось. Это означает, что третий тип временных интервалов – те, в которых совокупность индивидуумов всегда образует коллектив, не существует.

Найдем теперь условия, при которых совокупность индивидуумов в интервалах времени (4.3) (промежуточных между ними интервалах) образует коллектив (толпу). Возьмем первый интервал (4.3): . Для существования в нем коллектива нужно, чтобы он был невырожден, т.е. чтобы выполнялось условие . Решая это неравенство НЛ [8], с учетом того, что , получим: . Аналогично исследуются остальные интервалы (4.3); и мы получаем следующий результат. Совокупность индивидуумов образует в интервалах времени (4.3) коллектив только при выполнении таких условий:

Интервал 1 2 …

Условие … , (4.6) в которых ЛО имеют вид, определяемый формулами (3.12),(3.5), а число вычисляется по формулам (3.13),(3.6).

Подобным же образом изучаются интервалы времени, промежуточные между интервалами (4.3), имеющие вид

При этом получается следующий результат.

Совокупность индивидуумов образует в интервалах времени (4.7) толпу только при выполнении следующих условий, в которых ЛО и число те же, что и в (4.6):

Интервал 1 2 …

Условие …. (4.8)

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

и толпу в промежуточных интервалах времени

при выполнении таких необходимых и достаточных условий:

Здесь ЛО определяются формулами (3.12), (3.5), а число - формулами (3.13), (3.6).

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

Здесь ЛО определяются формулами (3.12), (3.5), а число - формулами (3.13), (3.6).

Действительно, коллектив во всем временном интервале образуется только если все входящие в него временные интервалы (4.3) не вырождены [т.е. выполнены условия (4.6)], а все промежуточные между ними временные интервалы (4.3) вырождены [т.е. выполнены условия, дополнительные к условиям (4.8)]. Взяв пересечение этих двух групп условий и выполнив необходимые упрощения, получим приведенное утверждение.

Заметим, что условия (4.6), (4.8), (4.11), (4.12), представляют собой требования определенной временной взаимоупорядоченности интервалов одинаковых состояний индивидуумов, входящих в изучаемую совокупность.

Проведенное в статье исследование показывает большие возможности, которые открываются при использовании автоматно-логических методов для изучения процессов образования и исчезновения коллективов. Главное преимущество этих методов состоит в возможности аналитического изучения систем высокой размерности. Это позволяет решать разнообразные задачи, связанные с изучением коллективов: компактное представление, расчет, анализ и синтез – едиными методами, основанными на едином математическом аппарате непрерывной логики и логических определителей. Причем аппарат непрерывной логики благодаря развитой системе эквивалентных преобразований обеспечивает большую конструктивность указанных методов, а аппарат логических определителей позволяет преодолеть “проклятие размерности”. Полученные результаты означают, что любая совокупность индивидуумов, изменяющих свое состояние во времени, всегда имеет интервалы времени, в которых она представляет собой толпу, но не всегда – интервалы времени, в которых она представляет собой коллектив. Последнее гарантируется только при определенной временной взаимоупорядоченности интервалов одинаковых состояний индивидуумов.

Литература

1. Кемени Дж., Снелл Дж. Кибернетическое моделирование. М.: Советское радио, 1972.
2. Методы современной математики и логики в социологии. М.: Наука, 1984.
3. Петров Ю. Г. Общая и прикладная социология. М.: Высшая школа, 1994.
4. Андреева Г. М. Социальная психология. М.: Изд-во МГУ, 1995.
5. Левин В. И. Математическое моделирование социально-экономических процессов (автоматно-логические методы и модели). Пенза: Изд-во Пенз. технол. ин-та, 1997.
6. Левин В. И. Автоматная модель определения возможного времени проведения коллективных мероприятий // Изв. РАН. Теория и системы управления. 1999. № 3.
7. Левин В. И. Автоматное моделирование коллективных мероприятий // Автоматика и телемеханика. 1999. № 12.
8. Левин В. И. Теория динамических автоматов. Пенза: Изд-во Пенз. гос. ун-та, 1995.