
- •Анотація
- •Введення
- •Розділ 1 Аналіз складних об’єктів та систем
- •1.1 Загальна характеристика проблем автоматизації проектування.
- •1.2 Складні системи та основи і системного підходу
- •1.3 Системний аналіз та системне проектування складних систем. Принципи і задачі проектування
- •1.4 Проектні критерії системного проектування
- •1.5 Системний підход до автоматизації проектування та створення сапр
- •1.6 Логічна схема задач системного проектування
- •Розділ 2 Розробка баз знань предметної галузі
- •2.1 Моделювання. Класифікація методів моделювання
- •2.2 Технологія побудови концептуальних моделей складних систем. Рівні моделювання. Інфологична модель
- •2.3 Обстеження існуючої системи. Дослідження інформаційних потоків
- •Розділ 3 Розробка автоматизованого робочого місця
- •3.1 Концепція „чотирьох і” розробки автоматизованих систем
- •3.2 Способи рішення задач.
- •3.3 Основні принципи побудови типового автоматизованого робочого міста
- •3.4 Автоматизовані засоби проектування і розробки інформаційних систем
- •Література
- •Сіромля Сергій Григорович Основи автоматизації проектування складних об’єктів та систем
- •65082, Одеса, вул. Дворянська, 1/3
1.6 Логічна схема задач системного проектування
Спосіб побудови системи зі складових частин та їхній взаємозв’язок визначає архітектура операційної системи.
При реалізації системного підходу в завданнях проектування об'єктів нової техніки (ОНТ) однієї з основних проблем є формалізований виклад процесу вирішення взаємозв'язаних завдань проектування у вигляді деякої логічної схеми алгоритму побудови проектного рішення. Узагальнення досвіду проектування складних систем управління дало можливість розробити основні положення побудови логічних схем, що називаються логічними схемами проектування (ЛСП) .
Вирішення завдань системного
проектування здійснюється у вигляді
логічної схеми проектування. Конструюється
логічна схема вирішення сукупності
взаємозв'язаних завдань на базі
формалізованих елементів: М
– модель об'єкту
проектування; А – початкові дані; З –
обмеження; R – проектне рішення; До –
оцінка рішення;
Т – метод (процедура
рішення). Формулюється принцип декомпозиції
початкового завдання S на логічно
взаємозв'язану систему підзадач
,
де d – рівні декомпозиції, i – етапи
проектних рішень, представлених
впорядкованими шестірками <M, R, A, C, K,
T>. Такий підхід, що має своє обгрунтування
в теорії вирішення завдань, називається
системним проектуванням. Декомпозиція
містить в своїй основі дедуктивно-паралельну
схему, об'єднуючу досвід фахівців різних
аспектів з аксіоматизацією формалізованих
елементів шестірками <M, R, A, C, K, T>.
Досліджена решаемость
завдання
системного проектування, осередки якого
впорядковані логічною схемою проектування
з ієрархічною структурою. Конструктивним
методом тут є утворення ітераційних
циклів (міжетапних і міжрівневих), що
замикаються за допомогою формалізованих
елементів
,
як функцій проектних рішень
на попередньому кроці (ij).
Вважатимемо, що задана схема
проектування H,
якщо дано п'ятірку множин
(S, A, C, T, R),
де S – непорожня множина, елементи якої
називаються завданнями проектування;
А – кінцева множина, елементи якої
називаються початковими (прогнозованими)
даними; З – кінцева множина, елементи
якої називаються обмеженнями; R – кінцева
множина, елементи якої називаються
проектними рішеннями; Т – відображення,
яке ставить кожній парі виду
,
A,
C у
відповідність деяка непорожня підмножина
безлічі R, кіт. позначається Т
.
Відображення Т,
що є процедурою рішення, володіє такими
властивостями. Вся безліч завдань
проектування S вважається повністю
вирішуваною, якщо
;
при цьому повинне повністю виконуватися
рівняння
Іншими словами, для всіх
завдань
породжуються процедури рішення
,
кожне проектне рішення
є єдиним.
Решаємость завдання
системного проектування формально
зводиться до побудови системи отримання
і ефективного формування апріорної
інформації
,
обмежень
і побудови процедур рішення в процесі
самого проектування.
Послідовна схема допускає точну впорядкованість завдань (відповідно, безліч Т):
без циклів. Повністю схема, що розпаралелює, допускає будь-яку впорядкованість
Зміст (сенс) системного підходу полягає в розробці принципу впорядковування безлічі S і Т і розробці самої схеми, що забезпечує повну решаемость завдання , перш за все в частині отримання і формування проблемно орієнтованої інформації (А, З) в людсько-машинній системі. Принцип організації схеми системного проектування є базовим початком для розробки методики проектування, системи критеріїв, складу математичних моделей об'єктів проектування, а також, і всього комплексу математичного забезпечення і технічного устаткування інформаційної системи. У системному підході заслуговують уваги два методи проектування, кіт. виходять з практичного досвіду і інтерпретовані в область пошукових досліджень при розробці складних систем управління .
При індуктивному методі (емпірично-індуктивному ) формулюються вимоги до проектованої системи при заданій її структурній схемі (по критеріях надійності, массогабаритными показниками, енергоємністю і ін.), задаються підмножини реальних (проектованих) агрегатів. Конструктор, використовуючи свій досвід, уміння, інтуїцію, результати експериментів і експертні оцінки, створює («збирає») якийсь прототип необхідної системи. Таким чином, задаються:
1) вимоги до системи
;
2) підмножина агрегатів
,
де
– потужність множини,
– потужність r-го
підмножини.
Проектується система на основі апріорної упевненості про задоволення вимог до системи, кіт. реалізується в заданому агрегатному (елементному) базисі .
Засобами дослідження в цьому
випадку є перевірка розрахунків, методи
синтезу окремих підсистем, макетно-апаратний
(стендова) відробіток системи. Решаємость
завдання
базується на інтуїції і досвіді фахівців.
Математично (або формально) завдання
розглядається у межах окремих агрегованих
підзадач
.
Оцінка і вибір оптимального варіанту
здійснюється, як правило, методами
перебору з використанням експертних
оцінок.
Індуктивний метод має мінімальну воспроизводительность, оскільки основні положення його будуються на досвіді фахівця, інтуїції і умінні конструювати варіанти і ухвалювати рішення. Доказ решаемости завдання проектування апріорі не формулюється, що пояснюється відсутністю схеми проектування, побудованої на объективизированных даних.
При комбінованій схемі проектування можна сказати тільки, що
і
(1.4)
де i «пробігає» всю індексну множину I. Формально відповісти на питання, як (у якій послідовності) символ i «пробігає» множина I, можна за допомогою розробки схеми системного проектування.
Реалізувати системний підхід можна, розробивши принцип впорядковування безлічі S і Т і схему, забезпечуючу повну решаемость завдання , перш за все для отримання і формування проблемно-орієнтованої інформації (А, З) в автоматизованій системі проектування (АСП–САПР).
При позитивному рішенні індуктивний метод швидко приводить до мети, оскільки не «обтяжений» складними завданнями математичного аналізу і громіздкими обчислювальними процедурами.
При дедуктивному
методі (логічно
дедуктивному ) проектування розглядається
як деякий процес послідовної побудови
проектних рішень
,
в кіт. з рішення
попередньої задачі
формується обмеження, що визначає
,
або початкова інформація
в процедурі вирішення
наступного етапу. Для дедуктивного
методу повинна бути справедлива формула
«замикання» завдань послідовної схеми
(1.4)
У дедуктивному методі кожне
з проміжних рішень
задачі
є деревом варіантів, що розгалужується,
по відношенню до завдання
,
що вирішується на наступному етапі.
Ієрархічна структура рішення
задачі
системного проектування повинна бути
логічною основою розробки системи
оцінок ефективності проектованих ОНТ
на всіх рівнях дослідження об'єкту
проектування; дедуктивизация
процесу проектування можлива, очевидно,
на основі єдності представлення
інформації про проектований об'єкт,
кіт. дає можливість реалізувати
«замикання» завдань в дослідницькому
ланцюзі. Універсальним способом створення
такої єдності є розробка сукупності
математичних моделей
об'єкту проектування, що характеризуються
певними структурними властивостями.
Так, в методиці проектування комп'ютерів
розрізняють такі структури:
системна (архітектура пристрою);
алгоритмічна (алгоритм функціонування);
логічна (функціональна схема пристрою);
конструктивна (монтажна схема).
Обгрунтуємо комбінацію
дедуктивного методу з достатньо широким
розпаралелюванням деяких груп завдань
проектування. Повнота визначення
завдання проектування досягається за
рахунок елементів
,
і
в схемі Н. Наряду з
чисто дедуктивним «замиканням» завдань
при розробці складних систем (1.4) у
багатьох випадках при неможливості
рішення деякі із завдань
вимагають
формування елементів,
по
проектних вирішеннях
пізніших
етапів, тобто
(1.5)
Невизначеність завдань
приводить до необхідності побудови
рішення
за прогнозованими даними
і
для того, щоб отримати
і
відповідно з (1.5). В цьому випадку виникає
ітераційний цикл для формування
достовірних даних
,
завдання
(* – елементи ЛСП, отримані в самій ЛСП).