有界闭域上的线性赋值循环终止性分析

对有界闭域上的线性赋值循环程序终止性问题进行研究.利用Jordan 标准型技术将原循环程序的终止性问题约减为终止性等价的具有简单结构的循环程序的终止性问题.证明了当线性迭代映射满足一定条件时,该类循环程序不可终止的充分必要条件是：迭代映射在有界闭域上有不动点或周期轨.     

有机废液焚烧处理有关参数的计算

1 前言 随着工业的发展,制药、化工等许多行业排放的高浓度有机废液日益增多,如不进行处理将造成环境的极大污染。采用通常处理污水的生物、化学等方法,不仅耗时长、成本高、效果差,而且运行管理也比较复杂。高浓度有机废液的COD值较高,其本身具有一定的热值,如将有机废液进行焚烧处理,不仅可降低处理成本,而且还可将热量加以回收,达到废物综合利用     

高炉煤气与煤混烧的热电联产用流化床锅炉

介绍了以高炉煤气和劣质煤为燃料的热电联产用流化床锅炉的工作特性，阐述了为提高锅炉的燃烧效率和增强负调节能力所采取的关键技术。实际运行的情况表明：该种锅炉具有燃烧效率高，燃产适应性强，负荷调节性能好，节能效果明显和环保性能优越等优点，是冶金企业高效大量利用低热值高炉煤的敢的一种新炉型。     

改进的形态学与Otsu相结合的视网膜血管分割

针对视网膜图像采集过程中由于疾病引起的图像光照反射过强问题,提出了一种修正的形态学与Otsu相结合的无监督视网膜血管分割算法。首先运用形态学中的高低帽变换增强血管与背景的对比度;然后提出了一种修正方法,消除部分由视网膜疾病引起的光照问题;最后使用Otsu阈值方法分割血管。算法在DRIVE和STARE视网膜图像数据库中进行了测试,实验结果表明,DRIVE数据库中的分割精度为0.9382,STARE数据库中的分割精度为0.9460,算法的执行时间为1.6s。算法能够精确地分割出视网膜血管,与传统的无监督视网膜血管分割算法相比,算法的分割精度高、抗干扰能力强。     

一类带初始输入的线性循环终止性分析

本文针对带初始输入的二维齐次线性循环的终止性问题进行研究。通过分析该类循环所有非终止点组成集合(即NT集)的性质,将该类循环NT集的构造问题转化为一类非线性优化求解问题,并给出了此类优化问题的数学模型。最终,通过验证该类循环的初始输入是否位于所构造的NT集合内,判定了带初始输入的二维齐次线性循环的终止性, 并建立了用来完备判定该类循环终止性的算法。     

基于SVM的多项式循环程序秩函数生成

程序终止性问题是自动程序验证领域中的一个研究热点.秩函数探测是进行终止性分析的主要方法.针对单重无条件分支的多项式循环程序,将其秩函数计算问题归结为二分类问题,从而可利用支持向量机（SVM）算法来计算程序的秩函数.与基于量词消去技术的秩函数计算方法不同,该方法能在可接受的时间范围内探测到更为复杂的秩函数.     

基于k阶秩函数的线性赋值循环程序的终止性分析

循环程序的终止性是确保循环程序完全正确的必要条件。 如果给定的线性赋值循环程序不存在传统定义的线性秩函数,那么基于传统定义的秩函数终止性证明方法将失效。基于Aⁿx的精确计算,对传统的秩函数概念进行了扩展,提出了k阶秩函数的概念。使用RegularChains软件包给出了合成k阶秩函数的具体方法。实验结果表明,相比于传统定义的线性秩函数,k阶秩函数的适应范围更广。对于 不能用传统定义的秩函数证明其终止性的部分循环程序,可以基于k阶秩函数来证明,从而体现了所提方法的优越性。     

矿井多系统融合联动应急救援系统研究

为提高矿井应急救援的时效性,强化矿井救援保障力度,介绍了矿井主要的危险因素,主要包括粉尘、有毒有害气体、不良的气候条件、噪声污染以及自然灾害威胁等,分析了各救援子系统的主要构成及功能,提出了矿井多系统融合联动组建的应急救援系统的主要网络构架,并探究了当矿井内某区域突发事故时,各子系统怎样进行及时响应的过程。经实际应用验证,所设计的系统能显著提高矿井救援保障能力,更好地保障矿井安全生产。