可信计算技术对操作系统的安全服务支持

研究安全操作系统利用可信计算技术提供对信息保密性及完整性保护的方案．依据TCG(可信计算组织)提出的规范，对其核心部分TPM(可信计算模块)在高安全等级操作系统中的安全服务级支持做原理描述．基于规范中提出的密封存储技术。结合操作系统的安全需求和实现环境。提出利用TPM对安全操作系统应用层提供安全支撑的初步可行方案，并提出依此实施DTE安全策略的方法，显示了此方案的灵活与多样性．     

凸合成模糊对策的模糊稳定集

本建立了凸合成模糊对策的模型，并得到了凸合成模糊对策的模糊稳定集，可由子对策的模糊稳定集表达出来。从而解决了凸合成模糊对策的解的结构问题。     

用激光吹气注入高Z杂质使HL-1M装置放电有效地安全终止的研究

现在国际上大装置纷纷发现破裂放电而导致电流突然中止造成装置遭受重大的危害，因为能量熄灭阶段存在强烈的热通量，而且在电流熄灭阶段中产生强烈的逃逸电子，使得第一壁材料可运行的时间大大缩减；同时在真空器壁上产生很强的电磁力。所以，必须在大装置上建立一种避免和软化能量衰竭与电流衰竭，并且控制预计的放电破裂或突然终止放电的措施。     

大容量贮氘氚铀床的研制

为了满足重水提氚中大量氘氚气体的安全贮存与转运，设计并加工了大容量氘氚铀床并对其进行了贮氘氚性能的测试。     

一类暂留稳定过程的极限定理

本文研究了Ａ型暂留稳定过程在无穷远处的收敛速度，给出了一个重对数律．同时我们也得出了这类过程在起始点附近的一些性质．这些性质推广了［１］中的结果     

周期系数三种群Lotka－Volterra混合模型分析

考虑三种群Ｌｏｔｋａ－Ｖｏｌｔｅｒｒａ周期系数模型，种群间既有捕食关系又有竞争关系，得到唯一存在全局渐近稳定周期解的条件，并举例说明条件的可行性．     

神经网络法计算镉（Ⅱ）,羟基及碳酸根三元体系的形态分布

采用前馈线笥网络ＢＰ算法，计算了Ｃｄ６２＋－ＯＨ＾－ＣＯ＾２－３三元体系的累积稳定常数。用Ｈｏｐｆｉｅｌｄ反馈网络研究了体系中络合物的形态分布。溶液中溶解的ＣＯ２对ｌｇβ１的计算结果有重要影响，对ｌｇβ２，ｌｇβ３，ｌｇβ４的结果影响不大。     

关于一类非平衡交互作用粒子系统的相变

本文利用一维格点上非平衡Glauber＋Kawasaki过程所对应的Hgdrodynamic宏观方程，刻画了过程何时从一非渐近稳定态开始分离，该非渐近稳定态对应于一具有均值为常数的乘积测度，证明了时间标度在一定范围时，过程仍逗留在该非渐近稳定态．而时间标度超出该范围时，过程向渐近稳定态分叉，即系统发生相变．     

反恐怖安全检测技术的物理基础

反恐怖安全检测技术已成为人们的热门话题。安全检测技术的诞生和发展离不开物理学家的贡献。物理学为反恐怖安全检测孕育了多种手段和方法。文章简要介绍了X射线探测、γ射线探测、四极共振分析、脉冲式快中子分析、离子迁移率光谱测量、毫米波探测、声学探测、磁场探测、电磁脉冲探测等安全检测技术的物理基础。     

具有时滞的细胞神经网络的全局指数稳定性

利用Liapunov函数方法,结合积分不等式技巧,分析了时滞细胞神经网络的平衡点存在的唯一性和全局指数稳定性,保证时滞细胞神经网络全局指数稳定的一个新的充分判据被得到.所得判据比已有文献具有更少的限制,为实际应用提供了方便.