摘要：基于图论的约束求解方法是目前参数化设计的主要方法,此方法已经应用于许多商品化软件中。该文提出了一个基于几何约束图的参数化设计模型,并给出了参数化模型的数据结构和约束求解算法。此算法可以有效地检查系统的过约束和欠约束情况。

摘要：空间布局的自动化是智能ＣＡＤ领域的研究方向之一，旨在为设计师提供智能辅助工具，用于求解在建筑、厂房设备、大规模集成电路以及产品包装等等若干领域出现的布局问题．图论方法是空间布局研究的主要途径之一．以往的布局模型由于难以充分表达知识与约束，使得设计过程与结果难以控制．本文提出一种可应用于２Ｄ及３Ｄ布局的规范约束图及层次约束图模型，给出了约束图解的存在条件．该模型可以表示精细的布局知识与约束，在一定程度上克服了以往图模型不能充分表达布局知识与约束的不足．

摘要：本文提出了一种基于图结构描述的二维图形几何约束模型的建立及存储方法。该方法利用图论的概念和原理,提出用无向图的结构描述一个几何约束系统,用约束图表示图形的约束信息,规则图则用来表达几何推理的过程,同时利用面向对象的技术建立一种扩展的图的邻接表的数据结构来存储约束模型。这种方法对约束的分类及表达清晰、直观,能够处理各种约束信息,效率及可靠性较高。

摘要：从人体及服装的特点出发,提出三维服装几何元素的概念采用样条曲线作为基本几何元素,归纳出服装的三种约束关系,即共点、对称和自对称关系;成为约束关系形成的基础 以三种约束关系为基础,建立了面向服装的几何约束图,有效地表达了三维服装几何元素及其相互关系;实现了一种基于约束图的约束求解方法,从而完成了构造服装及对服装的交互参数化修改,文中给出了应用实例,并将参数化方法向高层次图素如样条曲线、曲面作了推广,成功地应用于以样条曲线为几何元素的参数化服装CAD系统中。

摘要：基于约束的参数化描述及求解是计算机辅助设计研究的一个热点 ,欠约束图的求解是参数化设计的基本问题 ,为了提高欠约束草图求解的参数化设计效率 ,提出了一种基于隐式约束优先级的欠约束草图求解方法 ,并首先给出了欠约束图求解的一般方法以及欠约束图的基本特征 ,提出了利用隐式约束去匹配缺少的显式约束 ;然后将隐式约束按照一定的规则分成不同的优先级 ,再利用优先级高的隐式约束去匹配变动约束图中的欠约束 ,直到完成约束图的有向化 ;最后 ,探讨了无尺寸约束图有向化过程中的基本特点 ,并给出了无尺寸约束图的求解算法和应用实例。实例应用结果表明 。

摘要：提出了一种基于自由度分析的约束传播算法，求解二维参数设计中所建立的几何约束模型。用约束图表示几何元素及它们之间的约束关系，用规则图表达求解推理的过程，采用基于规则的推理与数值计算相结合，并基于自由度分析的约束求解策略，提高了算法的效率和可靠性。

摘要：与六自由度并联机构相比,三自由度并联机构结构简单、易于控制、制造成本低,发展前景广阔。并联机构位置正解研究可为机构的设计提供必要的依据,然而到目前为止,Stewart平台位置正解的求解问题还未彻底解决。采用基于图论的自由度分析法和基于吴消元法的符号计算方法,研究了平面广义Stewart平台的位置正解求解策略。先将平面广义Stewart平台的位置正解问题转化为约束图,再对约束图进行完整约束完备化,生成构造序列,降低同时求解的方程组规模,并用吴消元法求得方程组对应的闭形解。最后对平面广义Stewart平台位置正解进行了基于MapleSim软件的仿真,用实例验证了方法的有效性。

摘要：本文针对具有严格时间要求的系统,阐述并分析了三种利用实时逻辑实现时间约束检测的方法。第一种方法通过检测系统规范和安全性断言的一致性来验证约束的满足性,非常适合于系统规范的设计与可满足性检测,算法的时间复杂度是O(n^2)+O(n^2)+O(2~k)。第二种方法利用实时逻辑与约束图的方法实现运行时的时间约束检测,但检测时的系统约束条件不够第三种方法简约,算法时间复杂度为O(n^3),改进之后为O(n^2)。第三种方法通过对约束图的处理,减少运行时系统检测的约束条件,从而减少运行时的时间约束条件的搜索时间,算法的时间复杂度为O(n),在实时性和检测效率明显优于前两种方法。但需要运行前优化约束规则,将会增加额外的时间和空间复杂度。

摘要：采用约束图 (无向图 )来表达几何系统的柔性约束关系模型 ,通过面向对象技术用类封装系统几何基元并通过无向图的扩展邻接多重表来构建该系统模型 ;对不同约束的具体处理方法可归纳并规范为处理规则 ,规则也采用规则图 (无向图 )的形式来表达 ,对于每一个规则 ,设一个标识。我们建立两种典型类型的规则图 ,对应于两种类型的规则图分别建立两个函数 ,在函数体中根据规则的标识将规则映射为方程(组 ) ,通过数值算法得到方程 (组 )的解 ;在约束模型推理求解过程中 ,根据人工智能技术中深度优先搜索算法并结合几何元素的自由度分析 ,搜索到可依次求解未知元素的约束子图 ,对于约束子图我们同样设一标识 ,约束子图和规则图通过标识相匹配 ,根据规则图的类型 。

摘要：Lano提出了一种用形式化方法RTL与Z++结合来建模实时系统的方法,并对RTL进行扩展,增强了RTL的表达能力,但对于时间要求非常严格的系统,有时并不能满足系统实时性的要求。可以进一步结合***方法,对表达系统时间约束的RTL公式进行优化,然后再转化为Z++类history中RTL公式,使history中的谓词公式更简要更完整,从而减少了检测时间,提高实时响应能力。