积分第二中值定理的一个一般性结果

利用微积分的有关知识,研究积分第二中值定理＂中间点＂当积分区间长度趋于0时的渐近性,得到了两个结论,推广了已有的结果.     

关于复合二项风险模型的分布函数

对于复合二项风险模型,通过引入一个复合的几何分布,给出了破产前盈余及破产后赤字的联合分布函数和边际分布函数,并给出了导致破产索赔量的分布函数的具体表达式.     

一类周期边值问题解的存在性与唯一性

考虑了一类非线性微分方程周期边值问题，用不动点定理给出了其解存在时参数e，α的取值范围；用压缩映像原理给出了该问题解唯一时参数e，α的取值范围．     

对称可微广义V-I型多目标规划的对偶性

在V-I，型和几个广义V-I，型不变凸性情形的基础上，研究了一类非光滑非凸多目标规划的对偶性，给出了若干个弱对偶、强对偶和逆对偶定理．     

Uhlhorn定理的一个推广

应用射影几何基本定理,证明了关于U h lhorn定理的一个推广.     

一类次线性Hamilton系统的次调和解

运用极小极大方法得到一类局部强制的次线性Hamilton系统的次调和解的存在性定理.     

广义凸集值向量优化问题的弱有效解

在序线性拓扑空间中定义了广义凸集值映射．引进了相对内部．应用凸集分离定理建立了一个广义凸集值映射的择一性定理．运用此定理获得了弱有效解意义下的集值向量优化问题的最优性条件．     

一类对称二阶Hamiltonian系统的偶同宿轨

用临界点理论中的山路引理，采用零边值问题解逼近的方法，证明了一类对称超二次二阶Hamiltonian系统非平凡偶同宿轨的存在性．     

具有多奇性的非线性热方程的定解问题

利用Kato类函数和Green胎紧函数的性质得到了具有多奇性的非线性热方程的初值问题和初边值问题．弱解的存在性．     

Modal extension rule

Modal logics are good candidates for a formal theory of agents. The efficiency of reasoning method in modal logics is very important, because it determines whether or not the reasoning method can be widely used in systems based on agent. In this paper, we modify the extension rule theorem proving method we presented before, and then apply it to P-logic that is translated from modal logic by functional transformation. At last, we give the proof of its soundness and completeness.