编码真核启动因子4E的毛尖紫萼藓基因GH425电子克隆及验证分析

GH425基因(genebank EST#:GPE204)来自毛尖紫萼藓干旱胁迫cDNA文库。本实验在小立碗藓核酸数据库中,以GH425基因为基因探针进行电子克隆,最终得到全长序列GH425NO.1。经ORFfinder分析,以最长ORF设计引物,对毛尖紫萼藓进行RT-PCR验证,得到了与之对应的条带,证明了毛尖紫萼藓中含有电子克隆的片段,即电子克隆结果正确。经Blastx分析,确定该序列编码真核启动因子4E。     

一种基于脆弱点依赖图的脆弱性评估方法

为弥补目前网络脆弱性评估系统比较简单、评估结果不全面不准确的不足,提出一种基于脆弱点依赖图的网络脆弱性评估方法,并在该评估方法基础上开发出相应的评估系统.该方法吸收了通用弱点评价体系(CVSS)的优势,同时与目标网络的脆弱点依赖图很好地结合起来,可对网络脆弱性做出一个客观评价.在计算过程中,该方法将脆弱性可利用性和脆弱性影响分开计算,并与实际目标网络中的脆弱点依赖图相结合,从而使得计算值更有参考和实用价值.     

测量分幅图批量打印的实现

通过对批量打印的讨论和研究,提出了测量分幅图批量打印的解决思路,并利用AutoCAD内嵌的VBA语言,开发出了自动批量打印程序,大大提高了生产率,降低了出错率。     

面向图文法的体系结构测试方法研究

针对目前体系结构描述语言对体系结构动态行为描述方面的不足而难以生成测试路径问题,提出一种基于超边图文法的软件体系结构测试技术,首先用超边图文法表示软件体系结构,同时用实体语言EL描述体系结构,然后根据EL描述导出接口互联图IIG,再根据测试覆盖准则,生成测试路径,最后以Client/Server为例验证该方法的有效性.     

基于2-hop优化的子图模式匹配算法

讨论大图上有效可达标记2-hop编码,及其构造的图结构信息数据结构在判定两点之间可达性的高效性,基于这些高效结构,提出一种基于栈的DAG全局图模式匹配算法,该算法结合了栈在匹配过程中线性空间开销的优势。实验结果表明,相对于目前主流的图模式匹配算法,该算法具有中间结果小,时间高效的优势。     

B-值Dirichlet级数确定的整函数的(p,q)(R)级和(p,q)(R)型

利用Newton多边形研究了B-值Dirichlet级数确定的整函数的增长性,较方便地得到了B-值Dirichlet级数的(p,q)(R)级及型和下(p,q)(R)级与系数关系的若干结果.     

蝴蝶之城——咸平

咸平地处韩国南部山区,是韩国全罗南道的一个郡,距光州市约30多公里。那里资源匮乏、位置偏僻,在韩国属于经济欠发达地区。1999年,为了振兴咸平经济,当地政府策划并推出了一个颇具特色的经济发展计划,其核心是举办一年一度的咸平蝴     

网格图的多重2-分离L(2,1)-标号

研究了两种网格图;正三角形,正六边形网格图。研究了它们的n重2-分离L(2,1)-标号以及n重2-分离L(2,1)-圆标号。用Kn表示n个点的完全图,图G的n重2-分离L(2,1)-标号就是复合图G[Kn]的L(2,1)-标号。通过对两种网格图的顶点循环地分配标号集,得到了正三角形网格的n重2-分离L(2,1)-标号数取值范围,并且完全确定了正六边形网格的n重2-分离L(2,1)-标号数。     

图的仅需着色种数与其区分等式和其他问题——兼对地图四色区分的证明

本文续接《图的着色证明与图的着色定理》一文,着重于对＂地图以4色区分会不会发生‘爆炸’的问题＂和＂图的‘仅需着色种数’与其区分等式＂进行了证明,证明四色猜想成立。同时,应用＂两点连线＂的证明方法对事物中的连接现象进行了论证,强调＂组合与区分＂两者之间关系才是四色猜想命题研究的归结点。此外,指出物体表面的全相邻力是验证物体同胚体的依据,可构造出需用百、万、亿种颜色区分的整体。     

五面体平图中的生成树的构造与计数

首先给出了生成子图的定义,生成子图与生成树、含圈的生成子图的关系S(G)=C(G)+T(G);其次对于任意连通图,以p=4,q=6的完全图K4为例给出了生成子图个数的计算公式,同样以p=4,q=6完全图K4为例给出了生成树的构造定理和计数定理,提出了图S(G)生成树的计数方法和构造方法;最后,介绍了五面体平图生成子图个数的计算和各生成子图的构造,并验证了所给公式的正确性,从而解决了任意平图G(p,q)生成树的构造问题。