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％；用文献中的实例数据计算，与原方法相比，减少了机车总消耗时间．     

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

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