火炮系统总体优化设计的形式方法探讨

摘要

提出了一个用于总体优化设计的形式方法──设计方案空间方法，形式地描述地面火炮系统设计过程，找出总体设计、评价、优化的关系，以形成集成ＣＡＤ系统，支持地面火炮系统总体优化设计。实验系统用ＦＯＲＴＲＡＮ和Ｃ语言编写，运行在ＳＧＩ工作站上。