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

\QJIZ7

На правах рукописи УДК 004.82

Варламов Олег Олегович

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

05.13.01 - Системный анализ, управление и обработка информации (в оборонной и гражданской технике)

т Автореферат диссертации на соискание ученой степени

доктора технических наук

Москва - 2003

Работа выполнена в Московской академии рынка труда и информационных технологий (МАРТИТ).

Научный консультант: академик РАН, доктор технических наук, профессор Каляев Анатолий Васильевич.

Официальные оппоненты:

член-корреспондент РАН, доктор технических наук, профессор Хорошевский Виктор Гаврилович,

доктор технических наук, профессор Афанасьев Валерий Николаевич, доктор технических наук, профессор Богатырев Владимир Ильич.

Ведущая организация - Институт проблем информатики РАН.

Защита состоится "16" октября 2003 г. в 14.00 часов на заседании диссертационного Совета Д 850.001.01 при Московской академии рынка труда и информационных технологий (МАРТИТ) по адресу: 121351, г.Москва, ул.Молодогвардейская, д.46, корп. 1, телефон (095) 149-86-38.

С диссертацией можно ознакомиться в библиотеке Московской академии рынка труда и информационных технологий.

Автореферат разослан "5" июня 2003 г.

Ученый секретарь

диссертационного совета, профессор

Чересов Ю.И.

. НАЦИОНАЛЬНАЯ J БИБЛИОТЕКА

© О.О. Варламов, 2003

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

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

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

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

Адаптивность синтеза ИВК обусловлена уникальностью каждой диагностической задачи, необходимостью учета ранее разработанных вариантов конфигураций, быстротой создания, развития и старения программных и аппаратных средств. Для синтеза требуемых конфигураций фактически необходимо разработать некоторую новую САПР на основе распределенных СБДП. Используемые данные необходимо хранить в едином структурированном пространстве унифицированного представления данных и правил с целью научно-обоснованного всеобъемлющего синтеза уникальных конфигураций ЭВМ и последующего оперативного решения задачи. САС ИВК может являться ядром формируемых СПАКОД.

Таким образом, актуальность крупной научной проблемы разработки СБДП и САС ИВК для создания СПАКОД обусловлена тем, что необходимо в минимальное время достижение максимального быстродействия для решения диагностической задачи в ситуации, когда нахождение правильного решения имеет жизненно-важное значение, цена которого априори во много раз превышает стоимость затрат на синтез компьютерной системы. Следовательно, известные методы синтеза ЭВМ (ИВК), основанные на коммерческой эффективности, в таких ситуациях не применимы.

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

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

В соответствии с поставленной целью определены задачи диссертации:

1) изыскать принципы построения и применения систем адаптивного синтеза информационно-вычислительных конфигураций;

2) в теории баз данных провести системный анализ, сравнение и обобщение основных структур представления данных (СПД) традиционных моделей данных;

3) разработать теоретические основы создания интерактивных самоорганизующихся баз данных и правил;

4) создать метод обработки данных на основе применения интерактивной самоорганизующейся логической сети правил, управляемой потоком данных;

5) разработать быстродействующий метод "графового" поиска маршрута логического вывода путем построения многополюсной сети теории графов и определения ее минимального разреза;

6) разработать метод распараллеливания потокового множественного доступа к общей базе данных в условиях недопущения взаимного искажения данных;

7) разработать метод алгоритмической минимизации необходимого количества устройств и вычислительных процедур сложения для единично-инкрементного

• суммирования чисел.

Научная новизна диссертации заключается в том, что в ней впервые:

1) предложены принципы построения и применения систем адаптивного синтеза информационно-вычислительных конфигураций;

2) на основе применения пятиуровневых одномерных таблиц представления данных осуществлено описание, системный анализ, сравнение и обобщение основных структур представления данных графо-табличных моделей данных;

3) разработаны теоретические основы создания интерактивных самоорганизующихся баз данных и правил путем построения многомерного информационного динамического пространства унифицированного представления данных и правил;

4) предложен метод обработки данных на основе применения интерактивной самоорганизующейся логической сети правил, управляемой потоком данных;

5) разработаны быстродействующий метод "графового" поиска маршрута логического вывода, матричный метод поиска маршрута логического вывода и квадратичные методы поиска минимального разреза многополюсных сетей;

6) разработан метод распараллеливания потокового множественного доступа к общей базе данных в условиях недопущения взаимного искажения данных;

7) разработан метод алгоритмической минимизации количества процедур и устройств сложения для единично-инкрементного суммирования чисел.

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

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

1. К концу 20 века были разработаны: либо одномерные многоуровневые, либо многомерные, либо динамические базы данных и знаний. Возрастание потребностей науки и практики сделало актуальным решение новых сложных задач оперативной диагностики в условиях многомерного, динамического и непрерывного функционирования комплексов оперативной диагностики. Известные технологии БД и САПР не применимы для синтеза таких комплексов. Противоречие в том, что в условиях дефицита времени требуется оперативно синтезировать ("под задачу") уникальный комплекс с использованием всех доступных ресурсов, включая Интернет, для обеспечения экспресс-диагностики сложных задач. Затем, комплекс переформировывается, самоорганизуется для решения новой уникальной задачи.

2. Совокупность взаимосвязанных проблем создания СБДП, САС ИВК и методов обработки информации образует единую крупную научную проблему разработки основ построения СПАКОД, от успеха решения которой зависит оперативность диагностики в медицине, метеорологии, юриспруденции и т.п.

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

4. Для обеспечения эволюционного развития комплексов оперативной диагностики предложено на программном уровне ввести СБДП, а на аппаратном - САС ИВК.

5. Для создания САС ИВК предложены принципы их построения и применения.

6. Для создания СБДП проведено обобщение СПД моделей данных путем применения пятиуровневых одномерных таблиц представления данных и предложены основы построения многомерного информационного динамического пространства унифицированного представления данных и правил.

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

8. Для повышения быстродействия обработки информации разработаны: метод "графового" поиска маршрута логического вывода; квадратичной сложности методы поиска минимального разреза (максимального потока) двухполюсных и многополюсных сетей; линейной сложности матричный метод поиска маршрута логического вывода на сети правил.

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

10. Для повышения быстродействия единично-инкрементного суммирования чисел разработан и запатентован новый метод (способ) суммирования чисел.

Практическая ценность работы определяется тем, что:

1) основы создания СБДП и принципы построения и применения САС ИВК обеспечивают возможность создания самоорганизующихся программно-аппаратных комплексов оперативной диагностики;

2) основы создания СБДП позволяют адаптивно и своевременно наращивать объем хранимой информации и обрабатывать ее с применением интерактивной эволюционной логической сети правил, управляемой потоком данных, что повышает интеллектуальные способности АСОИ;

3) интерактивная самоорганизующаяся логическая сеть, управляемая потоком данных, объединяет обработку известных данных на основе известных правил и осуществляет обучение, изменение системы правил, что обеспечивает эволюционное развитие всей компьютерной системы в целом;

4) методы поиска маршрута логического вывода и минимального разреза позволяют снизить вычислительную сложность поиска маршрута логического вывода до квадратичной;

5) методы поиска минимального разреза позволяют снизить сложность поиска минимального разреза (максимального потока) двухполюсных и многополюсных сетей с кубической до квадратичной;

6) метод алгоритмической минимизации количества процедур и устройств для единично-инкрементного суммирования чисел позволяет перейти от степенной к линейной зависимости количества операций сложения от разрядности чисел;

7) матричный метод поиска маршрута логического вывода позволяет снизить сложность поиска маршрута логического вывода до линейной;

8) интерактивная самоорганизующаяся логическая сеть позволяет распараллелить логическую обработку потока данных;

9) метод распараллеливания потокового множественного доступа к общей БД реализует максимальное быстродействие (без накопления времени задержки) обработки данных;

10) предложенные основы и методы в совокупности позволяют повысить эффективность разработки, эксплуатации и модернизации компьютерных систем (АСОИ) за счет оптимизации синтеза конфигураций по критерию отношения реальной производительности к стоимости;

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

12) предложенные научные основы, принципы и рекомендации совместно с применением ЭВМ с программируемой архитектурой, разрабатываемых под руководством академика РАН Каляева A.B., в совокупности позволят повысить реальную производительность адаптивных самоорганизующихся ЭВМ вдвое, т.е. относительно пиковой мощности обычных ЭВМ с 10-30 % до 50-70 %;

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

Основные результаты диссертационной работы получены автором единолично (без соавторов). Эти результаты реализованы, внедрены и используются в Государственном научно-исследовательском испытательном институте проблем технической защиты информации Гостехкомиссии России, Таганрогском радиотехническом университете (ТРТУ), Академии налоговой полиции ФСНП России, ОАО "НИИ СуперЭВМ", ОАО "НИИ ВК им. М. А. Карцева" и др. Получен патент на изобретение.

Апробация работы. Основные результаты работы докладывались, одобрены и опубликованы в материалах международных научных конференций "Интеллектуальные и многопроцессорные системы" (ИМС) ТРТУ, ЦНИИРЭС, научных сессий МИФИ и др.

Публикации. Основные научные результаты диссертации опубликованы в 35 научных работах, из них: 2 монографии, 20 статей, 1 патент, 12 докладов.

Структура и объем диссертации. Диссертация состоит из введения, семи разделов, заключения и списка литературы из 352 наименований. Она содержит 307 страниц текста, 16 таблиц, 43 рисунка.

СОДЕРЖАНИЕ РАБОТЫ

Во введении обосновывается актуальность крупной научной проблемы, проанализирован научный уровень создания АСОИ, сформулированы цель и задачи исследования, дан краткий обзор содержания диссертации, перечислены полученные новые научные результаты и приведены сведения о практической ценности работы.

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

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

Проблема адаптивного синтеза информационно-вычислительных конфигураций. В настоящее время синтез конфигураций новых поколений ЭВМ приобретает особую актуальность, чгго обусловлено постоянно возрастающими потребностями решения различных диагностических задач. Кроме того, актуальность создания именно адаптивных ЭВМ обусловлена необходимостью постоянной модернизации АСОИ в условиях н'епрерывности их функционирования. Современные

ЭВМ могут содержать тысячи вычислительных блоков, одновременная замена которых требует больших финансовых и временных затрат. Создание адаптивных ЭВМ позволит изменить процесс проектирования многопроцессорных вычислительных систем, а также обеспечит возможность наращивания и проведения поэтапной модернизации модулей ЭВМ в условиях эксплуатации. В настоящее время, в области создания суперЭВМ возникло противоречие, которое состоит в том, что для любой задачи наиболее эффективными являются специализированные устройства, но их производство оказалось в новых условиях экономически нецелесообразным. Поэтому, теперь ЭВМ собирают из множества унифицированных модулей, производимых различными фирмами. Более того, можно самостоятельно собрать суперЭВМ и одна из них уже вошла в 2001 году в "ТОР-500".

Актуальность проблемы адаптивного синтеза ИВК обусловлена изменением принципов создания ЭВМ; уникальностью каждой задачи; необходимостью обучения

и учета, ранее разработанных вариантов конфигураций;

быстротой создания, развития и старения программных и аппаратных средств.

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

■225п1

Т ЙЁЭЁЗ ^¡У

Рис. 1.

Рис. 2.

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

Отметим, что особый интерес, с точки зрения адаптации ЭВМ под различные классы задач, представляют разрабатываемые под руководством академика РАН Каляева A.B. вычислительные системы и модули с программируемой под структуру решаемой задачи архитектурой. При реализации адаптивного синтеза на ЭВМ с программируемой архитектурой представляется возможным создать адаптивную АСОИ. В такой адаптивной АСОИ создается БД известных структур задач и описание (каталог) архитектур вычислительных модулей. При поступлении на вход системы некоторой задачи производится ее анализ, определяется ее структура и из каталога архитектур вычислительных модулей выбирается наиболее адекватный модуль, затем производят перепрограммирование архитектуры вычислительных модулей и непосредственное решение требуемой задачи. Если для поступившей задачи в каталоге архитектур существует оптимальный вариант архитектуры вычислительных модулей, то это реализуется в автоматическом режиме. Если в каталоге нет подходящей архитектуры, то формируется сигнал вызова администратора и система переходит в автоматизированный режим, когда человек принимает решение о выборе "нужной" архитектуры или формирует новую архитектуру и добавляет ее в каталог.

Универсальные ЭВМ решают реальные задачи с эффективностью 10-15 % от пиковой производительности, в то время как специализированные ЭВМ позволяют добиться 80-90 % эффективности. Внедрение адаптивного синтеза на вычислительных системах с программируемой архитектурой позволит создать достаточно универсальную самоорганизующуюся АСОИ, которая будет решать широкий класс задач с эффективностью не менее 60-70 % от пиковой производительности ЭВМ. После внедрения и реализации самоорганизующихся АСОИ закупать можно будет только самые современные комплектующие, добавляя их в новые эволюционные ИВК. Таким образом, в настоящее время изменились как задачи, так и возможности по созданию ЭВМ, что выявило новые научные проблемы и определило необходимость нетрадиционных подходов к их решению. Сегодня есть все предпосылки для решения проблемы адаптивного синтеза ИВК и построения самоорганизующихся компьютерных систем.

Во втором разделе исследованы принципы построения однородных вычислительных систем, проведен системный анализ основных путей создания эволюционных неоднородных компьютерных систем (ЭНКС) и предложены

принципы построения и применения САС ИВК. СПАКОД относятся к классу многопроцессорных вычислительных систем (МВС), которые состоят из трех основных компонент: процессоры, модули памяти и коммутирующая сеть. Основным принципом построения однородных МВС является то, что коммутирующая сеть соединяет однородные процессоры друг с другом и с модулями памяти.

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

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

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

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

где 1 = 1,1; ^ = 1,J¡; к^. = , В! - это множество имен атрибутов отношения я„ СЦ) - это множество значений атрибута ЬУ| отношения а^ Подчеркнем, что от

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

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

А={а1,а2,.«>аь.«,а1},

(1) (2)

Уа, е А НВ, = {ьц,Ь!2,...,ЬЦ|,...,Ьи1}, УЬЦ| е В, ЭСЦ, = (сЦ|1,сЦ(2,...,с0)к|й ,.»,сЦ|кЦ|

(3)

данных типов записей, реализации типов записей, типы наборов-связей, реализации наборов-связей.

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

А={а1,а2,...,а|,...,а1}, (4)

Уа,еА ЭВ, ={Ь;„Ь|2,...,ЬЦ1,...,ЪЦ.}, (5)

УЬц. 6 В; ВСц, = 1сци,сЦ12,...,сшк|. ,.",сЦ1кЧ1 ), (6)

где 1 = 1,1; ^ = 1,^ ; к^ = , В| - это множество имен элементов данных

типа записи л\ и Су( - это множество значений элемента данных ЬУ| типа записи а^

Пусть Ъ - множество имен типов наборов-связей:

Ъ={х1,г2,.:,Х1,...,г1}, (7) VI, вЪ ЗУ, = |уп>У|2»"чУ ............(8)

}> (9)

где 1 = 1,Ь; т, =1,М|; п, = 1,ГЧ, и У| - это множество реализаций записей-владельцев набора-связи типа и Х| - это множество реализаций записей-членов набора-связи типа При этом,

Уг.ег з{<

У1т,'Х1п, >|У1т, 6*1. х|п| 6

X,}. (10)

Модель Чена ("сущность-связь", ЕЯ-модель)- это семантическая реляционная модель данных, в основе которой лежит деление реального мира на отдельные различимые сущности, находящиеся в определенных связях друг с другом. Эта модель может рассматриваться как обобщение иерархических и сетевых моделей. Выделим следующие СПД ЕЯ-модели: классы сущностей, множества сущностей, классы (размерности) связей, множества связей, роли сущностей в связях, множество атрибутов, множество значений. Пусть А - множество имен классов сущностей:

А={а|,а2,...,а!,...,а1}, (11)

б А ЭВ; = {Ь;,,Ь!2,...,ЬЦ|,...,Ьи)}, (12)

где 1 = 1,1; ^ = 1, ^ и В! - это множество имен сущностей класса а(. Далее,

ЗС={с„с2,...,ск,...,ск}, (13)

где к = 1,К; С - множество имен атрибутов. Кроме того, пусть

ЗБ={с11,(Ь,...Д,...А}, (14)

где 1 = 1,Ь; Б - множество значений. Далее, пусть

эг={21,22,...,2п),...,гм}, (15)

. „• У2т 6 Ъ ЗУт = {у,п1,ут2.—»Утпт »УтМт (16)

где т = 1,М; пт = 1,1Чт , г - множество имен классов связей иУт - множество имен связей класса гт. Рассмотрим описание сущностей, для

Зси, = К».««.».....си.Р1й >-'с11.Р|), )' (17)

Ус«|Рц е СЧ|31)и1Р1], = 1<1М1Р1|, 1 *ЙЧ1РЦ12'<|Ц|Ри,гЦ|Ри1 '•",<1У|РЦ||ЧРЦ1 I' (18)

где 1 = 1,1; ^ =1,^; рЦ| =1,Ру, ; г^^. =1,Кц!РЦ| . В модели данных "сущность-

связь", каждая связь может описываться некоторым набором атрибутов, которые могут иметь определенные множества значений. Другими словами, для

УУт»ш е ЗС1Ш1т = ^тПлПСтп^-'Стп,,,«,,,,^ '•"»С|ш11П8П1Пт )' (19)

} (20)

>>">т>тпт'тпт9т„п гп"ш5тптТт„т1тПт

где т — 1,М; nm = l,Nro ; в„и = 1,8„и ; t„mhUm = 1Д..и,„в •

Пусть, Е - это множество имен ролей множеств сущностей в связях,

Е={е),е2,...,е11,...,е1;}, (21)

где и = 1,U. Введем следующее обозначение:

В-¿В,. (22)

i-i

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

^Утпт 3{<Ьт„ш 1>етПт1 >,<Ьт|)п12,етПт2 >>•••>

h h l ^^ <d™"m»rai.m ,^n,nmvmnm >'*"'< ЬтптУтПт 'emnmVm„m >/•

где Ьтптуш„т еВ; етПтУт0п еЕ; т = 1,М; пга =1,Г4т ; увВи =1,УтПт .

В объектно-ориентированной базе данных (ООБД) информация хранится в форме объектов, а сама ООБД характеризуется свойствами инкапсуляции, наследования и полиморфизма. Следует особо отметить, что в настоящее время,

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

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

Определение 1. Если каждому элементу одного множества соответствует некоторое другое множество элементов, тогда будем говорить, что существует двухуровневое представление данных.

Понятие "уровень представления данных" необходимо для сравнительного анализа возможностей по представлению данных СПД различных моделей данных. В общем случае, может существовать ГЧ-уровневое представление данных. Отметим, что большее количество уровней представления данных одной модели, говорит и о больших "семантических" возможностях такой модели. Формулы 1 и 2 можно рассматривать, с точки зрения введенного понятия, и как формальное определение двухуровневого представления данных.

В реляционной модели не выделяют специально структуры для представления данных о связях сущностей. Формулы 1, 2 и 3 показывают, что имеет место три уровня представления данных. В сетевой модели анализ формул 4, 5 и 6 показывает, что сетевые СПД о сущностях имеют три уровня. Выделяют следующие сетевые СПД о связях сущностей: типы наборов-связей; реализации наборов-связей. При этом каждому элементу множества Ъ из формулы 7 сопоставляется два различных

множества, описанных формулами 8 и 9. Такое описание, непосредственно, не соответствует понятию уровня представления данных. В этом случае, можно говорить, что каждому элементу из множества Ъ соответствует некоторое количество множеств. Каждому такому множеству может быть определенным образом присвоено некоторое имя (идентификатор). Затем, можно рассмотреть некоторое новое множество имен множеств. Получаем, что каждому элементу г\ множества Ъ соответствует некоторое множество \У| - множество имен множеств, которое на самом деле, состоит только из двух элементов, например: У и X. Далее, каждому элементу \у,Р| множества \У| соответствует некоторое множество У1р1.

Следовательно, можно представить формулы 7 -10 так:

Х={гиг2,...,г{,...,г11}, (24) Уг.е Ъ Э\У1 = {»11,и'12..............№1Р1), (25)

е ЗУ1р, = К.рУ,^,..^,,,^ (26)

где 1 = Р| = 1,Р|; q|p| = , - это множество имен множеств реализаций

записей набора-связи г1 и У1р[ - это множество реализаций записей типа набора-

связи типа г,. Отметим, что если р=1, то У,р| = У,, а если р=2, то У|р| = X,; где У! и

Хь берутся в смысле формул 8 и 9. Анализ формул 24 - 26 показывает, что существует 3-уровневое сетевое представление данных о связях сущностей.

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

Обобщение основных СПД традиционных моделей данных. С учетом понятия "уровень представления данных" все основные СПД "графо-табличных" моделей данных могут быть описаны в виде одномерных таблиц трехуровневого представления данных (ОТПД-3).

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

Где, "заголовок таблицы" - это некоторая совокупность данных, описывающих всю таблицу, например, ее название, тип, класс, и т.д. "Заголовок столбца" - это некоторая совокупность данных, которая описывает соответствующий

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

где ¡ = 1,1; кУ( = , В( - это множество Имен заголовков столбцов

заголовка таблицы а: и С:,. - это множество значений клеток таблицы заголовка 1

столбца ЬЦ| заголовка таблицы л-,.

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

Пятиуровневая одномерная таблица представления данных. Если ввести пятый уровень, называемый "класс таблицы", то это позволит отделять описания объектов от описания связей этих объектов. Пятиуровневые ОТПД (ОТПД-5)

А={а1,а2,.»1а|,.»,а[}, € А ЗВ! = {Ьц,Ь|2,.->Ь^,...,Ьи.} ,

е В1 ЭСц, = (сЦ11,сЦ|2,-.су.кЦ| ) .

(27)

(28)

(29)

позволяют описывать (например, даже для модели "сущность-связь"), как сущности, так и их связи в едином формате (рис. 3), т.е. в виде однотипных таблиц представления данных.

1 1 уровень

1

класс ОТПД

сущности / связи

вид ОТПД 2 уровень

класс сущностей / связей

заголовок ОТПД 3 уровень

множество сущностей / связей

заголовки столбцов ОТПД 4 уровень

атрибут 1 сущности / связи атрибут 2 сущности / связи ... атрибут N сущности / связи

клетки ОТПД 5 уровень

значения сущности / связи 1,1 значения сущности / связи 2,1 значения сущности / связи N,1

значения сущности / связи 1,2 значения сущности / связи 2,2 значения сущности / связи N,2

-

значения сущности / связи 1,К значения сущности / связи 2,К значения сущности / связи И,К

Рис. 3. СПД модели "сущность-связь" в формализме ОТПД-5. >

Подчеркнем, что числа N и М - фиксированы, а изменяются только числа К и Р. ОТПД-5 позволяют в явном виде сохранять отличия связей от объектов, а также различия по категориям типов, по категориям вершин, по классам сущностей, по категориям дуг и по классам связей, соответственно. ОТПД-5 представляют собой обобщение структур представления данных модели "сущность-связь", ООБД, гипертекстовых, "неструктурированных" и многих других СПД.

Итак, приведем полный список элементов ОТПД-5 (таблица 1): класс таблицы, вид таблицы, заголовок таблицы, заголовок столбца, клетки таблицы.

Таблица 1.

№ ОТПД-5 Модель данных "сущность-связь" Реляционная модель Сетевая модель данных Иерархическая модель Бинарная модель данных Семантические сети

1 класс ОТПД - - - - - -

2 вид ОТПД класс сущностей; класс связей - - категория типов - категории вершин; категории дуг

3 заголовок ОТПД множества сущностей; множества связей отношения типы записей; типы наборов типы записей категории; бинарные отношения классы вершин; дуги

4 заголовки столбцов ОТПД атрибуты сущности; атрибуты связи атрибуты элементы данных элементы данных функции доступа -

5 строки-значения ОТПД значения сущности; значения связи значения реализации типов; реализации наборов реализации типов; реализации связей объекты, реализации; реализации отношений вершины

Рассмотрим формализованное описание структур представления данных ОТПД-5. Пусть А - множество имен классов таблиц:

А={а1,а2,...,а|,...,а1}, (30)

Уа.бА ЭВ, ={Ь11,Ь12,...,ЬЦ.,...,ЬЦ|}, (31)

УЬЦ. 6 В, ЗСц. = |сЦ1„сЦ|2,...,сшк.. ,.»,сЦ(К|. |, (32)

еСи| Э10Ч,кЦ| =| , (33)

ЭЕЧ|ки1'и1кШ = { еи1ки,1|Лки.1'еЧ|ки,1№1. V (34)

—>еч,кЦ11Ц,|£Ц| ми1ки|1ц,ку1 }'

где ¡ = 1Д; ^ =1^; кц, = Щ~; !Ч|кц1 =1,Ц,ЬЦ| ; т,,^,^ = В,-

это множество имен видов таблиц класса таблиц а;, Сц - это множество имен заголовков таблиц вида таблиц Ьу( класса таблиц я„ Оу|к|)1 - это множество имен

заголовков столбцов заголовка таблицы су(к вида таблиц Ь^ класса таблиц а| и Еи1ки1|ц,ку ' это множество значений клеток таблицы заголовка столбца заголовка таблицы сЦ|кЦ( вида таблиц Ь^ класса таблиц а|.

Таким образом, ОТПД-5 - это обобщение и развитие структур представления данных всех традиционных графо-табличных моделей данных.

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

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

Существуют различные подходы к решению проблемы описания поведения сложной предметной области или некоторой развивающейся системы. Например, применение "скользящей аксиоматической системы". В кибернетике поведение системы обычно рассматривается в фиксированном пространстве X1, причем, поведение системы - это изменение ее состояний во времени, исходом которого является некоторый результат. Однако, использование фиксированного пространства состояний не позволяет описать поведение сложной развивающейся системы. Поэтому для создания моделей развивающихся систем необходимо применять более совершенный аппарат. Например, на основе математической структуры Н. Бурбаки можно синтезировать целый класс различных моделей. В соответствии с работой И.М. Яглома математическая структура Н. Бурбаки - это система:

в=<М, (35)

где М= {а, Ь, с,...} - основное множество, а И*}!*!, И:, Из,...} - множество унарных, бинарных и других отношений. Однако, такая структура (формула 35) не описывает динамики развития системы. Следовательно, для учета фактора времени в систему необходимо добавить еще и время:

Б(1)=<М(1), Щ1)>, (36)

где 1 - текущее время. Ю.Г. Ростовцев полагает, что более целесообразно ввести понятие квазидинамической структуры, которая не изменяет свои элементы М и Я в пределах интервала времени После окончания этого интервала

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

Будем исходить из того, что реально существует некоторая предметная область, а познающая система изучает и моделирует данную область. Полученные сведения о предметной области накапливаются в некоторой системе представления данных. Для решения этой задачи введем три равнозначных понятия: вещь (объект, сущность), свойство (атрибут, характеристика), отношение (связь, взаимодействие). Этих трех выделенных понятий-категорий достаточно для представления любой информации о любой предметной области. Рассмотрим некоторое множество V названий вещей. Так как каждое название является уникальным, то количество элементов этого множества будет равно количеству выделенных вещей в рассматриваемой предметной области. Затем, некоторые одинаковые свойства могут быть обнаружены у различных вещей. Тогда можно рассмотреть некоторое множество в названий свойств, состоящее из различных и уникальных названий-элементов. Кроме того, существует третье множество О названий отношений, состоящее из уникальных названий выявленных отношений вещей данной предметной области. Итак, можно рассмотреть три различных множества названий: V, в, О. Известно, что в определенных ситуациях вещь может рассматриваться, как свойство или как отношение; свойство может рассматриваться, как вещь либо как отношение и отношение может рассматриваться, как вещь или как свойство. Вещь не существует вне свойств и отношений. Точно также, не существует свойств вне вещей и вне отношений, как не существует и отношений вне вещей и вне свойств. Таким образом, будем исходить из того, что некоторое "нечто" может быть и сущностью, и

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

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

<вещь, свойство, отношение» (<У, Б, 0>).

Наименьший элемент этого пространства (трехмерная точка) - это некоторая конкретная вещь, обладающая некоторым конкретным свойством, находящаяся в некотором конкретном отношении в определенный момент времени и в конкретных географических координатах. При таком подходе, вещь - это уникальное название этой вещи, совокупность всех свойств (атрибутов) этой вещи и значения во всех отношениях этой вещи со всеми другими вещами предметной области. Очень важно, что степень детализации описания вещи может быть различной: от описания всех свойств и отношений до представления лишь сущности вещи. При этом, существует возможность адаптации данных (повышение адекватности), учета времени, географического расположения, системного уровня, и объектных характеристик при объектно-ориентированном подходе. "Физический" смысл "точки", с координатами <у,в,о> состоит в том, что это некоторая вещь "у", обладающая некоторым свойством "8" и находящаяся в некотором отношении "о". Принципиальным и новым является то, что также как каждый пользователь имеет право на свой "центр мироздания", точно также у каждого пользователя может быть свой персональный "горизонт" трехмерного самоорганизующегося многомерного информационного динамического пространства, что предполагает наличие некоторых общих подпространств, по типу энциклопедий. Такая система хранения и обработки данных принципиально

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

Самоорганизующаяся концепция представления данных позволяет: работать с динамическими (эволюционными) структурами хранения данных; использовать неявные ассоциативные связи различных понятий и объектов (ассоциативный поиск); вводить понятие меры близости - расстояния либо между отдельными "точками", либо между их совокупностями; использовать меру подобия, схожести различных структур; обрабатывать неоднородные данные, организуя связь между ними посредством координат Ы-мерных точек. Кроме того, правила обработки данных и непосредственно сами данные могут храниться в едином формате. Самоорганизующееся представление включает в себя идеи объектно-ориентированного программирования, более того, оно раскрывает новые возможности и перспективы. Один и тот же объект в разных отношениях может описываться с разной степенью детализации: от одного краткого идентификатора или перечня нескольких наиболее важных характеристик, до полного описания всех свойств и отношений. Кроме того, многомерная информационная концепция открывает новые возможности по созданию информационных систем, работающих в реальном масштабе времени без потери динамики изменения структуры.

Объединение трехмерного пространства <У,8,0> с трехмерным Декартовым пространством <Х,У,2> и с учетом времени Т, позволит говорить о едином: семимерном геометрико-временно-информационном пространстве. Особо отметим, что при необходимости можно вводить дополнительные оси и размерности, а это будет уже: 1Ч-мерное самоорганизующееся представление данных. Такой подход позволяет проводить распределенную и параллельную обработку и защиту данных. Самоорганизующаяся концепция появилась как обобщение и развитие традиционных моделей данных. С точки зрения сетевых моделей, самоорганизующееся представление - это некоторая сеть, находящаяся в координатном трехмерном пространстве, что только расширяет возможности сетевых моделей. С точки зрения реляционных моделей, самоорганизующееся представление - это трехмерная (или Триерная) реляционная таблица, находящаяся в трехмерном пространстве, в которой собраны все обычные реляционные таблицы. Такие таблицы представления данных позволяют эффективно хранить правила и отношения между объектами типа: "многие ко многим" (М:Ы).

В трехмерном многомерном пространстве представления данных (МППД-З) выделяют элементы следующих четырех типов множеств: заголовки

таблиц; заголовки столбцов; заголовки строк; клетки таблицы. При этом, каждым трем элементам из трех различных множеств заголовков может соответствовать только один элемент множества клеток. Рассмотрим формализованное описание МППД-3. Пусть А - множество имен заголовков таблиц:

ЗА={а1,а2,...,а!,...,а1}, (37)

Пусть существует В - множество имен заголовков столбцов, т.е.:

ЭВ={Ь1)Ь2,...,Ь],...,^}) (38)

Пусть существует И - множество имен заголовков строк, т.е.:

ЗБ={<11,с12)...А,...,11к}, (39)

Кроме того, пусть существует С - множество клеток таблиц, т.е.:

ЗС={сш,с112,—)Сук,.»,Сик}> (40)

где ¡ = 1,1, ¿ = 1,.!, к = 1,К. Для любых трех элементов, принадлежащих соответственно множествам А, В, О всегда существует единственный элемент, принадлежащий множеству С, т.е.:

Уа1бА, У^еВ, У(1кеБ 3! сЦкеС. (41)

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

УсЦкбС Э!<у,к>. (42)

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

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

Рассмотрим формализованное описание этого ^мерного пространства. Пусть: ЗА={а„а2,...,ап,...,а1Ч}, (43)

где п = 1,14; А - множество названий осей самоорганизующегося пространства, N -количество осей (динамическое) самоорганизующегося пространства. Тогда:

Уа„ е А ЭВ„ = ^„„Ь^,...,^,..,^}, (44)

1„ =1,1п; В„- множество точек оси а„. Для любых допустимых значений координат всегда существует определенная точка многомерного пространства:

3<1,,12)...,!„,...,> е1,х1гх...х1„х...х1!Ч, (45)

где < > - координаты >Г-мерной точки.

Существует множество значений точек самоорганизующегося пространства: ЭС = {с,11а_,в._|1ч | ¡, =1,11;...;1„ =1,1„;...;Ц (46)

Для каждой точки самоорганизующегося пространства существует единственное значение из множества значений С:

У<1„12,...,1„,...,1г>(> Э'с^^^еС. (47)

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

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

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

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

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

ориентированный граф. Затем выделяют две группы узлов-переменных: "входные" и "искомые". Построение многополюсной сети начинают с группы входных переменных, которые образуют полюса этой сети. Искомые переменные образуют другую группу полюсов этой сети. От "входных" полюсов осуществляют постепенное построение многополюсной сети до "искомых" полюсов.

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

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

В теории графов известно достаточно много алгоритмов поиска минимального разреза (или максимального потока) кубической вычислительной сложности и меньше: до 0(п2,5) (алгоритм Карив-Арбиб). Рассмотрим квадратичной сложности метод поиска минимального разреза многополюсных сетей. Адаптивную логическую сеть правил можно представить в виде некоторого многоуровневого многотипового динамического графа: G=(V, X), в котором, п- количество вершин. Граф, в котором выделено S вершин, называют S-полюсной сетью или многополюсной сетью. В данном случае, полюса - это заданные и искомые логические переменные. Разрез - это множество удаляемых вершин и ребер, которое разбивает граф на S компонент по числу полюсов сети, при этом различные полюса находятся в различных компонентах. Рассмотрим случай разреза двухполюсной сети по ребрам. Некоторым образом все вершины нумеруются: первый полюс -1, а второй полюс - п. Пусть значения всех коэффициентов ребер равны 1. Строим нижнетреугольную матрицу смежности А следующим образом:

1. VI,V] ац=0; I = 1,11; ] = 1,п.

2. ¡-1: ац=1 для всех «= j + 1,п.

3. Vj,i = j + 1,п если эти вершины связаны ребром, то Количество ребер графа равно сумме значений всех клеток матрицы. Если граф разбивается на две части (в первой к вершин, а во второй остальные - (п-к)), то все ребра, связывающие вершины из разных частей графа принадлежат прямоугольнику, образованному клетками нижнетреугольной матрицы (рис. 5), которые расположены ниже к-той строки и левее (п-к)-того столбца. Если граф разбит на два компонента, то практически матрица распадается на две подматрицы,

1 Р

2 1

3 1 1

4 1 1

5 1

6 1

7 1

8 1 1

9 1

10 1 1 Р

12345678910 а соответствующий прямоугольник является нулевым Рис. 5. (РКк). Для нахождения минимального разреза в

нижнетреугольной матрице необходимо просуммировать все прямоугольники при к от 1 до (п-1), а затем выбрать минимальный, которому и будет соответствовать искомый разрез. Процедура определения суммы:

1. РИ,= £ап,где:к=1п=1; ¡=ч + 1,п.

¡-2

2. Р112 = Рй] -а21 + ¿а12, где: к=2.

из

3. РКк=РНк.1-2ач+ 2а1к.

j=] ¡=к+1

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

1 Р

2 1

3 1 1

4 1 1

5 1 Р

6 1

7 1

8 1 1

9 1 »

10 1 1 Р

123456789 10 Рис. 6.

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

Линейный матричный метод поиска маршрута логического вывода на сети правил. Суть метода в том, что для некоторой сети правил строится матрица, на основе анализа которой выявляется факт наличия маршрута вывода, определяются возможные маршруты и из этих маршрутов выбирают "кратчайший", наиболее оптимальный по заданным критериям. Пусть известны ш - правил и п - переменных. Тогда в матрице V (в х ш) представлены все взаимосвязи между правилами и переменными. При этом, входные переменные правила помечаются символом х, выходные - у, "выводимые" переменные - х, а все искомые переменные - w. V 1 2 3 4 5 ... п-2 п-1 п п+1 В матрицу V добавим одну строку и

1 | х | х | х | у |у| один столбец для хранения служебной

2 х"~У~~У х~~х информации. Тогда, получаем матрицу V

~ размерности (п+1) х (т+1), в которой

т х >Г~х у отражена вся структура исходной сети

т+1 правил, которая может изменяться

рис у (рис. 7). Для поиска маршрута вывода

производят следующие действия.

1. В строке (т+1) помечают известные х и искомые переменные.

2. Поиск "запускаемых" правил: если таких правил нет, то - запрос на уточнение входных данных; если правила есть, то они помечаются в служебной строке.

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

4. Имитация запуска правила осуществляется путем присваивания выводимым в этом правиле переменным значений "известно" (г).

5. После "запуска" правил анализируют вывод искомых переменных. Если все искомые переменные определены, то успешное завершение работы.

6. Аналогично п. 2 определяют наличие "запускаемых" правил после определения новых значений на предыдущем этапе. Если правил нет, то запрос на дополнительную информацию. Если правила есть, то идут на п.7.

1 2 3 4 5... п-2 п-1 п п+1

X X X У У

X У У X X

X X X У

Рис. 7.

7. Аналогично п. 4 "запускают" правила, далее аналогично п.п. 5 и 6 выполняют в цикле необходимые действия до получения результата.

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

На рис. 8 в служебной строке больше не осталось искомых правил, а в клетках таблицы появились новые значения: в клетке (п+1, т) - 2, а в клетке (п-2, т+1)

вместо значения появилось значение

V 1 2 3 4 5

п-2 п-1 п п+1

1 X X X У У 2

2 X У У X X 2

т X X X У 2

т+1 ъ г г г ъ г(\у) ъ г

Рис. 8.

г, т.е. маршрут логического вывода при данных исходных значениях существует. Общее количество действий при матричном методе определяется суммой действий на каждом этапе: присваивание известных 2 и искомых IV значений клеткам служебной строки (т+1), общее

количество таких действий не более п; присваивание признака обработки правил в служебном столбце (п+1), количество действий не более 2т, но может быть не более числа т; присваивание известных г значений клеткам служебной строки (т+1), общее количество таких действий не более п; определение новых значений клеткам строки (т+1), количество таких действий не более п. Отметим, что фактически на 1, 3 и 4 этапе производится обработка одного массива данных, т.е. клеток служебной строки (т+1). При этом общее, суммарное количество действий на всех этих этапах (1, 3 и 4) не должно превышать общее количество клеток в этой строке, т.к. обработанные значения "вычеркиваются" и более не обрабатываются. Получаем, что общее количество действий (КБ) при линейном матричном методе поиска маршрута логического вывода (вычислительная сложность) не должно превышать количества клеток в служебных частях матрицы: 0(п+т), т.е. КБ 2 (п+т). В том случае, когда нельзя реализовать предложенные сокращения вычислений, этот метод решает задачу поиска маршрута логического вывода с вычислительной сложностью: О(пт).

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

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

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

Для каждого процесса обработки Р| требуется некоторый интервал времени ¡П^, необходимый для завершения данного процесса, следовательно, имеет место следующее множество пар: {<р|,Ы| >}. Интервалы времени обработки различных процессов Р| могут различаться: 31 * Ггш^ Если ^ - начало обработки, ¡п^ -

величина интервала времени обработки, то: + ) - время окончания обработки процесса Р|. Для любого достаточно длительного интервала времени функционирования АСОИ всегда существует некоторое количество таких ¡, для которых выполняется следующее:

3! : (48)

Обеспечение потоковой параллельности обработки БД предоставляет возможность завершения нескольких младших процессов обработки раньше, чем завершится обработка некоторого старшего элемента входного потока:

31 : <Ы,; +Ыы < ^+Ы,. (49)

Формальная постановка проблемы обеспечения потоковой параллельной обработки БД: необходимо обеспечить такой режим функционирования АСОИ, при котором любой процесс обработки Р|, внося изменения в общую базу данных, не влиял бы на обработку старших процессов Рм. Р)-21 > но одновременно с этим и на

НАЦИОНАЛЬНАЯ I БИБЛИОТЕКА | С. Петербург | ОЭ 900 мгт 1

этой же общей БД оказывал бы влияние на обработку младших процессов Ри-1| Р|+2.....

Дано: входной поток {Э|} и общая база данных РВ.

Требуется: одновременная параллельная обработка следующих процессов { ••■ ■ Р)>2| Pi.1i Р|. Р1+1. Р1+2. •••}. при которой любой Р| может читать и вносить изменения в общую базу данных БВ.

При условии, что: изменения вносимые Р| не влияют на обработку { ..., Р|.2, Ре.1 }, но влияют на обработку { р1+1, р1+2,... }.

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

элементов входного потока, при этом к < ¡: {а|.к, а^,..., а^.....а^^+ск-ц }■ В

таком случае, самым старшим процессом является Э|.к, который работает непосредственно с реальной БД. Для всех остальных действующих процессов обработки создается общая виртуальная потоковая база данных (ВПБД), в которой для каждого процесса, начиная с Р|.к+1 и более младших р^ создается и ведется соответствующая персональная виртуальная потоковая база данных (ПВПБД) урЬс^. Все изменения, которые процесс р^ должен внести в БД, фиксируются в его ПВПБД урЬс!] и тогда 3 {< р|-к+)> >}■ Таким образом, младшие процессы

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

Допустим, что одновременно могут обрабатываться к процессов, а остальные накапливаются во входной очереди. При поступлении элемента Э| на обработку порождается процесс обработки Р|. Процесс Рь поступивший на обработку раньше всех других, является самым старшим процессом, а все остальные процессы являются для него младшими. Для каждого рь кроме самого старшего, создается ПВПБД урЬс!]. Как только процесс становится самым старшим, все данные из его ПВПБД переносятся в реальную БД, ресурс ПВПБД высвобождается, а вся дальнейшая обработка этого процесса ведется непосредственно с БД. Будем различать два вида ресурсов обработки: ресурсы "процессоров" - количество одновременно обрабатываемых процессов, задач и т.п., которое зависит от количества процессоров

и ресурсы "оперативной памяти" - суммарный размер необходимой оперативной памяти для хранения и обработки значений переменных, буферов БД, ключевых

р ш а

I

£5г

id

в

файлов и т.п., которые зависят от общедоступной оперативной

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

Каждому процессу обработки

Pi соответствует некоторый интервал времени обработки int]. Процесс обработки состоит из последовательности различных операций, которые представляется целесообразным разделить на два класса:

1) ОР - операции без обращения к БД, т.е. только в оперативной памяти;

2) BD - операции, требующие обращения к базе данных.

Введем следующие обозначения: intopi0p- интервал времени выполнения одной операции iop первого класса; и int bdibd - интервал времени выполнения одной операции ibd второго класса. Тогда:

Рис. 9.

ЮР IBD

int, = Е intopiop+ Sintbdibd.

iop»l ibd «1

(50)

Если обозначить суммарное время обработки процессов от i до i+N через - INT, тогда для обработки в общем случае будет верно, что:

IBD-

N N ( ЮР,

INT= Zinti+„ = Z Z intopioPo + z

n-0 n-O^iop,-1 ibd

totbdibdn

(51)

При обычной последовательной обработке интервал времени обработки, обозначаемый как 1ЫТ1, будет выражаться следующим образом:

N ЮР,

INT, = Z S intop

n-0 ¡ор„-1

">Pi

N + 1

IBD.

I intbdib

(52)

п-о ¡ьа,»1

При функциональной параллельной обработке в оперативной памяти могут выполняться одновременно несколько операций одного процесса юр„. Введем коэффициент обработки коЬг„2, который будет зависеть от времени выполнения алгоритмически последовательных операций процесса юр„. Из всех одновременно

выполняемых операций, выберем максимальную по времени обработки. Тогда, ¡п^ -интервал времени при функциональной параллельной обработке в оперативной памяти процесса обработки будет иметь вид:

int? =

IOP.-1

kobr^ + MAXintoPi

iop„-2 "

IBD„

+ I intbd

ibdn-l

lbd„

(53)

При функциональной параллельной обработке интервал времени обработки, обозначаемый как 1МТ2, будет выражаться следующим образом:

N

int2 = z

п=0

ЮР„-1

kobr + МАХ int opio

iop„-2 Fn

N IBD„

+ 11 intbdibdn

n=>0 ibdn =1

(54)

Перейдем к исследованию параллельной обработки данных, при которой могут выполняться одновременно несколько или даже все операции одного процесса 1орп и первого, и второго классов. Аналогично, Ы? - интервал времени при параллельной обработке данных процесса обработки будет иметь вид:

int? =

ЮР.-1

kobr„ + МАХ int ор,„„

1op„-2 ,op"

IBD„

MAX intbd ¡b

ibd„=l

Сравнивая выражения 50, 53 и 55 приходим к выводу, что

intf int? 5 int;.

Следовательно, при параллельной обработке данных суммарное обработки всех процессов от i до i + N, обозначаемое как INT3, будет:

N

INT3 = I

п=0

ЮР„-1

kobrn + MAX intopj0P

¡ор„=2 Нп

> IBD„

+ MAX intbd ibd„=l

ibdn

(55)

(56) время

(57)

При потоковой параллельной обработке данных одновременно могут выполняться операции первого и второго классов нескольких процессов. Тогда, при потоковой параллельной обработке суммарное время обработки всех процессов от i до i + N, обозначаемое как INT4, будет выражаться:

N Г , 10Р„-1 IBD„

INT. =МАХ^kobr.4 + MAXintopioD +MAXintbdibd }. (58)

n»0 I iopn"2 K" ibd„=l "

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

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

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

Линейный метод единично-инкрементного суммирования чисел предназначен для решения задачи суммирования п-разрядного числа X с массивом чисел от ХА до Хв, где: О^Ха^Хц^Р". Путем разбиения исходного числа на блоки, нового поблочного суммирования (табл. 2), анализа и формирования требуемых чисел, линейный метод суммирования чисел позволяет уменьшить количество операций сложения при Р-ичном суммировании п-разрядного числа X с массивом V п-разрядных чисел от 0 до Р", повысить интегральное быстродействие

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

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

Таблица 2.

№ РАЗРЯДЫ

16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1

0. 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

1. 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1

2. 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0

3. 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1

4. 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0

5. 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1

6. 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0

7. 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1

8. 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0

9. 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1

10. 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0

11. 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1

12. 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0

13. 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1

14. 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0

15. 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1

16. 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0

17. 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1

18. 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0

19. 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1

20. 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0

21. 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1

22. 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0

23. 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1

24. 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0

25. 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1

26. 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0

27. 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1

28. 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0

29. 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1

30. 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0

31. 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1

32. 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0

33. 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1

34. 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0

35. 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1

36. 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0

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

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

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

Обозначим количество операций сложения - Кв, а ресурсы требуемой оперативной памяти - ОР. Для традиционного простого переборного суммирования необходимо выполнить на п-разрядном сумматоре Р° операций сложения. В оперативной памяти необходимо хранить только п-разрядное исходное число X (п) и получаемое п-разрядное число У (п). Отметим, что требуемый массив {У}, содержащий Р" чисел, не должен храниться в оперативной памяти. Тогда:

К80=Р"; ОР0=2п. (59)

Общее количество операций сложения Кв] в линейном методе определяют на этапе суммирования как к раз по Рт (т+1)-разрядных операций сложения, где: п=кт и т=Соп81. В оперативной памяти необходимо хранить исходное число X (кт), требуемое число У (кт), разбиение числа X на к чисел по т разрядов (кт), к массивов Z¡ по Рт (т+1)-разрядных чисел (к(т+1)Рт) и к блоков формирования числа по т разрядов (кт). Пусть Рт/т=Соп8^а, тогда:

п Рт

КБ. =кРт =-Рт =— п = ап; (60)

т т

ОР,=4кт+к(т+1)Рт « кт(4+Рт)=(4+Рт)п « Рт п. (61)

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

чисел, а также перейти от степенной к линейной зависимости общего количества операций сложения от разрядности чисел.

Предложены две модификации этого метода: первая позволяет реализовать суммирование на основе специальной таблицы без использования сумматоров; а вторая - ускорить суммирование и реализовать предложенный метод на ЭВМ с малой (недостаточной) оперативной памятью.

Перспективы и практическая ценность данной диссертационной работы обусловлены тем, что внедрение полученных новых научных результатов позволит:

1) создать самоорганизующиеся программно-аппаратные комплексы оперативной диагностики путем использования интерактивных самоорганизующихся баз данных и правил (рис. 10);

2) уменьшить время решения сложных задач:

• за счет общего повышения производительности адаптивных ЭВМ относительно традиционных, в среднем за период эксплуатации на половину разности производительности следующих и современных поколений ЭВМ - сейчас на 1,5 порядка (не менее чем в 50 раз) (рис. 11), где:

V* Р^Щ))^); РСг(АР(1,))« Р(Г])+0,5-[Р(^+1)-Р(^)];

Рис.10. Рис.11.

• путем повышения реальной производительности адаптивных ЭВМ более чем в 2 раза, т.е. относительно пиковой мощности с 10-30 % до 50-70 % (рис. 12), где: FK- универсальные, AF - адаптивные, а SFN -специализированные ЭВМ;

3) снизить материально-Финансовые затраты и повысить эффективность разработки, эксплуатации и модернизации компьютерных систем (СПАКОД, АСОИ) за счет оптимизации процесса синтеза конфигураций по критерию отношения реальной производительности к стоимости, а также путем постоянного наращивания вычислительной мощности на основе адаптации и добавления только наиболее современных, на каждом этапе существования ЭВМ, компьютерных модулей (рис. 13), где: >У - эффективность по критерию отношения реальной производительности к стоимости, АР- адаптивные ЭВМ, FJ и - традиционные ЭВМ.

Рис. 12. Рис. 13.

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

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

ЗАКЛЮЧЕНИЕ

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

В диссертационной работе выполнено следующее:

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

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

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

4. Создан метод обработки данных на основе применения интерактивной самоорганизующейся логической сети правил, управляемой потоком данных. Из всех правил и объектов формируется логическая сеть вывода (обработки). В зависимости от имеющихся значений переменных и правил, подграфы обработки-вывода могут динамически изменяться. Интерактивная самоорганизующаяся логическая сеть, управляемая потоком данных, объединяет и обработку известных данных на основе известных правил, и одновременно осуществляет обучение, изменение системы правил со своевременным внесением изменений в соответствующие процессы, что обеспечивает эволюционное развитие всей АСОИ (СПАКОД) в целом. Кроме того, такая логическая сеть позволяет распараллелить обработку потока данных.

5. Для повышения оперативности обработки данных в СПАКОД, разработан быстродействующий метод "графового" поиска маршрута логического вывода путем построения многополюсной сети теории графов и определения ее минимального разреза. Суть этого метода в преобразовании логической сети правил в многополюсную сеть теории графов и поиска ее минимального разреза. Если минимальный разрез равен нулю, то цепочки вывода нет, но можно определить необходимые переменные, что является признаком "интерактивности" обработки данных. Кроме того, разработаны квадратичной сложности методы поиска минимального разреза и линейный матричный метод определения маршрута логического вывода на сети правил. Внедрение этих методов позволило интерактивно формулировать уточняющие запросы и снизить вычислительную сложность поиска маршрута логического вывода до квадратичной (линейной), что повысило оперативность функционирования СПАКОД (АСОИ).

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

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

8. Приведены рекомендации по использованию научных выводов, результаты имитационного моделирования и экспериментальных исследований, выполненных автором в области создания различных автоматизированных систем обработки информации и СПАКОД. Практическая реализация рекомендаций и полученных результатов исследования позволила:

• разработать теоретические основы построения самоорганизующихся программно-аппаратных комплексов оперативной диагностики;

• повысить эволюционные и интеллектуальные способности компьютерных систем путем интерактивного формирования запросов и ресурсов для развития в изменяющейся внешней среде;

• повысить эффективность и оперативность решения сложных задач;

• оптимизировать создание компьютерных конфигураций по критерию отношения реальной производительности к стоимости;

• снизить материально-финансовые затраты разработки и эксплуатации компьютерных систем (АСОИ).

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

Таким образом, в диссертации, имеющей теоретическое значение, решена

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

приведены рекомендации по использованию научных выводов, которые

способствуют развшгию экономики и повышению обороноспособности России.

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

Монографии

1. Варламов О.О. Эволюционные базы данных и знаний для адаптивного синтеза интеллектуальных систем. Миварное информационное пространство. - М.: Радио и связь, 2002. - 288 с.

2. Амарян М.Р., Варламов О.О. Принципы и методы построения программно-аппаратных комплексов автоматизированных систем управления связью. - М.: ИРИАС, 2003. - 204 с.

Статьи, патент на изобретение, тезисы докладов

3. Пат. RU 2145113 С1 Россия, МКИ 7 G 06 F 7/50. Способ суммирования чисел. / Варламов О.О. (Россия). - № 98119301/09(021284); Заявл. 23.10.1998; Опубл. 27.01.2000. Бюллетень № 3. -12 с.

4. Варламов О.О. Линейный метод единично-инкрементного суммирования чисел. - М., 2002. - Рус. - Деп. в ВИНИТИ 19.06.2002 - № 1138.

5. Варламов О.О. Адаптивный механизм логического вывода на эволюционной интерактивной сети ГПМ, управляемой потоком данных. - М., 2002. - Рус. - Деп. в ВИНИТИ 19.06.2002 - № 1139.

6. Варламов О.О. Линейный матричный метод определения маршрута логического вывода на сети правил. - М., 2002. - Рус. - Деп. в ВИНИТИ 19.06.2002 - Ks 1140.

7. Варламов О.О. Квадратичной сложности методы поиска минимального разреза двухполюсных и многополюсных сетей. - М„ 2002. - Рус. - Деп. в ВИНИТИ 19.06.2002-X» 1141.

8. Варламов О.О. Метод распараллеливания потокового множественного доступа к общей БД в условиях недопущения взаимного искажения данных. - М., 2002. - Рус. - Деп. в ВИНИТИ 19.06.2002 -№1142.

9. Варламов О.О. Разработка адаптивного механизма логического вывода на эволюционной интерактивной сети гиперправил с мультиактивизаторами, управляемой потоком данных // Искусственный интеллект, № 3,2002. С. 363-370.

10. Варламов О.О. Разработка квадратичной сложности методов поиска минимального разреза двухполюсных и многополюсных сетей // Искусственный интеллект, № 3,2002. С. 371-375.

11. Варламов О.О., Журавлева Э.М., Чудинов С.М. О моделях документооборота и обучения на основе миварного пространства данных в АСУ регионального оператора связи // Компьюлог, № 5, 2002. С. 39-43.

12. Варламов О.О., Журавлева Э.М., Лысаковский В.А. О защите информации в АСУ регионального оператора связи на основе применения миварных БД и правил // Компьюлог, № 6,2002. С. 10-16.

13. Варламов О.О. Разработка линейного матричного метода определения маршрута логического вывода на адаптивной сети правил // Известия вузов. Электроника, X» б, 2002. С. 43-51.

14. Варламов О.О. Переборное единично-инкрементное суммирование чисел с линейной вычислительной сложностью // Автоматизация и современные технологии, № 1,2003. С. 34-40.

15. Варламов О.О. Разработка метода распараллеливания потокового множественного доступа к общей базе данных в условиях недопущения взаимного искажения данных // Информационные технологии, № 1,2003. С. 20-28.

16. Варламов О.О., Журавлева Э.М., Чудинов С.М., Амарян М.Р. Проблема защиты информации в АСУ регионального оператора // Вестник связи, № 1,2003. С. 42-48.

17. Варламов О.О., Амарян М.Р. Многомерное изменяющееся представление данных для компаний электросвязи // Вестник связи International, № 1,2003. С. 23-25.

18. Варламов О.О. Основы многомерного информационного развивающегося (миварного) пространства представления данных и правил // Информационные технологии, № 5,2003. С. 42-47.

19. Варламов О.О., Амарян М.Р., Лысаковский В.А., Адамова Л.Е. Подход к защите информации в АСУ оператора связи на основе миварных баз данных и правил // Известия ТРТУ, № 4, 2003. С.174-175.

20. Варламов О.О., Амарян М.Р., Лысаковский В.А., Адамова Л.Е. Особенности защиты персональных данных и информации в АСУ регионального оператора связи // Известия ТРТУ, № 4, 2003. С. 238-239.

21. Варламов О.О., Амарян М.Р., Лысаковский В.А., Адамова Л.Е. Об одном подходе к созданию ревизоров ОБИ на отдельных компьютерах// Известия ТРТУ, Ks 4,2003. С. 175-176.

22. Варламов О.О., Амарян М.Р., Лысаковский В.А., Адамова Л.Е. Подход к защите информации на основе локальных корректировок вычислений и обработки данных // Известия ТРТУ, №4, 2003. С. 239-240.

23. Варламов О.О., Амарян М.Р., Лысаковский В.А., Адамова Л.Е. Подготовка персонала компаний электросвязи в области информационной безопасности // Известия ТРТУ, №4, 2003. С. 388-389.

24. Варламов О.О., Баранов А.П. Предложения по основным направлениям и путям создания ВВК в России // Тр. международ, науч.-техн. конф. ИМС-99. - Таганрог: Изд-во ТРТУ, 1999. С. 104-105.

25. Варламов О.О. Подход к обеспечению максимального распараллеливания множественного доступа к общей БД в условиях недопущения взаимного искажения используемых данных для ИМС //Тр. международ, науч.-техн. конф. ИМС-99. - Таганрог: Изд-во ТРТУ, 1999. С. 106-107.

26. Варламов О.О. Проблема адаптивного синтеза конфигураций компьютерных систем для решения сложных задач // Науч. сессия МИФИ-2001. Сб. науч. трудов. Т.2. - М.: МИФИ, 2001. С. 228-229.

27. Варламов О.О. Проблема создания эволюционных неоднородных компьютерных систем//Тр. Юб. науч.-техн. конф. ЦНИИРЭС 12-14 сентября 2001г. Часть 2. - М.: ЦНИИРЭС, 2001. С. 103-105.

28. Варламов О.О. Проблема обеспечения потоковой параллельной обработки баз данных//Тр. Юб. науч.-техн. конф. ЦНИИРЭС 12-14 сентября 2001г. Часть 2. - М.: ЦНИИРЭС, 2001. С. 106-108.

29. Варламов О.О. Проблема адаптивного синтеза конфигураций интеллектуальных многопроцессорных систем // Тез. докл. Международ, науч. конф. "ИМС-2001". - Таганрог: Изд-во ТРТУ, 2001.С. 114-117.

30. Варламов О.О., Адамова Л.Е. Влияние психологических аспектов самоотношения при разработке систем искусственного интеллекта // Тез. докл. Международ, науч. конф. "ИМС-2001",- Таганрог: Изд-во ТРТУ, 2001. С. 24-27.

31. Варламов О.О., Адамова Л.Е. Обеспечение адаптивности и активности логического вывода на эволюционной сети // Научная сессия МИФИ - 2002. Сб. науч. трудов. Т.2. - М.:МИФИ, 2002. С. 99-101.

32. Варламов О.О., Адамова Л.Е. Создание эволюционных баз данных и знаний // Научная сессия МИФИ - 2002. Сб. науч. трудов. Т.2. - М.:МИФИ, 2002. С. 101-103.

33. Варламов О.О., Адамова Л.Е. О психологических аспектах моделирования самоотношения интеллектуальных систем на основе эволюционных баз данных и знаний // Тез. докл. Международ, науч. конф. "ИМС-2002".- Таганрог: Изд-во ТРТУ, 2002. С. 294 - 297.

34. Варламов О.О., Адамова Л.Е. Об одном подходе к моделированию интеллектуальных систем на основе создания адаптивного активного механизма логического вывода на эволюционной сети // Тез. докл. Международ, науч. конф. "ИМС-2002".- Таганрог: Изд-во ТРТУ, 2002. С. 297 - 300.

35. Варламов О.О. О квадратичном методе поиска разреза сети // Тез. докл. Международ, науч. конф. "ИМС-2002",- Таганрог: Изд-во ТРТУ, 2002. С. 178-180.

Подписано в печать 03.06.2003г. Тираж 100 экз. Участок оперативной печати ГОУ МАРТИТ.

12 22 7

2оо? -Д.

[2ггт

Условные обозначения.

Введение.

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

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

1.2. Проблема адаптивного синтеза информационно-вычислительных конфигураций.

1.3. Цель, научная проблема и основные задачи исследования.

2. Самоорганизующиеся эволюционные неоднородные компьютерные системы и адаптивный синтез комплексов оперативной диагностики.

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

2.3. Взаимосвязь интеллектуальных и самоорганизующихся эволюционных неоднородных компьютерных систем.

2.4. Основные пути создания систем адаптивного синтеза информационно-вычислительных конфигураций.

2.5. Принципы построения и применения систем адаптивного синтеза информационно-вычислительных конфигураций.

3. Анализ и обобщение структур представления данных традиционных моделей данных.

3.1. Формализованное описание основных структур представления данных традиционных моделей данных.

3.2. Анализ структур представления данных традиционных моделей

• данных.

3.3. Сравнение основных структур представления данных традиционных моделей данных.

3.4. Обобщение основных структур представления данных традиционных моделей данных.

3.5. Пятиуровневая одномерная таблица представления данных.

4. Интерактивное самоорганизующееся многомерное динамическое пространство унифицированного представления данных и правил.

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

4.2. Основные возможности самоорганизующегося представления ф данных.

4.3. Переход от одномерных многоуровневых таблиц представления данных к многомерному пространству представления данных.

4.4. Сравнение трехуровневых таблиц представления данных и трехмерного пространства представления данных.

4.5. Структуры данных о точках самоорганизующегося пространства

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

4.7. Формализованное описание самоорганизующихся структур данных

4.8. Пример описания данных в самоорганизующемся пространстве.

4.9. Эволюционность самоорганизующихся структур данных.

5. Обработка данных в самоорганизующемся пространстве унифицированного представления данных и правил.

5.1. Обработка данных на основе адаптивной логической сети правил

5.2. Особенности обработки данных на основе логической сети.

5.3. Основы "графового" поиска маршрута логического вывода.

5.4. Адаптивный механизм логического вывода на сети гиперправил с мультиактивизаторами, управляемой потоком данных.

5.5. Адаптивность механизма логического вывода на эволюционной интерактивной сети гиперправил с мультиактивизаторами.

5.6. Квадратичной сложности методы поиска минимального разреза.

5.7. Линейный матричный метод поиска маршрута логического вывода на сети правил.

I 6. Распараллеливание потокового множественного доступа к общей базе данных в условиях недопущения взаимного искажения данных.

6.1. Анализ методов распараллеливания доступа к базам данных.

6.2. Подход к распараллеливанию множественного доступа к БД.

6.3. Проблема обеспечения потокового множественного доступа к БД в условиях недопущения взаимного искажения данных.

6.4. Конвейерная реализация алгоритма функционирования сервера базы данных с потоковым распараллеливанием.

6.5. Исследование параметров виртуальных потоковых баз данных.

6.6. Структуры данных для виртуальных потоковых баз данных.

6.7. Оценка быстродействия обработки потока данных.

7. Линейный метод единично-инкрементного суммирования чисел.

7.1. Необходимость линейного метода суммирования чисел.

7.2. Основы линейного метода переборного суммирования чисел.

7.3. Устройство линейного переборного суммирования чисел.

7.4. Алгоритм линейного переборного суммирования чисел.

7.5. Исследование параметров переборного суммирования чисел.

7.6. "Табличная" модификация переборного суммирования чисел.

7.7. Модификация метода суммирования чисел с уменьшением необходимого объема оперативной памяти ЭВМ.

7.8. Локальные корректировки вычислений и обработки данных.

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

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

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

Вторая проблема - это создание теоретических основ адаптивного синтеза информационно-вычислительных конфигураций (ИВК) АСОИ на базе известных методов синтеза ЭВМ. Основное направление решения данной проблемы, это создание системы адаптивного синтеза (САС) самоорганизующихся конфигураций АСОИ на основе применения известных методов синтеза ЭВМ. Две эти проблемы решают на разных уровнях: на уровне программного обеспечения (первая) и на уровне аппаратных средств (вторая), фактически одну и ту же проблему - создание самоорганизующихся (эволюционных) АСОИ (ПАК ОД). Анализ задач, которые необходимо решить как для создания самоорганизующихся баз данных и правил (СБДП), так и для построения САС ИВК, показал их взаимозависимость, поэтому обе эти проблемы в совокупности образуют одну крупную научную проблему. Следовательно, разработка теоретических и реализационных основ создания СБДП и САС ИВК для построения программно-аппаратных комплексов оперативной диагностики, предназначенных для решения сложных задач, является актуальной крупной научной проблемой.

Решение этой новой проблемы вносит значительный вклад в развитие экономики страны, способствует повышению обороноспособности России и имеет важное хозяйственное значение и практическую ценность для целого ряда областей (медицины, экономики, юриспруденции, анализа чрезвычайных ситуаций, метеорологии и других). Отдельные наиболее сложные задачи этих областей могут быть отнесены к классу ресурсоемких научно-практических задач оперативной диагностики. Как правило, это уникальные диагностические задачи (УДЗ), решение которых носит эмпирический характер и требует научно-обоснованного оперативного синтеза специализированных ИВК. Известные технологии баз данных и знаний, а также систем автоматизированного проектирования (САПР) не применимы в этом случае, так как основное противоречие состоит в том, что в условиях дефицита времени требуется оперативно синтезировать уникальный эволюционный самоорганизующийся программно-аппаратный комплекс оперативной диагностики (СПАКОД) с использованием всех доступных ресурсов, включая Интернет, для обеспечения экспресс-диагностики сложных, уникальных задач. Как правило, это NP-полные задачи, которые в зависимости от конкретной ситуации, могут быть сведены к набору полиномиальных задач, решаемых за обозримое допустимое время с учетом конкретных ограничений. На программном уровне эволюционность такого комплекса обеспечивается СБДП, а на аппаратном уровне - САС ИВК.

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

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

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

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

В соответствии с поставленной целью определены задачи диссертации:

1) изыскать принципы построения и применения систем адаптивного синтеза информационно-вычислительных конфигураций;

2) в теории баз данных провести системный анализ, сравнение и обобщение основных структур представления данных традиционных моделей данных;

3) разработать теоретические основы создания интерактивных самоорганизующихся баз данных и правил;

4) создать метод обработки данных на основе применения интерактивной самоорганизующейся логической сети правил, управляемой потоком данных;

5) разработать быстродействующий метод "графового" поиска маршрута логического вывода путем построения многополюсной сети теории графов и определения ее минимального разреза;

6) разработать метод распараллеливания потокового множественного доступа к общей БД в условиях недопущения взаимного искажения данных;

7) разработать метод алгоритмической минимизации необходимого количества устройств и вычислительных процедур сложения для единично-инкрементного суммирования чисел.

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

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

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

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

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

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

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

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

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

выводы

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

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

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

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

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

заключение

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

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

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

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

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

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

Для создания самоорганизующихся баз данных и правил в диссертации проведено: формализованное описание, анализ, сравнение и обобщение основных структур представления данных традиционных моделей данных путем применения пятиуровневых одномерных таблиц представления данных, а также предложены теоретические основы построения динамического многомерного объектно-системного дискретного информационного пространства унифицированного представления данных и правил (знаний).

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

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

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

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

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

Для повышения быстродействия единично-инкрементного суммирования чисел в различных программно-аппаратных комплексах в диссертации разработан линейный метод единично-инкрементного суммирования чисел путем алгоритмической минимизации количества процедур и устройств сложения.

Научная новизна диссертации заключается в том, что в ней впервые:

1) предложены принципы построения и применения систем адаптивного синтеза информационно-вычислительных конфигураций;

2) на основе применения пятиуровневых одномерных таблиц представления данных осуществлено описание, системный анализ, сравнение и обобщение основных структур представления данных графо-табличных моделей данных;

3) разработаны теоретические основы создания интерактивных самоорганизующихся баз данных и правил путем построения многомерного информационного динамического ("миварного") пространства унифицированного представления данных и правил;

4) предложен метод обработки данных на основе применения интерактивной самоорганизующейся логической сети правил, управляемой потоком данных;

5) разработаны быстродействующий метод "графового" поиска маршрута логического вывода, матричный метод поиска маршрута логического вывода и квадратичные методы поиска минимального разреза многополюсных сетей;

6) разработан метод распараллеливания потокового множественного доступа к общей БД в условиях недопущения взаимного искажения данных;

7) разработан метод алгоритмической минимизации количества процедур и устройств сложения для единично-инкрементного суммирования чисел.

Практическое использование научных результатов позволило:

1) разработать теоретические основы построения самоорганизующихся программно-аппаратных комплексов оперативной диагностики;

2) повысить эволюционные и интеллектуальные способности компьютерных систем путем интерактивного формирования запросов и ресурсов для развития в изменяющейся внешней среде;

3) повысить оперативность и эффективность решения сложных задач;

4) уменьшить время решения задач за счет повышения производительности адаптивных ЭВМ относительно традиционных, в среднем за период эксплуатации, на половину разности производительности следующих и современных поколений ЭВМ (не менее чем в 50 раз);

5) повысить эффективность разработки, эксплуатации и модернизации компьютерных систем (АСОИ) за счет оптимизации синтеза конфигураций по критерию отношения реальной производительности к стоимости;

6) повысить реальную производительность адаптивных самоорганизующихся ЭВМ относительно пиковой мощности обычных ЭВМ с 10-30% до 50-70%;

7) снизить материально-финансовые затраты разработки и эксплуатации компьютерных систем (АСОИ).

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

Таким образом, в диссертации решена новая крупная научная проблема, которая является актуальной и имеет важное хозяйственное значение. Реализация, внедрение и использование полученных в диссертации результатов вносит значительный вклад в развитие экономики страны и повышение ее обороноспособности.

1. А. с. 176724 СССР, МКИ G 06 F 7/50, 1965.

2. А. с. 249050 СССР, МКИ G 06 F 7/50, 1969.

3. Адаптивные и экспертные системы в управлении // Тез. докл. 5-го Ленинградского симпозиума по теории адаптивных систем "ТАС 91", 17 - 19 апреля 1991г.-Л., 1991.

4. Алгоритмы, математическое обеспечение и архитектура многопроцессорных вычислительных систем / Под ред. Ершова А.П. М.: Наука, 1982.

5. Амамия М., Танака Ю. Архитектура ЭВМ и искусственный интеллект. -М.: Мир, 1993.

6. Анисимов Б.В., Четвериков В.Н. Основы теории и проектирования цифровых вычислительных машин. М.: Высшая школа, 1990.

7. Ануреев И.С. Метод элиминации структур данных, основанный на системах переписывания формул // Программирование, 1999, № 4, с. 5 15.

8. Артамонов Г.Т., Тюрин В.Д. Топология сетей ЭВМ и многопроцессорных систем. М.: Радио и связь, 1991.

9. Архипов А.В. Почему сильные государства любят слабую криптографию // Защита информации. Конфидент, № 3, 1997, с. 65 67.

10. Атре Ш. Структурный подход к организации баз данных. М.: Финансы и статистика, 1983.

11. Ачасова С.М., Бандман О.Л. Корректность параллельных вычислительных процессов. Новосибирск: Наука, 1990.

12. Бабаян Б.А., Бочаров А.В., Волин А.С. и др. Многопроцессорные ЭВМ и методы их проектирования / Под ред. Смирнова Ю.М. М.: Высшая школа, 1990.

13. Базы знаний интеллектуальных систем / Т.А. Гаврилова, В.Ф. Хорошевский. СПб.: Питер, - 384 с.

14. Барский А.Б. Параллельные процессы в вычислительных системах. Планирование и организация. М.: Радио и связь, 1990. - 256 с.

15. Батыршин И.З. Представление и обработка нечеткой информации в интеллектуальных системах: Дис. . д-ра физ. мат. наук. - Переславль-Залесский, 1996.

16. Белеградек О.В., Столбоушкин А.П., Тайцлин М.А. Базы данных над фиксированным бесконечным универсумом // Программирование, 1998, № 1,с. 6- 17.

17. Белоусов Н.Н. Конструирование преобразователей моделей данных в системе интеграции неоднородных баз данных: Дис. . канд. физ. мат. наук.-М., 1987.

18. Вениаминов Е.М. Алгебраические методы в теории баз данных и представлении знаний: Дис. д-ра физ. мат. наук. - М., 1996.

19. Берзтисс А.Т. Структуры данных. М.: Статистика, 1974. - 408 с.

20. Бурцев B.C. Новые подходы к созданию высокопараллельных вычислительных структур // Искусственный интеллект 2000. Тез. докл. науч. конф. - Таганрог: ТРТУ, 2000.

21. Буч Г. Объектно-ориентированное проектирование с примерами применения / Пер. с англ. М.: Конкорд, 1992.

22. Валиев К., Медовников Д., Тюменев В. Работы у наших потомков не будет // Эксперт, № 17, 8 мая 2000г., с. 28 29.

23. Вальковский В.А. Распараллеливание алгоритмов и программ. Структурный подход. М.: Радио и связь, 1989.

24. Валях Е. Последовательно-параллельные вычисления. М.: Мир, 1985.

25. Варламов О.О. Эволюционные базы данных и знаний для адаптивного синтеза интеллектуальных систем. Миварное информационное пространство. М.: Радио и связь, 2002. - 288 с.

26. Васильев В.И., Шевченко А.И. Формирование и опознавание образов. Серия "Искусственный интеллект". Донецк: Изд-во ДонГИИИ, 2000. -360с.

27. Васильев Г.П. Программное обеспечение неоднородных распределенных систем. Анализ и реализация. М.: Финансы и статистика, 1986.

28. Вейд А. Стандарты объектных запросов // Системы управления базами данных, 1996,№4.

29. Величко И.В. Разработка и реализация СУБД сетевого типа: Дис. . канд. физ. мат. наук. - М., 1981.

30. Воеводин В.В. Информационная структура алгоритмов. М.: Изд-во МГУ, 1997.

31. Воеводин В.В. Отображение проблем вычислительной математики на архитектуру вычислительных систем // Вычислительная математика и математическое моделирование. Тр. международной конф. Т. 1. М.: Ин-т вычисл. математики РАН, 2000. - С. 242 - 255.

32. Воеводин В.В. Параллельные структуры алгоритмов и программ. М.: ОБМАН СССР, 1987.

33. Вычислительная математика и математическое моделирование // Труды международной конференции. Том 1,2. М.: Ин-т вычислительной математики РАН, 2000.

34. Гаврилов Г.П., Сапоженко А.А. Сборник задач по дискретной математике. М.: Наука, 1977.

35. Гаврилова Т.А., Котова Е.Е., Писарев А.С. Активные схемы как инструмент семантического анализа // Труды межд. семинара "Диалог 99". Таруса, 1999. С. 26-27.

36. Гаврилова Т.А., Червинская К.Р. Извлечение и структурирование знаний для экспертных систем. М.: Радио и связь, 1992.

37. Гаек П., Гавранек Т. Автоматическое образование гипотез (Математические основы общей теории). М.: Наука, 1984. - 262 с.

38. Гиглавый А.В. Исследование и разработка методов управления единым архивом данных применительно к задачам автоматизации проектирования цифровых устройств: Дис. канд. техн. наук. М., 1975.

39. Гиглавый А.В. Теория баз данных. Меморандум трех // Программирование, 1992, №2.

40. Гилула М.М. Множественная модель данных в информационных системах. М.: Наука, 1992. - 208 с.

41. Глушков В.М. Кибернетика, вычислительная техника, информатика. Избранные труды: В 3 т. Киев: Наукова думка, 1990.

42. Головкин Б.А. Вычислительные системы с болыним-числом процессоров. М.: Радио и связь, 1995.

43. Головкин Б.А. Параллельные вычислительные системы. М.: Наука, 1980.

44. Городецкий В.И. Прикладная алгебра и дискретная математика. Часть 1. Алгебраические системы. МО СССР, 1984. - 174 с.

45. Городецкий В.И. Прикладная алгебра и дискретная математика. Часть 2. Формальные системы нелогического типа. МО СССР, 1986. - 200 с.

46. Городецкий В.И. Прикладная алгебра и дискретная математика. Часть 3. Формальные системы логического типа. МО СССР, 1987. - 177 с.

47. Горшкова Е.А., Некрестьянов И.С., Новиков Б.А., Павлова Е.Ю. Поддержка согласованности для слабоструктурированных данных // Программирование,2000,№3,с.23-30.

48. Гурин В.Н. Математические основы организации и обработки информации в одном классе многомерных структур данных: Дис. . канд. физ. -мат. наук. Грозный, 1982.

49. Дейкстра Э. Взаимодействие последовательных процессов // Языки программирования. М.: Мир, 1972.

50. Дейт К. Введение в системы баз данных. М.: Наука, 1980.

51. Долидзе А.Н. Концептуальная модель предметной области со слабовы-раженной структурой: Дис. канд. физ. мат. наук. - Тбилиси, 1988.

52. Дунаев В. Молетроника это сложное слово // Независимая газета, приложение "НГ -Наука", №8, 15 сентября 1999, с. 4.

53. Евреинов Э., Хорошевский В. Однородные вычислительные системы. -Новосибирск: Наука, 1978.

54. Евреинов Э.В. Однородные вычислительные системы, структуры и среды. М.: Радио и связь, 1981.

55. Евстигнеев В.А. Применение теории графов в программировании // Под ред. Ершова А.П. М.: Наука, 1985.

56. Ефимова С.М. Применение П-графов для представления и поиска знаний в динамических базах знаний: Дис. канд. физ. мат. наук. - М., 1986.

57. Замулин А.В. Интегральная языковая среда для описания и реализации баз данных различных моделей: Дис. . д-ра физ. мат. наук. - Новосибирск, 1989.

58. Замулин А.В. Перспективы развития системы баз данных третьего поколения // Программирование, 1992, № 2, с. 33 46.

59. Замулин А.В. Программное обеспечение информационно-поисковой системы общего назначения: Дис. . канд. физ. мат. наук. - Новосибирск, 1974.

60. Замулин А.В. Системы программирования баз данных и знаний. Новосибирск: Наука, 1990.

61. Замулин А.В. Типы данных в языках программирования и базах данных. -Новосибирск: Наука, 1987.

62. Защита информации. Конфидент, 1995 2003 (www.confident.spb.su).

63. Зыкин С.В. Формирование пользовательского представления реляционной базы данных с помощью отображений // Программирование, 1999, № 3, с. 70 80.

64. Зыков А.А. Основы теории графов. М.: Наука, 1987.

65. Ивахненко А.Г., Зайченко Ю.П., Димитров В.Д. Принятие решений на основе самоорганизации. М.: Сов. радио, 1976.

66. Ильин В.П. О стратегиях распараллеливания в математическом моделировании //Программирование, 1999, № 1, с. 41 46.

67. Интеллектуальные и многопроцессорные системы-2001. Таганрог: ТРТУ, 2001.-344 с.

68. Интеллектуальные многопроцессорные системы 99 - Таганрог: ТРТУ, 1999. -256 с.

69. Интеллектуальные робототехнические системы 2001. - Таганрог: ТРТУ, 2001.-318 с.

70. Информационные и рабочие материалы НИИ МВС ТРТУ, 2000 2002.

71. Информационные и рабочие материалы НИЦЭВТ, 2000 2001.

72. Иофинова М.Е. Решетки помеченных деревьев в задаче согласованного обновления иерархических баз данных: Дис. . канд. физ. мат. наук. -М., 1989.

73. Искусственный интеллект-2000 // Тез. докл. науч. конф. Таганрог: ТРТУ, 2000. - 202 с.

74. Калинин В.Н., Резников Б.А., Варакин Е.И. Теория систем и оптимального управления. 4.2. Понятия, модели, методы и алгоритмы оптимального выбора. Л., 1987. - 589 с.

75. Калиниченко Л.А. Метод построения коммутативных отображений моделей данных при интеграции неоднородных баз данных // Программирование, 1999, № 6, с. 38 47.

76. Калиниченко Л.А. Методы и средства интеграции неоднородных баз данных. М.: Наука, 1983.

77. Калиниченко Л.А., Манукян М.Г. Языковые средства временно ориентированной модели данных // Программирование, 1990, № 5, с. 73 - 86.

78. Калиниченко Л.А., Рыбкин В.М. Машины баз данных и знаний. М.: Наука. Гл. ред. физ.-мат. лит., 1990. - 296 с.

79. Калиниченко Л.А., Скворцов Н.А., Брюхов Д.О., Кравченко Д.В., Чабан И.А. Проектирование персонализированных электронных библиотек над Web-сайтами со слабоструктурированными данными // Программирование, 2000, № 3, с. 9 22.

80. Каляев А.В. Многопроцессорные системы с программируемой архитектурой. М.: Радио и связь, 1984.

81. Каляев А.В. Суперкомпьютеры, супернейрокомпьютеры и искусственный интеллект // Искусственный интеллект-2000. Тез. докл. науч. конф.

82. Таганрог: ТРТУ, 2000.-С. 12-14.

83. Каляев А.В., Каляев И.А., Левин И.И., Пономарев И.М. Базовый модульдля построения реконфигурируемых под задачу вычислительных систем // Известия ВУЗов. Электроника, 1998, № 4, с. 67 - 74.

84. Каляев А.В., Каляев И.А., Левин И.И., Пономарев И.М. Параллельный компьютер с программируемой под структуру задачи архитектурой // Труды шестого международного семинара "Распределенная обработка информации". Новосибирск, 1998. - С. 25 - 29.

85. Каляев А.В., Левин И.И., Шматок А.В. Средства программирования суперкомпьютеров с массовым параллелизмом и программируемой архитектурой // Искусственный интеллект 2000. Тез. докл. науч. конф. - Таганрог: Изд-во ТРТУ, 2000. - С. 145 - 148.

86. Каляев А.В., Станишевский О.Б. Принципы построения программно• аппаратных средств супермакрокомпьютеров // Информатика. М.: 1990, №2, с. 13-21.

87. Калянов Г.Н. Структурный системный анализ(автоматизация применения). М.: Лори, 1996.

88. Капитонова Ю.В., Летичевский А.А. Математическая теория проектирования вычислительных систем. М.: Наука. Гл. ред. физ.-мат. лит., 1988.

89. Капп Д., Лебен Дж. Техника программирования для IMS. Методология использования DL/1 / Пер. с англ. М.: Финансы и статистика, 1983.-248с.

90. Каррабис Дж.-Д. Программирование в dBASE III Plus/ Пер. с англ. М.:• Финансы и статистика, 1991. 240 с.

91. Ким Вон. Технология объектно-ориентированных баз данных // Открытые системы, 1994, № 4.

92. Китаев А., Медовников Д., Тюменев В. Защита для кубита // Эксперт, №17, 2000, с.30-31.

93. Клайн М. Математика. Утрата определенности / Пер. с англ. М.: Мир, 1984. -446 с.

94. Ковтун И.И. Матрично-реляционная модель данных для представления и обработки информации в автоматизированных системах мониторинга и управления //Программирование, 1997, № 6, с. 58 72.

95. Когаловский М.Р. Систематика коллекций информационных ресурсов в электронных библиотеках // Программирование, 2000, № 3, с. 30-52.

96. Когаловский М.Р., Новиков Б.А. Электронные библиотеки новый класс информационных систем (от составителей выпуска) // Программирование, 2000, № 3, с. 3 - 8.

97. Козленко Л.А. Разработка математического обеспечения систем управления вложенными транзакциями в параллельных и распределенных сре

98. Корженевич Ю.В., Кобайло А.С. Синтез вычислительных структур. М.: Наука и техника, 1989.

99. Корнеев В.В. Архитектура вычислительных систем с программируемой структурой. Новосибирск: Наука, 1985.

100. Корнеев В.В. Параллельные вычислительные системы. М.: Нолидж, 1999.

101. Корнеев В.В., Киселев А.В. Современные микропроцессоры. М.: Нолидж, 1998.

102. Костенко В.А., Смелянский Р.Л., Трекин А.Г. Синтез структур вычислительных систем реального времени с использованием генетичесих алгоритмов // Программирование, 2000, № 5, с. 63 72.

103. Коуги П.М. Архитектура конвейерных ЭВМ / Пер. с англ. М.: Радио и связь, 1985.

104. Кохонен Т. Ассоциативная память. М.: Мир, 1980.

105. Кошелев С.А. Программирование без программирования. Использование утилиты Designer пакета Clarion для разработки программ. М.: Радио и связь, 1992. - 192 с.

106. Кристофидес Н. Теория графов. Алгоритмический подход / Пер. с англ. -М.: Мир, 1978.

107. Кузин Л.Т. Основы кибернетики. Т. 1. Математические основы кибернетики. Учеб. пособие для студентов втузов. М.: Энергия, 1973. - 504 с.

108. Кузин Л.Т. Основы кибернетики: В 2-х т. Т. 2. Основы кибернетических моделей. Учеб. пособие для вузов. М.: Энергия, 1979. - 584 с.

109. Кузнецов С.Д., Пономаренко В.Н. Выработка оптимальных планов выполнения запросов в реляционных СУБД // Программирование, 1990,№2.

110. Кузьминский М. Между строк таблиц Linpack // COMPUTER WEEK -Москва, 1998, № 13, с. 41 43.

111. Ладенко И.С. Имитационные системы. Новосибирск: Наука, 1981.-300с.

112. Ладенко И.С. Интеллектуальные системы в целевом управлении. Новосибирск: Наука, 1987. - 199 с.

113. Ладенко И.С. Интеллектуальные системы и логика. Новосибирск: Наука, 1973.-172с.

114. Ладенко И.С. Логические методы построения математических моделей. -Новосибирск: Наука, 1980. 192 с.

115. Лазарев И.А. Информация и безопасность. Композиционная технология информационного моделирования сложных объектов принятия решений. М.: МГЦНТИ, 1997. - 336 с.

116. Ластовецкий А.Л. Язык и система параллельного программирования для разработки программ, эффективно переносимых в классе распределенных вычислительных систем: Дис. д-ра физ.-мат. наук. М., 1997.

117. Левин И.И. Структурно-процедурное программирование // Искусственный интеллект-2000. Тез. докл. науч. конференции. Таганрог: Изд-во ТРТУ, 2000.-С. 148-151.

118. Левин И.И., Коробкин В.В. Принципы создания, интеллектуальной самонастраиваемой элементной базы для эффективного аппаратного решения широкого класса задач // Искусственный интеллект-2000. Тез. докл. науч. конф,- Таганрог: ТРТУ, 2000. С. 151-153:

119. Левин И.И., Пономарев И.М. Методика организации высокоэффективных параллельных вычислений в многопроцессорных системах. // Тезисы международной конференции "Искусственный интеллект-2000". Таганрог: Изд-во ТРТУ, 2000. - С. 142-145.

120. Лекции по теории графов: Учеб. пособие. / Емеличев В.А., Мельников О.И., Сарванов В.И., Тышкевич Р.И. М.: Наука, 1990.

121. Ливчак А.Б. Полнота языков запросов // Программирование, 1993, № 2.

122. Лима Т. Введение в dBASE IV / Пер. с англ. М.: Радио и связь, 1993.

123. Логический подход к искусственному интеллекту: От модальной логики к логике баз данных / Пер. с франц. // Тейз А., Грибомон П., Юлен Г. и др. М.: Мир, 1998.

124. Ломазова И.А. Каузальная семантика для сетей Петри с контактами // Программирование, 1999, № 4, с. 43 53.

125. Лэнгсам Й., Огенстайн М., Тененбаум А. Структуры данных для персональных ЭВМ / Пер. с англ. М.: Мир, 1989. - 568 с.

126. Любарский Ю.Я. Интеллектуальные информационные системы. М., Наука. Гл. ред. физ.-мат. лит., 1990.

127. Майника Э. Алгоритмы оптимизации на сетях и графах / Пер. с англ. -М.: Мир, 1981.

128. Мальковский М.Г., Шикин И.Ю. Нечеткий лингвистический интерфейс //Программирование, 1998, № 4, с. 50 61.

129. Мальцев А.А. Алгоритмы и рекурсивные функции. М.: Наука, 1965.

130. Марков А.С. Как расширить возможности СУБД CLARION // Библиотека информационных технологий: Вып. 10 // Под ред. Г.Р. Громова. М.: Инфоарт, 1994. - С. 3-10.

131. Марков А.С. Решение вычислительной задачи при наличии временных ограничений //Изв. вузов. Приборостроение. 1993. Т.36, № 7-8, с.89-92.

132. Марков А.С., Карпов Е.А., Котухов М.М. и др. Законодательно-правовое и организационно-техническое обеспечение информационной безопасности АС и ИВС // Под ред. И.В. Котенко. СПб.: ВУС, 2000. - 190 с.

133. Мартин Дж. Организация баз данных в вычислительных системах. М.: Мир, 1980.

134. Мартыненко Б.К. Синтаксически управляемая обработка данных: Дис. . д-ра физ. мат. наук. - СПб., 1997.

135. Мартынов М.Г. Пространственные методы доступа // Программирование, 1998, №3, с. 59-69.

136. Медовников Д., Тюменев В. Считающий атом // Эксперт, № 17, 8 мая 2000, с. 24 27.

137. Мейер Д. Теория реляционных баз данных. М.: Мир, 1987.

138. Мидоу Ч. Анализ информационно-поисковых систем. М.: Мир, 1970.