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.     

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

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

一种改进的正弦拟合时基失真估计算法

利用采样输出估计时基失真的方法可以分为正弦拟合法和分解信号法两种。根据输入校准信号以及选择时基失真模型的不同,这两种方法各有其优缺点,且当时基失真模型不符合时,估计性能较差。提出了一种改进的正弦估计失真方法。它不需要考虑时基失真的模型,因此在时基失真类型未知或时基失真与模型不吻合时,较上述两种方法的性能更为优越。     

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

讨论了一类二阶系统{（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算子均为紧算子。     

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

给出了任意二值随机序列随机稀疏的一个强极限定理的信息条件，是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]正解存在的充分必要条件，从而推广了一些已知结构，使此类问题的适用范围更为广泛。     

Г函数的性质研究

Г函数是一个特殊函数，其定义表达式为广义积分式。定理1一定理7给出了它的估计区间、精确表达式和近似计算公式。     

采样间隔非均匀一阶渐近增长模型及贝叶斯预测

利用贝叶斯预测方法给出采样间隔非均匀情况下的一阶渐近增长模型，当观测误差方差已知时，给出了它的先验分布、预测分布和后验分布的修正递推算法。