复合材料飞艇螺旋桨成型技术

由于复合材料比强度、比模量高和可剪裁设计的特点,已经在飞艇螺旋桨上得到应用,并成为其材料体系的主要发展趋势。对复合材料飞艇螺旋桨成型工艺国内外鲜有报导,这主要是因为平流层飞艇的研究处于起步阶段,目前仍以论证设计为主。本文借鉴了同为复杂曲面外形的复合材料结构件——风机叶片的成型经验,提供了复合材料飞艇螺旋桨的成型技术路线,并对其成型过程中的关键技术和控制点进行了探讨。     

基于程序建模的网络程序漏洞检测技术

研究和分析了网络程序漏洞检测方法,针对C/S结构下网络程序存在的二进制漏洞提出了一种基于程序建模的漏洞检测方法。该方法针对网络程序架构进行分析,通过抽取不同类型网络程序中的关键性系统函数,进行程序建模和检测系统执行模块开发。采用选择符号执行技术进行检测,通过函数挂钩的方式定制挂钩函数语义和函数执行触发的操作,引入符号化数据和引导符号执行过程。研究过程中基于该技术实现了一套网络程序漏洞检测系统,系统能够识别目标网络程序采用的I/O模型,根据目标网络程序的不同类型调取相应的系统执行模块,利用选择符号执行技术进行自动化漏洞检测过程。实验结果表明,相比于已有的检测工具,该系统在网络程序的漏洞检测方面针对性更强,程序代码的覆盖率更高,同时具有很好的可扩展性。      

航天测控协同仿真互操作协议研究

针对航天测控协同仿真缺乏统一的交互视图无法实现互操作的问题，本文提出航天测控协同仿真实时动态互操作协议，规定了信息交互的语义描述方法和控制逻辑，从顶层规范了不同类型、不同模态的分布式仿真模型间的互操作行为，实现了测控仿真系统的快速集成和高效协同。