全文获取类型
收费全文 | 134篇 |
免费 | 15篇 |
专业分类
公路运输 | 10篇 |
综合类 | 28篇 |
铁路运输 | 111篇 |
出版年
2024年 | 2篇 |
2023年 | 4篇 |
2022年 | 1篇 |
2021年 | 1篇 |
2020年 | 3篇 |
2019年 | 1篇 |
2018年 | 8篇 |
2017年 | 2篇 |
2016年 | 2篇 |
2015年 | 1篇 |
2014年 | 5篇 |
2013年 | 4篇 |
2012年 | 11篇 |
2011年 | 27篇 |
2010年 | 14篇 |
2009年 | 11篇 |
2008年 | 7篇 |
2007年 | 10篇 |
2006年 | 8篇 |
2005年 | 6篇 |
2004年 | 4篇 |
2003年 | 2篇 |
2002年 | 2篇 |
2001年 | 2篇 |
2000年 | 4篇 |
1999年 | 3篇 |
1998年 | 1篇 |
1995年 | 1篇 |
1993年 | 2篇 |
排序方式: 共有149条查询结果,搜索用时 234 毫秒
101.
郜春海 《现代城市轨道交通》2014,(1):7-10
自主创新的CBTC系统项目实现了“安全、快捷、可靠、准点、舒适、节能、自动化”城市轨道交通的目标。文章从自主创新的CBTC信号系统的研究背景、发展历程、技术创新点及成果转化几个方面进行详细阐述,对我国的自主创新项目的研究具有指导意义。 相似文献
102.
作为CTCS-3级列控系统的核心安全功能,速度-距离模式曲线具有参数输入域规模大、故障模式复杂等特点,如何完备地测试列控车载设备速度-距离监控曲线功能异常困难。提出了一种基于输入等价类划分测试理论的CTCS-3级列控车载目标速度监控曲线完备性测试用例生成方法。首先,结合CTCS-3级列控系统需求规范,建立了满足司机制动优先和设备制动优先两种不同制动优先级情况下的TSM有限状态机模型,并利用反应式状态迁移系统的形式化语义,描述了不同输入情况下模型的内部状态迁移过程。其次,利用I/O等价原理和等价类划分理论,得到了两种不同制动优先情况下的输入等价类划分。在此基础上,通过引入了被测系统的故障模型和故障域范围,采用W-method测试用例集生成方法,在满足模型故障域的条件下,最终得到两种不同制动优先的目标速度监控曲线模型完备测试集。设备制动优先情况生成的测试用例数量高于司机制动优先约33.3%,且所需测试时间和内存消耗更多。 相似文献
103.
主要研究基于改进型令牌传递协议的现场总线CircLink在列车运行控制(ATC)系统车载设备中的应用.在列控系统中引入新型令牌总线CircLink,对于提高其通信性能有着重要的意义.给出车载CircLink总线的应用及工作原理,深入剖析新型令牌总线CircLink和传统令牌总线ARCNet的令牌传递协议,得出CircLink在协议上优于ARCNet的结论,为CircLink在列车控制系统以及更广泛领域中的应用提供了有力的依据. 相似文献
104.
卫星导航系统码间硬件延迟偏差是电离层解算的主要误差来源,在高精度定位时,码偏差需要加以计算和消除.本文提出了通过北斗单星三频无电离层组合、线性回归假设及载波硬件延迟模型进行估算北斗接收机载波相位码偏差的方法,直接计算接收机的码偏差.通过采用实测的北斗单星三频载波数据,验证了该方法对于码偏差大于1μs时是有效性的.此方法提高了北斗二代测试期间数据质量分析水平,增强了北斗接收机软硬件的开发测试能力. 相似文献
105.
106.
107.
形式化方法在列车运行控制系统中的应用 总被引:2,自引:0,他引:2
为了确保列车运行控制系统设计和开发的正确性,比较了仿真、测试和形式化3种能够验证系统设计正确性的方式。根据列车运行控制系统对安全的苛求性,提出了4个与系统安全相关的重要特性,即实时性、混成性、分布(并发)性、反应性,并分析了与这些特性相关的具体形式化方法。通过对每种形式化方法的数学基础和应用范围的分析和归类,给出了各种方法的优势和不足。分析结果表明:任何形式化方法的应用都具有一定的局限性,这是由模型检验和定理证明的本质所决定的;指出了新方法提出、既有方法拓展以及多方法集成将是列车运行控制系统的形式化领域的方向。 相似文献
108.
109.
列车运行控制系统设计正确性的验证方法 总被引:2,自引:2,他引:0
为验证系统开发阶段列车运行控制系统设计的正确性,提出了基于RAISE软件的系统建模、描述及验证方法.以CTCS-3级两列列车追踪运行为例,采用面向系统特性的域,建立了系统域模型,并在对域模型扩充和完善的基础上,用RSL语言描述了两列列车追踪运行情况.根据RSL语言描述的公理及RAISE自身的推理规则,验证了当两列列车追踪运行时, CTCS-3级列车运行控制系统设计的正确性. 相似文献
110.
基于嵌入式Linux的列控系统车载人机界面的实现 总被引:4,自引:0,他引:4
随着铁路的高速发展,传统的车载人机界面已不能满足铁路安全至上的要求.所以尝试引入运行于嵌入式Linux下嵌入式图形系统MiniGUI作为新的图形开发工具.介绍嵌入式Linux的特点以及环境建立的方法,然后详细地介绍嵌入式图形系统MiniGUI,最后对车载人机界面进行规划,并设计在MiniGUI上的实现方法. 相似文献