全文获取类型
收费全文 | 10543篇 |
免费 | 88篇 |
专业分类
公路运输 | 3448篇 |
综合类 | 2259篇 |
水路运输 | 2813篇 |
铁路运输 | 1626篇 |
综合运输 | 485篇 |
出版年
2024年 | 41篇 |
2023年 | 100篇 |
2022年 | 129篇 |
2021年 | 164篇 |
2020年 | 143篇 |
2019年 | 51篇 |
2018年 | 52篇 |
2017年 | 66篇 |
2016年 | 115篇 |
2015年 | 244篇 |
2014年 | 666篇 |
2013年 | 588篇 |
2012年 | 835篇 |
2011年 | 787篇 |
2010年 | 732篇 |
2009年 | 878篇 |
2008年 | 801篇 |
2007年 | 630篇 |
2006年 | 647篇 |
2005年 | 601篇 |
2004年 | 440篇 |
2003年 | 363篇 |
2002年 | 271篇 |
2001年 | 269篇 |
2000年 | 190篇 |
1999年 | 90篇 |
1998年 | 105篇 |
1997年 | 95篇 |
1996年 | 132篇 |
1995年 | 83篇 |
1994年 | 82篇 |
1993年 | 74篇 |
1992年 | 63篇 |
1991年 | 49篇 |
1990年 | 22篇 |
1989年 | 28篇 |
1988年 | 2篇 |
1985年 | 2篇 |
1965年 | 1篇 |
排序方式: 共有10000条查询结果,搜索用时 187 毫秒
221.
222.
计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。 相似文献
223.
为深化船检体制改革,阐述建立注册验船师制度的优越性,认为该制度的建立对提升验船师专业技术水平、优化验船师队伍、更好地发挥源头监管的重要作用、保障船舶安全、防治水域污染、促进地方船检又快又好发展具有十分重要的意义。 相似文献
224.
225.
226.
227.
近几年,广西一批重大产业项目相继落户北部湾经济区,在建和拟建的重大产业项目总投资达3000亿元,其中投资超过10亿元的重大产业项目达到32个。石化、钢铁、能源、林浆纸、电子信息、轻工食品等产业布局正加快形成,两年多来共完成投资400多亿元。港口是经济区发展的龙头。2007年2月,经济区成立了广西北部湾国际港务集团有限公司,初步完成了北海、钦州、防城港三港资源整合,沿海港口正在向一体化方向发展。 相似文献
228.
目前中山单一的坐游船观两岸风景的岐江夜游项目将被打造成集"吃、住、玩"为一体的多元化项目。日前,中山市人大常委会召开主任会议,确定了今年的七大人大代表重点建议。其中,由该市人大代表、中山青旅总经理厉健提交的"关于丰富岐江夜游项目的建议"也 相似文献
229.
继续讨论载重线公约附则里值得探讨的问题,其条款的序号及文字,均以《国际航行海船法定检验技术规则》第3篇《经修正的1966年国际载重线公约1988年议定书附则B》为准。首篇已经有言在先:一家之言难免偏颇,甚而荒谬,欢迎批评指正。附则第6条(6)仅需勘划淡水载重线的规定:"如对船舶所核定的干舷比最小干舷为大,因而其载重线勘划在相当于或低于根据本议定书所核定的最低季节性最小干舷载重线位置,则仅需勘划淡水 相似文献
230.
2014年,似曾相识的异动如同噩梦般撩起航运业的不安。航运市场会否再次遭受重创,还是不景气氛围下的杯弓蛇影?一时间,忧虑四起。2008年的金融危机,风卷残云般将全球航运业直击谷底,至今仍未恢复元气。时隔6年,BDI魔咒再现,月内断崖式暴跌35%至782点;石油价格持续下跌;向来坚挺的希腊航运股无一幸免惨遭滑铁卢,甚至下滑超过了两位数百分比,这似曾 相似文献