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给出了它的估计区间、精确表达式和近似计算公式。     

基于回收的磨损尺寸胀修恢复技术

提出一种基于回收的磨损尺寸胀修恢复技术，并分析了胀修恢复后零件的残余应力分布．根据理想弹塑性厚壁圆筒理论，在零件的原始设计中预留胀修恢复几何结构，当某些贵重零件的外径关键尺寸因磨损而失效后，通过胀修恢复技术把它胀大到预定值，使之恢复到设计公差范围内．胀修恢复技术具有成本低、无污染、劳动强度小、不改变零件的表面形貌等优点，同时延长零件的使用寿命并降低零件的使用成本．     

正方形弹性夹杂对裂纹应力强度因子的影响

研究无限弹性体中正方形弹性夹杂对裂纹应力强度因子的影响，给出了问题的新边界积分方程，对典型问题进行了边界元计算，所得结果表明：裂纹的应力强度因子随着夹杂弹性模量的增大而减小，软夹杂有利于裂纹的扩展，而刚性较大的夹杂对裂纹有抑制作用。