Loewy矩阵与几乎Koszul代数

几乎Koszul代数作为Koszul代数的推广,在代数周期性和分次自入射代数的研究中起到了重要的作用.几乎Koszul代数的刻画是一个复杂的计算问题,而Loewy矩阵为Koszul代数的刻画带来了较为直观的计算方法.通过经典的Loewy矩阵和构造增广Loewy矩阵,利用分次代数分次模的两种不同Loewy维数向量得到了一个分次模成为d-线性模的充分必要条件,并得到了一个有限维分次代数成为几乎Koszul代数的充分必要条件,从而推广郭晋云利用Loewy矩阵刻画Koszul代数的相关结果.     

相参频率捷变雷达目标稀疏重建性能边界综述

相比频率固定的脉冲多普勒体制, 频率捷变体制在抗干扰方面具有显著优势。但在该体制下, 基于匹配滤波的信号处理算法存在旁瓣平台问题, 难以与动目标检测兼容。压缩感知理论将目标参数估计建模作为欠定方程求解, 为该问题提供了解决思路。在相参频率捷变雷达中, 压缩感知能否准确重建目标是一个基础性问题。本文梳理了针对该问题的相关研究, 借助相变理论与相变曲线的解析表达式, 定量描述了捷变频雷达重建目标的成功概率与主要系统和目标参数之间的关系; 该理论性能边界与仿真实际所能达到的性能相接近。此外, 还探讨了现有成果在实际应用中的价值, 展望了未来研究方向。     

基于改进OMP算法的稀疏目标微波关联成像方法

利用稀疏重构类方法进行雷达微波关联成像时, 传统的正交匹配追踪(orthogonal matching pursuit, OMP)算法在每一次迭代过程中均需要求解目标函数的最小二乘解, 导致成像算法计算复杂度随矩阵规模和迭代次数增加而急剧攀升。针对此问题, 结合频率捷变思想, 提出了一种改进OMP算法的稀疏目标微波关联成像方法。首先, 阐明了微波关联成像机理, 并构建了微波关联成像信号模型; 然后, 利用共轭梯度法对OMP算法中的最小二乘求解步骤进行了改进, 并分析了改进后算法的计算量; 最后, 通过与最小二乘成像方法、匹配滤波成像方法和基于传统OMP稀疏重构的成像方法进行计算机对比仿真实验, 证明了本文算法的正确性与优越性。     

d>4情形下广义布朗单的截口常返性

为研究广义布朗单在d>4且满足一般条件下的截口常返性，基于方差测度函数等高线上的点所对应的t轴纵坐标，利用数学归纳法定义指标集的s轴区间的可数个分划点，再利用纵坐标和分划点,将指标集可数分割为位于有限个等高线间的矩形块，从而把广义布朗单的截口常返性集转化为指标集为上述矩形块的截口常返性集的并集。在假设方差测度函数的等高线与指标集的s轴所围成部分的方差测度有上界的条件下，结合Borel Cantelli引理，证明P{s >0，使得过程t→W(s,t)是区域常返}=0。研究结果表明:当d>4时，广义布朗单是非截口常返的，且所需要的条件对于常见的Lebegue Stieltjes测度均满足。     

一种低温漂高电源电压抑制比带隙基准电压源设计

通过将具有高阶温度项的MOS管亚阈值区漏电流转换为电压,并与一阶温度补偿电压进行加权叠加,实现二阶温度补偿.采用高增益的运放和负反馈回路提高电源抑制能力,设计一种低温漂高电源电压抑制比带隙基准电压源.基于0.18μm CMOS工艺,完成电路设计与仿真、版图设计与后仿真.结果表明,在1.8 V的电源电压下,电路输出电压为1.22 V;在温度变化为-40～110℃时,温度系数为3.3 ppm/℃;低频电源电压抑制比为-96 dB@100 Hz;静态电流仅为33μA.     

具有奇异项的分数阶微分方程边值问题

文章研究了一类具有奇异项的Caputo型分数阶微分方程边值问题。首先利用非线性算子理论及相关性质给出了算子方程A(x,x)=x存在唯一解的条件，由此获得了该边值问题存在唯一解的若干充分条件。最后，通过应用举例，对主要结果做了进一步验证。     

可控变胞码垛机器人控制系统设计及实验

为了提高变胞式工业机器人在实际工业生产中的效率以及稳定性,基于可控变胞码垛机器人设计了一种新型的码垛路径运行方式,对其进行运动学仿真并设计了相应的控制系统.其中控制系统采用"运动控制卡+工控机"的上下位机控制模式,使用闭环步进电机及驱动器组成机器人的运动系统,使用光电开关、气动插销及电磁离合器等硬件组成变胞动作执行系统,引入电机脉冲补偿值以减少变胞前后的运动误差.提出新型码垛路径的实现方法,并搭建机器人控制系统,以6 kg负载进行实验,测试结果显示理论位移与实测位移之间的误差不超过0.6 mm.研究表明该控制系统运行安全可靠,能够满足可控变胞码垛机器人的控制要求,同时也为变胞式工业机器人的控制系统设计提供了参考.     

一类带扰动的二阶Hamilton系统周期解的存在性

利用鞍点定理得到了一类带扰动的二阶Hamilton系统周期解的存在性,推广了先前文献的结果,并给出了例子.     

基于统计分析的温度控制系统改进研究

在常用设备的温度控制系统中,温度传感器主要有两类,即数字型和模拟型。模拟型传感器因成本低、体积小而被大规模使用,但是其在使用时需要做数据、算法的处理。本文针对传统算法中线性回归的理论弊端,提出基于统计科学的控制方法,先对模型的数据分析进行改进并结合控制模型计算出95%的置信区间,然后计算出整个温区的预测区间。与传统的线性回归算法相比,基于统计分析的温度控制系统改进方法得到的温度更加准确,精度更高。     

盾构机刀盘回转系统恒功率自适应控制

为提高盾构机刀盘回转系统的工作效率和系统稳定性,采用简化刀盘回转液压系统模型,建立刀盘回转液压系统数学模型.分析了刀盘回转载荷,确定了液压系统负载扭矩计算模型.采用变论域方法建立基于变论域模糊PID的刀盘回转液压系统自适应控制算法.对刀盘扭矩施加线性变载荷和随机载荷进行控制系统的仿真实例研究.研究结果表明:在掘进系统刀盘扭矩增加时,所提出的控制系统可随时调整刀盘旋转速度以实现系统总功率的平衡,并可降低刀盘转速调整过程的超调量和调整时间.研究结论为盾构机刀盘回转液压系统的设计和改进提供了理论依据.