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

• Автор: Крылов, Дмитрий Александрович
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 2013
• Место защиты: Владивосток
• Количество страниц: 197 с. : ил.

СОДЕРЖАНИЕ
Введение

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

1.1. Основные понятия

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

1.3. Средства разработки облачных программных систем

1.4. Средства разработки облачных интеллектуальных систем

1.5. Выводы из обзора, обоснование цели и задач работы

2. Общая концепция облачной платформы и основные модели

2.1. Проект ІАСРааЗ. Комплекс для разработки и использования интеллектуальных систем на основе облачных вычислений
2.1.1. Основные требования к проекту ІАСРааБ
2.1.2. Основные требования к Платформе ІАСРааБ и её концептуальная архитектура
2.2. Модель информационных ресурсов
2.2.1. Требования
2.2.2. Концепция информационных ресурсов и метаинформации
2.2.3. Информационные ресурсы
2.2.4. Метаинформация
2.3. Модель решателя задач
2.3.1. Вычислительная модель проекта 1АСРаа
2.3.2. Недетерминизм выполнения и задача о правильности результата
2.3.3. Простая последовательная недетерминированная вычислительная модель.
2.3.4. Простая вычислительная модель с параллельными процессами
2.3.5. Применение простой вычислительной модели с параллельными процессами в проекте ІАСРааБ
2.4. Модель интерфейса
2.4.1. Требования
2.4.2. Компоненты модели интерфейса
2.5. Выводы по главе

3. Методы реализации облачной платформы для создания и использования интеллектуальных сервисов
3.1. Общая архитектура платформы 1АСРаа
3.1.1. Проект
3.2. Методы реализации процессора информационных ресурсов
3.2.1. Постановка задачи и требования к процессору информационных ресурсов
3.2.2. Проект
3.3. Методы реализации процессора решателей задач
3.3.1. Постановка задачи и требования к процессору решателей задач
3.3.2. Проект
3.4. Методы реализации процессора пользовательских интерфейсов
3.4.1. Постановка задачи и требования к процессору пользовательских интерфейсов
3.4.2. Проект
3.5. Выводы по главе
4. Технология разработки системных и прикладных сервисов с помощью Платформы ГАСРааБ и её инструментальная поддержка.
4.1. Технология разработки сервисов
4.1.1. Разработка требований к сервису
4.1.2. Проектирование сервиса
4.1.3. Специфицирование сервиса
4.1.4. Разработка метаинформаций и инфоресурсов сервиса
4.1.5. Разработка модулей сервиса
4.1.6. Тестирование и отладка
4.1.7. Ввод в эксплуатацию
4.2. Технология разработки агентов
4.2.1. Разработка требований к агенту
4.2.2. Проектирование агента
4.2.3. Специфицирование агента
4.2.4. Кодирование агента
4.2.5. Тестирование и отладка
4.2.6. Ввод в эксплуатацию

4.3. Системные сервисы
4.3.1. Административная система
4.3.2. Редактор
4.3.3. Визуализатор инфоресурсов
4.3.4. Прогонщик тестов агента
4.3.5. Генератор кода агента
4.3.6. Загрузчик байткода агента
4.4. Прикладные сервисы
4.4.1. Графический редактор трёхмерных сцен
4.4.2. Интерпретатор виртуальных сред
4.4.3. Компьютерный обучающий тренажёр по офтальмологии
4.4.4. Виртуальная химическая лаборатория
4.4.5. Модель городского района
4.5. Выводы по главе
Заключение
Литература
Приложения
Приложение 1. Структура программного интерфейса Storage
Приложение 2. Структура программного интерфейса IKBI
Приложение 3. Структура программного интерфейса UiBuildHelper
Приложение 4. Акт об использовании результатов кандидатской диссертационной
работы

? V р V
З! МТ О «• 3[] ІТ
Рис. 15. Семантика простой І, с І
кванторной формулы без переменных Рис. Семантика простой
с квантором 3! кванторной формулы без переменных
с квантором 3[]
Если метка входной вершины простой кванторной формулы без переменных Б (Рис. 15) имеет вид З! М Т, где М — описание (конечного или бесконечного) множества, а Т — термин, то Б истинна на вершине V графа 14, если V является простой и терминальной вершиной, а её меткой является один из элементов множества.
Если метка входной вершины простой кванторной формулы без переменных Р (Рис. 16) имеет вид 3[] I Т, где I — конечный целый (вещественный) интервал, а Т — термин, то Р истинна на вершине V графа 14, если V является простой и терминальной вершиной, а её меткой является целый (вещественный) интервал, являющийся подынтервалом интервала I.

Рис. 17. Семантика унарной формулы без переменных
Унарная формула без переменных Б (Рис. 17) истинна на вершине V графа 14, если V является простой вершиной, из неё выходит в точности одна дуга с меткой Т и эта дуга входит в вершину V], на которой истинна формула без переменных И].