下行法 装备研制合同风险 最小割集 二元决策图 风险识别 上行法 发控系统