rpd000003250 (161400 (24.05.05).С1 Прицельно-навигационные системы ЛА)
Описание файла
Файл "rpd000003250" внутри архива находится в следующих папках: 161400 (24.05.05).С1 Прицельно-навигационные системы ЛА, 161400.С1. Документ из архива "161400 (24.05.05).С1 Прицельно-навигационные системы ЛА", который расположен в категории "". Всё это находится в предмете "вспомогательные материалы для первокурсников" из 1 семестр, которые можно найти в файловом архиве МАИ. Не смотря на прямую связь этого архива с МАИ, его также можно найти и в других разделах. Архив можно найти в разделе "остальное", в предмете "вспомогательные материалы для первокурсников" в общих файлах.
Онлайн просмотр документа "rpd000003250"
Текст из документа "rpd000003250"
Министерство образования и науки Российской Федерации
Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования
Московский авиационный институт
(национальный исследовательский университет)
УТВЕРЖДАЮ
Проректор по учебной работе
______________Куприков М.Ю.
“____“ ___________20__
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ (000003250)
Программное обеспечение интеллектуальных систем
(указывается наименование дисциплины по учебному плану)
Направление подготовки | Интегрированные системы летательных аппаратов | |||||
Квалификация (степень) выпускника | Специалист | |||||
Специализация подготовки | Прицельно-навигационные системы ЛА | |||||
Форма обучения | очная | |||||
(очная, очно-заочная и др.) | ||||||
Выпускающая кафедра | 704 | |||||
Обеспечивающая кафедра | 704 | |||||
Кафедра-разработчик рабочей программы | 704 | |||||
Семестр | Трудоем-кость, час. | Лек-ций, час. | Практич. занятий, час. | Лаборат. работ, час. | СРС, час. | Экзаменов, час. | Форма промежуточного контроля |
8 | 108 | 34 | 0 | 16 | 58 | 0 | Зо |
Итого | 108 | 34 | 0 | 16 | 58 | 0 |
Москва
2011 г.
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ
Разделы рабочей программы
-
Цели освоения дисциплины
-
Структура и содержание дисциплины
-
Учебно-методическое и информационное обеспечение дисциплины
-
Материально-техническое обеспечение дисциплины
Приложения к рабочей программе дисциплины
Приложение 1. Аннотация рабочей программы
Приложение 2. Cодержание учебных занятий
Приложение 3. Прикрепленные файлы
Программа составлена в соответствии с требованиями ФГОС ВПО по направлению подготовки 161400 Интегрированные системы летательных аппаратов
Авторы программы :
Жидков В.Н. | _________________________ |
Заведующий обеспечивающей кафедрой 704 | _________________________ |
Программа одобрена:
Заведующий выпускающей кафедрой 704 _________________________ | Декан выпускающего факультета 7 _________________________ |
-
ЦЕЛИ ОСВОЕНИЯ ДИСЦИПЛИНЫ
Целью освоения дисциплины Программное обеспечение интеллектуальных систем является достижение следующих результатов образования (РО):
N | Шифр | Результат освоения |
1 | У-18 | Уметь осуществлять имитационное и полунатурное моделирование процессов функционирования бортовых интегрированных систем летательных аппаратов, определять их характеристики и оценивать их эффективность |
2 | З-22 | Знать принципы устройства, методы разработки и алгоритмы функционирования пилотажно-навигационных и обзорно-прицельных систем |
3 | В-17 | Владеть методами имитационного полунатурного моделирования процессов функционирования бортовых интегрированных систем летательных аппаратов |
Перечисленные РО являются основой для формирования следующих компетенций: (в соответствии с ФГОС ВПО и требованиями к результатам освоения основной образовательной программы (ООП))
N | Шифр | Компетенция |
1 | ПКК-6 | Готов разрабатывать эскизные, технические и рабочие проекты интегрированных систем летательных аппаратов с использованием информационных технологий и систем автоматизированного проектирования и передового опыта разработки конкурентоспособных изделий |
2 | НИК-6 | Готов использовать типовые программные продукты, ориентированные на решение научных задач |
-
СТРУКТУРА И СОДЕРЖАНИЕ ДИСЦИПЛИНЫ
Общая трудоемкость дисциплины составляет 3 зачетных(ые) единиц(ы), 108 часа(ов).
Модуль | Раздел | Лекции | Практич. занятия | Лаборат. работы | СРС | Всего часов | Всего с экзаменами и курсовыми |
Программное обеспечение интеллектуальных систем | Формальная логика | 12 | 0 | 0 | 12 | 24 | 108 |
Основы программирования на ПРОЛОГе | 8 | 0 | 8 | 20 | 36 | ||
Разработка программ на ПРОЛОГе | 4 | 0 | 4 | 10 | 18 | ||
Экспертные системы | 10 | 0 | 4 | 16 | 30 | ||
Всего | 34 | 0 | 16 | 58 | 108 | 108 |
-
Содержание (дидактика) дисциплины
В разделе приводится полный перечень дидактических единиц, подлежащих усвоению при изучении данной дисциплины.
1. Формальная логика
- 1.1. Искусственный интеллект (ИИ). Основные понятия и определения.
- 1.2. Процедурное и декларативное программирование. Логическое программирование.
- 1.3. Формальная логика. Основные типы логических выводов.
- 1.4. Силлогистика Аристотеля
- 1.5. Основы исчисление предикатов
- 1.6. Логический вывод в исчислении предикатов
- 1.7. Метод резолюций Робинсона
- 1.8. SLD - метод доказательства логических теорем
- 1.9. Автоматизация дедуктивных выводов
- 1.10. Логичекая индукция. Приобретение знаний на примерах. Методы логической индукции.
- 1.11. Алгоритм индуктивного приобретения знаний ID-3
- 1.12. Алгоритм логической индукции CLS
2. Основы программирования на языке ПРОЛОГ
- 2.1. Концепция построения языка логического программирования Пролог
- 2.2. Элементарное программирование на ПРОЛОГЕ. Структура программы.
- 2.3. Представление фактов и правил. Рекурсивное определение отношений
- 2.4. Синтаксис и семантика ПРОЛОГ - программ. Объекты данных.
- 2.5. Сопоставление в ПРОЛОГЕ
- 2.6. Декларативный и процедурный смысл ПРОЛОГ- программ.
- 2.7. Списки в ПРОЛОГе
- 2.8. Арифметические операторы ПРОЛОГа
- 2.9. Управление перебором в языке ПРОЛОГ
- 2.10. Встроенные процедуры ПРОЛОГа
- 2.11. Ввод и вывод данных в ПРОЛОГе
3. Разработка программ на языке ПРОЛОГ
- 3.5. Программирование задач поиска в пространстве состояний на ПРОЛОГе
- 3.6. Программирование игровых задач на ПРОЛОГе
- 3.7. Программирование экспертных систем на ПРОЛОГе
4. Экспертные системы
- 4.1. Структура экспертной системы. Представление знаний в экспертных системах.
- 4.2. Методы вывода. Прямая цепочка рассуждений.
- 4.3. Методы вывода. Обратная цепочка рассуждений.
- 4.4. Обработка неопределенностей в системах основанных на правилах
- 4.5. Косвенная цепочка рассуждений
-
Лекции
№ п/п | Раздел дисциплины | Объем, часов | Тема лекции | Дидакт. единицы |
1 | 1.1.Формальная логика | 2 | Лекция 1. Искусственный интеллект и формальная логика | 1.1, 1.2, 1.3 |
2 | 1.1.Формальная логика | 2 | Лекция 2. Силлогистика Аристотеля | 1.4 |
3 | 1.1.Формальная логика | 2 | Лекция 3. Логичекий вывод в исчислении предикатов | 1.5, 1.6, 1.7 |
4 | 1.1.Формальная логика | 2 | Лекция 4. Современные методы доказательства логичеких торем | 1.8, 1.9 |
5 | 1.1.Формальная логика | 2 | Лекция 5. Алгоритмы логической индукции | 1.10, 1.12 |
6 | 1.1.Формальная логика | 2 | Лекция 6. Алгоритм приобретения знаний | 1.11 |
7 | 1.2.Основы программирования на ПРОЛОГе | 2 | Лекция 7. Элементарный ПРОЛОГ | 2.1, 2.2 |
8 | 1.2.Основы программирования на ПРОЛОГе | 2 | Лекция 8. Программирование на ПРОЛОГе | 2.3, 2.4, 2.5, 2.6 |
9 | 1.2.Основы программирования на ПРОЛОГе | 2 | Лекция 9. Работа со списками на ПРОЛОГе | 2.7 |
10 | 1.2.Основы программирования на ПРОЛОГе | 2 | Лекция 10. Дополнительные возможности ПРОЛОГа | 2.8, 2.9, 2.10, 2.11 |
11 | 1.3. Разработка программ на ПРОЛОГе | 2 | Лекция 11. Программирование задач поиска в пространстве состояний на ПРОЛОГе | 3.5 |
12 | 1.3. Разработка программ на ПРОЛОГе | 2 | Лекция 12. Программирование игровых задач на ПРОЛОГе | 3.6 |
13 | 1.4.Экспертные системы | 2 | Лекция 13. Структура экспертной системы | 4.1 |
14 | 1.4.Экспертные системы | 2 | Лекция 14. Прямой вывод вэкспертных системах | 4.2 |
15 | 1.4.Экспертные системы | 2 | Лекция 15. Обратный вывод в экспертных системах | 4.3 |
16 | 1.4.Экспертные системы | 2 | Лекция 16. Работа с неопределеностями в экспертных системах | 4.4, 4.5 |
17 | 1.4.Экспертные системы | 2 | Лекция 17. Программирование экспертных систем | 3.7 |
Итого: | 34 |
-
Практические занятия
№ п/п | Раздел дисциплины | Объем, часов | Тема практического занятия | Дидакт. единицы |
Итого: |
-
Лабораторные работы
№ п/п | Раздел дисциплины | Наименование лабораторной работы | Наименование лаборатории | Объем, часов | Дидакт. единицы |
1 | 1.2.Основы программирования на ПРОЛОГе | Элементарное программирование на ПРОЛОГе | 4 | 2.2, 2.3 | |
2 | 1.2.Основы программирования на ПРОЛОГе | Изучение языка ПРОЛОГ | 4 | 2.7, 2.8, 2.10, 2.11 | |
3 | 1.3. Разработка программ на ПРОЛОГе | Программирование задач поиска в пространстве состояний на ПРОЛОГе | 4 | 3.5 | |
4 | 1.4.Экспертные системы | Программирование экспертных систем на ПРОЛОГе | 4 | 3.7 | |
Итого: | 16 |
-
Типовые задания
№ п/п | Раздел дисциплины | Объем, часов | Наименование типового задания |
Итого: |
-
Курсовые работы и проекты по дисциплине
-
Рубежный контроль
-
Промежуточная аттестация
1. Зачет с оценкой