航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

导航卫星中断频次的分析方法

面向导航卫星中断频次的定量分析需求,该文分析导航卫星中断产生的主要原因,给出中断频次分析的流程,并针对分析过程中的三个关键问题,研究提出具体实施方法,包括通过相关性分析快速定位底层中断事件,通过中断树建立指标分析模型,并融合在轨数据、地面试验数据快速预估得到底层功能异常率等。最后通过示例进一步说明中断频次分析过程。该文方法已应用于北斗导航卫星工程。     

概率具有普遍意义

在事物必然的性质、方向和由此决定的活动范围之外,它发生、发展的每一具体变化都是偶然的.为了抓住偶然,就要求助于概率,概率已经成为我们的重要工具.     

基于独立象元数计算的景象匹配精度分析方法

景象匹配精度与正确匹配概率是决定组合导航系统精度的重要指标。建立了新的求解图像独立象元数的方法,在进行景像匹配过程的同时由独立象元数、信噪比和相关函数统计值得到匹配精度及正确匹配概率。理论推导和仿真分析表明,本文的景象匹配精度分析方法合理,结果符合工程背景,文中的结论可以用于景象匹配辅助导航系统性能的精确分析。     

掠海飞行导弹击水概率的仿真研究

本文对掠海导弹的击水概率问题进行了研究,提出了用均匀设计、Monte—Carlo法和逐步回归法建立击水概率预报公式的仿真方法,并结合某型号的反舰导弹进行计算,得到了满意的结果。本文还利用表观频率和表观频谱的概念,建立起飞航导弹的背景干扰——海浪和阵风的数学模型,并用波叠加法进行了数字仿真。     

用于低截获概率雷达的混合波形研究

设计了一种用三相编码与线性步进调频相结合的混合雷达波形。该方法从根本上解决了相位编码对多普勒频移的敏感性 ,与传统方法相比有较大的多普勒容限带宽 ,同时 ,混合波形设计的灵活性还可降低信号的截获概率     

也谈遥控指令误码率计算

对郝先生的质疑进行了答复 ,并简明地阐述了对遥控指令误码率计算方法的看法。     

基于损伤力学的概率疲劳曲线获取方法

文章基于损伤力学方法获得满足疲劳试验的损伤演化方程,推导出一般条件下的理论疲劳曲线以及相对应的理论中值疲劳曲线与理论理想疲劳曲线；然后根据试验数据即可确定理论疲劳曲线中的参量,从而获取疲劳曲线计算公式。通过此计算公式,可以方便地得到一组以初始损伤为参数的疲劳曲线族,继而得到以失效概率为参数的疲劳曲线族,大大降低了所需试验的数量,并为结构抗疲劳设计和寿命估算提供了依据。     

费率受制于位相半马氏过程的风险模型

对带马氏链的线性和非线性系统，经过众多学者近20多年的努力，已取得一系列重要成果。然而，由于马氏链状态逗留时间服从负指数分布，使得这些成果在应用中有很大的局限性。本文首先探讨了位相半马氏过程的性质，然后以位相半马氏过程代替马氏过程，研究风险模型的相关问题，取得了与马氏链相同的研究成果，从而说明了位相半马氏过程在克服由马氏过程带来的局限性中的作用。