文摘
英文文摘
声明
第1章绪论
1.1本课题的学术背景及其理论与实际意义
1.2国内外文献综述
1.2.1国内外相关领域研究状况
1.2.2国内外相关技术发展现状
1.3课题来源及主要研究内容
1.3.1课题来源
1.3.2主要研究内容
第2章特征模型理论的分析与HUST-CAID系统
2.1特征的概念与分类
2.2特征之间的约束关系及求解方法
2.2.1约束的概念及分类
2.2.2约束的求解方法
2.3基于约束满足的有效性维护机制
2.4 HUST-CAID系统简介
2.5本章小结
第3章特征模型直接操作的分析与研究
3.1引言
3.1.1特征模型
3.1.2传统特征操作的局限性
3.2对特征模型的直接操作
3.2.1特征操作阶段分析
3.2.2约束管理器
3.3特征句柄的类型
3.4特征交互措施
3.5本章小结
第4章特征交互中产生操作约束模型
4.1引言
4.2直接操作中模型的有效性维护
4.3约束求解器驱动的模型编辑
4.3.1产生操作约束模型
4.3.2使用操作约束模型
4.4本章小结
第5章基于自由度分析的约束求解机制
5.1自由度分析
5.1.1活动分析
5.1.2场所分析
5.2特征依赖图
5.3过约束模型
5.4欠约束模型
5.5本章小结
第6章HUST-CAID系统中直接操作的约束求解分析
6.1 HUST-CAID系统
6.1.1 HUST-CAID系统中的特征类
6.1.2高层约束图
6.2求解的具体实现过程
6.2.1 Kramer图
6.2.2高层约束图到Kramer图的映射
6.2.3 Kramer求解策略
6.3运算法则
6.3.1产生预处理Kramer图
6.3.2使用预处 Kramer图
6.4技术性能分析
6.5实例分析
6.6本章小结
结论
参考文献
攻读学位期间发表的学术论文
致谢