Ramsey极图的性质

本文在引进Ｒａｍｓｅｙ数Ｒ（ｍ，ｎ）的饱和极图Ｇ（ｍ，ｎ）的概念后，证明了Ｇ（３，ｎ）中每个顶点必至少是一个五边形的顶点以及Ｇ（３，ｎ）中至少含有个互不相交的五边形等定理；最后还证明了一个新的下界定理，从而改进了一批Ｒａｍｓｅｙ数的下界，例Ｒ（４，１５）≥１２２，Ｒ（５，９）≥９９等．     

线图求根

给定线图G,如何求得根图H,使G=L(H)?本文就无向图和有向图作出解答.     

Hamilton图的代数刻划

运用矩阵方法,给出了连通图是Ｈａｍｉｌｔｏｎ图的一个代数刻划     

素数阶循环图与经典Ramsey数R(8,19)和R(8,20)的新下界

该文研究了素数阶循环图的基本性质,提出了寻求有效参数构造正则循环图的新方法,得到了２个经典Ｒａｍｓｅｙ数的新的下界：Ｒ（８,１９）≥７０２,Ｒ（８,２０）≥７７０。这两个结果填补了关于Ｒａｍｓｅｙ数综述［４］的上下界表中的２个空白。     

一些基本图的〔强〕自同态摹群

确定了一些基本图的〔强〕自同态摹群的基数,并在证明过程中实际上确定了这些摹群的全部元素,同时发现确定一些极其简单的图之自同态摹群却是极其困难的事情,有时甚至导致一些一般的组合难题．     

Almost every graph has a fixed edge

An edge e of a graph G is called a fixed edge if G-e+e′ G implies e′=e, and an isomorphic fixed edge if G-e+e′ G implies that there exists an automorphism of G-e, which maps the ends of e to the ends of e′. It is proved that almost every graph is with all its edges as fixed edges and isomorphic fixed edges, and it is conjectured that all graphs contain isomorphic fixed edges.     

广义变换图G^＋∞（R,S）的边连通度

记Ａ＋∞（Ｒ,Ｓ）为具有行和向量Ｒ及列和向量Ｓ的所有ｍ×ｎ阶非负整数矩阵的集合．广义变换图Ｇ＋∞（Ｒ,Ｓ）的顶点定义为Ａ＋∞（Ｒ,Ｓ）中的矩阵,两个顶点（矩阵）相邻当且仅当它们可通过一次变换相互得到．并证明Ｇ＋∞（Ｒ,Ｓ）的边连通度等于其顶点的最小度δ（Ｇ＋∞（Ｒ,Ｓ））．     

一类色等价图的图特征

给出了一个有割点的连通图Ｇ是色唯一的充分必要条件为Ｇ由一个色唯一,顶点可迁图连一尾构成,进而证明了若Ｍ为色唯一,不含分离边的连通图,且Ｐ（Ｇ,λ）＝（λ－１）＾ｋｐ（Ｍ）则Ｇ含一子图同构于Ｍ及Ｋ个桥。     

基于微元件键合图库的微机电系统动态建模与仿真

为了更好地支持微机电系统(MEMS)TopDown设计流程,针对MEMS仿真中的多能量域与非线性特点,采用键合图场元件与结型结构设计并实现了一个集中参数表达的MEMS键合图仿真元件库,同时基于该元件库提出了一种MEMS动态系统建模与仿真方法.采用参数化仿真模型与结构化体系构建的元件库,为MEMS设计流程中的概念设计阶段与系统级设计阶段的快速建模与仿真提供了方便,同时元件库内的所有元件均与MEMS器件级设计中的结构特征具有映射关系,这为用户需求空间功能原理空间结构空间之间的设计空间映射提供了方便.通过一个静电间隙执行器的系统建模过程与仿真结果,验证了利用该元件库进行建模与仿真的有效性.     

并发程序内部表示及静态切片算法的改进

通过分析Krinke切片算法对程序循环体内嵌套一个或多个线程结构会产生切片不精确现象,得出Krinke算法所基于的程序依赖图对线程间数据的依赖关系定义得过于粗糙,且对并发程序执行行为的合法性约束不够严格的结果.据此,提出一种新的并发程序依赖图,引入跨线程边界循环-承载数据依赖关系,并在此数据结构上改进了切片算法;引入区域化执行证据概念,进一步约束程序执行行为的合法性,并给出了添加跨线程边界循环-承载数据依赖关系的算法及新的并发程序切片算法的伪代码.实例分析与算法性能测试表明,改进的切片算法克服了Krinke算法的不精确现象,降低了时间开销,改善了算法的可伸缩性.