基于模型驱动的图像处理算法实现及优化

作为嵌入式软件领域的一个重要发展方向,基于模型驱动的软件开发方法越来越受到开发人员重视。SCADE作为一种较为成熟的模型驱动开发工具,已得到了一定的应用,但其是否对各种建模场景均适用还有待研究。本文对利用SCADE建立图像处理算法模型进行了尝试,针对Sobel算法,设计了正确的算法模型,并对模型进行分析,总结了相应的优化方案。经过实验验证,优化方案可有效地提升程序执行效率。     

WL_Net在导弹飞行控制软件安全性分析中的应用

提出了应用工作流逻辑网(WL_Net)进行软件安全性分析的新方法。介绍了运用WL_Net对导弹飞行控制软件进行安全性分析的步骤并分析了其优缺点和未来的发展方向。首先,综合考虑可能引起危险和风险的条件和环境构建WL_Net结构模型;然后使用可达树或关联矩阵对模型的合理性以及危险或风险出现的可能性进行分析,以确定该飞行控制软件是否安全。WL_Net能较好的完成对系统的建模和对软件安全性的分析,从一定程度上解决模型可读性和网结构爆炸的问题。     

航天试验数据时间序列相似度分析

针对航天试验曲线数据的特点,提出一种时间序列相似度分析方法,通过分析待测曲线与模板曲线的相似性,辅助曲线数据判读。首先,采用SAX和DTW融合综合分析时间序列的周期性,将时间序列数据划分为周期和非周期两类。再分别叙述两种类型的时间序列的相似度分析方法,判定曲线的正确性。本文中对非周期时间序列,提出采用带有双维度约束的DTW相似度分析技术。对周期时间序列,采用离散傅立叶变换,通过频域幅度的一致性来近似初步判断周期信号的相似性。最后经过实验验证本文提出的时间序列相似度分析方法的正确性。