完全图的谱

本文通过组合数学和矩阵论的方法获得了完全图的特征多项式和谱,指出完全图的特征多项式的系数与图的结构之间的关系,并证明了邻接谱、拉谱拉斯谱和无符号拉谱拉斯谱三者之间的关系.     

实时系统开发与PEARL语言

本文讨论了实时系统的特征、开发方法、设计工具、实现手段工具等开发过程中的主要问题,论述了实时系统开发语言PEARL及该语言的对实时系统的主要支持.     

蕴含W5可图序列的最小度和

Gould,Jacobson和Lehel考虑了下述经典Tur偄n型极值问题的变形:对于给定的图H,确定最小的正偶数σ(H,n),使得对于每一个n项可图序列π=(d1,d2,…,dn),当σ(π)=d1+d2+…+dn≥σ(H,n)时,π有一个实现G包含H作为可图的.本文确定了当n≥11时,σ(W5,n)之值,其中Wr是r个顶点的轮图.     

关于图的第二特征标R2(G)

对任意图G，h(G，x)表示图G的伴随多项式，R2(G)表示图G的第二特征标，本文刻画了R2(G)=-2，-1，0，1，2的全部连通图。     

DEGREE CONDITIONS FOR GRAPHS TO BE FRACTIONAL （a, b, n）-CRITICAL GRAPHS

Let G be a graph, and a and b be integers with a ≤ b. A graph G is called a fraetional （a, b, n）-critical graph if after any n vertices of G are deleted the remaining subgraph has a fractional [a, b]-factor. In this paper two degree conditions for graphs to be fractional （a, b, n）-eritical graphs are presented, and the degree conditions are sharp in some sense.     

Hamilton线图中的泛圈性

对于图Ｇ的边ｅ＝ｕｖ，定义ｄ（ｅ）－ｄ（ｕ）＋ｄ（ｖ），这里ｄ（ｕ）和ｄ（ｖ）分分别表示ｕ和ｖ的度，该文的主要结果是：对阶为ｎ（ｎ≥４０）的简单连通图Ｇ，如果对Ｇ中任意两条边距离为２的边ｅ１，ｅ２都有ｄ（ｅ１）＋ｄ（ｅ２）≥ｎ，并且线图Ｌ（Ｇ）是Ｈａｍｉｌｔｏｎ的，则Ｌ（Ｇ）是泛圈的，并且条件Ｌ（Ｇ）是Ｈａｍｉｌｔｏｎ是必要的。     

图族S_(r(k+m)+1)~ψ∪(rk-1)K_1的补图的色等价性定理

设ψ( k,m)表示把星图 Sk+ 1的 k度点与路 Pm的一个 1度点重迭后得到的图 ,Sψ*r(k+ m) + 1表示把星图 Srk+ 1的 rk个 1度点分别与 rψ( k,m)的每个分支的 k个 1度点 (均邻接于ψ( k,m)的 k +1度点 )依次重迭后得到的图。证明了图族 Sψ*r(k+ m) + 1∪ ( rk -1 ) K1的补图的色等价性及非色唯一性 ,进而推广了这一结果     

科学创新思维中实在和虚拟范畴的流动和转化

实在思维是指科学认识活动中保持真实性的思维活动;虚拟思维是指在思维过程中的一种设想或虚构活动.它们共同构成了科学创新思维的两极.在它们之间的流动和转化中,科学创新得以实现.     

SW规约下的一些性质

本文进一步分析了SW规约下的SW度结构的一些性质,得到了强可计算实数的两个性质.并且证明了给定可计算可枚举实数,可构造出sw归约下不小于该数的低的可计算可枚举实数.     

基于动态拓扑有领航者的智能群体群集运动控制

对具有二次积分动态的智能群体跟随领航者实现群集运动编队,提出了一个分散控制方法对智能群体进行分散控制。基于动态时变有领航者的网络拓扑,用图论模型表示智能体之间的相互作用及通信关系,运用推广的Lyapunov理论、微分包含及非平滑分析进行了稳定性分析,并得到所有智能体速度方向收敛到同一方向并与领航者保持一致;所有智能体速度大小收敛并与领航者相同;互连的智能体之间没有碰撞发生;所有智能体的人工势场函数被最小化等重要结论。给出了一个仿真实例,验证了该方法的有效性。