一个分布式K互斥算法的概率模型检测

传统的验证方法难以保证分布式K互斥算法的有效性和安全性.为解决这一问题,给出了进一步的研究,提出一种基于概率模型检测器PRISM的方法,对Kerry Raymond的分布式K互斥算法进行形式化建模与分析验证.通过设置算法中各个进程进入临界区的时间而得出的结果中发现,改变临界区的数目K,对于某一进程进入临界区的平均及时时间的影响并不大.如果某一进程的执行时间比其他进程大很多,则K的增加可以提高运行效率.最后证明了这一结论.     

生物质快速热解液化设备的管路工况点试验研究

本文对生物质快速热解液化设备(循环流化床工艺)的管路系统进行了详细的阻力计算从而选择了与系统相匹配的空气泵,解决了气体输送设备的选择问题.并在此基础上绘制了管路了性能曲线,确定了气泵在冷态试验中的工作点并为其在热态试验条件下的调试积累了一些经验.     

为了这片黄土地——记山西阳高县马家皂乡党委书记安鹏

90年代的第一个金秋季节,我们来到山西省阳高县马家皂乡采访。只见座座水库碧波荡漾,块块粮田丰收在望。玉米棒子挣脱壳叶的束缚,露出一张张笑脸;金灿灿的谷穗倒垂着头,在秋风中微微晃动。它们似乎在说:我这肥大的脑袋,粗壮的身体,多亏了脚下这一股清清泉水的滋润。提起这一股股清泉,马家皂乡群众说,这丰收是乡党委“一班人”为民治水带来的。可“一班人”又说,这功绩应记在我们的“班长”——乡党委书记安鹏的名下。 (一) 马家皂乡地处黄土丘陵地区,全乡6.9万亩耕地,平川只占20％。5年前,全乡有机井182眼,水库7座,高灌9处。到1989年,全乡只剩下63眼机井,3座水库,6处高灌,7000亩     

饲用碘化钾预处理的研究

为解决微量元素预混料中碘化钾损失的问题,采用不同包被物对碘化钾进行预处理,测定碘化钾在不同处理下一定时间的留存率,从而找出较优的包被处理方法。本试验中用２０％硬脂酸包被处理效果显优于其他处理组和对照组。     

浅谈油气管道工程施工与高原生态环境保护对策

在油气管道工程施工过程中,管沟开挖通常是重要的工序之一,其损毁原有土壤结构,易造成水土流失,土地复垦难度大,影响地表植被持续生长,破坏生态环境稳定。国家对边疆偏远地区经济发展和社会民生非常重视,能源通道建设必不可少,尤其是在青藏高原实施工程建设,满足工程施工的同时,更需要采取严格且有效的技术措施以保护生态环境。在占用草原时,采取适宜的植被保护和恢复技术;穿越河流时,采取有效的技术防范和补救措施;通过环境敏感区及保护区时,采取有效的防渗技术措施;穿越多年冻土区时,采取相应的缓冷保温措施。实践证明,工程施工过程中同步实施并逐步完善相应的技术措施,能够最大限度地降低对生态环境的破坏,最大程度地利于地区环境的可持续发展,在项目建设与生态保护之间发生矛盾和冲突时,力争寻找平衡,实现共赢,维护青藏高原地区生态环境稳定。     

混凝土泵车线束优化设计

通过混凝土泵车线束架构优化设计,利用Pro-e三维布线优化线束走向,就近布置线束,在线束连接处采用防水连接器及专用电气盒,同时使用专用固线装置进行线束固定,优化设计混凝土泵车线束,以实现线束独立布线,节约成本,提高线束的维修性。     

生物基vitrimer材料研究进展

介绍了生物基vitrimer材料的发展、特点、性能以及应用,对生物基vitrimer材料的研究现状进行了概述,涉及了植物油基、木质素基、天然橡胶基、纤维素基vitrimer材料的研究进展,并对生物基vitrimer材料的发展前景进行了展望。指出vitrimer材料既具有热塑性材料可重塑的特点,也具有热固性材料体型网络结构的优势,有望替代传统塑料。现研究的vitrimer材料原料多源于化石资源,在化石资源日益短缺的今天,寻找可替代的更为环保的原料制备vitrimer材料成为一个发展趋势。     

饲用碘化钾预处理的研究

为解决微量元素预混料中碘化钾损失的问题,采用不同包被物对碘化钾进行预处理,测定碘化钾在不同处理下一定时间的留存率,从而找出较优的包被处理方法。本试验中用２０％硬脂酸包被处理效果显著优于其他处理组和对照组。