带协同约束弧的微分Petri网及其仿真

为使Petri网中单个库所对变迁的简单逻辑约束关系扩展到多个库所对变迁复杂的协同约束关系,提出了协同约束弧的概念,并将它与微分Petri网相结合,用以对具有状态反馈控制的混杂系统建模.结合一个二阶线性系统的实例,给出了它的带协同约束弧的微分Petri网模型,并用Stateflow和Simulink结合起来对这种带有协同约束弧的微分Petri网描述与仿真.仿真结果表明:在协同约束弧控制下,适时改变控制策略,将系统切换到不同的相空间,从而使不稳定系统最终在目标区域内稳定运行.     

Mathematical model on heat transfer of water-cooling steel-stick bottom electrode of DC electric arc furnace

For predicting and controlling the melted depth of bottom electrode during the process of steelmaking, the water-cooling steel-stick electrode is taken as an example, to analyze the process of heat transfer, then 3D mathematical model by control capacity method is built. At the same time, the measurement on the melted depth of bottom electrode is conducted which verified the correctness of the built mathematical model. On the base of verification, all kinds of key parameters are calculated through the application and a series of results are simulated. Finally, the optimum parameters are found and the service lifeof bottom electrode is prolonged.     

线性离散动力系统的稳定性判定准则

首先对不可约矩阵A的模等于谱半径的特征值的分布情况给出了说明,用其证明文献[2]中定理2将变得十分简单,然后给出了系统(1)渐近稳定的充要条件.     

卟啉传感阵列图像特征值自动提取方法

针对卟啉传感阵列(PSA)图像,设计了一种特征提取算法。该算法首先利用radon变换的方法实现了PSA图像倾斜自动校正;而后通过二值投影与数学统计学结合的方法来进行网格划分,根据网格划分的卟啉点区域对图像进行局部阈值分割,从而定位出卟啉点区域,最后采用比例半径法从已定位的卟啉点区域内提取出每个卟啉点的特征。该算法解决了弱信号卟啉点识别难的问题,提取的特征值最大程度的反映了卟啉点的信息。通过对NH3、异戊二烯、庚醛等气体进行试验,结果表明该算法能够很好的提取出PSA图像中卟啉点的特征值。     

QRS波群检测中的二次B样条小波变换算法

针对目前心电信号检测中准确度不高以及适应性不强的问题,提出了一种基于二次B样条小波,结合二分搜索算法和圆弧逼近曲线算法的QRS波群检测算法。首先对心电信号用二次B样条小波经Mallat算法分解,在二分搜索法调整阈值和模极大值检测R波的基础上,再用基于最小二乘圆弧逼近曲线算法检测T波与P波。最后用MIT-BIH数据库的数据验证了该改进算法增强了R波检测的适应能力,提高了T波与P波的检测准确度。仿真实验表明该改进算法可以有效地提高心电信号自动检测能力。     

TC4合金氩弧熔覆TiN复合涂层的组织及耐磨性

为提高钛合金表面性能,以TiN粉和Ti粉为原料,利用氩弧熔覆技术,在TC4合金表面成功制备出TiN增强Ti基复合涂层。采用扫描电镜、X射线衍射仪分析了熔覆涂层的显微组织和物相组成;利用显微硬度仪、摩擦磨损试验机测试了复合涂层的显微硬度和室温干滑动磨损条件下的耐磨性能。结果表明:氩弧熔覆涂层组织均匀致密,熔覆层与基体呈冶金结合,熔覆涂层主要由TiN棒状树枝晶和TiN颗粒组成,复合涂层明显改善了TC4合金的表面硬度,涂层的最高显微硬度可达9.5 GPa;复合涂层在室温干滑动磨损实验条件下具有优异的耐磨性,磨损机制主要是磨粒磨损,其耐磨性较TC4合金基体提高近9倍。     

A CONNECTED GRAPH IS PATH-POSITIVE IFF ITS SPECTRAL RADIUS IS AT LEAST TWO

ＡＣＯＮＮＥＣＴＥＤＧＲＡＰＨＩＳＰＡＴＨ－ＰＯＳＩＴＩＶＥＩＦＦＩＴＳＳＰＥＣＴＲＡＬＲＡＤＩＵＳＩＳＡＴＬＥＡＳＴＴＷＯ￥ＳＨＩＲｏｎｇｈｕａ（ＤｅｐａｒｔｍｅｎｔｏｆＡｐｐｌｉｅｄＭａｔｈｅｍａｔｉｃｓ，ＮａｎｊｉｎｇＵｎｉｖｅｒｓｉｔｙｏｆＳ...     

基于SSA-SVM的航空电弧故障检测

针对航空线路系统电弧故障隐蔽性高和难以检测的问题,提出一种基于麻雀搜索算法优化支持向量机（Sparrow Search Algorithm Optimization Support Vector Machine,SSA-SVM）的航空电弧故障检测方法。首先采用小波分解对电弧故障电流数据进行分解,小波分解能有效克服经验模态分解时存在的模态混叠问题。再从信号无序度的角度对电流分量提取能量熵、模糊熵与近似熵,并构造特征向量。然后,使用麻雀搜索算法对支持向量机的权值进行优化,得到最优的权值,最后用训练好的支持向量机对测试样本进行分类。为了验证所提方法的有效性,搭建电弧实验平台,模拟航空线路系统电弧故障的产生,分别采集交流串联正常和电弧故障电流数据,应用本文提出的SSA-SVM算法进行电弧故障检测,结果表明,该方法能较好地识别出电弧故障,检测准确率达到99.5%,相比于粒子群算法或遗传算法优化的支持向量机对电弧故障的检测准确率分别高出2.5%和2%。     

铝锂合金交流CMT焊接高频脉冲复合电弧焊接技术研究进展

随着兵器工业和航空航天领域对高强、轻质Al-Li系合金结构件的迫切需求,实现Al-Li合金的可靠高效连接显得日益重要。针对在焊接Al-Li合金使用传统焊接方法易出现热输入量大、焊接稳定性差导致的组织性能差及气孔、热裂纹缺陷等问题,提出采用交流CMT焊接与DC-DC变换高频脉冲复合电弧焊接技术进行Al-Li系合金焊接,利用低热输入量的交流CMT焊接电弧破除合金表面氧化膜,减小熔池气孔和热裂纹敏感性,利用高频脉冲电弧的高频效应及其电弧超声细化晶粒,提高接头强度,获得良好的结合性能。     

线性系统的预条件GAOR迭代法

解决线性系统Ax=b时,给出预条件子I＋Sα的GAOR迭代法,对相应的预条件GAOR迭代法和基本GAOR迭代法的收敛速度进行了比较,得到了比较定理。最后给出数值例子验证了所得到的结论,推广了文[1]的相应结果。