31.01.2015 Views

ПРИНЦИП ПРЕДЕЛЬНЫХ ОБОБЩЕНИЙ: методология, задачи ...

ПРИНЦИП ПРЕДЕЛЬНЫХ ОБОБЩЕНИЙ: методология, задачи ...

ПРИНЦИП ПРЕДЕЛЬНЫХ ОБОБЩЕНИЙ: методология, задачи ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

353<br />

Важно отметить, что прямой и обратный логический вывод<br />

осуществляются без использования каких-либо методов (механизмов),<br />

указанных в отображениях. Для согласования доменов тестов в разных ФО<br />

ключевую роль играет Банк тестов {G(τ)}. Если домен у какого-либо теста<br />

не указан, то по умолчанию используется базовый домен.<br />

а) Прямой вывод<br />

б) Обратный вывод<br />

Рис. 7.22 – Все тесты ПрО<br />

Рис. 7.23 – Вывод<br />

Фрагмент общего списка объектов МБкЗ приведен на рис. 7.24.<br />

Рис. 7.24 – Фрагмент общего списка объектов МБкЗ

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!