非基本最短欧几里德2-连通Steiner网络的几个性质

欧几里德2-连通Steiner网络问题是组合优化中的著名问题,在水、电供应网络等的设计中有非常广泛的应用.以块图为工具,证明了非基本最短欧几里德2-连通Steiner网络的一些结构性质.     

UML 2.0通信图的一种测试用例生成方法

提出了一种UML2.0通信图生成测试用例的方法.首先根据通信图构建一棵通信树,利用后序遍历了所构造的树,从通信图中选择条件断言,然后转换条件断言并通过求解函数最小值的方法来生成测试用例.该测试用例满足消息路径覆盖和边界覆盖.     

Hamilton有向图的一个新的充分条件

设D是n(≥2)阶强连通有向图.猜想:如果D中每一对不相邻且有公共外邻或公共内邻的顶点x,y都有d(x) d(y)≥2n-1,那么D是Hamilton有向图.文章证明了当n≥7时,若D中每一个不相邻且有公共外邻或公共内邻的顶点x,y都有d(x) d(y)≥(5n)/2-5,则D是Hamilton有向图.当3≤n≤6时,存在非Hamilton有向图D满足D中每一对不相邻且有公共外邻或公共内邻的顶点x,y都有d(x) d(y)≥(5n)/2-5.     

LDPC码在OFDM通信系统中的应用与仿真

介绍了正交频分复用(OFDM)基带传输系统及其模型,概述了LDPC的编译码方法,研究了其在OFDM系统中的性能,并与卷积码进行了比较.仿真表明,LDPC码在OFDM基带传输系统中具有更好的纠错能力.     

若干多重联图的边染色

设G1,G2,…,Gn是n个(n≥2)两两不相交的简单图,它们的n-重联图是在G1 G2 … Gn中,将Gi的每一顶点与Gj的每一顶点连接起来(i≠j,i,j=1,2,…,n)所得到的图,简记为K(G1,G2,…,Gn).若Gi≌G,i=1,2,…,n,则称K(G1,G2,…,Gn)为G的等n-重联图,简记为K(n,G).本文研究了若干多重联图的边染色.     

房子图Hm,n,3的优美性和强协调性

定义一类新的图形——房子图Hm,n,3,设计一个算法并通过计算机给出房子图的优美标号和强协调标号,从而证明其不但是优美的而且是强协调的.     

氩气放电中不同形状边界下的六边形斑图研究

采用双水电极实验装置,在1.01×105Pa氩气介质阻挡放电中,研究了不同边界形状条件下得到的六边形斑图.实验发现,六边形斑图的形成及演化不随边界形状的改变而改变,各种边界形状下得到的六边形斑图放电特性相似.还讨论了壁电荷在其形成过程中起到的作用.     

带有规划库的规划器设计模型研究

利用在规划识别中的规划库思想,在图规划的基础上提出了规划库的组织形式、形成过程、搜索策略以及学习方法.这样在规划器中应用规划库,能够有效地利用原有规划的成果,为迅速地检索有效规划提供了一种新的选择方式.同时,利用多agent之间的协作,在复杂的环境中解决复杂问题时,规划器可以相互共享规划库,从而会大幅度地提高规划器搜索有效规划的效率.     

企业SPC技术应用误区浅析

对企业推行SPC(统计过程控制)技术的意义进行了简要说明。就目前我国企业对SPC的认识以及在推行时存的一些误区进行了分类阐述分析。     

有向二部图中的独立有向6-圈

证明了若有向二部图D=(V1,V2:A)的最小度至少为5k,则D有k个顶点不交的独立有向6-圈.其中 |V1|=|V2|=3k, k为整数.