结式循环线性系统求解的快速算法

给出了一类结式循环线性系统求解的一种快速算法.当结式循环矩阵非奇异时,该快速算法可求出该线性系统的唯一解;而当结式循环矩阵奇异时,该快速算法可求出该线性系统的通解。     

从集合论的角度分析循环不变式

Dijkstra-Gries提出了五种循环不变式的开发技术,薛锦云教授另外又给循环不变式作为迭代算子的定义,本文从集合论的角度来看循环不变式。     

非线性循环及Rm上线性循环的终止性判定

为了研究程序设计中的软件可信性问题,分析了非线性单重循环程序Whilex∈Ωdo｛x:=f(x)} end当Ω为有限个互不相交的闭区间之并时的终止性,证明该终止性在一定条件下可以由周期轨道的存在性加以判别,给出了确定条件下此类程序不终止的充分必要条件,并建立了相应的判定程序.进一步,利用Brower不动点定理及凸分析的理论,在Rm上建立了当循环条件Ω是有限个互不相交的闭凸集之并时线性循环程序终止性判定的方法.     

萨巴太循环的火用分析

根据能量守恒定理与卡诺定理，对内燃机的理想循环———萨巴太循环进行火用分析，并与现有的文献进行分析比较，得出正确的计算途径与计算结果     

循环荷载作用下有无侧向约束复合地基沉降对比分析

为探讨循环荷载作用下有无侧向约束夯实水泥土桩复合地基的变形性状,进行了循环荷载作用下有无侧向约束夯实水泥土桩复合地基室内大比例模型对比试验,基于模型对比试验实测结果,分析了侧向约束对夯实水泥土桩复合地基变形性状的影响。结果表明:有侧向约束的夯实水泥土桩复合地基的沉降明显低于无侧向约束夯实水泥土桩复合地基的沉降。侧向约束对降低复合地基沉降的效果随着循环荷载比的增大而变得更加显著。因此,侧向约束对限制软土的侧向变形、降低复合地基的沉降具有良好的作用。     

用循环队列求解高次本原多项式

本原多项式是构成线性反馈移位寄存器的基础,在给定级数n情况下确定相应的多个本原连接多项式是工程应用中常遇到的问题,针对级数n较大情况下难以求解其本原多项式这一问题,先给出了求解本原多项式的一般算法,然后针对该算法在求解高次本原多项式时可能遇到的问题进行了讨论,并提出了一种用循环队列改进抽样算法的方法,最后用实例验证了抽样算法的正确性.     

用循环反应器实现全混流时最小循环比Rmin的探讨

在科研生产中，为保证合适的工艺条件，常常需采用全混流反应器，可全混流反应器一般可用调节循环反应器循环比的方法来实现．本文通过详细计算，作出了不同反应率下用循环反应器实现全混流时最小循环比Ｒｍｉｎ的关系曲线，可供生产和科研使用．     

用最小下标原则避免对偶单纯形迭代的循环

本文提出了用对偶单纯形方法求解线性规划问题时避免循环的最小下标原则,即:(ⅰ)当有几个基变量可以出基时,就选下标最小的那个为换出变量;(ⅱ)当有几个非基变量可以进基时,就选下标最小的那个为换入变量.     

用一个表达式表示循环数列的通项

给出了循环数列的定义，并用克莱姆法则证明了循环数列的通项必可用一个表达式表示.     

大功率履带越野车用液力变矩器循环工况构建

为解决液力变矩器的传统稳态试验工况同实车工况契合度不高、无法反应实车上运行状态的问题,提出了一种大功率履带越野车用液力变矩器循环工况。在某型履带车辆实车工况数据基础上,统计分析液力变矩器在实车运行中的工况特征,选取了12个统计特征参数和10个比例特征参数,利用主成分分析法对工况数据进行了降维处理,通过无监督学习中的K均值聚类算法完成了数据片段的聚类分析,使用动态规划方法整合闭锁工况,获取典型工况片段用于循环工况重构,利用汉宁窗对片段进行平滑连接。以循环工况与总体数据主要特征值平均误差、连接处转速差值总和及斜率差值总和为目标,借助模拟退火和多目标粒子群算法进行优化,构建基于实车数据、契合液力变矩器实车运行特征的循环工况。结果表明,最终所得工况由叶轮转速——时间和闭锁信号——时间组成,主要特征参数平均相对误差为2.92%,与实车数据的工况特征表现一致。本研究成果为设计液力变矩器的可靠性试验工况提供了一种新的思路和途径。     

Petri网在程序正确性证明中的应用研究

Ｆｌｏｙｄ的循环不变式断言法是部分正确性证明的常用方法之一，但循环不变式断言的构造是比较困难的，而染色网（ＣＰＮ）的位置不变量是可求出的．本文通过用ＣＰＮ描述程序算法，引出了一种拓广的位置不变式的定义，此定义允许不变式是非线性的，以及计算不变式的一个充分条件，并且讨论了上述两种不变式之间的联系，为构造一算法的循环不变式断言提供了一种新的方法．     

基于DIXON结式的聚筛法的自动化软件GAS

非线性代数方程组的求解是一个尚未完全解决的问题。基于DIXON结式的聚筛法是求解非线性代数方程组的一种非常有效的方法,然而运用该算法的求解过程需要进行专家干预,使得该方法不能被广泛地推广和应用。对基于DIXON结式的聚筛法进行了深入地分析和研究,针对聚筛法在不能从DIXON导出方程组DPS中直接选出关于所有变元的三角列的情况下效率较低的问题,在计算机编程算法方面提出了变元轮换法和方程扩充法,使得该问题得到了有效地解决。在此改进的基础上开发的自动化软件GAS在非线性代数方程组的求解方面有很高的效率,整个计算过程无需人工介入,从而解决了该方法仅仅停留在理论研究领域而不能应用于实际工程计算的问题。     

转炉托圈的三维非线性问题的数值分析

运用三维非线性有限元方法,计算了转炉托圈在0°,60°,90°工作角度时的三维应力问题,得到了应力的精确解,找到应力极值产生的区域和工作时的危险位置.其结果为托圈的结构设计和使用提供了可靠的理论依据.     

相似平面中不变的欧拉-拉格朗日方程

利用不变的变分二重复形,研究了相似平面中曲线的不变变分问题,得到了相应的不变欧拉-拉格朗日方程。当曲线的不变变分中的拉格朗日函数是曲线曲率的一次函数时,则对应的曲线就是相似平面上的直线或圆。     

Invariant line and crystallography of HCP→BCC precipitation

The method of calculating the invariant line in HCP→BCC precipitation based on the invariant line strain model is described. The experimentally determined crystallographic features of the lath-shaped or needle-like precipitates formed in the HCP→BCC precipitations occurring in Mg-AI and Zr-Nb alloys were found to be in excellent agreement with the predictions from the model, thus suggesting that the model is valid for predicting the crystallography of diffusion-controlled phase transformations .     

基于Zernike矩和BP网络的道路交通标志识别方法研究

道路交通标志的背景相当复杂,颜色失真严重并存在不同程度的几何失真现象。不变矩是图像的一种统计特征,具有平移不变性、旋转不变性和比例缩放不变性,被广泛的应用于图像识别中。在研究了Hu矩和Zerni—ke矩基础上,提出基于Zernike矩与BP网络相结合的道路交通标志识别方法。识别过程分别对图像进行了Hu矩和Zernike矩特征提取、BP网络训练与测试、对形变图像进行分类识别。结果表明：基于Zernike矩和BP网络的交通标志识别方法具有很强的抗图像平移、缩放和旋转识别能力,实现简单、训练速度快、识别率高等特点,且识别准确率优于Hu不变矩目标自动识别。     

用谱矩进行不变特征识别

介绍的是一种基于矩不变特征进行识别的新方法。该方法首先消除部分数据的损失对矩的计算的影响，然后利用矩抽取出图象的不变特征，再利用该不变特征进行识别。最后给出了用该方法的对ＩＳＡＲ图象进行识别的模拟结果。     

输入输出为柔顺杆的四杆机构静力逆分析

采用Ｄｉｘｏｎ结式方法对外力作用在刚性连杆任意一点的柔顺四杆机构的静力逆分析进行了研究,得到了２０次封闭型解。对一个具体算例求出了全部位置解,给民有实际形态构型。     

细纱专件对成纱条干的影响

在细纱工序中,采用合适硬度的胶辊、无机械波罗拉、新型下销与钢领,能快速、全面提高成纱质量.     

基于改进颜色张量的照度不变轮廓检测

针对传统视觉低级特征检测中存在的忽略利用颜色信息来区分亮度相同而颜色不同的特征、忽略利用照度信息来剔除对特征检测的干扰和单一类型的边缘或角点检测不符合人类感观上对轮廓边界的完整描述等问题,文中提出了一种新的基于改进颜色张量的照度不变轮廓特征检测方法。该方法先利用一种新的非线性滤波器改进基于高斯内核的颜色张量,增强具有相反方向颜色通道的信息,再结合照度准不变模型得到改进的照度准不变颜色张量,排除照度信息,然后应用由张量技术实质派生出的边缘和角点测度进行联合特征检测,最终得到照度准不变轮廓特征。同时,文中还从理论上建立了改进的颜色张量和张量选举这一流行的模式识别技术之间的联系。实验结果证实了文中方法的有效性和鲁棒性。