带有B&L转换规则的Vp控制图的经济设计

在已有Vp控制图基础上,结合BL转换规则,构建了新的控制图经济模型,给出了相应的费用函数.将其与现有Vp(?)控制图进行了比较分析,发现在缩短报警时间、节约费用方面,所构建的模型有着明显的优势.此外,运用实际案例验证了模型的节约效果,并运用遗传算法、析因试验设计和多元回归方法,对过程参数和费用参数进行了敏感性分析.     

基于系统依赖图的过程间指针分析方法

针对目前指针分析算法的程序中间表示形式不能充分表示程序的语法结构与语义,因而不适合应用于源代码-源代码级别的程序转换与分析的问题,提出了一种基于系统依赖图的过程间指针别名分析算法。改进了指针别名信息的表示方法,精确描述数组元素和指针数组元素的别名。以系统依赖图作为程序的中间表示形式,在每个过程调用节点,根据是否为递归调用,分别采用改进的Banning算法和函数内联的方法处理因参数传递引起的别名信息。实验结果表明,该方法的准确性高于Wilson算法和Emami算法,且指针分析结果可直接应用于源代码级别的程序分析与转换中。     

具有最小子树数目的单圈图与双圈图

运用删边缩边原理,探讨了3种减小子树数目的变形,每一种变形都能比较一组图的子树数目的大小。在利用这些变形的基础上,刻画了具有最小子树数目的单圈图和双圈图的结构。     

多圈图类的特征值问题研究

讨论了在特定结构的双圈图和多圈图中,2作为其拉普拉斯特征值的存在性及其重数,而运用的主要方法是给顶点赋值寻找一符合特定特征值要求的特征向量来反过来确定对应的特征值.     

一个图类的研究

总结一类图的基本结论,研究图的代数性质.探讨了图的邻接谱与图的拉普拉斯谱,并分析了拉氏根的分布.     

圈C_3的(St(r),St(r),G_r)-冠的优美性

给出了圈C_3的(St(r),St(r),G_r)-冠的定义,讨论了圈C_3的(St(r),St(r),G_r)-冠的优美性,用构造性的方法给出了圈C_3的(St(r),St(r),G_r)-冠的优美标号.     

蕴含H可图序列的刻划

对于给定图Г,称可图序列π=（d1,d2,…,dn）是蕴含Г-可图的,若存在π的一个实现以Г为其子图．本文刻划了蕴含H的可图序列,其中H为剖分完全图K4的相邻两条边所得到的剖分图．     

生态系统的子整体建构何以可能——答生态系统本体论的追问

生态系统整体论与还原论的最终分歧体现在具有本体论地位的生态实体应该落在哪个层次的问题。"子整体"理论基础上引申出既是整体又是部分、具有本体论因果关系的"生态子"概念和多元的方法论体系,在一定的尺度范围内可以有效协调整体论与还原论之间的冲突。     

半线性抛物方程差分解的长时间行为

考虑带齐次D irichlet边值条件的半线性抛物方程ut-(pux)x=f(u)的初边值问题,研究了其在[0,1]×(0,+∞)上全离散Euler隐格式解的稳定性.在适当的假设条件下证明了离散系统在H1(Ωh)空间上存在连续的Liapinov泛函,并验证了离散系统的平衡点集在H10(Ωh)上是有界集,从而得到离散动力系统在H10(Ωh)上存在整体吸引子.