关于居间广义量词“few”的广义三段论的有效性

在自然语言中,存在大量的各种各样的广义量词,其中一种被称为居间量词.利用广义量词理论给出居间量词的语义定义,再利用集合论证明广义三段论的有效性,这一研究方法也适用于研究关于其他广义量词的广义三段论的有效性;为有助于自然语言信息处理,提出并证明了居间广义量词few的12个有效的广义三段论.     

广义线性系统的解

:研究了广义线性系统初值问题可解的充要条件和解的结构     

二阶抛物型方程解的存在性

本文给出二阶线性抛物型方程广义解的定义,并利用Co-半群的理论,在不太强的条件下,证明了此广义解的存在性。     

一类三阶色散方程的非解析波解的讨论

利用分岔理论对一类三阶色散方程的非解析波解进行了研究,得出不同的非解析波解存在的条件,并得到Peakon解是广义解而非弱解的结论.     

广义kdv方程的局部解与整体解

本文研究了广义Ｋｄｖ方程（ＧＰ）的初值问题,利用基本解及压缩映象原理,证明了非齐次项ｆ（ｕ,ｕｘ）充分光滑的条件下,局部解的存在唯一性,并对特殊的ｆ（ｕ,ｕｘ）得到了整体解的存在唯一性。     

一类椭圆型方程整解的Liouville定理

考虑下面的椭圆型方程，在适当的条件下，证明方程的广义整解的Ｌｉｏｕｖｉｌｌｅ定理成立．     

二阶线性椭圆型方程组广义解最大模的估计

给出了对角型二阶线性椭圆型方程组广义解唯一性定理成立的充分条件,由此得到了广义解最大模的估计.     

一类双非线性抛物组解的有界性

考虑一类对角型双非线性抛物组，在1＜p＜2的情形在合适的假定下证明了广义解的有界性。     

具有非负密度的粘性不可压缩流体运动的初边值问题的广义解的唯一性

本文讨论了一类具有非负密度的不可压缩流体运动的初边值问题,用积分估值法证明了这一模型广义解的唯一性.     

广义组合KdV方程与广义组合KdV-Burgers方程孤波解的条件稳定性

讨论了广义组合KdV方程和广义组合KdV Burgers方程的孤波解,在Liapunov意义下的条件稳定性.证明了当行波形式的微小扰动满足一定条件时,这两类方程的精确孤波解具有线性稳定性.