一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.     

鞅方法在一类破产问题中的应用

本文从鞅条件出发 ,推导出了总理赔过程分别为复合 Poisson过程与复合二项过程 ,利率强度波动为带跳的 Poisson过程情形下的调节方程 ,并由此得到了一些有趣的结果。     

Soliton interaction under the influence of higher-order effects

In this paper, we present exact N-soliton solution by employing simple, straightforward Darboux transformation based on the Lax pair for Hirota equation, a higher-order nonlinear Schrödinger (HNLS) equation. As examples, one- and two-soliton solutions in explicit forms are given and their properties are also analyzed. A bound solution without interaction will be theoretically predicted if one can adjust frequency shift for each soliton appropriately. Further, we obtain the approximate eigenvalues by employing two-soliton solution and discuss analytically the interaction between neighboring solitons under the influence of the higher-order effects. It is shown that the combined effects of the higher-order effects can restrain the interaction between neighboring solitons to some extent. The results are proved by directly solving HNLS equation numerically.     

具连续时滞Liénard方程概周期解的存在唯一性

结合Liapunov泛函，研究了具连续时滞Lienard方程概周期解的存在唯一性和安全一致渐进稳定性。     

Towards the Evaluation of the Relevant Degrees of Freedom in Nonlinear Partial Differential Equations

We investigate an operator renormalization group method to extract and describe the relevant degrees of freedom in the evolution of partial differential equations. The proposed renormalization group approach is formulated as an analytical method providing the fundamental concepts of a numerical algorithm applicable to various dynamical systems. We examine dynamical scaling characteristics in the short-time and the long-time evolution regime providing only a reduced number of degrees of freedom to the evolution process.     

双折射滤光片的色散特性研究

研究了由理想线偏振片和单轴双折射晶体波片组成的双折射滤光片倾斜放置时的二阶色散和 三阶色散特性，包括波片厚度、光线入射角和光轴旋转角的变化对二阶和三阶色散的影响. 还给出了双折射滤光片的群延迟表达式，并就色散特性与GT干涉仪进行了详细比较. 关键词： 双折射滤光片 群延迟 二阶色散 三阶色散     

一类积分不等式的推广

对一些基本的积分不等式进行了推广，给出了含有n个无关变元的更广泛的非线性积分不等式．利用所得的不等式讨论了某些非线性积分方程解的有界性．     

LOCAL WELL-POSEDNESS AND ILL-POSEDNESS ON THE EQUATION OF TYPE □u = uk((e)u)α

This paper undertakes a systematic treatment of the low regularity local wellposedness and ill-posedness theory in Hs andHs for semilinear wave equations with polynomial nonlinearity in u and (e)u. This ill-posed result concerns the focusing type equations with nonlinearity on u and (e)tu.     

中立型脉冲微分方程正解的存在性

本文利用Banach压缩映射原理，讨论了中立型时滞脉冲微分方程正解的存在性。