民机航电系统虚拟化计算平台功能安全评估研究

1

作者 杨欢 王晓东 +2 位作者 李庚 张双 郭阳明 《西北工业大学学报》 EI CAS CSCD 北大核心 2024年第1期45-52,共8页

围绕虚拟化后影响机载计算平台安全的时空隔离性、故障隔离性、可调度性等主要问题,开展虚拟化环境下机载计算平台的安全等级评定研究,考虑虚拟化后航电系统的特点,提出了一种基于层次分析法(AHP)和灰度关联分析法(GARD)的安全性计算方... 围绕虚拟化后影响机载计算平台安全的时空隔离性、故障隔离性、可调度性等主要问题,开展虚拟化环境下机载计算平台的安全等级评定研究,考虑虚拟化后航电系统的特点,提出了一种基于层次分析法(AHP)和灰度关联分析法(GARD)的安全性计算方法。建立了机载虚拟化计算平台安全评估判断树,利用AHP方法计算了各安全能力的权重,给出了系统整体安全性得分,并在此基础上,结合GRAP方法,参照航空电子系统安全性评估,计算得出了测试系统与DAL安全等级要求适配度最高的安全等级。 展开更多

关键词 民机 计算平台 虚拟化 功能安全 层次分析

在线阅读 下载PDF 职称材料

AFDX网络配置测试技术研究

2

作者 陈芳 吕广喆 +2 位作者 林伟 侯溪溪 马春燕 《西北工业大学学报》 EI CAS CSCD 北大核心 2024年第3期514-520,共7页

终端系统作为AFDX网络数据传输的关键部分,其优劣决定着整个AFDX网络的通信性能。为了测试验证端系统功能,评估AFDX网络的传输性能,提出了一种AFDX网络配置测试方法。设计端系统的配置测试规范,建立端系统测试总体框架,对端系统的测试... 终端系统作为AFDX网络数据传输的关键部分,其优劣决定着整个AFDX网络的通信性能。为了测试验证端系统功能,评估AFDX网络的传输性能,提出了一种AFDX网络配置测试方法。设计端系统的配置测试规范,建立端系统测试总体框架,对端系统的测试响应机制进行研究,规范化测试流程,生成的配置文件作为算法设计的输入信息。设计激励数据生成算法,建立激励数据生成框架,对数据发送的约束条件进行形式化定义,利用SMT求解器,生成激励数据发送时刻表。激励数据发送时刻表作为输入,利用TestCenter网络测试平台进行仿真实验,实验结果证明该方法能模拟当前AFDX网络配置在高负载数据流下的有效性。 展开更多

关键词 AFDX网络 端系统 虚拟链路 自动化测试

在线阅读 下载PDF 职称材料

内埋式航空兵器投放过程的CFD/RBD数值仿真研究

3

作者 靳晨晖 淮洋 +1 位作者 陈鑫 王刚 《航空兵器》 CSCD 北大核心 2021年第5期92-98,共7页

飞翼布局因其特殊的构型,表现出与常规飞行器较大的性能差异。内埋式弹舱能够帮助战机提高其隐身性能,但舱门干扰和空腔结构下流动较为复杂,多枚弹体在分离过程中极有可能互相发生碰撞或与武器舱接触,威胁载机安全,因而提高内埋式武器... 飞翼布局因其特殊的构型,表现出与常规飞行器较大的性能差异。内埋式弹舱能够帮助战机提高其隐身性能,但舱门干扰和空腔结构下流动较为复杂,多枚弹体在分离过程中极有可能互相发生碰撞或与武器舱接触,威胁载机安全,因而提高内埋式武器的分离品质至关重要。使用改进的非结构嵌套网格径向基函数插值方法、耦合流动控制方程和刚体动力学方程(RBD,Rigid Body Dynamics),对一类常规“W”型飞翼布局内埋式武器的分离过程进行数值模拟,分离过程考虑了分离间隔(0 s/0.01 s/0.03 s)对弹体分离品质的影响。仿真结果表明,在前后舱2枚弹体分离的过程中,采用时序分离的方式能够有效提高后舱分离弹体的分离品质,整个分离过程中弹体的姿态变化较为平稳。 展开更多

关键词 飞翼布局 内埋式武器 嵌套网格 时序分离 分离品质 CFD RBD 数值仿真

在线阅读 下载PDF 职称材料

图形处理器低功耗设计技术研究 被引量：9

4

作者 田泽 张骏 +2 位作者 许宏杰 郭亮 黎小玉 《计算机科学》 CSCD 北大核心 2013年第06A期210-216,共7页

图形处理器(GPU)以其强大的图形加速性能以及在通用计算领域的出色表现正在被越来越广泛地应用。但随着芯片规模和集成度的不断提升,单个GPU芯片的功耗已经高达376W,是高端通用处理器的2～3倍。高功耗带来的可靠性、稳定性以及芯片成本... 图形处理器(GPU)以其强大的图形加速性能以及在通用计算领域的出色表现正在被越来越广泛地应用。但随着芯片规模和集成度的不断提升,单个GPU芯片的功耗已经高达376W,是高端通用处理器的2～3倍。高功耗带来的可靠性、稳定性以及芯片成本问题使"功耗墙"已经成为未来GPU设计过程中需要突破的关键问题之一。立足于体系结构层次,结合图形处理器的渲染流水线的结构特点,从深度测试和消隐、染色器数据通路、纹理映射和压缩、渲染策略、寄存器文件和片上Cache等角度描述了图形处理器的低功耗设计技术,并指出了GPU低功耗设计技术的进一步研究方向。 展开更多

关键词 图形处理器 低功耗 渲染 CACHE

在线阅读 下载PDF 职称材料

计算流体力学验证与确认研究进展 被引量：10

5

作者 陈江涛 肖维 +8 位作者 赵炜 张培红 杨福军 金韬 郭勇颜 吴晓军 陈坚强 王瑞利 李立 《力学进展》 EI CSCD 北大核心 2023年第3期626-660,共35页

计算流体力学(CFD)在重大工程领域发挥了日益重要的作用,可信度是制约其进一步大规模工程应用的关键因素.国内外普遍认同验证与确认是CFD可信度评价和保证的必经途径.通过系统的验证与确认,可以有效识别代码中潜在的编程错误,保证数值... 计算流体力学(CFD)在重大工程领域发挥了日益重要的作用,可信度是制约其进一步大规模工程应用的关键因素.国内外普遍认同验证与确认是CFD可信度评价和保证的必经途径.通过系统的验证与确认,可以有效识别代码中潜在的编程错误,保证数值求解的可靠性,客观评价模型在预期用途内的适用性,在必要时提高模型的预测能力.本文围绕着什么是验证与确认,怎么做验证与确认这两个核心问题,从基本概念、实施流程、主要方法、标模试验和平台工具等角度介绍了国内外在CFD验证与确认领域的研究进展,重点对误差估计和不确定度量化方法展开介绍.文章最后对现阶段验证与确认研究解决实际工程问题的不足进行了评述和总结,对未来重点研究方向进行了展望. 展开更多

关键词 验证与确认 误差估计 不确定度量化 标模试验

在线阅读 下载PDF 职称材料

时间触发通信网络监护及容错技术研究 被引量：7

6

作者 刘智武 孙靖国 陈长胜 《电光与控制》 CSCD 北大核心 2021年第10期85-89,98,共6页

时间触发(TT)通信网络能够有效地保证安全关键领域网络数据传输的可靠性和实时性,分析了TT通信网络在安全性方面的监护及容错机制原理,开展了基于时间窗口、语义、流量的网络监护方法设计。基于余度通信的时间同步容错设计和基于执行者... 时间触发(TT)通信网络能够有效地保证安全关键领域网络数据传输的可靠性和实时性,分析了TT通信网络在安全性方面的监护及容错机制原理,开展了基于时间窗口、语义、流量的网络监护方法设计。基于余度通信的时间同步容错设计和基于执行者/监控者的高完整性容错设计,构建了TT通信网络监护及容错机制验证环境,开展了相关测试验证工作,结果表明在TT通信网络监护和容错方面的分析设计能够有效提升网络运行的安全性。 展开更多

关键词 时间触发通信网络 安全性 监护 容错

在线阅读 下载PDF 职称材料

一种航空电子系统体系结构错误行为验证方法

7

作者 丁明 张书玲 张琛 《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2019年第3期356-362,共7页

针对航空电子系统体系结构安全性评估过程中,组件故障影响分析,正确性难以保证的问题,提出了一种基于模型的体系结构错误行为描述和验证方法。首先,针对系统功能需求和安全性目标,建立体系结构模型;然后,采用错误模型附件描述组件的错... 针对航空电子系统体系结构安全性评估过程中,组件故障影响分析,正确性难以保证的问题,提出了一种基于模型的体系结构错误行为描述和验证方法。首先,针对系统功能需求和安全性目标,建立体系结构模型;然后,采用错误模型附件描述组件的错误行为和导致的故障影响,并使用层次自动机作为中间状态,通过转换算法实现体系结构错误行为模型的形式化描述;最后,通过模型检测实现安全性需求的正确性验证。实例分析表明,该方法能够验证体系结构设计的组件错误影响和应对措施是否满足系统的安全性目标,提升安全性评估的准确性和效率。 展开更多

关键词 航空电子系统 体系结构 错误模型 模型检测

在线阅读 下载PDF 职称材料

机载悬挂物管理系统FC通信管理技术研究与实现

8

作者 杨建茜 王世奎 于峰 《电光与控制》 北大核心 2018年第3期48-54,67,共8页

以机载悬挂物管理系统为应用场景,围绕AS5653标准,探索了高速FC网络的拓扑结构、网络管理和通信调度机制,从节点初始化控制与管理、网络通信调度与管理和节点有效活动监控与管理3个方面提出实施方案,为下一代机载悬挂物管理系统采用FC... 以机载悬挂物管理系统为应用场景,围绕AS5653标准,探索了高速FC网络的拓扑结构、网络管理和通信调度机制,从节点初始化控制与管理、网络通信调度与管理和节点有效活动监控与管理3个方面提出实施方案,为下一代机载悬挂物管理系统采用FC组建高速网络提供可行的技术模型。 展开更多

关键词 悬挂物管理系统 FC网络 网络管理 通信调度 性能分析

在线阅读 下载PDF 职称材料

IMA2G技术研究与实现

9

作者 王卫东 邸海涛 +1 位作者 张伟栋 范超 《电光与控制》 CSCD 北大核心 2019年第12期80-83,共4页

IMA1G已经广泛应用于军民用航电系统,IMA2G时代即将到来。与IMA1G相比,IMA2G在功能、功耗、体积、重量以及成本各方面都有绝对的优势,IMA2G技术已引起国内外学术界和产业界的高度重视,相关研究领域也已取得了许多研究进展,但仍然存在许... IMA1G已经广泛应用于军民用航电系统,IMA2G时代即将到来。与IMA1G相比,IMA2G在功能、功耗、体积、重量以及成本各方面都有绝对的优势,IMA2G技术已引起国内外学术界和产业界的高度重视,相关研究领域也已取得了许多研究进展,但仍然存在许多挑战性的课题。首先深入论述了国外IMA2G相关关键技术领域发展,然后介绍了笔者的IMA2G研究方案、研究成果以及测试验证情况,最后指出了下一步的研究工作。 展开更多

关键词 航空电子系统 IMA1G IMA2G 多核处理机 时间关键 重构技术

在线阅读 下载PDF 职称材料

综合模块化航空电子系统安全分析的模型检测方法

10

作者 邝安玄 马超 王佳明 《电光与控制》 CSCD 北大核心 2023年第3期112-115,121,共5页

综合模块化航空电子(IMA)系统可以在有效提高系统效率的同时减少资源的分配,但集成工作增加了系统的复杂性,同时使系统的故障在综合过程中传播到其他系统,这对系统的安全性也有很大的影响。传统的系统安全分析方法主要依赖于工程经验和... 综合模块化航空电子(IMA)系统可以在有效提高系统效率的同时减少资源的分配,但集成工作增加了系统的复杂性,同时使系统的故障在综合过程中传播到其他系统,这对系统的安全性也有很大的影响。传统的系统安全分析方法主要依赖于工程经验和个人技能,存在忽视系统故障状态和误判故障影响的局限性。为了解决该问题,提出了一种新的综合模块化航空电子系统安全分析方法——模型检测,使用遍历算法搜索所有系统状态。这种分析过程的使用在实现自动化的同时减少对工程经验的需求。该方法在综合模块化航空电子系统安全分析中的实用性得到验证,在系统需求规格的基础上给出了分析过程,利用模型检测工具NuSMV进行安全性分析。该方法能够自动识别出引起顶层事件的最小故障组合,从而达到传统故障树分析的目的,最终通过案例分析表明了该方法的实用性。 展开更多

关键词 综合模块化航空电子系统 安全性 系统分析 模型检测

在线阅读 下载PDF 职称材料

抗加速度双切线弧流道内气泡动力学行为数值与可视化研究

11

作者 唐昊 胡定华 +2 位作者 李强 张轩畅 韩俊杰 《化工学报》 EI CSCD 北大核心 2024年第9期3074-3082,共9页

机载电子设备的散热系统设计对飞行器的长航时安全运行具有重要意义。设计了抗加速度的双切线弧流道,针对流道内的气泡动力学行为,开展了基于VOF多相流模型的数值分析与基于高速相机的可视化研究。仿真分析表明,相比于直流道,双切线弧... 机载电子设备的散热系统设计对飞行器的长航时安全运行具有重要意义。设计了抗加速度的双切线弧流道,针对流道内的气泡动力学行为,开展了基于VOF多相流模型的数值分析与基于高速相机的可视化研究。仿真分析表明,相比于直流道,双切线弧流道中的气泡在流经弯管时,由于离心力的作用,会破裂成小气泡并被甩到远离加热面的位置,使得气液分离。30°双切线弧流道分离能力最弱,但残留在壁面的气泡最少;60°双切线弧流道分离能力最强,但壁面处气泡不易流动。对45°双切线弧流道进行了可视化实验研究,可视化结果与仿真分析一致。仿真计算表明,当流速为1 m/s时,45°双切线弧流道可以有效抵抗5g的加速度。 展开更多

关键词 气泡 离心分离 两相流 流体动力学 可视化

在线阅读 下载PDF 职称材料

基于扫描线填充的三角形图元双向光栅化技术 被引量：9

12

作者 田泽 刘天江 +2 位作者 张骏 许宏杰 黎小玉 《小型微型计算机系统》 CSCD 北大核心 2015年第6期1398-1402,共5页

光栅化是图形处理器3D引擎流水线的关键阶段,实现了从连续方式描述的图形到离散的像素点间的转换,如何提高光栅化效率是图形处理器设计的关键技术之一.本文分析了基于Bresenham算法的线填充算法,提出一种基于扫描线填充算法的三角形图... 光栅化是图形处理器3D引擎流水线的关键阶段,实现了从连续方式描述的图形到离散的像素点间的转换,如何提高光栅化效率是图形处理器设计的关键技术之一.本文分析了基于Bresenham算法的线填充算法,提出一种基于扫描线填充算法的三角形图元双向光栅化技术,称为BSF,实现了同时从两个方向对三角形图元进行光栅化,将三角形光栅化效率提升约39.02%,代价是增加了光栅化单元的规模和复杂度.基于BSF设计了光栅化单元,并采用Xilinx的ISE工具进行综合,在Xilinx Vertex6 XC6VLX760 FPGA上进行原型验证,电路工作频率可以达到202M Hz,测试结果表明可以正确快速的实现光栅化功能.在SMIC 65nm CMOS工艺下,采用Synopsys Design-Compiler对光栅化单元进行综合,电路工作频率达到330MHz,满足设计需求. 展开更多

关键词 图形处理器 光栅化 扫描线 BRESENHAM

在线阅读 下载PDF 职称材料

基于自然梯度的非线性变分贝叶斯滤波算法

13

作者 胡玉梅 潘泉 +2 位作者 邓豹 郭振 陈立峰 《自动化学报》 北大核心 2025年第2期427-444,共18页

在统计流形空间中,从信息几何角度考虑非线性状态后验分布近似的实质是后验分布与相应参数化变分分布之间的Kullback-Leibler(KL)散度最小化问题,同时也可以转化为变分置信下界的最大化问题.为了提升非线性系统状态估计的精度,在高斯系... 在统计流形空间中,从信息几何角度考虑非线性状态后验分布近似的实质是后验分布与相应参数化变分分布之间的Kullback-Leibler(KL)散度最小化问题,同时也可以转化为变分置信下界的最大化问题.为了提升非线性系统状态估计的精度,在高斯系统假设条件下结合变分贝叶斯(Variational Bayes,VB)推断和Fisher信息矩阵推导出置信下界的自然梯度,并通过分析其信息几何意义,阐述在统计流形空间中置信下界沿其方向不断迭代增大,实现变分分布与后验分布的“紧密”近似;在此基础上,以状态估计及其误差协方差作为变分超参数,结合最优估计理论给出一种基于自然梯度的非线性变分贝叶斯滤波算法;最后,通过天基光学传感器量测条件下近地轨道卫星跟踪定轨和纯角度被动传感器量测条件下运动目标跟踪仿真实验验证,与对比算法相比,所提算法具有更高的精度. 展开更多

关键词 非线性滤波 信息几何 变分贝叶斯推断 自然梯度 Fisher信息矩阵

在线阅读 下载PDF 职称材料

面向民机复杂航电系统的综合验证平台研究 被引量：2

14

作者 张军才 胡林平 《电光与控制》 CSCD 北大核心 2023年第2期71-74,共4页

民机复杂航电系统的高效研制需要各种综合验证平台的有力支持。首先,通过梳理复杂航电系统的工程活动,确认所需综合验证平台的类别;其次,对综合验证平台进行功能分析,提出了通用功能定义;再次,采用维度分析方法分析了综合验证平台的现状... 民机复杂航电系统的高效研制需要各种综合验证平台的有力支持。首先,通过梳理复杂航电系统的工程活动,确认所需综合验证平台的类别;其次,对综合验证平台进行功能分析,提出了通用功能定义;再次,采用维度分析方法分析了综合验证平台的现状,并提出了优化思路;最后,针对用途广泛的设备级综合验证平台进行了顶层规划和统一设计,开发了通用的设计模型,并提出了设计模型的实施规范要求。 展开更多

关键词 民用飞机 航电系统 系统验证 验证平台

在线阅读 下载PDF 职称材料

支持物理交互的无人机飞控系统安全测试方法

15

作者 习宁 周晓琳 +3 位作者 孙聪 李乔杨 马建峰 郭鑫玉 《电子学报》 北大核心 2025年第3期765-781,共17页

作为信息物理系统(Cyber-Physical Systems,CPS)的典型设备之一,无人机使用方便、对作业环境要求低、灵活性强,已广泛应用于农业、工业、军事等领域.其中,飞行控制系统是无人机核心基础服务,保障无人机遥测感知、通信覆盖、测绘救灾等... 作为信息物理系统(Cyber-Physical Systems,CPS)的典型设备之一,无人机使用方便、对作业环境要求低、灵活性强,已广泛应用于农业、工业、军事等领域.其中,飞行控制系统是无人机核心基础服务,保障无人机遥测感知、通信覆盖、测绘救灾等应用的有效执行.但多变的物理环境、复杂的功能结构使无人机飞行控制系统在开发过程中容易引入各类软件安全问题,导致无人机发生劫持、坠毁、失控等严重问题.如何检测无人机飞控软件系统的安全问题变得非常重要.现有的大多数无人机异常检测技术依靠数字世界构造输入,难以及时发现无人机逻辑安全的问题,本文提出一种支持物理交互的无人机飞控软件安全检测方法,将静态与动态分析方法相结合,用模糊测试方法对无人机飞行控制软件的安全性进行测试,结果表明该方法能够以97%的高覆盖率对无人机飞控任务进行安全检测,并根据测试结果进行无人机特征数据提取,基于该特征数据采用机器学习的方法训练出双重异常检测模型,在多组数据集上与现有检测方法进行对比,本文方法达到发现无人机异常状况97.5%的准确率,有效检测出无人机飞控软件系统中的已知安全问题. 展开更多

关键词 无人机飞控软件安全 模糊测试 异常检测 安全检测 机器学习

在线阅读 下载PDF 职称材料

基于PROMELA模型的安全关键软件形式化验证技术

16

作者 邢亮 丁成钧 +1 位作者 杜虎鹏 马春燕 《西北工业大学学报》 EI CAS CSCD 北大核心 2022年第5期1180-1187,共8页

聚焦安全关键软件,研究基于PROMELA形式模型验证C程序中违反断言、数组越界、空指针解引用、死锁及饥饿等5类故障技术。建立C程序抽象语法树节点到PROMELA模型,验证属性相关函数到PROMELA模型的2类映射规则;根据映射规则提出由C程序自... 聚焦安全关键软件,研究基于PROMELA形式模型验证C程序中违反断言、数组越界、空指针解引用、死锁及饥饿等5类故障技术。建立C程序抽象语法树节点到PROMELA模型,验证属性相关函数到PROMELA模型的2类映射规则;根据映射规则提出由C程序自动生成PROMELA形式模型的算法,并对算法进行理论分析;针对C程序中5种故障类型,分别给出基于PROMELA模型的形式化验证方法,并分析验证的范围;覆盖各类故障的验证范围,为每类故障类型选取12个C程序案例进行实证研究,实验结果证明了方法的有效性。 展开更多

关键词 C程序 PROMELA模型 软件故障 形式化验证

在线阅读 下载PDF 职称材料

卷积神经网络的软硬件协同加速技术 被引量：7

17

作者 李欣瑶 刘飞阳 +1 位作者 文鹏程 李鹏 《航空兵器》 CSCD 北大核心 2021年第3期99-104,共6页

面向构建智能化航空电子系统的需求,提升有人机/无人机智能化作战水平,设计并实现卷积神经网络CNN的软硬件协同加速技术,以解决目标识别、辅助决策、自主规划等复杂问题。针对算法模型的庞大参数量与嵌入式环境有限存储资源的冲突问题,... 面向构建智能化航空电子系统的需求,提升有人机/无人机智能化作战水平,设计并实现卷积神经网络CNN的软硬件协同加速技术,以解决目标识别、辅助决策、自主规划等复杂问题。针对算法模型的庞大参数量与嵌入式环境有限存储资源的冲突问题,采用模型结构优化及量化算法压缩网络规模。针对复杂浮点运算与计算资源紧缺的冲突问题,基于Verilog HDL设计卷积、池化两种加速算子,采用流水线+全并行方式,以达到计算加速的目的。通过软件优化设计与硬件加速运算的协同作用,实现卷积神经网络的推理过程加速。以YOLOv3及YOLOv3-Tiny两种典型CNN为例进行加速,并在Xilinx ZCU102 FPGA评估板上进行验证。结果表明,加速后的模型与原模型对比,参数量可压缩3/4左右,YOLOv3的推理速度提升近65倍,YOLOv3-Tiny提升23倍左右。 展开更多

关键词 智能计算 硬件加速 目标检测 模型压缩 FPGA

在线阅读 下载PDF 职称材料

基于Alpha-stable的粒子群算法变异策略研究及气动优化应用 被引量：3

18

作者 樊华羽 李典 +1 位作者 郝海兵 梁益华 《西北工业大学学报》 EI CAS CSCD 北大核心 2022年第6期1385-1393,共9页

提出了一种基于Alpha stable分布的新型变异方法。针对粒子群算法容易陷入局部最优的缺点,通过对比分析确定了一种调整Alpha stable分布的稳态系数动态变异策略,使粒子群算法能够在搜索初始阶段具有更强的种群多样性以及算法探索能力,... 提出了一种基于Alpha stable分布的新型变异方法。针对粒子群算法容易陷入局部最优的缺点,通过对比分析确定了一种调整Alpha stable分布的稳态系数动态变异策略,使粒子群算法能够在搜索初始阶段具有更强的种群多样性以及算法探索能力,减少陷入局部最优的可能;在算法末期增强粒子群优化算法的局部搜索能力,提高解的精度。将基于Alpha stable变异的粒子群优化算法(Alpha stable particle swarm optimization, ASPSO)与多种改进型粒子群优化算法以及差分进化算法(differential evolution algorithm, DE)进行了比较,基准测试函数结果表明新建立的ASPSO算法极大地提高了算法的收敛速度和精度。将其应用到RAE2822翼型的单点跨声速减阻优化中,在保持种群规模等参数相同的情形下,ASPSO算法的优化效果和效率都远高于传统PSO算法,最终得到的翼型也比PSO优化的翼型具有更高的升阻比,翼面波阻有明显降低。 展开更多

关键词 粒子群优化算法 Alpha-stable分布 动态变异 气动优化

在线阅读 下载PDF 职称材料

Chisel构建处理器模型的功能验证方法研究 被引量：2

19

作者 吴乐宁 王淼 陈福 《西北工业大学学报》 EI CAS CSCD 北大核心 2023年第5期1024-1032,共9页

随着航空硬件设计复杂度的提高,芯片验证技术已经成为了芯片设计的难点。为了有效缩短设计流程的总体工作时间,有必要在占据设计大量时间的验证中,研究出快速寻找设计错误的方法。被测设计是兼容ARM V4指令集架构(instruction set archi... 随着航空硬件设计复杂度的提高,芯片验证技术已经成为了芯片设计的难点。为了有效缩短设计流程的总体工作时间,有必要在占据设计大量时间的验证中,研究出快速寻找设计错误的方法。被测设计是兼容ARM V4指令集架构(instruction set architecture,ISA)的处理器模型ARMChisel,该处理器模型采用新型的硬件语言Chisel构建,是一个具有高复杂性的硬件设计。基于这一嵌入式处理器模型:①设计了支持ARM V4 ISA架构全部指令的随机指令生成器,提高了生成测试激励的速度;②根据新型构建语言Chisel的特点,针对被测处理器模型设计了Chisel层面初级验证、覆盖率快速验证、直接测试验证和复杂应用程序验证策略,确保达到预期的覆盖率;③在Chisel环境和Verilog环境中搭建了基于嵌入式处理器模型的测试平台,测试平台收集覆盖率同时能快速准确地发现错误并定位错误,提高了验证速度。采用FPGA(field programmable gute array)方法加速大型应用程序的验证,缩短了验证周期。 展开更多

关键词 Chisel 处理器模型验证 ARM架构 指令生成器 测试激励

在线阅读 下载PDF 职称材料

离心式作动器及驱动系统研究与实现 被引量：1

20

作者 呼明亮 王凌伟 +1 位作者 陈奎 闫稳 《科学技术与工程》 北大核心 2023年第6期2649-2655,共7页

作动器系统作为直升机结构响应主动控制系统(active control of structure response, ACSR)执行元件的重要核心部件,其控制性能直接关系到振动的抑制效果。研制了一套基于永磁无刷直流电机驱动的离心式作动器原理样机,详细阐述了系统组... 作动器系统作为直升机结构响应主动控制系统(active control of structure response, ACSR)执行元件的重要核心部件,其控制性能直接关系到振动的抑制效果。研制了一套基于永磁无刷直流电机驱动的离心式作动器原理样机,详细阐述了系统组成及工作原理,论述了作动器输出力频率、幅值和相位的调节方式,建立了偏心块的输出力方程,选取了MAXON公司生产的EC60 flat 411 678无刷电机作为驱动源。设计了作动器伺服控制系统,针对功率驱动中的隔离直流电源、自举二极管、自举电容、电流驱动能力及母线支撑电容等关键参数进行了详细设计。通过实验验证,电机转速误差最终被控制为1%以内,位置响应时间小于50 ms,振动抑制在0.001 5g(g为重力加速度)以下,取得了较好的控制性能,为离心式作动器系统在直升机平台的应用奠定了基础。 展开更多

关键词 振动主动控制 离心式作动器 无刷直流电机 隔离驱动 伺服控制

在线阅读 下载PDF 职称材料