控制系统故障定位的算法设计

目前用于航天、铁路等领域的计算机控制系统要求具有高可靠性、高安全性的特点。这些控制系统一旦出现故障就必须快速定位故障部位,并采取相应的故障策略尽快解决故障,尽量减少系统的安全隐患及经济损失。文章通过图论的有关理论和故障特征假设提出了一种故障源的定位算法,采用该算法可以提高故障定位的效率。     

基于事件触发的非线性多智能体系统一致性

针对有向网络拓扑下具有非线性动态的多智能体系统,提出了基于事件触发的一致性控制协议;在实际的多智能体系统中,每个智能体的机载电池的容量和数量是有限的,基于事件触发的一致性协议能够有效地减少智能体控制器的更新次数,从而节约有限的计算资源;智能体的触发时刻由智能体的触发条件所确定,每个智能体只在触发时刻才更新自己的控制器;首先研究了集中式的一致性控制协议,主要利用矩阵理论的方法将一致性问题转化为微分方程的稳定性问题,得到了系统达到一致性的条件;然后研究了分布式的一致性控制协议,在协议中每个智能体只需利用邻居智能体的状态;利用Lyapunov稳定性理论证明了所设计的两个协议能够解决一致性问题,而且不会出现Zeno现象;最后,仿真实例验证了理论结果的有效性。     

用Tensor乘积法构造整谱有向图

通过研究Tensor乘积图与其谱之间的关系,得到Tensor乘积图是整谱图的条件,并由此获得了构造新的整谱图的方法,找到了一些新的整谱有向图.     

单纯三重有向三元系的相交数

证明了对于任意正整数ｖ≥３,存在两个ｖ阶单纯三重有向三元系相交于ｓ个公共有向三元组的充要条件是：当ｖ＝３时,ｓ∈｛６｝;当ｖ＝４时,ｓ∈｛０,１,２,…,１２｝＼｛１,１１｝;当ｖ≥５时,ｓ∈｛０,１,２,…,ｖ（ｖ－１）｝＼｛ｖ（ｖ－１）－１｝,从而完全确定了单纯三重有向三元系相交数的谱     

网格任务调度的有向超图划分算法

网格计算是当前一个活跃的研究领域,其中任务调度是一个重要部分.根据网格环境下任务调度及传统DAG图的特点,吸取有向超图的优点,将有向超图理论融合任务调度特征,建立了基于划分的网格任务调度有向超图模型,并在此基础上通过对网格有向超图的划分实现任务对网格资源的映射与调度,提出了一种基于有向超图划分的网格任务调度算法HPGTS.模拟仿真实验结果证明了该模型及其算法的有效性和优越性.     

完全有向图的奇长圈覆盖问题

给出了完全有向图ＤＫｖ的覆盖数Ｃ（ｖ，ｍ）ｖ＝ｍ＋５，２ｍ－３且ｍ是大于１的奇数。当ｍ·Ｔ（ｖ，ｍ）－ｖ（ｖ－１）时，给出了Ｃ（ｖ，ｍ）的下界。     

复杂网络实证研究——中国教育网

通过对中国教科网中.edu.cn域名下的网页进行搜索,建立了一个由366 422个网页和540 755条网页之间的超链接构成的复杂有向网络———中国教育网。经分析发现该网络的网页分别处于四个不同的层次上,各网页自组织连接构成一个复杂有向网络。大部分节点具有入连接边,只有少数节点具有出连接边,既有入连接边又有出连接边的节点就更少,节点度分布尾部呈幂律分布。该网络演化时,网页的增添通常仅在各高校子网中选择有关网页进行连接,不会在整个中国教育网中去择优连接。根据中国教育网的这些特点提出了该有向网络的演化模型,模型反映了中国教育网的一些主要特征。     

有机合成中脂肪酶对映体选择性的调控研究进展

脂肪酶是不对称合成中一种常用的手性催化剂。当前对高对映体纯物质的需求越来越大,这就对催化剂提出了更高的要求。文章讨论了调控脂肪酶对映体选择性的几种方法:反应介质工程、底物分子工程、酶分子修饰和定向进化。这几种方法的研究不仅使改善催化剂的对映体选择性成为可能,还有助于深化酶对对映体选择催化机理的认识。     

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

通过假设至少含有一对对称的位置上的非零元的 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(一种电子邮件应用软件)满足提出的可信原则.