含隐变量和选择偏差的图模型中的因果推断

Bayes网络常用于多变量间的因果推断,但当存在未观测的隐变量和选择变量时,这种图模型往往无法正确描述观测变量间的因果关系。作者利用在观测变量上构造的最大祖先图模型刻画观测变量间的独立性关系和因果结构,并提出了具体的实现算法,从而可由观测数据来推断这类不完全观测下的部分因果关系。     

最大线性正形置换及其性质

根据最大线性正形置换可以用于密码体制中非线性置换的构造，利用有限域上的多项式理论以及矩阵理论，研究了最大线性正形置换T的性质．给出了T的幂仍就是最大线性正形置换的充分条件，证明了T的特征多项式为F2上的本原多项式，进一步证明了F2^n为T的不可约空间．     

一个素数猜想的反例

对于正整数n,设pn是第n个素数。本文证明了:不等式穴n 1雪pn-npn 1<12穴n 1雪950对于某些正整数n不成立。     

关于内有限群的性质

研究了非交换的内有限单群,得到了非交换的内有限群的一些特殊性质.特别得到了:设G是由a和a′生成的非交换的内有限群,且G是类正规的,则a和a′都不是对合.     

一类极大临界2连通图的结构

引入图的粘合的概念，讨论了极大临界2连通图G的性质，给出了一个图是这类图的一个充要条件。由此给出该类图的一种新的构造方法，即G能按条件先粘合一系阶大于2的完全图的边，然后粘合四圈C4的t个拷贝得到．     

关于Z[c~(1/2)]环

给出Z[c_(1/2)]环的定义,并定义Z[c_(1/2)]环上的元素范数;讨论Z[c_(1/2)]环关于任意主理想的商环的个数,进而得到Z[c_(1/2)]中主理想是极大理想的充要条件,特别在Z[c_(1/2)]是主理想整环的条件下,得到了Z[c_(1/2)]的元素是素元的充要条件。     

关于子格格的若干性质

对由子格格中的链构成的偏序集进行了研究，给出了一类链的长度估计式和一些相关性质，另外，还探讨了模格和分配格的子格格性质，给出了一个格是模格或分配格的子格格的充要条件，最后，给出了部分计算公式在DEA方法中的一些应用．     

关于混合Domain的几个问题

研究了Lawson紧的连续domainD的混合幂domainM(D)，给出了M(D)的极大元的刻画，证明了M(D)是其极大点空间Max(M(D))的domain环境，同时证明了FB-domain关于混合幂domain构造是封闭的。     

全矩阵代数的一类子代数

研究了由一个矩阵生成的矩阵子代数的基本性质,给出了其极大理想的完全分类及这类子代数是半单代数的充要条件.     

相容关系与相容核

给定论域上的相容关系,本文提出了相容核的概念。较之于相容关系的最大相容类,相容核是一个局部化的相容类。我们还讨论了有关相容核的若干数学性质,并且给出了相容关系与其相应的相容核族之间相互唯一确定的充分必要条件。