基于策略的仿真系统评估模式-计算机软件理论专业论文.docxVIP

AbstractW Abstract W1tn the development of simulation technology，people begin to think much of it．The correctness and the reliability of simulating results become more and more important． Whether the final result is correct or not will immediately affect the followin2 application and the decision process based Oil it．A non．correct simulating resuIt mav Iead to a terrible decision fault or training accident．In a sense，if the simulating is not correct and reliable，the result from the simulating process is totally useless．So how to eValuate the correctness and the reliability of simulation system is a focus at a11 times through the simulation theory and technology research． The technology of evaluating simulation systems is called VVA，including verification，validation and accreditation． Verification is concerned with the correctness of the translation process from the conceptual model into executable form． V alidatlon is concemed with determining whether the conceptual simulation model is an accurate representation of the system under study．Accreditation is executed bv aJl authoritative organization，which determines whether the simulation is acceptable or not ba∞d Oil previous verification and validation．VVA has its oWn policies and 吼andards including VV technologies and special requests in every VV phrase． With the development of complex simulation systems and distributed simulation system文some problems appears which the traditional VV technologies can not handle，SO the research on new VV technologies becomes importaJlt． Dynamic behaviors of simulation program and simulation engine and the interactions between them call’t be evaluated through traditional VV technologv．So a new VV panem to solve this kind of problem based on dynamic policy enforcement is presented·The new VV pattern contains six model elements and constraint is formally described as policy．The policy is enforced by the policy engine and we can detect problems during simulation．Compared to traditional