Аксиома модели системы
Аксиома 1.1. .
Эта аксиома утверждает, что система обладает требуемым ПВС Q, требуемым ППЭ Ф, характеризуется требуемой величиной показателя ЭП I и существуют три характеристики ПВС, ППЭ и ЭП, удовлетворяющие соотношению . Эта аксиома позволяет задать основной признак целевой системы.
Введём следующие предикаты.
В - сторона развернула -телъную группировку с РСОУ , с ППЭ и требуемой величиной показателя потенциальной ЭП , определенной на основе аксиомы 1.1.
Где элементы есть предметные переменные, а изменяющиеся символы обеспечивают конкретизацию предметных переменных.
- РСОУ группировки стороны << >> поглощает РСОУ группировки стороны " ", то есть множество является подмножеством .
- показатель ЭП группировки стороны «» в условиях применения группировки противостоящей стороны уменьшиться до величины . 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | Поиск по сайту:
|