全文获取类型
收费全文 | 4824篇 |
免费 | 46篇 |
专业分类
公路运输 | 1763篇 |
综合类 | 667篇 |
水路运输 | 1741篇 |
铁路运输 | 568篇 |
综合运输 | 131篇 |
出版年
2024年 | 21篇 |
2023年 | 70篇 |
2022年 | 87篇 |
2021年 | 87篇 |
2020年 | 79篇 |
2019年 | 33篇 |
2018年 | 37篇 |
2017年 | 35篇 |
2016年 | 69篇 |
2015年 | 113篇 |
2014年 | 270篇 |
2013年 | 194篇 |
2012年 | 314篇 |
2011年 | 286篇 |
2010年 | 267篇 |
2009年 | 276篇 |
2008年 | 360篇 |
2007年 | 311篇 |
2006年 | 240篇 |
2005年 | 215篇 |
2004年 | 235篇 |
2003年 | 225篇 |
2002年 | 150篇 |
2001年 | 179篇 |
2000年 | 116篇 |
1999年 | 52篇 |
1998年 | 67篇 |
1997年 | 69篇 |
1996年 | 84篇 |
1995年 | 58篇 |
1994年 | 67篇 |
1993年 | 56篇 |
1992年 | 48篇 |
1991年 | 49篇 |
1990年 | 22篇 |
1989年 | 23篇 |
1988年 | 3篇 |
1985年 | 2篇 |
1965年 | 1篇 |
排序方式: 共有4870条查询结果,搜索用时 125 毫秒
92.
93.
计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。 相似文献
94.
为深化船检体制改革,阐述建立注册验船师制度的优越性,认为该制度的建立对提升验船师专业技术水平、优化验船师队伍、更好地发挥源头监管的重要作用、保障船舶安全、防治水域污染、促进地方船检又快又好发展具有十分重要的意义。 相似文献
95.
96.
继续讨论载重线公约附则里值得探讨的问题,其条款的序号及文字,均以《国际航行海船法定检验技术规则》第3篇《经修正的1966年国际载重线公约1988年议定书附则B》为准。首篇已经有言在先:一家之言难免偏颇,甚而荒谬,欢迎批评指正。附则第6条(6)仅需勘划淡水载重线的规定:"如对船舶所核定的干舷比最小干舷为大,因而其载重线勘划在相当于或低于根据本议定书所核定的最低季节性最小干舷载重线位置,则仅需勘划淡水 相似文献
97.
为保证机场的正常运营,在盾构下穿机场的施工过程中,对地表沉降变形控制的要求较高,因此对穿越过程中的施工控制和变形规律研究具有重要意义。首先,基于盾构下穿机场的工程条件,分析盾构下穿过程中的风险,并提出相应的控制措施;同时,根据现场监测数据,分析盾构下穿机场过程中的地表沉降变形规律,并利用R/S分析法对地表沉降的发展趋势进行研究。结果表明:盾构施工引起的机场地表变形均在控制值范围以内,且各监测点在不同序列条件下的Hurst指数均大于0.5,具有沉降持续减弱的趋势,验证下穿过程中风险控制措施的有效性,为类似下穿机场的盾构施工提供一定的实践经验,也为盾构施工引起的地表沉降变形规律研究提供参考。 相似文献
98.
于淑艳 《大连铁道学院学报》2012,(1):104-107
按照时间序列分析辽宁农业劳动生产率的变动趋势,运用人均耕地面积、灌溉率、劳均化肥施用量、结构调整系数、机电提灌面积占有效灌溉面积比重等指标构建影响农业劳动生产率的模型,结果表明农业产业结构调整、劳均化肥施用量、灌溉率对劳动生产率的影响非常显著.因此,应该加快农业产业结构调整、推进科学技术在农业生产中的应用、加强农业基础设施建设、提高公共服务水平. 相似文献
99.
100.
针对解脱器活塞在停射过程中出现断裂的现象,采用基于故障树最小割集分析方法,建立解脱器活塞断裂的最小割集故障树,并通过有限元分析方法、材料微观分析法以及冲击功测试等方法对最小割集中的故障类型进行验证,试验结果表明:活塞热处理硬度偏高,同时二次镀铬不除氢或除氢时间短,造成活塞氢含量高,是导致活塞断裂的主要原因。本文的研究方法具有理论与工程应用价值,对其他工程故障分析解决和生产工艺的制定提供参考。 相似文献