全文获取类型
收费全文 | 25489篇 |
免费 | 1317篇 |
专业分类
公路运输 | 8345篇 |
综合类 | 7219篇 |
水路运输 | 5993篇 |
铁路运输 | 4623篇 |
综合运输 | 626篇 |
出版年
2024年 | 277篇 |
2023年 | 1031篇 |
2022年 | 1128篇 |
2021年 | 1270篇 |
2020年 | 895篇 |
2019年 | 962篇 |
2018年 | 444篇 |
2017年 | 572篇 |
2016年 | 561篇 |
2015年 | 777篇 |
2014年 | 1150篇 |
2013年 | 1162篇 |
2012年 | 1277篇 |
2011年 | 1310篇 |
2010年 | 1375篇 |
2009年 | 1382篇 |
2008年 | 1467篇 |
2007年 | 1299篇 |
2006年 | 1119篇 |
2005年 | 1042篇 |
2004年 | 848篇 |
2003年 | 925篇 |
2002年 | 686篇 |
2001年 | 722篇 |
2000年 | 502篇 |
1999年 | 356篇 |
1998年 | 372篇 |
1997年 | 327篇 |
1996年 | 286篇 |
1995年 | 241篇 |
1994年 | 223篇 |
1993年 | 174篇 |
1992年 | 194篇 |
1991年 | 169篇 |
1990年 | 134篇 |
1989年 | 123篇 |
1988年 | 10篇 |
1987年 | 1篇 |
1965年 | 11篇 |
1956年 | 1篇 |
1955年 | 1篇 |
排序方式: 共有10000条查询结果,搜索用时 435 毫秒
531.
533.
534.
计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。 相似文献
535.
536.
537.
538.
539.
540.
使用水动力和系泊分析软件进行建模和计算,分析了六锚链悬链式单点系泊浮筒在不同的锚链和锚点分布方式中的系泊力变化,探讨了抛锚位置对系泊系统的位移和拉力可能造成的影响。 相似文献