Рассуждения, основанные на прецедентах Гибридные системы

Информац. системы

Критерии надежности
Задачи
Расчет характеристики
Типовые примеры
Отказы изделия
Аналит. определение
Постоянное резервир.
Резервирование замещением
Расчет надежности
Скользящее резервирование
Расчет показателей
Учебник JAVA
Базовые понятия
Объектно-ориентированное
программирование
Работа со строками и классами
Графические примитивы
Обработка событий в JAVA
Апплеты
Создание сетевых приложений
Сетевые средства в JAVA
Экспертные системы
Учебник Delphi
Компьютерные сети
Топология сетей
Адресация
Структура сети
Сетевые службы
Маршрутизаторы
Технологии ISDN
Протоколы маршрутизации
Модель OSI
Корпоративные сети
Стек протоколов TCP/IP
Коммутация каналов
Коммутация пакетов
Удаленный доступ
Система доменных имен
Моделирование
Основы кодирования
Теория информ. процессов
Обмен информацией
Количество информации
Энтропия
Кодирование
Квантование и дискретизация
Теорема Котельникова
Ошибки дискретизации
Учебник по FrontPage
Информационный подход
SQL язык запросов
Ос новные понятия
Выборка данных

Манипулирование данными

Создание базы данных
Устройство ПК
Архитектура ПК
Классификация элементов
Центральный процессор
Внешние устройства
Программное обеспечение

Что такое экспертная система? Обзор исследований в области искусственного интеллекта

Представление знаний Символические вычисления Векторная графика

Системы, основанные на знаниях Ассоциативные сети и системы фреймов

Объектно-ориентированное программирование Логическое программирование

Представление неопределенности знаний и данных Приобретение знаний

Эвристическая классификация

Иерархическое построение и проверка гипотез

Решение проблем конструирования

Средства формирования пояснений Инструментальные средства разработки экспертных систем

Системы с доской объявлений Система отслеживания истинности предположений Неопределенный интеграл Математика Примеры решения задач

Формирование знаний на основе машинного обучения Сети доверия

Рассуждения, основанные на прецедентах Гибридные системы

Программирование на языке CLIPS

Gensym Scheduling Toolkit, Dynamic Scheduling Package
Инструментарий для построения систем оперативного планирования - Gensym Scheduling Toolkit (GST) существует в двух вариантах. GST1 включает средства построения графиков Ганта, конфигурирования календаря и средства сортировки. GST2 является расширением GST1 и кроме перечисленных инструментов содержит Проектировщик расписаний, назначением которого являются:
1) обеспечение возможностей ввода: модели использования ресурсов; последовательности работ и начальных условий;
2) генерация расписания: определение недостаточности наличных ресурсов и несоответствия установленным срокам; получение оперативных корректировок и динамическое перепланирование расписаний.
В ближайших планах компании - обобщение GST1 и GST2 в самостоятельном продукте для решения задач оперативного планирования Dynamic Scheduling Package, функциональная схема которого представлена на рис. 9.7.
Основной принцип, положенный в основу генератора расписаний, заключается в отказе от полного перебора вариантов плана за счет использования эвристик, физических ограничений технологического процесса и временного расписания рабочих смен (календаря). Прямая связь Планировщика с технологическим процессом, обеспечиваемая базовыми средствами G2, позволяет говорить даже не об оперативном, а об "реактивном" планировании.

Рис.9.7. Функциональная схема DSP

9.5.4 Fault Expert
Система Fault Expert, реализованная на базе G2, является обобщением ряда прикладных систем в области управления телекоммуникациями:
o системы управления сетями ATM;
o диагностики спутников в INTELSAT;
o управления системой сообщений AT&T.
Fault Expert содержит репозиторий объектов, представляющих наиболее распространенное телекоммуникационное оборудование (различные типы компьютеров и терминальных устройств, модемы, маршрутизаторы, классы связей для представления физической среды передачи данных), и графический язык для описания процедур тестирования и сетевых протоколов прикладного уровня. Взаимодействие с распространенными сетевыми менеджерами HP OpenView, IBM Net View и DEC Policenter обеспечивается на уровне SNMP.
Один из типичных примеров использования G2 в управлении телекоммуникациями - фирма INTELSAT, обеспечивающая спутниковую связь для коммерческих и государственных организаций во всем мире. По оценкам Рави Растоги, руководителя группы разработчиков второй очереди системы диагностики и мониторинга спутников и наземных станций слежения, подобная разработка обычными средствами потребовала бы около 20 человеко-лет и около 2 млн. дол. капиталовложений: "Мы заплатили около 700 000 дол. за программное обеспечение на базе G2; начали разработку в январе 1993 г. и получили первую версию в июне, затратили около 3 человеко-лет на разработку. Мы не смогли бы сделать это так быстро другими средствами".
9.5.5 Batchdesign_Kit - интеллектуальное проектирование серийного производства в фармакологии
BatchDesign_Kit (BDK) предназначена для быстрого синтеза новых технологических процессов в фармацевтическом производстве. Использование BDK позволяет достичь баланса между стоимостью производства, объемом вредных отходов и производительностью.
В отличие от традиционных средств моделирования BDK (рис.9.8) нацелена на концептуальное проектирование технологического процесса во взаимодействии с фармакологами, химиками- исследователями и технологами. BDK разработана ведущими специалистами в области создания новых технологических процессов, работающими в

Рнс.9.8. Функциональная схема BatchDesign_Kit
Массачусетском технологическом институте, под руководством профессора Стефанопулоса. Десять ведущих производителей фармацевтической и тонкой химической продукции, являющихся спонсорами ERRC, обеспечивали опытную эксплуатацию нового инструментального средства.
ЛИТЕРАТУРА
1. Кисель Е.Б. Сравнительный анализ инструментальных средств для разработки систем управления реального времени. Материалы семинара "Экспертные системы реального времени". - М.: ЦРДЗ, 1995.
2. Копченова Н.В., Марон И.А. Вычислительная математика в примерах и задачах. - М.: Наука, 1972.
3. Попов Э.В., Фоминых И.Б., Кисель Е.Б. Статические и динамические экспертные системы (классификация, состояние, тенденции). Методические материалы. - М.: ЦРДЗ, 1995.
4. Попов Э.В. Экспертные системы реального времени //Открытые системы. 1995. - №2.
5. Rock D.,Yu D. Improving Business Process Reengineering //Al Expert, 1994. October.
6. Siegel D. Riddell D. Introducing G2 4.0 //Marketing Bulletin. - Gensym Corporation, 1994, November.
7. Gensym Corp., A Guided Introduction to GDA. - Cambridge: (Mass., USA), 1992. November.
8. Gensym Corp., G2 Reference Manual. Version 4.0. - Cambridge: (Mass., USA), 1992, September,
9. Gensym Corp., NeurOn-Line Reference Manual. NeurOn-Line Version 1.0 Beta Rev. 2. - Cambridge: (Mass., USA), 1993, July.
10. John E. Girard. NASA Applies Gensym to Real-Time Problems //Research Highlights, 1990. July.
11. Smedley P. Who's Number One in Customer Service? //Control, 1994. November.
12. Harmon Paul. G2: Gensym's Real-Time Expert System //Intelligent Software Strategies. - Vol. 9. - 1993. March. - No. 3.
13. Robert L. Moore. Expert Systems in Real-Time Applications Experience and Opportunities, Expert System Application in Advanced Control, Proceedings of the Seventeenth Annual Advanced Control Conference - West Lafayette (Indiana), 1991, September 30, - October 2.

Математический анализ, лекции по физике Компьютерные сети