顶点着色的若干结果

色数理论研究是图论研究的一个重要方面．在引入了最优顶点着色概念的基础上，获得了图的色数的系列上界，刻画了图的色数与图的特征根之间的关系，即用图的特征根来估计图的色数的上下界。     

基于着色Petri网的BPEL建模与验证

目的为了保证使用商业过程执行语言(BPEL)描述的Web服务组合的正确性。方法用着色Petri网(CP-nets)对BPEL流程进行建模、分析以及验证。结果定义了一套从BPEL到CP-nets的映射规则,该规则可以将BPEL流程转换成CP-nets,通过着色Petri网工具-CPN tools对该CP-nets进行自动分析以及验证,从而验证该BPEL流程的安全性、活性等性质。结论利用CP-nets这种形式化工具可以有效地发现BPEL流程中存在的设计错误。     

排课系统的着色Petri网建模

根据玉林师范学院的实际情况,建立排课系统的模型,并利用建模工具着色Petri网对排课系统进行可视化建模,描述系统流程,以期对排课系统的开发有所帮助.     

全部四着色解的基着色+自同构群表示法

本文在文献[1]的基础上，利用同构四着色类和基着色的概念，给出了用基着色和自同构群表达描述全部四着色解的一种方法。这种方法密切联系着图的对称性，可大大节省存储空间。     

基于着色Petri网的QoS驱动服务合成建模及应用

本文的主要工作是提出了QoS驱动的理念，并且利用经过改造的着色Petri网模型对这个系统进行建模和分析，最后利用着色Petfi网的软件工具（CPN Tools）绘制系统模型。     

Halin图的圈着色

对3－连通图Halin图，确定了其圈色数，并得到较好结果。     

图的着色理论研究与发展

文章主要介绍了图的着色理论的发展史,分析了＂四色猜想＂在着色理论中的特殊地位;最后,对近年来新出现的一些重要着色问题做了简要的探讨。     

圈的（λ，κ）着色问题

从(λ，κ)着色这一概念出发，应用组合论的方法对圈的(λ，κ)着色进行分析，得到了相应的计数公式PG(λ，κ)，并应用这一计数公式解决了一个实际问题。     

基于着色Petri网的电子商务工作流建模

用基本Petri网对电子商务工作流建模,往往会因为细节过多而使其图形复杂.提出了一种基于着色Petri网的模型,给出了针对电子商务中网上购物系统的建模过程并进行了结构合理性的论证.应用结果表明,通过着色Petri网建模可以使得库所和变迁的数量都大为减少,使图形更加简约.     

基于着色Petri网测试用例的自动生成

针对基于UML的面向对象程序设计方法及着色Petri网的特点,提出了一种基于着色Petri网的测试用例生成方法,该方法将UML的时序图描述转化为着色Petri网的形式化描述,通过深度优先遍历着色Petri网找出系统的测试路径,对给出的测试数据采用爬山法进行测试用例的选择,最后,根据路径覆盖的原则产生完整的测试用例．     

图顶点着色问题的改进粘贴DNA算法

针对目前存在的解决图顶点着色问题的DNA算法或DNA编码量过大或复杂度太高的问题,为了提高解题效率,将多级分离技术应用到图顶点着色问题的求解中,对解决该问题原有粘贴DNA算法加以改进;改进后的算法减少了操作步骤,达到了预期目的;最后,通过对一个实例的模拟,说明了改进算法的可行性.     

广义向量平衡问题解的存在定理

本文研究广义向量平衡问题，得到了广义向量平衡问题解的一个存在定理，它以向量平衡问题、广义不等式、通常的不等式为其特例．     

简单图的全染色的一个结果

简单图的全染色是图的染色理论中的一个重要问题,为了深入研究图的全色数猜想与图的最大平均度之间的关系,我们利用差值转移方法证明了最大平均度小于4的简单图的全色数满足全色数猜想;同时,还证明了最大度不小于12且最大平均度小于6的简单图G的全色数不超过Δ(G)+3.     

关于Frobenius问题的一个结果

关于Ｆｒｏｂｅｎｉｕｓ问题Ｆ（ａ１，ａ２，．．．，ａｎ），ｎ＝２时已彻底解决，ｎ＝３时有部分结果。本文给出一定条件下Ｆ（ａ１，ａ２，．．．，ａｎ）的一个公式，关于这个问题的已有结果可以由这个公式推出。     

平面图无圈边着色的一个结果

图G的无圈边着色是指图G的一个正常边着色且不含双色的圈.图G的无圈边色数是指图G的无圈边着色中所用色数的最小者,用x’a(G)表示;证明了如果G是一个D中的顶点不与3-面相关联,3-顶点不与D中的顶点相邻且Δ(G)≥6的平面图,则x’a(G)≤Δ(G)+1。     

关于交换环上二阶特殊线性群的一个结果

本文引入了广义稳定环的概念．并且证明SL(R)=E2(R)的充分必要条件是R为广义稳定环。     

哲学家进餐问题一种解法的改进

介绍哲学家进餐问题死锁预防的一种解法的改进,对其进行了探讨.并用Java程序进行验证.     

关于群环诱导模的几个结果

主要讨论了群环诱导模的完全可约性,以及关系式socWL=socWG∩WL;RadWL=RadWG∩WL,其中,W为RH-模．     

奇异椭圆边值问题正解的不存在定理

根据非线性理论,利用上、下解方法,给出了一类奇异椭圆方程边值问题正解的不存在性结果,证明了方程－△ｕ＝－ｆ（ｕ）＋λｈ（ｘ）在有界区域Ω包含Ｒ″上的０边值问题。     

关于Gross问题的一个结果

研究了亚纯函数的惟一性 ,得到了如下结果 :设S1 =0 ,n -1n ,S2 ={z:zn-zn- 1 -1=0 },n为正整数 ,且n≥ 3 ,f(z) ,g(z)是任意两个非常数亚纯函数 .如果E(Si,f) =E(Si,g) ,(i=1,2 ) ,E1 (∞ ,f) =E1 (∞ ,g) ,且δ(∞ ,f) >12 ,δ(∞ ,g) >12 ,则f(z)≡g(z) .这个结果解决了Gross问题的一个结论