题名 AADL分级调度模型的分析与验证
被引量：7
1
作者
符宁 杜承烈 李建良 刘志强 彭寒
机构
西北工业大学计算机 学院 西北农林科技大学信息工程 学院 西北工业大学软件学院 西安航空学院计算机工程系
出处
《计算机研究与发展》
EI
CSCD
北大核心
2015年第1期167-176,共10页
基金
国家"八六三"高技术研究发展计划基金项目(2011AA010102) 中国航空科学基金项目(20115553023)
文摘
针对嵌入式系统体系结构分析设计语言(architecture analysis and design language,AADL)分级调度模型的分析问题,提出了基于模型检验的可调度性分析和验证方法.基于时间自动机理论,将AADL分级调度模型转换为时间自动机网络,将待验证性质描述为时序逻辑公式,通过模型检验工具对可调度性进行分析和验证.研究结果表明,使用模型检验方法来分析AADL分级调度模型的可调度性是可行的.相对其他方法而言,该方法利用了形式化方法的穷举性来分析系统的性质,分析结果更加精确.
关键词
复杂嵌入式实时系统 体系结构分析设计语言 UPPAAL 可调度性 模型检测
Keywords
complex embedded real-time system architecture analysis and design language （AADL） UPPAAL schedulability analysis model checking
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 基于形态学金字塔的医学图像融合技术
被引量：8
2
作者
王建 王必宁 杨根善 张少应
机构
西安航空学院计算机工程系 西安 热工研究院有限公司
出处
《兵工自动化》
2014年第1期82-84,共3页
基金
西安航空学院校级科研基金资助项目"多传感器图像融合技术研究"(13XP17)
文摘
针对像素级医学图像的融合问题，设计一种形态学金字塔的医学图像融合技术。先对医学图像进行形态学的平滑处理，再进行形态学金字塔分解，最后对形态学金字塔进行反变换以获取最终的融合图像。从平均梯度、联合熵、相关系统对图像融合质量做客观评价，并以WindowsXP的操作系统为实验环境进行融合实验。从融合效果来看，丈中技术能将CT图像和MRI图像融合成一幅信息量饱满的单一图像。实验结果表明：该技术与同类其他方法比较，平均梯度能提高10．30％～36．76％，联合熵能提高5．04％～36．83％，相关系数能提高0．94％～31．52％。
关键词
金字塔变换 形态学 医学图像 图像融合
Keywords
pyramid transform morphology medical image image fusion
分类号
TP391
[自动化与计算机技术—计算机应用技术]
题名 基于梯度变换的多传感器图像融合算法
被引量：7
3
作者
王建 刘肖 王国珲
机构
西安航空学院计算机工程系 西安 工业大学光电工程 学院
出处
《重庆理工大学学报（自然科学）》
CAS
2012年第10期62-65,共4页
基金
陕西省教育厅科研计划资助项目(11JK0996)
文摘
针对像素级多传感器图像的融合问题,设计了一种基于梯度变换的多传感器图像融合算法。该算法利用金字塔变换得到图像的多分辨序列,在相应层次的金字塔图像上进行多方向分解,采用基于梯度变换的融合方法以获取最终的图像。从目视效果来看,采用该算法进行图像融合,能将2幅多传感器图像融合成1幅信息量饱满的单一图像。实验结果表明,该算法与同类其他算法相比较,标准差提高了0.05%～13.66%,偏差度降低了10.33%～48.49%,联合熵提高了0.36%～7.22%。
关键词
多传感器图像 梯度变换 图像融合
Keywords
multi-sensor images gradient transform image fusion
分类号
TP391
[自动化与计算机技术—计算机应用技术]
题名 基于alpha稳定分布的盲信号分离
被引量：2
4
作者
任静 李维勤 惠鏸
机构
西安航空学院计算机工程系 西安 理工大学自动化与信息工程 学院
出处
《计算机工程与应用》
CSCD
2014年第18期215-219,229,共6页
基金
国家自然科学基金(No.61102061) 陕西省科学技术研究发展计划项目(No.2013JC2-17) 陕西省教育厅科学研究计划项目(No.2013JK1163)
文摘
针对当前重拖尾信号盲分离的存在问题,提出一种基于alpha稳定分布的重拖尾信号在线盲信号分离算法。离线计算标准alpha稳定分布的概率密度函数,建立标准函数库查找表;在线估计信号的alpha稳定分布的特征参数、对称参数和尺度参数,从而可以快速获得信号的概率密度函数;采用多层神经网络准确估计评价函数。仿真结果表明,该算法具有较好的分离性能和较低的计算复杂度。
关键词
ALPHA稳定分布 独立分量分析 盲信号分离 重拖尾信号 多层神经网络
Keywords
alpha stable distribution independent component analysis blind source separation heavy-tailed signals mul-tilayer neural networks
分类号
TN911.6
[电子电信—通信与信息系统]
题名 基于区域一致性的多聚焦图像融合算法
被引量：3
5
作者
王建 王国珲 王倩丽
机构
西安航空学院计算机工程系 西安 工业大学光电工程 学院
出处
《兵工自动化》
2013年第4期55-57,共3页
基金
陕西省教育厅科研计划项目资助(11JK0996)
文摘
针对同一场景两幅严格配准的多聚焦图像融合问题,设计一种基于区域一致性的多聚集图像融合算法。该算法利用比率金字塔变换得到图像的多分辨序列,采用基于区域一致性的融合方法,在图像的相应层次序列的各级金字塔图像上进行融合以获取最终的融合图像。从目视效果来看,采用文中算法进行图像融合,基本上能够将两幅左右聚焦的图像融合成一幅清晰的单一聚焦图像。实验结果表明:该算法与同类其他算法相比较,相关系数提高了0.08%,偏差度降低了30.67%～31.05%,互信息提高了7.92%～7.97%。
关键词
多聚焦图像 比率金字塔变换 图像融合
Keywords
multi-focus images ratio pyramid transform image fusion
分类号
TP391
[自动化与计算机技术—计算机应用技术]
题名 应用半连接的分布式数据库查询优化算法
被引量：4
6
作者
李川
机构
西安航空学院计算机工程系
出处
《重庆理工大学学报（自然科学）》
CAS
2013年第11期74-77,共4页
基金
西安航空学院研究课题"基于Internet的陕西文化资源库的建设与推广"(11XP425)
文摘
分布式数据库具有分布性和冗余性,导致分布式查询处理比较复杂,因此查询优化是一个非常重要的问题。针对大规模数据分析分布式数据库的数据分片机制,建立改进的数据分片模型,并根据分布式数据库的查询优化目标分析查询优化算法,对半连接查询优化算法进行改进。实例分析表明:改进的半连接查询算法极大地降低了传输代价,提高了查询效率。
关键词
分布式数据库 大规模数据 查询优化 数据分片 半连接
Keywords
distributed database large-scale data query optimization data fragmentation half con-nection
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
