排序方式: 共有50条查询结果,搜索用时 15 毫秒
1.
2.
3.
循环程序的终止性是确保循环程序完全正确的必要条件。 如果给定的线性赋值循环程序不存在传统定义的线性秩函数,那么基于传统定义的秩函数终止性证明方法将失效。基于Anx的精确计算,对传统的秩函数概念进行了扩展,提出了k阶秩函数的概念。使用RegularChains软件包给出了合成k阶秩函数的具体方法。实验结果表明,相比于传统定义的线性秩函数,k阶秩函数的适应范围更广。对于 不能用传统定义的秩函数证明其终止性的部分循环程序,可以基于k阶秩函数来证明,从而体现了所提方法的优越性。 相似文献
4.
本文针对带初始输入的二维齐次线性循环的终止性问题进行研究。通过分析该类循环所有非终止点组成集合(即NT集)的性质,将该类循环NT集的构造问题转化为一类非线性优化求解问题,并给出了此类优化问题的数学模型。最终,通过验证该类循环的初始输入是否位于所构造的NT集合内,判定了带初始输入的二维齐次线性循环的终止性, 并建立了用来完备判定该类循环终止性的算法。 相似文献
5.
1 前言 随着工业的发展,制药、化工等许多行业排放的高浓度有机废液日益增多,如不进行处理将造成环境的极大污染。采用通常处理污水的生物、化学等方法,不仅耗时长、成本高、效果差,而且运行管理也比较复杂。高浓度有机废液的COD值较高,其本身具有一定的热值,如将有机废液进行焚烧处理,不仅可降低处理成本,而且还可将热量加以回收,达到废物综合利用 相似文献
6.
7.
高炉煤气与煤混烧的热电联产用流化床锅炉 总被引:4,自引:1,他引:3
介绍了以高炉煤气和劣质煤为燃料的热电联产用流化床锅炉的工作特性,阐述了为提高锅炉的燃烧效率和增强负调节能力所采取的关键技术。实际运行的情况表明:该种锅炉具有燃烧效率高,燃产适应性强,负荷调节性能好,节能效果明显和环保性能优越等优点,是冶金企业高效大量利用低热值高炉煤的敢的一种新炉型。 相似文献
8.
10.
针对视网膜图像采集过程中由于疾病引起的图像光照反射过强问题,提出了一种修正的形态学与Otsu相结合的无监督视网膜血管分割算法。首先运用形态学中的高低帽变换增强血管与背景的对比度;然后提出了一种修正方法,消除部分由视网膜疾病引起的光照问题;最后使用Otsu阈值方法分割血管。算法在DRIVE和STARE视网膜图像数据库中进行了测试,实验结果表明,DRIVE数据库中的分割精度为0.9382,STARE数据库中的分割精度为0.9460,算法的执行时间为1.6s。算法能够精确地分割出视网膜血管,与传统的无监督视网膜血管分割算法相比,算法的分割精度高、抗干扰能力强。 相似文献