- •Конспект лекцій
- •Лекція 1. Загальна характеристика спеціалізованих комп’ютерних систем (скс)
- •Проблеми розробки математичного та програмного забезпечення скс
- •Особливості архітектури скс
- •Основні функції ос
- •Контрольні запитання
- •Випадкові процеси з дискретним і безперервним часом. Марківський ланцюг
- •Контрольні запитання
- •Рекомендована література
- •3, Лекція 3 .Математична модель для оцінки часу виконання програми
- •Контрольні запитання
- •4.Лекція 4 Потоки подій
- •Потік подій. Найпростіший потік і його властивості.
- •Пуассоновські потоки подій і безперервні Марковські ланцюги.
- •Граничні ймовірності станів.
- •Контрольні запитання
- •Граф процесу загибелі та розмноження у загальному вигляді. Граничні ймовірності станів моделі.
- •Контрольні запитання
- •Рекомендована література
- •6Лекція 6.. Теорія масового обслуговування. Завдання теорії
- •Умовні позначення видів моделей масового обслуговування.
- •Контрольні запитання
- •Багатоканальна смо з відмовами.
- •Контрольні запитання
- •Багатоканальна смо з очікуванням
- •Контрольні запитання
- •Рекомендована література
- •9. Лекція 9. Багатоканальна смо з очікуванням та нетерплячими заявками
- •Змістовна постановка задачі
- •Вирішення задачі
- •Контрольні запитання
- •Основні характеристики смо.
- •Багатоканальні замкнуті смо
- •Контрольні запитання
- •Рекомендована література
- •11 Лекція11.
- •Смо з відмовами.
- •Одноканальна смо з очікуванням.
- •Задача про простій верстатів.
- •Контрольні запитання
- •2. Характеристики вихідних потоків інформації
- •3. Диспетчерські програми операційної системи
- •Використання динамічних пріоритетів
- •Контрольні запитання
- •Висновки
- •14. Лекція 14. Вкладені ланцюги Маркова
- •Метод вкладених ланцюгів Маркова
- •Задача простою верстатів
- •Контрольні запитання
- •Контрольні запитання
- •2. Приклад вирішення задачі методом динаміки середніх
- •Контрольні запитання
- •Рекомендована література
- •17. Лекція 17.
- •Рекомендована література.
Національний технічний університет України
«Київський політехнічний інститут»
Конспект лекцій
з дисципліни: Програмне забезпечення
спеціалізованих комп’ютерних систем
для напрямку підготовки
6.050102 – Комп’ютерна інженерія,
спеціальності: спеціалізовані
комп’ютерні системи
Київ, 2013
Зміст
Лекція1. Загальна характеристика спеціалізованих комп’ютерних систем (СКС)
Лекція 2 СКС як системи масового обслуговування
Лекція 3. Визначення часу роботи програм
Лекція 4. Потоки подій
Лекція 5. Модель загибелі та розмноження
Лекція 6. Теорія масового обслуговування. Завдання теорії
Лекція 7. СМО з відмовами
Лекція 8. СМО з очікуванням
Лекція 9. Багатоканальна СМО з очікуванням та нетерплячими заявками
Лекція 10. Замкнені системи масового обслуговування
Лекція 11. Не-марківські СМО
Лекція 12. Взаємодія часових характеристик СКС та моделей СМО
Лекція 13. Модель циклічного обслуговування
Лекція 14. Вкладені ланцюги Маркова
Лекція 15. Побудова вкладеного марківського ланцюга для приорітетних не-марківських моделей
Лекція 16. Метод динаміки середніх
Лекція 17. Алгоритм дослідження характеристик багатопріоритетрих моделей програм
Лекція 1. Загальна характеристика спеціалізованих комп’ютерних систем (скс)
План лекції
Проблеми розробки математичного та програмного забезпечення спеціалізованих комп’ютерних систем.
Особливості архітектури СКС.
Функціональна модель операційної системи (ОС), що працює в реальному масштабі часу.
Проблеми розробки математичного та програмного забезпечення скс
Проблема розробки математичного й програмного забезпечення спеціалізованих обчислювальних систем може бути розбита на декілька більше часткових проблем:
Функціональні проблеми. Пов'язані з розробкою методів прийняття рішень по керуванню й обробці інформації, при виконанні основних цільових функцій.
Структурні проблеми. Побудова алгоритмів, що забезпечують максимальне використання обмежених ресурсів СКС ( у тому числі й вибір цих ресурсів за заданими критеріями ).
Технологічні проблеми. Способи створення програмного забезпечення.
Експлуатаційні проблеми. Надійність ПО, стійкість, супроводжуваність і т.п.
Основні цільові функції й функціональні завдання, алгоритми, що виконуються в складних системах, досить різноманітні й пов'язані з конкретним призначенням СКС.
Однак, існує цілий ряд завдань, які доводиться вирішувати при створенні СКС майже завжди безвідносно до основних цільових функцій. До них відносяться:
Завдання розподілу ресурсів.
Завдання організації рішення функціональних завдань (у тому числі й у реальному масштабі часу).
Завдання оптимізації структури алгоритмів з погляду, максимального використання ресурсів СКС.
Завдання контролю ходу виконання програм, організація стійкого виконання функцій СКС при наявності відмов і збоїв апаратури.
Завдання контролю рішення функціональних завдань і адаптації алгоритмів при зміні характеристик зовнішніх абонентів і саме СКС (згадаємо завдання контролю забруднення середовища: ми виявляли несправність датчика вхідної інформації й відповідних даних).
Більшість із перерахованих завдань вирішуються операційною системою. Концептуально методи рішення подібних завдань, ми з вами вже розглядали у відповідному курсі.