关于图的广义Mycielski图的邻点可区别关联着色

邻点可区别关联着色是使得相邻顶点的颜色集不同的关联着色。主要研究了路,圈C3m, C4m与完全图的广义Mycielski图的邻点可区别关联色数, 拓展了图着色的领域,便于更好的研究图的结构。     

一种多核系统上基于页着色的内存管理方法

当今多核平台多采用共享cache架构,但运行在不同核心上的任务产生的cache冲突问题使得程序最坏执行时间的计算变得十分困难.因此提出了使用页着色技术解决多核cache上访存冲突问题的方法.此方法的优势是使已有单核上的WCET分析技术可以对多核上的程序执行时间进行判断.在Linux系统上实现了支持页着色划分方法的内存管理系统,并使用通用测试集对该方法进行了测试.实验结果表明,在Linux系统中使用该内存管理策略后,在相同多核平台上程序的执行时间变得可预测.     

通过直接寻找路路分解的方法求图的自同构群及其Maple实现

本文给出一个通过直接寻找路路分解的方法求出图的自同构群,其算法的复杂性是多项式级的,对于一百多个点的图形也能顺利求解.     

基于赋时着色Petri网的协同工作建模和性能研究

提出了利用赋时着色Petri网(Timed Colored Petri Net)对协同工作进行建模和性能分析的方法;从性能角度提出一种新的协调策略,即从任务动态分配的角度对协同性能进行分析,并比较了各种资源优化分配的不足之处;提出利用模糊策略的方式,按照协同成员(组)的不同能力,在满足完成时间的要求下进行任务分配,从而达到了整体协作性能提升的效果．同时,用Deisgn／CPN对该策略进行了仿真分析,其结果证明了该方法的有效性和可行性．所提的调度策略已在CooPDesigner系统中得以实现．     

两类笛卡尔积图的关联色数

Ｒｉｃｈａｒｄ Ａ． Ｂｒｕａｌｄｉ 和 Ｊ． Ｑｕｉｎｎ Ｍａｓｓｅｙ 在［１］ 中引入了图的关联色数,并且提出了关联色数猜想,即：每一个图 Ｇ 都可以用Δ（ Ｇ） ＋ ２ 种色正常关联着色。本文的主要结果如下：我们不仅证明了路与路、路与圈的笛卡尔积图满足关联色数猜想,进而确定了它们的关联色数。     

图Pkn的着色

设k是一个正整数,在含有 n个顶点的路Pn=v1v2…vn上,当且仅当两点的距离为 k(k≥2)时增加一条边,这样所得到的图叫做Pkn(v1,vn),有时Pkn(v1,vn)也简记为Pkn.论文研究图Pkn的点着色、边着色和点、边全着色,得到图Pkn的点色数、边色数和图Pkn满足点、边全着色猜想等结论.     

高度正则图的强边色数

设f是图G的一个正常边着色，若对G中任意不同的两点u,v，着在与u关联的边上的色集和着在与v关联的边上的色集不同，则称f为强边着色。满足此条件的最小色数称为G的强边色数，记为X^-′（G）。本文确定了对n阶（n-2）-度正则图G，X^-′（G）=n，当n≥6时，对其补图为Hamilton圈的n阶（n-3)-正则图G，X^-′（G）=n-1，还给出了对任意的一条边e，X^-′（G-e)≤X^-′（G） 1的一个充分条件和X^-′（G-e）=X^-′（G） 2的必要条件。     

达到对策着色最大值的树的结构下界

讨论了图的二人对策着色.给出了对策色数能够达到树族对策色数最大值且结构非常简单的树.     

基于ROAD-CPN业务架构的可执行建模方法

开放组架构框架（TOGAF）业务架构作为数据架构、应用架构和技术架构的基准，在企业系统架构设计中占据引导作用。但由于其自身描述形式的局限性，存在无法对系统业务架构框架动态特征进行分析的问题，故提出一种基于ROAD业务架构的着色petri网（CPN）可执行模型生成方法。该方法基于TOGAF业务架构ACF元模型划分提出的4类模型——规则模型（RM）、组织模型（OM）、活动模型（AM）和数据模型（DM），建立4类模型不同描述形式与CPN建模语言间的对应关系，进而提出以RM，OM，AM和DM为主体的可执行模型五阶段建模方法。最后，以幼儿园智能晨检机器人系统业务架构为例，验证了所提方法的可行性和有效性。该方法实现了灵活、自动化的CPN可执行模型的生成，打破了业务架构建模语言和CPN建模语言之间的限制。     

获得小Ramsey数下界的一个方法

ｑ１，ｑ２是小参数，对于寻找Ｒａｍｓｅｙ数Ｒ（ｑ１，ｑ２）的下界，我们给出了一个新的方法，用这个方法，通过使用计算机，给出了包括Ｒ（５，１５）≥２４２在内的１３个新的下界。