结构智能的调节器:符号化及示范实现

通过三种控制功能,将调节问题层层归约,并利用拓广了的调节问题归约与或图,来显式地表示出结构智能调节器的逻辑推理和数值计算的细节和过程。整套方法直观形象,避免了逻辑上的冗余性或(和)不完备性,容易理解和分析。     

蕴含K1，1，3的正可图序列的最小度和

Gould R J等人考虑了下述经典Turán型极值问题的变形对于给定的图H,确定最小的正偶数σ(H,n),使得对于每一个n项正可图序列π=(d1,d2,...,dn),当σ(π)=d1+d2+...+dn≥σ(H,n)时,π有一个实现G以H作为子图.本文完全确定了σ(K1,1,3,n)之值,其中Kr,s,t是r×s×t完全三部图.     

冲击式采煤机温升计算与仿真

介绍了冲击式采煤机液压冲击系统,利用功率键合图建立了数学模型,得出温度变化曲线,并据此提出了控制温度的具体措施。     

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

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

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]因子的充分条件.该条件在很大程度上改进了已有的包含哈密顿圈的度条件,进一步完善了包含哈密顿圈的因子理论.算例表明所用方法的有效性,所得结论的正确性.