可提高LLDPE产量的新型催化剂

2月22日，安徽曙光化工有限公司试产氰化钾取得一次成功，产品主含量为99．60％。该氰化钾项目是安徽曙光化工集团继固体氰化钠产能扩至3万t／a、液体氰化钠产能扩至8万t／a后，在氰化物系列产品开发和产品结构优化上的又一重要成果。此次氰化钾新产品开发，是安徽曙光化工集团完全利用自有技术力量和现有生产资源进行的，自2004年10月编制项目建议书开始，     

循环流化床锅炉J形返料阀的试验研究

对循环流化床锅炉J形返料阀以充气口高度、J阀管径和J阀管转弯处圆弧段所包围的角度这3个因素作为影响J阀调节性能的结构因素 ,以物料流量和J阀充气量之间的线性相关系数、回归直线斜率和流量调节范围为优化试验指标 ,通过正交试验获得了J阀的最优结构     

宁夏引黄灌区末段区域农业水资源配置研究

为探索农业水资源配置的新模式,以"自然—人工"二元水循环理论为基础,以宁夏引黄灌区末段区域(石嘴山市)为研究区,分析农田水循环过程,提出"引沟济渠"农田灌溉水源调配新思路。以农田灌溉水质要求、灌溉水量需求以及水资源管理用水红线为约束,借助MATLAB优化工具进行模拟计算,结果表明:在满足农田灌溉水质的前提下,取用惠农渠水4.83亿m~3、第五排水沟水0.92亿m~3、唐徕渠水0.82亿m~3、第三排水沟水0.31亿m~3,可节约黄河水1.23亿m~3;在上游排水沟水质较差情况下水质是主要约束条件,在上游排水沟水质较好情况下排水量是主要约束条件;实施"引沟济渠"模式应本着"差水控量,好水用尽"的原则,充分利用上游排水沟的来水。该农业水资源利用模式可节约渠灌水,做到"一水多用、多水联用",为干旱区灌区水资源配置提供借鉴。     

基于两阶段人工鱼群算法的U型渠道断面优化设计

渠道断面优化是控制农田水利工程成本的重要因素,已有的渠道断面优化研究以梯形渠道为主,对U型渠道研究较少。以优化U型渠道深度、圆弧半径和直线段外倾角为目标,建立以U型渠道过水断面面积最小为目标函数、满足设计流量要求的数学优化模型。根据U型渠道水力计算的复杂性,利用引入协调行为的两阶段人工鱼群算法,对渠道断面设计进行优化。优化结果满足边坡稳定等约束条件。将模型应用于连云港市赣榆区黑林镇土地整理项目,10条斗渠过水断面面积均减小,优化后占地面积共减少28.603 m~2,占原占地面积的5.0%。     

中国是世界拱坝大国也是世界拱坝强国——在《特高拱坝建设总结及安全运行管理研究》会议上的发言

中国拱坝数量占全世界的40%,数量最多;世界最高的三座拱坝都在中国,因此中国是世界拱坝大国。中国解决了岩溶地区拱坝防渗、狭窄河谷拱坝大流量泄洪等技术难题,发展了碾压混凝土拱坝筑坝技术。中国学者首创大坝混凝土标号分区技术,首创混凝土坝温度应力理论体系,解决了大坝裂缝这一世界性难题;建立了拱坝优化理论、混凝土坝仿真分析方法、混凝土坝有限元等效应力方法、混凝土坝数值监控方法等,在拱坝设计和科研上取得了全世界最多的重要成果,因此中国既是世界拱坝大国,又是世界拱坝强国。     

塔式旋转混凝土布料机的工况计算及配重调控分析

塔式旋转混凝土布料机是一种可高效输送混凝土的工程机械,被广泛用于混凝土浇筑。施工过程中,为减小其布料端悬臂力矩、保证其塔架的稳定性,需要随时根据其伸缩桁架的伸缩量来调节其配重块的位置。运用有限元ANSYS软件,分析了布料机在极限工况条件下的结构强度和最大合力矩,计算了19种不同工况下力矩、桁架伸缩量及配重调节距离之间的数值关系。在此基础上,利用MATLAB的拟合优化功能得出三者之间的函数关系并绘制三维曲线。研究结果为塔式旋转混凝土布料机的安全运行提供数据支持,同时为其后续的优化设计提供参考。     

钙镁磷肥生产的配料计算

根据３０多年来利用洗溪磷矿生产钙镁磷肥的生产经验，讨论进一步简化与优化钙镁磷肥配料的计算方法。     

化工实验中数据处理与优化实例分析

在化学试验过程中，选用适当的试验设计方法进行数据处理与优化，可以快捷、准确地得出结果数据，使试验次数大幅度降低，节约时间和经费，并达到最优化的方案和最好的试验结果。     

带可变随机函数和变异算子的粒子群优化算法

标准粒子群优化算法的收敛分析表明,改变随机函数、个体历史最优,群体全局最优,有助于提高该算法的性能。为此,本文提出了一种带可变随机函数和变异算子的粒子群优化算法,即通过改变速度更新方程中的随机函数分布来调节粒子在迭代过程中飞向个体历史最优和群体全局最优的比重,通过对个体历史最优和群体全局最优进行变异来增强种群的搜索能力。实验结果证实了该算法的有效性。     

Tableau算法的优化及模型规约技术

为了近一步提高模态逻辑推理机的效率,提出了两种Tableau算法优化技术——冲突技术和矛盾学习技术,并结合这两种技术实现了针对模态逻辑S4的推理机S4P.在此基础上,为了从Tableau算法生成的模型图中构造一个规模较小的模型,又提出通用模型的概念,然后给出通用模型的规约技术并证明该技术对于任意依赖于公理D、T、B、4和5中部分或全部公理的正规模态逻辑的正确性.最后,使用逻辑工作台测试用例对S4P的效率进行测试,实验结果表明S4P的效率优于RACER和FACT++;同时,对S4P生成的测试用例中非有效公式的否定对应的通用模型进行规约,实验结果表明通过模型规约能明显地缩减模型的规模.