约束图相关论文
指针分析,是指通过对源程序的分析近似地求出源程序中指针表达式所指向的目标,它在程序静态分析领域中有着非常重要的作用,并非常具有......
随着知识自动化抽取技术不断发展,现已能够从结构化或松散结构化Web资源中抽取时间信息以构建时间知识图谱。时间信息表明知识拥有......
为了有效提高基于调用图的上下文敏感指针分析能力及其上的环消除算法的时间分析效率问题,提出一个新的上下文敏感的横向传播算法......
本文在简评各种版图压缩方法后,重点介绍了基于约束图模型的压缩算法,包括约束图建立、约束图求解以及约束图在二维压缩中的运用.
......
本文描述了在我们开发的二维版图压缩器中使用的约束图模型,它按照版图中各掩模层和派生层在电学特性或设计规则上的互相影响,把版......
知识库的更新意即向知识库中添加新知识,同时为维护相容性而删除旧知识.已有的知识库更新方法在通常情况下都是难解的.该文从限制问题......
参数设计是当代智能CAD系统的核心技术.该论文在分析研究国内外参数化设计技术的基础上,开发了一个二维几何求解体系.该体系基于对......
该文在全面分析国内外有关参数化设计的最新成果与发展趋势的基础上,从实际应用出发,针对二维图形,详细地论述了参数化设计的关键......
基于有向图和分类约束的思想,提出了两类约束的概念,建立了一种具有层次化、模块化特点的机电产品分类有向约束图模型;并结合具体......
MAS中许多分布式推理问题都可以建模为分布式约束优化问题(DCOP)。在这里,我们把分布式会议调度DMS(Dis-tributed Meeting Scheduling......
本文针对具有严格时间要求的系统,阐述并分析了三种利用实时逻辑实现时间约束检测的方法.第一种方法通过检测系统规范和安全性断言......
采用样条曲线作为基本几何元素,建立了三维服装几何约束关系。以此为基础构造了三维服装的约束图,有效地表达了几何元素及其相互关......
针对过约束、几何完全定义状态判定和约束求解效率等问题,提出了基于约束图,利用自由度理论和约束冲突机制,通过反向约束方向平衡......
随着新句法机制的引入,逻辑图的表达能力不断得到提高:文恩图在表达能力上等价于不带等词的一元一阶逻辑,蜘蛛图等价于带等词的一元一......
本文在简评各种版图压缩方法,重点介绍了基于约束图模型的压缩算法,包括约束图建立、约束图求解以及约束图在二维压缩中的运用。......
利用包含约束的指针分析法构建局部约束图,以过程调用图为基础,将局部约束图替换过程调用结点来构建全局约束图,并对全局约束图进行相......
空间布局的自动化是智能CAD领域的研究方向之一,旨在为设计师提供智能辅助工具,用于求解在建筑、厂房设备、大规模集成电路以及产品包装......
知识库的更新意即向知识库中添加新知识,同时为维护相容性而删除旧知识.已有的知识库更新方法在通常情况下都是难解的.该文从限制问题......
采用约束图(无向图)来表达几何系统的柔性约束关系模型,通过面向对象技术用类封装系统几何基元并通过无向图的扩展邻接多重表来构......
本文提出了一种基于图结构描述的二维图形几何约束模型的建立及存储方法。该方法利用图论的概念和原理,提出用无向图的结构描述一......
提出了一种基于自由度分析的约束传播算法,求解二维参数设计中所建立的几何约束模型。用科表示的几何元素及它们之间的约束关系。用......
针对目前客票径路计算中径路信息与实际旅客出行径路之间存在的差异性,从分析径路生成的计算模型出发,结合铁路通票业务背景,提出一种......
针对当前最优秀的基于包含的指针分析在线优化技术即横向传播和纵向传播方法的不足之处,提出一个改进的算法。首先简要介绍基于包......
基于约束的参数化描述及求解是计算机辅助设计研究的一个热点 ,欠约束图的求解是参数化设计的基本问题 ,为了提高欠约束草图求解的......
平面Stewart平台是一个三自由度并联机构,平面广义Stewart平台是其推广形式。它由一个位置固定的刚体(称为基座)、一个移动的刚体(......
学位
通过基于包含的指针分析在线优化技术中的纵向传播方法,改进基于调用图上下文敏感指针分析的环消除技术,提出一种上下文敏感的纵向传......
指出单色拓扑图和邻接矩阵只能表示单铰机构,无法表示复铰机构的缺点,利用约束图和广义关联矩阵进行了复铰变胞机构的结构表示,并......
提出基于位移子群的构态重构理论模型,由此探讨约束驱动的空间变胞运动链连续衍生设计策略。通过结合机构构态含拓扑与功能两方面变......
参数化和变量化功能在计算机辅助设计即CAD(Computer Aided Design)系统中占据着重要地位,而几何约束求解技术是CAD系统实现参数化......
将铺画城市轨道交通列车运行线的问题看作周期事件安排问题,分析周期约束特性、周期约束图等因素,考虑列车运行与停站时间、列车运......
本文将铺画列车运行线的问题看作周期事件安排问题,研究了周期约束的特性,建立网络列车周期运行图模型;研究了列车运行与停站时间......
与六自由度并联机构相比,三自由度并联机构结构简单、易于控制、制造成本低,发展前景广阔。并联机构位置正解研究可为机构的设计提......
期刊
指针分析是程序分析和编译优化的基础,针对基于包含的指针分析算法的改进一直是指针分析领域研究的热点之一.文中从该指针分析算法......
期刊
在周期运行的运输组织模式下,所有列车在车站到发都是周期循环发生的。将安排列车运行线的问题看作周期事件安排问题,并借助周期约......
从人体及服装的特点出发,提出三维服装几何元素的概念采用样条曲线作为基本几何元素,归纳出服装的三种约束关系,即共点、对称和自......
通常所说的散热器,一般是指对发动机防冻冷却液进行冷却的散热器(通俗说法是水散热器,但随着国内外散热器芯体材质铝代铜以来,冷却......
Lano提出了一种用形式化方法RTL与Z++结合来建模实时系统的方法,并对RTL进行扩展,增强了RTL的表达能力,但对于时间要求非常严格的......
提出两种基于图表示求解几何约束问题的方法 .第 1种方法能线性地处理无循环约束的几何约束问题 .第 2种方法可以解决含循环约束问......