全文获取类型
收费全文 | 7502篇 |
免费 | 129篇 |
专业分类
公路运输 | 2794篇 |
综合类 | 1256篇 |
水路运输 | 2172篇 |
铁路运输 | 1163篇 |
综合运输 | 246篇 |
出版年
2024年 | 37篇 |
2023年 | 144篇 |
2022年 | 176篇 |
2021年 | 197篇 |
2020年 | 162篇 |
2019年 | 102篇 |
2018年 | 70篇 |
2017年 | 65篇 |
2016年 | 119篇 |
2015年 | 268篇 |
2014年 | 464篇 |
2013年 | 313篇 |
2012年 | 435篇 |
2011年 | 437篇 |
2010年 | 411篇 |
2009年 | 413篇 |
2008年 | 429篇 |
2007年 | 406篇 |
2006年 | 362篇 |
2005年 | 300篇 |
2004年 | 489篇 |
2003年 | 357篇 |
2002年 | 226篇 |
2001年 | 234篇 |
2000年 | 169篇 |
1999年 | 91篇 |
1998年 | 101篇 |
1997年 | 92篇 |
1996年 | 114篇 |
1995年 | 76篇 |
1994年 | 94篇 |
1993年 | 75篇 |
1992年 | 66篇 |
1991年 | 59篇 |
1990年 | 34篇 |
1989年 | 34篇 |
1988年 | 5篇 |
1986年 | 1篇 |
1985年 | 2篇 |
1965年 | 1篇 |
1956年 | 1篇 |
排序方式: 共有7631条查询结果,搜索用时 281 毫秒
151.
152.
153.
154.
计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。 相似文献
155.
156.
157.
158.
为深化船检体制改革,阐述建立注册验船师制度的优越性,认为该制度的建立对提升验船师专业技术水平、优化验船师队伍、更好地发挥源头监管的重要作用、保障船舶安全、防治水域污染、促进地方船检又快又好发展具有十分重要的意义。 相似文献
159.
针对乳化沥青冷再生混合料的设计方法和评价指标在国内外尚未成熟的状况,通过室内试验并结合实际工程,提出乳化沥青冷再生混合料的设计要考虑季节因素的影响。另外,在冷再生层上铺筑HMA层时,会加热冷再生层,使其被进一步压密,空隙率降低。为此提出了在冷再生混合料设计时考虑"第二次压实"过程的修正马歇尔试验方法。 相似文献
160.
针对机器人系统协同加工中存在的碰撞问题,以双机器人系统为例,提出一种适用于多机器人系统平面加工的避碰研究方法.使用栅格法对加工任务进行离散化表达,将加工平面以设色图的形式展现出来,建立碰撞分析模型,分析出每个任务点的协同加工碰撞情况,基于时间最短和路径连续原则,规划得到双机器人平面协同加工的方法.通过对案例的仿真分析,验证了方法的可行性. 相似文献