简介：利用压缩映射原理，讨论了非线性中立型差分方程正解的存在性．

简介：研究具变系数中立型差分方程△(xn-cnxn-r)+pnxn-k-qnxn-l=0(*)的振动性,其中cn,pn,qn(n=0,1,2,…)是非负实数,k,l,r是整数且0≤l≤k-1,r＞0,pn-qn-k+l≥0((≠)0).通过建立一些新的引理,获得了方程(*)所有解振动的几个新的充分条件.我们的结果不需要通常的假设∑∞n=0(pn-qn-k+l)=∞,且改进了文献中的一些结果.

简介：本文讨论形如d/dt(x(t)+D(t)x(t-k)=f(t,x(t),x(t-h),u(t))的非线性中立型控制系统函数能控性，给出该类系统的函数能控性和零函数能控性的判定定理，所得结果在实际系统的设计、分析等方面是非常实用的。

简介：研究一类非线性高阶中立型差分方程的振动性,给出了该方程振动的几个充分条件,改进,扩展了文[4]的有关结果.

简介：利用迭合度理论的连续定理,讨论了一类中立型系统的正周期解的存在性.得到了正周期解存在的一些充分条件.

简介：利用迭合度理论的连续定理,讨论了一类中立型系统的正周期解的存在性.得到了正周期解存在的一些充分条件.

简介：本文首先建立下列两类差分方程△（ｘｎ－ｒｎｒｎ－ｒｘｎ＋ｒ）＾ａ＋ｑｎｆ（ｎ－σ）＝０（＊）和△（ｒｎ△ｙ）＾ｎ＋τ＾－ａｑｎｆ（ｒｎ－σｙｎ）＝０（＊＊）振动性的等价性，然后给出方程（＊）振动性的一些判则。

简介：研究半直线上带无限个脉冲点的中立型泛函微分方程非振动解的渐进性，并给出正解存在的充分条件．

简介：研究了设备可制造性评价过程，建立了设备可制造性综合评价体系，给出了设备可制造性综合评价的方法。

简介：考虑非线性中立型微分差分方程[y(t)+P(t)g(y(t-τ))]′+Q(t)h(y(t-σ）)=0的非振动解的渐近性。若无特别申明，本文总假设A函数P(t),Q(t),g(u),h(u)皆为连续函数；B，Q（t)>0；ug(u)>0,uh(u)>0(u≠0);C，g(u)=h(u)=0当且仅当u=0。

简介：本文讨论一阶具正负系数中立型时滞差分方程△（ｘ（ｎ）－ｃ（ｎ）ｘ（ｎ－ｋ））＋ｐ（ｎ）ｘ（ｎ－ｍ）－Ｑ（ｎ）ｘ（ｎ－１）－０，ｎ＝０，１，２，…我们获得了使方程所有解振动的“ｓｈａｒｐ”条件，即在系数ｐ（ｎ），Ｑ（ｎ），Ｃ（ｎ）为常数时是充分必要条件，本文的结果推广并改进了已有的结果．

简介：研究一类脉冲中立型时滞抛物方程组解的振动性，得到了该类方程组在两类不同边界条件下所有解振动的若干充分条件。

简介：本文就可测函数是连续函数的推广做了进一步的论述。证明了任意可测集合上的连续函数都是可测函数。证明过程可启发人们对可测函数的结构进行更好的研究并由此对鲁津定理的理解更深透．

简介：在时间尺度上，通过使用线性动力方程的指数二分法、不动点理论和微积分理论，研究带有泄漏项的中立型时滞细胞神经网络模型，获得了一些使其概周期解存在和全局指数稳定的充分条件，并将以前的结论在时间尺度上做了扩展．

简介：在全球移动网络(GLOMONET)中,无缝漫游对用户来说是非常可取的。但由于无线网络易被攻击及移动终端具有有限的计算能力,所以对移动用户的安全认证是具有挑战的。近来,一些基于安全认证的智能卡方案被提出。文章的主要贡献是通过对已有方案的改进,提出了一个基于智能卡的身份验证方案。方案采用离散对数函数加密,且只需要在用户、外地代理和家庭代理之间进行4次信息交换。最后证明了方案可以抵制多种攻击。相比已有方案,本方案具有简便和计算量少的优点。

简介：研究一类偶数阶中立型时滞偏泛函微分方程系统解的振动性，建立了该类系统的解振动的若干充分条件，主要结果通过一些例子加以阐明．

简介：研究了一类具无穷时滞的中立型周期微分系统周期解的存在性问题．利用指数型二分性及Krasnoselskii不动点定理，建立了保证该系统的周期解的存在性的充分条件．所得结果推广了文[1—7]的有关结果．

简介：本文致力于研究非线性中立型延迟积分微分方程隐式Euler方法的收缩性。本文中的Lipschitz数是关于变量t的函数,而不是常数,最终能得到其数值解的结果是收缩的。

简介：讨论了一类一阶非线性中立型微分方程的振动性问题,得到了其具有振动解的"sharp"条件.

简介：考查了次正规子群对有限群结构的影响，得到有限群可解的若干充分条件和超可解的一个充分条件．