一个基于变形映射的约束图有向化与求解方法

来源 :软件学报 | 被引量 : 0次 | 上传用户:leizi525
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出了变形映射和变形源的概念,给出一种基于变形映射的二给工程图约束有向化与求解新方法。同时,提出一种基于变形映射的约束有向化新方法,并在约束图分解的基础上,给出了一个基于复合节点及虚拟约束的约束图形求解新算法,应用此方法,可提高约束图有向化的可靠性、降低计算复杂度、且能方便地求解带有循环约束的约束图。
其他文献
该文探讨争论推理在扩充逻辑程序中的实现及其关系问题。基于“相干原理”,建立了扩充逻辑程序的争论推理框架,多种争论推理形式都可以嵌入其中。特别是提出一种谨慎语义Acc。同时
期刊
抽象测试方法为测试集设计者提供在不同条件下最合适的方法.目前现有的测试方法主要为端系统设计,很少有关于中继系统的测试研究.该文讨论中继系统的抽象测试方法.首先引入被测中
高血压病属于祖国医学“头痛”“眩晕”范畴。《黄帝内经》中“诸风掉眩,皆属于肝”是对高血压的最早认识。本证其本在肝肾阴虚,其标在“痰浊”“瘀血”。瘀阻脉络,临床多表现头
在遥感应用研究中 ,数据融合技术有着非常广泛的应用 .主分量分析方法 (principal component analysis,简称 PCA)是一种经典的遥感数据融合技术 ,在主分量分析方法的基础上 ,将小波变换与其结合起来 ,提出了一种新的基于小波叠加的 PCA融合算法 (adding wavelet coefficients principal component analysis,简称 A
构建高效课堂能够深化数学教学改革,提高教学实效,是数学教师在教学工作中需加以落实的重要任务。本文从生活化教学、创设问题情境、微课教学、小组合作四个方面探讨了小学数学
目的探讨星点设计-效应面法优选淫羊藿的最佳提取工艺。方法以淫羊藿苷提取量为因变量,乙醇浓度、回流时间和溶剂(倍)量为自变量,采用星点设计-效应面法优选提取工艺,并预测分
颞下颌关节病(TMD)是口腔颌面部的常见病和多发病,病因复杂,发病机制不清。是口腔科继龋病、牙周病和错颌畸形之后的另一种常见病和多发病。近年来,笔者采用中西医结合保守治疗
班级文化是一个班级的灵魂,它反映了这个班级在社会组织中的价值理念和行为准则。班级文化是校园文化的一部分,是班级成长的标杆。班级文化是指由班级全体成员通过教育、教学、
写作是语文学科教学中的一个重要组成部分,写作教学是语文教学中的重点内容,同时,写作对学生来讲,也是语文学习过程中的一个难点,要想提高学生的写作能力和作文水平,必须要对