两类非连通图(P2∨Kn)（0，0,r1,0,…,0,rn)∪St(m)及(P2∨Kn)（r1+a,r2,0,…,0)∪Gr的优美性

 对自然数n, m, i∈N,设K_i表示i个顶点的完全图,K_n表示K_n的补图,St(m) 表示m+1个顶点的星形树,G_r为有r条边的优美图,P_n为n个节点的路,P₂∨K_n是P₂与K_n联图。 给出了非连通图(P₂∨K_n)（0,0,r₁,0,…,0,r_n)∪St(m)和(P₂∨K_n)（r₁+a,r₂,0,…,0)∪G_r的定义,并论证了当n≥2时,这两类图都是优美图。     

完全图Kn的{P5,C5}分解

图分解问题已在很多邻域中得到了广泛的应用。用P₅表示5个顶点的路，C₅表示5个顶点的圈，本研究讨论了完全图K_n分解成5个顶点的路P₅和圈C₅的存在性，给出完全图K_n存在{P₅,C₅}-强制分解的充分必要条件是n≥7(n≠8)，以及完全图K_n存在{P₅,C₅}-分解的充分必要条件是n≥5(n≠6)。     

一个构造等能量图族的方法

一个图的能量定义为图的邻接矩阵的特征值的绝对值之和,是一类重要的图指标. 利用矩阵性质给出了一类联并图的谱刻划：正则图G₁,G₂,…,G_n的联并图G［G₁,G₂,…,G_n］的谱是由正则图G₁,G₂,…,G_n的谱（去掉每个正则图的第一个最大特征值）和一个由图G决定的辅助矩阵的特征值组成. 这个刻划能够给出一个构造等能量图的方法. 作为方法的应用,给出一些等能量图的例子.     

非本原复反射群G(m,p,n)中的反射序

设m，p，n是正整数且p整除m。令G（m，p，n）是非本原复反射群.根据文献介绍了群G（m，p，n）中的一种偏序，称为反射序.文中将研究当1 < p < m时，群G（m，p，n）中的反射序.     

非连通图(K1∨(P(1)n∪ P(2)n)) ∪ P(3)n及(K1∨(P(1)n∪ P(2)n)) ∪ P(3)n∪ St(n)的优美性

 给出了非连通图(K₁∨(P⁽¹⁾_n∪ P⁽²⁾_n)) ∪ P⁽³⁾_n和(K₁∨(P⁽¹⁾_n∪ P⁽²⁾_n)) ∪ P⁽³⁾_n∪ St(n),且对其优美性进行了研究。证明了如下结论：设 n 为任意正整数,则当n≥4时,非连通图 (K₁∨(P⁽¹⁾_n∪ P⁽²⁾_n)) ∪ P⁽³⁾_n和(K₁∨(P⁽¹⁾_n∪ P⁽²⁾_n)) ∪ P⁽³⁾_n∪ St(n)均是优美图;其中,Pn 是 n 个顶点的路,Kn 是n个顶点的完全图, St(n) 是 n+1 个顶点的星形树,G₁ ∨ G₂ 是图 G1 与 G2 的联图。     

有节点故障的d进制n维方的圈嵌入

互连网络的容错能力是并行计算中的一个关键问题,而d进制n维方（超方的一般形式）在计算机的互连网络中已得到广泛的应用。本文考虑有节点故障的d进制n维方的容错性。F是d进制n维方Q_n（d） 中的错误点集（n≥3）, 且|F|≤n-2,证明了Q_n（d）的每个无故障的边和无故障的点存在于长从4到dⁿ-2|F|的无故障偶圈中。而且,当d是奇数时,Q_n（d）的每个无故障的边和无故障的点存在于长为dⁿ-2|F|的无故障圈中。     

图的双罗马控制数的界

定义在图G的顶点集V(G)上的函数f:V(G)→{0,1,2,3}称为G的双罗马控制函数,如果每个赋值为0的顶点至少与一个赋值为3或两个赋值为2的顶点相邻,并且每个赋值为1的顶点至少与一个赋值为2或3的顶点相邻。图的双罗马控制函数的权为所有顶点的赋值之和。双罗马控制函数的最小权称为双罗马控制数。利用顶点数、围长、周长以及最小度得到了含圈图的双罗马控制数的若干上下界。     

半群DOPD(n,r)的秩和相关秩

设自然数n≥3,DOPD_n是有限链[n]上的保序且保距部分一一奇异降序变换半群.对任意的r（0≤r≤n-1）,记DOPD（n,r）={α∈DOPD_n：|Im（α）|≤r}为半群DOPD_n的双边星理想.通过对秩为r的元素和星格林关系的分析,获得了半群DOPD（n,r）的极小生成集和秩.确定了当0≤l≤r时,半群DOPD（n,r）关于其星理想DOPD（n,l）的相关秩.     

路径直积图的意大利控制数

研究了路径直积图P_n×P_m的意大利控制数。结合计算机构造证明和数学推导证明,确定了P_n×P₁、P_n×P₂和P_n×P₃的意大利控制数,并给出了P_n×P_m （m≥4）意大利控制数的界。     

最大度较小的图的线性着色

本文研究了最大度较小的图的线性着色问题。通过分析未着色顶点的邻近顶点的着色情况,扩充图的部分线性着色,利用数学归纳法证明了△（G）≤4的非4正则图G的线性色数有lc（G）≤7和△（G）≤5的非5正则图G的线性色数有lc（G）≤13。     

г-超半群的(m,n)超理想

首先引入г-超半群的(m,n)超理想的概念,给出了г-超半群的(m,n)超理想的刻画和(m,n)超理想的生成表示,并利用(m,n)超理想给出(m,n)单г-超半群和(m,n)正则г-超半群的刻画。利用本文的结果,当G只有一个元素且超运算是一般的二元运算时,半群的(m,n)理想以及利用(m,n)理想对正则半群的刻画可以相应得出。     

基于相关移位BOC(n,n)无模糊度捕获算法

GPS现代化过程中,为避免导航信号频段间的互相干扰,采用了BOC调制技术来实现频带资源的合理利用.但是经过BOC调制的信号的自相关函数会存在多个副峰,这将会使捕获存在模糊性.针对这一问题提出了一种新的无模糊度捕获算法,根据BOC单元相关函数的特性,通过与移位半个码片取反后的新函数相乘,最终实现消除边峰的能力.仿真分析表明,本文提出的算法可以削弱副峰的干扰,使主峰跨度减小到半码片宽度,捕获灵敏度同ASPeCT方法,但均峰比比ASPeCT方法提高约10%,计算量也减少了40%.      

Ramsey数R(6,n)的三个下界

构造３个新的素数阶循环图．从而得到３个Ｒａｍｓｅｙ数的下界：Ｒ（６，１５）≥２７２，Ｒ（６，１６）≥３０８，Ｒ（６，１７）≥４２２．     

一种O(n+nlog2m)时间复杂度的排序算法

通过分析任意输入的n个数据的组成特性,设计一种O（n nlog2m）时间复杂度的排序算法,m为原始输入数据序列中有序／逆有序的子序列个数,1≤m≤n/2。此排序算法的时间复杂性结果与输入数据的概率分布假设无关。     

Trajectory P system

Membrane computing is a branch of natural computing aiming to abstract computing ideas for the structure and the functioning of living cells as well as from the way the cells are organized in tissues or higher-order structures. Trajectories are used as a tool for modeling language operations and other related objects. A trajectory P system consists of a membrane structure in which the object in each membrane is a collection of words and the evolutionary rules are given in terms of trajectories. In this paper, we present some properties of trajectory P systems.     

Trajectory P System

Membrane Computing is a branch of natural computing aiming to abstract computing ideas for the structure and the functioning of living cells as well as from the way the cells are organized in tissues or higher order structures. Trajectories are used as a tool for modeling language operations and other related objects. A trajectory P system consists of a membrane structure in which the object in each membrane is a collection of words and the evolutionary rules are given in terms of trajectories. In this paper, we present some properties of trajectory P systems.     

R(4,1×n)型图的边标号

证明当n≡1（mod 2）时,R（4,1×n）型图是k-边优美图、超边优美图和边友好图.     

图m(G1(2n,1)*G2(2n,1))的优美性和奇强协调性

定义图m（G1（2n,1）＊G2（2n,1））的概念,证明它是优美图和奇强协调图,还证明图G1（2n,m）也是奇强协调的.     

P Systems Generating Iso-Picture Languages

P systems generating rectangular arrays and hexagonal arrays have been studied in the literature, bringing together the two areas of theoretical computer science, namely membrane computing and picture languages. Recently a new class of picture languages called the class of iso-picture languages generating interesting picture lan-guages have been introduced . In this paper, we develop a class of tissue-like P systems with active membranes as a generative device for iso-picture languages.     

一类(5,10)次Liénard方程的小振幅极限环

研究了一类m=5,n=10次Liénard系统在原点邻域的极限环数目问题,先通过计算机符号计算出原点的奇点量,再通过行列式方法证明了系统原点充分小邻域能产生9个极限环.给出了Ĥ（5,10）的一个新下界,即Ĥ（5,10）≥9.