两类n+3阶n色的色唯一图

用Tn(a,b,c)表示完全图Kn及其外一边uw作一些边后得到图,使|N(u)∩V(Kn)|=a,|N(w)∩V(Kn)|=b,|N(u)∩N(w)∩V(Kn)|=c.Tn(a,b,c)的边uw剖分一个顶点v得到的图为Fn(a,b,c).研究Fn(a,b,c)的色性问题,并给出Fn(a,b,c)是色唯一图的两个充分条件.     

Φ形图簇的伴随分解定理及其补图的色等价性

本文运用图的伴随多项式的性质,讨论了图簇ΦS（（k n＋1）δ,nδ）∪2kSδ的伴随多项式的因式分解定理,进而证明了它们的补图的色等价性.     

等价无穷小代换在求函数极限教学中的应用

本文通过具体实例列举了利用等价无穷小代换求极限产生的错误及原因,强调了等价无穷小替换方法的应用条件,对学好高等数学具有重要意义。     

解析几何教学中应注意的几个问题

指出了解析几何常用教材、教学参考书中存在的解法不通用、应用代数条件不准确、消参数忽视等价性等几处瑕疵,相应地提出了解析几何教学中应该注意的几个问题.     

一个含参数且非齐次核的Hilbert型积分不等式

应用权函数的方法及实分析技巧,建立一个具有最佳常数因子的含参数且非齐次核的Hilbert型积分不等式,还考虑了其等价形式与相应逆式.     

自动信任协商安全性的形式化分析与验证

为了对自动信任协商(ATN)的安全性进行形式化分析与验证,文中借鉴安全协议的形式化分析方法,提出一种用进程代数Applied π演算对ATN建模并验证其安全性的方法.该方法将ATN形式化为两个协商者进程的并发执行,其中一个协商者的进程就是对其拥有的证书及授权策略的静态建模;ATN的安全性被定义为Applied π演算的观察等价性,从而使该方法不仅能检查授权策略执行的安全性,而且能对协商者的隐私安全进行验证.借助安全协议的自动分析工具ProVerif,文中实现了对ATN安全性的自动分析.实验结果表明,用Applied π演算形式化及验证ATN的安全性是可行的,安全性验证可自动完成,并且效率较高.     

关于Γ-半群上的模糊同余

本文将半群上的模糊同余推广到Γ-半群上，定义了Γ-半群上的模糊同余并给出了包含在Γ-半群上的模糊等价关系中的最大模糊同余。     

整体概念在高等数学教学中的应用

将整体概念这一思维方式引入到高等数学教学中,若能使学生运用自如将有助于整个高等数学的学习。文中列举了整体概念在教学过程中的具体应用。     

关于一个半离散的Hilbert型不等式

应用权系数的方法及参量化思想,建立一个具有最佳常数因子的、半离散的Hilbert型不等式,并考虑了它的引入多参数的最佳推广式及等价式.     

一个半离散单调核的Hilbert型不等式

通过引入参数及估算权系数,给出一个半离散、单调核的Hilbert型不等式，同时给出了相应的等价形式.