一类约束满足问题及其算法

针对具有解析约束形式、同一变量多赋值的约束满足问题,提出了一种新的约束满足问题定义·通过一种特殊约束满足问题的研究提出一套建立在这个定义基础之上的概念和三种算法:整数规划法、不等式组法和直接求解不定方程法,详细研究了其中的第三种算法,并给出了最坏情况下的时间复杂度,从而能够比较清晰地描述一类约束满足问题的一般分析过程,揭示了约束满足问题同经典的整数规划、数论和整数环论的联系·     

双枝模糊集并-表现定理

建立了双枝模糊集并-表现定理,讨论了双枝模糊集的运算性质.结果表明：双枝模糊集表现定理是单枝模糊集表现定理的一般形式,单枝模糊集表现定理是双枝模糊集表现定理的特例.     

一类半线性抛物型方程解的爆破性质

讨论了一类半线性抛物型方程具有第三类非线性边界条件的初边值问题 .在某些假设条件下 ,证明了该问题的解在有限时间内爆破     

具有无限长区域的非线性奇摄动问题的渐近解

利用匹配渐近展开法,研究了形如y″+kxy′+εkk-2yny′=0的具有无限长区域的非线性奇摄动问题,分别用收缩变换和伸长变换两种方法得到了该问题的一致有效的渐近解,推广了已有的结果.     

企业研发团队知识共享影响因素的实证研究

基于知识共享理论和研发团队知识共享特征和影响因素,提出企业研发团队知识共享影响因素概念模型及理论假设,并运用调查问卷和结构方程模型对研发团队知识共享影响因素进行实证研究.结果表明,知识提供者、接受者、共享手段和共享双方关系4因素对研发团队知识共享水平有显著影响,而知识共享文化对知识共享水平影响作用不显著.提出了提高企业研发团队知识共享水平的对策与建议.     

一类非线性时滞抛物型方程解的振动性

讨论了一类非线性时滞抛物型偏微分方程解关于非常数平衡态的振动性.借助一阶时滞微分不等式及特征方程解的性质,使用平均法原理,建立起了这类方程在3类不同边界条件下,关于平衡态振动的若干充分条件.通过一个例子,说明结论的有效性.     

一类高阶非线性微分方程的正周期解

应用Krasnoselskii锥映射不动点定理,研究了一类高阶非线性常微分方程Lnu=f(t,u(t))的ω-周期解的存在性,获得了正ω-周期解存在性的充分性条件.     

一类多时滞中立型方程描述的神经网络渐近稳定时滞依赖判据

通过引入适当的Lyapunov-Krasovskii泛函,给出一类由多时滞中立型方程所描述的神经网络的稳定性判据,该稳定性判据不仅与离散性时滞相关,而且依赖中立型时滞,由于稳定性判据基于线性矩阵不等式,因此其求解方法可以使用各种凸优化算法,使用Matlab工具箱中的线性矩阵不等式算法,给出数据仿真实例,验证了方法的有效性.     

Ginzburg-Landau方程的椭圆函数解与包络孤立波解

通过对Ginzburg-Landau方程系数的分析,给出其包络波解存在的一个必要条件.利用两类辅助椭圆方程,求得Ginzburg-Landau方程的多种椭圆函数解,其极限情形可以还原为经典的包络孤立波解.     

Navier-Stokes方程的局部压力梯度稳定化有限元方法分析

基于局部压力梯度稳定化方法,作者提出了Navier-Stokes方程的一种新的有限元方法,其中速度V属于H~1连续的空间,压力P属于L~2非连续的空间.利用Brouwer不动点定理,作者证明了离散解的存在性和唯一性并给出了误差估计.