排序方式: 共有61条查询结果,搜索用时 15 毫秒
1.
2.
3.
4.
先进的SAT求解器能够通过有效的分支启发式策略解决大型应用实例.目前VSIDS策略是最具有代表性的基于冲突分析的分支策略,它因其稳健性而被广泛使用,但在每次冲突分析中其判定变量活性的增量方式过于单一.针对此问题,本文提出了一种基于变量混合特征的分支启发式算法,目的是充分地利用参与冲突分析的变量所携带的不同信息特征来区分变量,来进一步指导变量活性增长.并将所提出的分支策略算法嵌入到Glucose4.1中形成求解器Glucose4.1+MFBS,通过对比测试,实验结果表明改进的分支算法比原本的VSIDS策略,具有一定的优势,求解明显个数增加. 相似文献
5.
"双主"特色土木类人才培养模式是河海大学土木与交通学院所创设的一种既能发挥学生主体作用,又能发挥教师主导作用的新型人才培养模式。该人才培养模式既符合OBE的整体理念又吸取了中国传统教育模式的长处。基于"双主"人才培养模式的土木类本科教学系列蓝皮书由河海大学师生共同编撰,在全国土木专业中首创并被20多家高校推广应用。文章详细介绍了此系列蓝皮书的研制,本科《教学全程引导》《专业课程教学示例》《竞赛攻略》《教学教务工作实用手册》及《专业课程攻略词典》5部书的具体情况,以期为实现高校科学化、体系化的人才培养和教学教务管理提供借鉴。 相似文献
6.
7.
智能制造是制造强国建设的主攻方向,是新型工业化的重要特征。本文总体介绍了近年来建材行业智能化发展取得的积极进展,重点分析了水泥、玻璃、陶瓷领域推进智能制造取得的成效,从智能装备、技术创新和推广应用等方面分析了建材行业智能化发展的趋势,指出了建材行业智能化发展存在的不足,并提出相关建议。 相似文献
8.
9.
10.