一类剪刀积图HG的亏格

设H和G为连通图,H和G的剪刀积图HG定义为:V(HG)=V(H)×V(G),E(HG)={(u,v)(s,t)|uv∈E(H),st∈E(G)}.利用电压图及其覆盖图的嵌入理论,本文研究了当第一个因子H为一条路,第二个因子G为Cayley图时,这类剪刀积图HG的亏格.本文的结果可视为目前在研究这类图的亏格上的一个补充,且较大程度上推广相关文献的主要结果.     

密钥覆盖问题的NP完全性证明

 给出了密钥覆盖问题的模型建立过程,并从顶点覆盖问题的判定形式出发,证明了密钥覆盖问题的判定形式是NP完全问题,为组通信安全的研究,尤其是多播安全的研究奠定了更为坚实的基础.     

SPHERE： a scalable multicast framework in overlay networks

This paper presents Sphere, a scalable multicast framework in overlay network. Sphere is a highly efficient, serf-organizing and robust multicast protocol overlayed on the Internet. The main contrihutions of this paper are twofold. First, Sphere organizes the control topology of overlay network in two directions： horizontal and vertical. The horizontal meshes are used to locate and organize hosts in tracks, and the vertical meshes are. used to manage the data paths between tracks. Second, Sphere balances stress and stretch of the overlay network by assigning hosts into different tracks and clusters. This structure distributes stress on the muhicast trees uniformly, and meantime makes path stretch as small as possible. Simulations results show that Sphere can support multicast with large group size and has good performance on organizing meshes and building data delivery trees.     

全口覆盖义齿不同固位方式的分析研究

利用全口覆盖式种植义齿对牙列缺失患者进行修复治疗有利于获得义齿良好的稳定和固位的修复效果.全口覆盖式种植义齿根据其固位形式的不同可分为杆卡附着式种植义齿、球帽附着式种植义齿、磁性附着式种植义齿,不同的设计方式对临床应用将带来不同的影响.本文综述了覆盖种植义齿相关的生物力学、种植体数目、即刻加载等方面的研究进展.     

最小度确定时最大匹配个数的估计

文章讨论了K_(n,n)的生成子图有完美匹配的条件,以及对K_(n,n)的生成子图的最小度确定时,得到了它的最大匹配数的一个下界.     

τ-平坦试验模与τ-平坦覆盖

证明了τ-平坦试验模的存在性, 并给出了{τ-平坦模}构成预包络类或预覆盖类的几个充分条件.     

The Loss of Weight and Release of Formaldehyde in Acid Treatment of Basofil Fiber

The Basofil fiber is a new type of hightemperature fiber. Its Limiting Oxygen Index （LOI） value reaches 32. It does not melt, drop down or smolder when it contacts fire. The fiber is condensed from melamine and formaldehyde into a cross-linked with methylene-ether and methylene bridge bond. This thesis discusses the change of fiber structure and performance after the acid treatment.     

利用软件故障注入提高软件测试覆盖率

软件测试过程是软件生命周期中提高软件质量的重要阶段，但无论结构测试还是接收测试（AT），都很难测试程序的所有分枝，对于容错软件的异常处理和故障恢复代码的测试尤其困难。使得这些代码中可能包含软件故障，反而成为软件质量的隐患，为此采用程序变异的方法对被测软件进行故障注入，用强制的方法执行被测分支，从而提高软件的测试覆盖率。     

局部可分度量空间的序列覆盖ss象

给出了局部可分度量空间的各类序列覆盖ss象的刻划。     

广义斯坦纳系GSk+1(2,k,v,g)的一个构造方法及简单应用

给出了广义斯坦纳系GSk 1(2,k,v,g)的一个递推构造方法，并给出了当k=4时该方法的一个简单应用。