全文获取类型
收费全文 | 1699篇 |
免费 | 136篇 |
专业分类
公路运输 | 508篇 |
综合类 | 369篇 |
水路运输 | 482篇 |
铁路运输 | 282篇 |
综合运输 | 194篇 |
出版年
2024年 | 15篇 |
2023年 | 27篇 |
2022年 | 52篇 |
2021年 | 62篇 |
2020年 | 71篇 |
2019年 | 72篇 |
2018年 | 53篇 |
2017年 | 74篇 |
2016年 | 81篇 |
2015年 | 76篇 |
2014年 | 136篇 |
2013年 | 101篇 |
2012年 | 142篇 |
2011年 | 152篇 |
2010年 | 98篇 |
2009年 | 82篇 |
2008年 | 76篇 |
2007年 | 102篇 |
2006年 | 95篇 |
2005年 | 63篇 |
2004年 | 45篇 |
2003年 | 31篇 |
2002年 | 17篇 |
2001年 | 22篇 |
2000年 | 23篇 |
1999年 | 10篇 |
1998年 | 12篇 |
1997年 | 13篇 |
1996年 | 9篇 |
1995年 | 3篇 |
1994年 | 6篇 |
1993年 | 5篇 |
1992年 | 2篇 |
1991年 | 3篇 |
1989年 | 2篇 |
1985年 | 1篇 |
1984年 | 1篇 |
排序方式: 共有1835条查询结果,搜索用时 15 毫秒
51.
计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。 相似文献
52.
软弱富水地层浅埋暗挖隧道地表沉降和支护结构受力的模型试验 总被引:1,自引:1,他引:0
张杰 《铁道标准设计通讯》2018,(3):107-113
以莞惠城际轨道交通工程项目GZH-5标段中DK32+300~DK32+927.303段为背景,通过2组模型试验,其中一组无超前注浆,另一组进行超前注浆,研究软弱富水地层浅埋暗挖隧道地表沉降和支护结构受力规律及超前注浆对其受力变形造成的影响,最后,针对软弱富水地层浅埋暗挖隧道施工,提出几点隧道工程设计和施工的相关建议。 相似文献
53.
ABSTRACTIn this article, we propose a new model called subjective-utility travel time budget (SU-TTB) model to capture travelers' risk-averse route choices. In the travel time budget (TTB) and mean-excess travel time (METT) model, a predefined confidence level is needed to capture the risk-aversion in route choice. Due to the day-to-day route travel time variations, the exact confidence level is hard to be predicted. With the SU-TTB model, we assume travelers' confidence level belongs to an interval that they may comply with in the route choice. The two main components of SU-TTB are the utility function and the TTB model. We can show that the SU-TTB can be reduced to the TTB and METT model with proper utility function for the confidence levels. We can also prove its equivalence with our recently proposed nonlinear-expectation route travel time (NERTT) model in some cases and give some new interpretation on the NERTT with this equivalence. Finally, we formulate the SU-TTB model as a variational inequality (VI) problem to model the risk-averse user equilibrium (RAUE), termed as generalized RAUE (GRAUE). The GRAUE is solved via a heuristic gradient projection algorithm, and the model and solution algorithm are demonstrated with the Braess's traffic network and the Nguyen and Dupuis's traffic network. 相似文献
54.
55.
56.
侧推减阻降噪装置设计与应用探索 总被引:1,自引:0,他引:1
侧推减阻降噪装置是一种填补国内空白的特种船舶装置,此装置可针对性解决因侧推通道激发的局部紊流及气泡层影响船舶声学设备正常使用的难题,该文介绍了该装置产生的背景、预期功能、设计校核方案及船上安装使用方法,经实船验证,该装置满足母船声学设备使用要求。 相似文献
57.
58.
59.
60.