Український математичний конгрес - 2009


Алексей Курганский (Институт прикладной математики и механики НАН Украины, Донецк, Украина)

Два типа состояний коллектива автоматов в дискретной среде

Рассматривается коллектив взаимодействующих с геометрической средой автоматов как единый автоматоподобный вычислительный объект. В этом случае затруднительно однозначно определить, что является состоянием такого «размытого» по среде объекта. В отличие от конечных автоматов, где мера изменения состояния равна одному состоянию в единицу времени, для распределенного по среде вычислительного объекта возможны разные подходы к определению меры изменения состояния. В работе предлагается один из подходов, в котором рассматриваются коллективы только элементарных автоматов, то есть автоматов с одним состоянием. Это позволяет определить состояние коллектива автоматов исключительно на основе взаимного расположения составляющих его элементарных автоматов, т.е. на основе его геометрии. Мера изменения состояния коллектива автоматов названа собственным временем этого коллектива. Предлагаемая работа затрагивает три больших области исследований: 1) коллективы автоматов в теории конечных автоматов, 2) дискретные модели физических процессов и проецирование физического мира в информационный мир символов и языков с целью компьютерного моделирования физического мира, 3) изучение понятия времени. По всем трем направлениям существуют обширные списки литературы [2,3,4,5], говорящих об их важности. В основе работы лежит понятие относительности в понимании, изложенном Пуанкаре в [1].

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

1.Пуанкаре А. О науке. - М.: Наука, 1983. - 560 с.
2.Г. Килибарда, В.Б. Кудрявцев, Ш.М. Ушчумлич Коллективы автоматов в лабиринтах, Дискретная математика, 2003, 15:3, 3-39.
3.Варшавский В.И. Коллективное поведение автоматов. М.: Наука, 1973. - 408 с.
4.Усманов З. Моделирование времени. - М.: Знание, 1991. - 48 с.
5.Кандрашова Е.Ю., Литвинцева Л.В., Поспелов Д.А. Представление знаний о времени и пространстве в интеллектуальных системах / Под ред. Д.А. Поспелова. – М.: Наука. Гл. ред. физ.-мат. лит., 1989. – 328 с.
6.Грунский И.С., Курганский А.Н. Динамика коллектива автоматов в дискретной среде // Труды ИПММ НАНУ, 2007, вып. 15, c. 50 – 56
7.O.Kurganskyy Dynamics of a "body" in information environment, the 10th International Conference "Stability, Control and Rigid Bodies Dynamics" (ICSCD'08). – Donetsk, Ukraine, IAMM NASU, 2008, p.59. 8.А.Н.Курганский Мера изменения внутреннего состояния коллектива автоматов в дискретной среде // Труды ИПММ НАНУ, 2008, вып. 16, c. 117-123.