轨道交通自动售检票系统网络性能计算与验证

研究影响城市轨道交通自动售检票(AFC)系统的网络关键因素和性能。先对系统网络带宽需求进行验证,再通过模拟数据交易对系统进行正确性、并发、压力以及网络性能等关键因素的测试与验证,以证明设计符合需求,确保系统安全、可靠、稳定,从而实现各项预期功能。     

LKJ基础数据的编制复核及信息化管理的探讨

分析了现有LKJ基础数据编制业务流程,指出了其中存在的不足,并有针对性地提出了一种基于信息化工具的LKJ基础数据管理流程,可实现LKJ基础数据全过程的自动化复核、校验和管理,提高LKJ基础数据的准确性。     

基于MSC与UPPAAL的区域控制器切换场景建模与验证

区域控制器(Zone Controller,ZC)边界切换场景是城市轨道交通列车控制系统的重要场景,切换过程中移交ZC、接管ZC和车载子系统之间要进行频繁的信息交互,因而对其安全性和实时性有更严苛的要求。根据ZC子系统特点,将MSC半形式化方法作为切入点,结合时间自动机理论,建立ZC切换场景的MSC模型和时间自动机网络模型,用于ZC切换场景功能和受限活性的安全验证。结果表明:ZC边界切换控制功能满足系统安全性和受限活性的规范要求。因此此种建模验证方法是可行的,可以将其应用于列控系统其他场景的建模与验证过程中。     

CRC+AC型复合式路面层间剪应力分析

基于弹性层状体系理论,应用BISAR3．0程序计算分析了CRC＋AC型复合式路面层间最大剪应力,得出了不同行车荷载、结构层厚度、材料模量及层间结合状态下,CRC＋AC型复合式路面层间最大剪应力的变化规律。     

基于虚实融合技术的V2X测试系统研究

针对网联汽车在进行V2X功能实车测试成本高、危险性高、对场地要求高等问题,以被测车辆V2X车载单元为主要测试对象,开发一套基于虚实融合技术的V2X测试系统,依托PreScan及MATLAB软件搭建测试场景,背景车辆及路侧信息为虚,被测车辆为实,虚实结合构建了完整的V2X功能实车验证环境。以某车型搭载的V2X车载单元为被测对象,在测试系统中搭建了交叉路口碰撞预警验证环境进行试验,试验结果证实测试系统能够在保证测试安全的前提下进行V2X功能有效性的判断。     

基于VBA的应答器报文比对方案

截至2014年,中国已经成为世界上使用应答器最多的国家.在了解报文编制过程和数据包定义的基础上,结合微软的VBA工具,提出基于Excel VBA程序进行报文显示和比对的方案,并且详细阐述了实现的步骤和特点.解决了报文数据显示不直观,新旧报文对比困难等问题,极大的方便了用户对报文的管理和校核.     

地铁车站环境温度自动控制系统分析与改进

提出了地铁车站公共区温度控制存在的问题,对问题原因进行了分析,并根据分析结果提出了地铁车站温度控制的新思路,设计了串级PID(比例-积分-微分)模糊控制的控制方案以及主要控制思路的实现方法。通过Matlab软件仿真验证了该方案的可行性。     

SX3400型自卸汽车转向梯形及杆系的设计与计算

为确保汽车转向时各车轮的转向达到纯滚动而无滑动,使各车轮的转角有统一的瞬时转向中心,以SX3400型自卸汽车为例,对其转向梯形及杆系进行设计与计算。结果表明,SX3400型自卸汽车转向系设计合理,既减少了轮胎的磨损,又减轻了转向阻力,提高了汽车的机动性。     

计量标准型一次抽样检验法在检测实验室耗材采购验证中的应用

为了对检测实验室质量控制的一个重要环节——耗材的质量控制提供一种有效的方法,通过制定合理的抽样检验方案,对技术指标进行检验。根据《计量标准型一次抽样检验程序及表》（GB/T 8054—2008）,分别使用S法、σ法确定抽样方案,对技术指标进行抽样检验。应用结果表明,将计量标准型一次抽样检验方法有效应用于实验室耗材采购验证,具有一定的科学性和经济性,对于经常使用品种较多、批量较大耗材的检测实验室,这种验证方法具有推广性。     

���ڴʰ�ģ�͵����������֤�㷨

随着火车票实名制的不断推广,人工核实身份的验票方式已不能满足实际需求,鉴于此本文提出一种基于词包模型的人脸身份认证算法,通过人脸比对自动完成身份核实.首先提取每幅图像的尺度不变特征变换(SIFT)描述子;其次利用词包模型(BOVW)构建人脸的典型特征;随后训练SVM分类器,将同一人不同年龄段的图像作为同一类,针对同一人的类内相似性和不同人的类间差异性进行建模;最后通过SVM分类器分别对旅客图像和其身份证图像进行分类,根据所属类别的一致性判断是否属于同一人.实验结果表明,本算法能有效地进行身份认证,并且针对图像质量较低、光照情况不可控的情况仍可达到比较高的准确率.