二能级和∧型三能级系统中粒子布居的完全转移

采用缀饰态理论和能级交叉技术，分析了二能级和∧型三能级系统的Stark快速绝热过程（Stark-Chirped Rapid Adiabatic Passage，简称SCRAP），SCRAP过程使用了两束激光脉冲，一束为近共振的泵浦脉冲，把粒子从基态驱动到激发态；另一束为远离共振的强Stark脉冲，它调节两能态之间的玻尔频率，使其与泵浦跃迁频率达到共振，产生两个交叉点．结果表明，适当选择脉冲间的延迟时间，可使泵浦脉冲在一个交叉点周围足够强，在另一个交叉点周围足够弱，粒子从基态转移到激发态的效率可以达到最大值1。     

最优和最小能量最优跟踪问题

以广义逆矩阵的理论和Bellman动态规划方法为基础,给出了离散线性时变系统最优和最小能量最优跟踪问题的两种形式的解,对每一种情形,还给出了最小跟踪误差和最小控制能量的简洁表达式.     

抗震设计中钢筋混凝土柱碳纤维布加固量的分析

考虑在柱顶发生最大水平侧移的情况下，剪应力与正应力的共同作用效应，并采用莫尔库仑破坏准则进行分析，提出了一种确定抗震设计中钢筋混凝土框架柱碳纤维布加固量的近似计算方法。分析表明：箍筋与横向包裹碳纤维布的主要作用不是单纯抵抗剪力破坏或提高轴向压力作用下柱的变形能力，更重要的是它们约束了承受复杂应力状态的柱核心混凝土，从而提高了柱核心混凝土的变形和强度。     

土与结构间一种新接触单元的数值解

推导了基于非线性弹性-理想塑性本构模型的接触带单元的单元刚度矩阵，并对接触带厚度的确定、非线性迭代方法等数值计算中一些重要的细节问题进行了论述．最后对某一典型算例进行了分析，分析结果表明，所提出的接触带单元能够合理地模拟接触面上的变形机理和受力状态，是一种比较适用的模型，在土与结构相互作用分析中具有一定的应用前景。     

一类高阶非线性中立型时滞偏微分方程解的振动性

研究一类具有连续分布偏差变元的高阶非线性中立型时滞偏微分方程，获得了方程解振动的一些新的判定准则。     

基于自动机技术的XML复杂数据类型验证

复杂数据类型验证是XML文档验证的主要内容,是检查XML文档结构是否符合模式规则的关键.根据Schema规范中复杂数据类型的描述和自动机理论,提出了一种称为模式自动机的数据结构,讨论了将XML复杂数据类型结构转换成模式自动机的方法,并设计了用来验证文档结构的算法.使用模式自动机验证算法可以全面地发现XML文档中的结构错误并准确地给出相应的错误信息,在实际应用中具有很高的效率.     

基于非线性的压电层合板弯曲

考虑几何非线性和非线性压电效应,研究了压电材料作为变形驱动器的压电层合板的弯曲,建立了基于非线性的压电层合板的广义本构方程.利用Ritz法得到悬臂压电层合板的弯曲变形与作用电场间的非线性关系.计算分析表明：在强电场的作用下变形会迅速偏离线性结果,此时必须考虑非线性压电效应,而线性分析只适合于低电场的情况.     

S关于f的交矩阵

设(U,p)是偏序为p的偏序集,U是格,f是定义在U上的正实函数,矩阵[S]f=(sij)n×n,sij=f((xi,xj)p),而(xi,xj)p是xi,xj在格U中的交,xi,xj∈S,1≤i,j≤n.ΨS,f是定义在S上的一个广义欧拉函数,这里主要是得到det[S]f与ΨS,f之间的一些关系。     

《汉字数码》的数学模型及其实现

给出了一般《汉字输入系统》的广义数学模型，在此基础上定义了一种全新的《汉字数码》及其输入法，并根据实际需要作出了5种不同的数码软件，由于《汉字输入系统》为有限函数，容易算出各项目标函数的极值，从而验证《汉字数码》在多项性能指标上达到了最优．     

Wick型随机广义Fisher方程的精确解

在Kondratiev分布空间(S)-1中利用Hermite变换和齐次平衡法则导出了Wick型随机广义Fisher方程的Backlund变换,给出了该方程在系数G(t)取不同白噪声泛函条件下的精确解.