基于CPN的在轨服务概念建模

概念建模是建立仿真系统的第一步。首先介绍了着色Petri网(Colored Petri Net,CPN)的建模基础,其次分析了在轨服务概念及其流程,然后运用CPN-Tools建立了在轨服务的CPN模型,并生成了模型的状态空间报告,分析了模型的回归性、有界性、活性以及公平性。在轨服务概念模型,可以为在轨服务系统及其仿真系统的建立提供参考。     

地形跟随/地形回避雷达数学模型的实现

综合地形跟踪／地形回避（TF／TA）是新一代低空突防技术，它能充分利用地形掩蔽提高飞行器生存能力，其核心部分是地形雷达，它的主要功能是获取精确的地形数据,本文通过分析雷达功能，参照其工作原理，设计出了该雷达的数学模型，并运用面向对象技术对其进行了实现。     

激光惯组脉冲信号计数系统的设计与FPGA实现

运载火箭控制系统中的敏感元件,是运载火箭在飞行过程中保持姿态稳定的重要组成部分。在对激光陀螺惯性测量组合（Laser Gyroscope Inertial Measuring Unit—LIMU,简称激光惯组）遥测接口输出数字脉冲信号进行深入分析的基础上,设计了一种基于FPGA的数字脉冲信号计数器系统,对系统的功能流程和硬件组成进行了详细的介绍并通过运用VHDL语言在LiberoIDE开发环境中进行了仿真验证。结果表明该系统具有性能可靠、成本低、占用资源少、开发周期短等优点,具有良好的应用价值。