基于场景的车载设备测试用例自动生成方法研究

列控车载子系统是确保列车的安全运行的关键设备,对车载子系统进行测试是保证功能实现与系统规范一致性的重要手段。针对传统手工测试用例生成的效率低、耗时长、工作量繁杂、可重用性低等缺陷,提出一种基于场景的车载系统测试用例自动生成方法,依据CTCS-3级列控系统技术规范构造车载子系统场景树模型,由实时系统测试用例自动生成工具Co Ver对列车运行模式转换自动机网模型生成基于场景的测试用例,并由运行模式最小重复度选择算法生成全模式覆盖的测试序列。结论证明,基于场景自动生成的测试用例能够覆盖全部车载模式,并提高了模式转换测试序列生成效率。     

区域计算机联锁CAN实时性改进及仿真分析

区域计算机联锁系统采用调度监督加集中联锁的方式实现,其安全通信网通过物理介质的延伸进行区域性控制,随着大量相邻站点并入系统,对安全协议的实时性要求也逐渐增高。为此,针对该系统使用的控制局域网络( CAN)总线协议,对站间安全通信网CAN总线的传输时延进行分析,采用动态优先级算法对实时性进行改进。仿真结果表明,通过改变负载,相比于标准CAN,改进的CAN总线协议降低了节点的最大时延,能够保证不同类型节点的实时性,可满足区域计算机联锁系统对网络通信的要求。     

一种对时间连续数据进行分析查询的SQL扩展语言

在家庭电子医疗平台中,存在生理学时间连续数据,实现对其分析和查询是数据利用的基础。针对这类数据的特点,提出以关系型数据库结构化查询语言SQL为基础,定义相似查询算法,快速有效地从给定信号序列中找出符合某一相似度等级的相似子序列。相似匹配使用了分段聚合近似法和小波变换两种算法,易于进行子序列的相似度分级。实验结果表明,该试验系统能够高效、准确地完成设计功能。     

基于ARM Cortex-M0+KL系列MCU的构件化汇编框架研究

ARM Cortex-M0+是2012年新发布的一款将逐步8位/16位微处理器市场的32位低功耗、高性能处理器,规范的汇编框架与样例是一个新微处理器深层次应用开发的基础。鉴于目前ARM Cortex-M0+的汇编程序资料与样例程序十分匮乏,加之汇编设计的复杂性,在充分分析ARM Cortex-M0+汇编寻址方式与指令系统的基础上,以Freescale半导体公司于2013年正式发布的ARM Cortex-M0+KL系列MCU为蓝本,基于CW10.3开发环境,结合软件构件设计思想,提出构件化ARM Cortex-M0+汇编框架,并编制GPIO汇编构件,给出应用实例。旨在降低读者学习ARM Cortex-M0+汇编程序的难度,完成第一个ARM Cortex-M0+规范化汇编程序。     

互联电网自动发电控制功率分配的改进逼近于理想解的排序--Q多目标优化算法

本文提出了一种多目标决策与强化学习相结合的改进的逼近于理想解的排序(technique for order preference similar to an ideal solution,TOPSIS)-Q算法,有效解决了自动发电控制(automatic generation control,AGC)总功率指令分配到风电、水电、火电等各类AGC机组的动态随机多目标优化问题.算法采用3个不同的目标Q值矩阵进行迭代更新,然后利用改进TOPSIS方法对Q值矩阵进行多目标决策处理,客观地给出各目标的动态最优权重系数,从而得到各状态-动作对的综合评价判据.IEEE标准两区域模型仿真研究验证了改进TOPSIS-Q算法在AGC机组功率多目标动态优化分配过程应用的可行性和有效性,在复杂随机扰动的环境中提高系统CPS性能的同时,有效降低了AGC机组调节成本和碳排放.     

REST在异构移动客户端接入中的应用研究

针对繁多异构的移动客户端接入Web应用系统的问题,提出一个基于REST(Representational State Transfer)的解决方法并给出一个基于MVC(Model-View-Controller)模式的具体的开发框架,通过RESTful Web服务连接移动客户端的View/Controller层与Web系统的Model层。定义了由Web系统的model层定义RESTful Web服务的具体方法和规则。理论分析与实际应用说明了该方法的有效性。     

基于图像处理的投弃式温深仪探头姿态测量研究

为改进国产投弃式温深仪(XBT)的下降速率公式,采用基于图像处理的方法测量XBT探头的运动参数.采用背景差分法获取差分图像,选择合适的阈值并对差分图像二值化,标记二值图像中的连通区域,将二值图像分割为几个互相独立的区域.通过计算分析各连通区域的特征集合来识别XBT探头.利用探头中轴线描述探头的运动姿态,将探头的长轴作为探头的初始中轴线,然后通过迭代优化的方法得到更加精确的结果.实验结果表明:该方法角度测量平均误差小于0.5°,能满足XBT探头姿态测量精度要求.目前已将基于该算法搭建的视觉测量系统应用于XBT投放实验中,取得了令人满意的结果.     

基于Gilbert模型的无线传感器网络报文时间相关丢失率推测算法

在用Gilbert模型描述无线传感器网络中报文丢失过程的基础上,提出了一种基于Gibbs抽样的逻辑链路报文丢失时态依赖性推测算法,解决了传感器网络中报文丢失的时态依赖问题.仿真结果与理论计算结果相比表明:算法推测结果可以较准确地反映报文丢失在时间域上的关联关系.     

Adapting Memory Hierarchies for Emerging Datacenter Interconnects

E?cient resource utilization requires that emerging datacenter interconnects support both high performance communication and e?cient remote resource sharing. These goals require that the network be mor...     

基于GL Studio的飞机显示仿真系统的设计与实现

利用GL Studio虚拟仪表仿真软件的图形设计器和代码编辑器与VC ++6.0配合使用,对飞机的显示系统进行仿真研究.针对显示系统各界面的特点,经过混合编程将显示系统以图形图像的形式动态、形象地显示出来.详细介绍了平显(HUD)中航向刻度带、姿态线以及多功能显示器(MFD)中数据修改、航路点与航迹线的仿真步骤.通过以太网与其他系统的仿真器进行联合调试,并对显示系统仿真器的界面和逻辑进行检验.经过仿真,可以证明基于GL Studio开发的仪表仿真软件适合对飞机显示系统进行仿真研究,在工程应用过程中具有很好的效果.