含对称非零的偶数阶本原矩阵的指标集

通过假设至少含有一对对称的位置上的非零元的 n阶本原矩阵类为 B,其中 Be表示 B中偶数阶矩阵全体 ,利用非负矩阵与有向图证明了 :当 n为大于 2的偶数时 ,含对称非零元的 n阶本原矩阵类 Be的指标集的上确界为 3 n -6,并且 Ee={1,2 ,… ,3 n -6},无缺数段 ;又设 N (A)是 A中含正元的个数 ,则 B是含最小个数正元的 n阶本原矩阵的充要条件是 B同构于定理 3中的 B～ 。     

关于认证机构及认证管理系统的研究

把认证管理系统的分布式结构抽象为无圈有向图,在图中讨论了如何通过不同的有向道路得到相同的有效证书.在这个分布式结构中,引入了可信度的概念,并解决了当用户对认证机关不是完全相信时应如何得到最终有效证书的问题.修正了[7]中引入的不确定性应满足的原则,并证明了PGP(一种电子邮件应用软件)满足提出的可信原则.     

通用反分析描述语言的设计与实现

讨论反分析(unparse)应完成的任务、具备的能力,并在此基础上,设计了一种“通用反分析描述语言”。还给出了实现方案,论述了集成式程序设计环境的发展方向。     

二元有向向量的Pade－逼近

本文借助于一组线性无关的方向向量构造了二元有向向量的Ｐａｄｅ－逼近，给出的计算例子说明了构造的有效性．     

面向工矿企业扩大研究生定向招生

阐述了定向招生、定向培养的必要性、优越性,从而提出了如何更好地开拓在职人员生源,采取灵活多样的培养方式,适应杜会主义经济建设的需要,发挥高等学校、工矿企业两个积极性。     

关于n元生成群的凯莱图(1)

关于n(n =2 ,3,4)元生成群的凯莱图的一般规律已被讨论 .但是 ,4元生成群凯莱图的具体实例在文献中尚未见到 .该文解决了这一问题 ,并给出了 2 4阶群的凯莱图 ,进而对 4元生成群的凯莱图进行了探讨 .     

从基本割集矩阵综合有向图的分解法

引入了有向基本割集矩阵Ｑｆ的二分解和分解树的概念，导出了Ｑｆ可实现的充分必要条件和所实现图Ｇ在有向二同构意义上的唯一性，应用超图理论解决了如何求Ｑｆ的二分解问题，提出了用分解法直接实现Ｑｆ的原理和算法，该原理可计算复杂度为Ｏ，ｖ和ｌ为Ｑｆ的树路子阵Ｑｆｐ的行数列数。     

几类有向图的优美性

探讨三类由m个有向圈■4构成的有向图的优美性.给出他们的优美标号,证明这三类图都是优美图.     

关于S-亚紧空间的一些结果

对S-亚紧空间的一些性质进行研究,得到如下一些结果:(1)拓扑空间X是S-亚紧的当且仅当X的每一个定向开覆盖都有点有限的半开加细.(2)设X,Y是拓扑空间,f:X→Y是完备的优柔映射.如果Y是S-亚紧的,则X也是S-亚紧的.(3)设X是一个S-亚紧空间,如果Y是紧空间,则X×Y也是S-亚紧空间.     

分布式环境下多任务调度问题的分析与求解

将约束条件归纳为任务约束、链路约束和资源约束,在允许任务复制的情况下,建立了问题的约束与目标的完整数学模型;提出了一种基于任务复制的模拟人类社会中关系演化过程的簇调度算法IREA,包括前沿调度、动态分簇和分离图三个子算法.IREA采用全新的优先级规则,定义了关系数、依赖度、归并度等表示簇的优先级.通过对两个经典算例的计算,发现IREA能求出比算例所在文献算法所得解更优的解;对MJD算例,还得到了一个不同于原文献所给理论最优格局的一个新的最优格局.