全文获取类型
收费全文 | 91篇 |
免费 | 1篇 |
国内免费 | 3篇 |
专业分类
电工技术 | 1篇 |
综合类 | 14篇 |
化学工业 | 10篇 |
金属工艺 | 1篇 |
机械仪表 | 2篇 |
建筑科学 | 2篇 |
轻工业 | 27篇 |
水利工程 | 7篇 |
石油天然气 | 8篇 |
一般工业技术 | 7篇 |
冶金工业 | 4篇 |
原子能技术 | 4篇 |
自动化技术 | 8篇 |
出版年
2021年 | 1篇 |
2020年 | 1篇 |
2019年 | 5篇 |
2017年 | 1篇 |
2016年 | 1篇 |
2015年 | 1篇 |
2014年 | 5篇 |
2013年 | 3篇 |
2012年 | 2篇 |
2011年 | 5篇 |
2010年 | 3篇 |
2009年 | 2篇 |
2008年 | 3篇 |
2007年 | 5篇 |
2006年 | 15篇 |
2005年 | 3篇 |
2004年 | 4篇 |
2003年 | 2篇 |
2002年 | 4篇 |
1999年 | 2篇 |
1998年 | 2篇 |
1997年 | 1篇 |
1996年 | 4篇 |
1995年 | 2篇 |
1994年 | 3篇 |
1993年 | 2篇 |
1991年 | 3篇 |
1990年 | 2篇 |
1989年 | 1篇 |
1988年 | 1篇 |
1987年 | 3篇 |
1982年 | 1篇 |
1965年 | 2篇 |
排序方式: 共有95条查询结果,搜索用时 15 毫秒
11.
12.
分支启发式算法在CDCL SAT求解器中有着非常重要的作用,传统的分支启发式算法在计算变量活性得分时只考虑了冲突次数而并未考虑决策层和冲突决策层所带来的影响。为了提高SAT问题的求解效率,受EVSIDS和ACIDS的启发,提出了基于动态奖惩DRPB的分支启发式算法。每当冲突发生时,DRPB通过综合考虑冲突次数、决策层、冲突决策层和变量冲突频率来更新变量活性得分。用DRPB替代VSIDS算法改进了Glucose 3.0,并测试了SATLIB基准库、2015年和2016年SAT竞赛中的实例。实验结果表明,与传统、单一的奖励变量分支策略相比,所提分支策略可以通过减少搜索树的分支和布尔约束传播次数来减小搜索树的规模并提高SAT求解器的性能。 相似文献
13.
四川石油财经学校按照“财经为主,理工兼容”的办学格局,围绕“一体两翼”(即以专业为主体,英语和计算机为两翼)的教学模式,不断深化教学改革,办学路子越走越宽广。学校本着“让家长放心、让学生成才、让社会满意”的宗旨,明确“学校应当为学生进入社会作准备”办学指导思... 相似文献
14.
15.
16.
17.
18.
19.
以镁系胶凝材料为基体,双氧水为发泡剂,采用化学发泡工艺制备了内部含有大量密闭气孔的镁系无机泡沫材料。研究了双氧水添加量对泡沫材料发泡倍率、体积密度、压缩强度、弯曲强度、孔结构参数以及导热系数的影响。研究结果表明:双氧水添加量增加,导致胶凝体中的气泡核增加以及气泡生长的内动力增大,气孔孔径变大,体积密度和力学强度减小;随着双氧水添加量增加,材料的导热系数不断减小,在双氧水添加量大于16‰时增大。镁系无机泡沫材料的压缩强度和弯曲强度与体积密度的回归方程分别为y=-6.06+24.19x,y=-0.64+3.82x,均为密切线性相关关系。且在双氧水添加量为8‰时泡沫材料取得最大力学强度,此时气孔孔径最小,孔结构参数较优,导热系数为0.071 W/(m·K),体积密度仅为0.54g/cm3。 相似文献
20.