苯在Ru-Zn/Ru（0001）合金表面上的吸附——密度泛函研究

为了理解苯在Ru-Zn合金催化剂上的部分加氢催化机理,采用密度泛函方法对苯在Ru-Zn/Ru（0001）面上的吸附进行理论研究。计算结果表明,当苯的碳原子或者共轭双键直接位于表面Zn原子的atop位时,其吸附热较Ru（0001）面上的类似吸附状态下降约60%.Zn原子与苯环C原子之间的排斥作用导致苯环的成键轨道与表面Ru原子的价层轨道之间的空间对称性下降,从而不利于苯与合金表面的键合。当吸附位离开Zn原子时,邻近Zn原子对于苯的吸附基本没有影响。     

共轭斜量法在某些特征向量上收敛速度的估计

设 Ａ是对称正定矩阵，λ_1是 Ａ 的最大或最小特征值，χ_1是对应的特征向量．｛zk｝是用共轭斜量法求解方程组 Αχ＝ｂ时的近似解序列，ｅi＝Ａ～(_1)b-zi,本文给出了|x_1～Tei|较合理的上界估计式。从而为分析预处理共轭斜量法提供了进一步的理论基础。     

300 MN水压机垫板组力学行为规律研究

针对巨型水压机多层垫板组力学行为的多维非线性特征,本文应用作者开发的多体接触有限元程序,分析了300MN水压机垫板组力学行为规律,揭示了垫板组加载方式为几何空间状态与力学行为的相关性,说明了垫板组异常变形机制,提出了垫板组设计和使用的几点准则。     

基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

自动网格体系在柱体绕流大涡模拟中的适用性评估

为了评估基于snappyHexMesh方法生成的自动网格体系在二维柱体绕流大涡模拟中的适用性,比较了该自动网格体系与人工网格体系对于Re为3 900圆柱绕流和Re为22 000方柱绕流的数值模拟结果。通过设置合理的计算域以及数值格式,采用snappyHexMesh自动网格以及人工网格的算例都表现出良好的数值稳定性。将不同网格体系的数值模拟结果与物理试验结果进行对比,结果表明,采用snappyHexMesh网格可以提高数值求解效率;圆柱绕流对网格体系的变化比较敏感,不同密度的snappyHexMesh网格会显著影响圆柱气动力特征以及尾流区域的流场结果;snappyHexMesh网格体系可以准确预测方柱绕流,在方柱绕流大涡模拟中具有相较于圆柱绕流更好的适用性。     

nSi／pSi1—xGex／nSi晶体管直流特性数值分析

采用一维有限差分方法,对生长在Ｓｉ（００１）衬底上的Ｓｉ１－ｘＧｅｘ应变基区异质结双极晶体管（ＨＢＴ）的直流特性进行了数值分析,给出了高斯掺杂情形下,基区中不同Ｇｅ分布的Ｓｉ１－ｘＧｅｘＨＢＴ的共射极电流放大系数图、Ｇｕｍ－ｍｅｌ图和平衡能带图;与Ｓｉ双极同质结晶体管（ＢＪＴ）的直流特性作了对比,结果表明基区中Ｇｅ的引入有效地改善了晶体管的直流性能;其次对基区中Ｇｅ分布与ｐ型杂质在基区－集电区交界处的不一致进行了模拟,证实了基区杂质向集电区扩散产生的寄生势垒使集电极电流密度下降这一实验结果．     

算子表示的矩形域Bernstein-Bézier曲面

通过引入3个算子:移位算子、向前差分算子和恒等算子,将矩形域上Bernstein-Bézier曲面(B-B曲面)表示为更简洁直观的算子表示形式,并讨论了用算子表示的B-B曲面的各种性质,给出了相关的证明.结果表明,算子表示形式从另一角度揭示了矩形域B-B曲面的基本几何性质,也大大简化了相关结论的推导过程.     

具有特定孔道结构的分子筛骨架的设计

引入“禁区”的概念用于设计具有特定孔道的分子筛骨架结构，在模拟中，首先在某一设定晶胞中定义一个圆柱形禁区(类似分子筛中的孔道)，然后向禁区外投入独立T原子，根据对称性、原子间距不小于3．0A(Si～Si)的限定条件产生等效原子，用Cerius^2建立骨架模型，并进行结构修正，通过改变禁区半径、独立T原子数及晶胞参数，在P6／mmm(no．191)空间群中成功地设计了大量不同拓扑结构的分子筛骨架，其中既有已知骨架，如：LTL、MWW、DOH、DFO等，又包括很多结构新颖、能量合理的理论结构，这种方法为快速寻找具有特定孔道的新颖分子筛骨架结构提供了有效的途径，有利于分子筛材料的定向设计与合成。     

遍历从N个元素中取M个元素可能组合的最佳算法

从N个相异元素中取M个元素(M≤N)的可能组合的遍历问题是组合数学中重要的基础性问题．关于该问题的现行算法是建立在对于搜索到的每一个节点的诸元素首先进行排序，然后搜索下一个节点．本文对于该问题给出一个全新的算法．新算法中放弃了对于节点诸元食的排序，实现每进行一次数据交换即搜索到一个新的节点，因而成为解决该问题的最佳算法．使用该算法编辑计算机程序，有编程简短、占用机器内存小的特点。     

线性分式曲线拟合及分段函数在机械设计中的应用

提出对函数曲线很陡情况下的型值点进行线性分式曲线拟合的方法，并给出分段函数曲线拟合在实际问题中的应用示例．