推广的马尔可夫分割定理

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

关于PM空间广义Meir—Keeler型映象的不动点定理

本文在PM空间引入概率广义Meir-Keeler型映象,并建立了该型映象的一个不动点定理,所得结果推广了其他作者的主要定理。     

进程流程图的并行划分及静态调度

进程流程图在分布式环境下的最优分配是一NP难度问题。为此,本文从实用角度出发,在充分利用流程图部分性质的基础上,设计了一组完成并行横块划分及静态调度的近似算法,算法的时间复杂度为0（n~2×p）,其有效性通过一实例给予了验证。     

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

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

平面拟园型区域与对数导数性质

本文研究了扩充复平面上有限连通区域上函数的对数导数与单叶性之间的关系,并由此导出了平面拟园型区域的两个新的分析特征以及其与一致Teichimuller空间的联系。此外,对与对数导数相关的区域常数做了若干估计。     

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

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

关于图的顶点划分数

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

电网络图主划分算法改进

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

论我国聚落的生境模式

本文分析了我国聚落基本生境模式的形成依据及特征，并从生态学角度探讨了形成这一模式的生态机制在于生态系统边缘地带的边际效应，我国聚落形成发展的实质在于不断地开发利用边缘地带的边际优势。