首页 | 本学科首页   官方微博 | 高级检索  
     

CASL:基于代数规范的几何成型
引用本文:袁伟,孙永强. CASL:基于代数规范的几何成型[J]. 宜春学院学报, 2011, 33(4): 7-9
作者姓名:袁伟  孙永强
作者单位:1. 上海大学计算机学院,上海,200072
2. 上海交通大学计算机系,上海,200030
摘    要:论文综合论述了代数规范方法在CAD几何成型中的应用[1,2,3]。首先阐述的是代数规范语言的概念,接下来通过引入反射函数,举例说明如何采用CASL语言在其代数性质方面的优点来描述基于n-维通用映射规范的几何成型数学模型。从而形成了高层次的几何成型操作的抽象描述。最后,简单地描述了CASL语言描述的规范到XAML描述的变换实现。

关 键 词:代数规范语言  几何学成型  计算机辅助设计

CASL: Algebraic Specification Approach to Geometric Modeling
YUAN Wei,SUN Yong-qiang. CASL: Algebraic Specification Approach to Geometric Modeling[J]. Journal of Yichun University, 2011, 33(4): 7-9
Authors:YUAN Wei  SUN Yong-qiang
Affiliation:1.College of Computer Science and Engineering,Shanghai University,Shanghai 200072 China; 2.Department of Computer Science and Engineer,Shanghai Jiaotong University,Shanghai 200030 China)
Abstract:
Keywords:
本文献已被 CNKI 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号