多元渗硼层形态质量和抗蚀性的研究

通过对多元渗硼层形态、质量和抗蚀性的研究，从理论上和工艺上探索了单元渗硼易剥落的原因。经多次试验，证明多元渗硼层形态质量及抗蚀性都优于单元渗硼层．     

关于Je''''smanowicz猜想的一个注记

本文用初等方法证明了如下结论：设ｓ＝３ｎ，ｎ≡１、３、５（ｍｏｆ８），ｔ≡２（ｍｏｄ４），且ｓ、ｔ均不含有４ｋ＋１形素因子，则Ｄｉｏｐｈａｎｔｕｓ方程（其中ｓ＞ｔ＞０，（ｓ，ｔ）＝１，ｓ＋ｔ≡１（ｍｏｄ２））在ｙ＞１时仅有正整数解ｘ＝ｙ＝ｚ＝２。     

T（x）的极大逆子半群类构成的序列

本文从逆子半群的幂等元半格出发，在有限集Ｘ的全变换半群Ｔ（Ｘ）中，找出了一个由幂等元半格同构的极大逆子半群类构成的序列，细致地刻划出每个同构类中幂等元半格的结构，并给出了每个同构类中含有的极大逆子半群的个数公式。     

共形平坦黎曼流形中具有平行第二基本形式的子流形

设Ｍ＾ｎ＋ｐ是ｎ＋ｐ维共形平坦黎曼流形，本文对具有平行第二基本形式的子流形作了讨论，将我们现有结论推广到了更一般的情形。     

Navier－Stokes方程的特征混合元方法的数值分析

考虑二维的一般有界区域上的Ｎａｖｉｅｒ—Ｓｔｏｋｅｓ方程的数值解问题，给出了全离散格式，证明了此格式的唯一可解性，得到了此格式数值解在Ｌ２模意义下的最优误差估计．     

λ=4与5时严格单纯Mendelsohn三元系的存在性

本文证明了λ＝４、５时严格单纯的Ｍｅｎｄｅｌｓｏｈｎ三元系存在的必要条件同时也是充分的。     

列主元消去法在电磁问题矩量法分析中的应用

在电磁问题的矩量法分析中,描述具体电磁问题的微分—积分方程能转化成为矩阵方程,本文讨论了三种矩阵方程的解法,并结合半波振子天线电流分布的实际计算,给出了计算结果及计算时间,并对三种解法进行了比较。     

敷介质大圆柱面周向共形缝隙列天线的实验研究

本文对大半径敷介质导体圆柱表面共形缝隙天线作了实验研究。实验模型为十单元周向线阵，单元分别用屏蔽带线缝隙和矩形波导缝隙．包括等间隔阵和用缩短馈线的方法补偿了往面引起的射线路程差的不等间隔阵，实测方向图大致趋势与计算结果一致。结果表明，缩短馈线的补偿方法对降低旁瓣有效。     

弯曲箱梁有限条法分析

本文采用自然坐标系统，根据Ｎｏｖｏｚｈｉｌｏｖ园锥壳应度──位移关系式，导得简支弯曲条元的 应变矩阵，单元刚度矩阵及其相容荷载．编制了计算机程序。实例分析表明：弯曲箱梁在加大半径 情况下，采用本文曲条法与低阶直条法以及高阶直条法的分析吻合良好；当半径缩小，曲条法所 得曲箱内缘应力比同跨度直箱的内缘应力增大，而外缘应力则随之减小。     

Formal Verification under Unknown Constraints

We present a formal method of verifying designs with unknown constraints (e, g. , black boxes) using Boolean satisfiability (SAT). This method is based on a new encoding scheme of unknown constraints, and solves the corresponding conjunctive normal form (CNF) formulas. Furthermore, this method can avoid the potential memory explosion, which the binary decision diagram (BI)I)) based techniques maybe suffer from, thus it has the capacity of verifying large designs. Experimental results demonstrate the efficiency and feasibility of the proposed method.