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

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

Reference model and formal analysis for requirements of equipment systems

In order to clarify what requirements of equipment systems should be,a reference model is brought forward,which focuses on the relations between equipment systems and the problems to be solved.By using the formulas of higher-order logic,the paper describes the relations to be satisfied by the military requirements of equipment systems and requirements specification,and the propositions of adequateness and necessity are also included.The necessity of military requirements merits some appreciation so as to avoid the interference of wrong properties.The necessity of requirements specification gives direct responsibilities to the military and technical workers,and helps them to divide the work.Finally,proof obligations are discussed and verified.The analysis shows that the proof obligations are consistent and feasible.