简单图的子图及其性质研究

给出图论中关于子图的定义,并得到子图的一些性质。通过定理阐述子图与其导出子图的同构性、子图与哈密尔顿图的关系,并证明和举例。     

基于traceroute的多特征子网发现与分析

互联网测量的研究促进了路由器级拓扑发现的发展，而网络层的子网能为其提供更详细的中间互补视图.针对子网边界条件以及完整性考虑不足引起的准确率较低问题，提出了一种多特征结合子网发现算法.研究了同一子网IP的traceroute路径特征，将多个特征结合设计更精准的子网边界判定条件.通过筛选子网的完整性，缩小候选子网的搜索空间，启发式求解子网发现问题.实验结果表明，本文算法与现有其他算法相比，能更准确地发现子网，有效地减少子网误报情况，同时效率有所提高.最后，对六个地理上分散的ISP进行子网推断，并分析了这些ISP之间常见的各种子网特征.     

多状态系统故障树的一种生成方法

介绍一种多状态系统故障树生成方法．首先对传统的可靠性框图方法加以改进,提出一种新的框图分析方法．然后在可靠性框图分析的基础上,依据判定表,自动生成故障树．本方法适合多状态系统可靠性分析     

圆环与多边形重叠区域的判定算法

讨论了圆环与多边形重叠区域的判定算法,它集判断与确定功能于一身,并给出了作出其重叠区域的定理。     

拉丁方的同构

本文给出了拉丁方向构的概念,将ｎ阶拉丁方成分一些同构的类。     

基于Log-gabor小波的运动目标阴影检测

针对阴影覆盖前后的场景纹理相似的特点和Gabor小波在纹理特征提取上的不足,利用Log-gabor在纹理特征提取上的较优性能及对光照的不敏感性,提出一种基于Log-gabor的运动目标阴影检测方法.首先根据阴影在颜色空间的特点,利用像素点亮度变化规律,对前景中包含阴影的运动目标进行检测,提取疑似阴影区域.然后对疑似阴影区域分块,获取块Log-gabor纹理特征.最后,针对运动目标和道路纹理区别,提出合理有效的阴影判定准则,使用判定准则识别阴影.实验结果表明,所提方法在不需场景先验知识情况下,能较快较准确检测出阴影.     

探讨斐波纳契毛毛虫树的边标号

为了探讨斐波纳契毛毛虫树的边标号,采用不同于原定义的图标号的方法 -先从边对每个图进行标号。利用先从边标号的特点,主要讨论了1-斐波纳契毛毛虫树的边二分奇优美标号,边优美标号及边魔幻全标号。最后讨论了1-斐波纳契毛毛虫超级同构图的二分奇优美标号。这样的方法省去了大量繁复工作,大大提高了图标号的效率。     

BCK—代数的形式系统

本文引进了BCK-代数的形式系统L 的概念,并且给出了关于L 的任意一个合式公式是否为它的一个定理的判定方法。     

系统可控性与可观性的计算机判定

本文给出判定系统可控性与可观性的算机程序,该程序能迅速、准确地给出结论。     

伪辛群作用下子空间轨道生成的格的同构条件

文章讨论了伪辛群作用下子空间轨道生成的格的同构条件。首先给出3个引理,说明格L(m,2s+1,s,1;2υ+1)和L(m,2s,s,1;2υ+2)与L(m-1,s;2υ)同构。进而进行推广,得出了格L(m,2s,s,1;2υ+2)与格L(m,2s+1,s,1;2υ+1)的同构条件。