新型功能材料驱动的高性能电液伺服阀

与传统伺服阀相比,以新型功能材料为电-机械转换器的电液伺服阀,具有高频响、高精度和易于微型化等优点。介绍了几种基于新型功能材料(超磁致伸缩材料GMM、电致伸缩材料PMN和形状记忆合金SMA等)的电液伺服阀的结构组成和工作原理,并对它们的各自特点进行了对比分析。最后对新型功能材料,特别是超磁致伸缩材料GMM,在高性能电液伺服阀的应用现状进行了展望。     

具时变离散时滞单种群反馈控制模型的全局稳定性

研究具有时变时滞单种群反馈控制模型的全局稳定性,通过构造适当的Lyapunov泛函,得到保证系统全局稳定的充分性条件.     

从头计算分子动力学方法及其应用

从头计算分子动力学方法把密度泛函理论和分子动力学方法有机地结合起来，使电子的极化效应及化学键的本质均可用计算机分子模拟方法进行研究，是目前计算机模拟实验中最先进、最重要的方法之一。文章简述了从头计算分子动力学方法的基本原理，介绍了该方法在水、水溶液及其他氢键液体的结构与动力学研究中的应用。     

线性时滞系统的新型自适应控制

针对一类单时滞的线性时滞系统,为对其未知的状态时滞参数进行自适应控制,基于LMI方法,采用一种基于“描述形式”的Lyapunov-Krasovskii泛函和新型的带记忆的状态反馈控制,使得参数自适应律能反映实时估计值与实际接近值之间的差值,从而突破以往自适应控制对估计值的大小限制和调整参数计算的困难,给出了一种新型的保守性较小、简便、实用的自适应律,仿真实例证明了该控制方案的有效性。     

极端微生物的功能利用

主要介绍了极端微生物的种类及其功能利用。极端微生物是一些在高温、低温、高压、高盐、强酸、强碱、强辐射等极端环境中生存、繁殖的生命体，具有独特的分子组成、物理化学性能、酶特性及代谢功能等，它们的存在不仅挑战传统生物学理论，而且具有很高的实际应用价值。     

CS自由基与O2反应机理的理论研究

用量子化学密度泛函理论(DFT)和G3方法，对CS自由基与O2的反应进行了研究．在UB3LYP／6—31G^*．UB3LYP／6-31 G^**和G3计算水平上，优化了反应势能面上各驻点的几何构型，在G3水平上计算了它们的能量，并对它们进行了内禀反应坐标(IRC)计算和振动分析，以确定中间体和过渡态的真实性．研究结果表明：CS自由基与O2反应有3条通道，其中1条反应活化能很小，反应极易发生．计算结果与实验结果相一致．     

Fe/Cr(001)超晶格层间耦合和自旋极化的第一性原理计算

采用基于密度泛函理论的平面波赝势法对Fe／Cr（001）起晶格的层间耦合和自旋极化进行了系统地研究．结果表明：理想Fe／Cr超晶格的层间耦合随反铁磁Cr层层数的增加呈短周期性振荡；在较稳定的结构中，整个Cr层都以较大的磁矩被极化，且极化程度受铁磁层原子数的影响较大．     

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

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

Modal extension rule

Modal logics are good candidates for a formal theory of agents. The efficiency of reasoning method in modal logics is very important, because it determines whether or not the reasoning method can be widely used in systems based on agent. In this paper, we modify the extension rule theorem proving method we presented before, and then apply it to P-logic that is translated from modal logic by functional transformation. At last, we give the proof of its soundness and completeness.     

Sp(4,K)的WEYL模分解

给出了G=Sp(4，K)时WEYL模的分解模式，给出了Sp(4，K)的WEYL模分解。