全文获取类型
收费全文 | 11485篇 |
免费 | 169篇 |
专业分类
公路运输 | 2949篇 |
综合类 | 3046篇 |
水路运输 | 2898篇 |
铁路运输 | 2426篇 |
综合运输 | 335篇 |
出版年
2024年 | 3篇 |
2023年 | 28篇 |
2022年 | 159篇 |
2021年 | 314篇 |
2020年 | 243篇 |
2019年 | 69篇 |
2018年 | 101篇 |
2017年 | 92篇 |
2016年 | 167篇 |
2015年 | 274篇 |
2014年 | 434篇 |
2013年 | 542篇 |
2012年 | 744篇 |
2011年 | 892篇 |
2010年 | 898篇 |
2009年 | 868篇 |
2008年 | 928篇 |
2007年 | 1183篇 |
2006年 | 1196篇 |
2005年 | 771篇 |
2004年 | 239篇 |
2003年 | 173篇 |
2002年 | 163篇 |
2001年 | 215篇 |
2000年 | 224篇 |
1999年 | 126篇 |
1998年 | 101篇 |
1997年 | 81篇 |
1996年 | 100篇 |
1995年 | 63篇 |
1994年 | 64篇 |
1993年 | 39篇 |
1992年 | 41篇 |
1991年 | 31篇 |
1990年 | 31篇 |
1989年 | 20篇 |
1988年 | 13篇 |
1987年 | 9篇 |
1986年 | 7篇 |
1985年 | 4篇 |
1984年 | 4篇 |
排序方式: 共有10000条查询结果,搜索用时 31 毫秒
1.
对于一阶逻辑定理证明器,子句集化简一直是必不可少的步骤,这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断,提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性,根据该原则删除子句,不会影响原始子句集的不可满足性或者可满足性. 此外,依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去(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方法更为有效. 相似文献
2.
3.
针对企业原有生产圆盘类连接轴的工艺,设计了基于Cognex视觉的机器人自动搬运系统,将S7-300 PLC、Cognex视觉系统和FANUC机器人系统集成在一起,实现了1台机器人同时为铣床和车床2个加工系统自动上下料;通过Profibus总线和Ethernet通讯将PLC技术、视觉技术与工业机器人结合起来,发挥了工业以太网传输速度快、信号稳定的优势,提高了机器人的柔性取料能力;目前已应用在企业当中,提高了企业的自动化程度及生产效率,降低了企业的用工支出。 相似文献
4.
5.
6.
介绍黄万铁路滨海相软土地基采用换填、砂垫层、土工格栅及袋装砂井等加固措施,处理成功的施工技术及沉降观测等。 相似文献
7.
8.
现代城市建设迫切需要建立一个多层次、立体化的综合公共交通体系,重点是发展以轨道交通为骨干的公共交通网络:根据各城市的发展实际需要,进行合理规划、科学分析论证,从而建立大、中、低客运量相互匹配的多种形式相结合的客运交通工具。现代有轨电车系统是我国城市轨道交通体系中的崭新模式.具有优越的性能和良好的发展前景。现对现代有轨电车系统的适用性及与其适用的票制、售检票方式等进行研究和探讨。 相似文献
9.
10.
Although counteracting environmental programmes and policies have been strengthened, large oil spills still occur at irregular intervals. The total oil spill costs and their compensations have attracted much interest from various parties, such as local stakeholders, and state and federal governments. This paper addresses five major cost categories whose aggregations are expected to cover the overall direct and indirect costs after the release of an oil spill. Among them, research costs should not be neglected, since they tend to be high if public attention has been drawn to the case. Through an examination of the relationship between the total oil spill costs and their admissible claims, we found that:
- admissible claims do not cover the overall costs of the oil spill, and
- admissible claims cannot be compensated in full in the case of large spills.