logo
САПР_ЛЕКЦИЯ 01 Б

Аксиоматическая модель

При создании аксиоматической модели исходят из необходимости всестороннего научного исследования и рационального объяснения состояний и поведения системы на базе локально определенных предположений относительно внутренних механизмов ее жизнедеятельности.

Ключевым моментом здесь является разработка совокупности положений (аксиом), экспликация которых способна привести к искомым моделям. Модели получаются в результате формального вывода из аксиом отображений реальных внутрисистемных процессов, происходящих в некоторых заданных или произвольных локальных окрестностях состояний систем, рис. 1.

Вербальное описание

Система аксиом

Аксиоматическая модель

2

3

1

4

5

ОБЪЕКТ

ТЕОРИЯ

6

7

Рис. 1. Схема построения аксиоматической модели:

1 - составление вербального описания; 2 - формализация вербального описания, построение системы аксиом; 3 - построение модели; 4 - построение теории, объясняющей поведение системы; 5 - анализ границ формальной правильности и содержательной истинности модели; 6 - научное объяснение экспериментальных фактов; 7 - экспериментальное подтверждение выводов теории

В силу ограниченности аксиоматических систем полученные модели также являются ограниченными. В них отображаются лишь выявленные при составлении аксиом и закрепленные в них внутренние механизмы.