一类非线性奇异问题的有限元方法

讨论一类非线性奇异问题的对称有限元方法和非对称有限元方法，证明了弱解的存在唯一性，并给出有限元解的加权L2-模估计。     

CC专家库的研究与设计

CC工具箱系统是遵循CC标准而设计的一套对信息技术产品和系统的安全功能及相应保证措施进行自动化评估的软件系统．该系统主要包括CC工具箱和CC专库（CCEB)两个模块．提出了CC专家库(CCEB)的规划设计思路，并将此设计规划方案进行了实现，以及将CCEB导入CC工具箱，以完成对CC工具箱系统的支持．实践证明，CCEB方案是有效和实用的。     

关于混合Domain的几个问题

研究了Lawson紧的连续domainD的混合幂domainM(D)，给出了M(D)的极大元的刻画，证明了M(D)是其极大点空间Max(M(D))的domain环境，同时证明了FB-domain关于混合幂domain构造是封闭的。     

有限维李代数Killing型一些性质

定义了Killing的正定、半正定和负定，讨论了域F上有限维李代数，特别是幂零李代数Killing型的一些结果．李代数g的对偶空间g^⊥对讨论其结构有很重要的意义，但经典李代数对g^⊥的结构几乎未作讨论，对如何计算g的对偶空间g^⊥给出了一些细化方法．     

连续选择和聚合不动点定理

得到了定义域为非紧、非仿紧，值域为拓扑空间的集值映象的连续选择定理，并且集值映象的连续选择映象的定义域为整个空间而非拓扑空间的一个紧子集，应用连续选择定理，得到了聚合不动点定理，推广了最近一些文献上的相关结论。     

观测泛函的无限时p-容许性

引入无界观测泛函的无限时p-容许性概念，讨论了相关性质，当C0-半群{T(f)}t≥0指数稳定的，证明了无限时p-容许性与p-容许性是等价的．最后用具体的例子给出了一个无界观测泛函的无限时p-容许性。     

双解析函数一类含参变未知函数的Riemann边值问题

给出双解析函数含参变未知函数的Riemann边值问题及其正则型与非正则型的提法．基于双解析函数的正则型与非正则型Riemann边值问题，讨论了双解析函数含参变未知函数的Riemann边值问题正则型与非正则型情况的可解性，得到了该边值问题的可解性结论：正则型问题的一般解具有2κ 1个自由度，非正则型问题的一般解具有2(κ-μ) 1．     

ε-代换类先验的贝叶斯稳健性

考查了ε-代换类先验的贝叶斯稳健性，衡量其稳健与否的标准是先验为ε-代换类的后验分布的kullback-leibler散度和它的曲率。给出了多维和非共轭情况下后验的kullback-leibler散度的曲率的变化范围。     

动态乘数-加速数模型的输出反馈控制问题的讨论

利用状态空间法对动态乘数 加速数模型能否设计输出反馈控制问题进行了讨论。从而得出:在一般情况下,无法对该系统设计一个输出反馈控制G(t)=HY(t);但对于特殊情况(G(t)<0),可以对该系统设计一个输出反馈控制G(t)=HY(t),使开环系统由不稳定变为闭环系统稳定,并给出了可以实现输出反馈控制的条件。     

不分明化拓扑中的几乎分离公理

在不分明化拓扑空间中，利用正则开集、R-邻域和δ-闭包等概念导入了AT0-，AT1-，AT2-，AT3-，AT4-分离公理，并且给出了这5个公理的等价命题以及它们的关系．