基于约束型程序设计风范的ICAD系统

The ICAD System of Binding Programming Paradigm

在参数化绘图系统中 ,有关图形的知识可通过图素间的结构信息 ,图素自身的坐标及尺寸表达 ,面向约束的程序设计风范十分适合于处理该类问题 .本文中 ,首先介绍了约束型程序设计风范的概念 ,然后介绍了在智能CAD系统中约束定义的形式 。

In the parameter drawing system, information about graphs can be expressed by messages of the structure of drawing elements,coordination and size of drawing elements. Binding programming paradigm is applicable for the solution of this kind of problems. In this essay the binding programming paradigm is to be first introduced, and then the form of binding concept in the Intelligent Terminal CAD system and the methods to solve the problems based on the binding type .