装备体系需求参考模型及形式化分析

摘要

针对装备体系需求的内涵模糊的问题,提出了装备体系需求参考模型--强调装备体系与它能够解决的问题之间的关系.基于高阶逻辑分析,描述了装备体系军事需求及需求规格必须满足的关系,给出了充分性命题和必要性命题;讨论了装备体系需求和需求规格的命题一致性、合理性.装备体系需求必要性命题有助于正确评价需求、避免获取一些错误特性;装备体系需求规格必要性命题有助于人员在需求规格开发中正确分工.