过滤器的安全模型框架

采用Ｂｅｌｌ－ＬａＰａｄｕｌａ（ＢＬＰ）模型的风格及其表述方法，讨论了信息过滤器一类系统的安全模型框架。提出的过滤器模型框架扩充了ＢＬＰ模型的适用范围。结果表明，ＢＬＰ模型不仅适用于操作系统的建模，而且还适用于其它的一类系统建模。     

ELNF归约演算

ＥＬＮＦ演算是在ＬＮＦ演算的基础上扩充而成的函数／逻辑归约演算系统，扩充的主要工作包括逻辑变量、谓词名的引进。提出并描述了逻辑函子ＳＯＬＵＴＩＯＮ和ＰＲＯＶＥ及其归约规则．讨论了ＥＬＮＦ演算的基本概念。为表征ＨＯＲＮ子句提供了一种有效方式。     

嵌套式建模支持

阐述了人的建模思维机制。引入等价关系和划分作为问题粒度研究的基础，定义了逆商集，使之与商集一起，构成了对问题不同粒度的完整描述，并讨论了粒度的性质，借助拓扑分析，给出了问题可分解、可细化和粗化、细化等一系列定义，在问题簇和模型簇概念的基础上，提出了嵌套式建模（支持）作为面向复杂系统的建模支持方法论，具体给出了其实施步骤，这是一个人机交互的启发式过程，将嵌套式建模与传统式建模作了比较，此外还作了若干说明。     

三维各向异性非线性位场边值问题的多媒质有限元分析

基于变分有限元法，建立了各向异性非线性媒质中三维位场边值问题多媒质单元有限元分析的标量和矢量位分析模型，推导了单元分析的实用分析格式。讨论结合两种典型的八节点六面体多媒质等参单元进行，所得分析结果已成功应用于电力变压器铁芯磁场的三维分析与计算。     

单角煤粉燃烧炉中煤粉着火与稳燃的数学模型

将煤粉空气两相流在着火前和着火期间基本上仍遵从的射流发展规律作为模型基础，考虑了煤粉颗粒与气相间的速度滑移与温度滑移。气相场按射流规律发展井计及颗粒群对气相温度、速度、浓度变化的影响；颗粒群则按Ｌａｇｒａｎｇｅ处理方法追踪颗粒变化史。模型首次采用了挥发分与环境氧气匹配达着火限方能产生挥发分火焰的概念并取得了与实验现象一致的计算结果。     

工程数据库的双缓冲区管理机制

提出了一面向对象数据库系统Ｏ２Ｓ的双缓冲区机制，阐述了页面缓冲区和对象缓冲区的管理数据结构及其缓冲区内的废品回收等，双缓冲机制能有效地提高应用对象的访问效率。     

用Ω展开方法讨论化学体系的涨落

运用ＶａｎＫａｍｐｅｎ提出的Ω展开方法，对两个化学反应系统：进行了研究，建立了这两个反应系统组分浓度的一阶矩和二阶矩。     

大坝变形信息判据与分析

应用概率统计原理，对水库大坝变形观测中的变形值与随机因素干扰建立了变形数学模型。为排除干扰，提取真正变形信息，正确判据和分析大坝变形状态与规律提供理论依据。该数学模型在水库的实际应用中获得良好效果。     

一类2阶边值问题的分歧点

考虑如下的２阶非线性方程的边值问题：ｘ″＝λ（Ａｘ＋Ｂｘ′）＋ｆ（ｔ，ｘ，ｘ′，λ）（０≤ｔ≤１），ｘ（０）＝ｘ（ｌ）＝０．在关于Ａ，Ｂ，ｆ的一组条件下，利用Ｋｒａｓｎｏｓｅｌｓｋｉｉ定理证明了上述问题存在分歧点。     

激光开槽、埋槽电极硅太阳电池

报道一种新颖的激光开槽、埋槽电极硅太阳电池的结构、工艺流程及其研制结果。在ＡＭ１．５，２５℃，１００ｍＷ／ｃｍ２的条件下，以面积为４５ｃｍ３的３６片硅片研制的硅太阳电池的输出参数的平均值为ＪＳＣ＝３６．１ｍＡ／ｃｍ２，Ｖ∞＝６３３ｍＶ，Ｆ．Ｆ．＝０．７９８，η＝１８．２３％，最后分析了种高性能硅太阳电池的设计特点。