公理化凸空间的闭包算子和内部算子

引入公理化凸空间框架下的闭包算子和内部算子,分别称之为凸闭包算子和凸内部算子.结果表明,论域X上的凸结构全体不仅等价于论域X上的凸闭包算子全体,而且等价于论域X上的凸内部算子全体.     

弱拓扑分子格

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

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

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

相对L-闭包算子与相对T0闭包空间

在L-闭包空间中, 定义了相对闭包算子与相对T₀闭包空间, 研究它们的一系列性质, 并证明了相对T₀分离性是遗传的、 可乘的、 具有L-好的推广等性质, 得到了T₀分离性与相对T₀分离性的关系.     

一种形式背景的概念生成算法

形式概念分析理论是一种很有效的研究工具.在其应用中,概念的求法是一个重要的部分.本文主要借助概念的外延或者内涵为闭包系统的条件,针对求解概念中的生成重复概念的问题进行优化,快速需找背景中的全部概念.     

传递闭包公式的改进

给出了有限集合上传递闭包的改进公式 ,借助二元关系 ,矩阵秩等概念并利用数学归纳法给出了该公式的证明过程 ,利用所得结果来求有限集合上的传递闭包 ,减少了不必要的计算量     

Brouwer定理与均衡价格

本文详细论述了在一般均衡体系中均衡价格存在性定理与Brouwer不动点定理是等价的。即，均衡价格π ζ（π）≤0就是Brouwer定理中的不动点x^∧ f(x^∧)=x^∧并给出证明。这一等价性为计算均衡价格提供了坚实的理论依据，从而肯定了利用Brouwer定理寻找不动点的方法计算均衡价格的计算方法是可靠的。因此具有特别重要的实用意义。     

Warshall算法的C语言实现

Warshall算法是求二元关系传递闭包的一种高效的算法.通过对二元关系可传递性的研究,给出Warshall算法的一个C语言程序,使对可传递性的研究变得更加直观和有效.     

生成软件注册密文的一种算法

主要解决在计算机应用领域中如何根据不定长的明文产生定长密码的问题，提出利用矩阵运算增加密强度的一种映射算法，给出实用性的约束条件，最后列出部分实验数据并进行论证。     

层次闭包空间及其连通性

给出了层次闭包空间的概念,定义并研究了由分明闭包空间诱导的层次闭包空间,讨论了层次闭包空间的连通性.