采用形式代数法来描述空间结构，详细分析了ＡＬＧＯＲ ＦＥＡＳ软件的前、后处理功能及其数据结构，编写了形式代数法模型库软件包以及与ＡＬＧＯＲ ＦＥＡＳ软件之间的接......