全文获取类型
收费全文 | 366903篇 |
免费 | 12336篇 |
专业分类
公路运输 | 134581篇 |
综合类 | 81817篇 |
水路运输 | 85994篇 |
铁路运输 | 64113篇 |
综合运输 | 12734篇 |
出版年
2024年 | 3095篇 |
2023年 | 11461篇 |
2022年 | 13366篇 |
2021年 | 13303篇 |
2020年 | 13087篇 |
2019年 | 16063篇 |
2018年 | 18104篇 |
2017年 | 4202篇 |
2016年 | 5080篇 |
2015年 | 9572篇 |
2014年 | 16600篇 |
2013年 | 17275篇 |
2012年 | 19402篇 |
2011年 | 21894篇 |
2010年 | 22285篇 |
2009年 | 24170篇 |
2008年 | 22712篇 |
2007年 | 20305篇 |
2006年 | 18869篇 |
2005年 | 15643篇 |
2004年 | 14787篇 |
2003年 | 13208篇 |
2002年 | 11443篇 |
2001年 | 10466篇 |
2000年 | 6257篇 |
1999年 | 2306篇 |
1998年 | 1181篇 |
1997年 | 945篇 |
1996年 | 993篇 |
1995年 | 844篇 |
1994年 | 782篇 |
1993年 | 480篇 |
1992年 | 621篇 |
1991年 | 577篇 |
1990年 | 589篇 |
1989年 | 1653篇 |
1988年 | 684篇 |
1987年 | 644篇 |
1986年 | 566篇 |
1985年 | 533篇 |
1984年 | 536篇 |
1983年 | 494篇 |
1982年 | 471篇 |
1981年 | 526篇 |
1980年 | 285篇 |
1979年 | 199篇 |
1978年 | 90篇 |
1976年 | 59篇 |
1965年 | 147篇 |
1959年 | 73篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
151.
对于一阶逻辑定理证明器,子句集化简一直是必不可少的步骤,这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断,提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性,根据该原则删除子句,不会影响原始子句集的不可满足性或者可满足性. 此外,依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去(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方法更为有效. 相似文献
152.
为使高铁站功能区的布局更加科学合理,论文以旅客在高铁站房内的平均走行时间最少和高铁站建造成本最低为目标,综合考虑功能区的面积、长宽比例、功能区禁止重叠、流线等约束条件,构建基于多目标混合规划的高铁站功能区布局优化模型,通过算例验证了模型的有效性。该方法得出的结论可以为高铁站功能区布局的规划设计提供参考。 相似文献
153.
根据掩护功能不同对护岸允许越浪量进行分类规定是越浪量研究的方向之一,探索最大单波越浪量的量化计算对护岸后方排水设计具有重要参考意义。对国内外常用越浪量控制标准和计算公式进行总结对比,并以沙特海尔港南护岸越浪量计算为例量化探讨肩台宽度和参数相关性对越浪量计算的影响。结果表明,欧洲和美国规范规定的越浪量标准比中国和日本规范规定的越浪量标准严格;设置肩台可以有效降低越浪量计算值,考虑波高和水位的相关性也可以有效降低越浪量计算值;越浪量计算对波高和水位比较敏感,允许越浪量可以采用数量级梯度进行分级;对于允许越浪量要求比较严苛的海外现汇项目,适当考虑肩台和参数相关性对越浪量计算值的降低作用,可以提高承包商设计方案的竞争力。 相似文献
155.
目前,自动驾驶技术在乘用车领域已获得突破性发展;为提高通行效率和出行安全起到了极大的作用。自动驾驶技术在商用车领域的应用,有望较好解决高昂的人力成本和难以提高的效率等问题。然而,目前自动驾驶技术在货车的应用大多采用跟乘用车同样的标准进行规范,这在实际应用中存在着诸多的问题;例如,在FCW和AEB功能中货车在相同车速的制动距离要远大于乘用车,而其所采用标准规定的碰撞预警时间却并无多大不同,这在实际场景中存在着较大的安全隐患[1,2]。此外,货车质量和体积较大,且较多应用于长途运输,运输过程中会经历包括高温、严寒、山区等多种复杂气候场景,这些都将对货车自动驾驶技术在车辆制动效能、能耗以及多场景应用等方面提出更有针对性规范的要求。本文针对货车的应用场景特点,为其自动驾驶技术应用标准化提出了建议。 相似文献
156.
通过对LTE-M系统承载的业务和系统架构的描述,详细阐述LTE-M系统联调联试方案,为地铁机电系统联调联试提供参考。 相似文献
157.
借鉴国内外信息系统网络安全风险评估方面的经验和教训,结合铁路行业网络安全和信息化治理体系要求,从安全管理保障、安全技术保障和安全运维保障3个层面,建立铁路信息系统网络安全风险评估体系,开展定性与定量相结合的检查评估方法研究。该研究可为从事铁路网络安全管理人员、维护人员开展网络安全风险评估、安全自查工作提供理论依据和技术参考,对铁路信息系统网络安全管理工作具有重要意义。 相似文献
158.
159.
160.