基于模型的车载设备测试用例自动生成研究

针对人工生成测试序列的不足,提出基于模型的车载设备测试用例自动生成方法。首先按照系统需求规范,在UPPAAL环境下运用时间自动机对车载设备进行建模及验证,然后将建立的模型导入到基于覆盖度算法的模型辅助工具Cover中自动生成测试用例,最后分析了自动生成的测试用例的正确性。

基于混杂系统理论的CTCS-3级列控系统建模与仿真

列车运行控制系统(列控系统)显著表现出离散和连续同时存在的混杂特征。建立合适的模型无论对列控系统的前期设计还是后期分析都具有重要意义。针对列控系统的混合性,提出用混合自动机对列控系统进行建模,在Matlab环境下用Simulink和Stateflow对建立的自动机模型进行仿真分析,并以两车追踪场景为例对整个过程进行了介绍。仿真结果表明了该方法的有效性和可行性。

河南省泌阳凹陷安棚地区古近系核桃园组含碱地层层序特征及其意义

泌阳凹陷位于南襄盆地东南缘,为一西北浅、东南深的陆相断陷型盆地,其沉降中心安棚地区古近纪发育巨厚的白云岩地层,主要天然碱矿层赋存于核桃园组核三段上部和核二段下部,并与白云岩地层密切相关。基于岩心、录井与地震等资料,该区古近系核桃园组含碱岩系地层划分为3个二级旋回,进一步划分为8个三级旋回。所含天然碱矿层位于基本层序顶部、二级或三级旋回的上部,含碱岩系地层层序由(纹层状)白云岩到天然碱矿层规律性变化。根据天然碱矿层垂向变化规律进行找矿预测和钻探中预判矿层位置,已经取得较好效果。同时根据该区盐类矿产沉积旋回的研究,一级旋回顶部有钾盐的显示,预示该区有寻找钾盐的可能。

高速铁路列控车载系统超速防护算法的研究与仿真

列控车载系统是一个典型的安全苛求系统,车载系统超速防护算法对列控系统的安全性具有重要影响。本文结合高速列车动力学模型、延时特性和混杂特征,提出了车载超速防护算法及车载系统的混杂建模方法。利用Simulink/Stateflow混合仿真技术实现了车载超速防护算法的仿真,并以区间两车追踪场景为例对超速防护算法进行验证。验证结果表明该超速防护算法是有效的,区间运行的两辆高速列车能够实现避撞功能。

淅川地层小区寒武系层序划分

淅川地层小区寒武系划分为水沟口组、岳家坪组和蜈蚣丫组。底部与震旦系平行不整合接触,顶部与奥陶系整合或平行不整合接触,顶、底界面特征为Ⅱ型界面。地层层序分析以剖面研究为基础,在详细测制地层剖面的基础上划分出了46个基本层序,分析基本层序在纵横向上的变化规律,进而分析地层结构、划分体系域以及地层层序。

武广高铁RBC改造方案研究

首先介绍了武广高铁无线闭塞中心(RBC)设备现状,分析了2种更新改造方案各自的优缺点;然后针对RBC之间改为直接通信方式,从RBC切换点的改造方案上进行了重点研究,对指导RBC间由非直接通信方式改为直接通信方式具有较大的参考意义.

关于无配线车站码序设计方案优化研究

针对无配线车站进站信号机的2种布置(并置/差置)方式,分析了2种设置方式的优缺点,并对其发码过程中存在的问题进行了优化研究,对无配线车站的工程设计具有一定的参考意义。

泌阳凹陷古近纪含碱岩系地球化学特征对成碱作用的指示意义

位于南襄盆地东部的泌阳凹陷为南断北超型断陷盆地,其古近纪核桃园组发育有世界上已知的最老沉积碱矿之一,即安棚碱矿.该含碱岩系包括细碎屑岩、泥质白云岩和层状碱矿层,其中碱矿层以重碳钠盐为主,含少量天然碱、芒硝和石盐.核桃园组三段上部-核二段含碱岩系中,白云质泥岩、泥质白云岩和碱矿层在Al2O3,TiO2,Na2O,MgO+CaO和LOI含量上具有明显差别.Na2O/(MgO+CaO)可用以指示Na碳酸盐相对于Mg-Ca碳酸盐的富集程度,据此可将泥质白云岩可分为<0.6和>0.6的两组.前者Na2O/(MgO+CaO)与Al2O3+TiO2含量呈正相关,随碎屑物质的减少倾向于形成纯的Mg-Ca碳酸盐岩,反映湖水蒸发量≤补给量,指示较潮湿气候;而后者中Na2O/(MgO+CaO)与Al2O3+TiO2含量呈反相关,随碎屑物质的减少向成碱方向发展,反映湖水蒸发量>补给量,指示较干旱气候.以Al作为标准,从泥质白云岩到碱矿层,随Na2O/(MgO+CaO)比值增大,Zr,Ti,La,K,Rb和Ba在碱矿层中明显相对富集,且PAAS(后太古宙平均页岩)标准化的Eu正异常也显著增强.结合碱矿层的高B含量及硅硼钠石的报道和区域伸展性构造背景的认识,该地球化学特征指示有深源热液流体通过边界深大断裂进入盆地而参与成碱过程.