|
Широкое использование АНАЛИТИКа в предметных областях,
выходящих за рамки его первоначальной ориентации, позволило выполнить
дальнейшее развитие языка. Интересным оказалось развитие АНАЛИТИКа
для решения ряда задач искусственного интеллекта [12,26], баз данных
и знаний, а также гипертекста. Результатом разработок в этом направлении
явились языки АНАЛИТИК-РЕЛЯЦИОННЫЙ [20] и АНАЛИТИК-ГИПЕРТЕКСТОВЫЙ
[40], АНАЛИТИК-93 [44] и АНАЛИТИК-2000 [45].
1. АНАЛИТИК-РЕЛЯЦИОННЫЙ
Концепция массива в языке АНАЛИТИК, допускающая разнотипные элементы,
изменяемость размерности и неполное описание массива, позволили
естественным образом дополнить АНАЛИТИК средствами реляционной алгебры.
В расширенном варианте язык позволяет рассматривать отношения как
один из допустимых типов данных и использовать реляционные функции
в выражениях основной программы. Допускается использование в запросах
к базе данных произвольных выражений, содержащих как реляционные
переменные, так и переменные основной программы. Таким образом АНАЛИТИК
становится языком манипулирования данными с мощным аппаратом символьных
и аналитических преобразований, что существенно увеличивает комфортность
и эффективность работы пользователя.
2. АНАЛИТИК-ГИПЕРТЕКСТОВЫЙ
Создание языка АНАЛИТИК-ГИПЕРТЕКСТОВЫЙ оказалось естественным, поскольку
уже в языке АНАЛИТИК-ТЕКСТ [16], а затем АНАЛИТИК-74 [10] и АНАЛИТИК-79
[11] текстовая информация представлялась в виде набора текстовых
выражений с функциональными связями на произвольную глубину (линейный
текст (строка) рассматривается как константа), а в машинах МИР представлялась
в виде сети взаимосвязанных фрагментов, что было прообразом гипертекста.
Заложенные в ЭВМ серии МИР принципы организации человеко-машинного
диалога, будучи для своего времени эффективно технически реализованы,
во многом способствовали формированию основ реализации современных
систем общения с ЭВМ. Возможность оперативного понимания действий
машины, специальные внешние устройста, язык диалога как естественная
часть языка програмирования - все это, несомненно, были элементы
гипертекстовой технологии.
Направления развития этих работ воплотились в первой
отечественной инструментальной гипертекстовой системе ГИПСИ [21].
С использованием инструментальных средств ГИПСИ было создано более
десятка научных, образовательных и презентационных приложений, отмеченных
международной премией.
3. АНАЛИТИК-93, АНАЛИТИК-2000
Эти две системы программирования являются развитием идей интеллектуальной
математической обработки формульной информации, основы которой заложены
в ЭВМ серии МИР.
Основные отличия систем АНАЛИТИК-93 и АНАЛИТИК-2000
от аппаратных систем программирования ЭВМ МИР:
- программная интерпретация языков программирования на современных
персональных ЭВМ;
- оптимизирование алгоритма выполнения аналитических преобразований;
современный интерфейс пользователя;
- развитая система именования объектов и их структурных частей;
наличие средств программного переопределения операций и функций;
- преобразование логических выражений и произвольных текстов. Рассматриваемые
системы по уровню эффективности превосходят распространенные западные
системы.
4. АППАРАТНАЯ РЕАЛИЗАЦИЯ языка управления параллельными
вычислениями в суперЭВМ с макроконвейерной обработкой данных [44,45,46]
В конце 80-х годов в Кибернетическом центре НАН Украины были разработаны
и изготовлены два образца суперЭВМ с макроконвейерной обработкой
данных ЕС-1466. Эта суперЭВМ относились к классу ЭВМ с массовым
параллелизмом и включала в себя 256 процессоров, объединенных коммутационной
сетью, обеспечивающей динамическое соединение процессоров «каждый
с каждым». Процессоры подразделены на два типа: решающие IВМ-подобные
(240 процессоров) и управляющие (16 процессоров). Управляющие процессоры
построены по архитектуре ЭВМ МИР и аппаратно реализуют язык, ориентированный
на описание функций операционной системы, управления распределенными
параллельными вычислениями. Наличие в составе ЭВМ таких управляющих
процессоров обеспечивало оперативное программирование в интерактивном
режиме как общей операционной системы, так и управляющих программ
для конкретных задач, решая тем самым задачу динамической адаптации
структуры ЭВМ к решаемой задаче.
Т.А.Гринченко, В.П.Клименко
|
HTD
© 2003