具有外部干扰的耦合时滞神经网络固定时间二分同步

针对结构平衡图与结构非平衡图的网络拓扑,考虑了一类具有外部干扰的耦合时滞神经网络模型,分别设计了其固定时间同步控制协议.借助固定时间稳定性理论与不等式技巧,获得了耦合网络在固定时间内达到同步的充分性判据,给出了具体的收敛时间上界,并验证了固定时间同步网络的鲁棒性与抗干扰性.为了扩大网络模型的适用性,考虑的神经网络激活函数为非连续的函数,可借助微分包含与集值李导数理论解释非连续微分方程的动力学行为.最后,分别在结构平衡图和非平衡图下对耦合神经网络的固定时间二分同步进行了数值仿真,验证了控制算法的有效性及理论结果的正确性.     

基于轨迹规划的波浪发电系统的分段控制

针对直驱式波浪发电系统的工作效率较低问题,研究基于一种全封闭的振荡浮子波浪发电系统,采取高速发电和低速储能的分段控制运行策略,结合基于无源性理论的控制方法,研究了该系统的综合最大功率捕获控制问题.为避免分段控制过程中造成的波动和冲击现象,运用微分平滑性理论,对切换过渡过程的能量变化轨迹进行了规划.仿真结果表明,分段控制运行策略以及微分平滑性理论的应用,使振荡浮子式波浪发电系统达到了既提高发电效率又避免冲击的控制效果.     

有理数域上一类不可约多项式的简单推广

若a1,a2,…,an是n-1个不同的整数,证明了当n≥4时,f(x)=(x-a1)(x-a2)…(x-an)-1在有理数域Q上不可约;当n≥3时,f(x)=(x-a1)2(x-a2)2…(x-an)2+1在有理数域Q上不可约.     

基于形态学的角膜地形图特征提取方法研究

提出了一种新的角膜地形图像特征提取算法。首先利用区域图像计算偏心率,用自适应确定同心圆的圆心,以此为极点将图像转至极坐标域,利用形态学的小尺度方形结构算子及图像的黑TOP-HAT变换补得到去除噪声后的滤波图像;其次利用给定方向上相距固定距离的点对腐蚀图像,按照方向强度确定出纹理直线的主要方向,利用开运算提取有效的线形特征;最后利用闭运算,对因内睫毛影响而损失的数据进行有效弥补,获得圆环边缘检测完整的结果图像。经多幅实验数据证明,该算法满足后续参数精确计算的要求,具有数据损失小,数据精度高,算法易实现的特点。     

梯度网络平稳点集合的Hopfield稳定性与吸引域

给出梯度神经网络模型的电路实现 ,证明了网络平稳点集合的全局 Hopfield稳定性。对各个平稳点吸引域的几何估计得到了相关结果 ,这为网络初始输入的数量与方向判定提供了基本的量度参数准则。     

n阶方阵的任意m次方根

给出了复数域内n阶方阵任意m次方根存在的充分条件（m≥2），从而推广了文献[1]中复数域内n阶方阵的平方根（m=2)存在的充分条件。     

数据域与微机应用系统

本文着重描述在数据转换过程中如何把数据信息按区域进行细分，以弄清数据信息的性质，进而确定一个最优数据通路，建立高效应用系统。     

分裂域和重复根式扩张

设E为系数在F上的多荐式f(x)的分裂域,若f(x)在F上根式可解,则E必含在F的一个重复根式扩张中,而E不一定是F的重复根式扩张.本文继续探讨了这一问题,当CharF()n=deg(f(x))时证明:(1)若Galiois群Gal(E/F)可解,E包含pi次本原单位根,则E是F的重复根式扩张,这里pi是deg(f(x))的全部素因子;(2)若E是F的重复根式塔,则E包含pI次本原单位根;并讨论了n=2spt11pt22...ptkk,pi为Fermat素数的情形.     

一种基于段的基音检测算法

作为语音信号处理领域一项基本、关键的技术,基音检测在语音信号处理中扮演着重要的角色,一直是语音信号处理的一个研究热点.首先对传统的基于短时自相关函数法的基音检测进行了研究;在此基础上提出了一种能同时检测一段语音信号基音周期的方法,有效地克服了传统基音检测算法只能检测一帧语音信号基音的缺点.进行了实验仿真,结果表明通过去野点,中值平滑等后处理的基于段的基音检测算法比传统的基于帧的基音检测算法具有更好的抗噪性.     

“语言变体”拓宽的视野(英文)

通过分析和阐释"语言变体"的概念,本文试图展示"语言变体"给学界带来的更宽阔视野。