对称检测算法的研究

对称是逻辑综合，逻辑优化以及映像技术领域中一个非常重要的性质，对于对称函数，可以使用特殊的逻辑综合程序来改进设计结果，使用对称也可以提高映像技术和等价检测的有效性，提出一种用于OBDD布尔函数对称性检测的精确有效的算法。     

正投影类似性在识读三视图中的应用

通过对机件表面类似投影几点特性的介绍，举例说明了类似性在三视图读图，审图中的应用。     

C4k∪C4k∪Cm的优美性

Ｃ４ｋ∪Ｃ４ｋ的优美性已被证明，本文研究Ｃ４ｋ∪Ｃｋ∪Ｃｍ的优美性。给出了其为优美图的必要条件，同时给出了Ｃ４ｋ∪Ｃｋ∪Ｃｋ－１，Ｃ４（３ｔ＋１）∪Ｃ（ｔ＋１）∪Ｃ４（２ｔ＋１）以及Ｃ４（３ｔ＋１）∪Ｃ（３ｔ－１）∪Ｃｔ－１的优美标号。     

连通2-Kn-残差图的一个注记

【目的】对Erdös等人关于连通 m-Kn-残差图的最小阶和极图的两个猜想进行修正。【方法】利用容斥原理以及集合的运算性质等方法。【结果】证明了最小阶的连通2-K6-残差图仅存在两个不同构的极小图,从而解决了连通2-K6-残差图的最小阶和极小图问题。【结论】最后提出了新的猜想。
     

蕴含3Cl可图序列

设σ（３Ｃｌ，ｎ）是具有下述性质的最小正偶数，每个项和至少为σ（３Ｃｌ，ｎ）的ｎ项可图序列π都有一个实现含有长为３，４，…，ｌ的圈．本文首先给出了σ（３Ｃｌ，ｎ）的下界，并确定了当４ｌ６且ｎｌ时σ（３Ｃｌ，ｎ）的值．     

空间任意位置相交圆柱体展开图的计算机辅助绘图

本文建立了空间任意两圆柱体展开图的通用数学模型，编制了相应的计算机程序，实现了空间各种位置相交两圆柱表面展开图的计算机辅助绘图，该工作对工程实践有重要意义。     

通用统计图形软件设计中的几个问题

针对设计通用统计图形软件所遇到的几个问题给出了解决办法。     

任意循环极限效率的P-V图证明的再讨论

给出了在Ｐ－Ｖ图上用外切卡诺循环证明任意循环极限效率的更直观、更简便的方法     

关于图的边染色方面的一些结果

改进了一些边染色临界图的边数的下界。同时证明了：对没有４－圈或任何两个３－面都不同时关联于一个点的平面图，关于边染色的平面图猜想成立。     

基于自适应图的半监督图像分类方法

针对半监督分类模型存在的模型复杂度高、构造正则化项难度大的问题，从丰富样本特征表示的角度出发，构造了自适应图结构的融合网络模型（AGSH）。该模型在卷积神经网络模型（CNN）基础上引入了自适应图卷积神经网络（AGCN）提取CNN模型特征间的关系。对AGSH模型泛化性能的分析证明了该模型在解决半监督相关问题时的有效性。实验结果表明：融合模型在五种图像数据集上的分类精度相比于单一CNN模型分类精度均有提升。研究结论为解决小样本分类问题的建模方法提供了参考。