全文获取类型
收费全文 | 7005篇 |
免费 | 87篇 |
专业分类
公路运输 | 2871篇 |
综合类 | 1196篇 |
水路运输 | 1409篇 |
铁路运输 | 1438篇 |
综合运输 | 178篇 |
出版年
2024年 | 47篇 |
2023年 | 125篇 |
2022年 | 192篇 |
2021年 | 207篇 |
2020年 | 154篇 |
2019年 | 106篇 |
2018年 | 53篇 |
2017年 | 69篇 |
2016年 | 76篇 |
2015年 | 179篇 |
2014年 | 363篇 |
2013年 | 266篇 |
2012年 | 403篇 |
2011年 | 360篇 |
2010年 | 355篇 |
2009年 | 441篇 |
2008年 | 595篇 |
2007年 | 439篇 |
2006年 | 330篇 |
2005年 | 347篇 |
2004年 | 299篇 |
2003年 | 330篇 |
2002年 | 277篇 |
2001年 | 297篇 |
2000年 | 191篇 |
1999年 | 101篇 |
1998年 | 97篇 |
1997年 | 97篇 |
1996年 | 91篇 |
1995年 | 56篇 |
1994年 | 44篇 |
1993年 | 23篇 |
1992年 | 18篇 |
1991年 | 21篇 |
1990年 | 23篇 |
1989年 | 16篇 |
1988年 | 2篇 |
1985年 | 1篇 |
1984年 | 1篇 |
排序方式: 共有7092条查询结果,搜索用时 62 毫秒
141.
142.
143.
计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。 相似文献
144.
145.
《综合运输》2016,(1)
航空货物运输对丝绸之路经济带建设具有重要意义。而当今航空运输的发展已呈现出功能复合型、内涵演进性、结构立体性和综合性的趋势。本文以促进西部航空货运枢纽发展为研究视角,基于综合交通的特征、功能,阐述了促进发展的保障服务功能和拓展协作功能;又借鉴国内外机场成功的实践和经验,探索了促进发展的方法路径和实施措施。结果表明,促进发展需要具备两个主要条件:一是外部环境条件,包括开拓腹地市场,保证充足运量生成源,培育物流主体,扩大空港吸引范围和辐射半径;二是内部自身条件,包括完善基础设施优化配置、引导运输方式有机衔接、提高运输组织合作效率、提升运营管理水平及信息化水平。 相似文献
146.
某轮主机采用VISATRON VN115/87型油雾浓度探测器对主机曲柄箱油雾浓度实时检测、监视、显示、报警,以实现对主机的安全保护。它具有采样准确、执行速度快、自检功能强等特点。在远洋航渡期间曾经常发生过因油雾浓度报警,主机安全保护系统在接收到报警信号后数秒内自动停车。 相似文献
147.
案件质量考评体系是整个检察工作考核评价体系中最重要的组成部分,建立符合检察工作发展规律的科学考核评价机制是当前检察管理工作的重要课题,也是检察体制改革的重要内容. 相似文献
148.
《铁道机车车辆工人》2018,(1)
在某中速柴油机活塞的研发过程中,为保证活塞的疲劳强度符合设计要求,采用阶段验证法验证校核活塞的疲劳强度,最大限度地降低活塞开发和运行风险。 相似文献
150.
针对不适应THDS轴温探测系统的长大货物车,分析论证了现车轴箱改进方案适应THDS轴温探测的不足,并提出了轴箱优化方案。经计算、试验和装车验证表明,新轴箱可行、有效、安全,满足THDS轴温探测要求,保证了长大货物车运输安全。 相似文献