【摘 要】
：
利用笛卡尔积压缩方法可有效减小负表约束规模的原理,提出一种在压缩负表上维持广义弧相容的高效算法STRC-N,以解决负表约束维持弧相容过程中遍历所有元组导致效率低的问题.
【机 构】
：
吉林大学计算机科学与技术学院,吉林大学公共计算机教学与研究中心
【基金项目】
：
吉林省科技发展计划项目(批准号:20140101200JC).
论文部分内容阅读
利用笛卡尔积压缩方法可有效减小负表约束规模的原理,提出一种在压缩负表上维持广义弧相容的高效算法STRC-N,以解决负表约束维持弧相容过程中遍历所有元组导致效率低的问题.实验结果表明,当压缩负表上压缩率较大时,得益于表规模的减小,新算法相对于主流的负表约束处理算法效率更高,性能更好,从而实现了对负表约束处理算法的改进.
其他文献
螺旋弹簧是高机动越野汽车悬架系统中的关键零件.以螺旋弹簧为研究对象.提出了满足整车平顺性和弹簧疲劳寿命要求的螺旋弹簧结构形式、材料、应力水平及制造工艺.
结合欧洲稳态测试循环工况（ESC）,对目前广泛应用的壁流式蜂窝陶瓷微粒捕集器建立CFD仿真模型,研究其静压力分布、速度分布、碳颗粒浓度分布规律,预测其对再生反应的影响,并对比
即将过去的2005年，对商用车行业而言是一个漫长的严冬。国内商用车市场到底怎么了？今后的发展趋势又该如何？很多业内人士为此深感困惑。诸如此类的问题，我认为应该从中国经济发展
利用矩阵的奇异值分解和商奇异值分解,建立子矩阵约束下广义特征值反问题的广义自反解存在的充分必要条件,并给出通解的表达式,对任意给定矩阵的最佳逼近问题,得到了最佳逼近
人民银行的职责调整后,基层央行能否适应及如何适应这种调整,是一个亟待研究的课题.本文结合工作实际,从增强"四种能力",建立完善"四项工作机制"等方面,对如何提升新形势下基
借助已有的完全二部图K_（2,n）和K_（3,n）的点可区别IE-全色数的结论,利用组合分析及构造具体染色的方法探讨完全二部图K_（2,n）和K_（3,n）的一般点可区别全染色问题,确定了K_（2,n）和K_（3,n）
在函数内P-集合的基础上,给出函数内P-集合副集、函数内P-集合σ-副集和函数内P（σ）-集合的概念与结构及函数内P-集合与函数内P（σ）-集合的关系,证明了函数内P（σ）-集合动态变化的
对P混合线性互补问题建立一个同伦方程，证明了同伦路径的存在性、有界性和收敛性，得到了P混合线性互补问题的可解性，从而建立了P混合线性互补问题的内点算法。