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

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

浅析低压配电线路无功补偿装置谐波治理技术

本文主要研究低压配电线路无功补偿装置谐波治理技术,从谐波对低压配电线路造成的不良影响;目前市面上出现的无功补偿装置;无功补偿装置的类型和特点;运用无功补偿装置治理低压配电网谐波需要注意的问题;运用滤波器治理谐波,将线路中的谐波有效过滤五个方面展开讨论。希望能为关注此话题的研究学者提供参考意见。     

基于模糊C均值聚类的锦标赛选择机制与多目标优化研究

本文提出了一种用于多目标优化的进化算法--基于模糊C均值聚类的进化算法（A Fuzzy C-Means Clustering Based Evolutionary Algorithm,FCEA）.在算法的迭代过程中,先利用模糊C均值聚类算法寻找种群的分布结构,通过对每一代种群进行模糊划分,获得每个个体隶属于每一类的隶属度,然后本文设计了一种基于隶属度的锦标赛选择算子,用于从整个种群中选择相似个体进行重组,引导算法进行搜索.实验结果表明,基于隶属度的锦标赛选择算子的应用能够提升算法的性能,与MOEA/D-DE、NSGAⅡ、SPEA2、SMS-EMOA等先进的优化算法进行比较的结果表明,FCEA在求解具有复杂Pareto前沿的多目标优化问题（GLT系列）时具有一定的竞争力.     

木质素磺酸镁对不同纤维素原料酶解的影响机制

为探讨木质素磺酸镁作为辅助添加剂在纤维原料酶解过程的作用机制,以两种木质素磺酸镁为研究对象,考察了不同来源木质素磺酸镁组构差异及其在不同纤维原料酶解过程中的作用。研究发现,商品木质素磺酸镁较自制木质素磺酸镁具有更高的磺化度,但自制木质素磺酸镁具有更高总羟基相对含量。商品木质素磺酸镁和自制木质素磺酸镁对微晶纤维素酶解均有促进作用;对于木质纤维原料酶解,两种木质素磺酸镁对水热法预处理物料均有抑制作用。对亚硫酸氢镁预处理物料酶解,仅低浓度的自制木质素磺酸镁表现出促进作用。该研究为解释木质素磺酸镁对纤维素原料酶解的影响机制提供了理论依据。     

天课时分配下的多阶段新高考走班制排课算法

伴随新高考改革,高中排课过程需要考虑学生的科目选择。潜在的学生上课时间冲突提高了排出可行课表的难度,排课过程中对课表的复杂要求也更难得到满足。针对这些挑战提出一种多阶段优化算法解决高中“走班制”教学课程时间表优化问题。优化侧重点从课表时段分配转为天课时分配,即对每个课程班每天的课时数目进行决策。除需要满足课时不冲突的约束条件外,主要优化目标为“课时分布均匀”“教案平齐”“同时上课”。根据问题特点设计了三种课表变换算子用于在教学班天课时分配阶段提升新设计的爬山算法的寻优能力。在三组不同难度和规模的实验数据上,多阶段优化算法以高于85%的概率排出可行课表。相较大规模真实案例,人工生成案例和中规模真实案例在目标函数上得到较为理想的优化。整体课表的教案平齐违反主要源于行政班课表。发现同时上课的设置具有指导其他目标函数优化的能力。     

火电厂煤粉炉燃烧器的研究及应用

文章针对广东省某火电厂1056 t/h煤粉锅炉热效率偏低、实际风量远高于理论风量等问题,运用FLUENT数值模拟仿真软件计算确定燃烧器合理安装位置及安装角度,最终确定改造方案。对比分析确定改造后煤粉锅炉理论进风量、炉膛内烟温差、锅炉爆管率等,从而提高安全运行周期,提高能源利用率,为我国一次能源的合理使用提供方案。     

面对烈火

本该是天真烂漫的花季，幼小的心灵盛满的是蓝蓝的天，清碧的水，然而，一场大火却给我获上了一层阴云，至今驱之不散。那一年，我10岁。我永远忘不了那惊心动魄、惨痛无比的一幕，1994年11月30日，摈州流云宾馆因电线短路而发生火灾。当时，宾馆内浓烟四起，火势凶猛，值班的服务小姐本能地往房间打电话，希望能救出更多的人，结果……我想，她实在太缺乏消防知识了。假如，她能在发现着火的同时，打一个火警电话，情况是不是又非如此呢？假如她能在平时接受训练，哪怕只有十几分钟，局面是不是又会扭转许多呢？回答是肯定的。再看一下惊慌…     

论高校创新教育平台的构建

创新教育是各高校进行教育教学改革的重点问题,科学的教膏平台是高校进行创新教育的主要载体.本文从基础训练,综合性,设计性及研究性实验训练,科技创新训练,项目研究训练等四个方面对如何搭建合理的创新教育平台进行详细的阐述,完善创新性人才培养的体系.     

采煤机摇臂传动系统关键部位有限元分析

为准确掌握采煤机摇臂传动关键部件在实际截割过程中的受力及振动情况,以MG900/2400采煤机为例,在分析其摇臂传统系统结构的基础上,基于Pro/E建立三维模型并导入ANSYS软件对摇臂传动系统中齿轮的应力变化和摇臂壳体的振动情况进行仿真分析,为优化并提升采煤机摇臂传动系统的可靠性奠定扎实的理论基础。