|
|||||||||
|
|||||||||
|
|
Экспертные системы: Решение неформализованных задач в диалоге с ЭВМ
Излагаются принципы построения экспертных систем (ЭС), их основные компоненты, состав и способы представления знаний. Особое внимание уделяется способностям ЭС приобретать новые знания, объяснять свои действия, автоматически формировать решение задачи, общаться на естественном языке. Даны примеры использования ЭС. Оглавление: общая структура и схема функционирования ЭС, представление знаний, взаимодействие с пользователями, методы поиска решений, управление функционированием ЭС, объяснительные способности, приобретение знаний.
Краткое описание общих особенностей системы уровня MRP-2
Перечень функций и подсистем логистической системы MRP-2
Программирование на языке Пролог: Пер. с англ.
Содержит описание основ логического программирования и языка Пролог. Оглавление: синтаксис языка, структуры данных, возврат и отсечение, ввод-вывод, встроенные предикаты, примеры программ, отладка программ, грамматические правила в Прологе, Пролог и математическая логика.
Маклаков С. Инструментальные средства создания корпоративных информационных систем
Оглавление
Введение
Создание модели процессов в BPwin.(IDEF0)
Дополнение модели процессов диаграммами DFD и Workflow (IDEF3)
Соответствие модели данных и модели процессов
Создание модели данных с помощью ERWin
Связывание модели данных и модели процессов
Групповая разработка моделей данных и моделей процессов с помощью Logic Works Model Mart
Создание объектной модели с помощью Rational Rose
Создание модели данных на основе объектной модели с помощью ERWin Translation Wizard
Глава 1. Введение
Глава 2. Исторический обзор развития методологии объектно-ориентированного анализа и проектирования сложных систем
Глава 3. Основные компоненты языка UML
Глава 4. Диаграмма вариантов использования (use case diagram)
Глава 5. Диаграмма классов (class diagram)
Глава 6. Диаграмма состояний (statechart diagram)
Глава 7. Диаграмма деятельности (activity diagram)
Глава 8. Диаграмма последовательности (sequence diagram)
Глава 9. Диаграмма кооперации (collaboration diagram)
Глава 10. Диаграмма компонентов (component diagram)
Глава 11. Диаграмма развертывания (deployment diagram)
Глава 12. Особенности реализации языка UML в CASE-инструментарии Rational Rose 98/2000
Заключение
Лабораторная работа N 1
Методика построения функциональной модели предметной области для проектирования автоматизированной системы управления АСУ.
Лабораторная работа N2
Методика построения информационной модели предметной области для проектирования автоматизированной системы управления (АСУ)
Цель работы, Задание, Теоретические положения,
Приемы работы с DESIGN/IDEF при построении модели,
Последовательность выполнения работы; Форма отчетности;
Контрольные вопросы,
Теория сетей Петри, простые сети Петри, цветные сети Петри, язык предписаний
Семенов Ю.А. (ГНЦ ИТЭФ/)Сети Петри
Краткое введение в сети Петри
Системы имитационного моделирования
Список сайтов, посвященных системам имитационного моделирования. Имеются ссылки на сайты:
Системы ПО на основе языка GPSS:
GPSS/PC (разработка Minuteman Software)
GPSS World (разработка Minuteman Software)
GPSS/H (разработка Wolverine Software)
Micro-GPSS (разработка Ингольфа Сталла)
WebGPSS (разработка Ингольфа Сталла)
Другие системы ПО для имитационного моделирования:
SLX (разработка Wolverine Software)
Proof Animation (разработка Wolverine Software)
ProcessModel (разработка ProcessModel, Inc)
AnyLogic (разработка XJ Technologies)
Экспериментальные разработки:
Cim (разработка Университета Осло)
ДАСИМ (разработка Одесского государственного политехнического университета)
GPSS A95 - GPSS/PC для ОС Windows (разработка АСОИУ НТУУ "КПИ", Киев)
PiM (разработка Власова Л. В.)
Object GPSS (разработка Королева А.Г.)
Сергей Маклаков. Имитационное моделирование с Arena
Краткое сообщение об особенностях системы имитационного моделирования Arena.
А.Г.Кабанов, А.Н.Давыдов, В.В.Барабанов, Е.СУДОВ. CALS-технологии для военной продукции
Что такое CALS? Проблемы и задачи развития СALS-технологий
в России. Внедрение CALS-технологий.
Список 500 наиболее производительных суперкомпьютеров мира. Публикуется дважды в год.
Принципы искусственного интеллекта: Пер. с англ.
Рассматриваются две модели представления знаний: 1) продукционные системы различного типа и методы поика в пространстве состояний, 2) исчисление предикатов первого порядка и методы автоматического доказательства теорем. Приводятся многочисленные примеры и тексты программ.
Оглавление: системы продукций и искусственный интеллект, стратегии поиска для систем продукций, исчисление предикатов, опровержение на основе резолюции, системы дедукции на основе правил, системы построения планов, представления для структурированных объектов.
А.В. Соловов ПРОЕКТИРОВАНИЕ КОМПЬЮТЕРНЫХ СИСТЕМ УЧЕБНОГО НАЗНАЧЕНИЯ
Учебное пособие посвящено технологии создания (методике проектирования и инструментальной среде для автоматизации подготовки) комплексов методических и программно-информационных средств компьютерной поддержки процесса обучения.
Работа ориентирована на преподавателей, аспирантов и студентов, изучающих курсы по информационным технологиям обучения, а также может быть использована в качестве методического руководства при разработке компьютерных систем учебного назначения.
Оглавление
Введение
1. Проектирование комплексов автоматизированных дидактических средств
2. Проектирование автоматизированных учебных курсов
3. Сценарии инженерных тренажеров
4. Когнитивная компьютерная графика в инженерной подготовке
5. Инструментальная среда системы КАДИС
6. Проблемно-ориентированные комплексы системы КАДИС
7. Распространение и применение информационных технологий обучения
Заключение
Приложение. Рекомендации по поддержанию и эксплуатации программно-информационного обеспечения САПР АУК
Системы искусственного интеллекта: Пер. с франц.
Искусственный интеллект.
Представление задачи.
Формальные системы.
Классические методы решения задач.
Методы распространения ограничений и перебора.
Игровые программы.
Экспертные системы.
Усвоение знаний.
Понятие о stub- и skeleton-объектах
Дается понятие стаба и скелетона, используемых в технологии распределенных вычислений
CORBA
Кратко описаны назначение и функции PDM-систем.
Использование технологий WWW для доступа к базам данных
Рассматриваются Web-технологии:создание документов, интерфейс к БД, язык Perl и др.
Глава 1 Основы использования WWW - технологий для доступа к существующим базам данных
Глава 2 Подготовка гипертекстовых документов для World Wide Web
Глава 3 Установка и администрирование WWW - сервера
Глава 4 Использование CGI при создании интерактивных интерфейсов
Глава 5 Использование пакета Cold Fusion для MS Windows при построении WWW - интерфейсов к базам данных
Глава 6 Использование языка Perl
Глава 7 Использование пакета Web - Oracle - Web (WOW)
Приложение 1: Расширенные возможности Web
Приложение 2: Спецификация языка Perl
Приложение 3: Опыт построения WWW - интерфейса к БД "Телефонный справочник НГУ"
Норенков И.П., Кузьмик П.К. Информационная паддержка наукоемких изделий. - М.: МГТУ
им. Н.Э.Баумана, 2002, 320 с.
Изложены основы СALS-технологий
П.Н.Бибило. Синтез логических схем с использованием языка VHDL - М.: Солон-Р, 2002
- 384 с.
Теоретические основы синтеза логических схем и описание языка VHDL
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Copyright © 2003 «Инженерное образование» E-mail: techno@bmstu.ru | тел.: +7 (095) 263-68-63 |
|