基于离散型鲸鱼优化算法的AGV与机器集成调度方法

针对制造系统中考虑路径冲突的AGV(automated guided vehicles)与机器集成调度问题,提出一种基于时间窗和Dijkstra算法的离散型鲸鱼优化算法。首先,以最小化最大完工时间为目标,建立AGV与机器集成调度的数学模型,并采用一种三段式编码实现AGV和机器的集成编码,建立连续空间与离散空间之间的映射关系;然后,为了保证初始种群的质量和多样性,设计一种结合混沌映射和对立学习的扩展型GLR(global, local, random)种群初始化方法;运用Levy飞行算子和阈值重启操作进一步提高算法的全局搜索能力;最后,为了提高算法的局部搜索能力,引入结合问题特点的变邻域搜索算法。标准算例仿真实验和柔性仿真实验证明了该算法解决AGV和机器集成调度问题的可行性和优越性。     

动态时间规整算法在局部放电模式识别中的应用

采用试品升、降压过程中的视在放电量-施加电压序列作为特征量,并引入动态时间规整(DTW)算法进行局部放电模式识别以区分不同的缺陷类型。算法在训练阶段首先对训练样本和测试样本进行矢量量化(VQ),以码本码字代替原始矢量实现数据压缩,再以训练样本的码字构造DTW参考模板。在测试阶段,计算测试样本与每类放电参考模板的平均DTW距离,并利用快速匹配(FM)算法加快DTW运算过程,最后应用最近邻识别准则得到识别结果。对5类放电的200个样本的测试结果表明,DTW算法具有识别率高和易拓展的优点,并且FM算法能够节省56%计算量和提高DTW算法的识别率。     

关于映射空间一个定理的注记

刻画了映射空间一致收敛拓扑与紧开拓扑等价定理的本质特征，化解了文[1]证明之误及晦涩之处。     

FORBIDDEN SUBGRAPHS,DEGREES,NEIGHBORHOOD UNIONS AND CIRCUMFERENCES OF GRAPHS

Combining forbidden subgraphs with degree restrictions and neighborhood unionrestrictions,respectively,we prove the following results:(1) Let G be a 2-connected graph of order n,and 3≤c≤n.If for each induced subgraphL of order four of G(?)|V_1(L)∩S_c|≥2 if L≌K_(1,3),and |V(L)∩S_c|≥1 if L≌P_4,then thecircumference of G is at least c,where V_1(L)is the set of vertices with degree 1 of L,S_c isthe set of vertices with degree at least c/2 of G and P_4 is a path of order 4.(2) Let G be a 2-connected graph of order n,and n≥s+2.If for each induced subgraphL of G isomorphic to K_(1,3)or P_4,d_L(u,v)=2(?)|N(u)∪N(v)|≥s,then the circumferencec (G) of G is at least s+2.Moreover,if n≥s+3 and s is odd,then c(G)≥s+3.     

城市"社区"是否可能?--关于农村邻里空间与城市邻里空间的比较分析

一种观点认为,当代中国城市邻里可以培育出经典意义上的社区共同体。通过理论与经验两方面的分析表明,城市中很难出现经典意义上的社区共同体。在城市邻里与农村邻里比较分析的基础上,提出了有关城市社区之所以不“可能”的一项解释。     

L-fuzzy拓扑空间中的N-导算子

引入并系统地讨论了L-fuzzy拓扑空间的N-聚点与N-导算子,结果表明它们具有一般拓扑学中相应的几乎全部结论。例如杨忠道定理成立;X_λ为L-fuzzy集A的N-聚点当且仅当A-x_1中有收敛于x_λ的分子网;(A∨B)~(d*)=A~(d*)∨B~(d*)等等。     

关于L-相对T_0与相对T_1分离性

定义了L-fuzzy拓扑空间的相对T0与相对T1分离性.给出了相对T0与相对T1分离性等价刻画.研究了相对T0与相对T1分离性的性质,包括遗传性、可乘性,传递性与L-好的推广,对相对T0与相对T1分离性与其他分离性进行了比较.     

用线性算子定义的亚纯p叶函数类

利用线性算子Dα定义了亚纯多叶函数的新子类Tp,α(;βA,B)和Tp ,α(;βA,B),将解析函数的邻域概念应用到亚纯多叶函数上,探讨了这两个函数类的性质,得到函数f(z)=z-p ∑∞n=1anzn-p在类Tp,α(;βA,B)中的充分条件,并由此研究了其他性质.利用类Tp ,α(;βA,B)的定义得到了f(z)=-z p ∑n∞=p an zn在类Tp ,α(;βA,B)中的充要条件.