全文获取类型
收费全文 | 3394篇 |
免费 | 292篇 |
专业分类
公路运输 | 970篇 |
综合类 | 1050篇 |
水路运输 | 952篇 |
铁路运输 | 596篇 |
综合运输 | 118篇 |
出版年
2024年 | 27篇 |
2023年 | 36篇 |
2022年 | 124篇 |
2021年 | 164篇 |
2020年 | 123篇 |
2019年 | 86篇 |
2018年 | 69篇 |
2017年 | 67篇 |
2016年 | 69篇 |
2015年 | 151篇 |
2014年 | 186篇 |
2013年 | 237篇 |
2012年 | 267篇 |
2011年 | 302篇 |
2010年 | 295篇 |
2009年 | 283篇 |
2008年 | 252篇 |
2007年 | 260篇 |
2006年 | 248篇 |
2005年 | 194篇 |
2004年 | 77篇 |
2003年 | 37篇 |
2002年 | 17篇 |
2001年 | 58篇 |
2000年 | 38篇 |
1999年 | 10篇 |
1998年 | 5篇 |
1996年 | 2篇 |
1995年 | 1篇 |
1994年 | 1篇 |
排序方式: 共有3686条查询结果,搜索用时 921 毫秒
791.
介绍了基于2SC0108T驱动芯片的三电平IGBT模块驱动板,该驱动板具有电源欠压保护、短路保护等功能。利用PSpice电路仿真软件对其前级PwM驱动信号调理电路及故障信号反馈电路进行了原理性验证,同时与F3L400R12PT4型三电平IGBT模块进行联调,通过斩波试验和短路试验证明了该款驱动板在工程应用中的有效性和可靠性。 相似文献
792.
落石运动过程偏移与随机特性的试验研究 总被引:1,自引:0,他引:1
通过112块不同形状、不同质量的落石现场滚落试验,发现落石形状、质量和运动模式对落石偏移比有显著影响.落石越接近球形、质量越大、运动模式越单一,其偏移比越小,反之则会出现较大的偏移比和横向威胁范围;试验中绝大部分落石的偏移比大于0.1,但均在0.3以内.鉴于此,建议在实际落石防护工程设计中落石偏移比取0.3,以控制落石横向威胁范围;或依据落石灾害危险性评价结果和可接受风险水平确定落石偏移比的取值.通过9块试验条件近似的落石试验表明,落石运动过程充满随机性,在落石运动路径计算方法中应考虑落石运动过程随机特性的影响,这对于落石灾害威胁区域的划定和被动防治系统的布置非常重要. 相似文献
793.
为满足列车动力学仿真对轮轨接触点位置的精度要求,采用解析方法建立轮轨空间接触几何的约束方程组,并给出其在二维轮轨接触几何情形时的简化形式.以S1002车轮踏面和UIC60钢轨为例,基于符号计算平台Maple软件对该约束方程组进行求解,得到轮轨接触几何参数.结果表明:二维轮轨接触时的滚动半径差、接触角差、接触点在车轮踏面... 相似文献
794.
数据通信系统DCS(Data Communication System)是影响CBTC系统的控制精度、效率和安全性的主要因素,其通信性能的仿真、验证对于CBTC系统的研发和改进有重要意义。本文介绍利用OPNET模拟自主研发的安全通信协议和构建DCS性能仿真研究平台的方法,给出安全通信协议有限状态机模型和可配置的通信子系统节点通用模型,研究平台可用于分析安全协议在整个通信网络上的总体性能。给出利用节点模型建立整个DCS通信网络的算例和网络性能的仿真结果,实验结果表明,通信周期不完全同步可以减小报文时延,网络出现故障后,改变生成树根节点位置使最大报文时延增加近34%。 相似文献
795.
高效、高精度的轨道电子地图是实现列车定位及列车运行控制的重要基础。为了提高轨道电子地图数据的存储及使用效率,在地图生成过程中需要在保证精度的前提下对测量数据进行约简。本文在实测数据的基础上分析轨道地图测量数据特性,采用小波变换及距离判别的方法对异常测量数据进行剔除,提出一种基于垂距判定和三次B样条曲线拟合的数据约简算法用于地图生成。该算法利用垂距判定方法从异常值剔除的原始数据中选取一定数目的测量点构成轨道特征点集,并对其进行三次B样条拟合,通过对拟合曲线进行误差判别修正和补充特征点,完成数据最终约简及轨道地图生成。青藏线实测数据验证结果表明,在合理选择垂距限差的情况下,该算法能够有效约简原始地图测量数据,并保证所生成地图的精度水平。 相似文献
796.
CTCS-3级列控系统规范是CTCS-3级列控系统设计与开发的基础,是实现互联互通以及确保系统高效率与安全性的关键环节。然而,依靠经验与直觉制定的规范不可避免地存在某些漏洞或者安全隐患,因此对CTCS-3级列控系统规范进行建模与形式化验证显得十分必要。本文提出CTCS-3级列控系统规范建模与形式化验证方法,此方法的特点是能够在系统规范、模型、验证工具以及验证结果之间建立一条跟踪链,从而始终保证系统规范、模型及程序代码之间的一致性。结合笔者运用此方法对CTCS-3级列控系统规范建模与形式化验证的实践,证明这种方法是可行的、高效的。 相似文献
797.
高速铁路列控系统运营场景实时性的建模与验证 总被引:1,自引:0,他引:1
高速铁路列控系统是一个典型的分布式实时系统,其时间约束主要反映在运营场景中子系统之间的交互过程中。时序逻辑的扩展方法并不能完全满足描述分布式实时系统性质的需要,并且随着系统的复杂性提高,列控系统运营场景中诸如超时、期限、直到…才等形式化描述与验证上存在不足。本文提出一种适合于列控系统场景建模与验证的方法,其核心思想是使用混合通信顺序进程HCSP(Hybrid Communicating Sequential Process)形式化描述分布式实时系统模型,提出转换规则,转换成时间自动机网络模型并进行自动验证。最后通过对典型场景无线闭塞中心RBC(Radio Block Center)切换的相关属性进行建模与验证,分析证明方法的有效性。 相似文献
798.
基于位置的CBTC系统无线局域网切换机制 总被引:1,自引:0,他引:1
目前的城市轨道交通CBTC车地通信系统大多采用无线局域网技术。针对同时存在无线自由波和漏泄波导车地通信技术的CBTC无线局域网车地通信系统,提出一种基于位置的无线局域网切换机制。在无线自由波覆盖区段,移动台在确定的位置直接发起重关联请求,而不需要进行探询扫描新AP的过程。而在漏泄波导覆盖区段,通过改变移动台扫描的信道数和最大信道扫描驻留时间,同样明显减小了切换时延。该方法不仅适用于无线自由波的覆盖区域,也可以应用于漏泄波导覆盖的区域,能够减少CBTC车地通信系统中的切换时延。 相似文献
799.
运行时验证及其在列车运行控制系统中的应用 总被引:1,自引:0,他引:1
运行时验证是一种将模型检验方法与测试相结合的轻量级验证技术,它能够有效地降低系统验证的复杂度,提供系统运行阶段的安全保障,因此在安全苛求系统的验证领域有着极其重要的应用。本文提出一种基于三值逻辑的有限轨迹LTL可执行语义,允许"真"和"假"以外的逻辑值来显式的刻画验证过程中可能出现的非确定性,从而使得验证的结果更加精确。针对新的LTL语义给出了基于公式重写的运行监控算法和近似优化策略,并结合欧洲列车运行控制系统的实例,分析探讨了该方法在轨道交通控制领域的应用。 相似文献
800.
介绍孔内摄像技术和原理、工作方法,以一个工程实践为例,通过数据统计的方法,估算注浆工程量。 相似文献