全文获取类型
收费全文 | 12939篇 |
免费 | 230篇 |
专业分类
公路运输 | 4355篇 |
综合类 | 3173篇 |
水路运输 | 2395篇 |
铁路运输 | 2753篇 |
综合运输 | 493篇 |
出版年
2024年 | 46篇 |
2023年 | 188篇 |
2022年 | 205篇 |
2021年 | 216篇 |
2020年 | 181篇 |
2019年 | 137篇 |
2018年 | 72篇 |
2017年 | 149篇 |
2016年 | 167篇 |
2015年 | 269篇 |
2014年 | 604篇 |
2013年 | 512篇 |
2012年 | 605篇 |
2011年 | 668篇 |
2010年 | 644篇 |
2009年 | 753篇 |
2008年 | 798篇 |
2007年 | 717篇 |
2006年 | 729篇 |
2005年 | 717篇 |
2004年 | 641篇 |
2003年 | 953篇 |
2002年 | 725篇 |
2001年 | 570篇 |
2000年 | 362篇 |
1999年 | 227篇 |
1998年 | 169篇 |
1997年 | 194篇 |
1996年 | 183篇 |
1995年 | 151篇 |
1994年 | 133篇 |
1993年 | 111篇 |
1992年 | 113篇 |
1991年 | 107篇 |
1990年 | 75篇 |
1989年 | 71篇 |
1988年 | 4篇 |
1987年 | 2篇 |
1965年 | 1篇 |
排序方式: 共有10000条查询结果,搜索用时 328 毫秒
2.
对于一阶逻辑定理证明器,子句集化简一直是必不可少的步骤,这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断,提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性,根据该原则删除子句,不会影响原始子句集的不可满足性或者可满足性. 此外,依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去(set resolution subsumption, SRSE)方法和集合归结不对称恒真消去(set resolution asymmetric tautology elimination, SRATE)方法,并证明了这两种子句消去方法在不带等词一阶逻辑子句集上的可靠性. 最后在理论上比较了SRSE方法和归结包含消去(sesolution subsumption elimination, RSE)方法以及SRATE方法和归结不对称恒真(sesolution asymmetric tautology elimination, RATE)方法之间的有效性,结果表明SRSE方法和SRATE方法分别比RSE方法和RATE方法更为有效. 相似文献
3.
以长沙市郭亮南路某路段杂填土地基处理方案为例,对复合地基碎石桩方案以及局部换填方案进行了地基承载力及沉降计算分析,并从技术指标、造价、工期等方面综合比选,确定了厚度较大的杂填土地基处理方案,可为同类型城市道路杂填土路段地基处理方案的决策提供参考。 相似文献
4.
田士军 《铁道标准设计通讯》2019,(5):5-10
为查明兰新高铁甘青段路基冻胀变形原因和影响因素,提出相应的冻胀处理措施,将路基冻胀变形控制在允许范围之内,采用自动监测系统,对路肩以下5 m范围内路基的冻结深度、水分、冻胀变形等进行监测,并对监测结果进行统计分析和深入研究。研究结果表明:路基冻结深度的发展主要受气温的影响,基床表层以下填料含水量随着冻结深度增加缓慢增加;基床表层及基床底层上部1.0 m范围冻胀量占总冻胀量的80%以上;低路堤地段冻胀最严重。为减少路基冻胀量,设计及施工时应采用全冻结深度防冻胀方案,以填料防冻胀为主,辅以防水、疏水和隔热等综合措施;低路堤地段防冻胀措施应适当加强。 相似文献
5.
李永宗 《电力机车与城轨车辆》2019,(1):82-84
在机车运行中发生故障时,应避免长时间停车堵塞区间,为了能更快完成机车运行中故障的处理,文章特从机车应急故障处理注意事项、应急故障处理方法和应急故障处理基本流程等方面进行详细说明。 相似文献
6.
7.
涂装作业通常指两大方面:一是指涂装前的表面处理,包括高压水冲洗、喷砂除锈及清洁;二是喷(刷)涂油漆作业,也就是在处理过的钢材表面进行涂装作业等.这两大方面在船舶涂装过程中是相辅相成、缺一不可的.有时后者显得更重要,尤其是在新制工程中. 相似文献
8.
9.
10.