可运几种饲料的大吨位散装运输车

随着我国养殖业由农户分散饲养向自动化、产业化方向的发展，各大中型饲料厂、养殖场需要低成本、高效率的散装饲料运输韦用车。介绍了一种适用于几种散装饲料运输和自动卸料的大吨位散装饲料车。     

穴蚀对汽车液压系统

1 前言 对汽车液压系统进行维护时，经常可以发现液压缸内壁或活塞杆表面有一些蜂窝状的孔穴。在拆洗分配阀、变速操纵阀等液压元件时，发现在它们的配合表面时常有发黑现象，而且还伴有一些麻坑，这些都是汽车液压系统出现的穴蚀现象。     

事故现场勘察数据与分析再现需要数据间的转换实现

文章介绍了ＶｉｓｕａｌＣ＋＋中实现数据交换的ＯＤＢＣ编程接口，以及利用该编程接口实现了事故现场勘察数据与分析再现需要数据间的转换。     

汽油机燃烧循环变动表征参数的探讨

阐述了循环变动对汽油机的动力性、经济性及排放的不利影响 ,进而研究其影响因素。用实测的汽油机相继若干循环的示功图 ,对用缸内压力参数表征循环变动的适应性作出评价。     

计算机联锁控制逻辑的模型检验方法

描述了符号化模型检验策略和相应的工具软件SMV,通过该工具验证了铁路计算机联锁控制逻辑的设计符合其安全规范,最后分析了模型检验面临的困难以及今后的努力方向.     

CTCS-3级列控系统规范的建模与形式化验证方法研究

CTCS-3级列控系统规范是CTCS-3级列控系统设计与开发的基础,是实现互联互通以及确保系统高效率与安全性的关键环节。然而,依靠经验与直觉制定的规范不可避免地存在某些漏洞或者安全隐患,因此对CTCS-3级列控系统规范进行建模与形式化验证显得十分必要。本文提出CTCS-3级列控系统规范建模与形式化验证方法,此方法的特点是能够在系统规范、模型、验证工具以及验证结果之间建立一条跟踪链,从而始终保证系统规范、模型及程序代码之间的一致性。结合笔者运用此方法对CTCS-3级列控系统规范建模与形式化验证的实践,证明这种方法是可行的、高效的。     

高速铁路列控系统运营场景实时性的建模与验证

高速铁路列控系统是一个典型的分布式实时系统,其时间约束主要反映在运营场景中子系统之间的交互过程中。时序逻辑的扩展方法并不能完全满足描述分布式实时系统性质的需要,并且随着系统的复杂性提高,列控系统运营场景中诸如超时、期限、直到…才等形式化描述与验证上存在不足。本文提出一种适合于列控系统场景建模与验证的方法,其核心思想是使用混合通信顺序进程HCSP(Hybrid Communicating Sequential Process)形式化描述分布式实时系统模型,提出转换规则,转换成时间自动机网络模型并进行自动验证。最后通过对典型场景无线闭塞中心RBC(Radio Block Center)切换的相关属性进行建模与验证,分析证明方法的有效性。     

基于位置的CBTC系统无线局域网切换机制

目前的城市轨道交通CBTC车地通信系统大多采用无线局域网技术。针对同时存在无线自由波和漏泄波导车地通信技术的CBTC无线局域网车地通信系统,提出一种基于位置的无线局域网切换机制。在无线自由波覆盖区段,移动台在确定的位置直接发起重关联请求,而不需要进行探询扫描新AP的过程。而在漏泄波导覆盖区段,通过改变移动台扫描的信道数和最大信道扫描驻留时间,同样明显减小了切换时延。该方法不仅适用于无线自由波的覆盖区域,也可以应用于漏泄波导覆盖的区域,能够减少CBTC车地通信系统中的切换时延。     

关节式电分相过电压致线索烧损分析及对策

对接触网的关节式电分相出现过电压的原因进行了分析,并结合襄樊供电段现场实际情况,提出了具体的防治对策。     

客运机车准流线型司机室结构模块化设计

200 km/h六轴客运机车首次在电力机车设计中采用自顶向下的方式模块化设计双曲面准流线型司机室的钢结构,文章介绍了司机室钢结构的模块化设计过程,主要部件的结构以及关键问题的处理。