煤矿分布式能源微网智能调控系统

为代替或减少外部电能的消耗,降低整个煤矿的能耗,在煤矿建立了分布式能源智能调控系统。介绍了该系统的组成结构及智能调控原理,其利用数据分析系统,采集煤矿用能端风井加热、采暖、制冷、电力负荷随环境温度变化的历史数据,形成大数据系统。根据历史数据的变化趋势,预判各种用能负荷的走势,再根据供能端的供应能力,合理匹配相应的能源供给方式。数据分析系统向控制系统发出控制指令,以煤矿瓦斯作为主要一次能源,以地热能、太阳能、风能为辅助一次能源;合理分配热能和电能,充分利用煤矿瓦斯气体产热发电。现场实践结果表明,该系统的应用可以实现对煤矿的冷、热、电三联供,最终实现节能减排的目的。     

真空技术在医院排水提升改造中的应用

为解决医院门、急诊卫生间排水问题,改善患者就医环境,研究了真空技术在医院排水提升改造中适用性及运行效果。以天津某医院对门、急诊楼卫生间真空改造为实例,得到医院应用此密闭的真空排水系统具有节水、节电、管道铺设灵活、负压隔臭等优点,可实现对污、废水的同层收集、同层排放,防止细菌滋生、带辐射污水(物)二次污染,解决困扰医院卫生间环境的难题,可作为传统重力排水方式的补充与替代。针对真空改造后运行中存在的真空排水系统冲厕声音略大和管道阻塞问题,提出了改进措施,可为类似工程提供借鉴意义。     

基于变量混合特征的分支启发式策略

先进的SAT求解器能够通过有效的分支启发式策略解决大型应用实例.目前VSIDS策略是最具有代表性的基于冲突分析的分支策略,它因其稳健性而被广泛使用,但在每次冲突分析中其判定变量活性的增量方式过于单一.针对此问题,本文提出了一种基于变量混合特征的分支启发式算法,目的是充分地利用参与冲突分析的变量所携带的不同信息特征来区分变量,来进一步指导变量活性增长.并将所提出的分支策略算法嵌入到Glucose4.1中形成求解器Glucose4.1+MFBS,通过对比测试,实验结果表明改进的分支算法比原本的VSIDS策略,具有一定的优势,求解明显个数增加.     

浅谈除尘系统的节能问题

从节能技术的观点出发,就除尘系统所涉及的工艺设备及除尘管路的合理布置,除尘设备的合理选择等几方面分析了降低除尘系统能耗的问题,并提出了节能的方法和途径.     

造气工艺流程中的节能减排技术及应用

介绍了造气工艺流程中的煤气炉洗涤循环水减排技术和吹风气回收节能技术。根据不同絮凝剂应用试验,提出了企业应根据不同工艺特点采用相应的悬浮物去除技术方案,应用微涡流塔板澄清器从本质上可提高悬浮物的控制水平和降低悬浮物含量;根据不同工艺流程对硫化物含量的控制效果的差异性,提出对应改造方案。并介绍了吹风气回收装置的工艺路线改进方案和改造后运行中需采取的措施,改造实施后,可获得较好的经济效益。     

一种求解约束优化问题的演化规划算法

提出了一种新的求解约束优化问题的演化算法——基于混合策略求解约束优化问题的演化规划算法(CMSEP).借鉴了Mezura-Montes的算法中直接比较的约束处理方法,为求解位于边界附近的全局最优解采用多样性保护机制,允许一定比例最好不可行解进入下一代种群,混合策略变异机制用于指导算法快速搜索过程.标准测试函数的实验结果验证了算法的通用性和有效性.     

基于Time Petri Nets的实时系统资源冲突检测

Time Petri Nets在实时系统的建模和性能分析中得到广泛应用,而冲突是Petri网及其扩展模型的重要行为,解决冲突是正确分析模型动态行为的关键.目前随机Petri网、混合Petri网和区间速率连续Petri网的冲突检测方法由于没有考虑到时间约束因此无法在TPN网中使用.时间约束的引入使得Time Petri Nets模型的使能和触发语义比Petri网模型的语义复杂,冲突检测变得更加困难.为了计算冲突发生的时间和概率,首先根据时间约束,给出了变迁持续使能时延迟区间的计算方法,并证明了该方法的合理性和完备性;然后在此基础上定义并证明了Time Petri Nets模型中不冲突的检测方法;并提出了Time Petri Nets模型的冲突检测方法,给出了冲突时间区间和变迁实施概率的计算方法;最后通过实例验证说明了该方法的正确性和有效性.     

变频风机调速在中央空调控制系统中的应用

随着微电子技术和电力电子学的发展,变频调速的应用日益广泛,本文主要研究,采用变频调节自动控制技术,用变频风机代替常规风机,可达到较好的节能效果。     

电熔炉余热利用

设计了利用电熔炉产生的余热加热软化循环水装置,加热的软化循环水可以用来洗浴等,以此替代锅炉烧水,实现节能。     

数据包过滤规则的快速匹配算法和冲突检测

通过分析数据包过滤技术中的性能瓶颈,提出了过滤规则的快速匹配算法BSLT. 该算法采用Trie数据结构存储规则表,并只在叶节点存储相应规则,节省了存储空间,其空间复杂度为O(NW),查找的时间复杂度为O(W);在匹配时采用二分法进行查找,提高了匹配速度,匹配的时间复杂度为O(N).实验证明BSLT的吞吐率在100条规则内比顺序匹配算法提高了近20%,而且规则越多,BSLT的优势越明显. 此外,分析了数据包过滤技术的另一个问题——规则冲突,给出了冲突的理论证明和查找算法.实验证明该算法能准确地检测出冲突规则.