关于系数平方增长的带跳BSDE的解(Ⅱ)

进一步讨论了系数b(t,y,q,p,ω)关于|q|为平方增长的倒向随机微分方程(BSDE):Yt=Y ∫Tb(s,ys,qs,p-s,ω)ds-∫T t∫zP~s(z)Ⅱ(dz)ds-∫Tt~qsdws-∫Ttzp~s(z)N~k(ds,dz),t∈[0,T];及反射BSDE的解的极限定理、解的比较定理及解的惟一性定理.并分别给出了例子.     

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.     

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

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

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

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