检索结果-维普期刊中文期刊服务平台

AADL分级调度模型的分析与验证被引量：7: 1; 作者符宁杜承烈 +2 位作者李建良刘志强彭寒《计算机研究与发展》 EI CSCD 北大核心 2015年第1期167-176,共10页; 针对嵌入式系统体系结构分析设计语言(architecture analysis and design language,AADL)分级调度模型的分析问题,提出了基于模型检验的可调度性分析和验证方法.基于时间自动机理论,将AADL分级调度模型转换为时间自动机网络,将待验证性... 展开更多; 关键词复杂嵌入式实时系统体系结构分析设计语言 UPPAAL 可调度性模型检测; 在线阅读下载PDF 职称材料

移动机器人行为动力学导航方法研究被引量：5: 2; 作者郝大鹏傅卫平 +1 位作者杨世强王雯《机械科学与技术》 CSCD 北大核心 2013年第10期1488-1491,共4页; 对导航中存在碰撞危险和影响导航性能的情况进行分析,并提出解决办法。针对线速度控制受限仅能以低速行驶的问题,利用几何描述法分析航向角和线速度之间约束关系,揭示线速度受限的原因,提出航向角跟随控制。行为动力学方法在增加了航向... 展开更多; 关键词移动机器人行为动力学吸引子线速度控制; 在线阅读下载PDF 职称材料

基于形态学金字塔的医学图像融合技术被引量：8: 3; 作者王建王必宁 +1 位作者杨根善张少应《兵工自动化》 2014年第1期82-84,共3页; 针对像素级医学图像的融合问题，设计一种形态学金字塔的医学图像融合技术。先对医学图像进行形态学的平滑处理，再进行形态学金字塔分解，最后对形态学金字塔进行反变换以获取最终的融合图像。从平均梯度、联合熵、相关系统对图像融合... 展开更多; 关键词金字塔变换形态学医学图像图像融合; 在线阅读下载PDF 职称材料

基于梯度变换的多传感器图像融合算法被引量：7: 4; 作者王建刘肖王国珲《重庆理工大学学报（自然科学）》 CAS 2012年第10期62-65,共4页; 针对像素级多传感器图像的融合问题,设计了一种基于梯度变换的多传感器图像融合算法。该算法利用金字塔变换得到图像的多分辨序列,在相应层次的金字塔图像上进行多方向分解,采用基于梯度变换的融合方法以获取最终的图像。从目视效果来看... 展开更多; 关键词多传感器图像梯度变换图像融合; 在线阅读下载PDF 职称材料

基于alpha稳定分布的盲信号分离被引量：2: 5; 作者任静李维勤惠鏸《计算机工程与应用》 CSCD 2014年第18期215-219,229,共6页; 针对当前重拖尾信号盲分离的存在问题,提出一种基于alpha稳定分布的重拖尾信号在线盲信号分离算法。离线计算标准alpha稳定分布的概率密度函数,建立标准函数库查找表;在线估计信号的alpha稳定分布的特征参数、对称参数和尺度参数,从而... 展开更多; 关键词 ALPHA稳定分布独立分量分析盲信号分离重拖尾信号多层神经网络; 在线阅读下载PDF 职称材料

基于区域一致性的多聚焦图像融合算法被引量：3: 6; 作者王建王国珲王倩丽《兵工自动化》 2013年第4期55-57,共3页; 针对同一场景两幅严格配准的多聚焦图像融合问题,设计一种基于区域一致性的多聚集图像融合算法。该算法利用比率金字塔变换得到图像的多分辨序列,采用基于区域一致性的融合方法,在图像的相应层次序列的各级金字塔图像上进行融合以获取... 展开更多; 关键词多聚焦图像比率金字塔变换图像融合; 在线阅读下载PDF 职称材料

基于静态集成PU学习数据流分类的入侵检测方法被引量：1: 7; 作者郑科鹏冯筠 +2 位作者孙霞冯宏伟曹国震《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2014年第4期568-572,共5页; 从数据流角度提出一种静态的集成PU学习数据流分类的入侵检测方法,在实验验证中通过对不同数据集指标比较,证明了算法的有效性,可在减少人工标注量的同时取得较好的检测效果。; 关键词入侵检测 PU学习静态集成分类分析; 在线阅读下载PDF 职称材料

应用半连接的分布式数据库查询优化算法被引量：4: 8; 作者李川《重庆理工大学学报（自然科学）》 CAS 2013年第11期74-77,共4页; 分布式数据库具有分布性和冗余性,导致分布式查询处理比较复杂,因此查询优化是一个非常重要的问题。针对大规模数据分析分布式数据库的数据分片机制,建立改进的数据分片模型,并根据分布式数据库的查询优化目标分析查询优化算法,对半连... 展开更多; 关键词分布式数据库大规模数据查询优化数据分片半连接; 在线阅读下载PDF 职称材料

题名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 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名移动机器人行为动力学导航方法研究被引量：5: 2; 作者郝大鹏傅卫平杨世强王雯; 机构西安理工大学机械与精密仪器工程学院西安航空学院计算机系; 出处《机械科学与技术》 CSCD 北大核心 2013年第10期1488-1491,共4页; 基金国家自然科学基金项目(10872160) 陕西省自然科学基金项目(2012JM8032)资助; 文摘对导航中存在碰撞危险和影响导航性能的情况进行分析,并提出解决办法。针对线速度控制受限仅能以低速行驶的问题,利用几何描述法分析航向角和线速度之间约束关系,揭示线速度受限的原因,提出航向角跟随控制。行为动力学方法在增加了航向角跟随控制后,可以克服线速度控制受限的问题,保证在提高线速度的情况下机器人仍能安全导航。; 关键词移动机器人行为动力学吸引子线速度控制; Keywords control dynamics MATLAB navigation robots schematic diagrams velocity mobile robot behavior dynamics attractor velocity control; 分类号 TP242.6 [自动化与计算机技术—检测技术与自动化装置]; 在线阅读下载PDF 职称材料

题名基于形态学金字塔的医学图像融合技术被引量：8: 3; 作者王建王必宁杨根善张少应; 机构西安航空学院计算机工程系西安热工研究院有限公司; 出处《兵工自动化》 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 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于梯度变换的多传感器图像融合算法被引量：7: 4; 作者王建刘肖王国珲; 机构西安航空学院计算机工程系西安工业大学光电工程学院; 出处《重庆理工大学学报（自然科学）》 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 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于alpha稳定分布的盲信号分离被引量：2: 5; 作者任静李维勤惠鏸; 机构西安航空学院计算机工程系西安理工大学自动化与信息工程学院; 出处《计算机工程与应用》 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 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名基于区域一致性的多聚焦图像融合算法被引量：3: 6; 作者王建王国珲王倩丽; 机构西安航空学院计算机工程系西安工业大学光电工程学院; 出处《兵工自动化》 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 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于静态集成PU学习数据流分类的入侵检测方法被引量：1: 7; 作者郑科鹏冯筠孙霞冯宏伟曹国震; 机构陕西广播电视台播出部西北大学信息科学与技术学院西安航空学院计算机系; 出处《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2014年第4期568-572,共5页; 基金国家自然科学基金资助项目(61202184) 陕西省教育厅基金资助项目(2013JK1152); 文摘从数据流角度提出一种静态的集成PU学习数据流分类的入侵检测方法,在实验验证中通过对不同数据集指标比较,证明了算法的有效性,可在减少人工标注量的同时取得较好的检测效果。; 关键词入侵检测 PU学习静态集成分类分析; Keywords intrusion detection positive unlabeled learning static classifier ensemble classification analysis; 分类号 TP393.08 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名应用半连接的分布式数据库查询优化算法被引量：4: 8; 作者李川; 机构西安航空学院计算机工程系; 出处《重庆理工大学学报（自然科学）》 CAS 2013年第11期74-77,共4页; 基金西安航空学院研究课题"基于Internet的陕西文化资源库的建设与推广"(11XP425); 文摘分布式数据库具有分布性和冗余性,导致分布式查询处理比较复杂,因此查询优化是一个非常重要的问题。针对大规模数据分析分布式数据库的数据分片机制,建立改进的数据分片模型,并根据分布式数据库的查询优化目标分析查询优化算法,对半连接查询优化算法进行改进。实例分析表明:改进的半连接查询算法极大地降低了传输代价,提高了查询效率。; 关键词分布式数据库大规模数据查询优化数据分片半连接; Keywords distributed database large-scale data query optimization data fragmentation half con-nection; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	AADL分级调度模型的分析与验证	符宁杜承烈李建良刘志强彭寒	《计算机研究与发展》 EI CSCD 北大核心	2015	7	在线阅读下载PDF 职称材料
2	移动机器人行为动力学导航方法研究	郝大鹏傅卫平杨世强王雯	《机械科学与技术》 CSCD 北大核心	2013	5	在线阅读下载PDF 职称材料
3	基于形态学金字塔的医学图像融合技术	王建王必宁杨根善张少应	《兵工自动化》	2014	8	在线阅读下载PDF 职称材料
4	基于梯度变换的多传感器图像融合算法	王建刘肖王国珲	《重庆理工大学学报（自然科学）》 CAS	2012	7	在线阅读下载PDF 职称材料
5	基于alpha稳定分布的盲信号分离	任静李维勤惠鏸	《计算机工程与应用》 CSCD	2014	2	在线阅读下载PDF 职称材料
6	基于区域一致性的多聚焦图像融合算法	王建王国珲王倩丽	《兵工自动化》	2013	3	在线阅读下载PDF 职称材料
7	基于静态集成PU学习数据流分类的入侵检测方法	郑科鹏冯筠孙霞冯宏伟曹国震	《西北大学学报（自然科学版）》 CAS CSCD 北大核心	2014	1	在线阅读下载PDF 职称材料
8	应用半连接的分布式数据库查询优化算法	李川	《重庆理工大学学报（自然科学）》 CAS	2013	4	在线阅读下载PDF 职称材料