首页期刊导航|控制理论与应用
期刊信息/Journal information
控制理论与应用
华南理工大学 中国科学院数学与系统科学研究院
控制理论与应用

华南理工大学 中国科学院数学与系统科学研究院

胡跃明

月刊

1000-8152

aukzllyy@scut.edu.cn

020-87111464

510640

广州市五山华南理工大学内

控制理论与应用/Journal Control Theory & ApplicationsCSCD北大核心CSTPCDEI
查看更多>>本刊是经教育部批准,由华南理工大学和中国科学院系统科学研究所联合主办的全国性一级学术刊物。1984年创刊,1999年开始改为A4开本。国内外公开发行。《控制理论与应用》主要报道系统控制科学中具有新观念、新思想的理论研究成果及其在各个领域中,特别是高科技领域中的应用研究成果,内容包括:1.集中参数控制系统;2.线性与非线性控制系统;3.分布参数控制系统;4.随机控制系统;5.离散事件系统;6.大系统理论;7.混合系统;8.系统辨识与建模;9.自适应控制;10.鲁棒控制;11.智能控制;12.优化与控制算法;13.先进控制理论在实际系统中的应用;14.系统控制科学中的其它重要问题。
正式出版
收录年代

    空间机器人预设性能约束下的鲁棒跟踪控制

    龚凯贾英民
    1246-1254页
    查看更多>>摘要:本文针对不确定空间机器人预设性能约束下的鲁棒跟踪控制问题,结合一种具有指定时间收敛性质的预设性能函数,利用双向无约束映射将空间机器人的跟踪问题转化为映射误差的有界性控制问题。进一步,基于降阶方法设计了参考加速度,通过神经网络补偿系统的不确定性,实现了对时变期望轨迹的鲁棒跟踪,保证了映射误差始终有界且跟踪误差满足指定时间收敛的预设性能指标,数值仿真结果验证了所提方法的有效性。

    空间应用不确定系统预设性能鲁棒跟踪

    面向高密度柔性集成电路封装基板的精密视觉检测算法

    胡跃明黄丹于永兴罗家祥...
    1255-1263页
    查看更多>>摘要:高密度柔性集成电路(IC)封装基板是电子组件的核心载体,其制造过程中的刻蚀、显影等工艺需要严格的品质控制。本文开发了一种融合金相显微镜与工业相机的成像视觉检测系统,用于柔性IC封装基板的图像采集与品质控制。针对显微成像视野小、易离焦等问题,提出了一种基于中值的三元模式局部纹理快速自动对焦算法。此外,针对高倍镜下柔性IC封装氧化缺陷分布不均匀问题,引入微分几何工具,利用曲率等几何特征提出了一种基于动态曲线演化的高精度表面氧化分布特征检测模型。通过定性与定量的实验研究,验证了两种算法在快速性和高精度方面的优越性能。

    柔性IC封装基板品质控制外观视觉检测自动对焦检测算法微分几何

    基于干扰特性指标与推力分配的载人潜水器容错控制

    方星阮中一张琪杰刘飞...
    1264-1273页
    查看更多>>摘要:载人潜水器在深海复杂恶劣的环境中运行,容易受到外部环境干扰和推进器故障的困扰,本文将干扰特性指标与基于推力分配的主动容错控制方法相结合,提出了一种新的主动容错控制方法。首先,建立了载人潜水器系统的数学模型;其次,设计非线性干扰观测器估计系统所受的集总干扰,并设计无推进器故障时的控制器;然后,针对推进器故障问题,引入权重矩阵进行推力分配以保护故障推进器,并设计了干扰特性指标表示干扰的性质对跟踪误差和推力损失的影响;在此基础上,给出了一种基于干扰特性指标与推力分配的新型容错控制方法,李雅普诺夫方法保证了该控制算法的理论稳定性;最后,通过数值仿真,验证所设计的控制方法的优越性。其优越性主要体现在:能够利用可用干扰与补偿有害干扰,并将可用的干扰能量用于补偿故障推进器的推力缺失。

    载人潜水器非线性干扰观测器干扰特性指标推力分配容错控制

    基于MK的实数公理系统相容性和范畴性的Coq形式化

    郭达凯冷姝锟窦国威陈思...
    1274-1285页
    查看更多>>摘要:数学定理机器证明是人工智能基础理论的深刻体现。实数理论是数学分析的基础,实数公理系统是建立实数理论的重要方法。Morse-Kelley公理化集合论(MK)作为现代数学的基础,也为实数构建提供了严谨的数学框架和工具。本文使用定理证明器Coq,基于MK对实数公理系统进行了深入探索。在优化了MK形式化代码的基础上,形式化构建了完整的实数公理系统,并通过形式化Landau《分析基础》中的实数模型,证明其相对于MK相容,此外,还形式化证明了实数公理系统所有模型在同构意义下是唯一的,验证了实数公理系统的范畴性。本文全部定理无例外地给出Coq的机器证明代码,所有形式化过程己被Coq验证,并在计算机上运行通过,充分体现了基于Coq的数学定理机器证明具有可读性、交互性和智能性的特点,其证明过程规范、严谨、可靠。该系统可方便地应用于拓扑学和代数学理论的形式化构建。谨以此文庆祝我国著名控制系统专家秦化淑研究员九十华诞!

    Morse-Kelley公理化集合论实数公理系统相容性范畴性Coq形式化机器证明人工智能

    利用麦克风阵列的管道主动噪声控制方法

    刘全利刘宏博钱加浩张立勇...
    1286-1295页
    查看更多>>摘要:空调通风管道在运行时,内部出现的低频噪声很难通过包裹消音材料等被动式降噪方法消除。而在部署主动噪声控制时,会出现声反馈现象,影响降噪性能甚至造成控制系统的响应发散。针对这种声反馈现象,本文在分析其产生原因的基础上,将麦克风阵列作为前馈,对Duvall-Frost结构的线性约束最小方差波束成形算法加入预调向,提出了利用麦克风阵列的管道主动噪声控制方法,实现单方向拾取来自管道上游的噪声信号,避免声反馈带来的影响。并利用滤波器x最小均方误差(FxLMS)算法作为自适应控制算法,针对4种典型低频噪声,在真实管道环境下进行主动降噪实验。实验结果表明,相比不使用麦克风阵列的情况,本文提出的主动噪声控制方法能达到明显的降噪性能,且在稳定性方面取得较好结果。

    主动噪声控制声反馈管道系统FxLMS麦克风阵列

    时滞Lur'e网络的事件触发脉冲自适应同步控制

    王志华汤泽王艳丰建文...
    1296-1303页
    查看更多>>摘要:本文研究了一类带有混合时变时滞Lur'e网络的全局同步及其脉冲自适应控制问题。首先,为实现网络的全局指数同步并有效避免控制器连续控制,设计了一类基于事件触发的脉冲反馈控制器。同时,为获得最优控制强度,针对反馈控制输入设计了一种自适应更新定律并实现脉冲控制与反馈控制的动态平衡。其次,基于推广的比较原理以及参数变分策略,提出了该控制策略下的Lur'e网络实现全局指数同步的充分判定条件,并精确给出了指数同步的收敛速度。最后,通过相应的仿真算例来验证本文提出的控制方案和理论分析的正确性和有效性。

    Lur'e网络事件触发全局同步脉冲控制自适应控制

    具有执行器饱和的正线性系统的事件触发控制

    杨庚佼郝飞张霖
    1304-1312页
    查看更多>>摘要:尽管事件触发控制策略在提升通信效率方面效果显著,但在实际运用过程中,可能会因为触发次数的减少而导致系统稳定性下降。针对这一问题,本文提出了一种新的事件触发控制策略,实现了执行器饱和正线性系统在通信效率和系统稳定性之间的平衡。首先,引入权重因子构建了一种线性加权事件触发机制,并基于该机制和凸包技术设计了事件触发状态反馈饱和控制器;其次,利用线性余正Lyapunov函数方法,在事件触发机制下分别建立了一般吸引域估计和最大吸引域估计下闭环系统正性和稳定性的充分条件。这些条件可以退化为时间触发机制下的条件,从而实现通信效率和系统性能之间的平衡;再次,给出了事件间隔时间的严格正下界,从而避免了Zeno行为,即系统在有限时间内进行无限次触发;最后,通过一个仿真例子验证了所提出的事件触发控制策略的有效性和优越性。

    正线性系统事件触发机制执行器饱和镇定余正Lyapunov函数Zeno行为