Halin图谱半径的新上界及极图

利用移接变形的方法再结合特征值的计算技巧刻画出Halin图中谱半径达到第二大的极图,从而得到除轮图以外的Halin图的谱半径的上界以及极图.

基于常微分方程的死锁检测实验分析

用静态分析方法对并发程序进行死锁检测通常比较困难,其原因是会遇到状态空间爆炸问题.文中针对作者曾提出的一种可有效避免状态爆炸问题的死锁检测方法,进行进一步实验验证.该方法的基本框架是首先将表示并发系统的离散Petri网模型连续化,得到一种新的连续Petri网模型;在此基础上,建立系统的常微分方程模型;通过分析常微分方程组的解来检测系统中是否存在死锁.与传统方法不同点在于:该方法不需要遍历状态空间,而是分析一组常微分方程组的解.为了减少在求解常微分方程模型过程中的计算机系统的开销,作者还釆取了一系列优化策略.哲学家进餐问题被用来说明死锁检测的方法.大量的实验结果说明作者所提出的方法有着较强的静态分析能力.作为副产品,这种分析方法还可以用来判定系统的有界性.

基于关系演算的Java模式识别

分析了面向对象类与对象间的关系,在此基础上建立了对应的属性模型并且以关系演算的方法进行捕获模型的对象关系;讨论并实现了动、静态相结合的基于Java语言的经典设计模式检查工具,并以该工具为基础做实验对一些设计模式进行了验证。

树的Nordhaus-Gaddum类型谱半径的排序

给出了n阶树的Nordhaus-Gaddum类型谱半径即图及其补图的谱半径之和的可达上界:ρ(T)+ρ(Tc)≤■+n-2,等号成立当且仅当T K1,n-1,其中Tc为T的补图,K1,n-1为n阶星图.同时证明了对于n阶双星图S(a,b)的Nordhaus-Gaddum类型谱半径随a的值单调上升,其中[n-1/2]≤a≤n-3.

基于R_0算子的模糊概念学习

讨论基于R0蕴涵算子的模糊概念学习,建立基于该算子的内涵映射和外延映射,讨论这两个映射的一些性质;通过这两个映射,从具有模糊属性的数据表中进行概念学习;并将R0算子与其它蕴涵算子进行比较。

图和有向图的测地数

图G内的任意两点y和v,u-v测地线是指u和v之间的最短路．I(u,v)表示位于u-v测地线上所有点的集合,对于子集S (?) V(G),I(S)表示所有I(u,v)的并,这里u,v∈S．图G的测地数g(G)是使得I(S)=V(G)的点集S的最小基数．对于有向图D,类似地可定义g(D)．图G的测地谱是G的所有定向图的测地数的集合,记为S(G)．G的下测地数g-(G)=minS(G),上测地数g+(G)=maxS(G)．文中主要研究了连通图G的g(G), g-(G)和g+(G)之间的关系．同时,还给出g(G)和g(G×K2)相等的充分必要条件,从而推广了Chartrand,Harary和Zhang的相关结论．