Page 13 - 4592
P. 13

-  статистичний,

                      -  системно–структурний,
                      -   кібернетичний
                      -  теоретично інформативні методи досліджень.
                      Аксіоматичний  метод  –  це  засіб  побудови,  при  якому  без

               доведення  приймаються  деякі  твердження  аксіоми,  а  потім
               використовуються  для  підтвердження  інших  правил  теорем,
               логічних правил.

                      Аксіоматичний  підхід  є  одним  з  найпоширеніших
               формальних підходів. Необхідними припущеннями при побудові
               аксіоматичних моделей систем є:

                      –  достатність          математичної           моделі       для      всебічного
                          дослідження  відповідно  до  мети  моделювання  у
                          визначених умовах;

                      –  наявність          множини           базових         припущень            щодо
                          найхарактерніших форм та виявів внутрішніх системних
                          механізмів,  що  повинні  бути  вивчені,  або  процедури  їх
                          виявлення.

                      Таким  чином,  математична  модель  будується  на  грунті
               використання  базових  припущень  (аксіом),  які,  в  свою  чергу,
               повинні відповідати наступним вимогам:

                      –  базові припущення створюються, використовуючи наявне
                          змістовне описання функціонування системи в аспектах,
                          що підлягають пізнанню;
                      –  базові  припущення  повинні  утворювати  абстрактну

                          систему,  до  складу  якої  входитимуть:  визначення  –
                          терміни  деякої  формальної  мови  описання  змінних
                          предметної  області;  вирази  –  складаютьсяз  термінів  та

                          символів         математичних             операцій,         які      є     або
                          дискрептивним визначенням характеристик властивостей
                          системи,  або  правила,  що  встановлюють  закони

                          формального виведення нових виразів;
                      –  система базових припущень повинна бути формально та
                          змістовно несуперечливою системою аксіом.

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

                                                           13
   8   9   10   11   12   13   14   15   16   17   18