Модели и методы параллельной асинхронной переработки информации в графодинамической ассоциативной памяти тема диссертации и автореферата по ВАК РФ 05.13.11, кандидат технических наук Гапонов, Павел Анатольевич

• Гапонов, Павел Анатольевич
• кандидат технических наук
• 2000

Оглавление диссертации кандидат технических наук Гапонов, Павел Анатольевич

1. МОДЕЛИ И СРЕДСТВА ПАРАЛЛЕЛЬНОЙ ОРГАНИЗАЦИИ ВЫЧИСЛИТЕЛЬНОГО ПРОЦЕССА.

1.1. Модели и механизмы синхронизации в языках параллельного программирования (ЯШ).

1.2. Объектно-ориентированное и агенгно-ориентированное параллельное программирование.

1.2.1. Модель и языки акторов.

1.2.2. Интегрированные языки.

1.2.3. Проблемы интеграции параллелизма и объектных технологий.

1.2.4. Многоагентные системы.

1.2.5. Проблемы агентно-ориентированного подхода.

1.3. Принципы и модели обработки транзакций.

1.3.1. Плоские транзакции.

1.3.2. Контрольные точки. Многозвенные транзакции.

1.3.3. Вложенные транзакции.

1.3.4. Ослабленные модели транзакций.

1.3.5. Методы управления одновременным доступом к ресурсам.

1.4. Современные технологии разработки сложных информационных систем.

1.4.1. CASE-технологии.

1.4.2. Представление информации.

1.4.3. Графический интерфейс.

1.5. Выводы.

2. БАЗОВЫЕ ГРАФОДИНАМИЧЕСКИЕ МОДЕЛИ ПЕРЕРАБОТКИ ИНФОРМАЦИИ.

2.1. Графовые языки SC и SCP.

2.2. Базовые формальные модели.

2.3. Модели транзакций.

2.3.1. Метамодель транзакций.

2.3.2. Относительная сила блокировок.

2.3.3. Методика обработки блокировок.

2.3.4. Пример спецификации модели транзакций.

2.4. Выводы.

3. ОРГАНИЗАЦИЯ ВЗАИМОДЕЙСТВИЯ ПАРАЛЛЕЛЬНЫХ ПРОЦЕССОВ В ГРАФОДИНАМИЧЕСКОЙ АССОЦИАТИВНОЙ ПАМЯТИ.

3.1. Модели, информационные структуры и алгоритмы синхронизации процессов в графодинамической ассоциативной памяти.

3.1.1. SCP-процессы.>.

3.1.2. Модель транзакций БСР.

3.1.3. Информационные структуры и алгоритмы работы с блокировками.

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

3.2.1. Контексты.

3.2.2. События.

3.2.3. Языковые средства межпроцессной коммуникации и их использование.

3.2.4. Сообщения.

3.3. Сравнительный анализ предлагаемых решений.

3.3.1. Сравнение с механизмами синхронизации и моделями транзакций, используемыми в современных СУБД.

3.3.2. Сравнение с объектно-ориентированным подходом.

3.3.3. Сравнение с языками параллельного программирования.

3.3.4. Сравнение с системами программирования на языках сверхвысокого уровня (ЯСВУ).

3.4. Выводы.

4. ТЕХНОЛОГИЧЕСКАЯ СРЕДА ВИЗУАЛЬНОЙ РАЗРАБОТКИ ПАРАЛЛЕЛЬНЫХ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ И ЕЕ РЕАЛИЗАЦИЯ.—

4.1. Обзор архитектуры среды.

4.1.1. Основные режимы работы пользователя.

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

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

4.2. Визуальное программирование интеллектуальных систем.

4.2.1. Принципы представления ВС-конструкций на виртуальном экране. Понятие листа.

4.2.2. Видеоформы.

4.2.3. Семантическая визуализация.

4.2.4. Технология разработки интеллектуальных систем в среде визуального программирования.

4.3. Реализация.

4.3.1. Используемые средства.

4.3.2. Кодирование ЕС-конструкций в модели графодинамической памяти.

4.3.3. Экспериментальная проверка.

4.4. Выводы.

Введение диссертации (часть автореферата) на тему «Модели и методы параллельной асинхронной переработки информации в графодинамической ассоциативной памяти»

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

1) практически исчерпаны физические резервы повышения производительности вычислительных систем традиционной однопроцессорной архитектуры. Достижение быстродействия, превышающего Ю10 опер/с, при существующих физических технологиях возможно только при переходе к многопроцессорным вычислительным системам, использующим параллельные принципы обработки информации [10-12];

2) параллельный недетерминизм часто являются единственно возможным механизмом достижения адекватного уровня абстракции при проектировании систем организованной сложности [13-15], позволяя не принимать во внимание несущественные аспекты поведения системы;

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

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

5) традиционный, последовательный подход к разработке новых изделий стал уступать место "параллельному проектированию" (concurrent engineering, simultaneous engineering) [17,18]. В его основе лежит идея совмещенного проектирования изделия, а также процессов его изготовления и сопровождения, координируемая с помощью специальной распределенной информационной среды, что позволяет использовать проектные данные одновременно различными группами специалистов.

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

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

1) семантический анализ и практика использования СУБД в 70-80-х годах выявили сложность удовлетворительного решения в рамках классических моделей (иерархическая, сетевая, реляционная) таких задач, как идентификация и классификация объектов, автоматическая проверка объемных соотношений между понятиями и других семантических ограничений, задач интеллектуализации интерфейса с банками данных, хранения и манипулирования нетрадиционными элементами данных (тексты, пространственные данные) [19,20];

2) интенсивно развивается обширный класс информационно-поисковых систем, основанных на гипертексте и мультимедиа. Многие обучающие программы, справочные системы и электронная документация организуются на основе этой технологии. В WWW понятие гипертекстовой ссылки было расширено на глобальную сеть Internet. В последнее время пассивный характер подобных систем изменился, в них появились средства организации интерактивного обмена информацией и контекстно-настраиваемого диалога [21];

3) появляется необходимость в поддержке взаимодействия интеллектуальной системы (в ходе решения задачи) с целым коллективом пользователей. Интеллектуальная система становится равноправным членом коллектива, обеспечивающим координацию в процессе распределенного решения общей задачи [16,22-24].

Для современных систем, ориентированных на нечисловую переработку больших объемов сложноструктурированной информации, широкое использование технологий multimedia, полиэкранных адаптивных интерфейсов и многоагентного взаимодействия в глобальных сетях фон-неймановская архитектура не обеспечивает достаточной технологической гибкости, согласованности данных и реакции в реальном масштабе времени [24-27]. Основными принципами организации современных архитектур вычислительных систем являются: открытость, параллельность, аеинхронность, ассоциативность доступа (что обеспечивает поддержку асинхронизма), структурная перестраиваемость памяти [28-31].

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

1) Отсутствие математически строгих моделей вычислений, лежащих в основе их архитектуры [35]. Определенным прорывом в этом плане стала концепция транспьютера [36], однако некоторые свойства транспьютера и той модели, которую он поддерживает (примитивизм межкомпонентных коммуникаций, ориентация на статическое планирование загрузки и разделения функций и т.д.), смещают мультитранспьютерные системы в область специализированных ЭВМ [31, 36].

2) Отсутствие комплексного подхода и адекватных решаемому классу задач инструментально-технологических средств при разработке системного (и, как следствие, прикладного) программного обеспечения [37]. Программное обеспечение часто либо разрабатывается в отрыве от аппаратуры (так, первые практически пригодные операционные системы для транспьютеров появились лишь спустя 4-5 лет после их создания!), либо наоборот, жестко ориентировано на ее конкретную реализацию (многие Lisp- и Prolog-машины, машины баз данных). Инструментальные средства не поддерживают современные методологии разработки, что делает невозможным создание больших прикладных систем [38, 39].

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

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

Цель и задачи исследований.

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

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

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

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

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

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

4) использование в качестве базового языка системного программного обеспечения графового языка параллельного процедурного программирования БСР [1,2,40];

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

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

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

Научная новизна работы заключается в следующем.

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

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

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

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

Основными научными результатами, выносимыми на защиту, являются:

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

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

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

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

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

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

Работа выполнялась в рамках:

1) Республиканской научно-технической программы "Информатика", задания

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

02.02.09.03. "Разработать язык параллельного программирования на графовых структурах, ориентированный на распределенную реализацию механизмов переработки интегрированных баз данных и знаний";

2) программы фундаментальных исследований АНБ "Разработка научных основ новых информационных технологий";

3) программы "Белкосмос", проект №10 "Разработать специализированный интеллектуальный интерфейс для задач комплексной обработки дистанционного зондирования земли (на основе параллельной графодинамической вычислительной системы)".

К числу наиболее важных отдельных проектов, в рамках которых выполнялась данная работа, относится проект "Параллельная графодинамичеекая вычислительная система, ориентированная на решение задач искусственного интеллекта" (договор №192-95 от 21.08.95 с Минпромом и Комитетом по науке и технологиям РБ).

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

Апробация результатов работы.

Материалы работы докладывались и обсуждались на следующих научных конференциях и семинарах:

Международном Симпозиуме по нейроинформатике и нейрокомпьютерам (Ростов-на-Дону, 1992); II конференции Российской Транспьютерной Ассоциации (Домодедово, 1992); международной конференции по искусственному интеллекту "East-West Conference on Artificial Intelligence. From Theory to Practice" (Москва, 1993); симпозиуме "Методы искусственного интеллекта в компьютерах новых поколений" (Рязань, 1993); V конференции Российской Транспьютерной Ассоциации (Домодедово, 1996); международной выставке-семинаре "Высшее образование в Беларуси: международное сотрудничество и развитие" (Минск, 1996).

10

Результаты работы также демонстрировались на следующих выставках: "Белвузнаука" (Минск, 1995); международной специализированной выставке BELARUSMEDICA (Минск, 1995); первой Межгосударственной выставке инновационной продукции "ИНПРОМТЕХ-95" (Минск, 1995); международной выставке-семинаре "Беларусь.Адукацыя-95" (Минск, 1995); "Беларусь.Энергия-95, Беларусь.Экология-95, Беларусь.Автоматика-95" (Минск, 1995).

Публикации. По теме данных исследований опубликовано 9 научных работ. Все результаты, составляющие основное содержание диссертации, получены автором самостоятельно. В работах, опубликованных в соавторстве, личный вклад автора состоит в следующем: в работе [1] автором описаны принципы реализации интерпретатора графового процедурного языка параллельного программирования; в работе [2] лично автором разработаны принципы организации блокировок элементов при выполнении параллельных процессов, а также семантика Call- и Wait-операторов языка SCP; в работе [3] лично автором разработаны концепция и номенклатура операторов синхронизации и порождения процессов графового процедурного языка параллельного программирования SCP; в работе [5] автору принадлежит описание архитектуры и принципов реализации инструментально-технологических средств проектирования интеллектуальных обучающих систем на основе графодинамической парадигмы. в работе [9] лично автором разработаны основные теоретические модели и методы организации параллелизма в графодинамической памяти.

Структура и объем работы. Работа включает в себя введение, 4 главы, заключение, список использованных источников и 3 приложения. Общий объем основного текста - 95 стр., включая 8 рисунков. Список использованных источников содержит 118 наименований.

Заключение диссертации по теме «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», Гапонов, Павел Анатольевич

4.4. Выводы

1. Разработана интегрированная инструментальная среда визуального программирования параллельных систем на базе графовых языков БС и 8СР. Ее основные отличительные особенности:

• представление как информации, так и метаинформации, а также вспомогательных (системных) информационных конструкций производится в рамках единой модели (языка БС). Это обеспечивает технологичность всех стадий жизненного цикла разработки за счет унификации и стандартизации (и, следовательно, возможности повторного использования) алгоритмов обработки и структур данных в системе;

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

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

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

Почти все современные методологии проектирования программного обеспечения [38,39,117,118] включают структурную визуализацию создаваемой системы на различных уровнях абстракции. Однако, хотя они и признают графику в качестве инструмента, ни одна из них не использует графику в качестве всеобъемлющего проектного механизма столь же формально, как это делается в предлагаемой среде (приблизительным аналогом могут служить САПР аппаратуры).

2. Практически реализованы и экспериментально апробированы модели и методы параллельной организации вычислительного процесса, описанные в гл.2-3.

87

ЗАКЛЮЧЕНИЕ

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

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

2. Разработаны информационные конструкции и алгоритмы синхронизации параллельных процессов в графодинамической ассоциативной памяти (в рамках исследованных моделей транзакций).

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

4. Разработана и реализована в среде MS Windows система параллельного визуального программирования на графовых языках и инструментальные средства визуального проектирования прикладных интеллектуальных систем на ее основе.

5. Разработаны и реализованы в среде INMOS ANSI С Toolset архитектура и алгоритмы функционирования базовых компонент операционной системы графодинамичеекого параллельного ассоциативного компьютера.

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

Список литературы диссертационного исследования кандидат технических наук Гапонов, Павел Анатольевич, 2000 год

1. Голенков B.B., Гулякина H.A., Татаренко B.A., Гапонов П.А., Кузьмицкий В.М. Описание семантики языка SCPas. Операторы поиска и проверки условий. Операторы управления вычислительным процессом. Мн.: ИТК АНБ, 1994. - 98 с.

2. Голенков В В., Гулякина Н.А., Королев В.Г., Гапонов П.А., Ногина Н.Э. Описание языка SCPas. Операторы управления вычислительным процессом. Примеры программ. Минск, 1994. -36 с. (Препринт /ИТК АН Беларуси; N 11).

3. Елисеева О.Е., Гапонов П.А. Интеллектуальные обучающие системы: архитектура и способы реализации. //Интеллектуальные системы. /Под ред. А.М.Крота. -Вып. 2. -Мн.: ИТК АНБ, 1999. с.115-125.

4. Гапонов П.А. Методы организации параллельной переработки информации в ассоциативной памяти //Интеллектуальные системы. /Под ред. А.М.Крота. -Вып. 1. -Мн.: ИТК АНБ, 1998,- с. 167-179.

5. Гапонов П.А. Метамодель транзакций. //Международная школа-семинар по искусственному интеллекту (БРАСЛАВ-99): Сб. трудов. Мн.: БГУИР, 1999. -с. 183-191.

6. Дорфман В.Ф., Иванов Л.В. ЭВМ и ее элементы. Развитие и оптимизация. М. Радио и связь, 1988. - 240 с.

7. Шпаковский Г.И. Архитектура параллельных ЭВМ. -Мн.: Университетское, 1989. 192 с.

8. Аляутдинов Д.А., Далевич А.Н. Параллельный Си. (Parailel С) /Под ред. В.К.Левина. М.: Изд. МАИ, 1991. -112 с. - (Математическое обеспечение и программирование для многопроцессорных систем: Вып. 5)

9. Хоар Ч. Взаимодействующие последовательные процессы: Пер. с англ. М.:Мир, 1989.-264 с.

10. Клир Дж. Системология. Автоматизация решения системных задач /Пер. с англ. -М.: Радио и связь, 1990. -544 с.89

11. Джоунз Г. Программирование на языке Оккам /Пер. с англ.- М.:Мир, 1989 206 с.

12. Городецкий В.И., Грушинский М.С., Хабалов А.В. Многоагентные системы (обзор). //Новости искусственного интеллекта. -1998. № 2. - с. 65-118.

13. Nevins J.L., Whitney D. Е. Concurrent Design of Products and Processes. McGraw-Hill, New York, 1989. - 268 p.

14. Eversheim W. et.al. Simultaneous Engineering. Erfahrungen aus der Industrie fuer die Industrie. Springer-Verlag, 1995. - 264 p.

15. Цаленко М.Ш. Моделирование семантики в базах данных. М.: Наука. Гл. ред. физ.-мат. лит., 1989. - 288 с.

16. Системы баз данных третьего поколения: манифест (Комитет по развитию функциональных возможностей СУБД). //СУБД,- N 2,- 1995,- с. 143-159.

17. Пятая национальная конференция по искусственному интеллекту //Новости искусственного интеллекта. 1996. -N 3,- с. 105-150.

18. Dayal U. е. a. Third Generation TP Monitors: A Database Challenge. //Proe. of the ACM SIGMOD.- 1993.

19. Trends in cooperative distributed problem solving /Durfee E.H., Lesser V.R., Corkill D. D. //IEEE Trans. Knowledge and Data Eng. 1989. - Vol. 1. - N 1P.63-83.

20. O'Hare G.M., Jennings N. Foundations of Distributed Artificial Intelligence.— New York: J.Wiley and Sons, 1996.

21. Software Agents and Soft Computing: Concepts and Applications. Lectures Notes in Artificial Intelligence. Vol. 1198/ Ed. by H.S.Nwana and N.Azarmi. — Berlin: Springer Verlag, 1997.

22. Мотоока Т. и др. Компьютеры на СБИС: в 2-х кн. /Пер.е япон. М.: Мир, 1988. 392+336 с.

23. Майерс Г. Архитектура современных ЭВМ. В 2-х кн. Пер. с англ. /Под ред. к.т.н. В.КЛотоцкого. -М.: Мир, 1985.- 364 с.

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

25. Озкарахан Э. Машины баз данных и управление базами данных. М.: Мир, 1989. -696 с.

26. Дейт К. Дж. Введение в системы баз данных. /Пер. с англ. К.: Диалектика, 1998. -784 с.

27. Кутепов В.П. Об интеллектуальных компьютерах и больших компьютерных системах нового поколения. //Теория и системы управления. 1996. - № 5. - с.97-114.

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

29. Moldovan D., Lee W., Lin С., Chung M. SNAP: Parallel Processing Applied to AI //Computer. May 1992. - P.39-49.

30. Органик Э. Организация системы Интел 432. /Пер. с англ. М.: Мир, 1987,- 446 с.

31. Котов В.Е. МАРС: Архитектуры и языки для реализации параллелизма, модульности и программируемости //Системная информатика. Вып. 1. Проблемы современного программирования. -Новосибирск: Наука. Сиб. отд-ние, 1991. с. 174-194.

32. Митчелл Д.А.П., Томпсон Дж.А., Мансон Г.А., Брукс Г.Р. Внутри транспьютера: Пер. с англ. М.: Мейкер, 1993. -206 с.

33. Голенков В.В. Графодинамические методы и средства параллельной асинхронной переработки информации в интеллектуальных системах.- Мн.: БГУИР, 1996,- 295с.

34. Хорошевский В.Ф. Pies-технология и инструментарий Pies Workbench для разработки систем, основанных на знаниях. //Новости искусственного интеллекта.-1995,-№2. -с.7-65.

35. Калянов Г.Н. CASE структурный системный анализ (автоматизация и применение). -М.: Изд. "ЛОРИ", 1996. -242 с.

36. Голенков В В., Гулякина Н.А., Елисеева О.Е. Описание языка SCP. Мн. ИТК АНБ, 1995. - 152 с.

37. Вальковский В.А., Малышкин В.Э. Элементы современного программирования в суперЭВМ. Новосибирск: Наука. Сиб. отд-ние, 1990. -143 с.

38. Задыхайло И.Б., Зеленецкий С.Д. Механизмы синхронизации в языках параллельного программирования (обзор) //Техн. Кибернетика. -1985. N 5. с.129-174.

39. Шэнк Д. Технология клиент/сервер и ее приложения. Руководство Novell.- М. "ЛОРИ", 1995,-418 с.

40. Цикритзис Д., Бернстайн Ф. Операционные системы. -М.: Мир, 1977. -336 с.

41. Гринев М. Анализ механизмов удаленного вызова процедур. //СУБД. 1998. - № 1-2.

42. Agha G., Wegner P., Yonezawa A. Research Directions in Concurrent OO Programming. MIT Press, Cambridge, Mass., 1993.

43. Papathomas M. Concurrency Issue in Object-Oriented Languages //Object-Oriented Development/Ed. D. Tsichritzis. Geneve. 1989.

44. Claude P. Synchronous С++: A Language for interactive applications. IEEE Computer, October 1998, pp. 65-72.

45. Agha G., Hewitt G. Concurrent Programming Using Actors //Object-Oriented Concurrent Programming. Cambridge: MIT Press, 1987.

46. Hewitt N.E. Apairy Multiprocessor Architecture Knowledge system, 1988. (Univ. of Newcastle upon Oone Report).

47. Bronnenberg W. POOL and DOOM: A Survey of Esprit 415 Subproject A //Lecture Notes in Computer Science. 1989. Vol. 365.

48. Лельчук Т.И. Параллельные объектно-ориентированные языки // Системная информатика. Вып. 1. Проблемы современного программирования. Новосибирск: Наука. Сиб. отд-ние, 1991.-е. 195-229.

49. Тарасов В.Б. Агенты, многоагентные системы, виртуальные сообщества: стратегическое направление в информатике и искусственном интеллекте. //Новости искусственного интеллекта. 1998- № 2. - с.5-64.

50. Lesser V.R. Reflections on the Nature of Multi-Agent Coordination and Its Implications for an Agent Architecture. //Autonomous Agents and Multi-Agent Systems. 1998. -№1.- p. 89-111. - Kluwer Academic Publishers, 1998.

51. Sutton S.M., Jr., Osterweil L.J. The design of a next-generation process language. //Proc. Joint 6th Eur. Software Eng. Conf. and the 5th ACM SIGSOFT Symp. on Found, of Software Eng., Springer-Verlag: Zurich, Switzerland, 1997.

52. Поспелов Д.А. От коллектива автоматов к мультиагентным системам // Труды Международного семинара «Распределенный искусственный интеллект и многоагентные системы» (DAIMAS'97, Санкт-Петербург, Россия, 15-18 июня 1997).-с.319-325.

53. Tannenbaum A. S. Distributed Operating Systems Prentice-Hall, Englewood Cliffs, NJ, 1995.

54. Gray J. The Transaction Concept: Virtues and Limitations. Proc. 7th Int. Conf. on Very Large Data Bases, Cannes, France, September 1981, pp. 144-154.

55. Gray J., Reuter A. Transaction Processing: Concepts and Techniques. San Francisco: Morgan Kaufmann Publishers, 1993.

56. Moss J.E.B. Nested Transactions: An Approach to Reliable Computing. LCS-TR-260, Massachusetts Institute of Technology, Cambridg, MA, 1981.

57. Саймон А. Обработка транзакций. //СУБД. -1997. № 2. - e.70-82.

58. Elmagarmid A. K. (ed.). Transaction Models for Advanced Database Applications. San Mateo, CA: Morgan Kaufmann, 1992.

59. Korth H.F., Levy E., Silbersehatz A. A Formal Approach to Recovery by Compensating Transactions. In Proceedings of the 16th International Conference on VLDB, 1990.

60. Krychniak P., Rusinkiewicz M., Sheth A., and Thomas G. Bounding the Effects of Compensation under Relaxed Multi-level Serializability. Technical Report UH-CS-92-06, Dept. of Computer Science, University of Houston, March 1992.

61. Garcia-Molina H, Salem K., Gawlick D., Klein J., and Kleissner K. Modeling Long-Running Activities as Nested Sagas. Data Engineering Bulletin, 14(1), March 1991.

62. Elmagarmid A. K., Leu Y., Litwin W., Rusinkiewicz M. A Multidatabase Transaction Model for Interbase. In Proceedings of the 16th International Conference on VLDB, 1990.

63. Gray J.N. Notes on Data Base Operating Systems. In Operating Systems: An Advanced Course, R. Bayer, R.M. Graham, and G. Seegmuller (eds.). New York: Springer-Verlag, 1979, pp. 393-481.

64. Ершов А.П. Будущее искусственного интеллекта. -М.: Наука, 1991 302 с.

65. Noll J., Scacchi W. Integrating Diverse Information Repositories. A Distributed Hypertext Approach.// IEEE Computer.-1991,- December.- p.38-44.

66. Саймон А. Репозитории и управление метаданными. //СУБД,-1996,- № 5-6,- с. 154162.

67. Weihl W. Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types. ACM Trans. Prog. Lang. Syst, April 1989, 11(2), pp. 249 281.

68. Wegner P. Dimensions of Object-Based Language Design // Proe. of OOPSLA 87, ACM. 1987.

69. Пентковский B.M. Язык программирования Эль-76. Принципы построения языка и руководство к пользованию. 2-е изд. испр. и доп. - М.: Наука. Гл. ред. физ.-мат. лит., 1989 (Б-чка программиста).

70. Голенков В.В. Параллельный графовый компьютер (PGC), ориентированный на решение задач искусственного интеллекта, и его применение. Минск, 1994. - 60 с. (Препринт / Ин-т техн. Кибернетики АН Беларуси; № 2).

71. Голенков В.В. Описание графового языка SC. Мн.: ИТК АНБ, 1994. - 86 с.

72. Петров С.В. Графовые грамматики и их применение к анализу сложных систем. Дисс. на соиск. уч. степ, к.ф.-м.н. Спец. 05.13.02 теория систем, теория автоматического регулирования и управления и системный анализ - Москва, 1980. -141 с.

73. Голенков В.В., Гулякина Н.А., Королев В.Г., Татаренко В.А., Елисеева О.Е. Описание языка SCPas. Операторы преобразования состояния SC-графа,- Минск, 1994,- 44 с. (Препринт / Ин-т техн. Кибернетики АН Беларуси; N 7).92

74. Голенков ВВ., Гулякина Н.А., Кузьмицкий В.М., Малевич И.Е., Соловьев А.С. Описание языка SCPas. Операторы поиска и проверки условий. Минск, 1994,- 32 с. (Препринт / Ин-т техн. кибернетики АН Беларуси; N 9).

75. Голенков В.В., Гулякина Н.А., Малевич И.Е. Описание языка SCPbs (Материалы по математическому обеспечению ЭВМ). Минск: Ин-т техн. кибернетики АН Беларуси, 1995. - 90 с.

76. Вагин В.Н. Дедукция и обобщение в системах принятия решений. М.: Наука, 1988. - 384с.

77. Беренсон X. и др. Критика уровней изолированности в стандарте ANSI SQL. //СУБД,- 1996,- N 2,- с. 45-60.

78. Gray J.N., Lorie R A., Putzolu G.R. Granularity of locks in Large Shared Data Base // Proc. 1st Int. Conf. on Very Large Data Bases.- Framingham, Mass., 1975.

79. Bernstein P.A., Goodman N. Timestamp-based Algorithms for Concurrency Control in Distributed Database Systems // Proc. 6th Intern. Conf. on VLDB. Montreal, Canada, 1980.

80. Franaszek P., Robinson J.T. Thomasian A. Concurrency Control for High Contention Environments // ACM TODS. -1992. -17, № 2.

81. Олифер H.A., Олифер В.Г. Сетевые операционные системы. http://www.citforuni.ru

82. Дансмур М., Дейвис Г. Операционная система UNIX и программирование на языке Си. Пер. с англ. М.: "Радио и связь", 1989. -192 с.

83. Сафонов В.О. Языки и методы программирования в системе ЭЛЬБРУС /Под ред. С.С.Лаврова. М.: Наука. Гл. ред. физ.-мат. лит., 1989. - 392 с.

84. Рамодин Д. Новая модель событий в JDK 1.1 // Мир ПК,- 1997.- N 12,- С.32-36.

85. JAVA как центр архипелага. Принципы построения распределенных информационных систем. II Информационные материалы.- М: Jet Infosystems, 1998.

86. Арлазаров В.Л. и др. Взаимодействие и синхронизация процессов. //Многопроцессорные вычислительные системы,- М.: Наука, 1975,-144 с.

87. Шуленин В.A. Microsoft SQL Server 6.5. Обзор основных возможностей. //СУБД,-1997,-N 1.-е. 30-50.

88. Шнитман В., Кузнецов С. Серверы корпоративных БД. http://www.citforum.ru/win/ database/skbd/, 1997.

89. Сиколенко В.В. Сервер Oracle: текущее состояние. //СУБД,- 1997.-N 1,- с.4-22.

90. Jacobs R. Oracle server V2, 3. 7.0, 7.1. and Counting. //EOUG Oracle User Forum 94, 17-20 April 1994, Maastriht, The Netherlands.

91. Ладыженский Г.М. Системы управления базами данных коротко о главном. //СУБД,- 1995.-N4,- с. 123-141.

92. Weikum G., Schek H.-J. Concepts and Applications of Multilevel Transactions and Open Nested Transactions. //Elmagarmid A. K., ed. Transaction Models for Advanced Database Applications. Morgan-Kaufmann, February 1992.

93. Калиниченко Л.А., Рывкин B.M. Машины баз данных и знаний,- М.: Наука, 1990. -296 с.

94. Красюк П.П. Borland InterBase Workgroup Server Version 4.0. //СУБД,- 1995,- №2,-c.88-94.93

95. Рузинкевич М., Цикоцки А. Определение и выполнение потоков транзакций. Department of Computer Science University of Houston, Houston, TX 77204-3475. //СУБД,- 1995.-N 2.-c.l06-115;N 4,- c.58-68.

96. Ansari M., Ness L., Rusinkiewicz ML, Sheth A. Using Flexible Transactions to Support Multisystem Telecommunication Applications. //Proc. of the 18th Int. Conference on Very Large Data Bases, August 1992.

97. Крюков В.А. Анализ принципов объектно-ориентированного программирования. //Микропроцессорные средства и системы,- 1988 N 2.- с.7-13.

98. Booeh G. Objectifying Information Technology, http://www.rational.com /techjpapers/. -1998.

99. Rumbaugh J. Disinherited! Examples of Misuse of Inheritance, http:// www.rational.com/techpapers/omt/. 1998.

100. Дубина Д.Г. Объектно-ориентированное проектирование. http://www.mmlab. ectpu. edu.ru/dubina/.- 1997.

101. Шапиро Э., Такеути А. Объектно-ориентированное программирование в Параллельный Прологе. //Язык Пролог в пятом поколении ЭВМ. М.: Мир, - 1988-с.71-103.

102. Братко И. Программирование на языке Пролог для искусственного интеллекта: Пер. с англ.- М.: Мир, 1990. 560 с.

103. Пильщиков В.Н. Язык плэнер. М.Наука. Гл. ред. физ.-мат. лит., 1983. - 208 с.

104. Попов Э.В. и др. Статические и динамические экспертные системы. М: Финансы и статистика, 1996,- 320 с.

105. Искусственный интеллект: В 3 кн. Кн. 3. Программные и аппаратные средства: Справочник /Под ред. В.Н.Захарова, В.Ф.Хорошевского. М.: Радио и связь, 1990. -368 с.

106. Хювенен Э., Сеппянен Й. Мир Лиспа. В 2-х т. Т.2. Методы и системы программирования. Пер. с финск. М.: Мир, 1990. - 319 с.

107. Krychniak P., Rusinkiewicz М., Sheth A., and Thomas G. Bounding the Effects of Compensation under Relaxed Multi-level Serializability, Technical Report UH-CS-92-06, Dept. of Computer Science, University of Houston, March 1992.

108. Карпов Ю.Г., Борщев A.B., Рудаков В В. О корректности параллельных алгоритмов. //Программирование. № 4,-1996,- с.5-17.

109. Кокорева Л.В., Перевозчикова О.Л., Ющенко К.Л. Диалоговые системы и представление знаний. К.: Наукова думка, -1993. - 448 с.

110. Рыбина Г.В. Задачно-ориентированная методология автоматизированного построения интегрированных экспертных систем для статических проблемных областей. //Известия РАН. Теория и системы управления. 1997,- N 5.

111. Rumbaugh J. et al. Object-Oriented Modeling and Design. Prentice-Hall Inc., Englewood Cliffs, New Jersey 07632,1991.- 500 p.