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.     

产业簇群中企业知识管理系统的构建原理

本文针对当前我国产业簇群中企业进一步发展所面临的困境,以及企业实施知识管理的现状,指出解决该困境的方法是构建适应企业良性运行的知识管理系统。作者分析了产业簇群中企业知识管理特点,以及构建知识管理系统的五项原则。最后,提出了构建产业簇群中企业知识管理的原理和方法。     

Lp空间中Post-Widder算子带权同时逼近的强逆不等式

对于Post-Widder算子Pn(f,x),证明了当s∈N0=N U{0},wf(s)∈Lp(0,∞)(1＜p≤∞)时,存在某一正数m,使得ω2ψ(f(s),1/(∫)n)ω,p≤C(∥ω(P(s)nf-f(s))∥p+∥ω(P(s)mnf-f(s))∥p+1/n∥ωf(s)∥p),其中ψ(x)=x;w(x)=xa(1+x)b;a,6∈R1;C＞0;ωψ2(f,t)w,p是带权光滑模.     

一类二阶系统周期解的存在性

讨论了一类二阶系统{（M（t)u′)′ Au(t) ↓△F(t,u(t)=h(t),；u(0)-u(T)=u′(0)-u′(T)=0，在非线性项满足次线性条件下周期解的存在性，利用鞍点定理得到该问题至少存在一个周期解．     

Dirichlet空间上Hankel算子的紧性

Hankel算子作为特殊的算子类在H∞控制问题中有着重要作用，关于Hankel算子的Nehari定理与模型匹配问题具有密切关系。本文讨论了Dirichlet空间上Hankel算子的相关问题，证明了在Dirichlet空间上，凡符号在C^1(D^-)中的Hankel算子均为紧算子。     

非常返Markov链的比率极限

比率极限是Markov链理论中人们比较关心的问题之一．Doeblin‘s ratio定理给出了常返Markov链的比率极限limN→∞∑n=0^NPij^(n)/∑n=0^NPkh^(n)=1/gjh,本文对非常返Markov链，给出了用fij，gjh,fjh和fkh表示的比率极限，使这类问题的结果更趋于完备．     

任意二值随机序列的一个强极限定理

给出了任意二值随机序列随机稀疏的一个强极限定理的信息条件，是Borel强大数定理的推广。     

无穷直线上的双解析函数的Riemann边值问题

研究双解析函数在无穷直线上的Riemann边值问题，并给出了该问题的可解性定理。     

非线性二阶奇异边值问题正解存在的充分必要条件

研究了奇异二阶边值问题u^n a(t)f(u) b(t)g(u)=0,au(0)-βu′(0)=0,γu(1) δu′(1)=0的正解，在a(t),b(t)只满足一定的可积性条件下得到了C^1[0,1]正解存在的充分必要条件，从而推广了一些已知结构，使此类问题的适用范围更为广泛。     

用区间套定理证明Rolle定理、Lagrange定理

Rolle定理和Lagarange定理是两个重要的微分中值定理,它们是Cauchy定理的基础,进一步为L'Hospital法则求极限提供了理论依据.它们还是研究函数增减性、凹凸性的基础.它在整个微分学中起着把微分的概念和方法应用于许多数学物理问题的桥梁作用.本文用区间套定理给出它的另一种证明.