Datalog线性递归程序的自动编译

基于ＶＰＣ－扩展图模式，给出了Ｄａｔａｌｏｇ线性递归程序编译式的自动生成算法，研究表明，该算法能有效导出所有复杂类型Ｄａｔａｌｏｇ线性递归程序的编译式。     

气象传真图的二值化方法

本文研究讨论了适用于气象传真图预处理中二值化方法和确定阈值的方法。针对气象传真图图象的特点和图象的接收质量，分别讨论了整体阈值、局部阈值以及非线性局部阈值方法。这些方法在实际应用中取得了令人满意的结果。     

伪-Halin图的邻强边染色

对图G(V，E)，一正常k-边染色f称为图G(V，E)的k-邻强边染色，当且仅当任意uv∈E(G)，有f[u]≠f[u]，其中f[u]={f(uw)|uw∈E(G)}，并称x′。(G)=min{k|存在G的一k-ASEC}为G的邻强边色数．研究了△(G)≥5的伪-Halin图的邻强边色数，并通过归纳法证明了对△(G)=5的伪-Halin图G，有5≤x′as(G)≤6．如果E(G[V△])≠Ф，则,x′as(G)=6．并提出猜想：对|V(G)|≥6的连通图G(V，E)有△(G)≤x′as(G)≤△(G) 2．其中△(G)为G的最大度．     

关于图的符号边控制数

设G为一个n阶连通图，m=|E(G)|，△和δ分别为图G的最大度和最小度，给出了图G的符号边控制数的一个下界、即γ‘‘‘‘‘‘‘‘，（G）≥[M-(△-δ)(△-2)(n-δ)/2△-1]，并确定了几类特殊图的符号边控制数。     

偶图的符号控制数的两个下界

对于偶图G的符号控制数γs，毛经中等证明了γs≥4(√1 n-1)-n，对此结果作进一步的改进．     

声波透射法检测基桩完整性的影响因素

在介绍声波透射法测试的基本原理基础之上,对声波透射法检测中扶正器和声测管管径导致的声时波动进行了分析,并提出可以将声测管作为钢筋笼的一部分在桩基的整体结构中发挥作用。     

机车周转图编制的自适应遗传算法

建立了成对与不成对列车运行图的机车周转图的数学模型和相应的机车最优配置的遗传算法．用单段映射交叉和基于知识的变异方法以及交叉概率，变异概率随个体优劣程度自适应调整策略，提高了局部搜索能力以及收敛和优化性能．以某区段实际运行图为例，用本文方法使机车总消耗时间和需要的机车数分别减少约5．7％和7．7％；用文献中的实例数据计算，与原方法相比，减少了机车总消耗时间．     

互通式立交匝道线形组合的检验

通过速度图检验互通式立交匝道线形组合是否恰当,对匝道线形组合进行优化调整,使立交线形设计更加合理,符合汽车在立交区短时间内加速和减速的变化,保证行车安全。     

用磁声发射原理测量钢轨残余应力

根据磁声发射原理并利用自制的磁化器对退火钢轨进行室内应力标定，得到用面积法处理的应力与ＭＡＥ强度标定曲线，又据此测量了Ｕ７４ ６０ｋｇ／ｍ新轨的残余应力，取得较满意的结果。     

机动目标的多脉冲宽带相关成像方法研究

研究了图像特征点的时延-时间伸缩参数提取方法，通过建立旋回规避运动目标的成像几何模型和运动方程，得到了目标运动参数求解估计方法，最后研究了一种针对目标作非合作旋回规避运动情况的多脉冲宽带相关成像方法．通过仿真验证，表明该方法较传统的宽带相关成像方法分辨率高．