基于特征分解的半空间构造实体几何模型转换算法

为了解决大型通用粒子输运计算程序MCNP建模困难的问题,提出一种基于特征分解的BRep模型到MCNP半空间构造实体几何(CSG)模型转换算法。该算法定义了半空间转换元的概念,并以此概念为基础,提出以几何特征和拓扑结构为依据的BRep模型识别方式;根据不同的特征,算法构造了合适的分解面,将Brep模型分解为半空间转换元组合,并为存在半空间描述歧义的转换元添加了合适的辅助面。通过多个模型的算法测试展示了算法的模型转换能力,通过效率测试验证了算法的计算效率,结果证明所提算法大幅提高了MCNP输入文件的制作效率。

多态性构件及其代数规范

可复用构件往往需要引入多态性支持,但是这给构件的形式化定义带来很多困难。采用代数规范系统来定义空间几何实体构件的组织结构及其行为特征,可以有效的支持构件的数据和行为多态性。在多层次的代数规范理论基础上,引入了构件的参数化多态和包含多态,建立了空间几何的实体多态性构件系统,实例表明了系统对于数据和行为多态性方面的有效性。