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

基于dSPACE的汽车电动玻璃升降器防夹控制的半实物仿真与验证被引量：5: 1; 作者刘建国俞力 +2 位作者李希程栋梁杜小芳《汽车技术》北大核心 2016年第5期1-5,共5页; 提出了针对电动玻璃升降器双霍尔传感器与直流电机电流检测(DHSCD)防夹控制算法的"V字形"开发流程;利用Simulink建立系统模型对防夹控制算法与电动玻璃升降器的功能性和可靠性进行离线仿真验证;在通用快速控制原型仿真方法的... 展开更多; 关键词电动玻璃升降器防夹控制算法仿真与验证 DSPACE; 在线阅读下载PDF 职称材料

系统级仿真与验证方法在精确打击武器成像系统中的应用被引量：1: 2; 作者谢宜壮吴琼之 +1 位作者符蓓蓓汪精华《兵工学报》 EI CAS CSCD 北大核心 2010年第S2期1-4,共4页; 合成孔径雷达(SAR)实时成像处理系统的快速仿真与验证是系统实现的前提条件,也是以SAR系统为图像匹配末制导方式的精确打击武器设计的必经之路。根据随机信号理论,对SAR成像系统的误差特性进行了简单分析。研究了基于系统级描述语言的... 展开更多; 关键词信息处理技术合成孔径雷达实时成像精确打击武器系统仿真与验证 System C; 在线阅读下载PDF 职称材料

基于STeC-Stateflow转换系统的实时系统仿真与验证方法: 3; 作者纪政李慧勇陈仪香《计算机应用研究》 CSCD 北大核心 2014年第2期448-453,共6页; 物联网以及信息物理融合系统对形式化建模提出了新的挑战,引入了实时系统规范语言STeC,为刻画实时系统的时空一致性提供了规范语言。针对STeC语言建立STeC至Stateflow自动转换系统,提出一种基于STeC至Stateflow转换的仿真及验证方法,该... 展开更多; 关键词实时系统实时系统规范语言时空一致性系统仿真与验证 STATEFLOW Checkmate; 在线阅读下载PDF 职称材料

一种月表采样器合理铲挖深度的研究被引量：9: 4; 作者姚猛郑燕红 +3 位作者赵志晖金晟毅司永顺韩璐《航天器工程》 CSCD 北大核心 2017年第3期50-56,共7页; 铲挖深度是月表采样器的重要技术指标,合理的铲挖深度需既能降低采样器安全风险又可确保一定的采样效率。设计了一种斜插式铲挖方法的月表采样器,针对其构型与铲挖方法,在Reece模型的基础上,通过离散元法推导了月表采样器铲挖阻力矩的... 展开更多; 关键词采样器铲挖阻力矩仿真与验证铲挖深度; 在线阅读下载PDF 职称材料

2.55 GHz城市微蜂窝三维宽带时变信道特性分析与建模研究被引量：2: 5; 作者李树赵雄文 +2 位作者张蕊王琦耿绥燕《通信学报》 EI CSCD 北大核心 2017年第10期135-145,共11页; 基于2.55 GHz城市微蜂窝场景多输入多输出(MIMO,multiple-input multiple-output)信道实测数据,研究了三维宽带无线信道的时变特性,利用SAGE(space-alternating generalized expectation-maximization)算法提取多径参数,包括水平、垂直... 展开更多; 关键词城市微蜂窝 SAGE 多径“生灭”模型时变信道信道仿真与验证 5G动态信道建模; 在线阅读下载PDF 职称材料

无线传感器网络LQI测距定位算法及其误差研究被引量：1: 6; 作者胡倩倩曾庆化 +1 位作者赵飞梁玉琴《小型微型计算机系统》 CSCD 北大核心 2011年第1期95-98,共4页; 无线传感器定位算法对无线传感器的工程应用具有重要的意义.针对基于LQ I测距的无线传感器网络,研究了测距模型的建立并对比分析了最小二乘定位算法和质心定位算法,相关仿真研究结果表明:该两种定位算法的精度与测距误差的性质具有鲜明... 展开更多; 关键词无线传感器网络定位算法 ZIGBEE 测距误差模型仿真与验证; 在线阅读下载PDF 职称材料

MATLAB中多EDA软件实现数字系统设计被引量：5: 7; 作者高峰周永川《无线电通信技术》 2010年第3期31-33,共3页; 电子设计自动化EDA技术与MATLAB技术的结合,大大提高了工程中多EDA的算法设计的效率和可靠性。以MATLAB为核心的集成环境,可实现与众多EDA软件的输入输出链接,从系统设计、仿真、嵌入式系统代码生成与系统验证都能实现统一的EDA流程设... 展开更多; 关键词 EDA MATLAB 仿真与验证代码生成; 在线阅读下载PDF 职称材料

时序图到时间自动机自动转换与布局算法: 8; 作者肖乐方景龙 +1 位作者王兴起冯博洋《计算机工程与设计》北大核心 2017年第8期2142-2149,共8页; 为对系统功能需求进行可视化仿真和验证,在对UML可视化建模工具Enterprise Architect中时序图模型的组成图形元素,以及可视化仿真与验证工具UPPAAL中时间自动机模型的组成图形元素进行深入分析后,对现有的时序图到时间自动机模型的转换... 展开更多; 关键词时序图模型时间自动机模型可视化建模可视化仿真与验证转换算法自动布局算法; 在线阅读下载PDF 职称材料

题名基于dSPACE的汽车电动玻璃升降器防夹控制的半实物仿真与验证被引量：5: 1; 作者刘建国俞力李希程栋梁杜小芳; 机构武汉理工大学现代汽车零部件技术湖北省重点实验室汽车零部件技术湖北省协同创新中心东风雷诺汽车有限公司技术中心武汉东环车身系统有限公司; 出处《汽车技术》北大核心 2016年第5期1-5,共5页; 基金湖北省科技支撑计划项目(对外科技合作类 2014BHE019); 文摘提出了针对电动玻璃升降器双霍尔传感器与直流电机电流检测(DHSCD)防夹控制算法的"V字形"开发流程;利用Simulink建立系统模型对防夹控制算法与电动玻璃升降器的功能性和可靠性进行离线仿真验证;在通用快速控制原型仿真方法的基础上,针对DHSCD防夹控制算法设计了特有的仿真方案;完成了目标控制器的自动代码生成;提出了适用于电动玻璃升降器DHSCD防夹控制算法的硬件在环仿真验证平台。离线仿真和半实物实时仿真结果表明,基于d SPACE开发的电动玻璃升降器防夹控制算法具有良好的可靠性与环境适应性。; 关键词电动玻璃升降器防夹控制算法仿真与验证 DSPACE; Keywords Electric window lift Anti-pinch algorithm Simulation and verification d SPACE; 分类号 U463.853 [机械工程—车辆工程]; 在线阅读下载PDF 职称材料

题名系统级仿真与验证方法在精确打击武器成像系统中的应用被引量：1: 2; 作者谢宜壮吴琼之符蓓蓓汪精华; 机构北京大学信息科学技术学院北京理工大学信息与电子学院中国兵器科学研究院中国航天科技集团公司第五研究院; 出处《兵工学报》 EI CAS CSCD 北大核心 2010年第S2期1-4,共4页; 文摘合成孔径雷达(SAR)实时成像处理系统的快速仿真与验证是系统实现的前提条件,也是以SAR系统为图像匹配末制导方式的精确打击武器设计的必经之路。根据随机信号理论,对SAR成像系统的误差特性进行了简单分析。研究了基于系统级描述语言的、高效的、快速的系统级算法仿真与验证方法,使得在系统设计之初,就能够验证系统的功能与性能,并探索系统实现的体系架构。在此基础上以System C为系统级描述工具,对SAR成像的RD算法进行了单精度浮点和定点成像的仿真比较。; 关键词信息处理技术合成孔径雷达实时成像精确打击武器系统仿真与验证 System C; Keywords information processing technique SAR real time imaging precise attack weapon system simulation and validation System C; 分类号 TJ-55 [兵器科学与技术]; 在线阅读下载PDF 职称材料

题名基于STeC-Stateflow转换系统的实时系统仿真与验证方法: 3; 作者纪政李慧勇陈仪香; 机构华东师范大学软件学院教育部软硬件协同设计技术与应用工程研究中心; 出处《计算机应用研究》 CSCD 北大核心 2014年第2期448-453,共6页; 基金国家"973"计划基金资助项目(2011CB302802) 国家自然科学基金资助项目(61202104) 上海高校知识创新工程(085)建设项目; 文摘物联网以及信息物理融合系统对形式化建模提出了新的挑战,引入了实时系统规范语言STeC,为刻画实时系统的时空一致性提供了规范语言。针对STeC语言建立STeC至Stateflow自动转换系统,提出一种基于STeC至Stateflow转换的仿真及验证方法,该方法使用STeC语言对实时系统进行形式化建模,再建立实时监控的Simulink仿真模型,并使用Checkmate对系统进行安全性验证。通过对京沪高铁运行的实例研究,表明该方法对高铁运行系统实时仿真的有效性,并能够验证高铁运行系统的安全性。; 关键词实时系统实时系统规范语言时空一致性系统仿真与验证 STATEFLOW Checkmate; Keywords real-time system specification language for real-time system spatial-temporal consistence system simulation and verification Stateflow Checkmate; 分类号 TP301.2 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名一种月表采样器合理铲挖深度的研究被引量：9: 4; 作者姚猛郑燕红赵志晖金晟毅司永顺韩璐; 机构北京空间飞行器总体设计部; 出处《航天器工程》 CSCD 北大核心 2017年第3期50-56,共7页; 基金国家重大科技专项工程; 文摘铲挖深度是月表采样器的重要技术指标,合理的铲挖深度需既能降低采样器安全风险又可确保一定的采样效率。设计了一种斜插式铲挖方法的月表采样器,针对其构型与铲挖方法,在Reece模型的基础上,通过离散元法推导了月表采样器铲挖阻力矩的表达式。参考历次阿波罗飞船(Apollo)月壤样本数据,在实验室环境下构筑了与月壤物理特性相匹配的模拟月壤,并测得模拟月壤的物理特性参数。然后,根据所测得模拟月壤的物理特性参数,利用所推导的铲挖阻力矩表达式,对月表采样器典型输出力矩下的铲挖深度进行了仿真分析与试验验证,仿真分析结果与试验结果吻合。根据试验结果与月表采样器设计参数确定了合理的铲挖深度,可为月表采样器在月面采样时提供参考。; 关键词采样器铲挖阻力矩仿真与验证铲挖深度; Keywords sampler torque of excavation resistance emulation and testing excavation depth; 分类号 V476.3 [航空宇航科学与技术—飞行器设计]; 在线阅读下载PDF 职称材料

题名2.55 GHz城市微蜂窝三维宽带时变信道特性分析与建模研究被引量：2: 5; 作者李树赵雄文张蕊王琦耿绥燕; 机构华北电力大学电气与电子工程学院中国电波传播研究所电波环境特性与模化技术国家重点实验室东南大学移动通信国家重点实验室; 出处《通信学报》 EI CSCD 北大核心 2017年第10期135-145,共11页; 基金电波环境特性与模化国家重点实验室开放课题基金资助项目(No.201400009) 移动通信国家重点实验室开放课题基金资助项目(No.2016D09) 国家自然科学基金资助项目(No.61372051)~~; 文摘基于2.55 GHz城市微蜂窝场景多输入多输出(MIMO,multiple-input multiple-output)信道实测数据,研究了三维宽带无线信道的时变特性,利用SAGE(space-alternating generalized expectation-maximization)算法提取多径参数,包括水平、垂直面的电波离开角和电波到达角,采用双向匹配算法识别并跟踪多径,建立了多径的"生灭"模型,统计分析了多径的出现率、多径生命周期、多径初始参数和演进参数等时变信道模型参数并根据上述参数的统计分布和相关性展开建模,建立了基于多径"生灭"过程的时变信道模型,并给出了详细的模型参数和仿真实现步骤,通过对比实测数据和仿真结果的均方根时延扩展和均方根角度扩展,验证了模型的可用性。提出的时变信道模型可用于城市微蜂窝场景时变信道仿真,也为5G动态信道建模的研究提供重要参考。; 关键词城市微蜂窝 SAGE 多径“生灭”模型时变信道信道仿真与验证 5G动态信道建模; Keywords urban microcell, SAGE, multipath birth-death process, time-varying channel, channel simulation and validation, 5G dynamic channel modeling; 分类号 TN928 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名无线传感器网络LQI测距定位算法及其误差研究被引量：1: 6; 作者胡倩倩曾庆化赵飞梁玉琴; 机构南京航空航天大学导航研究中心; 出处《小型微型计算机系统》 CSCD 北大核心 2011年第1期95-98,共4页; 基金无线传感器定位中的现实非齐次误差分部研究项目(REDOWLJEB/China/1YearJP)资助英国皇家学会(RoyalSociety)资助; 文摘无线传感器定位算法对无线传感器的工程应用具有重要的意义.针对基于LQ I测距的无线传感器网络,研究了测距模型的建立并对比分析了最小二乘定位算法和质心定位算法,相关仿真研究结果表明:该两种定位算法的精度与测距误差的性质具有鲜明的规律性,当测距误差正向分布时,最小二乘定位比质心算法精度高;当测距误差正负双向分布时,质心算法比最小二乘定位精度高.最后,文中通过搭建的Z igBee硬件平台实验验证了仿真的结果.本文从测距误差模型入手对无线传感器定位算法进行研究,仿真结果与实验验证相一致,有利于W SN的推广应用.; 关键词无线传感器网络定位算法 ZIGBEE 测距误差模型仿真与验证; Keywords WSN location algorithm ZigBee ranging error distributions simulation and tests; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名MATLAB中多EDA软件实现数字系统设计被引量：5: 7; 作者高峰周永川; 机构中国电子科技集团公司第五十四研究所; 出处《无线电通信技术》 2010年第3期31-33,共3页; 文摘电子设计自动化EDA技术与MATLAB技术的结合,大大提高了工程中多EDA的算法设计的效率和可靠性。以MATLAB为核心的集成环境,可实现与众多EDA软件的输入输出链接,从系统设计、仿真、嵌入式系统代码生成与系统验证都能实现统一的EDA流程设计和仿真验证,为工程实现提供了一个良好的前期仿真验证手段。; 关键词 EDA MATLAB 仿真与验证代码生成; Keywords EDA MATLAB simulation and verification code generation; 分类号 TP911.7 [自动化与计算机技术]; 在线阅读下载PDF 职称材料

题名时序图到时间自动机自动转换与布局算法: 8; 作者肖乐方景龙王兴起冯博洋; 机构杭州电子科技大学复杂系统建模与仿真教育部重点实验室; 出处《计算机工程与设计》北大核心 2017年第8期2142-2149,共8页; 基金武器装备预研基金项目(9140A15040214DZ04221) 国防基础科研计划基金项目(JCKY2013415C001) 国防技术基础科研计划基金项目(JSZL2014415B002); 文摘为对系统功能需求进行可视化仿真和验证,在对UML可视化建模工具Enterprise Architect中时序图模型的组成图形元素,以及可视化仿真与验证工具UPPAAL中时间自动机模型的组成图形元素进行深入分析后,对现有的时序图到时间自动机模型的转换算法进行改进并提出更加完善的算法,对转换后的时间自动机布局算法进行相关研究,实现从时序图模型到时间自动机模型的自动转换与布局。在实际领域的实验结果表明,改进后的算法能够对系统功能需求进行正确有效的可视化验证和仿真,提高了系统模型设计效率。; 关键词时序图模型时间自动机模型可视化建模可视化仿真与验证转换算法自动布局算法; Keywords timing diagram model timed automata model visual modeling visual simulation and validation conversion algorithm automatic layout algorithm; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于dSPACE的汽车电动玻璃升降器防夹控制的半实物仿真与验证	刘建国俞力李希程栋梁杜小芳	《汽车技术》北大核心	2016	5	在线阅读下载PDF 职称材料
2	系统级仿真与验证方法在精确打击武器成像系统中的应用	谢宜壮吴琼之符蓓蓓汪精华	《兵工学报》 EI CAS CSCD 北大核心	2010	1	在线阅读下载PDF 职称材料
3	基于STeC-Stateflow转换系统的实时系统仿真与验证方法	纪政李慧勇陈仪香	《计算机应用研究》 CSCD 北大核心	2014	0	在线阅读下载PDF 职称材料
4	一种月表采样器合理铲挖深度的研究	姚猛郑燕红赵志晖金晟毅司永顺韩璐	《航天器工程》 CSCD 北大核心	2017	9	在线阅读下载PDF 职称材料
5	2.55 GHz城市微蜂窝三维宽带时变信道特性分析与建模研究	李树赵雄文张蕊王琦耿绥燕	《通信学报》 EI CSCD 北大核心	2017	2	在线阅读下载PDF 职称材料
6	无线传感器网络LQI测距定位算法及其误差研究	胡倩倩曾庆化赵飞梁玉琴	《小型微型计算机系统》 CSCD 北大核心	2011	1	在线阅读下载PDF 职称材料
7	MATLAB中多EDA软件实现数字系统设计	高峰周永川	《无线电通信技术》	2010	5	在线阅读下载PDF 职称材料
8	时序图到时间自动机自动转换与布局算法	肖乐方景龙王兴起冯博洋	《计算机工程与设计》北大核心	2017	0	在线阅读下载PDF 职称材料