Efficient schedulability analysis for mixed-criticality systems under deadline-based scheduling

Safety-critical avionics systems which become more complex and tend to integrate multiple functionalities with different levels of criticality for better cost and power efficiency are subject to certifications at various levels of rigorousness. In order to simultaneously guarantee temporal constraints at all different levels of assurance mandated by different criticalities, novel scheduling techniques are in need. In this paper, a mixed-criticality sporadic task model with multiple virtual deadlines is built and a certification-cognizant dynamic scheduling approach referred as earliest virtual-deadline first with mixed-criticality（EVDF-MC） is considered, which exploits different relative deadlines of tasks in different criticality modes. As for the corresponding schedulability analysis problem, a sufficient and efficient schedulability test is proposed on the basis of demand-bound functions derived in the mixed-criticality scenario. In addition, a modified simulated annealing（MSA）-based heuristic approach is established for virtual deadlines assignment. Experiments performing simulations with randomly generated tasks indicate that the proposed approach is computationally efficient and competes well against the existing approaches.     

基于PWM控制的开关磁阻电机中低速无位置传感器控制方法

无位置传感器的中低速运行控制是开关磁阻电机研究的难点问题。为实现中低速阶段对转子位置的连续估计,提出一种基于PWM控制的无位置传感器方法。该方法将开通关断角所对应的参考信号与高频三角载波进行交截,并将得到的PWM信号作为不对称半桥功率变换器的开关管驱动信号。通过对PWM信号进行频谱分析可知,该PWM注入方式等效于注入载波频率的高频正弦信号。然后,对电流信号进行滤波及坐标变换处理,解算出连续的转子位置信息。针对电感曲线正弦度不高的问题,通过移相相减的方法消除二次谐波,简化了位置估计过程。该方法无需额外注入高频正弦信号,易于工程实现,并具备高频信号注入法的精度。最后针对一台12/8结构样机,进行了相应的仿真和实验,验证了该方法的可行性。     

一类非理想切换系统的H∞控制器设计

针对实际物理过程中普遍存在的动力学切换现象,提出一类具有平滑切换过程的非理想切换系统模型,并研究其鲁棒H_∞切换控制器设计方法.基于平均驻留时间方法与积分不等式理论,得到保证非理想切换系统渐近稳定且满足给定L₂增益的充分条件.在此基础上,以线性矩阵不等式形式给出H_∞切换控制器的设计准则.所提非理想切换系统较之理想切换系统更具一般性,故所得控制方法同样适用于理想切换系统.变体飞行器跟踪控制的应用实例表明,基于设计方法得到的控制器在保证系统稳定性与跟踪性能的同时,对系统参数摄动具有较强的鲁棒性.     

一类非线性网络化系统的基于观测器的控制

在传感器和控制器之间存在数据包丢失的情况下,被控对象的状态不完全能直接测得时,研究了一类被控对象为带有非线性摄动的网络化控制系统.把网络看成开关,网络正常通信时对应的子系统和网络丢包时对应的子系统之间相互切换形成一个切换系统,进而将这类系统建模为一类切换系统模型.基于驻留时间的思想,通过Lyapunov稳定性理论,建立了基于观测器的状态反馈控制器的网络化系统指数稳定性的充分条件,利用线性矩阵不等式(LMI,Linear Matrix Inequality)的可行解给出了观测器和控制器的参数化方法.数值例子验证了所得结果的有效性.     

微粒群优化相关向量机的开关磁阻电机转子位置自检测

将电机在有位置传感器运行条件下采样获得的磁链、电流和转角作为样本数据,基于相关向量机回归理论,通过对样本数据的训练与学习,构建开关磁阻电机转子位置的非线性相关向量机预测模型。为提高预测模型的拟合精度和泛化能力,训练过程中采用微粒群算法优化相关向量机的核函数参数。以1台三相12/8极样机为例,开展仿真研究,结果表明:该预测模型能够正确地检测出开关磁阻电机的转子位置,并且检测精度较高。     

双定子磁悬浮开关磁阻电机直接转矩与直接悬浮力控制

研究一种双定子磁悬浮开关磁阻电机。该电机采用内-外双定子结构,内定子和外定子上分别设置悬浮力绕组和转矩绕组。在结合拓扑结构说明其运行原理的基础上,针对该电机同时存在转矩脉动和悬浮力脉动过大的问题,提出了直接转矩(DT)与直接悬浮力控制(DSFC)策略。比较了传统方波控制策略与所提控制策略下系统的转矩脉动、悬浮力脉动以及转子径向位移波动。仿真结果表明:DT/DSFC不仅能提高系统动态响应速度,而且有效抑制了转矩和悬浮力脉动,削弱了转子径向抖振,验证了所提控制策略的有效性与优越性。     

基于预处理BP神经网络的开关磁阻电机建模

针对开关磁阻电机(SRM)强耦合、强非线性、难以精确解析建模的问题,提出一种基于数据预处理的反向传播(BP)神经网络建模方法。首先通过传统直流脉冲法测量一个电周期内SRM静态电磁特性,获取建模样本数据;其次充分利用电机先验知识,通过可以初步反映SRM非线性特性的磁链和转矩解析表达式对实测样本数据进行预处理并作为BP神经网络新的输入,降低神经网络拟合误差。与传统BP神经网络建模的对比结果显示,引入预处理方法可以有效减少BP神经网络节点数量,增强神经网络泛化能力,提高神经网络建模精度。     

切换线性奇异系统能达的必要条件

在各子系统正则的条件下研究了切换线性奇异系统的能达性问题。对给定的切换序列定义了容许控制集合,以保证在该容许控制集合中的任意控制律的作用下,相应切换系统的状态都是连续的。基于切换线性奇异系统状态方程解的结构特点,定义了一系列子空间。利用所定义的子空间是循环不变子空间的特点,得到了切换线性奇异系统能达的必要条件。所给的必要条件涵盖了常规切换系统和非切换奇异系统的能达性必要条件。     

稳定悬浮状态下无轴承开关磁阻电机电感特性

针对二维有限元和磁链法计算无轴承开关磁阻电机(Bearingless switched reluctance motor,BSRM)电感特性的局限性,建立了BSRM稳定悬浮时的三维有限元模型,采用双标量磁位法计算得到其磁场分布,应用一种仅需计算非线性系统能量增量即可计算电感的增强型能量增量法,计算其绕组电感.以-7.5 kW,12/8结构的BSRM为例,简单比较了双标量磁位法与二维有限元法、矢量磁位法和棱边有限元法分别求解BSRM磁场时的计算规模和平均计算时间,说明了双标量磁位法在大规模计算场合的优越性;研究了电感与转子径向位移的关系;计算获得了样机处于稳定悬浮状态下的主、悬浮绕组电感;研究了端部效应对电机磁场分布和绕组电感的影响.通过实验验证了电感计算的准确性,为优化设计和精确控制该类电机奠定了基础.     

面向空间应用的大容量实时网络总线架构

针对未来空间综合电子系统总线网络发展需求,本文在介绍现有星载电子系统体系架构优缺点的基础上,提出了一种面向空间环境应用的高速高可靠实时网络总线架构。对网络协议架构、网络拓扑、工作原理及网络关键设备进行了详细介绍,该技术10 Gb/s的传输带宽、亚微秒时钟同步精度、多通道冗余传输机制能够满足未来空间环境应用需求,为未来空间电子系统网络架构研究提供借鉴。