排序方式: 共有4条查询结果,搜索用时 15 毫秒
1
2.
提出了应用工作流逻辑网(WL_Net)进行软件安全性分析的新方法。介绍了运用WL_Net对导弹飞行控制软件进行安全性分析的步骤并分析了其优缺点和未来的发展方向。首先,综合考虑可能引起危险和风险的条件和环境构建WL_Net结构模型;然后使用可达树或关联矩阵对模型的合理性以及危险或风险出现的可能性进行分析,以确定该飞行控制软件是否安全。WL_Net能较好的完成对系统的建模和对软件安全性的分析,从一定程度上解决模型可读性和网结构爆炸的问题。 相似文献
3.
针对航天试验曲线数据的特点,提出一种时间序列相似度分析方法,通过分析待测曲线与模板曲线的相似性,辅助曲线数据判读。首先,采用SAX和DTW融合综合分析时间序列的周期性,将时间序列数据划分为周期和非周期两类。再分别叙述两种类型的时间序列的相似度分析方法,判定曲线的正确性。本文中对非周期时间序列,提出采用带有双维度约束的DTW相似度分析技术。对周期时间序列,采用离散傅立叶变换,通过频域幅度的一致性来近似初步判断周期信号的相似性。最后经过实验验证本文提出的时间序列相似度分析方法的正确性。 相似文献
4.
1