面向BDSBAS电文认证的OTAR播发策略设计

星基增强系统（SBAS）是向用户提供完好性信息的广域增强系统，涉及生命安全领域。为了提高SBAS系统的抗欺骗能力，基于椭圆曲线数字签名算法（ECDSA）提出面向北斗星基增强系统（BDSBAS）的电文认证设计方案。根据国内商用密码标准椭圆曲线（SM2）算法进行相应参数设计和电文排布方案，并描述了空中密钥更新（OTAR）的电文播发策略。为了进一步对试验方案进行验证，采用蒙特卡罗OTAR仿真器，基于3种播发调度算法进行仿真试验，通过调整权重对不同情况下OTAR电文接收时间进行分析。仿真结果为具体情况下OTAR电文方案播发调度的选择提供了重要参考依据。      

论实事求是方法在解决具体问题中的运用

实事求是是毛泽东思想的精髓,是辩证唯物主义的世界观、认识论和方法论,更是一种高度概括的科学方法。本文在对实事求是方法的形成和其内涵进行分析的基础上,将实事求是方法与问题解决相结合,对实事求是方法解决具体问题的实施过程进行了系统的探讨与论证。     

丙烯环路热管补偿器的可视化实验研究

通过采用石英补偿器和高速摄像机实现了对丙烯环路热管补偿器的可视化实验研究，重点研究了补偿器内工质的状态随充装量和传热量的变化及充装量对环路热管传热性能的影响。研究发现，容积为51.4 mL的环路热管最佳充装量约为19.7 g。充装量小于最佳充装量的各工况下，能观察到对应补偿器内工质液面高度低于引流管，蒸发器和补偿器之间相变换热强烈，引流管外壁面明显有工质的冷凝及流动，且工质冷凝和流动的速度随着传热量的增加而加快；随着充装量增加，环路热管传热热阻减小，280 K工作温度以下的传热量增大。最佳充装量对应的补偿器内液面高度浸没引流管而接近蒸发器核心通道顶端，得到280 K以下最大传热量为40 W，对应的最优传热热阻为2 K/W。充装量大于最佳充装量的工况下，补偿器内液面高度超过蒸发器核心顶端，随着充装量增加，环路热管传热热阻增大，280 K以下的传热量减小。补偿器和蒸发器核心通道内的工质分布能影响蒸发器向补偿器的漏热量，这是充装量影响环路热管性能的重要原因。      

空间天气模式集成可视化演示软件设计

空间天气模式集成是空间天气预报业务化的基础,空间天气模式集成可视化演示软件系统是其中重要的研究内容之一.空间天气模式种类繁多,要素多样,模型复杂,且各模式可视化形式及方法具有差异性.本文综合当前中国空间天气模式的特点,构建了一套空间天气模式集成可视化演示系统.该系统兼容性好、可扩展性高,能够集成当前中国空间天气中大多数模式.讨论了空间数据管理方法,基于Visual C++软件平台和OpenGL可视化软件模块,以动态加载方式初步实现了多个空间天气模式的可视化集成.     

圆柱形厚壁缠绕件的环向缠绕张力分析的逐层叠加法

为实现不同梯度剩余张力的缠绕张力设计,揭示缠绕过程中的张力变化规律,提出逐层叠加法,研究可变形厚壁筒上环向缠绕张力与剩余张力之间的关系。基于不同材质的双层筒在外压作用下的变形和应力,获得剩余张力下降量与缠绕张力的积分关系,计算各层缠绕张力产生的外压引起内缠绕层环向应力的下降量。进而给出剩余张力函数,获得线性锥度缠绕、等张力缠绕和等力矩缠绕条件下的剩余张力解析公式。将缠绕张力与剩余张力的积分关系式化为微分方程,求解出缠绕后等剩余张力的缠绕张力解析公式。通过钢带缠绕容器和有芯模的纤维缠绕筒的等张力设计对比研究表明,该文解析公式给出的张力设计方案与现有文献完全吻合。文中模型从理论上很好地解决了柱形缠绕件的环向缠绕张力分析问题,适用于各向同性材料厚壁筒和纤维缠绕薄壁筒的缠绕分析和设计。     

结构修理手册结构识别模块编制方法

结构识别是结构修理手册中的基础信息部分,可帮助维修人员了解修理对象。本文介绍了结构修理手册飞机机体结构识别模块的基本内容、数据需求、编制方法和流程,可为金属结构部件和复合材料结构部件的结构识别模块编制工作提供指导。     

基于ArcGIS的燃气管网水力计算的设计与实现

为利用ArcGIS软件管理燃气管网数据,以特殊方式直接读取ArcMap的燃气管网图形数据,并完成整个管网的水力计算。算法不受管网的规模和结构的限制,以DLL的方式封装了数据的存取和计算功能,作为核心模块集成到基于ArcGIS Object的GIS平台。     

SDL在空间通信协议开发中的应用

针对空间通信协议开发难度大、代价大的问题,提出了基于协议工程思想利用SDL(规范与描述语言)对SCPS-TP(空间通信协议规范-传输协议)进行开发的方法,包括SDL建模、仿真和验证。首先对SCPS-TP进行了功能分析,确定功能点和状态机,并据此利用SDL建模;接着对模型进行实时仿真,测试其正确性,通过调试保证所有功能通过仿真;最后对模型进行了验证。验证结果表明,SCPS-TP不存在死锁、活锁等逻辑错误,为其在空间通信中的应用提供了有力支持,同时也说明了SDL在空间通信协议开发中的重要应用。     

时间触发AFDX网络的设计和实时性分析

时间触发机制可以近一步提高航空电子全双工交换式以太网(AFDX,Avionics Full Duplex Switched Ethernet)的确定性,保障时间关键消息具有完全的时间确定性.将时间触发机制引入了AFDX网络,设计了时间触发ADFX网络(TTAFDX,Time-Triggered AFDX)的体系结构,包括协议栈、虚拟链路类型、端系统调度、交换机调度、透明通信机制和降级通信机制,并且设计了端系统和交换机的时刻调度算法.对TTAFDX网络从理论和仿真实验两方面进行了分析,验证了TTAFDX网络对时间关键消息的完全时间确定性的保障.