面向安全评估的高速铁路CTCS-2列控系统安全性测试环境

高速铁路CTCS-2列控系统是典型的安全苛求系统。根据安全苛求系统的特点,针对高速铁路CTCS-2列控系统的安全性测试和评估需求,设计了场景—事件驱动的测试脚本语言SED_TSL,提出了高速铁路CTCS-2列控系统测试环境的功能、系统框架、测试策略,实现了基于SED_TSL的CTCS-2列控系统自动化测试环境,并投入到铁道部的CTCS-2列控系统产品制式检测中,有效地实现了列控系统产品的功能与安全性测试。     

故障模型驱动的软件安全性测试研究

根据安全性测试的需求,建立了检测软件内部安全逻辑故障的故障模型,提出了故障模型动态生成算法及基于故障覆盖的安全性测试生成算法,可以有效识别软件是否具备对于故障的安全防护能力,在我国高速铁路列控中心安全性测试中说明了方法的有效性。     

建筑工程造价预结算审核管理的有效举措

本文结合工程造价预结算中存在的问题,详细阐述了造价预结算审核管理的有效举措,以供同行参考。     

手机车机互动的应用模式及关键技术分析

基于对车载信息服务现状的思考以及业界手机车机融合创新相关应用案例的分析,提出手机车机互动将是未来车载信息服务发展的重要方向,阐述了手机车机互动的主要应用模式及几种主流的技术方向,并对其技术特点进行了分析比较,为促进该应用模式及技术的推广提供参考。     

N,N′-二取代苯胺基二甲酰胺类中间体的结构分析

通过简单易行的合成方法 ,合成了一种新型的联苯胺替代染料中间体 ,并通过红外光谱、一维或二维核磁共振图谱分析 ,对其结构进行了确定。     

基于随机赋权法的梯级水库群灰色决策模型

针对洪水调度特点,以灰色系统灰关联决策为基础,采用随机赋权法确定权重,并与Monte-Carlo模拟方法相结合,以水库调度方案为决策、洪水泄流过程为状态,根据灰色决策理论推求梯级水库群洪水调度的决策方案,从而实现优化调度.     

中药吊篮式提取设计与应用研究

中药提取是中药的制药关键工序,传统提取方式存在药材堆积,有效成分提取率不高,提取效率低等问题,为解决以上问题,研制出了中药吊篮式循环提取设备,并对孔形、孔径、吊篮个数等进行了研究试验,有效提高了有效成分转移率和生产效率。     

基于方向场正则化的线描画生成算法

图像风格转化在计算机视觉领域广受关注,其研究目标在于将输入图像利用计算机转化为具有某种特定艺术风格的图像.线描画作为一种古老的画种,它通过简单的线条勾勒物体的轮廓,具有简约、抽象的风格.本文提出一种基于方向场正则化的线描画生成算法,该算法由4部分构成:1)采用非局部平均滤波对输入图像进行预处理;2)计算输入图像的方向场...     

110、220kV复合绝缘子防风偏闪络的研究

为解决输电线路引流跳线因风偏引起的闪络跳闸问题,从加装重锤、改变串型、新型跳线防风偏绝缘子几个方面对防风偏解决方案进行了研究,提出了110、220kV跳线可采用四种悬挂方式的新型防风偏复合绝缘子．有效解决跳线风偏闪络的问题。