图的k-顶点着色与k-边着色的Groebner基求解

利用Groebner基方法给出了任意有限图的尼一顶点着色与k-边着色的求解方案,从而求得图的后．顶点着色方案和顶点色数,k-边着色方案和边色数．     

与路正交的 (0,f)-因子分解

文章证明了，若G是（0,mf-m 1)-图，H为G的具有m条边的路，则G有（0,f)因子分解与H正交。     

Ramsey极图的性质

本文在引进Ｒａｍｓｅｙ数Ｒ（ｍ，ｎ）的饱和极图Ｇ（ｍ，ｎ）的概念后，证明了Ｇ（３，ｎ）中每个顶点必至少是一个五边形的顶点以及Ｇ（３，ｎ）中至少含有个互不相交的五边形等定理；最后还证明了一个新的下界定理，从而改进了一批Ｒａｍｓｅｙ数的下界，例Ｒ（４，１５）≥１２２，Ｒ（５，９）≥９９等．     

一种基于网络图的电路状态方程列写方法

提出一种应用图论建立电路状态方程的方法，通过具体例子进一步介绍了建立图并由图得到状态方程的步骤。与其它同类方法相比，该方法更直观简捷，且无限制条件，可应用于任何电路。可看出，动态分析对于复杂电路是一种有效的方法。     

探讨利用速度瞬心法鉴别平面机构的虚约束

提出一种根据平面机构的构件和速度瞬心构造的图,利用这种图直观地对所求瞬心的唯一性进行判定,从而鉴别是否有可能出现虚约束;也可先将这种图转换为对应的邻接矩阵X,再利用该矩阵X的自乘幂X2进行判定。     

WDM疏导网络中的动态光路保护算法

研究了WDM疏导网络的生存性问题,提出一种保护图模型来有效反映网络当前状态·基于该模型提出两种支持多粒度业务的动态专用光路保护算法:最小波长链路法(MWM)和最小收发器法(MTM)·MWM总是选用需要新占用WLE最少的路径建立连接,而MTM则尽量选择占用收发器对最少的路径建立连接·在不同负载的动态业务下对所提算法进行了仿真研究,结果表明,MTM所需仿真时间略低于MWM,而MWM具有更低的阻塞率和更高的业务通过率·     

关于Ramsey数下界的一个注记

Ramsey理论是组合论中的一个重要内容，但确定Ramsey数R(k，f)是非常困难的．给出了Ramsey数R(k1，k2，…，km)的一个下界公式；同时也指出了2002年《数学的实践与认识》上某论文中的一些错误。     

基于Petri网的工作流模型优化

为了使工作流模型更简洁,在工作流网WFPN的定义的基础上,给出了利用可达性分析技术对WFPN进行合理性分析的有效方法,提出了一种通过添加抑制弧对WFPN进行优化的算法.该算法为Petri网在大规模复杂模型中的应用及其理论分析提供了一条新的思路.最后,通过一个实例说明了其优化过程,验证了该优化算法的有效性.     

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

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

语义特征造型的一种约束求解方法

基于历程的特征造型系统在产品模型的可编辑性和易编辑性技术方面存在的问题涉及到了特征造型中的核心技术,尤其在变量、约束的表示及提高约束变量求解的精确性和效率方面。本文在语义特征造型的基础上提出了对约束方程组进行分解,并转化为有约束的非线性优化问题,然后利用遗传算法约束求解,克服了运用几何变量法求解所存在的收敛性差、求解速度慢,以及单独使用遗传算法进行大量搜索与匹配求解速度缓慢的缺点。