MorePC - Главная страница


О сайте

Регистрация

Обратная связь

Реклама на сайте

Публикации на сайте

Карикатуры

  Категории СВТ     Тесты и методики испытаний     Новости СВТ     Проблемы информатизации     Форум     Опросы     Словарь     Поиск  

     Проблемы информатизации : Общие проблемы ИТ. Вопросы теории  

Предлагаем Вашему вниманию статьи по информационной безопасности.
 

10.12.2004. Парадигма модульного мышления в компьютерной науке и практике

версия для печати

© Шуткин Л. В., 2004.

Разрешается копирование статьи, но не ее издание.

Содержание

Введение

Наука развивается в направлении единства. /Анри Пуанкаре/

Интернет, Всемирная паутина (WWW), компьютерные гипертексты, нейрокомпьютеры, нейросети мозга и многие другие физические и логические системы состоят из модулей. Модули и составленные из них модульные системы широко распространены и играют важную роль в природе и обществе. Тем более удивительно, что до последнего времени ученые не создали единой теории модульных систем, позволяющей представлять различные виды модулей и модульных систем формально и в виде наглядных схем. Лишь во второй половине 20 века выдающийся американский математик Ульф Гренандер построил основы новой оригинальной теории, которую можно использовать для решения этой важной задачи. Он назвал ее теорией паттернов [1], [2].

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

Чтобы «приземлить» теорию паттернов до уровня практики я ввел в ее формальный аппарат дискретные ограничительные условия. Тем самым, теория Гренандера была адаптирована к решению конкретных практических задач моделирования и инженерного проектирования компьютерных и иных модульных систем.

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

Модульные сети позволяют представлять модульные системы формально и изображать их в виде наглядных модульных схем, рисуемых на бумаге или экранах компьютеров. Эти схемы, отчасти напоминающие графы, открыли путь к широкому применению модульных сетей в компьютерной науке и практике [3][4][5].

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

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

Модульные сети состоят из элементарных модульных логических объектов, называемых образующими (generators). Образующие служат моделями реальных модулей, а составленные из образующих модульные сети моделируют модульные системы. Любая образующая обладает неотделимыми от нее связями (bonds), которые могут быть ориентированными (входными/выходными) или неориентированными. Образующая, имеющая только входные и/или выходные связи, называется ориентированной, а образующая с неориентированными связями — неориентированной. Из ориентированных образующих составляются ориентированные модульные сети, из неориентированных образующих — неориентированные сети.

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

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

В модульных сетях связи образующих соединяются в связки всегда только одна с одной, т. е. связи не могут соединяться в тройки, четверки и т. д. Попарное соединение связей образующих в связки — главный принцип построения модульных сетей. Он отражает широко распространенный в природе способ попарного соединения выходов и входов реальных модулей, из которых составляются модульные системы. Типичным примером таких бинарных соединений выходов со входами реальных модулей являются попарные синапсные соединения аксонных выходов нейрона с многими дендритными входами других нейронов мозга.

Каждой из двух связей, участвующих в связке модульной сети, приписывается соответствующая ей переменная, имеющая область значений, в которой содержатся данные о связи. В общем случае переменная, присвоенная связи образующей, обозначается символом β. Данные из областей значений могут присваиваться соответствующим переменным связок модульной сети. Связка модульной сети, в зависимости от того, какие данные присвоены паре ее переменных β, может находиться в одном из двух состояний — истинном (замкнутом) или ложном (разомкнутом). Истинные и ложные состояния связок ориентированных модульных сетей моделируют соединенные и разъединенные состояния попарно соединенных выходов и входов модулей, из которых состоят реальные модульные системы.

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

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

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

Модульные сети можно использовать для расширения функциональных возможностей языка UML (Unified Modeling Language[UML]) за счет его дополнения модульными диаграммами, изображающими внутренние и внешние границы территориально-распределенных информационных систем, работающих на основе компьютерных сетей. Перспективно применение модульных сетей к объектно-ориентированному программированию и в обучении студентов. Модульные сети могут помочь в разгадке тайн мозга.

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

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

Таблицы с данными о запасах зерна в районах использовались в древнем Египте задолго до начала нашей эры. В современном компьютерном мире табличные представления информации имеют математическую основу в виде алгебры отношений и теории реляционных баз данных. Графы зародились намного позже, чем таблицы, а именно в 1736 г., когда были опубликованы знаменитые рассуждения Эйлера о Кенигсбергских мостах. Сегодня они развились в обширную теорию графов. Наглядные изображения графов и таблиц опираются на их математические описания, что особенно важно для компьютерной практики.

Благодаря наглядности и прочным математическим основам таблицы и графы широко используются в компьютерной науке и практике. Однако сегодня, в связи с появлением Интернет, Всемирной паутины, языков HTML, XML, веб-страниц, открытых электронных правительств и других веб-систем, возникла настоятельная потребность в создании новых, модульных методов моделирования и проектирования информационных систем, расширяющих и дополняющих графовые и табличные методы. Этой насущной потребности компьютерного мира отвечают модульные сети и основанная на них «парадигма модульного мышления», которая появилась в конце 20-го века в результате обобщения примеров применения модульных сетей к решению практических и теоретических компьютерных задач.

Со времен Сократа и Платона ученые стремились обосновать естественно-научные системы мышления математически, доказать их объективность на практике и дать им философское толкование. Этот древний тезис подтверждают примеры парадигм Птоломея и Коперника.

Парадигма модульного мышления, как и другие естественно-научные доктрины, также имеет три составляющие — математическую, практическую и философскую. В статье рассматриваются только математическая и практическая составляющие парадигмы модульного мышления. Поскольку статья посвящена решению конкретных практических и теоретических компьютерных задач, философские аспекты модульного мышления в ней не обсуждаются. Они станут темой отдельной публикации.

Статья состоит из четырех разделов. В первом сформулированы ограничительные условия теории модулей. Во втором рассмотрены формальные модели и наглядные схемы образующих различных видов. Третий раздел статьи посвящен построению параметрических моделей модульных сетей. В четвертом разделе статьи приведены пять примеров применения модульных сетей к решению конкретных практических и теоретических задач. Первый пример посвящен моделированию модульными сетями двух простых веб-страниц, имеющих одинаковые гипертекстовые структуры. Во втором — несложная модульная сеть сопоставлена с графом и построена модуло-графовая сеть. В третьем примере модульная сеть использована для модульного моделирования гипертекстового учебного веб-курса. Четвертый пример посвящен модульному моделированию и проектированию с помощью модульной сети Автоматизированной информационной системы Консолидированного бюджета Российской Федерации. В последнем, пятом примере путем преобразований параметрической модели модульных сетей, построенной в третьем разделе статьи, показано структурное единство модульных, графовых и табличных моделей данных. В совокупности примеры статьи иллюстрируют мощность и гибкость модульных сетей в решении практических и теоретических компьютерных задач, требующих модульного подхода. Статья завершается кратким Заключением.

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

Раздел 1. Ограничительные условия теории модулей

В теории модулей используются образующие с конечными и бесконечными числами связей, а также конечные и бесконечные множества образующих.

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

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

Последнее ограничение означает, что в теории модулей домены, поставленные в соответствие переменным образующих, определены аналогично доменам атрибутов R-отношений реляционных баз данных.

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

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

Раздел 2. Образующие — модели модулей

Образующие — это атомарные объекты теории модулей, из которых конструируются ее более сложные объекты. В теории модулей образующие служат формальными и наглядными моделями реальных модулей и их множеств.

В теории модулей образующая обозначается символом g, а множество образующих как G. В теории модулей рассматриваются только конечные множества образующих. В общем случае конечное множество образующих обозначается Gn, где n — число образующих в множестве Gn. Образующая из множества Gn обозначается как gi, где i — это порядковый номер образующей в множестве Gn и следовательно i=1,2,…,n. В частности, если n=2, то i=1,2 и множество G2 состоит из двух образующих g1, g2.

Любая образующая имеет неотделимые от нее связи. Связь образующей может быть ориентированной (входной или выходной) либо неориентированной. Образующие, имеющие только входные и/или выходные связи, называются ориентированными; образующие с неориентированными связями — неориентированными. Входные и выходные связи образующих моделируют соответственно входы и выходы реальных модулей.

Образующая gi вместе с ее связями формально определяется набором символов, который называется вектором признаков образующей и обозначается a(gi). Тем самым, образующая gi отождествляется с ее вектором признаков.

Вектор признаков образующей gi состоит из символов, называемых его компонентами. Среди компонентов вектора признаков образующей gi имеются символы, обозначающие ее связи. В общем случае связь образующей обозначается символом β, который Гренандер назвал показателем связи образующей. В теории модулей символы β, обозначающие связи образующих, являются переменными, которые имеют соответствующие области значений. Образующие не только представляются своими векторами признаков, но и изображаются в виде наглядных схем, применяемых на практике как модели реальных модулей.

Так как образующие используются в качестве формальных и наглядных моделей логических и физических модулей реального мира, то необходимо пояснить смысл термина «модуль» в рамках теории модулей. В естественном языке слово «модуль» имеет очень широкое толкование. Например, на естественном языке модуль может быть определен как объект, имеющий входы и/или выходы. В теории модулей термин «модуль» имеет более узкий смысл, чем в естественном языке. В ней он означает модульный объект реального мира, представленный его наблюдателем в виде образующей. Такой объект называется в теории модулей реальным модулем. Примерами реальных модулей, представляемых в виде образующих, могут служить кадры гипертекстов и веб-страниц, модули компьютерных программ, операции технологических процессов, операции суммирования, операционные усилители, нейроны мозга и многие другие реальные объекты, имеющие входы и выходы.

С помощью формальных описаний и наглядных схем образующих наблюдатель может, во-первых, мысленно представить некоторый реальный модуль в своем воображении в виде наглядной схемы образующей. Во-вторых, если наблюдатель обладает соответствующими знаниями, то он способен описать этот модуль формально вектором признаков образующей. Наконец, наблюдатель может изобразить реальный модуль в виде схемы образующей, нарисованной на плоской поверхности, например, на бумаге или экране компьютера. Для решения многих практических задач, требующих модульного подхода, достаточно использовать только наглядные схемы образующих, моделирующих реальные модули, и не описывать образующие формально их векторами признаков.

В теории модулей для моделирования множеств реальных модулей используются параметрические векторы признаков образующих. Путем замены в параметрических векторах признаков их параметров числовыми значениями получаются векторы признаков образующих с различными числами связей. Такие образующие служат моделями реальных модулей. В дальнейшем будут приведены примеры параметрических векторов признаков ориентированных образующих и полученных из них векторов признаков образующих с различными числами входных и выходных связей, которые моделируют реальные модули с различными числами входов и выходов. Будут также рассмотрены наглядные схемы некоторых наиболее интересных для компьютерной практики видов ориентированных образующих и приведены примеры реальных модулей, изображаемых схемами образующих.

Практика решения компьютерных задач c помощью модульных сетей показала, что реальные модули с различными числами входов и выходов эффективно моделируются ориентированными образующими, определяемыми следующим параметрическим вектором признаков: a(gi)=a(i,γiliminirout). (1) Cимволы i, γil, βimin, βirout называются компонентами вектора (1). В векторе (1): i — порядковый номер образующей gi в конечном множестве образующих Gn; γil — компонент вектора признаков, называемый атрибутом образующей; βimin, βirout — компоненты вектора, называемые показателями (переменными) входных и выходных связей образующей gi; m, r — параметры вектора (1), числовые значения которых, обозначают соответственно числа входных и выходных связей образующих.

В векторе признаков (1) компонент i является константой, а компоненты γil, βimin, βirout — это переменные, имеющие соответствующие области значений.

Параметры m, r могут заменяться в векторе (1) числовыми значениями: m=0,1,2,…; r=0,1.2,… В результате замены в векторе (1) параметров m и r числовыми значениями из вектора (1) получаются векторы признаков образующих с разными числами входных и выходных связей, которые служат моделями реальных модулей с разными числами входов и выходов.

Вектор (1) является параметрической моделью множества реальных модулей, имеющих как входы, так и выходы. Вместе с тем он может моделировать реальные модули c входами, но без выходов, а также модули с выходами, но без входов. Чтобы вектор (1) моделировал такие модули, вводятся следующие соглашения. Если m=0, то βimin=0, а если r=0, то βirout=0. Кроме того полагается, что параметры m и r не могут одновременно равняться нулю. Последнее условие исключает случай, когда из вектора (1) одновременно удаляются компоненты βimin, βirout.

Параметрический вектор признаков (1) моделирует структуры реальных модулей с различными числами входов и выходов, но он не представляет информационные содержания (данные) таких образующих. Чтобы вектор (1) представлял как структуры, так и информационные содержания образующих, моделирующих реальные модули, компонентам γil, βimin, βirout вектора (1) ставятся в соответствие домены: Dil,Dimin,Dirout. (2) Домены (2) в общем случае определяются как конечные или счетные множества данных о реальных модулях. Помимо данных в каждом из доменов находится специальный символ λ0, обозначающий «пустую» информационную среду. Если в каждом из доменов (2) помещен только символ λ0 и ни в одном из них нет других данных, то в этом случае параметрический вектор (1) определен на пустой информационной среде и, следовательно, он моделирует только структуры реальных модулей, без учета их содержаний (данных).

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

Понятие «пустая информационная среда» впервые ввел в обиход Гренандер [1]. В этой связи следует заметить, что символ λ0 может служить именем множества, объединяющего различные «пустые» значения, например, такие как используемые в компьютерной науке и практике слова «null» и «nil», обозначающие соответственно неопределенные данные в реляционных базах данных и пустые терминальные символы в программировании. Это замечание подчеркивает полезность понятия «пустая информационная среда» для компьютерной науки и практики.

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

Как известно, в общем случае матрицы представляются в виде n×m, где символы n и m это параметры, обозначающие соответственно числа столбцов и строк матриц. Параметры m, n могут принимать числовые значения m=0,1,2,…; n=0,1,2,… Если параметрам n, m поставить в соответствие домены Dn, Dm, содержащие числовые значения параметров m и n, то смысл параметрического представления матриц (n×m) с различными числами столбцов и строк будет определен также как ранее был определен смысл параметрического вектора (1) с параметрами m и r, который представлял образующие с различными числами входных и выходных связей.

Параметрический вектор признаков образующих (1) за счет варьирования в нем числовых значений параметров m и r обеспечивает большую мощность и гибкость моделирования реальных модулей с разными числами входов и выходов. Действительно, параметры m и r вектора (1) можно не только оба одновременно заменять числовыми значениями, но и варьировать их иными способами. Например, можно положить m=1, r≥2 или m≥2,  r=1. За счет таких варьирований параметров m, r ниже будут получены векторы признаков образующих анализа и синтеза. Кроме того, в векторе (1) можно задавать различные диапазоны изменений числовых значений параметров m и/или r. Например, можно числовые диапазоны изменений параметра m задать так: 2≤m≤10, положив при этом r=1. Особо отметим, что с помощью векторов признаков образующих, полученных варьированием параметров m, r, можно моделировать отношения между наборами сущностей в реляционных базах данных.

В результате замены в векторе (1) параметров m и r конкретными числовыми значениями получаются векторы признаков образующих с разными числами входных и выходных связей, которые служат моделями реальных модулей с разными числами входов и выходов. Например, если в векторе (1) положить m=r=1, то из него получается вектор признаков линейной ориентированной образующей gi: a(gi)=a(i,γili1ini1out). (3) Вектор (3) имеет домены: Dil,Di1in,Di1out. (4) Если во всех доменах (4) помещен только символ λ0, обозначающий пустую информационную среду, и ни один из доменов не содержит данных о реальных модулях, то вектор признаков (3) линейной образующей является абстрактным. Абстрактный вектор признаков (3) и его пустые домены (4) служат общим структурным скелетом (остовом) всех образующих с одной входной и одной выходной связью. Структурный скелет образующих с одной входной и одной выходной связью является моделью структуры всех реальных модулей с одним входом и одним выходом.

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

Рис. 1
а) линейная образующая (L-образующая) б) ассоциированная линейная образующая
a(gi)=a(i,γili1ini1out) — вектор компонент  
Di1, Di1in, Di1out — домены  
m=r=1  

Изображенная на рис. 1a точка называется вершиной образующей, по аналогии с вершиной графа. Стрелки с треугольниками на схеме изображают входные и выходные связи образующей. Треугольник и направленная от него стрелка представляют входную связь, стрелка и завершающий ее треугольник изображают выходную связь образующей.

На рис. 1а помимо схемы абстрактной линейной ориентированной образующей приведены ее вектор признаков и домены. При этом предполагается, что в доменах находится только символ λ0 и образующая является абстрактной.

Если во всех доменах (4) находится символ λ0 и, кроме того, в них помещаются данные о конкретных реальных модулях, то вектор признаков (3) становится конкретным. Конкретный вектор признаков (3) и его конкретные (непустые) домены являются формальной моделью не только структурных скелетов, но и содержаний конкретных реальных модулей с одним входом и одним выходом. При этом в непустых доменах (4) могут находиться конкретные данные, характеризующие один или несколько реальных модулей с одним входом и одним выходом.

Фигурирующие в векторе признаков (3) компоненты γil, βi1in, βi1out представляют собой переменные, которым поставлены в соответствие домены Dil, Di1in, Di1out. Домены (4) являются областями значений этих переменных.

Данные о некотором одном реальном модуле, взятые из непустых доменов (4), могут присваиваться соответствующим переменным вектора (3). Вектор признаков (3), переменным γil, βi1in, βi1out которого присвоены данные о конкретном реальном модуле, является ассоциированным с данными о модуле. Ассоциированный вектор признаков образующей служит формальной модульной моделью реального модуля. Образующая, соответствующая ассоциированному вектору признаков (3), является ассоциированной образующей.

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

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

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

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

В связи с представлением вершин на схемах образующих в виде прямоугольников, к сторонам которых присоединены стрелки с треугольниками, изображающие входные и выходные связи образующих, следует упомянуть о предложенной Гренандером идее приписывания связям образующих четырех направлений — север, юг, запад, восток [1]. Развивая эту идею, можно «привязать» входные и выходные связи образующей к четырем сторонам прямоугольника путем введения в ее вектор признаков дополнительных индексов, маркирующих переменные βin и βout символами, обозначающими стороны прямоугольника. Образующие, связи которых «привязаны» к сторонам прямоугольников, могут быть использованы для модульного моделирования бизнес-процессов.

Путем варьирования числовых значений параметров m, r в векторе (1) из него получаются не только линейные образующие, но и многие другие виды образующих. Для компьютерной науки и практики особый интерес представляют получаемые из вектора (1) образующие синтеза (S-образующие) и образующие анализа (А-образующие). Их наглядные схемы и параметрические векторы признаков приведены на рис. 2.

Рис. 2
а) образующая синтеза (S-образующая) б) образующая анализа (A-образующая)
a(gi)=a(i,γilimini1out), m≥2, r=1 a(gi)=a(i,γili1inirout), m=1, r≥2

Параметрический вектор признаков S-образующей получается из вектора (1) при условии m≥2, r=1, а при условии m=1, r≥2 из вектора (1) получается параметрический вектор признаков А-образующей. S-образующими с разными числами входных связей можно моделировать нейроны мозга и операционные усилители нейрокомпьютеров. Если S-образующая моделирует нейрон мозга, то i — порядковый номер нейрона среди n нейронов, входные связи S-образующей представляют ветви дендритов нейрона, а выходная связь — аксон нейрона. С помощью S-образующих можно также моделировать операции объединения родственных частных понятий (например, «красный», «синий» или «воздушный транспорт», «наземный транспорт») в одно общее понятие (например в «цвет» или в «транспорт»).

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

Рис. 2 показывает, что образующие анализа и синтеза зеркально отображаются друг в друга с изменением направлений их связей (стрелок) на обратные. Зеркальные отображения А-образующих и S-образующих проявляются также в их векторах признаков, показанных на рис. 2. Действительно, если в векторе признаков S-образующей заменить индексы «in» на «out», а индексы «out» на «in» и параметр m заменить на r, то вектор признаков S-образующей превратится в вектор признаков А-образующей. Очевидно, что возможно также обратное преобразование А-образующей в S-образующую. Зеркальная симметрия образующих синтеза и анализа отображает взаимосвязь функций синтеза и анализа информации. Зеркальную симметрию S- и А-образующих можно использовать для исследования сходства навигационных структур компьютерных гипертекстов с операциями синтеза и анализа информации в нейросетях мозга.

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

Параметрический вектор признаков S-образующей с идентичными выходными связями, представляется в виде: a(gi)=a(i,γilimini,1,kout),m≥2, (5) где k=0,1,2,… — индекс идентичных выходных связей, имеющих общий домен Di1out. S-образующие с идентичными выходными связями можно использовать для моделирования нейронов со многими аксонными выходами, хранящими одинаковые значения аксонного сигнала. А-образующие могут иметь идентичные входные связи. Параметрический вектор признаков А-образующей с идентичными входными связями, представляется в следующем виде: a(gi)=a(i,γili,1,kinirout),r≥2, (6) где k=0,1,2,… — индекс идентичных входных связей, имеющих общий домен Di1in.

При k=0 из (6) получается параметрический вектор признаков А-образующей с одной входной связью: a(gi)=a(i,γili1inirout),r≥2. (7) Если А-образующая (6) моделирует кадры компьютерного гипертекста, то идентичные входные связи имитируют несколько входов в кадры.

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

В теории модулей помимо ориентированных применяются также неориентированные образующие. Параметрический вектор признаков неориентированных образующих имеет вид: a(gi)=a(i,γilω), (8) где βω — переменные вектора (8), характеризующие неориентированные связи образующих, ω=1,2,… Неориентированные образующие будут использованы далее в примере моделирования Автоматизированной информационной системы Консолидированного бюджета Российской Федерации.

Помимо рассмотренных, могут быть построены и другие параметрические векторы признаков образующих. Например, для модульного моделирования взаимосвязанных таблиц реляционных баз данных в вектор признаков (1) может быть введен дополнительный компонент α, названный Гренандером индексом классов образующих. С помощью индексов классов множество образующих разделяется на непересекающиеся классы.

Линейные ориентированные образующие, образующие анализа и синтеза, а также образующие других видов, получаемые из вектора (1), являются элементарными модульными логическими «кирпичиками», из которых строятся модульные сети, моделирующие модульные компьютерные и иные системы, состоящие из реальных модулей с попарно соединенными выходами и входами.

Раздел 3. Параметрические модели модульных сетей

Наши гипотезы — это атомы мыслей, сцепленные друг с другом. /Анри Пуанкаре/

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

Паттерновые сети составляются из образующих путем попарного соединения их связей в связки сети. В модульных сетях связи образующих всегда соединяются только попарно, т. е. связь одной образующей соединяется со связью другой образующей.

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

Также как образующие, модульные сети могут быть абстрактными, конкретными и ассоциированными. Абстрактная сеть состоит из абстрактных образующих, конкретная сеть — из конкретных, а ассоциированная сеть — из ассоциированных образующих. Любая модульная сеть (абстрактная, конкретная или ассоциированная) имеет состав и домены. В общем случае модульная сеть обозначается символом «c», а состав сети — «состав c». Если модульная сеть состоит из n образующих, то «состав с»=g1,g2,…,gn. В каждом из доменов абстрактной сети содержится только символ λ0, обозначающий пустую информационную среду. В доменах конкретных и ассоциированных модульных сетей помимо символов λ0 содержатся также данные, характеризующие реальные модульные системы. Домены конкретной или ассоциированной модульной сети представляют собой хранилища данных об одной или нескольких конкретных модульных системах, моделируемых сетью.

Помимо состава и доменов модульная сеть имеет структуру, которая представляет собой набор, состоящий из всех связок сети. Общее число связок модульной сети обозначается символом «N». Произвольный порядковый номер связки сети обозначается символом «j» (1≤j≤N). Если все связи модульной сети соединены в связки, то такая сеть называется закрытой. Закрытые модульные сети моделируют закрытые реальные модульные системы. Если сеть помимо связей, соединенных в связки, имеет также свободные связи (не соединенные в связки), то такая сеть является открытой. Открытые модульные сети моделируют открытые модульные системы.

Абстрактная модульная сеть имеет состав, структуру и неопределенное содержание, поскольку во всех ее доменах находится только символ λ0. Таким образом, абстрактная модульная сеть не «привязана» к какой-либо конкретной информационной среде. Состав, структура и домены абстрактной модульной сети составляют в совокупности ее структурный скелет, который также называется остовом модульной сети. Понятия состав, структура и остов модульной сети будут пояснены в Примере 1, рассмотренном ниже в Разделе 4.

Конкретная модульная сеть имеет состав, структуру и конкретное содержание в виде помещенных в доменах сети данных об одной или нескольких реальных модульных системах. При этом переменные γ и β конкретных образующих, из которых состоит конкретная модульная сеть, остаются неассоциированными с данными о реальной модульной системе, которые хранятся в доменах сети. Помещенные в доменах модульной сети данные «привязывают» модульную сеть к конкретной информационной среде.

Ассоциированная модульная сеть, как и конкретная сеть, имеет состав, структуру и конкретное содержание в виде помещенных в ее доменах данных об одной или нескольких реальных модульных системах. Но при этом, в отличие от конкретной сети, переменным γ и β ассоциированной модульной сети присвоены взятые из доменов сети данные, характеризующие некоторую одну реальную модульную систему. Следовательно, ассоциированная модульная сеть не только определена на конкретной информационной среде, но и служит моделью некоторой реальной модульной системы. Если в доменах ассоциированной модульной сети содержатся данные только об одной реальной модульной системе, то на схеме сети ее домены, обычно, не показываются.

Для компьютерной практики особый интерес представляют ориентированные модульные сети, поскольку они моделируют модульные системы, состоящие из реальных модулей с соединенными выходами и входами. Ориентированные модульные сети состоят из ориентированных образующих. В любой связке ориентированной модульной сети выходная связь одной образующей соединяется с входной связью другой образующей. Такая связка сети называется ориентированной. Ориентированная связка модульной сети моделирует соединение выхода одного реального модуля со входом другого модуля.

В общем случае связка ориентированной сети обозначается двумя переменными βout, βin. На каждой связке модульной сети устанавливается бинарное отношение между двумя ее переменными β, называемое отношением связей и обозначаемое символом «ρ». В дискретной теории модулей отношение связей ρ имеет имя «соединено». Таким образом, связка ориентированной сети с установленным на ней отношением связей ρ, представляется в виде: βout ρ βin (ρ-соединено).

Если модульная сеть абстрактная, то на всех ее связках отношение связей ρ-соединено имеет, по определению, единственное значение ИСТИНА. Следовательно, все связки любой абстрактной модульной сети являются истинными. Связки конкретных модульных сетей также являются истинными по определению. Поэтому, в общем случае, связка абстрактной или конкретной ориентированной модульной сети представляется в следующем виде; βoutρβin(ρ-соединено)ИСТИНА. (9)

В отличие от абстрактных и конкретных сетей, на всех связках которых ρ-соединено ИСТИНА, связки ассоциированных модульных сетей могут быть либо истинными, либо ложными. Если двум переменным βout, βin, участвующим в связке сети, присвоены данные из доменов этих переменных, то такая связка называется ассоциированной с данными. Так как ассоциированные связки модульных сетей могут быть либо истинными, либо ложными, то в общем случае связка ассоциированной ориентированной модульной сети представляется в виде: βoutρβin(ρ-соединено)ИСТИНА_или_ЛОЖЬ. (10)

Вопрос о том, является ли ассоциированная связка сети истинной (соединенной) или ложной (разъединенной), решается в зависимости от данных, присвоенных двум ее переменным β, а также от условия соединения-разъединения данной ассоциированной связки. Условие соединения-разъединения ассоциированной связки может быть сформулировано, например, следующим образом: если двум переменным β, участвующим в связке модульной сети, присвоены одинаковые данные, то на этой связке ρ-соединено ИСТИНА, и связка является истинной (соединенной), а если переменным β присвоены разные данные, то ρ-соединено ЛОЖЬ, и связка является ложной (разъединенной).

Если условием истинности соединения ассоциированной связки сети является равенство данных, присвоенных ее переменным β, а условием ложности связки является неравенство этих данных, то в этом случае условие соединения-разъединения связки сети представляется в виде: βoutρβin(ρ-соединено)(равенство)ИСТИНА_или_ЛОЖЬ. (11) Слово «равенство» может быть заменено его математическим символом «=», и тогда соотношение (11) представляется более кратко: βoutρβin(ρ-соединено)=ИСТИНА_или_ЛОЖЬ. (12) Модульные сети, для всех связок которых условием истинности соединений является равенство данных, присвоенных их переменным β, используются в компьютерной практике чаще, чем сети с иными условиями истинности соединений связок.

Связки сети, помимо условия истинности соединений, определяемого равенством данных, присвоенных переменным β, могут иметь иные условия истинности соединений. Например, условиями истинности соединения связки сети, ассоциированной с данными, могут быть значения ρ-соединено: «больше» (>), «меньше» (<), «больше или равно» (≥) или другие значения. Если условием истинности соединения ассоциированной связки является значение «больше», то в соотношении (12) знак «=» заменяется знаком «>»: βoutρβin(ρ-соединено)>ИСТИНА_или_ЛОЖЬ. (13)

Если все связки ассоциированной модульной сети являются истинными, то такая сеть называется истинной. Истинная ассоциированная модульная сеть, на всех N связках которой выполняется одно и то же условие истинности соединения, называется регулярной. Регулярными модульными сетями моделируются многие реальные модульные системы, существующие в природе и обществе. Среди регулярных модульных сетей особый интерес представляют сети, на всех связках которых выполняется условие истинности соединения в виде равенства данных, присвоенных переменным β. Такими регулярными модульными сетями моделируются, например, компьютерные гипертексты и нейросети мозга.

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

Теперь, после рассмотрения основных понятий модульных сетей, построим параметрическую модель, описывающую в обобщенной форме составы, структуры и домены абстрактных ориентированных модульных сетей. Состав параметрической модели абстрактных ориентированных модульных сетей определим набором, состоящим из n параметрических векторов признаков образующих g1,g2,…,gn: a(gi)=a(i,γiliimiiniriout), i=1,2,…,n. (14) В разделе 2 мы имели дело с параметрическим вектором признаков образующих (1). Он был определен при условии i=const и имел более простую форму, чем параметрические векторы (14). Вектор признаков (1) состоял из компонентов i, γil, βimin, βirout. Векторы признаков (14) похожи на вектор (1), но имеют ряд отличий от него. Во-первых, в соотношениях (14) компонент i (порядковый номер образующей gi множества n образующих) изменяется и принимает значения i=1,2,…,n, а в векторе (1) компонент i являлся константой. Во-вторых, вектор (1) имел одну компоненту γil, а векторы (14) имеют li компонент γ. Наконец, в отличие от вектора (1), в векторах (14) параметры m, r имеют нижние индексы i.

В соотношениях (14) параметры li, mi, ri в каждом из n векторов признаков можно заменять различными числовыми значениями, выбранными в диапазонах li=1,2,…,limax, mi=1,2,…,mimax, ri=1,2,…,rimax. Причем выбираются эти числовые значения так, чтобы при определенном числовом значении i, после замены параметров li, mi, ri числовыми значениями, числа входных и выходных связей полученной абстрактной образующей равнялись числам входов и выходов одного из реальных модулей, соединенных в модульную систему, моделируемую модульной сетью. К примеру, в соотношениях (14) абстрактная образующая с номером 3 (i=3) может иметь одну входную связь (m3=1) и пять выходных связей (r3=5). Такая образующая служит моделью одного из соединенных в модульную систему (моделируемую модульной сетью) реальных модулей, который имеет один вход и пять выходов.

Набор из векторов признаков, определяемых соотношениями (14), является параметрическим «образом» составов многих абстрактных модульных сетей с конкретными числами входных и выходных связей. Векторы признаков, описывающие составы таких абстрактных сетей, получаются путем замены в соотношениях (14) параметров li, mi, ri конкретными числовыми значениями. Состав одной абстрактной модульной сети представляется n образующими, в каждой из которых параметры li, mi, ri имеют определенные числовые значения.

Переменным γ и β, фигурирующим в векторах (14), ставятся в соответствие домены Dili,Dimiin,Diriout. (15) Поскольку мы строим параметрическую модель абстрактных ориентированных модульных сетей, то в каждом из доменов (15) содержится только символ λ0, и нет данных о реальных модульных системах. Если в доменах находятся только символы λ0, то соотношения (14) и (15) определяют состав и «пустое» содержание параметрической модели абстрактных ориентированных модульных сетей.

В заключение определим структуру параметрической модели абстрактных ориентированных модульных сетей. Cтруктура любой абстрактной модульной сети определяется совокупностью всех ее N связок, на каждой из которых установлено отношение связей ρ-соединено ИСТИНА.

В общем случае структура параметрической модели абстрактной ориентированной модульной сети определяется соотношениями: βioutρjβi′inj-соединено)ИСТИНА, j=1,2,…,N (16) В соотношениях (16) βiout, βi′in — переменные, приписанные выходной и входной связям j-той связки сети; ρj — отношение связей j-той связки сети; i — порядковый номер образующей, выходная связь которой участвует в j-той связке сети; i′ — порядковый номер образующей, входная связь которой участвует в j-той связке сети, составленной из n образующих. Соотношения (16) определяют N связок параметрической модели.

Соотношения (14), (15), (16) являются параметрической моделью абстрактных ориентированных модульных сетей. Эта модель представляет собой общий структурный скелет (остов) многих конкретных и ассоциированных ориентированных модульных сетей. Чтобы из абстрактной модели получить параметрическую модель конкретных ориентированных модульных сетей, достаточно положить, что ее домены являются конечными или с четными множествами данных о реальных модульных системах и при этом в каждом домене содержится символ λ0.

Если в доменах конкретной модульной сети содержатся данные об одной или нескольких реальных модульных системах и данные о некоторой одной модульной системе присвоены переменным сети, то конкретная сеть превращается в модульную сеть, ассоциированную с данными. Ассоциированная модульная сеть служит моделью некоторой реальной модульной системы.

Ранее было сказано, что отношение связей ρj-соединено для каждой ассоциированной с данными j-той связки сети может иметь значение ИСТИНА или ЛОЖЬ, определяемое условием соединения-разъединения j-той связки. Если число связок ассоциированной модульной сети больше одной, то тогда возможны два предельных случая определения числа условий соединения-разъединения всех связок сети. В первом предельном случае для каждой связки сети определяется свое условие соединения-разъединения ее связей, отличное от условий соединения-разъединения других связок сети. Очевидно, что в этом случае число условий соединения-разъединения связок сети равно числу ее связок. Во втором предельном случае для всех N связок сети определяется одно единственное условие соединения-разъединения. Возможны промежуточные случаи, когда число условий соединения-разъединения связок ассоциированной модульной сети больше 1, но меньше N.

Если в параметрической модели (14), (15), (16) положить mi=1 при любых числовых значениях i, а параметры ri оставить свободными (ri=1,2,…,rimax), то получается первая частная параметрическая модель абстрактных ориентированных модульных сетей: a(gi)=a(i,γilii1iniriout), i=1,2,…,n, Dili,Di1in,Diriout, βioutρjβi′inj-соединено)ИСТИНА. (17) В модели (17) mi=1 при любых значениях i. Поэтому очевидно, что в ней используются линейные образующие и образующие анализа, и не применяются образующие синтеза. С помощью модели (17) представляются компьютерные гипертексты.

Если в параметрической модели (14), (15)(16) положить ri=1 при всех значениях i, а параметры mi оставить свободными (mi=1,2,…,mimax), то получается вторая частная параметрическая модель абстрактных ориентированных модульных сетей: a(gi)=a(i,γiliimiini1out), i=1,2,…,n, Dili,Dimiin,Di1out, βioutρjβi′inj-соединено)ИСТИНА. (18) В модели (18) ri=1 при любых значениях i. Поэтому очевидно, что в ней используются линейные образующие и образующие синтеза и не применяются образующие анализа. С помощью модели (18) представляются реальные сети, составленные из операционных усилителей нейрокомпьютеров, и нейросети мозга.

Помимо рассмотренных могут быть построены другие параметрические модели модульных сетей, например, параметрические модели неориентированных модульных сетей. Еще одна параметрическая модель модульных сетей получается путем введения в векторы признаков, определяемые соотношением (14), дополнительных компонент α12,…, называемых индексами классов образующих. С помощью индексов классов, множество образующих, из которых состоит модульная сеть, разделяется на непересекающиеся классы.

Параметрические модели модульных сетей обеспечивают теории модулей мощность и большую гибкость в моделировании открытых и закрытых реальных модульных систем.

Раздел 4. Примеры применения модульных сетей

Теория мало что стоит, если ее нельзя применить на практике. /Пётр Кропоткин/

Модульные сети можно применять для решения практических и теоретических задач компьютерной науки и практики, а также задач из других областей знаний, требующих модульного подхода. Основное достоинство модульных сетей в том, что их можно использовать в виде понятных людям наглядных схем без построения формальных описаний сетей. Ниже рассмотрены пять характерных примеров применения модульных сетей к решению компьютерных задач. Первые четыре примера практические, а пятый — теоретический.

Пример 1. Модульные модели двух структурно подобных веб-страниц

С помощью модульных сетей веб-страницы моделируются как модульные системы. При таком подходе кадры, из которых состоят веб-страницы, рассматриваются как модули, имеющие входы и выходы. Покажем на примере двух простых структурно подобных веб-страниц, каким образом они моделируются модульными сетями. На рис. 3 представлены наглядные схемы двух простых ассоциированных с данными модульных сетей, моделирующих две веб-страницы, имеющие одинаковую гипертекстовую структуру, но разные содержания.

Рис. 3. Ассоциированные модульные сети
а) б)

Ассоциированная с данными модульная сеть, показанная на рис. 3а, моделирует веб-страницу c именем «Закон». Закон имеет две статьи. Модель (модульная сеть) состоит из трех образующих g1, g2, g3. Образующая g1 моделирует в виде модуля первый кадр веб-страницы, на котором приведены имя «Закон» и две гипертекстовые ссылки «Статья 1» и «Cтатья 2», по которым вызываются второй и третий кадры веб-страницы (они представлены на рисунке образующими g2, g3). На втором и третьем кадрах веб-страницы приведены тексты двух статей Закона. Несоединенные входная и выходная связи образующей g1 моделируют вход в веб-страницу из системного окружения и выход из нее.

Модульная сеть на рис. 3б имеет аналогичную с сетью на рис. 3а гипертекстовую структуру, но она моделирует другую веб-страницу, содержащую сведения о воздушном и наземном транспорте. Условием истинности соединения связок обеих модульных сетей, моделирующих веб-страницы, является равенство данных, присвоенных двум переменным β любой сетевой связки двух сетей. Условие истинности соединения сетевой связки будет выполнено, если верстальщик, размечающий с помощью языка HTML исходный текст веб-страницы «Закон», присвоит гипертекстовой ссылке и кадру, на который она указывает, одинаковые имена. Если окажется, что присвоенные имена не одинаковы, например, из-за грамматической ошибки в одном из двух имен, то условие истинности соединения связки будет не выполнено и связка окажется ложной (разъединенной).

Обе ассоциированные модульные сети на рис. 3 являются регулярными, поскольку на всех их связках выполняется условие равенства данных, присвоенных переменным β связок. Рисунки 3а и 3б показывают, что к двум регулярным ассоциированным модульным сетям, имеющим общий структурный скелет (остов) и одинаковое отношение связей ρ на связках, может быть применено преобразование подобия, обозначаемое символом «s». В результате применения к ассоциированной модульной сети s-преобразования подобия структурный скелет сети не меняется и при этом она остается регулярной — изменяются только данные, присвоенные переменным сети. В работах [1][2] содержатся сведения о свойствах множеств s-преобразований подобия модульных конфигураций, составленных из образующих.

Две ассоциированные модульные сети, показанные на рис. 3, имеют одинаковый структурный скелет в виде абстрактной модульной сети, представленной на рис. 4.

Рис. 4. Абстрактная модульная сеть
Формальное описание модульной сети
структурный скелет сети состав сети a(g1)=a(1,γ1111in12in13in11out12out13out)
a(g2)=a(2,γ2121in21out)
a(g3)=a(3,γ3131in31out)
структура сети β21outρβ12in11outρβ21in12outρβ31in31outρβ31in
(ρ-соединено) ИСТИНА
содержание сети D11,D21,D31
D11in,D12in,D13in,D11out,D12out,D13out
D21in,D21out,D31in,D31out

Из рис. 4 видно, что абстрактная модульная сеть имеет состав, структуру и пустое содержание. Их совокупность называется структурным скелетом или остовом сети. Состав сети — это набор, состоящий из всех ее образующих. Содержание абстрактной сети — это набор, состоящий из всех ее доменов, определенных на пустой информационной среде. Структура абстрактной модульной сети состоит из всех ее связок, на каждой из которых установлено отношение связей (ρ-соединено) ИСТИНА.

С помощью структуры модульной сети строится еще одна важная характеристика сети, называемая структурой соединений модульной сети и обозначаемая символом «σ». Особое значение этой характеристики сети для компьютерной теории и практики обусловлено тем, что с ее помощью устанавливаются взаимосвязи между модульными сетями и графами. В частном случае, для абстрактной модульной сети, представленной на рис. 4, структура ее соединений σ представляется набором из четырех упорядоченных пар: ‹2,1›, ‹1,2›, ‹1,3›, ‹3,1›. Набор этих пар является графом, построенным на трех соединенных связками вершинах 1, 2, 3 модульной сети рис. 4. Рассматривая приведенный выше набор из четырех упорядоченных пар, легко понять общий алгоритм (правило) построения структур соединений графовых сетей из модульных сетей. Очевидно, что это правило заключается в использовании в качестве первых и вторых элементов упорядоченных пар (представляющих ориентированные ребра графов) первых чисел, фигурирующих в нижних индексах переменных β связок модульной сети. Из рассмотрения рис. 4 следует вывод, что структура σ модульной сети представляет собой граф, построенный на вершинах сети, соединенных связками.

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

Пример 2. Модульные, графовые и модульно-графовые сети

В Примере 1 связки модульной сети были преобразованы в ребра графа с помощью формального алгоритма. Проиллюстрируем теперь это преобразование на наглядных схемах сетей. На рис. 5 наглядно показано преобразование модульной сети, моделирующей веб-страницу «Закон», в граф, ассоциированный с данными о странице.

Рис. 5
а) граф б) модульная сеть в) модульно-графовая сеть

Если в ассоциированной модульной сети на рис. 5б заменить все ее четыре сетевые связки ребрами графа и уничтожить (аннигилировать) две внешние связи сети, то модульная сеть превратится в ассоциированный граф, показанный на рис. 5а. Из сопоставления схем рис. 5а и 5б следует вывод, что модульные сети представляют компьютерные гипертексты более детально, чем графы. Если связки сети на рис. 5б заменить ребрами графа и при этом сохранить внешние связи сети, то из модульной сети получается модульно-графовая сеть, показанная на рис. 5в. На рис. 5а показано, что ребро графа нельзя резать на две части, а связка модульной сети может быть соединена или разъединена (рис. 5б).

В результате анализа Примера 2 можно сделать следующие выводы. Открытая модульная сеть преобразуется в граф путем замены всех ее связок ребрами графа и аннигиляции (уничтожения) внешних связей сети. Открытая модульная сеть преобразуется в модульно-графовую сеть заменой ее связок ребрами графа при сохранении ее внешних связей. Закрытая модульная сеть преобразуется в граф заменой всех ее связок ребрами графа. Закрытая модульная сеть преобразуется в модульно-графовую сеть путем замены части ее сетевых связок графовыми ребрами. Если некоторая модульная сеть моделирует реальную открытую модульную систему, то связки сети представляют внутренние границы (внутренний профиль) модульной системы, а несоединенные связи сети представляют внешнюю границу (внешний профиль) модульной системы. Благодаря этому, с помощью модульной сети наблюдатель реальной открытой модульной системы может сконцентрировать внимание на характеристиках ее внутренних и внешних границ (внешнего и внутреннего профиля).

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

Пример 3. Гипертекстовые веб-курсы

Давно известно, что студенты с трудом усваивают содержание лекций, читаемых преподавателями технических и математических дисциплин. Причина заключается в перегрузке студента сложными операциями, которые он должен выполнить во время прослушивания лекции. Действительно, лекция, читаемая преподаватеем в университетской аудитории, состоит из последовательности сложных для усвоения тем. Студент должен прослушать тему и аккуратно записать ее в своем конспекте. Кроме того, чтобы понять и запомнить тему он должен сопоставить ее содержание с хранящимися в его памяти знаниями, связанными с этой темой. Таким образом, студент в короткий промежуток времени изложения преподавателем одной лекционной темы должен выполнить несколько сложных операций. Обычно дело обстоит так, что студент еще не успел выполнить все эти операции с одной темой, а преподаватель давно уже закончил ее изложение и перешел к объяснению следующей темы. Из-за особенностей работы нашего мозга средний студент не может в короткие промежутки времени выполнять операции записи и усвоения тем лекции. Поэтому многие студенты конспектируют темы лекций не вникая в их смысл. Некоторые студенты во время лекции вообще отключаются, не конспектируют ее и начинают разговаривать с соседями на посторонние темы.

Эффективность усвоения студентами материала курса лекций в течение учебного семестра может быть существенно повышена, если преподаватель оформит свой курс в виде компьютерного гипертекстового курса лекций (размеченного, например, с помощью языка HTML). Такой гипертекстовый веб-курс может быть размещен на Интернет-сайте преподавателя или кафедры, либо на сайте студенческой группы. Если все студенты, изучающие курс, установят в начале семестра на своих домашних компьютерах веб-версию курса, то преподаватель может отказаться от традиционного метода чтения курса лекций и перейти на метод частично дистанционного обучения студентов. В этом случае студенты приходят на очередное лекционное занятие предварительно изучив дома с помощью компьютера материал соответствующей лекции. На занятии преподаватель не читает лекцию, а отвечает на вопросы, возникшие у студентов при ее домашнем изучении. Преподаватель может также сообщить на занятии студентам дополнительные сведения о темах лекции и решить с ними примеры, поясняющие материал лекции. Таким образом гипертекстовые веб-курсы открывают путь к новому методу обучения студентов.

Учебные веб-курсы могут иметь сложные гипертекстовые навигационные структуры, помогающие студентам усваивать содержание лекций. Практика создания веб-курсов показала, что сложная гипертекстовая навигационная структура веб-курса может быть представлена совокупностью относительно простых гипертекстовых навигационных «взглядов», каждый из которых моделирует некоторую часть навигационной структуры курса.

Покажем на конкретном примере, каким образом навигационный взгляд на гипертекстовый веб-курс представляется тремя моделями — графовой, модульной (в виде модульной сети) и табличной. С этой целью рассмотрим гипертекстовый веб-курс, состоящий из 12 лекций. В его первом кадре находится Оглавление курса, в котором указаны наименования 12 лекций. Наименования являются гиперссылками на тексты соответствующих лекций. С помощью гиперссылок студент вызывает вместо Оглавления курса текст соответствующей лекций. Таким образом, веб-курс имеет 12 прямых гипертекстовых навигационных путей из Оглавления в 12 лекций. Из любой лекции студент вызывает Оглавление курса. Следовательно, веб-курс имеет 12 обратных навигационных путей из лекций в Оглавление. Эти 24 прямых и обратных путей навигации можно представить в виде одного взгляда рассматривающего их студента (наблюдателя). Взгляд студента на 24 пути навигации из Оглавления курса к 12 лекциям и обратно представлен на рис. 6 тремя моделями — графовой, модульной и табличной.

Рис. 6
КадрНавигация
номеримяпрямаяобратная
0Оглавление1÷12
1Лекция 10
2Лекция 20
12Лекция 120
а) графовое представление б) модульное представление в) табличное представление

Модульная модель взгляда студента на гипертекстовый веб-курс, показанная на рис. 6б, является открытой ассоциированной регулярной модульной сетью. Она имеет 24 сетевые связки, которые сгруппированы в 12 пар связок. Каждая такая пара связок изображает два навигационных пути — прямой и обратный. Пара, состоящая из прямого и обратного навигационных путей, является элементарным взглядом студента на гипертекстовую навигацию. Как нетрудно видеть, сложный навигационный взгляд, представленный на рис. 6б состоит из 12 элементарных взглядов. Получается, что любой сложный навигационный взгляд на гипертекстовый веб-курс состоит из элементарных взглядов. Показанный на рис. 6а граф, моделирующий взгляд студента на гипертекстовый веб-курс, получается путем свертки связок модульной сети на рис. 6б в ребра графа и уничтожения внешних связей сети. Табличное представление взгляда наблюдателя (рис. 6в) построено в результате рассмотрения кадров веб-курса как взаимосвязанных модулей.

Учебные веб-курсы и веб-страницы — это два разных вида обширного семейства компьютерных гипертекстов, играющих особо важную роль в компьютерной практике. Примеры 1, 23 и их иллюстрации ясно показывают, что модульные сети обеспечивают более детальное моделирование компьютерных гипертекстов, чем используемые для этого в настоящее время графы. Гипертекстовые веб-курсы могут иметь очень сложные навигационные структуры, представляемые не одним, а многими взглядами наблюдателя. В частности, кроме рассмотренного выше навигационного взгляда типа «Оглавление — Лекции», веб-курсы могут иметь взгляды типов «Предметный указатель — Лекции», «Ссылки между лекциями», «Вопросы — Ответы», «Ссылки на Интернет-сайты» и иные взгляды. Эти разнообразные взгляды могут быть представлены модульными, графовыми и табличными моделями.

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

Пример 4. Консолидированный бюджет Российской Федерации

История развития методов моделирования и проектирования компьютерных информационных систем и их программных средств насчитывает около пятидесяти лет. В последнее десятилетие в США были выполнены работы по интеграции и стандартизации таких методов. В наиболее четкой форме результаты этих работ воплотились в языке UML. Его ядром являются UML-диаграммы (наглядные модели), позволяющие разработчикам изображать в виде рисунков различные «взгляды» на сложные компьютерные системы и их программные средства. Математической основой языка UML являются теория множеств и графы. Во многих странах и в России язык UML и его диаграммы активно применяются в проектировании сложных компьютерных систем. Анализ практики разработки территориально-распределенных, государственных систем, работающих на основе компьютерных сетей, показал, что для проектирования подобных особо сложных систем диаграммы UML целесообразно дополнить модульными диаграммами, построенными на основе модульных сетей.

В данном примере рассмотрено применение модульных диаграмм, основанных на модульных сетях, к моделированию и проектированию территориальной части Консолидированного бюджета Российской Федерации (РФ), работающего на основе компьютерной сети.

В СССР управление экономикой осуществлялось с помощью государственного плана. Сегодня, после проведения в России рыночных реформ главным инструментом управления страной и ее экономикой является Консолидированный бюджет РФ. Он имеет две части: территориальную и ведомственную. Территориальная часть (территориальный разрез) Консолидированного бюджета объединяет в единую систему федеральный бюджет, бюджеты 89 субъектов РФ (регионов) и бюджеты всех муниципалитетов страны. В настоящее время для разработки годового федерального бюджета и других годовых бюджетов, входящих в состав Консолидированного бюджета РФ, широко используются компьютеры. Одним из основных направлений дальнейшего развития компьютеризации Консолидированного бюджета РФ является создание компьютерной сети, объединяющей Автоматизированные информационные системы (АИС) федерального бюджета, бюджетов регионов и муниципалитетов.

На рис. 7 приведена диаграмма модулей, наглядно изображающая территориальную часть АИС Консолидированного бюджета РФ в виде модульной сети со многими неориентированными сетевыми связками и двумя внешними (несоединенными) связями.

Рис. 7. Диаграмма модулей Консолидированного бюджета РФ

Как видно, диаграмма представляет территориальную часть АИС Консолидированного бюджета в виде взаимосвязанных модулей, объединенных в трехуровневую древовидную структуру. В этой структуре каждая бюджетная АИС является модулем, моделью которого служит образующая теории модулей. Диаграмма наглядно показывает региональный и муниципальный граничные профили АИС Консолидированного бюджета. На модульной модели в виде внешней выходной связи модульной сети показан Интернет-сайт (портал) Минфина, содержащий среди прочих данных информацию, предназначенную для специалистов, разрабатывающих региональные и иные бюджеты, объединенные в Консолидированный бюджет. Сеть на рис. 7 имеет три уровня. На верхнем, федеральном уровне находится АИС федерального бюджета. С помощью компьютерной сети она взаимодействует с АИС бюджетов 89 субъектов федерации (регионов), которые образуют второй, региональный уровень АИС Консолидированного бюджета. В свою очередь, АИС бюджета каждого региона через компьютерную сеть взаимодействует с АИС бюджетов его муниципалитетов. Совокупность АИС бюджетов всех муниципалитетов составляет третий, муниципальный уровень АИС Консолидированного бюджета. Граница, определяющая документальный обмен между АИС федерального бюджета и АИС бюджетов 89 регионов, является региональным профилем АИС Консолидированного бюджета. Граница документального обмена между АИС бюджетов регионов и АИС бюджетов муниципалитетов представляет собой муниципальный профиль Консолидированного бюджета. Региональный и муниципальный профили представляют собой внутренние границы, через которые происходит обмен электронными версиями документов между АИС бюджетов, объединенных в АИС Консолидированного бюджета. Для нормального функционирования АИС Консолидированного бюджета все сетевые связки регионального и муниципального профилей должны быть согласованы с помощью соответствующих протоколов взаимодействия. На рис. 8 показана таблица протоколов взаимодействия регионального профиля АИС Консолидированного бюджета.

Рис. 8. Таблица протоколов взаимодействия регионального профиля Консолидированного бюджета РФ
ПТР — типовой протокол регионального взаимодействия

В таблице объединены 89 протоколов взаимодействия АИС федерального бюджета с АИС бюджетов регионов России. Каждый из этих протоколов имеет индивидуальные особенности и, вместе с тем, некоторую общую часть, присущую всем 89 протоколам. Эта общая часть выделена в типовой протокол взаимодействия АИС, показанный на рис. 8 справа. Типовой протокол взаимодействия может быть разделен на частные протоколы, каждый из которых регламентирует один из аспектов типового взаимодействия АИС. Например, можно выделить в отдельный документ протокол типового взаимодействия программных средств регионального профиля АИС Консолидированного бюджета. Одной из составных частей типового протокола регионального профиля АИС может стать протокол согласованных типовых форм документов обмена данными через региональный профиль. При этом типовые формы документов обмена могут быть представлены в виде кода, записанного на языке XML.

Консолидированный бюджет имеет иерархическую структуру (рис. 7). Поэтому протоколы взаимодействия его модулей объединяются в две таблицы, каждая из которых имеет одну строку. Для модульных систем с более сложными структурами могут быть построены таблицы взаимодействия их модулей, имеющие n строк и m столбцов. Широкий модульный взгляд на сеть Консолидированного бюджета можно связать с детальными взглядами на границы, существующие внутри отдельных модулей бюджетной сети.

Очевидно, что для бюджетов других стран и их сообществ также могут быть построены модульные сети, моделирующие их консолидированные бюджеты. Например, можно построить модульную сеть, моделирующую Консолидированный бюджет стран Европейского Cообщества. С помощью модульных сетей наглядно представляются в виде модульных диаграмм не только взаимодействующие бюджеты, но и процессы их составления, согласования и утверждения. К модульным диаграммам, моделирующим бюджетные процессы, могут быть применены процедуры декомпозиции, похожие на операции декомпозиции метода IDEF0.

Из Примера 4 следует вывод: модульные сети являются эффективным средством моделирования, проектирования и стандартизации взаимодействия территориально-распределенных автоматизированных систем, функционирующих на основе компьютерных сетей.

Пример 5. Структурное единство модульных, табличных и графовых моделей данных

Доказательство структурного единства модульных, графовых и табличных моделей данных разделим на три шага. Сначала, на первом шаге, покажем, что существует структурное единство абстрактных модульных сетей и графов, не ассоциированных с данными. Затем, на втором шаге, докажем структурное единство абстрактных модульных сетей и матриц. Тем самым будет доказано структурное единство абстрактных модульных сетей, не ассоциированных с данными графов и матриц. Иначе говоря, будет доказано структурное единство этих трех абстрактных моделей на пустой информационной среде. Наконец, на последнем, третьем шаге эти три модели будут «привязаны» к конкретной информационной среде.

Итак, покажем, что существует структурное единство абстрактных модульных сетей и графовых сетей, не ассоциированных с данными (первый шаг). Ранее в примерах 23 мы уже имели дело с частными случаями преобразований модульных сетей в графы. Теперь преобразуем абстрактные модульные сети в графы в общем случае. С этой целью вернемся к построенной в Разделе 3 параметрической модели абстрактных модульных сетей, определенной соотношениями (14), (15)(16). Допустим, что она определяет модульные сети, не имеющие внешних связей, и ограничим модель условием li=mi=ri=0. При таких условиях из соотношений (14), исключаются параметрические переменные γili, βimiin, βiriout. Параметрические векторы признаков превращаются в «вырожденный вектор» а(i) c единственным компонентом i=1,2,…,n. Cоотношения (15), определяющие домены параметрических переменных, также исключаются из модели, поскольку li=mi=ri=0. Соотношения (16), определяющие N связок параметрической модели модульной сети, преобразуются в cоотношения, определяющие N ребер ориентированного графа.

Таким образом, при условии li=mi=ri=0 соотношения (14), (15), (16) преобразуются к следующему виду: a(i), i=1,2,…,n, ‹i,i′›j, j=1,2,…,N. (19) Векторы a(i) и ориентированные пары, фигурирующие в соотношениях (19), определяют состав ориентированной графовой сети, имеющей n вершин, при этом символ «i» обозначает порядковый номер i-той вершины графа. Соотношения ‹i,i′›j определяют N ребер (структуру) ориентированной графовой сети, имеющей n вершин. Символ «j» (1≤j≤N) обозначает порядковый номер ребра среди N ребер ориентированной графовой сети. Домены Di поставлены в соответствие n вершинам графа, а домены Dj — N ребрам графа.

Тем самым доказано структурное единство модульных и графовых сетей. Из этого доказательства следует полезный для практики вывод: наглядные схемы абстрактных модульных сетей можно преобразовывать в схемы графовых сетей. Если в параметрической модели, определяемой соотношениями (14), (15), (16), применить алгоритм преобразования связок сети в графовые ребра не ко всем, а только к некоторой части N связок сети, то в этом случае параметрическая модель модульных сетей преобразуется в параметрическую модель модульно-графовых сетей.

Для доказательства существования структурного единства абстрактных модульных сетей и матриц (второй шаг) преобразуем построенную в Разделе 3 параметрическую модель абстрактных ориентированных модульных сетей, определяемую соотношениями (14), (15), (16), в параметрическую матрицу, дополненную доменами ее столбцов. С этой целью в соотношениях (14) и (15) положим mi=ri=0. Тогда, в соответствии с принятым ранее соглашением из соотношений (14), (15) исключаются параметрические переменные β и их домены, а соотношения (14), (15) преобразуются к следующему виду: a(γili), i=1,2,…,n, li=1,2,…,limax, Dili. (20) Напомним, что соотношения (14), (15) были определены на пустой информационной среде. Поэтому в каждом из доменов Dili содержится только символ λ0, обозначающий пустую информационную среду, и ни в одном из них нет конкретных данных.

Cоотношения (20) представляют собой параметрическую модель n кортежей. При этом арность каждого i-го кортежа определяется числовым значением, заменяющим параметр limax. Например, если в соотношениях (20) положить n=3, l1max=4, l2max=2, l3max=5, то они определят три кортежа с разными арностями. Причем арность первого кортежа равна 3, второго — 2, а третьего — 5. Если в соотношениях (20) положить limax=l при любом значении i, то все кортежи, определяемые соотношениями (20), будут иметь одинаковую арность, равную l. Поскольку параметр l не зависит от номера кортежа i, соотношения (20) приобретают следующий вид: a(γil), Dil, (21) где i=1,2,…,n; l=1,2,…,m. Cоотношения (21) можно представить в следующей форме: n×m, Dm, (22) где n=1,2,…; m=1,2,…. Здесь n — параметр, обозначающий число строк матрицы, а m — параметр, обозначающий число столбцов матрицы. Dm — это домены, поставленные в соответствие столбцам матрицы. При этом символы λ0, помещенные в доменах Dm, означают неопределенные значения данных, присваиваемых элементам столбцов матрицы.

Итак, на втором шаге мы преобразовали параметрическую модель абстрактных модульных сетей, моделирующую структуры реальных модульных систем, в матрицу (22), дополненную доменами Dm. Ранее, на первом шаге, параметрическая модель абстрактных модульных сетей была преобразована в графовую сеть, определяемую соотношениями (19). Тем самым доказано единство структур абстрактных модульных сетей, графовых сетей и матриц.

Теперь осталось сделать третий шаг и показать единство модульных, графовых и табличных моделей данных. Параметрическая модель абстрактных модульных сетей (14), (15)(16) является обобщенным структурным скелетом ассоциированных с данными модульных сетей, моделирующих реальные модульные системы. Следовательно, она является общим структурным скелетом модульных моделей данных. Графовая сеть (19) является обобщенным структурным скелетом ассоциированных с данными графовых сетей, моделирующих структуры и содержания реальных систем. Матрица (22) является обобщенным структурным скелетом таблиц реляционных баз данных, т. е. структурным скелетом табличных моделей данных.

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

Первый пример. От преобразования параметрической модели абстрактных модульных сетей в матрицу можно перейти к преобразованию параметрической модели ассоциированных модульных сетей в реляционные модели, построенные Е. Коддом и П. Ченом [6][7]. Мы не будем рассматривать здесь эти достаточно сложные преобразования. Укажем только, что с помощью такого преобразования модели Кодда и Чена получаются из параметрической модели ассоциированных модульных сетей (14), (15), (16) как частные случаи.

Второй пример. Если посмотреть на проблему единства модульных, графовых и модульно-графовых сетей сначала с точки зрения единства их формальных моделей, а затем с позиции сходства их наглядных схем, то в ней обнаруживается «человеческий фактор». Его сущность заключается в существовании двух групп людей, называемых «наблюдателями», которые обладают разными знаниями о модульных, графовых и модульно-графовых сетях. Первая группа наблюдателей «видит» формальные математические описания этих трех типов сетей и их наглядные схемы. Эти люди обладают «полными» (математическими и наглядными) знаниями о сетях. Вторая группа людей «видит» только лишь наглядные схемы сетей и ничего не знает о существовании их математических описаний. Эти люди обладают лишь частичными (наглядными) знаниями о сетях, но их зачастую оказывается достаточно для решения практических задач.

Следует заметить, что сегодня авторы теорий и моделей всё чаще вводят в свои математические построения «человеческий фактор». Например, Гренандер включил в теорию модулей «человеческий фактор» в виде двух «наблюдателей» — реального и идеального. Это позволило ему сформулировать два принципа построения теории модулей, один из которых он назвал принципом реализма, а другой — принципом наблюдаемости [1]. Наблюдатель косвенно присутствует и в упомянутой выше модели П. Чена в виде информационного уровня модели данных «Сущность — Взаимосвязь» [7]. В различных информационных моделях «человеческий фактор» выступает в разных видах. Например, в первой версии стандарта на язык запросов XQuery «человеческий фактор» проявляется в определении двух видов синтаксиса XQuery: один из них выражен на XML, а другой представляется в виде модели, которую могут воспринимать люди.

Доказательство структурного единства модульных, графовых и табличных моделей данных приводит к проблеме определения сходства принципов построения и языков трех теорий — модулей, графов и реляционных баз данных. Для ее решения могут быть использованы принципы построения теории модулей, сформулированные Гренандером [1].

Заключение

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

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

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

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

Литература

  • 1. Grenander U. Lectures in Pattern Theory, Springer-Werlag, New York, Heidenberg, Berlin, vol 1 (1976) Pattern Synthesis, vol 2 (1978) Pattern Analysis, vol 3 (1981) Regular Structures.
  • 2. Grenander U. General Pattern Theory, Oxford University Press, 1993, 904 pp.
  • 3. Шуткин Л. В. Паттерновое моделирование гипертекстов // М. НТИ, Сер. 2, 1995, № 9, с. 20–26.
  • 4. Шуткин Л. В. Результаты и перспективы применения теории модулей к компьютерам // М. НТИ, Сер. 2, 1996, № 12, с. 13–21.
  • 5. Шуткин Л. В. Новое мышление компьютерного мира // М. НТИ, Сер. 2, 2000, № 12.
  • 6. Kodd E. F. A relational model of data for large shared data banks, Commun. ACM — 13.6 (1970-07).
  • 7. Chen P. The Entity-Relationship Model — Toward a Unified View of Data, ACM Transactions on Datadase Systems, vol 1, № 1 (1976-03).
  • HTML. HyperText Markup Language
  • IDEF0. IDEF0 Function Modeling Method
  • UML. Unified Modeling Language
  • XML. eXtensible Markup Language
  • XQuery. XML Query language

Статью "10.12.2004. Парадигма модульного мышления в компьютерной науке и практике" Вы можете обсудить на форуме.




вверх
  Copyright by MorePC - обзоры, характеристики, рейтинги мониторов, принтеров, ноутбуков, сканеров и др. info@morepc.ru  
разработка, поддержка сайта -Global Arts