推广的马尔可夫分割定理

主要证明了推广的马尔可夫分割存在性定理,即在没有极大性的条件下,定理也是正确的.     

关于二维伊辛模型严格解中的一个问题

本文指出并改正了文献关于二维伊辛模型严格解推导中的一个错误.     

专家系统规则启发式划分和并行推理

本文提出了一个启发式规则划分办法并分析了并行规则推理的代价,设规则集合被划分为π=(π_1,π_2,…,π_k),则对于任何一个规则R_i∈π_i,在π_(i-1)中至少有某个R_i,R_i与R_i在某种代换下相关,如果串行推理对规则进行一次遍历所费时间代价为C,对于同样规则划分π进行多处理机或进程并行推理一遍遍历代价至多为C′,C′≤(k/~#R)C。其中~#R是规则集合R的基数,同时给出一个实例和推理代价的实验数据。     

关于图的顶点划分数

该文讨论了无爪图的顶点划分数,给出了完全n部图的顶点划分数的计算公式,最后证明了任意图的点线荫度不大于它的边线荫度且不等式是精确的.     

电网络图主划分算法改进

分析比较网络图主划分的已有算法，提出改进算法ＧＰＰＩＡ，使主划分算法通用性提高，运算量和贮量减少，该算法用Ｃ语言编程，计算机实验证明可行。     

二元异度样条空间的维数与基底

本文分别给出平面矩形网剖分Δmn与简单贯穿网剖分Δsc下二元b次μ阶异度样条函数空间的维数与基底。     

武当山推覆构造的几何结构──鳞片叠覆模式

武当山推覆构造由主滑脱面、前缘叠瓦褶断带、中央推覆体带和后缘挤压－伸展带４种构造成分组成。中央推覆体带划分为７个推覆体。各推覆体在平面上呈鳞片状越覆，在剖面上呈送冲叠覆，构成鳞片叠覆的几何模式。     

Banach-值HL积分的收敛定理

引入Banach 值HL可积函数序列等度HL可积的概念;利用等度HL可积性定理,证明了Banach 值HL可 积函数序列的一个收敛定理.     

划分测试中测试用例最优分配问题研究

研究了划分测试中每个子域错误率已知，测试资源受约束时，测试用例如何合理分配的优化问题．主要考虑了两类测试用例分配问题：测试资源受约束的测试用例分配及测试资源受约束且各个子域的可靠性要达到一定要求时测试用例的分配，证明了带约束的测试用例最优分配问题是一个NPC问题．给出了动态规划求解方法，从理论上证明了该方法是最优的，并通过随机模拟将该方法与其它常见的测试用例分配策略进行分析比较，用实验数据验证了该办法能合理利用有限测试资源，有效地提高缺陷检测能力．