基于染色Petri网的BGP连接过程模型

边界网关协议(BGP)缺少形式化分析,为此,根据RFC 1771,针对2个BGP路由器间连接建立过程,使用染色Petri网建立层级模型。通过交互式仿真观察所建模型行为和预期行为是否发生偏离。判定行为偏离发生的原因,修改模型直到偏离消失。求解模型的状态空间,并验证BGP连接过程的无死锁性和公平性。     

用频设备内部线缆辐照响应特性研究

在用频设备内部大量存在着连接各子系统及外部系统的线缆.在外部电磁干扰环境中,其电磁能量可能穿透设备壳体耦合到设备内部,从而在设备内部的连接线缆上产生耦合电压致使设备工作性能受损.针对这一问题,文中结合时域有限差分法仿真计算,对机箱外壳及内部环境简要建模后,在箱体中设置单线、双绞线以及同轴线,并在机箱外部设置强电磁脉冲以...     

飞机导航系统接收卫星信号断续问题分析与排查

本文针对飞机接收卫星信号断续具体工程问题,首先给出了问题描述并对问题产生的原因进行了分析,然后对分析结果进行了详细的试验验证,解决了飞机导航系统接收卫星信号受到电磁干扰的问题。     

嵌入式采集系统的应用研究

本文以某型雷达试飞为背景,设计搭建了嵌入式采集系统测试方案,用于采集多路ARINC429总线及开关量信号,并以惯导、被试设备仿真系统为信号源,对嵌入式采集系统采集记录功能进行了仿真测试,并在雷达试飞中进行飞行验证,通过仿真测试和飞行验证,嵌入式采集系统能够完成机载设备试飞数据采集记录。