陕西省自然科学基金(2012JQ8010) 作品数:4 被引量:8 H指数:2 相关作者: 张鹏 谢文俊 申舟 胡京林 李俊涛 更多>> 相关机构: 空军工程大学 更多>> 发文基金: 陕西省自然科学基金 中国博士后科学基金 国家自然科学基金 更多>> 相关领域: 自动化与计算机技术 环境科学与工程 航空宇航科学技术 更多>>
模型驱动的软件构件研制保证水平验证方法 被引量:2 2015年 在机载软件架构设计阶段,人们将安全性研制保证水平分配到具体的构件中,确保产品质量。鉴于现代航空软件系统极其复杂,如何从系统角度,检验分配给构件的安全性等级符合系统的一致性目标,是设计阶段需要解决的重要问题。首先,分析了分布式和综合式机载软件系统的架构特点,得出了在安全性分析工作中需要考虑冗余等架构设计的影响的结论。其次,使用系统建模语言(SysML)块图建立带有安全性等级属性的系统静态结构模型,利用矩阵对模型进行精确的形式化转换;制定验证规则,在此基础上给出了验证方法,以验证安全性等级分配的合理性。在验证过程中,将关键信息存储在XML文档中,可为适航性审查提供证据。最后,通过实例分析,验证了该方法的可行性。 朱和铨 徐浩军 张鹏 张登成 孙曦关键词:SYSML 基于STAGE的无人机作战仿真研究 被引量:3 2013年 在对无人机作战特点及使用样式深入研究的基础上,综合运用STAGE(scenario toolkit and generation environment)仿真软件,给出以HLA为核心的无人机作战仿真系统框架,构建无人机和导弹等关键实体扩展模型,开发了战场仿真环境。结合无人机典型作战想定,设计了仿真流程,并进行仿真推演。结果表明此战法打击效果较好,具有一定实用意义,为无人机作战研究提供了一种新的可行研究思路。 申舟 谢文俊 张鹏关键词:无人机 作战 仿真 STAGE 基于模式融合的中继通信无人机定向天线对准 被引量:2 2015年 研究无人机中继通信系统中定向天线的实时高精度对准问题。为提高地面通信站的安全性,并克服传统对准算法难以实时确定高空高速无人机的精确位置而造成定向天线难对准的问题,提出了用于定向天线对准的基于异步双模式融合算法。上述算法按照不同的触发方式采用不同步长实现定向天线对准,首先利用基于目标的运动补偿预测对准算法实现天线对准角度的概略确定,之后采用基于信道增益的波束引导对准算法,进一步降低通信延迟对天线对准的影响,有效提高对准精度和可靠性。仿真验证表明,该融合算法通过综合两种算法的优点,能显著提高定向天线的对准精度和系统可靠性。改进算法能够满足实时确定无人机的精确位置,实现定向天线的高精度对准和高可靠通信。 胡京林 谢文俊 李俊涛 张鹏关键词:无人机 定向天线 地磁导航基于方向可变滑动窗口快速匹配方法 被引量:1 2015年 地磁匹配制导系统在对初始点进行重新搜索时,现有方法采用的匹配搜索算法需要使用具有大量浮点运算的误差函数,降低了匹配效率。为解决上述问题,提出一种利用地磁形状特征和方向可变滑动窗口技术的快速搜索方法,采用0、1作为形状特征描述地磁数据,用Hamming距离作为误差函数,利用载体的航向信息动态建立搜索窗口,可有效减少窗口内相似性比较的次数。仿真结果表明,上述方法在不降低匹配精度的前提下,可有效提高地磁匹配初始点的搜索效率。 余超 郭庆 谢文俊 曾鸿关键词:相似搜索 欧氏距离