全文获取类型
收费全文 | 4410篇 |
免费 | 71篇 |
专业分类
公路运输 | 1257篇 |
综合类 | 622篇 |
水路运输 | 1991篇 |
铁路运输 | 515篇 |
综合运输 | 96篇 |
出版年
2024年 | 27篇 |
2023年 | 81篇 |
2022年 | 92篇 |
2021年 | 112篇 |
2020年 | 88篇 |
2019年 | 43篇 |
2018年 | 48篇 |
2017年 | 29篇 |
2016年 | 61篇 |
2015年 | 123篇 |
2014年 | 253篇 |
2013年 | 175篇 |
2012年 | 278篇 |
2011年 | 255篇 |
2010年 | 231篇 |
2009年 | 230篇 |
2008年 | 244篇 |
2007年 | 205篇 |
2006年 | 192篇 |
2005年 | 147篇 |
2004年 | 220篇 |
2003年 | 210篇 |
2002年 | 151篇 |
2001年 | 182篇 |
2000年 | 114篇 |
1999年 | 74篇 |
1998年 | 73篇 |
1997年 | 74篇 |
1996年 | 89篇 |
1995年 | 61篇 |
1994年 | 74篇 |
1993年 | 67篇 |
1992年 | 55篇 |
1991年 | 52篇 |
1990年 | 32篇 |
1989年 | 32篇 |
1988年 | 3篇 |
1985年 | 2篇 |
1965年 | 1篇 |
1955年 | 1篇 |
排序方式: 共有4481条查询结果,搜索用时 15 毫秒
131.
132.
计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。 相似文献
133.
134.
提出地铁列车可靠性验收的基本条件,分别介绍了基于定时截尾试验、序贯截尾试验和全数检验的3种经典的可靠性验收方法;提出基于全数检验和定时截尾试验的地铁列车整车可靠性验收方法,设计了可靠性验收的流程;以某一具体项目为例,对该可靠性验收方法进行了验证。结果证明:基于全数检验与定时截尾试验的地铁列车整车可靠性验收方法是有效的,可以节省试验时间。 相似文献
135.
136.
为探究手机社交娱乐操作对驾驶人视觉参数的影响,基于模拟驾驶器和SmartEye 眼动仪设计模拟驾驶实验,采集驾驶人正常驾驶、拨打电话、收发信息等5种操作下视觉特征数据,应用拉依达准则和联合频数分布直方图进行数据归约.针对不同操作下视觉参数,应用箱形图和Kruskal-Wallis显著性检验,验证视觉参数评价指标的有效性.结果表明:随手机操作类型的不同,驾驶人水平和垂直视角标准差、视线离开道路时间百分比、扫视平均速度和眨眼持续时间呈显著性变化,可作为视觉参数影响的评价指标;观看视频和刷朋友圈操作对驾驶人视觉影响程度明显高于拨打电话和收发短信操作. 相似文献
137.
在我国很多工程建设过程中都需要用到起重机,为了保证工程的效率和施工工人的安全,必须对起重机械采取一定的安全防护措施。起重机械具有非常复杂的机械结构,因此,在进行安全防护过程中一定要采取专业的技术,解决起重机械存在的质量问题。 相似文献
138.
139.
140.
以国家号召发展长江航道为背景,在生态航道建设的基础上,首次提出以满足生态效益需求为核心,兼顾经济社会发展、长江水资源综合利用等多种目标,实现长江航道建设可持续发展的长江航道承载力概念。借鉴资源承载力理论体系,运用系统理论、协同理论等理论对航道承载力系统的结构关系进行分析,并提出航道承载力的定义、内涵、特征及航道承载力发展机制。 相似文献