SPM的数学基础及其在脑功能成像研究中的应用

探讨SPM的数学基础,给出了SPM中利用一般线性模型(General LinearModel,GLM)构建统计参数图的方法;为了适应处理功能磁共振成像(functionalMagnetic Resonance Imaging,fMR I)数据的需要,对一般线性模型做了扩展,推导出扩展的GLM的检验统计量和自由度.最后将扩展的一般线性模型应用于一个具体的fMR I实验,说明了方法的有效性.     

Level Set方法在自由面流动数值模拟中的应用

采用建立在固定的交错网格上隐式追踪界面的Level Set方法来计算有自由面的流动问题．在计算中求解了两种互不相溶流体的N-S方程．所参考的算例是瞬时溃坝问题，计算结果和实验观测基本符合，表明Level Set方法在液体自由面数值模拟中具有一定的适用性．     

一类线性切换系统的能控性和能观测性的充要条件

循环不变子空间是常用于控制科学和信号处理理论的重要数学工具之一。用循环不变子空间的性质研究了切换系统的能控性和能观测性。先给出了切换系统能控性、能达性和能观测性的概念,并讨论了循环不变子空间的性质。然后用循环不变子空间的性质研究了周期线性切换系统的能控制性、能达性及能观测性,得到线性周期切换系统完全能控和完全能观测的充分必要条件。最后给出一般线性切换系统完全能控和完全能观测的充分条件和必要条件。     

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

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

不确定广义系统的鲁棒H∞控制

考虑不确定广义系统的鲁棒H∞控制问题．利用线性矩阵不等式，得到了所考虑不确定广义系统的动态输出反馈鲁棒H∞控制律的存在条件．所得的控制律保证闭环系统正则，稳定，无脉冲并且满足给定的H∞性能指标．     

Banach空间中一类集值变分包含解的存在与逼近

研究了Banach空间中具Φ-强增生映象的集值变分包含解的存在与逼近问题．给出了一种新的迭代算法和带有混合误差的Ishikawa型迭代序列收敛到变分包含解的充要条件，并改进和推广了一些近期的结果．     

一阶拟线性椭圆型复方程的广义DC型边值问题

研究了一般的一阶拟线性椭圆型复方程的边界条件中含有斜微商的广义Carleman型边值问题。采用直接将广义DC型问题化为奇异积分方程的方法析出特征部分，然后通过对特征方程的研究得到了广义DC问题的可解条件和计算指标。     

一类抛物型方程组的近似惯性流形

研究了具有耗散性非线性抛物型方程组的长时间行为，利用线性Galerkin方法和压缩映象原型，构造了两类近似惯性流形，并证明了该方程组的任意解轨道在长时间后，进入近似惯性流形的一个小邻域。     

非线性拟双曲方程的特征变网格有限元方法和分析

对神经传播过程中的一类非线性拟双曲方程的初边值问题的三维情形应用常规变换，提出了特征变网格有限元格式，最后通过细致的分析和估计得到了最佳阶的L^2模误差估计结果。     

SPN结构线性层的设计

SPN结构是一种流行的分组密码总体结构；差分和线性分析是攻击分组密码的最强有力的方法．章介绍了SPN结构研究的最新进展，着重论述如何用矩阵方法设计抗差分和线性分析的线性层．