论文部分内容阅读
在阐述空间结构建模基本方法的基础上,介绍了形式代数的发展现状、基本概念及其基本理论.通过一个以形式代数理论为基础的建模软件,阐述了其在异形网壳建模过程中的应用.提出形式代数中的libra函数可应用于任意可用函数表达的空间结构的观点,解决了形式代数中由于形式函数的限制使其无法应用于任意形式的函数曲面的限制.总结了形式代数的建模特点和形式代数及其建模软件还存在的一些不足之处.