区间矩阵多项式的Hurwitz与Schur鲁棒稳定性

由于N阶区间矩阵多项式的参数空间的维数最大可达2NK^2维，采用有限检验算法确定其Hurwitz与Schur性是很困难的。为了解决这一问题，本文提出的检验定理将李雅普诺夫函数与区间矩阵多项式的上下界联系起来，使区间矩阵多项式的Hurwitz与Schur稳定检验过程得以简化，为区间的向量微分方程系统与区间离散时滞系统的鲁棒稳定性判定提供了一种方法。     

二维离散系统稳定性的复系数列表检验法

提出了新的二维离散系统的稳定性检验定理，与现有的二维离散系统的代数检验法不同，本方法是直接对复变量系数列表，然后利用提出的检验定理进行稳定性检验，不需要在整个ｘ∈［－１，１］的实数域进行逐点检验，并且无有理多项式出现，因而检验过程大为简化，计算量大为减少，只须进行有限次运算，即可确定二维离散系统的稳定性。     

二维多项式Hurwitz稳定性的有限检验

基于复李雅普诺夫方程和矩阵的无穷范数,提出了二维Hurwitz多项式新的充分条件,在此条件下,导出二维多项式Hurwitz稳定性的频域检验的有限算法,这一算法可以避免现有二维频域稳定性检验和代数稳定性检验算法中所存在的问题,文中给出例子,用来说明此算法的应用。     

矩阵多项式的Schur稳定性的频域判据

提出矩阵多项式Ｓｃｈｕｒ稳定的频域判据,可避免矩阵多项式的行列式展开,使多输入多输出离散时滞系统稳定性检验得以简化。     

动态递归数字滤波器的鲁棒稳定性检验

提出了动态递归数字滤波器的鲁棒稳定性检验定理，将动态递归数字滤波器划分为两类，单调系统簇与非单调系统簇。单调系统簇的稳定性检验与Ｋｈａｒｉｔｏｎｏｖ定理的检验类似，只需检验集合中的四个端点复多项式，而非单调系统需检验所有可能的端点复多项式的组合。给出了定理的证明与应用举例。     

机械轴类零件CAD系统研究与实践

CAD系统是机械设计与加工自动化发展方向的重要课题．本文介绍一种新型机械轴类零件CAD系统的实现技术．该系统使用了“特征图形单元”的建模方法，用VB开发出面向CAD集成的特征造型系统，通过输入参数自动完成二维及三维图形的设计．该系统的研究方法及实现过程对于其它类型零件的CAD研究以及CAD／CAPP集成也有一定的参考价值．     

һ���ʱ�ʹ�ϵͳ��ָ�������ʹ���

基于一类变时滞大系统全局指数稳定性的研究结果，提出了一种大系统指数收敛率的估计方法．利用此方法对该系统的指数收敛率进行了估计，得到了系统指数收敛率的估计式．该方法以大系统的系数矩阵以及与大系统关联的李雅普诺夫矩阵方程的解构造判定矩阵。利用M一矩阵理论，来确定系统的指数收敛率，计算简便，且与时间滞后量无关，便于在实践中应用．     

线性中立型时滞系统的稳定性判据

用基于频域的特征方程方法研究线性中立型时滞系统的渐近稳定性．利用与系统的状态、时滞及微分项有关的系数矩阵的结构特征，推导了与时滞无关的代数稳定性判据．与已有结果比较，新判据减弱了对系数矩阵的限制，扩大了稳定参数域．用新判据确定了算例的渐近稳定性，而对此算例原有判据已不适用。     

随机时滞Recurrent神经网络的指数稳定性

研究了随机时滞Recurrent神经网络的稳定性，利用Lyapunov函数和Itδ公式，结合矩阵分析技巧，给出了系统均方指数稳定的充分条件，并由此推得随机时滞Hopfield神经网络和随机时滞细胞神经网络的稳定性条件．     

T-S模糊控制综述与展望

T-S模糊控制可以处理复杂非线性系统,并已成功地应用于许多工业领域.分别从模型建立、稳定性分析、控制器设计等方面,概述了一型T-S模糊控制和区间二型T-S模糊控制的研究现状,对一型T-S模糊系统、一型T-S模糊多项式系统及区间二型T-S模糊系统分析和设计中的保守性问题进行了全面的分析.探讨了松弛变量法、参数依赖李雅普诺夫法、隶属函数形状依赖法的原理,及其在降低模糊反馈控制器保守性方面的应用.对一型T-S模糊系统的建模、区间二型T-S模糊系统的参数依赖李雅普诺夫设计法等进行了展望.一型T-S模糊多项式系统的输出反馈控制、区间二型T-S模糊时滞系统、区间二型T-S模糊系统的鲁棒控制和模型化简,以及利用硬件实现相关算法,并将提出的方法应用到工程实际,是T-S模糊控制未来的研究方向.      

LPV时滞系统的准Min-Max鲁棒模型预测控制

对于输人有约束的LPV时滞系统，提出了准Min—Max鲁棒模型预测控制．将无限时域“最坏情况”的目标函数分解为当前性能指标和终端代价项，给出了新的鲁棒性能指标上界和系统稳定的充分条件，通过求解LMI的凸优化获得状态反馈控制律，而LMI的可行性保证了闭环系统的稳定性．最后通过truck—trailer系统仿真验证了所提方法的有效性．     

基于Matcom与VC混合编程的数字图像处理方法研究

阐述了利用Matcom实现VC与MATLAB混合编程的接口技术,并以二维FFT为例说明了利用VC调用Matrix〈LIB〉C＋＋函数的方法,以二维DCT为例说明了利用VC调用MATLAB工具箱（ToolBox）函数的方法来开发数字图像处理系统应用软件。该方法在数字图像处理系统的开发过程中大大提高了编程效率。     

基于LMI方法的线性不确定时滞系统鲁棒镇定

考虑同时具有状态时滞和输入时滞的参数不确定线性时滞系统的鲁棒镇定问题,其参数不确定性满足范数有界条件,而状态时滞和输入时滞均为时变有界形式.鲁棒镇定控制器采用无记忆状态反馈形式,用线性矩阵不等式(LMI)方法,给出了在该控制器作用下闭环系统鲁棒指数稳定的LMI形式的充分条件.所给出的判据不要求时滞导数小于1,降低了以往文献中稳定性条件的保守性,既适合于快时变时滞系统,也适合于慢时变时滞系统.最后,通过数值算例验证了所给鲁棒稳定性条件的有效性.     

用混合建模方法开发虚拟校园导引系统

提出使用Creator结合OpenGVS的混合方法开发直观易用的空间信息查询导引系统.该系统具有基本的自主漫游功能,还可自动生成到达目的地的最短路径和简化的二维鸟瞰定位图.漫游过程使用混合包围盒碰撞检测方法,最短路径生成使用Dijkstra算法,解决了漫游路线查询和迷失定位问题.     

动态时滞系统的最优控制

针对同时存在状态时滞和控制输入时滞的状态空间模型的线性系统和一个积分二次型成本函数,研究了其最优控制问题.采用Lyapunov稳定性定理,导出了闭环系统二次稳定和保证成本函数极小值的LQ(linearquadratic)控制器存在的一个充分条件.为该类系统的LQ控制器设计提供了一种理论方法.     

二维DCT／IDCT在红外图像预处理中的应用

红外成像在军事、工业及日常生活中都有广泛的应用，而二维离散余弦变换（DCT）是数字信号图像处理中被运用得最广泛的算法。提出了一种以FPGA为硬件载体的二维离散余弦变换对红外图像预处理的硬件设计方法。该设计方法重点在于根据FPGA灵活的特性及红外图像的特点，选择一种比较适合的混合DCT变换方法，通过降低周期内乘法器的使用量提高速率，实现以速率至上的变换系统，并且通过控制信号完成DCT或者IDCT的选择，以满足不同需求的变换。     

概率模型检验的CBTC系统通信协议的形式化验证

通信协议是CBTC系统重要的组成部分,它的正确性、稳定性和安全性对整个CBTC系统有重要影响．鉴于通信协议中某些参数具有随机特征,本文采用概率模型检验对其进行形式化验证．分析了概率模型检验的语义及语法,建立了通信协议的概率模型,用概率模型检验工具PRISM验证了典型的概率规范．结果证明,当信道正常概率为99％,系统无延时概率为99％时,通信协议失效率小于1．5×10^-10．说明了用概率模型检验验证具有随机特征参数的通信协议,方法简单快捷,结论清晰明了．     

时滞Cohen-Grossberg神经网络的全局稳定性

为将神经网络应用于最优化问题的求解,对具有无穷时滞的Cohen-Grossberg神经网络平衡点的存在性、唯一性和全局渐近稳定性进行了探讨．在不假设激活函数有界性、单调性和可微性的情况下,得到了系统平衡点的存在性条件．利用向量Liapunov函数法,构造适当的含有无穷时滞的微分一积分不等式,并分析了微分-积分不等式的稳定性,得到了Cohen—Grossberg神经网络系统全局渐近稳定性的判据．通过判断由神经网络的权系数、自反馈函数以及激励函数构造的矩阵是否为M-矩阵,即可得到Cohen—Grossberg神经网络系统的全局渐近稳定性．最后给出了一个算例,以说明该判据的正确性．     

平面杂交动态有限元法

本文从Ｈｅｌｌｉｎｇｅｒ－Ｒｅｉｓｓｎｅｒ泛函出发，以应力和位移作为独立的场变量，给出了平面杂交／混合动态有限元法的一般列式。克服了用杂交应力法求解结构动力问题时的泛函不一致性。同时，简化了Ｋ．Ｋ．Ｇｕｐｔａ提出的一维、二维动态有限元法（ＤＥＭ）的列式，便于计算机统一实施。根据本文方法，计算了平面悬壁方板的自由振动频率。结果表明，本文方法合理、有效。     

时滞多维轨道不平顺激励的一致白噪声模型

为获得各轮轴处轨道不平顺，用于列车．桥梁振动控制和随机振动分析，研究了轨道不平顺的模拟方法．采用白噪声滤波法生成单轮轴的轨道不平顺；为实现不平顺波长选择，提出了成型滤波器参数的宽频带识别法．为考虑各轮轴间的时延，利用相邻轮轴间的短时滞，构造了基于高阶Pade近似的累次时滞系统．将成型滤波器与时滞系统相结合，得到了以白噪声为输入、列车各轮轴处轨道不平顺为输出的状态方程．算例表明，模拟样本与轨道不平顺目标谱密度相符，且满足各轮轴处轨道不平顺之间的时滞关系．