General-Service Ballistic Computer Programming Based on B-Method  

作　　者：郑宇军 张子丘 王金全 薛锦云 

机构地区：[1]Institute of Software, Chinese Academy of Sciences, Beijing 100080, China [2]Armament Demonstration and Research Center, Beijing 100034, China [3]System Engineering Research Institute of Engineer Equipment, Beijing 100093, China [4]College of Computer Information Engineering, Jiangxi Normal University, Nanchang 330027 Jiangxi, China

出　　处：《Defence Technology（防务技术）》2006年第3期178-183,共6页Defence Technology

基　　金：Sponsored by National Natural Science Foundation （60273092, 60573080） and National Grand Fundamental Research 973 Program of China （2003CCA02800）

关 键 词：抽象机 精化 弹道 程序设计 

分 类 号：TJ012[兵器科学与技术—兵器发射理论与技术]