n阶完全图全着色的构造及其推广

引进了图的全着色矩阵的概念,从而给出了n阶完全图全着色的构造,并推广到任意n阶图G的最大度Δ(G)=n-1的情形,给出了与猜想等价的命题·     

汉语叠词的英译

叠词大量存在于汉语中，其英译颇为不易。应从效果对等和语义对等两方面对此进行探讨，并具体介绍运用修辞手法，借助英语本身所具有的叠词现象，借用汉语拼音，运用形容词、副词、动词、量词、数量词等的翻译方法。     

一类K4-同胚图的色等价性

给出了K4-同胚图乜(1，2，5，δ，ε，η)这一类图簇中的所有色等价类，从而刻划了K4(1，2，5，δ，ε，η)的结构特征，并且获得了三对色等价非同构的K4-同胚图。     

关于模糊映射的几点注记

在Fuzzy集合上定义了一类“有趣的”Fuzzy等价关系，并给出其应用实例。对模糊关系的定义域、值域和投影等有关内容作了适当的修正。借助模糊壳点的概念给出模糊映射的点态刻画。     

图Sp(m,m,…,m)(}r)∪(r-1)K1的补图的色等价性

令Sr l表示r 1个顶点的星，Pm表示m个顶点的路，φ(r，m)表示把Sr 1的r度点与Pm的一个1度点重迭后得到的图，S^p(m,m…,m)/r表示把rPm的每个分支的一个1度点分别与Sr 1的r个1度顶点重迭后得到的慧星图。通过研究图S^p(m,m,…,m)/r∪(r-1)K1的伴随多项式的分解，证明了其补图与图(r-1)Pm∪φ(r，m)的补图是色等价的。     

谣言传播的Potts模型中的正则和微正则相变

使用1个新的非扩展能量模型研究统计物理学中的系综等效性问题．利用模型系统的配分函数和自旋组态数，分别在正则和微正则系综下计算系统的热力学函数自由能和熵等．计算结果显示，模型系统在正则描述下出现一级相变，而在微正则描述下不出现，表明正则和微正则系综对该系统相变级数的描述不等效．通过与其它模型比较可以预见，系综不等效可能是所有非扩展能量类系统共同的性质．这一结果为非扩展统计力学框架内的系综等效性研究提供新的证据。     

从Gone with the Wind的两个中译名看标题翻译

标题翻译必须紧扣原文主旨，反映一定的意趣；同时还必须发挥译语优势，用凝练机智的语言设计形式关，只要译文标题具有一定的意关、音关，并紧扣原作思想内容，纵然背离原文标题，也应该是合格的译作。     

一致性验证的结构化激励生成算法

为解决Cache一致性验证中传统随机激励方法的冗余覆盖及覆盖死角等问题,提出了一种高层次结构化激励生成算法和相应的高层次功能覆盖率模型.首先根据实际多核应用场景将冲突访存操作分类成基本同步和复杂同步,并进一步抽象成有向二分图模型,由此提出一种通用的层次化输入空间等价类划分算法和对应的高层次HSPC（Host Slave Pair Coverage）功能覆盖率模型,最后基于树的搜索提出了结构化激励生成算法.上述方案成功应用于IME-Diamond SoC的Cache一致性的功能验证中,实际结果表明,相比传统基于代码的覆盖率,高层次HSPC功能覆盖率模型的揭示功能Bug能力更强,而且相对于传统的随机生成,结构化的激励能够将覆盖率收敛所需的激励数减少96.3%.     

S-系上的模糊同余

给出了S-系集合A上的模糊同余的定义,用A上的模糊二元关系θ定义的模糊二元关系θ刻画了由θ生成的模糊同余θ．     

L-Fuzzy等价关系的L-Fuzzy等价类

给出了L-Fuzzy等价关系的L-Fuzzy等价类的概念,并讨论了它的一些性质．