排序方式: 共有19条查询结果,搜索用时 0 毫秒
1.
传统的验证方法难以保证分布式K互斥算法的有效性和安全性.为解决这一问题,给出了进一步的研究,提出一种基于概率模型检测器PRISM的方法,对Kerry Raymond的分布式K互斥算法进行形式化建模与分析验证.通过设置算法中各个进程进入临界区的时间而得出的结果中发现,改变临界区的数目K,对于某一进程进入临界区的平均及时时间的影响并不大.如果某一进程的执行时间比其他进程大很多,则K的增加可以提高运行效率.最后证明了这一结论. 相似文献
2.
本文对生物质快速热解液化设备(循环流化床工艺)的管路系统进行了详细的阻力计算从而选择了与系统相匹配的空气泵,解决了气体输送设备的选择问题.并在此基础上绘制了管路了性能曲线,确定了气泵在冷态试验中的工作点并为其在热态试验条件下的调试积累了一些经验. 相似文献
3.
90年代的第一个金秋季节,我们来到山西省阳高县马家皂乡采访。只见座座水库碧波荡漾,块块粮田丰收在望。玉米棒子挣脱壳叶的束缚,露出一张张笑脸;金灿灿的谷穗倒垂着头,在秋风中微微晃动。它们似乎在说:我这肥大的脑袋,粗壮的身体,多亏了脚下这一股清清泉水的滋润。提起这一股股清泉,马家皂乡群众说,这丰收是乡党委“一班人”为民治水带来的。可“一班人”又说,这功绩应记在我们的“班长”——乡党委书记安鹏的名下。 (一) 马家皂乡地处黄土丘陵地区,全乡6.9万亩耕地,平川只占20%。5年前,全乡有机井182眼,水库7座,高灌9处。到1989年,全乡只剩下63眼机井,3座水库,6处高灌,7000亩 相似文献
4.
5.
为解决微量元素预混料中碘化钾损失的问题,采用不同包被物对碘化钾进行预处理,测定碘化钾在不同处理下一定时间的留存率,从而找出较优的包被处理方法。本试验中用20%硬脂酸包被处理效果显优于其他处理组和对照组。 相似文献
6.
在油气管道工程施工过程中,管沟开挖通常是重要的工序之一,其损毁原有土壤结构,易造成水土流失,土地复垦难度大,影响地表植被持续生长,破坏生态环境稳定。国家对边疆偏远地区经济发展和社会民生非常重视,能源通道建设必不可少,尤其是在青藏高原实施工程建设,满足工程施工的同时,更需要采取严格且有效的技术措施以保护生态环境。在占用草原时,采取适宜的植被保护和恢复技术;穿越河流时,采取有效的技术防范和补救措施;通过环境敏感区及保护区时,采取有效的防渗技术措施;穿越多年冻土区时,采取相应的缓冷保温措施。实践证明,工程施工过程中同步实施并逐步完善相应的技术措施,能够最大限度地降低对生态环境的破坏,最大程度地利于地区环境的可持续发展,在项目建设与生态保护之间发生矛盾和冲突时,力争寻找平衡,实现共赢,维护青藏高原地区生态环境稳定。 相似文献
7.
8.
9.
为解决微量元素预混料中碘化钾损失的问题,采用不同包被物对碘化钾进行预处理,测定碘化钾在不同处理下一定时间的留存率,从而找出较优的包被处理方法。本试验中用20%硬脂酸包被处理效果显著优于其他处理组和对照组。 相似文献
10.
介绍了生物基vitrimer材料的发展、特点、性能以及应用,对生物基vitrimer材料的研究现状进行了概述,涉及了植物油基、木质素基、天然橡胶基、纤维素基vitrimer材料的研究进展,并对生物基vitrimer材料的发展前景进行了展望.指出vitrimer材料既具有热塑性材料可重塑的特点,也具有热固性材料体型网络结... 相似文献