交换子在Morrey-Herz空间上的有界性

T^mb表示由函数b∈BMO（R^n）和强奇异积分算子T生成的m阶交换子。T^mb在L^q（R^n）上的有界性结果已经存在。利用不等式技巧进一步研究了T^mb在Herz和Morrey-Herz空间上的有界性质，所得结果更具有一般性。     

BAN逻辑与串空间的比较

研究了2种安全协议的分析方法,即BAN逻辑和串空间.利用这2种方法分别分析了Needham-Schroeder公钥协议,指出了这2种方法各自的优点和缺点.在对这2种方法进行了比较后,指出了这2种方法有2种结合方式.1种是利用串空间给出BAN逻辑的语义,另外1种结合方式是串行,即对于需要分析的协议,先利用BAN逻辑进行分析,然后再利用串空间进行分析,使分析出的结果更加可靠.     

空间结构热-动力学耦合系统稳定性的有限元分析

针对在轨航天器柔性附件的热-动力学耦合系统,提出了一种稳定性分析有限元方法。该系统的状态方程既包括考虑辐射换热且耦合了结构变形的非线性瞬态热传导方程,也包括与瞬态温度场相联系的结构动力学方程。由于结构变形对于受热条件的耦合影响以及辐射换热的存在,该系统具有高度非线性。借助于非线性振动理论,给出了系统热诱发振动的稳定性准则。针对不同的结构,可以计算出不同的运动稳定边界,该边界将参数空间分成了稳定区域和不稳定区域。对哈勃太空望远镜太阳帆板进行了稳定性分析,该方法所得数值解与文献结果一致。对更为复杂的卫星天线,用该方法给出其发生热颤振的参数条件,探讨了结构参数、加热条件对其热-动力学耦合系统稳定性的影响。     

论莱辛《第五个孩子》的空间意义

从现代空间小说特征来看,长篇小说《第五个孩子》在形式上可谓一部空间小说;从福柯关于空间及权力关系的理论看,空间成了暴力的象征,这种暴力可能是压迫的,也可能是叛逆的。由此,实在的空间上升为具有象征意义的空间。     

一些新的序压缩映射的不动点定理

在序Banach空间中,利用锥理论和单调迭代技巧对序压缩映射作了进一步的研究,对作用在序区间上的压缩映射给出了几个新的形式,并证明了相应的唯一不动点定理.     

r序同态与r开集在子拓扑空间中的性质

提出了r不定序同态、r连续序同态、r开序同态并讨论了它们之间的相互关系,得出了LF-r开集在开子空间中仍是LF-r开集,两个LF拓扑空间之间序同态r连续的充要条件等结论。     

临近空间单粒子效应的数值模型和电路模拟

针对临近空间单粒子效应进行了数值模型仿真和特征尺寸为0.1 μm的反相器电路的脉冲注入模拟研究。数值仿真结果表明器件临界电荷随着工作电压的降低而减小,敏感横截面随着临界电荷的降低而逐渐增大。临近空间微电子器件的单粒子翻转概率随敏感横截面增大而上升,但其又随临近空间高度的增加而下降。此外,利用SPICE软件脉冲注入模拟观察到了反相器电路的单粒子翻转现象。所得结论有助于深入研究临近空间的单粒子效应并为器件抗辐射加固提供了理论依据。     

常曲率空间中具有平行平均曲率向量子流形的不等式

设Mn是等距浸入在常曲率黎曼流形Nn p(c)中的n维紧致子流形,若Mn是极小的,有著名的Simons不等式.李安民等人改进了此不等式,现在进一步把它推广到常曲率黎曼流形的具有平行平均曲率的子流形的情形.     

建筑物室外环视中加速绘制算法

提出一种用于建筑物环视系统混合绘制的加速方法,场景划分为主体模型和层次环境的带有深度的图像缓存(sprite with depth),采用BSP树存储场景的具有深度的图像缓存,用模型对存储场景的BSP树应用三维裁剪算法来减少不必要的绘制,并在环视过程中采用生成替代图像缓存方法,加速环视场景的生成.