【摘 要】
：
以某高空无线电高度表的微处理器实时控制软件研制为背景,探讨了实时软件逆向工程技术.提出并实践了'再生源程序-再结构系统框架-再设计支持'的实时软件逆向开发过程
【基金项目】
：
航空科研项目，陕西省自然科学基金
论文部分内容阅读
以某高空无线电高度表的微处理器实时控制软件研制为背景,探讨了实时软件逆向工程技术.提出并实践了'再生源程序-再结构系统框架-再设计支持'的实时软件逆向开发过程,并开发了相应的工具软件,拓展了软件逆向工程的概念.实例取得了明显的技术成果,使该无线电高度表的测高高度从750 m提高到15 000 m,误差低空为±1%、高空(10 000 m以上)为±2%,符合实际要求,并首次使用模拟、数字两种显示方式,成果设计定型鉴定并进入批量生产,填补国家高空无线电高度表的空白.
其他文献
纳米TiO2改性不饱和聚酯树脂,其目的是对不饱和聚酯进行同时增韧增强改性.用'反应法'制备的纳米TiO2/UPR,在纳米TiO2与UPR之间产生的新化学键将纳米TiO2粒子接入UPR
本文研究了一维可压流体力学方程组的Cauchy问题，利用特征线法和分析的技巧，在一些合理的假设下，得到了Cauchy问题整体经典解存在的一个充分必要条件．
小波域隐Markov树模型(Hidden Markov Tree Model, 简称HMT)能充分表现小波系数的统计特征,但模型训练算法计算量大.文中以图像去噪为应用背景,提出了基于HMT粗分类的多树训
由Poincare映射不动点的稳定性理论出发，采用“呼吸”型裂纹模型，考虑了裂纹在轴旋转过程中的开闭情况，研究了含裂纹转子的非协调响应，如次谐波的产生、周期运动的突跳现象以及拟
如何求解声传递函数成为实现小尺度封闭空间可听化的关键问题.基于Helmholtz方程的有限元法能够真实反映出声场内的波动现象,成为求解该问题的有效方法.文章基于SPR法对求解
提出了一种利用三元线列阵的信号相位匹配原理的波达方向估计方法.给出了阵对准信号方向时的估计信号的表达式;用数值计算方法给出了三元阵的相位匹配原理的指向性特性曲线和
本文研究了凸域内两点间的平均距离公式，利用广义支持函数的方法分别求出了圆、矩形、椭圆域内两点间的平均距离，并给出了具体的求解过程．
本文研究了单李超代数的构造理论．借助于张量积方法，定义了一类Weyl型结合超代数和一类Weyl型李超代数，并且证明了这类Weyl型结合超代数和Weyl型李超代数是单的充分必要条件．
自适应分类器系统将机器学习和搜索技术结合为一体,在优化的过程中自动获取知识并适应环境,突破了传统的知识基优化技术,如专家系统,需要大量特定领域专业知识,而这些知识往