26. Підходи до верифікації проектних процедур

Існують два підходи до верифікації проектних процедур: аналітичний і чисельний.

Аналітичний підхід заснований на використанні формальних методів доказу відповідності двох порівнюваних описів. Для реалізації аналітичного підходу необхідно в рамках деякої формальної системи установити мову представлення проектних рішень і правила перетворення пропозицій і конструкцій цієї мови, потрібно розробити алгоритми цілеспрямованого застосування правил для приведення порівнюваних варіантів до виду, по якому можна зробити висновок про наявність чи відсутність відповідності цих варіантів. В даний час клас об'єктів, для яких удається реалізувати аналітичний підхід обмежений.

Чисельний підхід заснований на математичному моделюванні процесів функціонування проектованих об'єктів. Моделювання— це дослідження об'єкта шляхом створення його моделі й оперування нею з метою одержання корисної інформації про об'єкт. При математичному моделюванні досліджується математична модель (ММ) об'єкта.

Математичною моделлю технічного об'єкта називається сукупність математичних об'єктів (чисел, скалярних перемінних, векторів, матриць, графів і т.п.) і єднальних їхніх відносин, що відбиває властивості моделюючого технічного об'єкта, що цікавлять інженера-проектувальника. Математична модель, що відбиває поводження моделюючого об'єкта при заданих зовнішніх впливах, що змінюються в часі, називається імітаційною.

При конструюванні необхідно визначити насамперед геометричні і топологічні властивості об'єктів: форму деталей і їхнє взаємне розташування в конструкції. Ці властивості відображаються за допомогою структурних математичних моделей, що можуть бути виражені рівняннями поверхонь і ліній, системами нерівностей, графами, матрицями інциденцій і т.п.

При функціональному проектуванні моделюють стан чи процеси — послідовності змінюючих друг друга станів об'єкта. Таке моделювання здійснюється за допомогою функціональних математичних моделей. Типова форма функціональних ММ— система рівнянь, що виражає взаємозв'язок між фазовими (характеризують стан об'єкта), зовнішніми (характеризують стан зовнішньої стосовно об'єкта середовища) і незалежними перемінними, якими можуть бути час t і просторові координати. Рішенням системи рівнянь є залежності елементів вектора фазових перемінних, що представляються у виді сукупності графіків чи у табличній формі.