全文获取类型
收费全文 | 66819篇 |
免费 | 1177篇 |
专业分类
公路运输 | 22992篇 |
综合类 | 21309篇 |
水路运输 | 7495篇 |
铁路运输 | 12510篇 |
综合运输 | 3690篇 |
出版年
2024年 | 356篇 |
2023年 | 1045篇 |
2022年 | 1230篇 |
2021年 | 1261篇 |
2020年 | 892篇 |
2019年 | 821篇 |
2018年 | 403篇 |
2017年 | 1105篇 |
2016年 | 1004篇 |
2015年 | 1968篇 |
2014年 | 3876篇 |
2013年 | 3448篇 |
2012年 | 3127篇 |
2011年 | 3716篇 |
2010年 | 3671篇 |
2009年 | 4121篇 |
2008年 | 4238篇 |
2007年 | 3525篇 |
2006年 | 3265篇 |
2005年 | 3488篇 |
2004年 | 3341篇 |
2003年 | 4264篇 |
2002年 | 3428篇 |
2001年 | 3067篇 |
2000年 | 2174篇 |
1999年 | 1161篇 |
1998年 | 806篇 |
1997年 | 594篇 |
1996年 | 452篇 |
1995年 | 502篇 |
1994年 | 323篇 |
1993年 | 227篇 |
1992年 | 284篇 |
1991年 | 311篇 |
1990年 | 267篇 |
1989年 | 213篇 |
1988年 | 9篇 |
1987年 | 1篇 |
1986年 | 3篇 |
1985年 | 3篇 |
1965年 | 3篇 |
1956年 | 1篇 |
1955年 | 1篇 |
1948年 | 1篇 |
排序方式: 共有10000条查询结果,搜索用时 31 毫秒
11.
对于一阶逻辑定理证明器,子句集化简一直是必不可少的步骤,这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断,提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性,根据该原则删除子句,不会影响原始子句集的不可满足性或者可满足性. 此外,依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去(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方法更为有效. 相似文献
12.
13.
14.
为提高隧道工程建设质量,针对国内明挖隧道装配式结构发展不成熟问题,以新森大道隧道为依托对超大断面明挖隧道装配式结构体系及施工方法展开研究,同时建立适用于公路、市政超大断面隧道装配式明挖结构体系,即“全预制”“仰拱现浇+上部预制”,并提出结构构造厚度建议值及多道防水构造方案。通过分析总结和数值模拟得出: 1)“仰拱现浇+上部预制”4分割方案在回填工序下的结构力学响应动态分析结果表明,该分割方案在施工过程中,结构应力、位移以及连接部位接头的张开角等均满足规范要求,且具备一定安全储备; 2)结合依托工程,提出一种适应于超大断面明挖隧道装配式结构的“边墙安装—仰拱现浇—拱顶拼装—细部作业—覆土回填”的施工方法及步骤。 相似文献
15.
16.
日本名古屋第二环线(Nagoya Daini-Kanjo Expressway)位于距名古屋市中心约10 km位置,以名古屋市为中心,呈放射状延伸,与主要干线连接,以缓和城市交通拥挤现状,提高名古屋港的物流效率,且作为发生灾害时的紧急运输通道。该线路分为陆地部分和跨海部分,全长67 km,其中包括跨海部分的长54.8 km的线路首先投入使用,然后进行最后的线路区间即名古屋西—飞岛间长12.2 km的线路施工。 相似文献
17.
针对双电机混动车辆在车辆运行过程中串并联驱动模式的切换需求,通过分析双电机混联构型结构特点,提出一种通过发动机、发电机和驱动电机协调控制实现无动力中断的切换控制方法.将串联到并联切换过程分为发动机工作点转移、离合器结合、动力源切换三个阶段,将并联到串联切换过程划分为动力源切换、离合器打开、发动机工作点转移三个阶段,能够实现串并联驱动模式的顺利切换,同时上述切换阶段划分也能较好的支持串并联切换过程中的切换意图改变操作.最后进行了控制策略的实车验证,切换过程中冲击度小于8.结果 表明,所提出的串并联切换控制方法能够完全支持车辆运行过程中的串并联切换. 相似文献
18.
青岛地铁在国内首次采用双护盾TBM(隧道掘进机)技术,实现了硬岩地层地铁区间隧道快速、安全、高效建设.结合青岛地铁1号线过海隧道TBM隧道段的施工实际,采用豆砾石、水泥浆、水泥-水玻璃双液浆复合灌浆材料及环箍分段注浆工艺成套技术,有效地解决了管片成型质量问题.根据近海区域穿越断层破碎带的施工风险,提出了地面精细化控制注浆、超前地质预报等综合技术,保障了施工安全.针对超深竖井垂直提升出渣效率低下的问题,创新性地研发了TBM洞内翻渣技术,其工效较常规方案提高1倍,为复杂条件下TBM高效施工提供了新的方案和思路,具有良好的推广价值. 相似文献
19.
建筑工程施工安全氛围是建筑安全事故有效的事前预测因素,而施工安全氛围因子结构的不一致一直是建筑安全管理专家争论的焦点.以长沙为采样地区,结合专家访谈设计了建筑工程施工安全氛围的测量问卷,综合运用探索性因子分析和验证性因子分析识别并验证了建筑工程施工安全氛围的因子结构模型,基于该因子结构模型评价了长沙地区的建筑工程施工安全氛围,并结合以往研究成果对该因子结构模型进行讨论.研究结果表明:建筑工程施工安全氛围可用三因子结构模型测度,三因子为项目安全管理承诺、工人安全响应和领班安全承诺;测评发现工人安全响应分值最高,且项目安全管理承诺分值高于领班安全承诺. 相似文献
20.
川藏铁路建设面临着涉及专业广泛,施工条件恶劣等诸多挑战,导致技术接口繁多且管理难度大.川藏铁路修建的桥梁总数超过120座,铁路桥梁工程与其他工程的技术接口便成为川藏铁路接口管理的重点与难点,因此对其进行科学有效的管理是提升川藏铁路工程质量,降低管理成本的关键.采用结合三角模糊数确信度(triangular fuzzy number certitude degree,TFNCD)算子的模糊决策试验评估实验室(fuzzy DEMATEL)方法对川藏铁路桥梁与其他工程的技术接口进行研究分析.研究结果表明:桥隧连接与路桥过渡段对技术接口系统的影响最大,应分配更多的资源以确保工程质量;电力、通信、信号电缆的上下桥预留等技术接口有极强的相似性,可以采用类似的管理方法,提高技术接口的管理效率. 相似文献