论无功补偿技术在电网中的应用

随着角电大户各类大型电动机、及其它大型设备采用变频调速控制,产生大量谐波,对电网污染严重,增加了电网损耗,降低设备绝缘,影响大型电气设各的使用寿命。如何解决电力系统存在的大量高次谐波提商供电功率因数已经成为电力系统经济运行的一项重要指标。     

高职高专课程结构开发研究与实践——煤化工生产技术专业课程结构开发研究与实践

主要介绍了"煤化工生产技术专业"课程结构开发的基本程序,并对工作任务、学习领域、课程、教学模块进行分析研究,表明高职高专专业课程体系可以设计为学习领域、课程和教学模块三个结构层次。     

室内装饰装修工程中的色彩设计与运用

在现代室内装饰中,色彩是不可替代的关键性艺术表现元素.色彩的选择与运用直接决定了空间艺术的整体功效.在现代化发展进程的驱动下,居民的爱好由物质生活层面逐步转向了精神层面的追求,他们对室内装饰装修提出了更高的要求.适应这一变化,就要针对装饰的具体情况对色彩进行合理设计与搭配,从整体上提高空间艺术的功效与价值,以满足居民的...     

基于ECT技术的充填管道内固液两相流仿真方法研究

矿山充填过程中，管道中产生的结块和充填料浆中夹杂的废石会造成堵管或爆管等严重安全事故，制约了矿山充填技术的应用与发展，所以及时对管道内堵塞结块及废石的方位和大小进行检测,对矿山充填的安全稳定有着重要意义。以电容层析成像(ECT)技术为基础，研究了矿山充填管道的检测方法。针对传统ECT重建算法成像质量差、精度低等问题，提出了一种适用于充填管道内固液两相流检测的基于极限学习机和卷积神经网络的ECT图像重建方法。该图像重建网络由单隐藏层前馈神经网络和图像预测网络两部分组成。利用极限学习机建立电容数据与介电常数值的映射关系，并通过图像预测网络完成对图像的重建。通过充填管道仿真试验，证明了该方法不仅能够有效减少重建图像的伪影和变形，提高图像重建准确度，而且对充填管道中可能出现的复杂情况有较好的重建效果。所提出的ECT图像重建方法对于矿山充填管道内存在的堵塞结块及废石的检测有很好的效果，可以有助于推动ECT技术在充填管道检测领域的应用和推广。     

《容斋随笔》引赋研究

《容斋随笔》引用了大量文献,涵盖四部各类典籍,有些文献资料今已亡佚,此书是了解古代文献资料极好的宝库。其中引用前人和同时代人赋作以论证其观点有三十五条,引用赋作约一百零六篇。有些作者、作品为洪迈反复征引,有些不见于他书记载的通过此书而留下只鳞片甲。从洪迈引用的赋作来了解宋代赋作的使用、流传、阅读情况,并试图总结其引赋的来源和引赋之用,并从《容斋随笔》记录的鄱阳乡邦文献,考察洪迈创作《容斋随笔》的过程以及引书喜好。     

橡胶硫化过程及其特点概述

硫化是橡胶加工过程中十分重要的环节,硫化过程是一个复杂的物理变化与化学变化共同进行的过程,也是橡胶加工过程中最后的一个环节,产品能否具有良好的性能,硫化过程影响很大,对于硫化过程的研究对于橡胶技术人员来讲具有十分现实的意义。     

机械化验证一个高效的迭代数据流求解算法

迭代计算数据流等式的解,是数据流分析的常用方法.计算支配节点,从而识别自然循环,是许多现代编译器优化分析的重要组成部分.机械化验证高效的求解支配节点的算法通常是获得一个实际的“验证编译器”不可或缺的一部分.为了形式化证明一个高效的迭代求解严格支配节点的算法(CHK),首先建立了值域是逆序列表集合的半格结构,逆序列表中的元素是控制流图中节点的逆后序遍历次序,并证明了它是一个半格,其偏序满足上升链条件.然后使用半格结构,实现了一个基于工作表的Kildall迭代算法,计算严格支配节点.接下来,首先给出了控制流图中支配节点的定义性规范和相关性质定理,然后构造并证明了迭代求解算法所满足的重要性质.利用这些性质定理,相对于定义性规范,证明了该迭代求解算法的正确性和完备性.最后进行总结,并讨论未来工作.整个形式化开发使用的是定理证明助手Isabelle/HOL.