基于图灵模型的P=？ NP问题分析

P=？NP问题是计算复杂性中的核心问题。2000年,美国克雷实验室将其收录为“千禧年大奖”七个问题之首。本文基于图灵模型,对P=？NP问题的研究现状、P=NP／P≠NP 证明方法、NPC问题求解方法及研究进展进行阐述。     

用于UAV视觉导航的跑道检测与跟踪

跑道检测与跟踪是UAV视觉导航研究的重点内容.针对UAV着陆过程中跑道变化情况,提出一种新的方法,利用单目视觉信息,基于距离跑道的远近不同采用不同的策略实现跑道检测与跟踪,帮助UAV自主降落在安全区域.当距离较远时,利用地平线检测和模板匹配的方法对跑道进行定位;结合模板更新策略实现跑道跟踪;当距离较近时,在融合远距离跑道方位信息的基础上利用改进型Canny算子和Hough变换对跑道边缘进行更精确的描述.实验结果表明,利用该方法可以有效地对跑道进行检测和跟踪,并且具有较快的处理速度.     

采用UC3844的反激式开关电源反馈回路的改进与设计

介绍了一种基于PWM控制芯片UC3844的反激式开关电源的反馈回路改进设计,详细讨论了新型反馈电路的工作过程及设计方案,采用光耦PC817和电压基准TL431组成反馈网络。该电源性能优良,具有结构简单,稳压效果好,负载调整率高等优点,具有很高的生产应用价值。     

飘在彩云之南 丽江，香格里拉游记

去过几次云南,可都是出差,每次都来不及仔细品味滇南大地的神韵就匆匆的离开了。每次都是无限的遗憾,总是期待下一次一定要让自己的足迹深深地留下。     

基于DSP的野外探险机器人控制系统设计

本文介绍了一套基于TMS320LF2407A DSP的高性能通用控制系统平台的设计.系统引入了模块化的思想,根据需求设计功能模块,按照任务配置算法程序,设计控制系统的硬件电路和软件.该系统功能强大,结构简洁,能够应用于机器人控制等算法复杂,实时性、可靠性要求高的场合.     

多项式非线性系统局部镇定控制

针对多项式非线性系统,提出一种用于验证二次型候选Lyapunov函数的数值计算方法.在该方法中,多项式系数被分解成带自由变量的系数矩阵,将正定性验证问题转化为矩阵不等式问题求解.对于局部稳定性分析,采用多个Lyapunov函数来趋近吸引域.每个Lyapunov函数均在各指定方向上进行最大半径优化.在稳定性分析基础上,提出保收敛率的局部镇定控制器设计方法以扩大吸引域.     

基于AgentX协议ForCES路由器网管代理方案的研究与实现

采用控制件CE（Control Element）与转发件FE（Forwarding Element）分离的ForCES路由器,这在路由器体系结构的设计上与传统路由器比较是一种突破性的创举,如何对其实施有效的网络管理是当前研究的热点之一。针对ForCES路由器体系结构特点,在分析SNMP代理实现难点的基础上,结合工程实践,提出并具体实现了一种新的网管代理方案。实践证明,该基于AgentX协议的方案,以可扩展方式实现了网络管理的功能,能较好地满足ForCES路由器可扩展性要求。     

一类不确定系统鲁棒容错D-稳定性分析

研究不确定系统D-稳定鲁棒容错H∞控制问题.基于连续型执行器故障模式,利用线性矩阵不等式(LMI)给出了系统D-稳定的鲁棒容错输出反馈控制器存在的充分条件,并将动态输出反馈控制器设计方法归结为求解一族线性矩阵不等式组.仿真示例表明,无论执行器是否发生故障,所得到的动态输出反馈控制器不仅保证闭环系统是D-稳定的,而且满足给定的H∞干扰指标,从而验证了所提出的控制器设计方法的有效性.     

不确定系统鲁棒容错H_∞控制的LMI设计方法

针对不确定线性系统.研究了执行器失效情况下鲁棒容错H∞控制问题.基于连续增益故障模式.利用线性矩阵不等式LMI推导了系统H∞指标约束下鲁棒容错镇定的充要条件.分别给出了输出反馈和状态反馈H∞控制器的设计方法.通过引入变量代换.将求解输出反馈H∞指标约束的鲁棒容错控制器的可解条件转化为标准的LMI.所获得的控制器不仅能使故障系统鲁棒稳定,并且能达到给定的H∞性能指标.仿真实例验证了所提出设计方法的有效性.     

一类不确定系统鲁棒容错D-稳定性分析

研究不确定系统D-稳定鲁棒容错H_∞控制问题.基于连续型执行器故障模式,利用线性矩阵不等式(LMI),给出了系统D-稳定的鲁棒容错输出反馈控制器存在的充分条件,并将动态输出反馈控制器设计方法归结为求解一族线性矩阵不等式组.仿真示例表明,无论执行器是否发生故障,所得到的动态输出反馈控制器不仅保证闭环系统是D-稳定的,而且满足给定的H_∞干扰指标,从而验证了所提出的控制器设计方法的有效性.