混凝土泵车臂架布料机构及其运动学仿真方法的研究

针对混凝土泵车臂架布料机构特点,对其进行了折叠方式分析,研究了臂架布料杆倍角运动机构,实现了布料机构位姿仿真,给出了包络图形成机制·     

关于K_4(2,2,3,δ,ε,η)的色性问题

证明在K4-同胚图K4(2，2，3，δ，ε，η)这一类图簇中，任何两个不同构的图之间不存在色等价关系．这一结论从色多项式的角度刻划了K4-同胚图K4(2，2，3，δ，ε，η)的结构特征，为研究K4-同胚图K4(α，β，γ，δ，ε，η)的色唯一性奠定了基础．     

主动数据库的规则终止性分析

提出一种基于进化图的规则终止性静态分析的方法，全面考虑了触发图、活化图和惰化图。这种基于进化图的分析方法比传统基于图的分析方法分析更为精确，之后提出了规则终止性分析算法并证明了其正确性。     

超图的最小边数与染色问题

讨论了3一致l-超图的最小边数问题,给出了上色数为2的3一致l-超图的最小边数的一个上界.     

关于几类图的L(3,2,1)-标号问题

图G的L(2，1)-标号是一个从顶点集V(G)到非负整数集的函数f(x)，使得若d(x，y)=1，则|f(x)-f(y)|≥2；若d(x，y)=2，则|f(x)-f(y)|≥1．图G的三(2，1)-标号数λ(G)是使得G有max{f(v)：v∈V(G)}=k的L(2，1)-标号中的最小数k．该文将L(2，1)-标号问题推广到更一般的情形即L(3，2，1)-标号问题，并得出了Kneser图、高度不正则图、Halin图的λ3(G)的上界．     

结合图的导出匹配可扩性

简单图G和H的结合图G[H]的顶点集为V(G)×V(H),其中(u,v)和(u′,v′)相邻的充分必要条件是:或者uu′∈E(G)或者u＝u′并且vv′∈E(H).研究了结合图G[H]的导出匹配可扩性,证明了若G和H是非平凡图,G是连通图,且G和H满足下列条件之一,则G[H]是导出匹配可扩的:(1) G和H中有一个是导出匹配可扩的;(2) G和H都有完美匹配;(3) G和H中一个有完美匹配,另一个有几乎完美匹配.     

多元De Bruijn图的限制边连通性

多元De Bruijn图UB(d, n)是De Bruijn网络的拓扑结构, 它具有高效网络应该具备的许多特性, 如短直径、小最大度和多节点. 本文研究无向多元De Bruijn图的的限制边连通性, 证明当n≥4时UB(d, n)是超级限制边连通的, 回答了张克民等人提出的问题.     

特殊的steinhaus图的同构问题

针对以双对称矩阵为邻接阵的steinhaus图．剖析它的邻接阵的结构，给出了这类图同构的判定条件。     

激光相干控制光电流的密度矩阵表述

用以密度矩阵微扰论为理论基础的Feynman图形技术分析了相干控制光电流和光学整流的物理实质, 说明它们分别来源于密度矩阵对角元和非对角元对应的“实”和“虚”跃迁; 从极化的角度来讲, 两者又分别对应于带内极化和带间极化. 从时域和频域两个角度分别阐明了相干控制光电流在超短激光脉冲激发下的时间演化情况以及对频率的依赖关系, 并且由光生载流子在动量空间的分布进一步说明带内极化是相干控制光电流产生的原因.     

拉伸法快速绘制轴测图的研究

根据轴测投影的基本定理和正投影图，在AutoCAD中不用坐标变换，也不用UCS系统及三维造型技术，仅用拉伸、复制、平移、修剪等常用的绘图技术，即可快速绘制出各种理想的轴测图，免除了不停变换坐标系统和逐个输入各点坐标的烦恼．此方法独特，方便快捷，易学易用，充分发挥了AutoCAD的常用绘图和编辑工具的优越性。