rpd000008013 (231000 (09.04.04).М1 Программно-информационные системы), страница 2

Тематика:

Трудоемкость(СРС): 21

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

Типовые варианты:

1. Рубежный контроль

1. Промежуточная аттестация

1. Экзамен (4 семестр)

Прикрепленные файлы: Вопросы Верификация.docx

1. УЧЕБНО-МЕТОДИЧЕСКОЕ И ИНФОРМАЦИОННОЕ ОБЕСПЕЧЕНИЕ ДИСЦИПЛИНЫ

а)основная литература:

1. Батоврин В.К. Системная и программная инженерия. Словарь-справочник. Учебное пособие для вузов - Москва: ДМК Пресс, 2010.- 280 с. ISBN / ISSN: 978-5-94074-592-1

2. Гасов В.М., Цыганенко А.М. Надежность, эргономика и качество АСОИУ. Учебное пособие - Москва: МГУП, 2006.- 302 с.

ISBN / ISSN: 5-8122-0881-6

Литература из электронного каталога:

1. Кирьянов Д.В. Кирьянов Д.В. Самоучитель Mathcad 11. БХВ-Петербург, 2004. - 540 с. - БХВ-Петербург, 2004.

2. Олифер В.Г. Олифер В.Г. Компьютерные сети.Принципы,технологии,протоколы. Питер, 2006. - 957 с. - Питер, 2006.

б)дополнительная литература:

Периодические издания:

3. Программирование

4. Программная инженерия («Новые технологии»)

5. Прикладная информатика

Литература из электронного каталога:

1. Орлов С.А. Орлов С.А. Организация ЭВМ и систем. Питер, 2007. - 667 с. - Питер, 2007.

2. Единая система программной документации. Стандартов, 1994. - 157 с. - Стандартов, 1994.

3. Сокольский М.Л. Сокольский М.Л. Применение стандартов, норм и правил при создании конструкторской ,технологической и программной документации. МАИ, 2002. - 103 с. - МАИ, 2002.

в)программное обеспечение, Интернет-ресурсы, электронные библиотечные системы:

Компьютерная среда методно-ориентированного программирования – Mathcad

1. МАТЕРИАЛЬНО-ТЕХНИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ДИСЦИПЛИНЫ

1. Специализированная компьютерная лаборатория кафедры № 304

2. Компьютерная среда методно-ориентированного программирования – Mathcad

3. Материально-техническое обеспечение дисциплины функционирует в составе сети ЭВМ кафедры № 304.

Приложение 1
к рабочей программе дисциплины
«Верификация и валидация программных систем »

Аннотация рабочей программы

Дисциплина Верификация и валидация программных систем является частью Профессионального цикла дисциплин подготовки студентов по направлению подготовки Программная инженерия. Дисциплина реализуется на 3 факультете «Московского авиационного института (национального исследовательского университета)» кафедрой (кафедрами) 304.

Дисциплина нацелена на формирование следующих компетенций: ОК-5 ,ОК-7 ,ПК-2 ,ПК-4 ,ПК-9 ,ПК-17 ,ПСК-1 ,ПСК-4.

Содержание дисциплины охватывает круг вопросов, связанных с: определением основных понятий, системной организацией и рассмотрением методологии структурного анализа эффективности функционирования сред и IT цифровой обработки современных ИВС

Преподавание дисциплины предусматривает следующие формы организации учебного процесса: Лекция, мастер-класс, Практическое занятие, Лабораторная работа.

Программой дисциплины предусмотрены следующие виды контроля: промежуточная аттестация в форме Экзамен (4 семестр).

Общая трудоемкость освоения дисциплины составляет 4 зачетных единиц, 144 часов. Программой дисциплины предусмотрены лекционные (16 часов), практические (16 часов), лабораторные (32 часов) занятия и (53 часов) самостоятельной работы студента.

Приложение 2
к рабочей программе дисциплины
«Верификация и валидация программных систем »

Cодержание учебных занятий

1. Лекции

1.1.1. Классификация и характеристики, моделирование и анализ среды и IT ввода/вывода данных в интегрированных средах, сетях и телекоммуникациях (АЗ: 2, СРС: 1)

Тип лекции: Информационная лекция

Форма организации: Лекция, мастер-класс

1.1.2. Моделирование и анализ IT функционирования периферийной среды хранения данных (АЗ: 2, СРС: 1)

Тип лекции: Информационная лекция

Форма организации: Лекция, мастер-класс

1.2.1. Исходные и общие положения, квалификация и характеристики среды обработки данных, структуризация и анализ процессов параллельной обработки данных (АЗ: 2, СРС: 1)

Тип лекции: Информационная лекция

Форма организации: Лекция, мастер-класс

1.2.2. Моделирование и анализ процессов, среды и IT параллельной обработки на компонентах общего назначения (АЗ: 4, СРС: 2)

Тип лекции: Информационная лекция

Форма организации: Лекция, мастер-класс

1.2.3. Моделирование и анализ процессов, среды и IT параллельной обработки на компонентах специального назначения (АЗ: 6, СРС: 3)

Тип лекции: Информационная лекция

Форма организации: Лекция, мастер-класс

1. Практические занятия

1.1.1. Цифровая компьютерная телефония в среде жесткого реального времени (АЗ: 4, СРС: 2)

Форма организации: Практическое занятие

1.2.1. Классические среды интерактивного взаимодействия в стационарных компьютерных платформах (АЗ: 4, СРС: 2)

Форма организации: Практическое занятие

1.2.2. Современные среды интерактивного взаимодействия в мобильных компьютерных платформах (АЗ: 4, СРС: 2)

Форма организации: Практическое занятие

1.2.3. Интерактивное визуальное компьютерное управление в современных мобильных средах (АЗ: 4, СРС: 2)

Форма организации: Практическое занятие

1. Лабораторные работы

1.1.1. Моделирование среды телемониторинга (АЗ: 8, СРС: 4)

Форма организации: Лабораторная работа

1.2.1. Технология однопроцессорной мультизадачной обработки данных с разделением времени (АЗ: 8, СРС: 4)

Форма организации: Лабораторная работа

1.2.2. Технология оптимально-распараллеленной мультизадачной обработки данных с разделением времени (АЗ: 8, СРС: 4)

Форма организации: Лабораторная работа

1.2.3. Преобразование текстовой информации в речевой акустический процесс (АЗ: 8, СРС: 4)

Форма организации: Лабораторная работа

1. Типовые задания

Приложение 3
к рабочей программе дисциплины
«Верификация и валидация программных систем »

Прикрепленные файлы

Вопросы Верификация.docx

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

2. Принципы организации процессов, технические характеристики и IT функционирования цифровых систем полуавтоматического сканирования текстовой и графической информации.

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

4. Принципы организации процессов, технические характеристики и IT функционирования цифровых электромеханических систем и IT функционирования электромеханических систем автоматического сканирования с лазерной подсветкой.

5. Принципы организации процессов, технические характеристики и IT функционирования цифрового СЧМ – дискретного автоматического сканирования текстовой и графической информации.

6. Структурная модель и анализ ресурса систем автоматического сканирования текстовой и графической информации.

7. Принципы организации процессов, технические характеристики средств и IT функционирования цифровых систем струйной печати текстовой и графической информации.

8. Структурные модель процессов и анализа качества струйной печати документов в ИС.

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

10. Структурные модель процессов и анализа качества лазерной печати документов в ИС.

11. Анализа качества и ресурсы буферизации цифровых трактов ввода вывода текста и графической информации в ИС.

12. Принципы организации процессов, технические характеристики средств и IT функционирования цифровых систем оперативного отображения визуальной информации на ЖК- и плазменных панелях (видеомониторах) ИС.

13. Структурные модели и анализа качества оперативного отображения визуальной информации на современных ЖК- и плазменных панелях в ИС.

14. Принципы организации процессов, технические характеристики средств и IT функционирования цифровых средств ввода статической видеоинформации (Цифровая СЧМ-фотография).

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

16. Принципы организации процессов, технические характеристики средств и IT функционирования цифровых систем СЧМ-телемониоринга объектов метасистемы в ИС.

17. Структурные модель и анализ качества ввода динамической видеоинформации в системах СЧМ-телемониторинга объектов метасистемы в ИС.

18. Принципы организации процессов, технические характеристики средств и мультимедиа IT функционирования дистанционного вывода на экран статической видеоинформации (Цифровые TFT-видеомониторы).

19. Структурные модель и анализ качества цифрового дистанционного вывода на экран статической видеоинформации через цифровые TFT-видеопроекторы.

20. Принципы организации процессов, технические характеристики средств и мультимедиа IT функционирования дистанционного вывода на экран динамической видеоинформации (Цифровые TFT-видеомониторы).

21. Структурные модель и анализ качества цифрового дистанционного вывода на экран динамической видеоинформации через цифровые TFT-видеопроекторы.

22. Основные технические характеристики, принципы организации хранения, записи-считывания цифровой информации и IT функционирования ВЗУ на гибких магнитных дисках (FDD).

23. Структурный анализ качества хранения и записи-считывания цифровой информации в ВЗУ на гибких магнитных дисках.

24. Принципы организации, технические характеристики и IT функционирования ВЗУ на магнитных модулях (HDD).

25. Структурные модель и анализ качества хранения и эффективности записи-считывания цифровой информации в ВЗУ на HDD.

26. Принципы организации процессов хранения и записи-считывания, технические характеристики и IT функционирования оптических ВЗУ (CD, DVD, BLU-ray).

27. Структурные модель и анализ качества функционирования оптических ВЗУ.

28. Анализ требуемого ресурса оптической памяти ВЗУ для хранения динамической видеоинформации.

29. Общие положения: Определения IT и систем реального времени

30. Общие положения: Оценка вычислительного ресурса и эффективности функционирования АЛУ компонент обработки СРВ

31. Общие положения: Основные информационные технологии IT (режимы цифровой обработки в реальном времени).

32. Общие положения: Оценки вычислительного ресурса и эффективности функционирования сопроцессоров в компонентах обработки СРВ

33. Общие положения: Распараллеливание (ИЛГ) цифровой обработки: Принципы организации, общие оценки эффективности распараллеливания

34. Общие положения: Распараллеливание цифровой обработки: ИЛГ: особенности построения (декомпозиция) структуры.

35. Общие положения: Распараллеливание цифровой обработки: ЯПФ: особенности построения декомпозиция и агрегирование, целостность и замкнутость программных элементов (ПЭ) алгоритма обработки в СРВ.

36. Общие положения: Исходные данные для анализа систем реального времени (СРВ).

37. Общие положения: Задача предварительного проектирования СРВ.

38. Общие положения: Задача предпроектного исследования СРВ на базе типовых функциональных компонент организации цифровой обработки.

39. Общие положения: Основы анализа ресурсов компонент обработки в СРВ.

40. Общие положения: Анализ качества эксплуатации комплексов обработки в ИС: неравномерность использования ресурсов в мультисистемах обработки СРВ.

41. САПР сосредоточенной обработки: Базовая структурная модель ЦП: Основные особенности и информационные технологии однопроцессорной цифровой обработки

42. САПР сосредоточенной обработки: Базовая структурная модель ЦП: Структура модели и основные характеристики ЦП, обработки и информационного обмена.

43. САПР сосредоточенной обработки: Базовая структурная модель ЦП: Цикл активной фазы ЦП: особенности цифровой обработки в цикле

44. САПР сосредоточенной обработки: Цикл активной фазы ЦП: особенности информационного обмена в цикле

45. САПР сосредоточенной обработки: Базовая структурная модель ЦП: Оценки относительного снижения производительности в однопроцессорных СРВ.

46. САПР сосредоточенной обработки: Структурная модель МП: Основные особенности (ядро и оболочка) и информационные технологии МП-обработки

47. САПР сосредоточенной обработки: Структурная модель МП: Структуризация МП-обработки: алгоритмическая составляющая МП

48. САПР сосредоточенной обработки: Оптимизация структуры МП-обработки

49. САПР сосредоточенной обработки: Структурная модель МП: Цикл активной фазы МП: усреднение параметров цифровой обработки и информационного обмена

50. САПР сосредоточенной обработки: Структурная модель МП: Влияние ОС на системные простои модулей-ЦП МП

51. САПР сосредоточенной обработки: Структурная модель МП: Требуемая и полная производительности МП и время выполнения короткой математической операции в модуле ЦП

52. САПР сосредоточенной обработки: Структурная модель МП: Условия реализуемости МП-обработки в цикле

53. САПР сосредоточенной обработки: Структурная модель МП: Системный анализ МП СРВ

54. САПР сосредоточенной обработки: Структурная модель МП: Задача проектирования (анализ) МП на базе типовых функциональных компонент

55. САПР сосредоточенной обработки: Базовая структурная модель ТП: Структура модели: особенности системной организации и основные технические характеристики

56. САПР сосредоточенной обработки: Базовая структурная модель ТП: Цикл активной фазы ТП: усредненные оценки и повышение эффективности информационного обмена в цикле

57. САПР сосредоточенной обработки: Структурная модель МК: Структура модели (ядро и оболочка) и информационные технологии МК-обработки

58. САПР сосредоточенной обработки: Структурная модель МК: Цикл активной фазы МК: характеристики цифровой обработки и информационного обмена

59. САПР сосредоточенной обработки: Структурная модель МК: Структуризация МК-обработки: особенности ЯПФ и мощность МК

60. САПР сосредоточенной обработки: Структурная модель МК: Структуризация МК-обработки: алгоритмические простои МК

61. САПР сосредоточенной обработки: Структурная модель МК: Структуризация МК-обработки: оптимизация ЯПФ; обоснование критерия оптимизации

62. САПР сосредоточенной обработки: Структурная модель МК: Требуемая и полная производительности МК; время выполнения короткой математической операции в модуле ТП

63. САПР сосредоточенной обработки: Структурная модель МК: Условия реализуемости МК-обработки в цикле.

64. САПР сосредоточенной обработки: Базовая структурная модель нейрона Структура модели: особенности системной организации и специализации обработки; основные технические характеристики нейрона

65. САПР сосредоточенной обработки: Базовая структурная модель нейрона Цикл активной фазы нейрона: особенности повышения эффективности информационного обмена в цикле

66. САПР сосредоточенной обработки: Структурная модель ИНС: Оценки относительного снижения эффективности обработки в однопроцессорных СРВ

67. САПР сосредоточенной обработки: Структурная модель ИНС: Структура обработки в ИНС: основная обработка, обучение (рекурсия), оценивание состояния ИНС САПР сосредоточенной обработки: Структурная модель ИНС: Требуемая и полная производительности ИНС, загрузка компонент обработки: алгоритмическая и системная

68. САПР сосредоточенной обработки: Структурная модель ИНС: Динамика процесса перехода ИНС в состояние устойчивого равновесия

69. САПР сосредоточенной обработки: Структурная модель ИНС: Понятие и оценка нейроресурса ИНС

Моделирование параллельной обработки на компонентах специального назначения.doc

Блок №1 Верификация и валидация программных систем

Курсовая работа(проект) №1 Моделирование параллельной обработки на компонентах специального назначения

Трудоемкость(объем часов): 21

Тематика:

Типовые варианты:

1. Мультиконвейерные параллельные системы

2. Специализированные параллельные системы нейроассоциативной обработки

Версия: AAAAAAS+drY Код: 000008013