铁路信号安全协议一致性测试序列生成研究

铁路信号安全协议（RSSP-I）是实现高速铁路安全运行的保障,协议一致性测试的核心是生成完备有效的测试序列。针对铁路信号安全协议的实时性要求,提出了带时间约束的FSM（Finite State Machine）模型,并在此模型基础上生成状态的UIO（Unique Input/Output sequences）序列,最后采用基于收敛边的算法生成了较其他算法更短的一致性测试序列,从而提高了测试效率。     

提高一般用途低碳钢强度的途径

杂志1989年提出的提高低碳结构钢C_T3(C_T4)强度的问题,曾引起热烈地讨论。许多科研机构和企业的科研人员和工艺人员都发表了意见并交流了经验。而且,在1990年10月召开的全苏科技会议上,也就有关C_T3钢强化板材、型材和异型钢材的结构和工艺状况,工业生产和使用方面的技术与经济等问题,进行了广泛的讨论。对钢C_T3强化轧材的生产和使用状况以及发展前     

基于LPC2103的无线传感器网络节点设计

设计合理的网络节点是无限传感器网络的核心问题.根据无线传感器网络的工作原理和节点体系结构,设计了以32位ARM7处理器LPC2103为核心,结合2.4 GHz无线收发器CC2420、存储器AT45DB041以及外围数字温度传感器构建的无线传感器节点.并给出了节点软件部分的设计流程.     

一则电梯轿厢安全门存在隐患的案例的分析

<正>1 标准要求电梯当相邻两层门地坎间的距离大于11m时,其间应设置井道安全门,但在某些场所因建筑结构或其他原因,无法设置井道安全门,需要采用轿厢安全门替代。根据GB 7588-2003《电梯制造与安装安全规范》^[1]第5.2条和第8.12条对轿厢安全门和井道安全门进行比较分析,得出表1。由表1可知,轿厢安全门相对井道安全门,实施救援时无论在结构、工作人员、操作方面都有更高要求,如果不重视极易导致救援过程中的二次伤害,造成人员     

基于Kubernetes的列控系统测试容器云平台设计

为降低列控系统测试软件的研发运维成本,提升列控系统测试平台的测试效率与自动化水平,提出了基于Kubernetes集群技术的容器云平台的功能与架构设计,同时对容器云平台上的研发与测试流程进行了说明与规范.根据列控系统测试平台的功能特征,应用微服务的思想,将平台拆分为若干逻辑子集群,子集群之间通过Kubernetes集群内...     

有源电力滤波器在谐波抑制中的应用

本文分析了电力系统运行中谐波的产生及危害，根据谐波源的不同类型提出了利用不同的有源电力滤波器进行补偿的观点，并利用仿真对补偿前后的波形进行了对比研究。     

基于接口参数的列控中心测试用例生成算法

在接口参数两两组合全面覆盖理论的基础上,提出一种基于树型结构的改进测试用例生成算法。该算法综合考虑外部接口参数和取值组合所产生的系统影响,具有一定的通用性及稳定性,并且在时间复杂度及空间复杂度上较以往的算法都有所改进。算法在CTCS2级列控中心的接口测试中取得了很好的效果,测试质量和测试效率均得到提高。     

基于数据融合的无线传感器网络路由算法

在分簇协议LEACH和链状协议PEGASIS的基础上,提出一种新的基于数据融合的分簇路由算法.簇首节点采用多跳方式传输数据,并根据周围节点的密集程度构造不同大小的簇;簇内节点计算上行和下行节点构造数据融合树,采用时分复用调度算法进行多跳路由.NS2仿真结果表明该路由算法均衡了各个节点的能量消耗,延长了网络存活时间,并降低了网络延迟.     

面向安全性需求的安全构件模型框架研究

构件理论在软件工程领域正扮演着越来越重要的角色。基于传统构件模型的软件开发技术尚不能满足安全苛求软件的开发需求。为了规范化地描述和设计符合安全苛求软件开发需要的构件, 提出了一种形式化的面向安全需求的安全构件(SC)模型框架, 利用故障模式与冗余比较来确保构件模型的安全性, 并将该模型应用于CTCS-2级列车控制中心仿真系统中。