基于语言等价的Petri网化简

定义了α闭包表达式和同步交错正规表达式,证明了同步交错正规表达式与Petri网语言的等价性,给出了Petri网语言的结构特征:任意一个Petri网语言都是一个正规语言表达式与α闭包表达式的同步,借助于这一特性,给出了Petri网的化简过程及其算法。     

求齐次有限马尔科夫链状态空间全体闭集的算法

本文给出了齐次有限马尔科夫链状态空间的闭集族的算法，为了减少计算量和无重复地列出全体闭集，引进了状态空间压缩法和逐点删去法。对状态个数不太大的情形，可利用压缩状态空间的状态转移图求全体闭集；对一般情形，给出了计算机算法。     

关于《离散数学》中两个问题的注

1 传递闭包的Warshall算法的矩阵证明本节只讨论有限集X={x_1,…,x_n}上的二元关系R.M_R=[m_(ij)]_(nxn)表示尺的关系矩阵,用G_R表示R的关系图.[1]指出不易从M_R或G_R判断R是否是传递关系.由[2],我们有如下命题1.1 设R是有限集X={x_1,…,x_n}上的二元关系.R是传递的,当且仅当下述条件之一成立:     

无穷维自反空间中集值映射的弱导数及其应用

用无穷维空间的弱拓扑引入弱相依锥Tσk(x)和弱P锥Pσk(x)及与它们相应的弱导数DσF(x,y)和PσF(x,y);研究弱导数的链式法则和弱Lip连续性;作为应用,证明了用弱导数判定无穷维自反空间中集值映射是否具有单值性和逆单值性的判定定理.     

二元关系性质判定定理的应用

利用二元关系性质的判定定理证明与关系性质的保守性和关系的闭包有关的几个定理,比用定义证明更为简洁.     

弱拓扑分子格

目的建立弱拓扑分子格的初步理论。方法运用一一对应的思想和范畴论方法研究弱余拓扑的确定和弱拓扑分子格的范畴性质。结果证明了可以用弱闭包算子确定弱余拓扑,WTML(即弱拓扑分子格与保并连续映射的范畴)和TML(即拓扑分子格与保并连续映射的范畴)都是CL(即完备格与保并映射的范畴)上的拓扑范畴。结论扩展了拓扑分子格理论。     

有限群正规子群的算法及S7子群的正规子群

在群的正规闭包理论的基础上,定义了有限群的正规闭包链表,证明了一个有限群G的正规闭包链表恰好包含了G的所有正规子群,从而获得了求有限群所有正规子群的方法,以及求置换群的所有正规子群的算法,且依此算法计算得S7的子群的所有正规子群.