以活动为中心的软件过程建模及其作用的研究

从分析以活动为中心的软件过程的特点以及活动之间的规则、关系和分类出发,抓住了过程活动的特点与度量活动的难点.通过实例研究将以活动为中心的软件过程模型特点应用到软件过程度量中,通过活动图抓住度量关键域,并分析了两种方法具体结合对企业实际项目开发过程中的过程度量与改进的意义,不仅简化了软件过程度量,同时避免了过程度量的盲目性.     

Almost every graph has a fixed edge

An edge e of a graph G is called a fixed edge if G-e+e′ G implies e′=e, and an isomorphic fixed edge if G-e+e′ G implies that there exists an automorphism of G-e, which maps the ends of e to the ends of e′. It is proved that almost every graph is with all its edges as fixed edges and isomorphic fixed edges, and it is conjectured that all graphs contain isomorphic fixed edges.     

含负权有向图最短路问题的一种新算法

Dijkstra算法是求解最短路问题的一种经典算法，但是它的缺点是不能用来求解含有负权的最短路问题。本文对图论中含有负权的最短路问题进行研究，提出了一种新算法，将含有负权的最短路问题先转化为不含负权的最短路问题，最后再利用Dijkstra算法求解，并用实例验证该算法的有效性，具有一定的现实意义。     

A distance regular graph of type E1 Ed

In this note, the distance regular graph of type E1 Ed is considered and some characterization of the type graph is given. The results generalize the characterization of tight distance regular graphs.     

无三边形极小3连通图的非基本边数

给出无三边形极小3连通图G的非基本边数的下界︱G︱ 3,并证明图G的非基本边数达到下界当且仅当G同构于K3,3.     

关于图的顶点标号的几个结论

根据图顶点标号的定义以及图形结构,给出几类图的顶点标号的界值限定及包含三角形K3的(k,d)-优美图中边的条数与k的关系.     

均衡二分图中存在哈密顿因子的条件

研究了在均衡二分图中包含给定哈密顿圈的[k,k+1]因子的存在性问题.根据图论中因子和临界图理论,并结合代数知识,针对均衡二分图,研究图的阶数,顶点的度和因子之间的关系,分情况讨论,通过对均衡二分图的临界条件的限制,给出均衡二分图中存在包含给定的哈密顿圈的[k,k+1]因子的充分条件.该条件在很大程度上改进了已有的包含哈密顿圈的度条件,进一步完善了包含哈密顿圈的因子理论.算例表明所用方法的有效性,所得结论的正确性.     

智能规划中互斥动作延迟算法

为解决扩张规划图时某一时间步出现的互斥动作的延迟问题，引进了无序要求互斥动作和有序要求互斥动作的概念，并且在此基础上，给出互斥动作延迟算法．利用这一算法生成的规划图，在进行有效规划的搜索时是非常方便的．     

扇、轮和完全图的r(2)点色数

提出了图的r(2)点染色的概念,研究了扇Fn、轮Wn、完全图Kn的r(2)点染色问题,并得到了它们的r(2)点色数.     

赋权图上最短路径的一种简便算法

在不考虑负回路的前提下,给出了在含有负权的赋权图上求任意两点间最短路径的一种简便算法,此算法既适用于有向图又适用于无向图,并且可据此算法找到最短路径。