关于Cockayne E J等人的一个猜想

Cockayne E J 引入了一个图G的k-符号控制数γks^-11（G）的概念，提出了如下猜想：对任意n阶连通图G和正整数k（n/2-＜k≤n），均有γks^-11（G）≤2k-n.我们证明了3方体Q3的5-符号控制数γSs^-11（Q3）=4，从而否定了这个猜想。此外，我们还给出了3-正则二部图k-符号控制数的一个上界，即证明了：对于任意n阶3-正则二部图G和正整数k（n/2＋1≤k≤n），均有γks^-11（G）≤2（k＋1-n）成立。     

图的Nordhaus Gaddumm型的代数连通度的界

设图G是n阶的单图,G＇是它的补图．用a（G）表示图G的代数连通度．在很多文献中,已经研究了邻接谱半径的Nordhaus—Gaddum型的界的问题．本文进一步探讨了代数连通度的Nordhaus—Gaddum型的界．得到：对树和其他一些图,a（G）＋a（G＇）≥1成立,并刻画了等式成立时的图的特征．根据这些结果,最后提出这样一个猜想：对n阶的单图G,有n（G）＋n（G＇）≥1.     

关于图的代数连通度的一个注记

设G=(V,E)是一个无向有限简单图.记V=V(G)={v_1,v_2,…,v_n},我们构成一个n×n阶方阵A(G)=(a_(i j) )n×n:其中degv_i是顶点v_i在G中的度数。如果A(G)的特征值λ_1,λ_2,λ_n满足λ_1≤λ_2≤…λ_n,那么λ_1=0,而λ_2称为G的代数连通度(Algebrai Connectivitv),记为α(G)。它是由M.Fidler引进的关于函数α(G),有许多没有解决的问题,其中之一为:对于两个任意给定的正整数n和α,0≤α≤n—2,是否存在一个n阶图G,使得α(G)=α。本文给出上述问题的一个肯定的回答。为达此目的,只需对于给定的n和α,0≤α≤n—2,我们构造一个n阶图G,使得α(G)=α就行了。令     

N-G型的代数连通度的界

对任一个n阶单图G,用a(G)表示G的代数连通度,Gc表示它的补图.着重证明了2个图类的代数连通度的N-G型的界:a(G)+a(Gc)≥1.     

图的Aα特征多项式系数的一个注记

设G是有n 个顶点的图,A(G)和(D)分别表示图G 的邻接矩阵和度矩阵?定义A_α ( G )= αD ( G )+( 1 -α ) A( G ),α ∈ [ 0,1 ]?图G 的A_α -特征多项式定义为矩阵A_α ( G ) 的特征多项式,即det( xI_n - A_α ( G ) ), 其中,I_n 为n 阶单位矩阵?给出了图的A_α-特征多项式的第5 个系数的组合表达式。     

图的Aα特征多项式系数的一个注记

设G是有n 个顶点的图,A(G)和(D)分别表示图G 的邻接矩阵和度矩阵?定义A_α ( G )= αD ( G )+( 1 -α ) A( G ),α ∈ [ 0,1 ]?图G 的A_α -特征多项式定义为矩阵A_α ( G ) 的特征多项式,即det( xI_n - A_α ( G ) ), 其中,I_n 为n 阶单位矩阵?给出了图的A_α-特征多项式的第5 个系数的组合表达式。     

Ramsey定理的一种推广

Ramsey定理指出:对于任何一个正整数k,存在一个最小的正整数r(k,k),使得对任意一个至少有r(k,k)个顶点的图G,它或者有k个顶点的完全子图Kk,或者有k个顶点是独立集.由此定理易得:设G是顶点数n>r(k,k)的简单图,其边数e>0,且G的所有k阶导出子图的边数相等,那么G是完全图.并给出上述结论的推广:设G是n(n≥4)阶简单图,其边数e>0,对某个给定的自然数k(2≤k≤n-2),若G的所有k阶导出子图的边数相等,则G是完全图.     

3-连通P3-支配图的Hamilton性

引进了P3-支配图并对BROERSMA HJ和VUMAR E提出的作为半无爪图的一个超类,研究了这类图的一些性质.得到:若G是n阶3-连通P3-支配图,则当n≤5δ-4时,G是Hamilton图.     

2-连通P3-支配图的哈密尔顿性

设G是n阶2-连通P3-支配图,我们证明了如果δ≥n/4,则G是哈密尔顿的或G∈F ∪{K2,3,K1,1,3},这里F是一类已知的2-连通非哈密尔顿图.     

2-连通P3-支配图的可迹性

令G是n阶2-连通P3-支配图,本文证明了如果G满足2N C≥n-2,则G是可迹的.     

Android操作系统可信计算平台架构

为解决现有基于Java J2ME架构构建可信计算平台时的局限性,本文针对Android操作系统特性,以移动可信模块为基础,提出了基于Android操作系统的可信平台架构,并对架构中的各个模块和技术方案的可行性进行论证,阐述了轻量级DAA匿名认证方案在本架构的实现思路,验证了此架构的可行性.分析结果表明,基于Android的可信计算平台架构可在不改变现有移动终端架构且不丧失Java特性的前提下,通过重用现有技术和硬件,使移动终端可在可信芯片的支持下进行可信认证,并保证认证速度.     

求解不可导算子的迭代法及其收敛性分析

主要研究了非线性算子不可导情形下Newton迭代型的收敛性.通过将不可导算子F分解为可导部分H和不可导部分G,借助Hernndez采用的修正迭代公式,分析了Newton型迭代的收敛性.相比Hernández的结果,本定理所需条件较弱,并且具有较好的误差估计公式.     

细 胞 凋 亡 的 研 究 进 展

本文介绍了细胞凋亡的基因调控及最新研究进展 . 介绍 ced-3,ced-4, ced-9, p53, bc1-2, c-myc 基因在细胞凋亡中的调控作用 . 强调了氧化诱导、 Caspase-3在细胞凋亡中的重要作用 .     

链环的trip矩阵

ZULLI L首先构造了一个用于计算纽结Kauffman尖括号多项式的模2矩阵,纽结的trip矩阵.为了构造链环的trip矩阵,引入了一个带标识的穿有m个孔的圆盘来取代纽结情形下的圆盘,其中m为链环的分支数.主要结果为:定理若状态S是从状态AA…A经过i1,i2,…,ip位置上的标记替换(A换成B)而得的状态.设Ts是将trip矩阵T的左上角的n×n子块中ai1i1,ai2i2,…,aipip之值进行替换(0→1或1→0)所得的矩阵,则#(L|S)=n+m-秩(Ts).因此计算链环Kauffman尖括号多项式就归结为计算一组模2矩阵的秩.     

基于共轭梯度法的感知矩阵优化方法

压缩感知理论中降低信号维数的关键问题是构造有效的测量矩阵。在已知稀疏基的情况下,基于ETF（Equiangular Tight Frame）框架的测量矩阵构造方法和稀疏信号重构过程均依赖于感知矩阵。为此,设计了一种基于共轭梯度法的感知矩阵优化方法,该方法简单易行,且所求结果的Gram矩阵与目标Gram矩阵更接近。 实验结果表明,此感知矩阵优化方法在理论分析、实际图像应用及算法有效性上均具优势。     

一种曲线段近似生成算法

本文提出了用曲线的相交多边形代替曲线的内接多边形近似曲线的生成，用该算法生成的曲线可更准确报画出定义的曲线。     

一种语言文档自动检索方法

提出了一种基于潜在语义索引的多语言文档自动检索方法,讨论了多语言环境下概念空间的构造,文档,词语相似度的计算及文档的查询。     

复多项式的一种估计

通过估计多项式和解析函数的上升性质，把关于实多项式的估计推广到复多项式上，从而得到关于解析函数的类似估计．     

一种改进的混合极性列表技术

针对基于多输出混合极性Reed-Muller逻辑表达式极性转换问题, 提出了基于不相交项的列表极性转换方法, 并通过极性搜索实现函数的最小化. 结果表明: 与传统列表极性转换法相比, 提出的新方法能有效降低时间复杂度.     

基于地区特点的行业技术路线图绘制方法探讨

行业技术路线图是能够引导行业向正确的方向发展的一种技术管理方法.本文介绍了行业技术路线图的基本概念、绘制特点和方法,并以宁波市汽车零配件行业技术路线图为例,说明了绘制地方行业技术路线图需要考虑的因素.