不确定离散时滞中立神经网络鲁棒稳定性分析

针对一类具有离散时滞和参数范数有界的不确定性中立神经网络的全局渐近鲁棒稳定性问题,通过应用范数和矩阵不等式分析方法,构造合适的Lyapunov-Krasovskii泛函,得到了新的与时滞无关的稳定性充分条件。该条件能够保证离散时滞中立神经网络在平衡点全局渐近鲁棒稳定。与现有文献中大多数LMI形式的稳定性准则不同,该稳定性判定准则中未知参数少且计算复杂度低,易于计算验证。最后,一个仿真算例验证了结论的有效性。     

不确定时滞离散非线性系统的鲁棒耗散滤波

研究了一类带参数不确定性和非线性动态的离散时滞系统的鲁棒耗散滤波问题.所给系统中的不确定项是时变未知且范数有界.基于Lyapunov稳定性方法,先对参数已知而带有非线性动态的时滞离散系统,给出渐近稳定判据,然后讨论鲁棒耗散滤波器的存在条件及设计方法.在此基础上进一步考虑参数不确定性情形,将鲁棒耗散滤波器问题转化为参数确定的情况.从而将鲁棒耗散滤波器的设计问题转换为线性矩阵不等式的求解问题.最后给出仿真例子验证所得结果的有效性.     

具有时变时滞的递归神经网络的渐近稳定性分析

当神经网络应用于最优化计算时,理想的情形是只有一个全局渐近稳定的平衡点,并且以指数速度趋近于平衡点,从而减少神经网络所需计算时间.研究了带时变时滞的递归神经网络的全局渐近稳定性.首先将要研究的模型转化为描述系统模型,然后利用Lyapunov-Krasovskii稳定性定理、线性矩阵不等式(LMI)技术、S过程和代数不等式方法,得到了确保时变时滞递归神经网络渐近稳定性的新的充分条件,并将它应用于常时滞神经网络和时滞细胞神经网络模型,分别得到了相应的全局渐近稳定性条件.理论分析和数值模拟显示,所得结果为时滞递归神经网络提供了新的稳定性判定准则.     

基于划分时滞区间的一类Cohen-Grossberg神经网络的鲁棒稳定性

研究一类具有时变时滞及参数不确性的Cohen-Grossberg神经网络的鲁棒稳定性问题.应用划分时滞区间的思想构造了一个新的Lyapunov泛函,并以线性矩阵不等式的形式给出了平衡点全局鲁棒稳定性判据,新判据放松了时变时滞变化率必须小于1的限制.仿真结果进一步证明了所得结论的有效性.     

不确定时滞动态反馈神经网络的鲁棒分析与设计

研究了一类具有时变时滞和结构不确定性的Hopfield神经网络鲁棒稳定性问题,应用线性矩阵不等式(LMI)方法得到了不确定时变时滞神经网络全局鲁棒稳定的充分条件,特别是在给定网络平衡点允许偏移的情况下,通过验证定理中给出的LMI,可以非常方便地进行神经网络的鲁棒设计.数值仿真表明了方法的有效性.     

一类具有Markov跳跃参数的不确定混合线性时滞系统鲁棒稳定性研究

讨论了一类具有Markov跳跃参数的不确定混合线性时滞系统的鲁棒稳定性问题．分别给出了非匹配条件下不确定部分范数上界已知时使混合线性系统以概率1渐近稳定的充分条件,和匹配条件下不确定部分范数上界未知时同样可以实现混合系统以概率1渐近稳定的鲁棒自适应控制设计方案．文章研究结果表明,此控制方案对混合线性时滞系统的不确定部分是有效的．     

带加性时变时滞的不确定神经网络鲁棒散耗性研究

针对加性时变时滞不确定神经网络的时滞相关鲁棒耗散性问题,提出了一种更一般化的激活函数。与以往研究不同,充分考虑了关于神经元激活函数和加性时变时滞的充分信息,通过使用一些新的积分项构造合适的Lyapunov-Krasovskii泛函（LKF）,并利用新生成的单积分不等式来计算其导数,包括延森不等式和维特林积分不等式的特殊情形。利用线性矩阵不等式（LMI）技术建立了一个新的时滞相关的不守恒全局渐近稳定性和耗散准则。最终通过计算和数值仿真验证了所提理论的有效性。     

一类区间时变时滞系统的稳定性分析

针对一类区间时变时滞系统的稳定性问题,进行了全局渐近稳定性分析.通过引入时滞分段方法和构建恰当的Lyapunov-Krasovskii泛函,得到了新的区间时滞相关稳定性判定准则.该准则以线性矩阵不等式形式给出,便于利用LMI工具箱对系统的稳定性进行判定.新准则具有较少的保守性,并且在一定范围内保守性随着时滞分段增多而减少,即时滞分段越多,保守性越少.数值仿真算结果例表明了新准则所具有的有效性和较少的保守性.     

基于划分时滞区间的一类Cohen-Grossberg神经网络的鲁棒稳定性

研究一类具有时变时滞及参数不确性的Cohen-Grossberg神经网络的鲁棒稳定性问题.应用划分时滞区间的思想构造了一个新的Lyapunov泛函,并以线性矩阵不等式的形式给出了平衡点全局鲁棒稳定性判据,新判据放松了时变时滞变化率必须小于1的限制.仿真结果进一步证明了所得结论的有效性.

     

参数摄动混杂离散系统的鲁棒稳定性

采用线性矩阵不等式(LMI)方法研究离散事件状态转移条件为状态依赖的参数摄动线性混杂离散系统的鲁棒稳定性问题, 提出此类系统全局鲁棒渐近稳定性判定定理, 基于分段Lyapunov函数给出了一般混杂离散系统在Lyapunov意义下局部稳定的判定定理, 该定理可将线性混杂离散系统的稳定性问题转化为LMI问题, 在此基础上提出了参数摄动线性混杂离散系统在Lyapunov意义下局部鲁棒稳定的充分条件.     

机车空调逆变电源设计

本文讨论的是机车空调逆变电源系统的设计与研究。该电源系统主要是由DC/DC的BOOST升压部分和DC/AC三相逆变部分两部分组成。DC/DC部分所得直流电压通过DC/AC部分逆变成三相交流电,供给空调机组工作。同时,为使电源系统能更可靠的运行,也设计了相应的故障检测、保护等辅助电路。     

联合收割机脱粒滚筒恒速智能控制器设计

研究了轴流式联合收割机的控制问题,给出了联合收割机脱粒滚筒的数学模型,介绍了基于模式识别的智能控制原理,建立了联合收割机脱粒滚筒恒速控制模型,设计了基于模式识别的智能恒速控制器.应用Matlab/Simulink进行了控制器仿真,其结果表明,将基于模式识别的智能控制应用于联合收割机脱粒滚筒的恒速控制,其过渡过程平稳、响应速度快、无超调、无振荡并且无稳态误差.     

计算机辅助课表编排技术的研究

讨论了几种实用的计算机辅助课表编排技术及在实际编排中的应用。应用分析表明，采用分批与或图搜索和分批优化的匈牙利算法相结合的方法，在计算机辅助课表编排中是行之有效的。     

桥面损坏状态评估专家系统探讨

介绍关于桥梁结构损坏状态评估专家系统，在讨论状态评估方法的基础上，重点介绍损坏状态评估因素关系树的建立及各因素状态的模糊表达式等，最后以桥面诊断过程为例介绍系统的构成及诊断流程图，知识表达方式，系统推理过程及工作流程。     

Complexity of approximation of 3-edge-coloring of graphs

The problem to find a 4-edge-coloring of a 3-regular graph is solvable in polynomial time but an analogous problem for 3-edge-coloring is NP-hard. To make the gap more precise, we study complexity of approximation algorithms for invariants measuring how far is a 3-regular graph from having a 3-edge-coloring. We show that it is an NP-hard problem to approximate such invariants with an error O(n1−ε), where n denotes the order of the graph and 0<ε<1 is a constant.     

Topological formulation of termination properties of iterates of functions

We consider a number of decision problems, that appear in the dynamical systems and database literature, concerning the termination of iterates of real functions. These decision problems take a function as input and ask, for example, whether this function is mortal, nilpotent, terminating, or reaches a fixed point on a given point in . We associate topologies to functions and study some basic properties of these topologies. The contribution of this paper is a translation of the above mentioned decision problems into decision problems concerning well-known properties of topologies, e.g., connectivity. We also show that connectivity of topologies on is undecidable for n>1.     

实现三维喷绘的软件系统设计

对三维喷绘软件系统的设计,通过USB 2.0实现与喷绘主板的高速图像数据通信。基于ARM与MCX314的运动控制器实现实时三轴运动控制以及精确的喷头时序控制,论述USB驱动程序和ARM固件的开发。结果表明,该系统具有设计简洁、成本低、可扩展性强和实用性高等特点。     

矿用传感器的伪数据滤除方法

介绍了矿用传感器的组成和工作原理,分析了矿用传感器伪数据的表现形式和产生的原因,并从抗干扰设计、低功耗设计和信号输出方式等方面提出了矿用传感器伪数据滤除的基本方法。实际应用表明,该方法减少了矿用传感器产生伪数据的几率,提高了矿用传感器的稳定性和安全监控系统的可靠性。     

辐照仪控制系统的设计

通过使用可编程控制器中的专用脉冲输出指令和高速计数器,实现了对辐照仪步进电机的精确控制。介绍了辐照仪的工作过程和控制系统的组成,给出了控制软件的流程及控制步进电机转动误差的措施,并利用触摸屏实现了人机界面控制。实际应用表明,该系统性能可靠、控制精确、实用性强。     

《数据库系统概论》教学方法探索

针对<敷据库系统概论>课程的教学性质,结合其理论和实践教学并重的教学特点,对该门课程的本科生教学进行了探索.分析该门课程的体系结构和教学中存在的问题,给出了相应的解决办法,对该门课程的教学方法进行了研究、探索和总结.