rpd000011811 (230400 (09.03.02).Б3 Информационные системы испытаний космических ЛА)

Семестр

Трудоем-кость,

час.

Лек-ций,

час.

Практич. занятий,

час.

Лаборат. работ,

час.

СРС,

час.

Экзаменов,

час.

Форма промежуточного контроля

8

108

24

10

16

31

27

Э

Итого

108

24

10

16

31

27

Пискунов В.А.

_________________________

Заведующий обеспечивающей кафедрой 308

_________________________

Заведующий выпускающей кафедрой 308

_________________________

Декан выпускающего факультета 3

_________________________

N

Шифр

Результат освоения

1

Знать принципы использования моделей объектов контроля работоспособности, методов локализации неисправностей и алгоритмизации методов построения тестов и тест процедур

2

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

3

Владеть методами оптимальной организации процесса контроля работоспособности и поиска неисправностей в отношении порядка проведения проверок, состава контролируемых параметров и способы применения стратегий контрольно-измерительной аппаратуры

4

Производить выбор и обоснование необходимых расчетных соотношений применения оценок характеристик процесса контроля и их оптимизации.

N

Шифр

Компетенция

1

ПКС.16

Способность разрабатывать оптимальные или оптимизирующие условные и безусловные алгоритмы диагностирования систем ЛА и их программную реализацию.

2

ПКС.37

Способность по заданным условиям выбрать технические программные средства автоматизации испытаний систем КЛА.

3

ПКС.38

Готовность формировать требования к системам автоматизации испытаний в зависимости от параметров процесса испытаний.

4

ПКС.41

Способность владеть математическими методами оптимизации поиска неисправностей применительно к системам КЛА.

Модуль

Раздел

Лекции

Практич. занятия

Лаборат. работы

СРС

Всего часов

Всего с экзаменами и курсовыми

Контроль и диагностика информационных систем

Модели объектов контроля

4

4

0

5

13

108

Характеристики процесса контроля

6

2

8

10,5

26,5

Методы построения тестов дискретных устройств

8

2

8

11

29

Контроль цифровых устройств

6

2

0

4,5

12,5

Всего

24

10

16

31

81

108

№ п/п

Раздел дисциплины

Объем, часов

Тема лекции

Дидакт. единицы

1

1.1.Модели объектов контроля

2

Классификация методов и видов контроля.

1

2

1.1.Модели объектов контроля

2

Функциональная и структурная модели объектов контроля

2

3

1.2.Характеристики процесса контроля

2

Полнота и ошибки контроля

3

4

1.2.Характеристики процесса контроля

2

Достоверность контроля и локализации неисправности

3

5

1.2.Характеристики процесса контроля

2

Эффективность и апостериорная надежность при контроле работоспособности

3

6

1.3.Методы построения тестов дискретных устройств

2

Виды дискретных устройств и их неисправности. Понятие тестов и тест процедур

4

7

1.3.Методы построения тестов дискретных устройств

2

Понятие покрытия и d-куба. D-алгоритм. Метод булевой разности

5

8

1.3.Методы построения тестов дискретных устройств

2

Структурно-аналитическая модель дискретного устройства. Метод эквивалентной нормальной формы

4

9

1.3.Методы построения тестов дискретных устройств

2

Компактное тестирование

10

10

1.4.Контроль цифровых устройств

2

Понятие свертки числа. Числовой и цифровой аппаратный контроль по модулю

6, 7

11

1.4.Контроль цифровых устройств

2

Разделимые арифметические коды. Коррекция искажений двоичного слова

8

12

1.4.Контроль цифровых устройств

2

Надежность цифровых устройств и характеристики системы контроля. Эффективность контроля цифровых устройств

11, 12

Итого:

24

№ п/п

Раздел дисциплины

Объем, часов

Тема практического занятия

Дидакт. единицы

1

1.1.Модели объектов контроля

4

Функциональная модель объекта контроля (ОК). Кодирование информации в процессе оценки состояния ОК. Построение диагностического дерева

2

2

1.2.Характеристики процесса контроля

2

Составление графа последовательностей проверок. Поиск с использованием метода «ветвей и границ». Нахождение ветви минимальных временных затрат

2

3

1.3.Методы построения тестов дискретных устройств

2

Нахождение сигнатуры последовательного кода

4, 8

4

1.4.Контроль цифровых устройств

2

Построение таблиц коррекции искажений разделимого арифметического кода

8

Итого:

10

№ п/п

Раздел дисциплины

Наименование лабораторной работы

Наименование лаборатории

Объем, часов

Дидакт. единицы

1

1.2.Характеристики процесса контроля

Определение последовательностей проведения проверок методом ветвей и границ для минимизации временных затрат.

8

8

2

1.3.Методы построения тестов дискретных устройств

Построение условной тест процедуры поиска неисправностей методом динамического программирования

8

9

Итого:

16

№ п/п

Раздел дисциплины

Объем, часов

Наименование типового задания

Итого: