-
题名基于AADL的软件可靠性验证
被引量：8
- 1
-
-
作者
谯婷婷
王乐
耶国栋
-
机构
中国航空工业集团西安飞行自动控制研究所
西安电子科技大学通信工程学院
中国移动通信集团陕西有限公司西安分公司
-
出处
《计算机应用》
CSCD
北大核心
2012年第A02期92-95,139,共5页
-
基金
航空科学基金资助项目(20100718004)
-
文摘
针对软件可靠性面临的安全等级和流延迟两类问题,提出了一种基于结构分析与设计语言(AADL)的软件可靠性验证方法。首先建立两类问题的需求模型,并将需求模型转化为设计模型;其次是调用分析插件对设计模型进行分析,查找模型中存在的问题;最后根据存在的问题对设计模型进行修改和完善。仿真结果表明,所提出的方法有效验证了安全等级和流延迟两类问题,为AADL在航电系统软件验证方面的应用奠定了基础。
-
关键词
软件可靠性
结构分析与设计语言
安全等级
流延迟
-
Keywords
software dependability
Architecture Analysis and Design Language （AADL）
security level
flow delay
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名变环加权SIFT算法的图像拼接
被引量：1
- 2
-
-
作者
张盼
阮俊
王雅继
-
机构
中国地质调查局水文地质环境地质调查中心
中国移动通信集团陕西有限公司西安分公司
-
出处
《现代电子技术》
北大核心
2015年第19期72-75,78,共5页
-
文摘
针对传统SIFT匹配算法数据量大、时间复杂度高的问题,提出基于尺度不变特征变换(SIFT)特征提取方法获得特征点,并采用变换步长的圆形区域选区对特征点进行描述,改进了SIFT特征的64维描述符和88维描述符的不足。将改进后的算法应用到图像拼接过程中,通过实验验证了改进后的方法在时间复杂度方面有所改善。
-
关键词
特征点
SIFT描述符
图像配准
图像拼接
-
Keywords
feature point
SIFT descriptor
image registration
image mosaic
-
分类号
TN912.3
[电子电信—通信与信息系统]
-
