全文获取类型
收费全文 | 3254篇 |
免费 | 123篇 |
专业分类
公路运输 | 188篇 |
综合类 | 557篇 |
水路运输 | 69篇 |
铁路运输 | 2481篇 |
综合运输 | 82篇 |
出版年
2024年 | 3篇 |
2023年 | 10篇 |
2022年 | 63篇 |
2021年 | 142篇 |
2020年 | 191篇 |
2019年 | 133篇 |
2018年 | 57篇 |
2017年 | 149篇 |
2016年 | 134篇 |
2015年 | 136篇 |
2014年 | 203篇 |
2013年 | 175篇 |
2012年 | 320篇 |
2011年 | 271篇 |
2010年 | 149篇 |
2009年 | 101篇 |
2008年 | 137篇 |
2007年 | 202篇 |
2006年 | 180篇 |
2005年 | 135篇 |
2004年 | 148篇 |
2003年 | 114篇 |
2002年 | 36篇 |
2001年 | 40篇 |
2000年 | 40篇 |
1999年 | 17篇 |
1998年 | 7篇 |
1997年 | 15篇 |
1996年 | 8篇 |
1995年 | 9篇 |
1994年 | 12篇 |
1993年 | 11篇 |
1992年 | 4篇 |
1991年 | 15篇 |
1990年 | 3篇 |
1989年 | 4篇 |
1988年 | 1篇 |
1986年 | 1篇 |
1984年 | 1篇 |
排序方式: 共有3377条查询结果,搜索用时 986 毫秒
841.
侧风风场特征对高速列车气动性能作用的研究 总被引:2,自引:0,他引:2
侧风风场特征,如均匀风和大气底层边界速度型对高速列车在侧风环境下运行的安全性评估有直接影响.为了准确地评估侧风对在平原上运行的高速列车的影响,基于三维定常可压缩流动的NS方程,采用SSTk-ω两方程湍流模型和有限体积法,对时速350 km的动车组在均匀风和大气底层边界速度型风场中的流场和气动力特性分别进行了数值模拟计算和分析.结果表明:对在平原上运行的高速列车而言,作用于列车的气动升力、侧向力及倾覆力矩均随侧风风向角的增大而迅速增大;当风场为大气底层边界速度型时,列车顶部与底部及两个侧面的压力差小于风场为均匀风时的压力差,侧向力及倾覆力矩均小于风场为均匀风时的力及力矩,升力则随侧风风向角的增加具有不确定性.采用均匀风场评估高速列车在平原侧风环境中运行的安全性,会高估侧风对列车运行安全影响的风险,使得过低地限制列车的安全行驶速度,从而影响列车的正常运行效率.建议采用大气底层边界速度型风场进行评估. 相似文献
842.
主要研究中低速永磁电磁型磁浮列车悬浮控制系统的阻尼信息提取及融合技术.建立考虑轨道一阶振动模态的单点永磁电磁悬浮系统非线性模型,提出一种线性全状态反馈控制律.基于一类双积分串联系统的最优快速综合函数,设计了一种可有效提取悬浮间隙微分信号的快速数字微分器;采用一种二阶形式的高通滤波器,有效滤除加速度计中的重力分量,提取得到较高频段的加速度隔直积分信息.采用扫频法分别绘制了两种滤波器的幅相曲线.利用线性组合的方式将两种阻尼信息进行融合,从而获得控制系统全频段的有效阻尼.仿真和试验表明,当轨道以较低频率振动时,数字间隙微分器在该频段可提取足够阻尼,弥补加速度隔直积分在该频段的小增益,很好地抑制了轨道的振动. 相似文献
843.
844.
数据通信系统DCS(Data Communication System)是影响CBTC系统的控制精度、效率和安全性的主要因素,其通信性能的仿真、验证对于CBTC系统的研发和改进有重要意义。本文介绍利用OPNET模拟自主研发的安全通信协议和构建DCS性能仿真研究平台的方法,给出安全通信协议有限状态机模型和可配置的通信子系统节点通用模型,研究平台可用于分析安全协议在整个通信网络上的总体性能。给出利用节点模型建立整个DCS通信网络的算例和网络性能的仿真结果,实验结果表明,通信周期不完全同步可以减小报文时延,网络出现故障后,改变生成树根节点位置使最大报文时延增加近34%。 相似文献
845.
高效、高精度的轨道电子地图是实现列车定位及列车运行控制的重要基础。为了提高轨道电子地图数据的存储及使用效率,在地图生成过程中需要在保证精度的前提下对测量数据进行约简。本文在实测数据的基础上分析轨道地图测量数据特性,采用小波变换及距离判别的方法对异常测量数据进行剔除,提出一种基于垂距判定和三次B样条曲线拟合的数据约简算法用于地图生成。该算法利用垂距判定方法从异常值剔除的原始数据中选取一定数目的测量点构成轨道特征点集,并对其进行三次B样条拟合,通过对拟合曲线进行误差判别修正和补充特征点,完成数据最终约简及轨道地图生成。青藏线实测数据验证结果表明,在合理选择垂距限差的情况下,该算法能够有效约简原始地图测量数据,并保证所生成地图的精度水平。 相似文献
846.
CTCS-3级列控系统规范是CTCS-3级列控系统设计与开发的基础,是实现互联互通以及确保系统高效率与安全性的关键环节。然而,依靠经验与直觉制定的规范不可避免地存在某些漏洞或者安全隐患,因此对CTCS-3级列控系统规范进行建模与形式化验证显得十分必要。本文提出CTCS-3级列控系统规范建模与形式化验证方法,此方法的特点是能够在系统规范、模型、验证工具以及验证结果之间建立一条跟踪链,从而始终保证系统规范、模型及程序代码之间的一致性。结合笔者运用此方法对CTCS-3级列控系统规范建模与形式化验证的实践,证明这种方法是可行的、高效的。 相似文献
847.
高速铁路列控系统运营场景实时性的建模与验证 总被引:1,自引:0,他引:1
高速铁路列控系统是一个典型的分布式实时系统,其时间约束主要反映在运营场景中子系统之间的交互过程中。时序逻辑的扩展方法并不能完全满足描述分布式实时系统性质的需要,并且随着系统的复杂性提高,列控系统运营场景中诸如超时、期限、直到…才等形式化描述与验证上存在不足。本文提出一种适合于列控系统场景建模与验证的方法,其核心思想是使用混合通信顺序进程HCSP(Hybrid Communicating Sequential Process)形式化描述分布式实时系统模型,提出转换规则,转换成时间自动机网络模型并进行自动验证。最后通过对典型场景无线闭塞中心RBC(Radio Block Center)切换的相关属性进行建模与验证,分析证明方法的有效性。 相似文献
848.
本文结合城市轨道交通列车自动驾驶系统实测数据,对电动客车制动模型的类型和参数的辨识进行较为深入的研究。首先,在分析最大制动率条件下实测制动数据后,对列车制动模型类型进行研究。然后,应用非线性优化技术在不同模型种类、有无参数范围约束等情况下,对制动模型进行辨识,并根据模型选择技术获得最佳制动模型及其参数。最后,研究不同制动率下列车制动模型的一致性,并基于模型选择技术给出制动率和制动减速度之间的模型。 相似文献
849.
列控中心系统是实现高速铁路安全运行的关键设备。自动化的黑盒测试是验证其系统功能和确认系统满足系统需求,具有足够安全性防护能力的重要手段。脚本技术是实现软件测试自动化技术的有效方法。测试脚本语言是脚本技术的核心,但是目前没有专门针对列控中心测试的脚本语言。本文结合列控中心测试的特点,提出一种测试策略,设计了场景-事件驱动的测试脚本语言SED_TSL。在本文提出的测试策略中针对安全防护功能,以实际运营场景为核心,利用测试脚本语言SED_TSL定义正常场景与故障场景,测试序列与测试用例,仿真环境,形成分级测试脚本。通过场景变换控制测试逻辑与流程,触发仿真事件加载测试用例实现系统的功能性与安全性测试。本文对测试脚本语言SED_TSL与基于SED_TSL的自动化测试环境的实现机制进行阐述,并实现了基于SED_TSL的高速铁路列控中心系统自动化测试环境,投入到铁道部的列控中心产品制式检测中。实际应用表明:测试脚本语言的描述能力与自动化测试环境符合测试需求,有效地实现了列控中心产品的功能与安全性测试。 相似文献
850.
运行时验证及其在列车运行控制系统中的应用 总被引:1,自引:0,他引:1
运行时验证是一种将模型检验方法与测试相结合的轻量级验证技术,它能够有效地降低系统验证的复杂度,提供系统运行阶段的安全保障,因此在安全苛求系统的验证领域有着极其重要的应用。本文提出一种基于三值逻辑的有限轨迹LTL可执行语义,允许"真"和"假"以外的逻辑值来显式的刻画验证过程中可能出现的非确定性,从而使得验证的结果更加精确。针对新的LTL语义给出了基于公式重写的运行监控算法和近似优化策略,并结合欧洲列车运行控制系统的实例,分析探讨了该方法在轨道交通控制领域的应用。 相似文献