3.1 装备保障系统模型的逻辑结构和形式化描述