全文获取类型
收费全文 | 3053篇 |
免费 | 126篇 |
专业分类
公路运输 | 211篇 |
综合类 | 645篇 |
水路运输 | 181篇 |
铁路运输 | 2085篇 |
综合运输 | 57篇 |
出版年
2024年 | 4篇 |
2023年 | 11篇 |
2022年 | 51篇 |
2021年 | 128篇 |
2020年 | 128篇 |
2019年 | 102篇 |
2018年 | 41篇 |
2017年 | 114篇 |
2016年 | 99篇 |
2015年 | 120篇 |
2014年 | 185篇 |
2013年 | 163篇 |
2012年 | 325篇 |
2011年 | 268篇 |
2010年 | 155篇 |
2009年 | 99篇 |
2008年 | 146篇 |
2007年 | 210篇 |
2006年 | 182篇 |
2005年 | 136篇 |
2004年 | 137篇 |
2003年 | 117篇 |
2002年 | 38篇 |
2001年 | 47篇 |
2000年 | 40篇 |
1999年 | 18篇 |
1998年 | 10篇 |
1997年 | 18篇 |
1996年 | 14篇 |
1995年 | 11篇 |
1994年 | 11篇 |
1993年 | 13篇 |
1992年 | 5篇 |
1991年 | 18篇 |
1990年 | 5篇 |
1989年 | 7篇 |
1988年 | 2篇 |
1986年 | 1篇 |
排序方式: 共有3179条查询结果,搜索用时 46 毫秒
781.
高速铁路列控系统运营场景实时性的建模与验证 总被引:1,自引:0,他引:1
高速铁路列控系统是一个典型的分布式实时系统,其时间约束主要反映在运营场景中子系统之间的交互过程中。时序逻辑的扩展方法并不能完全满足描述分布式实时系统性质的需要,并且随着系统的复杂性提高,列控系统运营场景中诸如超时、期限、直到…才等形式化描述与验证上存在不足。本文提出一种适合于列控系统场景建模与验证的方法,其核心思想是使用混合通信顺序进程HCSP(Hybrid Communicating Sequential Process)形式化描述分布式实时系统模型,提出转换规则,转换成时间自动机网络模型并进行自动验证。最后通过对典型场景无线闭塞中心RBC(Radio Block Center)切换的相关属性进行建模与验证,分析证明方法的有效性。 相似文献
782.
本文结合城市轨道交通列车自动驾驶系统实测数据,对电动客车制动模型的类型和参数的辨识进行较为深入的研究。首先,在分析最大制动率条件下实测制动数据后,对列车制动模型类型进行研究。然后,应用非线性优化技术在不同模型种类、有无参数范围约束等情况下,对制动模型进行辨识,并根据模型选择技术获得最佳制动模型及其参数。最后,研究不同制动率下列车制动模型的一致性,并基于模型选择技术给出制动率和制动减速度之间的模型。 相似文献
783.
列控中心系统是实现高速铁路安全运行的关键设备。自动化的黑盒测试是验证其系统功能和确认系统满足系统需求,具有足够安全性防护能力的重要手段。脚本技术是实现软件测试自动化技术的有效方法。测试脚本语言是脚本技术的核心,但是目前没有专门针对列控中心测试的脚本语言。本文结合列控中心测试的特点,提出一种测试策略,设计了场景-事件驱动的测试脚本语言SED_TSL。在本文提出的测试策略中针对安全防护功能,以实际运营场景为核心,利用测试脚本语言SED_TSL定义正常场景与故障场景,测试序列与测试用例,仿真环境,形成分级测试脚本。通过场景变换控制测试逻辑与流程,触发仿真事件加载测试用例实现系统的功能性与安全性测试。本文对测试脚本语言SED_TSL与基于SED_TSL的自动化测试环境的实现机制进行阐述,并实现了基于SED_TSL的高速铁路列控中心系统自动化测试环境,投入到铁道部的列控中心产品制式检测中。实际应用表明:测试脚本语言的描述能力与自动化测试环境符合测试需求,有效地实现了列控中心产品的功能与安全性测试。 相似文献
784.
运行时验证及其在列车运行控制系统中的应用 总被引:1,自引:0,他引:1
运行时验证是一种将模型检验方法与测试相结合的轻量级验证技术,它能够有效地降低系统验证的复杂度,提供系统运行阶段的安全保障,因此在安全苛求系统的验证领域有着极其重要的应用。本文提出一种基于三值逻辑的有限轨迹LTL可执行语义,允许"真"和"假"以外的逻辑值来显式的刻画验证过程中可能出现的非确定性,从而使得验证的结果更加精确。针对新的LTL语义给出了基于公式重写的运行监控算法和近似优化策略,并结合欧洲列车运行控制系统的实例,分析探讨了该方法在轨道交通控制领域的应用。 相似文献
785.
高速列车进入有缓冲结构隧道的压力变化研究 总被引:2,自引:0,他引:2
采用高速列车空气动力学模型实验对高速列车在进入带缓冲结构隧道过程中瞬变压力传播机理进行研究。实验结果表明,缓冲结构能够减缓隧道内瞬变压力。其原因在于:缓冲结构横断面积逐渐由大变小,阻塞比逐渐由小变大,延长了压力上升时间,降低了压力梯度;另一方面,由于压缩波在缓冲结构和列车、隧道之间多次反射,降低了压力峰值。在M.S.Howe提出无缓冲结构下最大压力波变化理论基础上提出有缓冲结构时隧道内最大压力和最大压力梯度变化规律计算公式。所得结论可为隧道空气动力学研究提供参考。 相似文献
786.
787.
788.
城市轨道交通网络化运营条件下,协调优化各线列车运行计划,使不同线路的列车在换乘站形成良好衔接,能够缩短乘客的换乘等待时间。合理的换乘站列车衔接时间是编制网络列车运行计划的基础。基于乘客的换乘等待心理和列车运行延误的随机性特点,确定了列车衔接时间的组成。分析了列车运行延误对列车间衔接关系的影响,建立了换乘等待时间的费用函数。在此基础上,提出了换乘站列车衔接时间的优化模型,并给出了具体算例。该模型可为列车衔接计划中安排的换乘衔接关系确定最佳的列车衔接时间,为网络列车运行计划的协调编制提供指导。 相似文献
789.
王志强 《城市轨道交通研究》2015,18(6):36-41
列车运行仿真技术对工程设计、运营管理具有重要的现实意义。设计了一种基于并行计算的列车运行仿真快速计算方法:一方面,通过将线路各区间的列车运行过程用独立的线程运算单元来计算,以达到仿真过程数据的并行计算效果;另一方面,通过反推制动曲线与限速红线的交点,获得分界点,仿真过程中根据列车位置与分界点的位置关系决定是否进行制动起点反向推算,从而显著提高了每个线程运算单元的运算效率。该方法可在不影响计算精度的前提下,将计算效率显著提高。 相似文献
790.
分析了地铁再生制动能量逆变回馈系统的工作原理,给出了基于多模块并联的地铁再生制动回馈变流器主回路设计及控制策略设计方法,并完成了样机的研制和试验。试验结果表明:该装置满足地铁列车再生制动能量的吸收利用及稳定牵引网电压的要求,可以实现交直流侧直接并联,其均流精度高、高频环流小、冗余度高。 相似文献