并发程序内部表示及静态切片算法的改进

通过分析Krinke切片算法对程序循环体内嵌套一个或多个线程结构会产生切片不精确现象,得出Krinke算法所基于的程序依赖图对线程间数据的依赖关系定义得过于粗糙,且对并发程序执行行为的合法性约束不够严格的结果.据此,提出一种新的并发程序依赖图,引入跨线程边界循环-承载数据依赖关系,并在此数据结构上改进了切片算法;引入区域化执行证据概念,进一步约束程序执行行为的合法性,并给出了添加跨线程边界循环-承载数据依赖关系的算法及新的并发程序切片算法的伪代码.实例分析与算法性能测试表明,改进的切片算法克服了Krinke算法的不精确现象,降低了时间开销,改善了算法的可伸缩性.     

图的最大亏格与面度

利用图在曲面上的嵌入特征,特别是面的度的大小,研究图的最大亏格的下界.     

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

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

简单图含有完全子图的一个充分条件

从生活中的一个问题出发,运用图论知识进行了分析,得到了结论,并且对结论进行了推广 得到了在一般情况下简单图含有完全子图的充分条件 并且,在度数要求方面,这个结果是最佳可能的     

复杂电路中独立回路选择的新方法

利用图论思想方法,讨论了复杂电路中独立回路的选择,提出了断圈、避圈选择独立回路,使用实践表明:此方法适用于任何复杂电路的独立回路的选择.     

利用相量图辅助正弦稳态电路分析

正弦稳态电路分析往往要采用相量法,在分析过程中若能灵活运用相量图为辅助工具,则能为问题的解决提供简洁的思路。     

关于图的Ramsey数的几个下界

推广了3个C4对完全图的R am sey数下界以及一个经典R am sey数下界问题,得到了3个C4对完全图的R am sey数的线性下界,以及一个关于多项式的经典R am sey数下界.     

变更图的边添加

证明了:对任何整数t≥6和d≥2,从一条长为d的简单路通过添加t条边后得到的图的最小直径上界为[d-2/t 1] 2,如果d∈J'(t,k)={2k(t 1) 1,2k(t 1) 2,2k(t 1)-t 1}∪{2k(t 1)-t h:h=6,7,…,t};其他情形为[d-2/t 1] 1.这个证明改进了已知结果,而且[d-2/t 1] 1是最好的上界.     

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

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

进位反馈移位寄存器状态图分布的进一步研究

进一步研究了以奇数q为连接数的FCSR的所有q 1个周期状态的状态图的圈长和计数问题，使得FCSR的状态图分布与LFSR的状态图分布一样清晰。