一类几乎可约矩阵的本原指数

应用图论方法推导出至少有一对非零对称元但非对称的n阶本原几乎可约矩阵所成的类(SNBn)的数个指数公式,并进一步确定出(SNBn)的本原指数集(S1∪S2∪S3).     

图数据库中有向二分图构建的服务组合

云计算与大数据时代的到来促进了Web服务的发展。由于用户需求的复杂性,单个服务无法满足要求时,可将多个服务组合在一起提供解决方案。然而云中存在大量服务,查找合适的服务组合成为一个非确定性多项式(NP,non-deterministic polynomial)难问题。文章提出了一种利用图数据库解决组合问题的方法,通过构建基于有向二分图的服务组合图,对服务进行预组合并存储在Neo4j图数据库中,使用最少服务数组合查询和Dijkstra搜索算法来寻找服务数量最少或服务质量(QoS,quality of service)优化解。此外,能够根据服务的可用性对图数据库进行删除、添加、更新。实验结果表明,该方法能够在较短时间内在图数据库中寻找到满足用户需求的服务组合。     

复杂多个体时滞网络系统的脉冲一致性

从动力学与控制的角度考虑具有固定与切换拓扑多个体时滞有向网络系统的平均一致性问题.基于时滞动力系统的脉冲控制理论,提出了在通讯时滞环境中两个网络的脉冲一致性协议,并给出了寻求相应平均一致性问题简单而又一般的判据.最显著的特征是提出的第一个一致性协议对于任意的通讯时滞都是有效的,第二个一致性协议能够使得整个网络指数地达到平均一致.所获得结果表明,一致性协议中的脉冲增益在寻求平均一致性问题中具有相当重要的作用.数值模拟进一步验证了理论结果的正确性.     

有负权时有向图全路径算法研究

有向图有负权路径求解问题比较常见,但求所有可达路径的算法却见之甚少。本文在以前提出的一种有向图无负权所有可达路径搜索算法的基础上,提出一种先将有负权问题转换成无负权问题,进而用无负权算法求解之的方法。     

带负权最短路问题前趋法的改进

针对在带负权的有向网络中求最短路的前趋法的不足,结合动态规划思想从提高算法效率方面对其进行了改进,并提出了一种新算法.新算法通过引入变量记录当前节点到宿节点的最短路权,避免了前趋法中比较多条前趋路时反复计算最短路的冗余运算,同时弥补了动态规划不能直接求解带回路的有向网络最短路的缺陷,是一种计算带负权最短路问题的简便方法.该算法对非负权网络中的最短路问题同样有效.最后仿真结果和算例表明了新算法的有效性.     

具有第3大Wiener指数的有向图

通过有向图的Wiener指数,可以给有向网络的平均距离和节点的中介中心性赋有限的值,进而应用于大规模网络的分析.在所有n阶有向图中,有向圈C^→_n能取到极大Wiener指数,C^→+_n能取到第2大Wiener指数,利用反证法及分类讨论法对有向图的Wiener指数进行研究,得出了具有第3大Wiener指数的有向图,并刻画了相应的极图.     

给定水平约束图的一类集成电路布线算法

针对水平约束图为星图的具有曼哈顿模型的通道布线,提出了一个依据图论模型的最优轨道高度布线算法.该算法根据通道上结点的水平约束图和垂直约束图特点,依次安排好每一个结点的布线轨道,进而通过通孔可以把所有的结点在2层轨道上布线完成.通过计算分析,该算法能够达到最优的布线高度.     

PLC语句表向梯形图自动转换的实现方法

实现可编程控制器语句表向梯形图的自动转换,是提高可编程控制器应用系统的维护和改造效率亟等解决的问题．文中通过对PLC指令及其对应的梯形图图符进行分析．总结出由PLC语句表生成梯形图的规则,并分析软件实现的主要数据结构及其关键技术．实验结果表明,软件能正确实现PLC语句表向梯形图的自动转换,可广泛应用于PLC应用系统的设计．改造和维护。     

采用易错PCR对粘质沙雷氏菌几丁质酶C进行定向进化

以重组E.coliBL21(DE3)pLysS/pET22b-Chi C为亲本,采用易错聚合酶链反应(PCR)技术,对粘质沙雷氏菌几丁质酶C基因(Chi C)进行定向进化研究.经过两轮易错PCR后,建立突变体文库,进行平板初筛、包涵体复性及酶活检测复筛,获得一酶活较高的突变酶(Mut-Chi C),其催化活性为亲本重组酶的1.9倍,比活力为出发菌酶活的3.3倍.对突变酶的酶学性质进行初步研究,其最适pH值为5.0,最适温度为60℃,而出发菌该酶的最适温度为40℃.进化酶基因经DNA测序并通过软件与亲本型酶基因进行分析比对,表明突变酶Mut-Chi C基因发生点突变,使4处氨基酸被取代,且均为有义突变.     

Extended research on software hybrid testing combining reliability and directed testing

The software reliability testing has many disadvantages in practice,such as high complexity of constructing operational profiles and poor fault detection efficiency.Oppositely,the directed testing with a high fault detection rate is incapable of estimating reliability quantificationally.To solve this problem,a hybrid testing combining reliability and directed testing as well as a reliability model based on the order statistic(OS) model were presented by Mitchell.An extended research on Mitchell’s work is proposed.Firstly,the most proper distribution of the fault’s failure rate which tends to be lognormal is suggested,and a detailed form of the OS model based on lognormal and the corresponding parameter estimation method are proposed,respectively.Secondly,an implementing framework for the hybrid testing is proposed.Finally,the hybrid testing and the OS model are applied on a real website system.The experimental results indicate:the hybrid testing has more efficient fault detection power and lower testing cost than the reliability testing;compared with three traditional software reliability growth models,the OS model has a best or pretty estimation or prediction power for each data set;and for the failure data set collected from hybrid testing,the OS model also achieves an acceptable estimation result.