Formal modeling analysis of military requirement assessment

Abstract

In order to assess military requirement scientifically and effectively, through steps division of stages, determination of assessment object and construction of assessment indicators are systematically described the military requirement assessment problem. Adopt formal language, focus on description of requirement value in the requirements demonstration stage, capability valve in the implementation stage and assessment satisfaction value in the inspection stage assessment. Study their assessments trends. Based on Kalman filter ideas, conduct experimental analysis on the proposed formal model. The results show that assessment trend can gradually approach the ideal value, and errors can converge. Factors such as assessment cycle, initial assessment value, expected error, measurement error will have an impact on both the assessment trend and the assessment results. Relationship between the comprehensive assessment results and the sub assessment indicators are non-linear. The results indicate that the basic laws of assessment can be characterized by established formal model. Research results can provide a theoretical basis of military requirement assessment.

Keywords

• requirement assessment|kalman filter|formal analysis