Research On The Credibility Of Warfare Simulation System

The credibility is the lifeline of warfare simulation. To excute verification, validation and accreditation (VV&A) is an important approach to insure the credibility of warfare simulation system through out the life circle. Aiming at the characteristics of warfare simulation system, the VV&A collectivity, formalization modeling, primary VV&A processes, and credibility evaluation are researched thoroughly in the dissertation. The research production was applied in VV&A for a joint warfare simulation system as an example, and got great effect.First of all, the VV&A collectivity is studied as the basic theoretics, the research framework, methodology, principle, process model and mechanism in the dissertation. The formal definition of VV&A is put forward based on the expatiation of VV&A conception. According to warfare simulation, the collectivity framework of VV&A is brought forward macroscopically. Three methodologies including meta-synthesis, VV&A cube and WSR, are advanced to VV&A research on warfare simulation. On the base of comprehensive analysis on VV&A and VV&T (verification, validation and test) of normal simulation system, five principles for warfare simulation system are induced in this dissertation. Accroding to the development process of actual warfare simulation system, a relative process model is built. The mechanism of personnel and task decomposition is studied, in which VV&A construction and task decomposition arithmetic is designed.Secondly, in order to make criteria and standard VV&A process and its management discreption, the formal models of management is carried out, in which the details of use case, static construction, dynamic activities and interactions are modeled based on UML. Among these models, some are included with activity agent. VV&A process models dicrepted in IDEF0 and its formal definition are also put forward so as to show the warfare simulation VV&A process roundly.Thirdly, the four primary VV&A processes, requirement verification, military conceptual model (MCM) validation, mathematical model verification and validation (V&V), and software model verification and validation are studied focously. The method, strategy and index for requirement verification are researched on the base of formal definition, especially for the consistent verification in sematic and syntax. The formal definition of MCM validation and the arithmetic of ontology consistency validation are given. Especially, the method and index of validation are studied. Having been classified and formal definition, the verification mechanism of mathematical model is brought forward, and six verification indexes are summarized. Several practicable V&V methods for mathematical model are summarized according to practical project. An idea which is used to validate the validity of mathematical models in three levels including behavior, states structure and united structure is put out. The software models of warfare simulation system are arranged by hiberarchy, and the formal definition of software models V&V is also given. By introducing software test method, the method and technique of software models V&V based on object-oriented theory are studied. The research on software models'verification is carried out in three aspects, including arithmetic, flow chart and codes. The software models validation is studied from two aspects of theoric validation and software test, and three layers of simulation software unit, simulation software components and simulation system. And some tests are given as examples.Fourthly, credibility evaluation of warfare simulation system is also studied. Three styles of credibility evaluation are discussed and two types of evaluation manners are put forward from differentiating the relation between credibility and VV&A. A suit of index system for credibility evaluation is established from engineering practice. On the base of analysis and comparison with excisted evaluation methods, the subject integrate judgement method and quantitative weights formular for subject matter expert (SME) are put out, aiming at the characteristics of giving prominence to the function of SME in the credibility evaluation of military requirement and MCM. In ordr to evaluate the dynamic output of warfare models availably, a grayer correlative synthetic evaluation method is advanced.Finally, a credibility evaluation practice for a joint warfare simulation system, in which the author participates, is taken as an example, the application that the research of this dissertation used in VV&A and credibility evaluation of the system is introduced. The result shows that the research of this dissertation has a positive impact on promoting the construction of the simulation system and insuring its credibility, a nicer foundation for the future construction of the system is established.In a word, the academic system of VV&A is enriched by the research of this dissertation, the VV&A activity and credibility evaluation carried out play an important role to insure the credibility of the warfare simulation system, the VV&A standard for warfare simulation system, the index system of the credibility evaluation and the series of the document templates which are formed through the research will have an effect on the VV&A standard for our nation and army.