[1] 王玉新. 数字化设计. 北京: 机械工业出版社, 2003: 1-5.
[2] 张京辉. 绿色设计与机械制造业的可持续发展. 现代制造工程, 2003, 8(S1): 88-90.
[3] 张宝源, 席平. 三维标注技术发展概况. 工程图学学报, 2011, 32(4): 74-79.
[4] 王涛. 广义产品建模方法的研究[D]. 北京: 清华大学, 2004.
[5] 董玉德, 谭建荣, 赵韩. 基于约束参数化的设计技术研究现状分析. 中国图象图形学报, 2002,7(6): 532-538.
[6] 唐荣锡, 汪嘉业, 彭群生, 等. 计算机图形学教程(修订版). 北京: 科学出版社, 2000: 33-152.
[7] GOLDMAN R. 计算机图形学与几何造型导论. 北京: 清华大学出版社, 2011: 293-303.
[8] FERGUSON J C. Multivariable curve interpolation[R]. Seattle: The Boeing Co., 1963.
[9] BÉZIER P E. Numerical control–mathematics and application. London: Forrest trans, 1972.
[10] BARNHILL R E, RIESENFELD R F. Computer-aided geometric design. Pittsburgh Academic Press, 1974.
[11] VERSPRILLE K J. Computer aided design application of rational B-spline approximation form [D]. Syracuse: Syracuse University, 1975.
[12] SEDERBERG T W, ZHENG J, BAKENOV A, et al. T-splines and T-NURCCs. ACM Transactions on Graphics, 2003, 22(3): 161-172.
[13] 吴睿, 刘华明, 李刚. 基于工程约束的参数化设计技术研究. 机械科学与技术, 2000, 19(4): 539-540.
[14] SUTHERLAND I E. Sketchpad, a man-machine graphical communication system// Proceedings of the Spring Joint Computer Conference. Detroit, 1963: 329-345.
[15] 高小山, 蒋鲲. 几何约束求解综述. 计算机辅助设计与图形学学报, 2004, 16(4): 385-396.
[16] HOFFMANN C M, JOAN-ARINYO R. A brief on constraint solving. Computer Aided Design and Applications, 2005, 2(5): 655-692.
[17] 石志良. 几何约束系统建模与求解方法研究 [D]. 武汉: 华中科技大学, 2006.
[18] 林强, 高小山, 刘媛媛, 等. 基于几何约束求解的完备方法. 计算机辅助设计与图形学学报, 2007, 19(7): 828-834.
[19] LIN V C, GOSSARD D C, LIGHT R A. Variational geometry in computer-aided design. Computer Graphics, 1981, 15(3) :171-177.
[20] NELSON G. Juno, a constraint-based graphics system. ACM SIGGRAPH Computer Graphics, 1985, 19(3): 235-243.
[21] LIGHT R, GOSSARD D. Modification of geometric models through variational geometry. Computer-Aided Design, 1982, 14(4): 208-214.
[22] GE J X, CHOU S C, GAO X S. Geometric constraint satisfaction using optimization methods. Computer-Aided Design, 1999, 31(14):867-879.
[23] LAMURE H, MICHELUCCI D. Solving geometric constraints by homotopy. IEEE Transactions on Visualization and Computer Graphics, 1996, 2(1): 28-34.
[24] PENG X B, LEE K, CHEN L P. A geometric constraint solver for 3-D assembly modeling. International Journal of Advanced Manufacturing Technology, 2006, 28(5-6): 561-570.
[25] BUCHBERGER B. Applications of Gröbner bases in non-linear computational geometry//Proceedings of the International Symposium on Trends in Computer Algebra. London: Springer-Verlag, 1988: 52-80.
[26] HOFFMANN C M. Solid and geometric modeling. San Francisco: Morgan Kaufmann, 1992: 257-302.
[27] KONDO K. PIGMOD: parametric and interactive geometric modeler for mechanical design. Computer-Aided Design, 1990, 22(10): 633-644.
[28] KONDO K. Algebraic method for manipulation of dimensional relationships in geometric models. Computer-Aided Design, 1992, 24(3): 141-147.
[29] 吴文俊. 几何定理机器证明. 自然科学进展, 1992(1): 1-14.
[30] GAO X S, CHOU S C. Solving geometric constraint systems II. a symbolic computational approach. Computer-Aided Design, 1998, 30(2): 115-122.
[31] DEEPARK K. Automatic geometry reasoning: Dixon resultant, Gröbner basis, and characteristic set[R]. New York: State University of New York, 1995.
[32] 杨路, 张景中, 侯晓荣. 非线性代数方程组与定理机器证明. 上海: 上海科技教育出版社, 1996: 23-38.
[33] OWEN J. Algebraic solution for geometry from dimensional constraints // Proceedings of ACM Symposium on Solid Modeling Foundation. Austin, 1991: 397- 407.
[34] OWEN J. Constraints of simple geometry in two and three dimensions. International Journal of Computer Geometry and Its Applications, 1996, 6(5): 421-423.
[35] LATHAM R S, MIDDLEDITCH A E. Connectivity analysis: a tool for processing geometric constraints. Computer-Aided Design, 1996, 28(11): 917- 928.
[36] JOAN-ARINYO R, SOTO-RIERA A, VILA-MARTA S, et al. Revisiting decomposition analysis of geometric constraint graphs. Computer-Aided Design, 2004, 36(2): 123-140.
[37] 高小山, 黄磊东, 蒋鲲. 求解几何约束问题的几何变换法. 中国科学(E辑), 2001, 31(2): 182-192.
[38] 高小山, 张桂芳, 杨伟强. 几何约束求解与复杂连杆机构的模拟. 计算机辅助设计与图形学学报, 2003, 15(5): 517-522.
[39] GAO X S, LIN Q, ZHANG G. A C-tree decomposition algorithm for 2D and 3D geometric constraint solving. Computer-Aided Design, 2006, 38(1): 1-13.
[40] HOFFMANN C M, LOMONOSOV A, SITHARAM M. Decomposition plans for geometric constraint systems (Part I). Performance measures for CAD. Journal of Symbolic Computation, 2001, 31(4): 367- 408.
[41] FUDOS I, HOFFMANN C M. A graph-constructive approach to solving systems of geometric constraints. ACM Transactions on Graphics, 1997, 16(2): 179-216.
[42] KRAMER G. Solving geometric constraint systems//Proceedings of AAAI-90. Boston, 1990: 1038-1044.
[43] KRAMER G. Solving geometric constraint systems a case study in kinematics. Computer-Aided Design, 1993, 25(10): 678-679.
[44] 乔雨, 王波兴, 向文. 基于自由度分析的三维几何约束推理求解. 计算机辅助设计与图形学学报, 2002, 14(6): 557-561.
[45] 陈立平. 几何约束系统最大归约理论及应用研究[D]. 武汉: 华中理工大学, 1995.
[46] 李彦涛, 胡事民, 孙家广. 一个几何约束系统分解的新算法. 计算机辅助设计与图形学学报, 2000, 12(12): 926-930.
[47] ALDEFELD B. Variation of geometries based on a geometric-reasoning method. Computer-Aided Design, 1988, 20(3): 117-126.
[48] SUZUKI H, ANDO H, KIMURA F. Geometric constraints and reasoning for geometric CAD systems. Computer & Graphics, 1990, 14(2): 211-224.
[49] SUNDE G. Specification of shape by dimensions and other geometric constraints//Geometric modeling for CAD applications. Amsterdam: North-Holland, 1988: 199-213.
[50] GAO X S, CHOU S C. Solving geometric constraint systems I: A global propagation approach. Computer-Aided Design, 1998, 30(1): 47-54.
[51] BRÜDERLIN B D. Constructing three-dimensional geometric objects defined by constraints// Proceedings of Workshop on Interactive 3D Graphics. New York: ACM Press, 1986:111-129.
[52] VERROUST A, SCHONEK F, ROLLER D. Rule-oriented method for parameterized computer aided design. Computer-Aided Design, 1992, 24(10): 531-540.
[53] GAO X S, JIANG K, ZHU C C. Geometric constraints solving with conics and linkage. Computer-Aided Design, 2002, 34(6): 421- 433.
[54] 潘双夏, 张帅, 冯培恩. 基于工程约束的产品参数化建模策略研究. 计算机辅助设计与图形学学报, 2001, 13(9): 840-845.
[55] ANDERL R, MENDGEN R. Modelling with constraints: theoretical foundation and application. Computer-Aided Design, 1996, 28(3): 155-168.
[56] 孙兆洋, 刘继红. 设计思考过程模型中设计意图的表达. 机械工程学报, 2009, 45(8):182-189.
[57] 赵晖. 设计知识重用使能技术研究与实践 [D]. 北京: 北京航空航天大学, 2006.
[58] ROCCA G L. Knowledge based engineering: Between AI and CAD. Review of a language based technology to support engineering design. Advanced Engineering Informatics, 2012, 26(2):159–179.
[59] CHANDRASEGARAN S K, RAMANI K, SRIRAM R D, et al. The evolution, challenges, and future of knowledge representation in product design systems. Computer-Aided Design, 2013, 45(2):204–228.
[60] 蔡良鹏. 基于知识的CAD建模与装配的关键技术研究及应用 [D]. 北京: 北京航空航天大学, 2007.
[61] 刘伟. 智能CAPP系统中工艺路线和切削参数的决策研究 [D]. 天津: 天津大学, 2010.
[62] 郭晶, 张振明, 田锡天,等. 基于知识的热处理工艺设计技术. 制造业自动化, 2012, 34(12):34-37.
[63] 龚晶, 刘检华, 赵柏萱,等. 基于知识的管路布局自动评价技术. 计算机集成制造系统, 2014, 20(10): 2522-2531.
[64] 潘志毅, 黄翔, 李迎光. 基于有向图邻接矩阵扩展的产品设计智能导航. 计算机集成制造系统, 2009, 15(3):445-450.
[65] 周伟祝, 宦婧. 新的面向对象知识表示方法. 计算机应用, 2012, 32(S2):16-18.
[66] 王小华, 荣命哲, 吴翊,等. 高压断路器故障诊断专家系统中快速诊断及新知识获取方法. 中国电机工程学报, 2007, 27(3):95-99.
[67] 顾嘉运, 刘晋飞, 陈明. 基于SVM的大样本数据回归预测改进算法. 计算机工程, 2014(1):161-166.
[68] 王元卓, 贾岩涛, 刘大伟,等. 基于开放网络知识的信息检索与数据挖掘. 计算机研究与发展, 2015, 52(2):456-474.
[69] 张轶辉, 吕勇, 张贵. 基于知识本体提纯的无人机故障数据采集仿真. 计算机仿真, 2014, 31(11):88-91.
[70] 杨清平, 蒲国林, 王刚,等. 基于交互历史的多Agent自动协商研究. 计算机科学, 2008, 35(9):226-229.
[71] 汪浩祥, 严洪森. 基于多Agent可互操作知识化制造动态自适应调度策略. 控制与决策, 2013, 28(2):161-168.
[72] 石慧, 魏玲. 面向对象(属性)概念格的布尔表达. 南京大学学报(自然科学版), 2015, 51(2): 415-420.
[73] 万青, 魏玲, 李涛. 一种基于并不可约元的建格新方法. 西北大学学报,2013, 43(1): 10-14.
[74] 周受钦, 凌卫青, 谢友柏. 集成信息CAD系统中的知识建模与数据映射分析. 西安交通大学学报, 2000, 34(9):77-81.
[75] 凌卫青, 耿海鹏, 谢友柏. 产品性能因素描述构架的建立. 计算机辅助设计与图形学报, 2003, 15(2):144-149.
[76] 戴旭东, 谢友柏. 产品性能特征建模及以性能特征驱动的产品现代设计模式. 计算机工程与应用, 2003(3): 43-46.
[77] 赵艾萍, 凌卫青, 谢友柏. 支持性能驱动设计的产品性能表达. 计算机辅助设计与图形学学报, 2002, 14(11):1020-1025.
[78] HICKS B J, MEDLAND A J , MULLINEUX G. The representation and handling of constraints for the design, analysis, and optimization of high speed machinery. Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 2006, 20: 313-328.
[79] MULLINEUX G. Constraint resolution using optimisation techniques. Computers & Graphics, 2001, 25: 483-492.
[80] MATTHEWS J A. A Constraint-based approach for assessing the capabilities of existing design to handle product variation [D]. Bath: University of Bath, 2007. |