双信道应答器多天线互耦分析及改进

由于双信道应答器内部空间有限,天线单元之间距离很小。应答器内部的多天线间通过磁场发生耦合。即互感耦合,在相邻两天线近场之间引入互感,导致敏感天线的阻抗发生变化,是一种不期望的干扰。多天线间的互耦降低了天线的独立性,影响了天线的性能,增加了天线调谐的难度。互耦影响因素包括天线间距离、重合面积和不同工作频率的天线排列顺序等。为降低多天线间的耦合系数,提出增大天线间的距离、降低天线间的重合面积、重新排列不同工作频率天线位置等方法。仿真结果表明,上述方法提高了天线间的隔离度,降低了耦合系数。     

基于CPTA实现报文数据与车载系统契约关系的研究

线路数据是驱动列控系统安全运行的基础。目前,有关列控数据安全的研究多集中于验证数据自身的完整性与合理性,却很少关注数据与其宿主系统间的契约关系,这可能会忽视由于数据没有满足宿主系统需求而产生的安全隐患。针对此问题,分析车载ATP在计算动态监控曲线过程中对报文语法、语义和时效性三方面的需求,并将其形式化为PVS公理,作为列车状态迁移条件来构建报文-车载CPTA契约模型,借助PVS定理证明工具证明该契约模型的正确性。实验结果表明,基于报文-车载的契约模型能够实现高效且可靠的报文验证,从而减少由于报文数据失效而引发的列车异常制动或降速的次数。