一个推广的Simons不等式

本文将Simons不等式推广到常曲率黎曼流形中具有平行平均曲率的子流形的情形。     

试论法律渊源的定义

由于存在着部分法理学教材和部门法教材将法律渊源和法的形式两者定义混为一谈的现象,一些研究者认为不需要对法律渊源进行定义。学界存在着法律渊源与法的形式、法的形式渊源、法的形式意义上的渊源以及法的效力渊源几个概念的辨析问题。也有学者分别从法学方法论和司法角度理解法律渊源,丰富了研究法律渊源的思路,具有启发意义。法律渊源的研究不可停止,从字面意义入手,并以动静结合的方法理解法律渊源：先有法律渊源,后有法的形式和内容;法律渊源是法律的来源或者根源。法律渊源是指对法律的形成和运行有着决定性作用的,同时具备资源、进路和动因三者的因素。     

(3+1)维Jimbo-Miwa方程的对称、精确解和守恒律

通过利用相容性方法,导出了(3+1)维Jimbo-Miwa方程的对称和守恒律,同时也求出了该方程的对称约化和某些相似解.     

两类非线性发展方程的新精确解

利用扩展的(G′/G)方法,得到广义的Ostrovsky方程、Levi方程组的一些新的精确解,包括双曲函数解,三角函数解,有理函数解等.     

三维空间中Navier-Stokes方程的有限差分方法

文章从数值解入手,研究三维Navier-Stokes方程的两种差分格式的解及精确解,利用MATLAB程序做差分解和误差的图像,同时讨论其解的优缺点.     

Hilbert空间中的无冗g-框架

给出Hilbert空间中无冗g-框架的一些刻画,并讨论无冗g-框架和无冗框架的关系.最后讨论无冗g-框架的扰动性.     

一类2维具有源项的抛物型Monge-Ampère方程的精确解

应用不变集方法,求解2维具有源项的抛物型Monge-Ampère方程ut=det D2u+P(u)和普遍型2维具有源项的抛物型Monge-Ampère方程ut=A(u)(uxxuyy-uxyuxy)+B(u)uxx+C(u)uyy+D(u)uxy+E(u),并对确定系数的情况,得到了方程的精确解.     

精确反馈线性化中虚拟输出函数的求解与应用

为使精确反馈线性化方法得到更广泛的应用,给出虚拟输出函数的简便求解方法．首先将虚拟输出函数的求解转化为偏微分方程组的求解,然后针对这类偏微分方程组的特点提出仿照求解齐次线性方程组的方法可以简便的求出虚拟输出函数．利用该方法为非线性舵鳍联合系统实现了状态反馈线性化,并基于闭环增益成形算法设计了非线性鲁棒控制器,仿真表明该控制器对原非线性系统能起到良好的控制作用．该方法简单、实用,对于状态反馈线性化的实现具有一定的指导意义．     

一个不等式约束问题的SQP方法及其收敛性

提出一个关于不等式约束问题的SQP算法,其效益函数为非可微精确罚函数,罚因子具有自动调节性.通过求解一辅助线性方程组,获得二阶修正步,并利用弧式搜索,建立了问题的一个可行下降算法.在一定的假设条件下,证明了算法是全局收敛的,并且具有超线性收敛速度.     

关于科技名词规范若干问题的思考

着重讨论辞书中科技条目编写在术语规范方面具有共性的问题。从异形词、异名和读音三个方面入手,通过列举实例,对目前规范存在不同意见的词目在理论上加以探讨分析,在操作上提出具体意见。