Графическая инструментальная среда для визуального построения и применения пакетов программ

• Автор: Феоктистов, Александр Геннадьевич
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 2000
• Место защиты: Иркутск
• Количество страниц: 148 с. : ил.

1.1. Символьная модель проблемной области в системе ВИЗИТ.

1.2. Графическая модель проблемной области в системе ВИЗИТ

1.2.1. Графический бязык описания пакетных знаний

1.2.2. Расширение базового набора символов вязыка

1.2.3.1рафическая модель проблемной области в рамках конструктора

пакета

1.2.4. Графическая модель проблемной области в рамках монитора

пакета

1.3. Алгоритмы построения структурных схем процессоров

1.3.1. Алгоритм А1

1.3.2. Алгоритм А2

1.3.3. Алгоритм АЗ
1.3.4. Алгоритм А4
1.3.5. Алгоритм А5
Глава 2. Конкретизация структурных схем
2.1. Основные понятия и определения.
2.2. Интерпретатор частичных вычислений.
2.2.1. Блок интерпретации.
2.2.2. Блок конкретизации.
2.3. Конкретизация структурных схем на основе смешанных вычислений
2.3.1. Конкретизация структурных схем абстрактных программ на основе смешанных вычислений
2.3.2. Конкретизация структурных схем абстрактных программ на основе специализации.
2.3.3. Конкретизация структурных схем процессоров.
Глава 3. Архитектура системы ВИЗИТ.
3.1. Графический конструктор пакета.
3.1.1. Библиотекарь пиктограмм
3.1.2. Графический интерфейс с базовым языком программирования.
3.1.3. Библиотекарь структурных схем
3.1.4. Конструктор библиотек проблемных модулей.
3.1.5. Конструктор схем проблемной области
3.1.6. Конструктор монитора пакета.
3.2. Графический монитор пакета.
3.2.1. Визуальный постановщик задач
3.2.2. Визуальный планировщик структурных схем абстрактных программ
3.2.3. Исполнительная подсистема.
3.3. Некоторые аспекты программной реализации системы ВИЗИТ.
Глава 4. Применение системы ВИЗИТ для разработки пакетов программ
4.1. Графический пакет программ ЯРЕСТВ для вычисления собственных значений и векторов с использованием библиотеки Е1ЯРАСК.
4.2. Машинное моделирование цифровых автоматических систем управления летательных аппаратов с блочным описанием динамики функционирования
4.2.1. Система ВИЗИТ как средство автоматизации машинного моделирования цифровых автоматических систем
4.2.2. Пакет программ машинного моделирования системы угловой стабилизации летательного аппарата с БЦВМ.
Заключение.
Список литературы


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