面向不同应用的可行性数据流测试准则

测试准则是完成软件测试必须满足的条件。一个可行的测试准则是当且仅当对任意一个程序，都存在一个测试用例集能够满足该准则，但在通常情况下，由于程序中不可执行的语句或路径的存在，使得基于数据流的测试准则不可行，在一类具有可行性的测试准则FDF的基础上，给出院 三类新的基于数据流的测试准则。并且证明其中两类准则比FDF测试准则具有更强的故障检测能力。     

极坐标系中具有旋转自由度的平面扇形单元

通过引进结点刚体转角，提出两具有平面内旋转自由度的平面４结点扇形单元，数值计算表明这两种单元具有很高的计算精度，为具有圆形边界的结构有限元分析提供了有效实用的单元。     

重位点阵特征参数TEM测定新方法

重位点阵是描述晶界特性的一种重要模型。本文发展了一种测定重位点阵特征参数的ＴＥＭ新方法，其特点是把系统倾转技术和矩阵计算结合起来，这样既避免了菊池极法的局限性，又避免了极图法的不精确性，从而成为一种实用，快速，精确的测定方法。     

带电磷脂分子表面的质子结合与系统的静电自由能

从配分函数出发，导出了带电磷脂分子表面附近溶液系统的静电自由能，并自然地得到了质子在磷脂分子表面的结合对系统静电自由能的贡献，推出与Ｐｉｎｇｋ等一致的结果。     

双相组织应变分配及强化行为

导出了反映双相组织变形特征的应变分配表达式，对影响各相之间变形差异诸因素进行了讨论，在此基础上导出了双相组织的强度表达式，并对一系列双相组织的强度进行了计算。结果表明，理论计算值与试验值吻合较好。     

He—H2碰撞转动激发截面的理论计算

首先在IOSA(Infinite-Order-Sudden-Approximation)方法中利用WKB近似方法代替Nemerov方法计算相移,然后对He与转动能层较大的H_2分子碰撞总的、弹性和转动激发积分散射截面进行了计算。结果表明,用此方法所计算总的和弹性散射截面的值与较准确的CC(Close-Coupling)方法得出值符合得很好,对非弹性散射截面,当取适当k值时,结果令人满意。     

插值多元拟有理样条函数~Ⅱ

本文借助于广义台劳展式,得到了一般多元有理样条函数的两种表现形式。此外,通过给定四边形剖分下各胞腔上的分片有理函数,构造了两种插值多元拟有理样条函数,证明了其存在性与唯一性。     

移动平面分拆的计数

建立了正整数n的严格平面分拆全体组成的集合和它的移动平面分拆全体组成的集合之间的一一对应，以及列严格行长为偶数的平面分拆组成的集合和主对角线上的元素为偶数的非负整数对称矩阵组成的集合之间一一对应，在此基础上给出移动平面分拆及一类特殊的移动平面分拆的计数。