试前可验证正确性的高炮标准值程序设计方法  

A Preverifiable ProgramDesign Method for Firing Data Accuracy of Antiaircraft Gun

作　　者：史海龙 王晶晶 化斌斌 任成才 杜伟 SHI Hai-long;WANG Jing-jing;HUA Bin-bin;REN Cheng-cai;DU Wei(Unit 63850 of PLA,Baicheng 137001,China;Unit 32200 of PLA,Jinzhou 121000,China)

机构地区：[1]解放军63850部队,吉林白城137001 [2]解放军32200部队,辽宁锦州121000

出　　处：《火力与指挥控制》2020年第5期193-197,共5页Fire Control & Command Control

摘　　要：为保证高炮动态射击诸元标准值程序能够在动飞试验前保证正确性,应用开放-封闭原则建立算法和适用于此算法的测试流程。算法基于所建立的中介坐标系,通过抽象出不同射表的通用接口,区分开程序中变化部分与不变部分,将算法复杂度从动态解题难度简化到静态解题难度;通过在不同试验间共享测试过程,使依此算法编写的程序不变部分和变化部分都可以在动飞试验前经过实际试验的检验。在多种高炮武器系统定型试验中的应用表明,此种方法可以在动飞试验前保证程序的正确性。In order to guarantee the correctness of the program for firing data accuracy of antiaircraft gun before dynamic flight test,a algorithm is proposed by applying the open-close principle and a testing flow for the algorithm is built.Based on the intermediate coordinate system established in this paper,the general interface of various firing table is abstracted through distinguishing the changing part from the invariant part of the program.the algorithm complexicy is decreased from dynamic problem solving to static problem solving.Through sharing the test process in different experients,the changing part and invariant part of the program can be tested before the dynamic flight test.The program is used in many approval test of antiaircraft gun system,and the rusults show that the correctness of the program can be guaranteed before the dynamic flight test.

关 键 词：高炮 动态射击诸元标准值算法 正确性验证 程序设计 

分 类 号：TJ35[兵器科学与技术—火炮、自动武器与弹药工程] TN957[电子电信—信号与信息处理]