自适应云端的大规模导出子图提取算法

针对现有云计算平台资源随机调配与传统导出子图挖掘效率较低等问题,进一步提升云计算平台中资源整合利用效率与大规模导出子图挖掘效率,提出了一种自适应云端的大规模导出子图提取算法,以解决资源优化利用与海量图挖掘等问题。首先介绍了云计算概念与导出子图挖掘相关概念以及问题描述;接着根据MapReduce并行处理模型设计了一种自适应任务动态分配算法SAC_TA(Self Adaptive Cloud Dynamic Allocation),它根据计算任务自适用分配系统资源以达到成本消耗的最优;并设计出自适应云端框架,然后基于自适应云端提出了大规模导出子图挖掘算法SFGFF(SAC_TA、Find_VE、G_F1、FindPartFG、FindAllFG),它共分为4个阶段的挖掘,将所有算法应用到自适应云端中可构成整个导出子图挖掘体系;最后在人工模拟数据与真实环境数据下进行了试验,结果表明,自适应云端运行良好,算法有效可行,具有较高的加速比与运行效率,能有效满足大规模频繁导出子图挖掘的需求。     

有向图k顶点导出子图的DNA粘贴算法

在经典的电子计算中,有向图k顶点导出子图是一个高度复杂的问题。DNA计算是近年来发展的以DNA为载体求解计算问题的非经典计算技术。文中研究了使用DNA计算解决有向图k顶点导出子图的问题,从而提出了一种在粘贴机上运行的子图生成算法。首先,以粘贴机的标准生化元操作作为算法调用的基本算子;其次,使用顺序与循环等程序结构,把上述基本算子按照一定的逻辑方式组织起来;最后,读取生化反应结果,即可获得给定有向图的所有k顶点导出子图。仿真实验结果表明,与经典算法相比,新算法在理想条件下大幅缩短了子图生成时间。     

关于几类图的关联色数

本文介绍图的关联着色的定义以及综述图的关联着色的已有结果,主要对几类特殊图的关联色数进行研究,包括风车图,齿轮图以及在此基础上扩充的图Dm,n,确定了这几类特殊图的关联色数的值.     

3个三色Ramsey数R（3,3,q）的新下界

研究了正则的素数阶循环图，提出了计算多色Ｒａｍｓｅｙ数Ｒ（ｑ１，ｑ２，．．．，ｑｎ）的下界的一种算法，得到３个三色Ｒａｍｓｅｙ数的新下界：Ｒ（３，３，１４）≥１８２，Ｒ（３，３，１５）≥１９２，Ｒ（３，３，１６）≥２３４．     

经典Ramsey数R（7,q）的4个下界

通过计算机构造了４个新的循环图，从而获得了４个Ｒａｍｓｅｙ数Ｒ（７，１８），Ｒ（７，２０），Ｒ（７，２１）和Ｒ（７，２２）的下界。这些结果填补了Ｒａｍｓｅｙ数研究的４个空白。     

不含特殊子式的符号图的选择数

针对符号图的列表点染色问题,证明了任何不含[K5]-子式或[K3,3]-子式的符号图的选择数至多为5,并且此处的上界5是不可再降低的,从而推广了Jin、Kang与Steffen发表于“European Journal of Combinatorics,2016,52：234-243”的关于符号平面图的对应结论。     

Ramsey数R（4,q）的几个下界

本文使用已获得的Ｒａｍｓｅｙ数下界：Ｒ（４，１２）≥１２８，应用递推公式给出Ｒ（４，ｑ），当ｑ＝１３，１４，１５，１６，１７，１８时，分别大于等于１３１，１３６，１４５，１５２，１６２，１７６。这６个新的Ｒａｍｓｅｙ数下界均超过目前已知最好的下界或填补了目前的空白。     

用自同构循环图计算Ramsey数R(3,q)的下界*

确定经典Ramsey数的下界是组合数学中非常困难的问题,因而人们常用各种方法计算它的界。发现一种新的方法, 即自同构循环图的方法,计算得到三个经典Ramsey数的新下界：R(3,30)≥188,R(3,33)≥217,R(3,34)≥225。     

四正则图的交叉数

利用计算机对图的交叉数进行研究,给出了利用分支界限法计算图的交叉数的算法CCN(calculatecrossing number),并利用该算法计算出n≤12的所有四正则图的交叉数以及n≤16的随机四正则图的交叉数.同时计算出n≤12的所有四正则图的平均交叉数Aac(n)和n≤16的随机四正则图的平均交叉数Aac(n),根据计算结果提出四正则图的平均交叉数为O(n相似文献   

Analysis of blockchain system based on $$\hbox {M}/(\hbox {M}_1,\hbox {M}_2)/1$$ M / ( M 1 , M 2 ) / 1 vacation queueing model

The Journal of Supercomputing - With the rapid development of technology, the issues about blockchain are getting more and more attention from scholars. In order to study the operation of the...     

广义Kautz有向图GK(3,n)的反馈数的界

对于给定的图G的顶点集的子集F,如果删除F使得剩余子图是无圈子图,则称子集F为图G的反馈点集。研究了广义Kautz有向图GK(d,n)的反馈点集。令f(d,n)表示广义Kautz有向图GK(d,n)的所有反馈集合中顶点个数最少的集合的个数(即广义Kautz有向图GK(d,n)的反馈数),给出了GK(3,n)的反馈数的上界,即 f(3,n)≤n+5n8 － 3n4－ 4n7+3。     

基于变形雅可比(p=4,q=3)-傅立叶矩的形状识别研究

在理论上从广义傅立叶-梅林矩人手对变形雅可比(p=4,q=3)-傅立叶矩进行了归一化,得到了平移、灰度、尺度、旋转等多畸变不变矩,同时用实验数据证明了该矩具有较理想的多畸变不变性.用类六边形抽样算法来提高变形雅可比(p=4,q=3)-傅立叶矩的图像数字化质量,减少量化误差.用加权最小平均距离规则,在34维特征空间中进行四类物体的平移、旋转、灰度以及缩放变化后的16个变形体进行了形状识别实验,实验结果表明误判率为零.     

三个Ramsey数R(3,q)的新下界

通过构造三个循环图,得到了三个经典Ramsey数R(3,q)的新下界:R(3,34)≥223,R(3,36)≥237,R(3,38)≥254。     

Metric completeness of C(p,q) in a globally hyperbolic spacetime

We consider a Lorentzian manifold M which is globally hyperbolic. We define a metric on C(p, q), the set of all equivalence classes of causal curves connecting two causally related points p and q. We show that C(p, q) is a complete metric space with the metric thus defined. Here, by completeness we mean that every Cauchy sequence (a sequence with a tendency to converge) in C(p, q) finds a point in it to converge. We also give an example to show that the result does not hold in general when the spacetime is not globally hyperbolic. The work is in line with research on causality in relativistic spacetimes.     

图Pu,v(n)的邻强边染色

u,v两点间连接n条内部不相交的路,其中最多有一条长度为1,记做Pu,v(n)。给出一个算法,利用计算机寻找边染色的规律,进一步给出了Pu,v(n)的邻强边染色法,从而确定了Pu,v(n)的邻强边染色数。进一步讨论了至多含有两个顶点度大于2的部分简单连通图的邻强边色数。     

Experimental and thermodynamic study of the influence of the base elements on the carbides natures in {Ni,Co}-based {25Cr, 0.4C, 6Ta}-containing alloys

Primary carbides may be important for the high temperature strength of polycrystalline Cr-rich cast alloys. TaC are among the best carbides for this role. Their presence depends on the base elements of the alloys. This dependence is here studied in the case of a series of Cr-rich alloys based on Ni and/or Co and containing Ta and C in equal molar fractions. Real alloys were cast and exposed at 1400 K and 1510 K, and their as-cast and aged microstructures were characterized. In parallel thermodynamic calculations using Thermo-Calc and a home-made database were carried out. It appears that TaC is the single carbide present in the alloy stabilized at high temperature only if the Co content is higher than the Ni one. Discrepancies appeared between calculations and the experimental results, showing that the used database must be improved. The experimental part of this work provides microstructures data which can be used to test databases and to enrich them if necessary.