автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.13, диссертация на тему:Средства непосредственной интерпретации языка ЛИСП в мультимикропроцессорной вычислительной системе

ВВЕДЕНИЕ

ГЛАВА I. ПРЯМАЯ ИНТЕРПРЕТАЦИЯ ЯЗЫКОВ ПРОГРАММИРОВАНИЯ

ВЫСОКОГО УРОВНЯ.

1.1. Языки программирования высокого уровня, реализуемые в системах с прямой интерпретацией.

1.2. Электронные вычислительные машины с прямой интерпретацией языков обработки списков.

1.3. Взаимосвязь архитектуры электронных вычислительных машин с непосредственной интерпретацией (ЭВМ

НИ) с языками программирования высокого уровня.

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

СПИСКОВ И ИХ РЕАЛИЗАЦИЯ.

2.1. Мультимикропроцессорные средства для реализации рекурсивных языков обработки списков. Распределение функций ЛИСП-системы мевду процессорными модулями.

2.2. Организация ввода-вывода в ЛИСП-системе.

2.3. Языковые средства системы.

2.3.1. Лексический анализатор языка обработки списков.

2.3.2. Процессор интерпретации.

2.4. Управление памятью в системах со списковой организацией данных.

2.5. Способы обмена информацией между модулями системы.

ГЛАВА 3. ВОПРОСЫ ПРИМЕНЕНИЯ ЛИСП-СИСТЕМЫ.

3.1. Организация диалоговых режимов в системах принятия решений и тренажерах.

3.1.1. Режим диалога б системах принятия решений

3.1.2. Тренажерная система для обработки и совершенствования навыков управления сложными объектами

3.2. Параллельная интерпретация языков программирования высокого уровня .III

ОСНОВНЫЙ РЕЗУЛЬТАТЫ.

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

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

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

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

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

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

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

К сожалению, преимущества языка обработки списков ЛИСП вызывают некоторые трудности в процессе его интерпретации или компиляции на общепринятых ЭВМ.

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

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

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

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

Для достижения поставленной цели решаются следующие задачи:

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

- Разработка принципов построения структур мультимикропро-цессорных систем ММПС с прямой интерпретацией и организации вычислительных процессов в них.

- Разработка программ математического обеспечения ММПС прямого выполнения, ориентированных на реализацию языка программирования обработки списков ЛИСП.

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

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

Диссертация состоит из трех глав.

В первой главе проведен анализ существующих ЛИСП-ЭВМ, С прямой интерпретацией, рассмотрены вопросы взаимосвязи архитектуры системы с языками программирования.

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

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

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

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

Вычислительные системы с непосредственным выполнением ЯВУ были предложены в конце 60-х и в начале 70-х годов. Первоначально они были созданы для микропрограммных ЭВМ, в которых эмулировались операторы языков программирования высокого уровня, например, Фортрана, Кобола, Алгола, Снобола, АЛЛ. До настоящего времени, непосредственная реализация ШВУ развелась двумя способами. Первый - состоит в том, что программная и аппаратная части разрабатывались одновременно и независимо, т.е. конструировался какой-то язык высокого уровня, который затем реализовался на некоторой структуре. Примером послужить может система, разработанная в американском государствеьшом университете, которая состоит из 8-ми процессоров: транслятора, ЦП, супервизора, контроллера памяти, памяти, интерфейса,- контроллеров, шины и дисков.

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

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

Реализация языка ЛИСП с использованием мультимикропроцес-сорной системы, хотя и связанны с определенными сложностями, однако позволяет увеличить скорость процесса интерпретации за счет распараллеливания.

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

Следует отметить, что при определении структуры ВСПИ существенное значение имеет количество используемых процессоров.

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

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

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

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

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

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

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

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

На защиту выносятся следующие основные положения диссертации:

- структуры мультимикропроцессорных Э-ВМ с прямой интерпретацией и принципы организации вычислительных процессов в них.

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

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

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

Практическая ценность и реализация результатов работы.

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

Апробация. Основные положения и результаты диссертации докладывались и обсуждались на:

- республиканском семинаре "Математическое обеспечение систем реального времени", Киев, декабрь 1983 г.;

- научно-технической конференции "Повышение квалификации зарубежных выпускников ДЛИ", Донецк, май 1983 г.;

- научных семинарах кафедры вычислительной техники КПИ, Киев, 1981-1984 г.г.;

- научных семинарах кафедры технической эксплуатации электрооборудований летальных аппаратов, КИИГА, Киев, 1983-1984г.г.

Публикации. Результаты диссертационной работы представлены в 5 научных работах, из которых $ опубликованы и <2 находятся в печати.

Структура и объем работы. Диссертационная работа состоит из введения, трех глав и заключается, и содержит 498 страниц, Н5 рисунков, Л таблиц, список цитируемой литературы из -{Щ наименований и приложений.

ОСНОВНЫЕ РЕЗУЛЬТАТЫ РАБОТЫ

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

2. В результате анализа возможностей непосредственной интерпретации языка обработки списков ЛИСП предлагается способ реализации этого языка в мультипроцессорной системе с мультимодульной, распределенной операционной системой.

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

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

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

Показана практическая целесообразность применения диалоговых ЛИСП-систем:

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

Показано, что применение ЛИСП-системы в тренажерах позволяет существенно повысить скорость приобретения навыков обучаемого.

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

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

Полученные научные результаты и выводы могут быть использованы:

- в диалоговых системах принятия решений при управлении сложными объектами;

- в тренажерах для обработки навыков управления сложными объектами;

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

1. Александров А.Д., Федоров С.М. Системы цифрового управления самолетом. М.: Машиностроение, 1983, с.222.

2. Алексеенко Е.А. Исследование и разработка диалоговой программно-технической системы, ориентированной на автоматизированное обслуживание и обучение. Автореферат диссертации на соискание ученой степени канд.техн.наук.-Киев, 1978, с.20.

3. Аткисон Р. Человеческая память и процесс обучения. -М.: Прогресс, 1980, с.526.

4. Афанасев В.Я., Скороходько З.Ф., Стогний A.A. Применение и реализация диалогового режима в автоматизированных информационных системах.- Управляющие системы и машины, 1974, PI,с.14-26.

5. Бедрековский М.А,, Волга В.В., Кручанкин Н.С. Микропроцессоры. М.: Радио и связь, 1981, с.92.

6. Белецкий Р.И., Палагин A.B., Сигалов В.И. Управляющий мультипроцессор с распределенной операционной системой. Кибернетика, 1981, №6, с.138-139.

7. Белов В.Н., Брановицкий В.И., Гецко Л.Н. и др. Система для решения некоторых задач искусственного интеллекта. В кн.: Проблемы использования систем управления базами данных.-Киев, ИК АН УССР, 1979, с.61-72.

8. Боянов К.Л., Кисимов B.C. Мультимикропроцессорная архитектура с непосредственной интерпретацией языков высокого уровня, Управляющие системы и машины, 1981, №1, с.32-36.

9. Большакова Е.И. Верификация и синтезг программ на языке ЛИСП. Некоторые вопр.прикл.мат. и програм.обеспечения ЭВМ. М.: 1982, с.75-80.

10. Брановицкий В.И. Вопросы исследования диалоговых систем,ориентированных на массового пользователя. Автореферат диссертации на соискание ученой степени канд.техн.наук.-Киев: йн-т Кибернетики АН УССР, 1975, с.26.

11. Брановицкий В.й. Диалог "человек-ЭВМ" и его роль в решении народнохозяйственных задач. Знание Украинской ССР,-Киев, 1980, с.20.

12. Брановицкий В.й., Гецко Л.Н. Вопросы организации генерирующих обучающих систем /на базе ППП ПРОЛОГ-ЕС/. Управляющие системы и машины, 1983, №4, с.75-81.

13. Брановицкий В.И. Диалог и диалоговые системы человеко-машинные системы, об-во знание РСФСР, 1977, с.18-23.

14. Брановицкий В.й., Гецко Л.Н. Перспективы исспользования методов искусственного интеллекта в тренажерах. В кн.: Тез. докл. I Всесоюзн.научн.-техн.семинара "Тренажеры в формировании профессиональных навыков специалистов". -М.: 1979, с.54-55.

15. Брябрин В.М. Диалоговый режим при решении задач Искусственного Интеллекта. Управляющие системы и машины, 1974, №1,с.33-37.

16. Брябрин В.М., Поспелов Д.А. Проблемы построения диалоговых систем для общения с системами Искусственного Интеллекта. Человеко-машинные системы. М, МД, НТП, 1977, с.3-18.

17. Брябрин В.М. Диалоговая информационная логическая система /ДИЛОС/ В кн.: Семиотика и информатика, Вып.9, 1978, с.

18. Викторов О.В. Методические указания по системно^ программированию Киев, КПИ, 1982, 24 с.

19. Вилкас Э.Й. Маймикас Е.З. К проблеме сложных решений /постановки и подходы/. Журн. Кибернетика, АН УССР, 1968, Р5,с.68-73.

20. Виноград Т. Программа, понимающая естественный язык. М.: Мир, 1976, с.294.

21. Востриков З.П. Матин С.Т. Курс оперативного обслуживания ОС ВС ЭВМ М.: Наука, 1983, с.248.

22. Гагарский К.П., Шейнин Ю.Е. Анализ характеристик списковой организации памяти. В кн.: Межвуз.сб.ленингр.ин-т авиац. приборостр., 1982, №154, с.28-32.

23. Гераскин В.Т. Диалоговая система ТУЗ концепции, возможности, приказы - М., ин-т прикладной математики им.М.В. Келдыша, 1982, с.70.

24. Герасимов H.A., Полищук В.Н. Разработка программного обеспечения адаптивных диалоговых систем. Программирование, 1982, №4, с.44-53.

25. Гладун В.П. Эвристический поиск в сложных средах Киев, Наукова думка, 1977, с.166.

26. Гладун В.П., Вещенко Н.Д. Адаптация в решающих системах, журн.Кибернетика, 1979, №2, с.83-89.

27. Глушков В.М., Довгялло A.M., Рабинович 3.JI., Стогний А.А, Диалог, управляемый вычислительной машиной. Управляющие системыи машины. 1974, №6, с.1-3.

28. Глушков В.М. Диалог с вычислительной машины: современные возможности и перспективы. Управляющие системы и машины, 1974, №1, с.3-7.

29. Глушков В.М., Врановицкий В.И., Довгялло A.M., Рабинович 3.JI., Стогний A.A. Человек и вычислительная техника. -Киев: Наукова думка, 1971, с.291.

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

31. Гречко В.О., Темперанский В.А., Токарева Г.В. Диалоговал проблемно-ориентированная система анализа сложных объектов, Управляющие системы и машины, 1982, № , с.92-96.

32. Григорьев В.Л. Программное обеспечение микропроцессорных систем. М.: Энергоатомиздат, 1983, c.2Q6.

33. Грис Д. Конструирование компиляторов для цифровых вычислительных машин. М.: Мир, 1975, с.544.33, 33, Горн Л.С., Хазанов Б.И., Хазанов Д.Б, Микропроцессоры в приборах для радиопроцессорных измерений. М.: Атомиздат, 1979, с,ПО.

34. Девис У. Операционные системы. Функциональный подход.-М.: Мир, 1980, с.436.

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

36. Диксон Дж. Проектирование систем: изобретательство, анализ и принятие решений М.: Мир, 1969, с.

37. Довгялло A.M. Диалог пользователя и ЭВМ и место средств Искусственного Интеллекта в его реализации. Журн. Кибернетика, 1979, №2, с.102-108.

38. Довгялло A.M. Диалог пользователя и ЭВМ. Основы проектирования и реализации -Киев: Наукова думка, 1981, с.238.

39. Довгялло A.M., йценко Е.Л. Системы для обучения и решения задач в режиме диалога. Журн. Кибернетика, 1973, №3, с.

40. Дроздов Е.А., Комарницкий В.А., Пятибратов А.П. Электронные вычислительные машины единной системы. -М.: Машиностроение,1981, с.648.

41. Ефимов Е.И. Решатели интеллектуальных задач. М.: Наука,1982, с.316.

42. Зиссос Д. Проектирование систем на микропроцессорах -Киев: Техника, 1982, с.176.

43. Зелковиц М., Шоу А., Гэннон Дж. Принципы разработки программного обеспечения. -М.: Мир, 1982, с.368.

44. Иванысов A.B., Чусов В.В., Полищук В.К. Об автоматизации проектирования диалоговых систем с использованием средств управления базами данных. Диалог и информационные системы, 1982, №3, с.24-39.

45. Каган В.М., Сташин В.В. Микропроцессоры в цифровых системах М.: Энергия, 1979, с.192.

46. Квиттнер П. Задачи, программы, вычисления, результаты М.; Мир, 1980, сЛ19-165.

47. Кейн В.М., Красов А.й. Применение автоматизированных систем для управления воздушным движением. -М.: Транспорт, 1979, с.

48. Калчев A.B. Многопроцессорные системы с программируемой архитектурой и микропроцессоры с программируемой структурой. Ин-т теор.и прикл. мех. СО АН СССР. Препр., 1981, №46, с.34-42.

49. Клингман 3. Проектирование микропроцессорных систем -М.: Мир, 1980, с.576.

50. Клыков Ю.И. Диалоговая автоматизированная система принятия решений /ДАСПР/. В кн.: Проблемы принятия решений. М.: Наука, 1976, с.300-308.

51. Клыков Ю.И., Горьков JI.H. Банки данных для принятия решений. М.: Сов.радио, 1980, с.

52. Клыков Ю.И. Ситуационное управление большими системами. М.: Энергия, 1974, с.

53. Кузин JI.T., Дубинина В.Г., Мельников Е.й. Интеллектуальная диалоговая система ЙДЙАЛ-О. Интеллек. банки данных. 1982,с.49-55.

54. Кузин JI.T. Основы кибернетики. Том 2 М.: Энергия, 1979, с.

55. Лавров С.С., Сигаладзе Г.С. Автоматическая обработка данных. Язык ЛИСП и его реализация. М.: Наука, 1978, с.186.

56. Ларичев О.И. Человнко- машинные процедуры принятия решений. Журн. Кибернетика. 1971, PI2, с.130-143.

57. Лозовский B.C. 0 некоторых аспектах человеко-машинного диалога. Изв. АН СССР, тех.кибернетика, 1981, с.147-156.

58. Малюножок Г.П. Опыт разработки адаптивных диалоговых систем. Диалог и инф. системы, 1982, 3, с.18-23.

59. Макаров И.М., Озерный В.М., Ястребов А.П. Принятие решений о выборе варианта сложной системы автоматического управления. Журн.Кибернетика. 1971, №3, с.84-91.

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

61. Мартин Дж. Системный анализ передачи данных. Первый том. М.: Мир, 1975, с.256.

62. Маурьер У. Введение в программирование на языке ЛИСП -М.: Мир, 1976, с.104.

63. Нильсон Н. Искусственный интеллект. М.: Мир, 1973,с.

64. Попов Э.В. Общение с ЭВМ на естественном языке. М.: Наука, 1982, с.360.

65. Попов Э.В., Фридман Г.Р. Алгоритмические основы интеллектуальных роботов и Искусственного Интеллекта М.: Наука, 1976, с.

66. Поспелов Г.С., Поспелов Д.А. Проблема диалога в человеко-машинных системах. Вопросы кибернетики М.: Сов.радио, 1977, с.98-113.

67. Прангишвили И.В. Микропроцессоры и микро-ЭВМ. -М.: Энергия, 1979, с.232.

68. Пратт Т. Языки программирования разработка и реализация М.: Мир, 1975, с.256.

69. Прихожий A.A. Метод определения рекурсивно-связанных проблемно-ориентированных диалоговых языков. Вычислительная техника в машиностроении, 1981, №2, с. 138-147.

70. Савельев А.Я. Исследование и разработка методов использования ЭВМ в обучающих системах. Автореферат дис. на соискание ученой степени доктора техн.наук, М., 1972, с.48.

71. Самофалов К.Г., Луцкий Г.М. Структуры и организация функционирования ЭВМ и систем Киев: Вища школа, 1978, с.392.

72. Самофалов К.Г., Викторов О.В., Пустоваров В.И., Салапа-тов В.И. и др. Методические указания по применению научных разработок в учебном процессе кросс-систем и библиотеки для микропроцессоров Киев, КПЙ, 1982, с.

73. Трифонов Н.П., Пасхин E.H. Практикум работы на ЭВМ -М.: Наука, 1982, с.285.

74. Уэзерелл Ч. Этюды для программистов. М.: Мир, 1982, с.286.

75. Хант Э. Искусственный Интеллект. -М.: Мир, 1978,с,

76. Хмельниск С.И. Обработка списков в ЭВМ ЕС. Программирование, 1981, №6, с.54-63.

77. Чачко А.Г., Стаховая Т.М. Представление знаний и формирование решений в практической системе Искусственного Интеллекта. Журн. Кибернетика, 1980, №4, с.99-108.

78. Черных А.Н. Параллельный интерпретатор оперативного языка. Ин-т точ.мех. и вычисл.техн. АН СССР. Препр. 1982, № 4, с.49.

79. Черных А.Н. Параллельная интерпретация оперативного языка в экспериментальной системе программирования. Многопроцессорные вычислительные системы и их математические обеспечения.

80. Новосибирск, 1982, с.124-126.

81. Шоу А. Логическое проектирование операционных систем -М.: Мир, 1981, с.360.

82. Энслоу 3>.Г. Мультипроцессорные системы и параллельные вычисления. М.: Мир, 1976, с.383.

83. Юфа В.М. Развитие системы программирования ЛИСП ВЗСМ-6, обработка символьной информации, вып. I, М.: ВЦ АН СССР, 1973.

84. Ambrozy D. On Man-Computer Dialogue. International J. of Man-Machine Studies, 1971,No.4, p.373-383.

85. Andrew Colin. Programming for microprocessors. Newnes-Butterworth, London, 1979, p.208.

86. Bonar Teffrey G., Levitian Steven P. Real-time LISP using content addressable memory. Proc. Int. Conf. Parallel Process., Aug. 25-28, 1981,New York, N.Y., pp.112-119.

87. Briabrin V.M.,Serebriakov V.A., Yufa V.M., LORD: LISP-oriented Resolver and Data-Base, Advance papers of the Fourth International Joint conf. on Artifical Inteligence, Tbilisi, 1975, v.2.

88. Cay Weitzman. Distributed micro/minicomputer Systems: Structure, Implementiion and Application. Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1980, p.404.

89. Chu Y. High-level Computer Architecture. Computer, July, 1981, pp.7-8.

90. Chu Y. Concepts of HLL Computer Architecture. ACM 75. Proc. Annu. conf., Min-ton, D.C., Neapolis, Minn., 1975, N.Y., pp. 6-13.

91. Chu Y., Marc Abrams. Programming Languages and Direct-Execution Computer Architecture. Computer, July, 1981, pp.22-32.

92. Duncan P.G. Microprocessor programming and software development. Prentice-Hall. University of Bristol, England, 1979, p. 320.

93. Grsline G.W. Computer organization. Hardware/Software. Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1980, p.310.

94. Gurman Adolfo. A heterarchical multi-microprocessor LISP machine. IEEE Comput. Soc. Workshop Comput. Archit. Pattern Anal, and Image Data base Maneg., Hot Springs, Va, Nov. 11-13, 1981, New York, N.Y., 1981, pp.309-317.

95. Guy Lewis Steele,Jr., Gerald Jay Susman, Design of LISP-based Processor, or, SCHEME: A Dielectic LISP, or finite Memories considered Harmful, or, LAMBDA: The ultimate Op Code, Comm. ACM. Vol.23. No.11, Nov., 1980, pp.629-645.

96. Punt Brian V. Problem-Solving with diagramatic representation. Artif. Intel. 1980, 13, No.3, pp.201-230.

97. Hay Louise, Lerson Richard. A Lisp for a micro-computer. Compsac. 79. Proc. IEEE Comput. Soc's 3rd Int. Comput. Software and Appi. Conf., Chicago, III, 1979, New York, N.Y., 1979, pp. 629-630.

98. Hery B. Baker, Jr., List processing in real time on a Serial Computer, Comm. ACM. Vol.21, N0.4, Apr.,1978, pp.280-294.

99. James W. Coffron. Practical Hardware ditails for 8080, 8085, Z80, and 680 Microprocessor Systems. Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1981, p.330.

100. Laurent Siklossy. Let's talk LISP. Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1976, p.238.

101. Marti J., Hearn A.C., Griss M.L., Griss C. Standard LISP report. SIGSAM Bull. 1980, 14, PP.23-43.

102. Masahiro Yomamoto. A survey of HLL Machines in Japan. Computer, July, 1981, pp.68-78.

103. Masayuki Ida, Kontaro Mono. An adaptable LISP machine based on microprocessors. International micro, mini Computer Conf. 25/2/1979, pp.210-215.

104. McKay Donald P., Shapiro Stuart C., Conf. Rec. LISP

105. Conf., Stanford Calif., Aug. 25-27, 1980. Redwood Estates, Calif., 1980, pp.27-29.

106. Rieger Chuck, Rosenberg Jonathan, Samet Hanan. Artificial intelligence programming languages for computer aided manufacturing. IEEE Trans. Syst., Man and Cybern., 1979, 9, Ho.4, pp.205-226.

107. Sheridan Thomas В., Tulga M. Kamil. A model for dynamic allocation of human attention among multiple tasks. Proc. Int. Conf. Cyber, and Soc., Tokyo-Kyoto, Nov., 1978, Vol.2-3, Hew York, H.Y., pp.969-978.

108. Steele Barbara K. Conf. Rec. LISP Conf., Stanford, Calif. Aug. 25-27, 1980. Redwood Estates. Calif., 1980, pp.173-178.

109. Studer Rudi. A dialogue interface for data base application. 6-th Inter. Conf. Very Large Data bases 1980, New York, U.Y., 1980, pp.167-182.

110. Sussman, Holloways, Steel, Bell. Scheme-79-Lisp on a chip. MIT Artificial Intelligence Laboratory. Computer, July, 1981, pp. 10-21.1©9• Titus Ch.A., Titus J.A. Dubg: An 8080 Interpretive Debugger. Howard W. Sams and Co., Inc., USA, 1978, p.110.

111. White Jon L. Conf. Rec. LISP Conf, Stanford, Calif., Aug.25-27, 1980. Redwood Estates, Calif., 1980, pp.119-127.

112. Conference Record of the LISP Conference Stanford, Calif., Aug., 25-27, 1980, Redwood Estates, Calif., 1980, VIII,p.247.

113. Ц2. Монтасер А.А. Об архитектуре ЛИСП-машин прямого выполнения. В кн.: Вестник Киевск. Политехи, ин-та "Автоматика и электроприборостроение", вып.21, Киев, Вища школа, 1984г., с.125.

114. Самофалов К Г., Викторов О.В., Монтасер А.А. Системы языков высокого уровня с непосредственной интерпретацией. Журнал "Иорданский инженер", вып. 32, Амман, 1984, с.30.

115. Викторов O.B., Монтаоер A.A. ЛИСП-ЭВМ с непосредственной интерпретацией. Журнал "Иорданский инженер", вып. 34, Амман, 1984, с.20.