Лев Шуткин,
кандидат технических наук
«Химия и жизнь» №3, 2006
- Паттерны — предшественники модулей
- Построение образующих
- Плетение модульных сетей
- Модульная химия
- Мир модулей
- Леонард Эйлер. Задача о кенигсбергских мостах
Построение образующих
В теории модулей образующие отображают многие объекты реального мира, обладающие модульными свойствами, например нейроны мозга, операционные усилители нейрокомпьютеров, модули компьютерных программ,
Связи образующих бывают ориентированными и неориентированными, причем первые из них делятся на входные и выходные. Они задают направления, в которых между модулями перемещаются потоки информации, денег, данных, документов, словом, все, что придает жизнь математической абстракции. Среди множества ориентированных образующих удалось изящными математическими построениями выделить шесть основных, наиболее часто используемых на практике. Причем каждый из этих видов образующих легко превратить из математической абстракции в наглядную схему. И наоборот, каждую такую схему можно описать математически.
На схеме любой образующей есть вершина, которую изображают точкой. Ее входная связь — треугольник и стрелка, направленная к вершине. Соответственно, у выходной связи стрелка направлена от вершины. Вершина на схеме образующей моделирует тело модуля, а входные и выходные связи изображают его входы и выходы.
Принципы построения теории модулейПринцип атомизма: образующие — это такие объекты, которые не делятся на составные части.
Принцип комбинаторности: образующие соединяются в модульные сети по строгим правилам.
Принцип структурности: данные содержатся в доменах, отделенных от структур образующих.
Принцип наблюдаемости: есть реальные наблюдатели, которые видит только свою задачу и идеальный наблюдатель, обладающий полными знаниями о теории модулей. Модулем называется объект реального мира, который его наблюдатель счел целесообразным представить в виде образующей и использовать ее в качестве модели этого объекта.
В основе математического описания образующей лежит параметрический вектор признаков, который моделирует все виды ориентированных образующих. Он выглядит так:
Образующим в целом и их вершинам приписаны, соответственно, переменные γ и δ с нижними индексами, указывающими на их принадлежность образующей с номером i. Переменные γ приписываются образующим в целом, а переменные δ — телам образующих. Входным и выходным связям образующих приписаны переменные δ с нижними и верхними индексами, указывающими направления связей и
У переменных есть области значений. Их в теории модулей называют доменами и обозначают буквами D. В теории модулей рассматриваются абстрактные и семантические образующие. Первые из них заданы на «пустой» информационной среде, когда в доменах нет никаких данных; они отображают лишь скелеты реальных модулей без учета их содержания. Семантическая образующая получается после навешивания на абстрактную образующую данных, которые характеризуют некоторый реальный модуль.
Простейшая из шести базовых образующих, линейная, получается, если в параметрическом векторе признаков положить m = r = 1. Линейные образующие служат моделями реальных модулей, каждый из которых имеет один вход и один выход. В виде линейной образующей можно представить, например, компьютерную программу с входом и выходом, причем на вход поступают исходные данные, а на выходе появляются новые данные.
Если m = 1, а r ≥ 2, то получается образующая анализа с одной входной связью и двумя или более выходными. Она наглядно изображает движение от одного общего понятия к многим частным. Примером служит функциональный стол системы Windows: это модуль с одним входом (экран дисплея) и многими выходами, число которых равно числу пиктограмм, изображенных на экране. Представление дисплейных кадров в виде образующих позволило построить модульные сети, моделирующие компьютерные гипертексты более детально, нежели с помощью графовых сетей.
Если m ≥ 2 и r = 1, то получается образующая синтеза, которая наглядно представляет движение от частных понятий к общим. Образующие синтеза могут служить моделями нейронов мозга, каждый из которых имеет много входов (дендритов) и один выход (аксон). Естественно, что такое представление нейронов крайне грубо и упрощенно, но оно полезно, поскольку его все же можно использовать для разгадки тайн работы мозга. Рисунок показывает, что образующие анализа зеркально превращаются в образующие синтеза с изменением направлений стрелок на обратные. Зеркальность образующих анализа и синтеза наглядно иллюстрирует соотношение между анализом и синтезом информации.
Еще три важных вида образующих: крестобразующая (m = 1,2; r = 1,2) и две концевых образующих (m = 0; r ≥ 1 и m ≥ 1; r = 0), которые находятся на границах закрытой модульной сети.
Помимо ориентированных образующих, теория модулей имеет дело также с неориентированными образующими, ориентированными образующими, имеющими копии связей, и с другими типами образующих, которые моделируют бесконечный мир реальных модулей.
-
Чесно говоря, абсолютно непонятно, чем предложеный подход отличается, например, от UNL или просто блок-схем в программировании. Тоесть эти принципы появились вместе со структурным программированием и получили развитие в объектно-ориентированых языках.
Правда, другое дело, что не всем абстрактное мышление привычно.-
1. Замечание Vego несомненно полезно, поскольку ставит вопрос о перспективах применения модульных сетей к компьютерному программированию.
2. Нельзя согласиться с утверждением Vego, что модульные сети и парадигма модульного мышления не представляют интереса, поскольку существуют UNL , стуктурное и объектно-ориентированное программирование. Обратите внимание, что сам Vego опровергает это утверждение своей последней фразой..
3. Замечание Vego, что структурное и объектно-ориентированное программирование исключают потребность в модульных сетях и парадигме модульного мышления спорно. Дело в том, что структурное и объектно-ориентированное программирование являются важными, но уже пройденными этапами развития технологий программирования. Сегодня быстро набирает силу новая технология аспектно-ориентированного программирования. Она основана на модульном подходе к проектированию программ. Для математического описания и наглядного представления аспектно-ориентированных программ могут быть применены модульные сети. Об аспектно-ориентированном программировании вы можете узнать на сайте www.javable.com/columns/aop.
4. Вопрос о соотношении языка UNL (Unified Network Language), упомянутого в замечании Vego, с языком теории модулей, позволяющим математически описывать модульные системы, требует специального исследования. UNL - это язык, предназначенный для отображения естественного английского языка в искусственный язык, понятный компьютеру. Язык UNL относится к области лингвистики. Теория паттернов Гренандера и связанные с ней теория модулей и модульные сети могут быть применены к решению задач математической лингвистики. Об использовании теории паттернов в лингвистике вы можете узнать из работ Ульфа Гренандера.
5. Оценивая практическую и теоретическую пользу модульных сетей и основанной на них парадигмы модульного мышления следует учитывать, что они имеют очень широкую сферу применений. Исследования показали, что модульные сети описывают структуры и содержания компьютерных гипертекстов и веб сайтов более детально чем графы. Они помогают проектировать учебные веб курсы и обучать студентов основам построения математических и визуальных моделей информационных систем и компьютерных программ. Теория модулей и парадигма модульного мышления позволяют совершенствовать терминологию в области информационных технологий. Модульные сети можно использовать в целях проектирования бюджетных систем, создания метода модульной декомпозиции сложных информационных систем, дополнения языка UML (Unified Modeling Language) модульными диаграммами и в ряде других областей знаний. Например, в статье Шуткина Л.В., помещенной на сайте www.elementy.ru, модульные сети описывают химические молекулы, как модульные системы с попарно сцеплеными валентностями атомов. В заметке Комарова С.М., дополняющей статью Шуткина, показано, что с помощью модульных сетей, описывающих помимо валентных и электрические сцепления атомов (силы Ван-дер-Ваальса) в молекулах изящно решается задача окисления угарного газа на кластере золота при участии воды. Важно подчеркнуть, что Комаров решил задачу используя лишь наглядные рисунки модульных сетей не прибегая к их математическому представлению. Предварительный анализ показал, что модульные сети можно применить к описанию влияния на работу головного мозга человека различных химических медиаторов. Значительный интерес представляет применение модульных сетей к инженерному проектированию развивающихся информационных систем министерств, агенств и субъектов Российской Федерации.
В заключение привожу перечень статей о теории модулей, модульных сетях и парадигме модульного мышления, намеченых к последовательному размещению на сайте www.morepc.ru в разделе 'Моделирование информационных систем и процессов' - http://www.morepc.ru/informatisation/articles.html?cat=89 :
1. 'Анализ теории модулей с помощью метафоры Холтона'.
2. 'Математическое единство модульных, графовых и табличных
моделей данных'
3. 'Кому и зачем нужны модульные сети'
4. 'Сходство и различие модульных и графовых сетей'
5. ' Математические и визуальные модели информационных систем'
6. ' Модульный взгляд на химию мозга'
7. ' Модульная декомпозиция развивающихся информационных
систем'.
8. ' Модульный взгляд на бюджетные системы'
9. 'Понятие информационная технология в законодательных актах и
бюджетных системах'
10. ' Классификация и кодирование информационных технологий в
бюджетных системах'.
Помощь в применения модульных сетей к практике вы можете получить у Шуткина Льва Владимировича, E-mail: shutkin@pvti.ru, тел. 490 44 35.
-
Кто-нибудь может ответить, чем объект отличается от модуля? Зачем вводится еще одна сущность? Если есть объект и есть модель объекта.
-
Когда вы имеете дело с термином и его определением (понятием), то всегда должны помнить, что данное определение справедливо только в рамках некоторого контекста. За его пределами это определение обычно неверно. Например, определение термина 'вершина' в рамках теории графов означает точку, произвольно расположенную на плоскости или в ином пространстве. А в географии термин 'вершина' означает верхнюю часть горы.
В рамках теории модулей понятие 'объект' является более общим, чем понятие 'модуль', определяемое 'наблюдателем' в виде модели, называемой 'образующая'. В рамках теории модулей образующую, наряду с определением, приведенным в статье 'Парадигма модульного мышления' и повторенного в комментарии 'КАК', можно также определить, как объект, имеющий входы и/или выходы.
Например, наблюдатель рассматривая срез ткани мозга, окрашенный по методу У. Науты видит входные и выходные волокна тела нейрона, и может описать нейрон с помощью образующей, имеющей входы и выходы. Рассматривая окно рабочего стола системы Windows наблюдатель видит окно в целом и расположенные в нем пиктограммы (иконки). Хотя наблюдатель непосредственно не видит вход в окно и его выходы, связывающие пиктограммы с их функциональными окнами, он может мысленно представить вход и выходы окна и представить функциональный стол в виде образующей, имеющей один вход и несколько выходов, число которых равно числу пиктограмм. В результате такого подхода удалось построить модульные модели, представляющие компьютерные гипертексты более детально чем графовые сети. В виде образующей (модуля) можно представить организацию, обменивающуюся информацией с другими организациями. Такое модульное представление организаций позволяет решать задачи стандартизации их внешних электронных профилей. Ваш домашний телефон с помощью образующей может быть представлен, как модуль, потенциально соединенный мировой телефонной сетью со всеми другими телефонами мира.
О наблюдателях теории модулей, а также об ее идеях, принципах и языке вы можете узнать в статье 'Анализ теории модулей с помощью метафоры Холтона', которая будет помещена на сайте www.morepc.ru примерно через месяц в соответствующем подразделе 'Моделирование информационных систем и процессов' раздела 'Проблемы информатизации' - http://www.morepc.ru/informatisation/
Кстати, там же можно ознакомиться и с различными представлениями терминологии в сфере ИТ.-
Для Lev:
Я попробовал разобраться с приведенной Вами терминологией (толковый словарь), но, к сожалению, наткнулся на ряд трудностей в части терминов:
- данные это информация;
- информация это сведения или знания;
- сведения это события;
- событие это одномоментное идентифицируемое изменение состояния некоторой системы;
- знания, система, изменение, модуль - не определены;
- идентификация это присвоение субъектам или объектам доступа идентификатора и (или) сравнение предъявляемого идентификатора с перечнем присвоенных идентификаторов;
- объект это общий термин, которым обозначается любая индивидуально выделяемая сущность. Предмет или явление, которому можно присвоить название
Из этого набора получается, что данные = информация = сведения = события, при этом не указано, кто идентифицирует и в какой системе происходит изменения, в идентифицируемой или идентифицирующей? Кроме того, цепочка обрывается, так как нет определения некоторых терминов (знания, система, изменение.)
-
"модульные сети" - вечная и бесконечная Паутина из так называемых вечных цивилизаций, которые могут породить и отремонтировать эту Паутину. Развитие цивилизации есть развитие феномена сознания. Предел развития всех цивилизаций есть Осознающий Бог.
Замкнутые линии
…Когда я учился в институте, на одном из занятий заметил, что мой сосед занимается интересным делом — он вместо того, чтобы внимательно слушать преподавателя, настойчиво что-то вырисовывал. В тетради был нарисован прямоугольник, разделенный, на пять более малых (рис.1). Он поставил перед собой задачу провести непрерывную черту так, чтобы она проходила не более одного раза через все отрезки, которые соединяют вершины прямоугольников. Повторил несколько раз, и его попытки остались напрасными. Попробовал и я, иногда казалось — все, решение есть, и при проверке находился отрезок, который не был пересечен, или линия его пересекала дважды. Проходило время. Иногда вспоминалась задача, снова пытался решить, но результата не было.
Решил упростить рисунок, отбросил один отрезок, второй, нарисовал несколько различных фигур. Заметил, что в некоторых случаях непрерывную линию можно замкнуть саму на себя, в некоторых — нет, можно провести не одну замкнутую черту, а несколько (рис.2).
Со временем возникла закономерность.
Задача имеет решение в двух случаях:
1. При обведении отрезков фигуры замкнутыми линиями, все линии будут замкнутыми.
2. При обведении, одна линия останется незамкнутой (то есть ее невозможно замкнуть, не нарушая условия задачи).
Задача не имеет решения, если остается более, чем одна незамкнутая линия.
После такого вывода, замкнутые линии представляются как части непрерывной линии, а концы незамкнутой — как ее концы. Потому, когда появляются две незамкнутых линии, выходит, что мы прервали непрерывную линию, что противоречит условию задачи.
В литературе и в периодических изданиях, где предлагаются задачи на смекалку, встречается много задач данного типа (задачи на прохождение комнат, на обхождение территорий соединенных мостами, рисования фигур одним росчерком). Любую задачу вы можете решить, используя предложенный метод.
Первым, кто к подобным задачам применил математическое обоснование, был великий немецкий ученый Леонардо Эйлер. В 1736 г. он задумался над любопытной задачей: «На реке Прегель, где стоит город Кенигсберг, остров, правый берег, левый и территории соединенные семью мостами. Можно ли пройти по всем семи мостам, не ступив ни на один из них дважды», Эйлер решил задачу, ответ вышел отрицательным.
Докажем возможность использования метода замкнутых линий на выше упомянутой задаче. Для облегчения размышлений введем такие условные обозначения. Пусть A, B, C и D (рис.3) будут различные части суши, разделенные рукавами реки. Переход с места A в место B мы будем помечать через AB — все равно, по какому бы мосту мы не шли, по а или b. Если потом с B мы перейдем в D, то этот путь мы обозначим через ABD, так что здесь B однозначно означает и место пребывание и место отправления.
Перейдем с места A в место B по мосту а, затем вернемся с B в A по мосту b, прошли путь ABA, то есть вернулись в место, с которого начинали. За условием задачи: мосты пересекать разрешено только один раз, следовательно дальше пользоваться ими запрещено, вообразим, что они отсутствуют. Таким же подобным образом поступим с мостами c и d. По какому б из путей ABACA, ACABA, CABAC, BACAB мы не перемещались, во всех случаях возвращаемся на место с которого начинали, образовывая замкнутую линию.
Дальше продолжать движение можно с любого места A, B или C, нужно для этого начинать обход мостов а, b, c, d. (Замкнутой линией можно обвести по два моста а, b и с, d или все четыре). При обходе мостов а, b, c, d путь обозначался, пятью буквами. То есть, если мосты обходить по одному разу, то путь должен обозначатся (n+1), где n — количество пройденных мостов (при прохождении мостов а, b, c — путь обозначался ABAC). Местность D сообщается с местностями C, A, B соответственно мостами g, e, f. Начнем обход с A, то есть запишем ADB, но для обхода моста g, нужно запись дополнить DC, в целом — ADBDC. В записи появляется дополнительная буква, что противоречит условиям, при которых делался обход мостов. То есть, для прохождения моста g, один из мостов (e или f) пересекался дважды, или перешли реку (по воде), что запрещено условием задачи. Следовательно, невозможно пройти по всем семи мостам, не ступив ни на один из них дважды.
Негативный результат получим также при доказывании задачи по рис.1.
При использовании замкнутых линий, получаем не только ответ на вопрос, а наглядно видим очерки будущего пути. Пользуясь данным методом, не нужно блуждать по мостам и комнатам, не нужно знать понятие «графа» и разницу между четными и нечетными числами, нужно понимать условие задачи и хорошо держать в руке карандаш. То есть, младшие школьники смогут не только найти решение задачи и его обосновать, но и составлять их сами, над которыми будут долго думать взрослые.
В.Д. Жила, г. Овруч, Житомирская обл.
