【摘 要】
:
约束传播是约束编程的关键方法,近些年来,一些约束传播算法中频繁用到简单表缩减(simple tabular reduction, STR)算法来降低约束表的空间消耗,同时提高广义弧相容(generalis
【机 构】
:
吉林大学计算机科学与技术学院,符号计算与知识工程教育部重点实验室(吉林大学)
【基金项目】
:
吉林省自然科学基金项目(20180101043JC).
论文部分内容阅读
约束传播是约束编程的关键方法,近些年来,一些约束传播算法中频繁用到简单表缩减(simple tabular reduction, STR)算法来降低约束表的空间消耗,同时提高广义弧相容(generalised arc consistent, GAC)算法的运行速度.短支持方法是在约束传播算法中使用最广泛的一种表压缩方式,但当约束表压缩率较低时,短支持方法提高运行速度效果不明显.因此提出一种压缩约束表的新算法STRO(simple tabular reduction optimization),结合短支持压
其他文献
设计了一种基于STM32和emWin的北斗卫星定位终端系统,该终端系统硬件上以低功耗处理器STM32F429IGT6为主控芯片,使用AT6558芯片用于获取"北斗二号"卫星信息,并使用LCD液晶屏
1 临床资料 1999-10/2002-02我们采用术前放疗治疗经病理证实为胃腺癌患者20例.入选条件按Kamofsky评分:〉70分,年龄〈70岁,肝肾功能正常,无放疗禁忌或其它明显器质性病变者.全部病
1临床资料 1989-01/2005-07经临床及病理证实的胰腺结核11(男5,女6)例,年龄21~47(平均28.3)岁.有食欲下降9例,腹痛7例,多为上腹部间歇性或持续性隐痛、胀痛,无加重及缓解方式;发热5例,多为间
针对新建变电站在基建过程中对电力通信传输通道的需求,需搭建变电站基建临时通信通道。结合启明330千伏变电站基建过程中临时通道的搭建过程,提出T接待π入变电站光缆的临时
目的:探讨缺血预处理对小肠细胞能量代谢和凋亡基因bcl-2,bax表达的影响及它们与肠细胞凋亡的内在联系.方法:健康SD大鼠36只,雌雄不限,随机分为3组,空白对照组(C组)、缺血预处理组(IPC-
目的:观察和分析脊髓损伤引起骨质疏松患者骨组织形态计量学(骨结构与骨转换)参数特征,进一步探明发生骨质疏松的机制.方法:选择脊髓损伤截瘫患者30(男19,女11)例;颈脊髓伤16例,胸脊髓损
1临床资料 2002-03/2006-05采用北京万特福科技公司提供的YL-1型穿刺针,行微创颅内血肿清除术治疗高血压脑出血50(男32,女18)例,年龄36~76(平均57)岁.其中有高血压病史30例,糖尿病史8例,
为了保证重要用户的不间断供电,提高城市配电网的供电可靠性,10 kV线路通常涉及合环操作,但由于线路的负荷合环开关两侧存在电压差相角差等原因,易导致合环操作失败。文章结合实
“互联网+”有效完善了宁夏科技文献资源的整合和合理配置,实现了宁夏科技文献。舞源从增量到存量的转变,作为科技创新的基础性战略性资源.面向基层开展科技文献资源的在线共享是
目的:观察针刺配合中药外敷治疗产后急性乳腺炎及护理临床疗效。方法:96例产后急性乳腺炎患者,以针刺配合中药外敷治疗配合综合护理。结果:显效:69例,有效:15例,无效:12例。总有效率:87