ет буті ВСТАНОВЛЕНО Тільки при віконанні процедур самого верхнього ієрархічного уровня. Тому помілковість чи не оптімальність РІШЕНЬ, отриманий на попередніх етапах, віявляється в Наступний, что вімагає повернення до попередніх етапів для перепроектування. По-друге, ітераційність зв'язана з чергування синтезу и веріфікації, что представляет собою послідовне набліження до Прийнятних проектного решение. Очевидно, что на дерло ітераціях сінтезовані Варіанти гірше з Погляду Виконання ТЗ, чім наступні. Тому на дерло ітераціях за помощью й достатньо набліженіх моделей Отримані Варіанти оцінюються Швидко и просто. Чім Ближче Черговий вариант до залишкового решение, тім больше точне и всебічне Дослідження нужно для его ОЦІНКИ. Отже, у процедурах веріфікації нужно використовуват не одну модель об'єкта, а ієрархічній ряд моделей, что розрізняються складністю и точністю.
Посилення старанності аналізу в міру набліження до залишкового решение віражається такоже у тому, что перевірка віробляється по всі більшому числу Показників, что обмовляються в ТЗ, найчастіше з урахуванням статистичного характером параметрів и нестабільності зовнішніх умов.
7. Підході до веріфікації
Існують два підході до веріфікації проектних процедур: аналітичний и чисельного.
аналітичний підхід Заснований на вікорістанні формальних методів доказу відповідності двох порівнюваніх опісів. Для реалізації аналітічного підходу звітність, в рамках деякої формальної системи Установити мову Подання проектної РІШЕНЬ и правила Перетворення пропозіцій и конструкцій цієї мови, нужно Розробити алгоритми цілеспрямованого! застосування правил для приведення порівнюваніх варіантів до виду, по якому можна сделать Висновок про наявність чи відсутність відповідності ціх варіантів. У Данії годину кла об'єктів, для якіх удається реалізуваті аналітичний підхід обмеженності.
чисельного підхід Заснований на математичность моделюванні процесів Функціонування проектованіх об'єктів. Моделювання - це Дослідження об'єкта Шляхом создания его МОДЕЛІ ї оперування нею з метою одержании Корисної ІНФОРМАЦІЇ про об'єкт. При математичность моделюванні досліджується математична модель (ММ) об'єкта.
математичность моделлю технічного об'єкта назівається сукупність математичних об'єктів (чисел, скалярних перемінніх, векторів, матриць, графів и т.п.) i єднальніх їхніх відносін, что відбіває Властивості моделюючого технічного об'єкта, что цікавлять інженера-проектувальник. Математична модель, что відбіває поводження моделюючого об'єкта при завданні зовнішніх вплива, что змінюються в часі, назівається імітаційною.
При конструюванні звітність, візначіті самперед геометричні и топологічні Властивості об'єктів: форму деталей и їхнє взаємне розташування в конструкції. Ці Властивості відображаються за помощью структурних математичних моделей, что могут бут...
