全文获取类型
收费全文 | 325篇 |
免费 | 10篇 |
专业分类
公路运输 | 64篇 |
综合类 | 98篇 |
水路运输 | 72篇 |
铁路运输 | 75篇 |
综合运输 | 26篇 |
出版年
2024年 | 1篇 |
2023年 | 1篇 |
2022年 | 7篇 |
2021年 | 8篇 |
2020年 | 8篇 |
2019年 | 3篇 |
2018年 | 7篇 |
2017年 | 4篇 |
2016年 | 7篇 |
2015年 | 12篇 |
2014年 | 21篇 |
2013年 | 15篇 |
2012年 | 26篇 |
2011年 | 21篇 |
2010年 | 15篇 |
2009年 | 28篇 |
2008年 | 12篇 |
2007年 | 26篇 |
2006年 | 22篇 |
2005年 | 16篇 |
2004年 | 12篇 |
2003年 | 10篇 |
2002年 | 11篇 |
2001年 | 7篇 |
2000年 | 5篇 |
1999年 | 6篇 |
1998年 | 5篇 |
1997年 | 1篇 |
1996年 | 1篇 |
1995年 | 3篇 |
1994年 | 2篇 |
1993年 | 4篇 |
1991年 | 1篇 |
1990年 | 2篇 |
1989年 | 2篇 |
1988年 | 3篇 |
排序方式: 共有335条查询结果,搜索用时 15 毫秒
71.
CKD7C型内燃机车根据实际运用需要,制动系统设计采用了空气—真空两用制动系统。主要介绍了该制动系统的原理及组成,包括风源系统主要部件参数、制动机逻辑控制关系等,详细说明了该系统中空气制动作用和真空制动作用时的各部件气路作用连接形式,以及控制工作原理。 相似文献
72.
根据城市轨道交通信号系统的特点,分析了城市轨道交通计算机联锁系统相对于国铁计算机联锁系统的一些新需求;介绍了计算机联锁系统因之增加的与外围设备的各种安全接口;详细分析了城市轨道交通的这些新需求、与外围设备的各种新接口对于联锁逻辑判断所产生的一些变化和影响。 相似文献
73.
运行时验证及其在列车运行控制系统中的应用 总被引:1,自引:0,他引:1
运行时验证是一种将模型检验方法与测试相结合的轻量级验证技术,它能够有效地降低系统验证的复杂度,提供系统运行阶段的安全保障,因此在安全苛求系统的验证领域有着极其重要的应用。本文提出一种基于三值逻辑的有限轨迹LTL可执行语义,允许"真"和"假"以外的逻辑值来显式的刻画验证过程中可能出现的非确定性,从而使得验证的结果更加精确。针对新的LTL语义给出了基于公式重写的运行监控算法和近似优化策略,并结合欧洲列车运行控制系统的实例,分析探讨了该方法在轨道交通控制领域的应用。 相似文献
74.
联锁软件的逻辑严密性和安全性对于行车有很大的影响。利用自动化Petri网,根据轨道电路、信号机和道岔之间相互制约的关系以及状态的转换,分别建立了信号机、道岔和进路模型,并根据列车的运行状态细化模型从列车压入进路到出清进路的过程,建立进路解锁的模型。基于上述分析,设计了一种基于可编程逻辑控制器的联锁软件设计方案,实现对联锁的逻辑控制。 相似文献
75.
针对基于归结方法的自动推理过程中的化任一公式为可归约形式这一问题进行研究.简述了LF(X)及其中公式的相关概念,证明了对LF(X)中公式进行转化的若干理论结果,并由此给出化LF(X)中任一公式为可归约形式的理论基础和基本算法. 相似文献
76.
语言作为人类社会交际的工具,具有灵活性的特点。而逻辑作为一门古老的学科,则具有严密性的特点。语言的灵活性与逻辑的严密性关系如何?笔者通过对语言使用过程中所出现的人工语言以及在修辞手法过程中出现的语言现象进行详细分析,阐述了语言的灵活性与逻辑的严密性对立统一于人类语言使用过程中。 相似文献
77.
把车流密度的跳跃性变化作为车流波现象,在高峰小时或者异常情况下(如雨、雪、雾等异常天气),快速路的瓶颈地段经常出现堵塞以及由堵塞引起的车流波。车流波不仅影响瓶颈点下游车辆的运行,还会降低瓶颈点上游路段的有效通过能力。通过大量的交通数据采集,构建基于模糊推理的驾驶员感知——预测行为模型和车流波传播条件下驾驶员微观跟驰模型。结果表明,模型可以有效、准确地模拟车流波传播过程中驾驶员行为。 相似文献
78.
本文提出一种兼顾电池SOC限值方法的混合动力汽车多种群遗传模糊控制策略。引入模糊逻辑控制以增强整车控制系统鲁棒性、实时性;用多种群遗传算法对模糊变量隶属度函数进行优化,使在模糊逻辑控制下整车燃油消耗得到降低;使用电池SOC限值方法避免电池在SOC过低时继续放电。利用matlab平台联合advisor软件进行联合仿真实验,仿真结果表明多种群遗传模糊模糊控制策略能够比advisor软件默认的电机辅住控制策略燃油经济性提高6.96%的情况,SOC限值方法使电池工作在更加合理的SOC值区间范围内,有效保护电池。 相似文献
79.
通过对深圳龙华有轨电车中进路建立时机的描述,以进路的不同开向和不同控制来源的资源冲突为切入点,对进路控制进行分析、提出需求,并采用布尔代数的表达方法对其联锁通用逻辑进行设计。 相似文献
80.