植被配置方式对侵蚀性降雨下径流的影响

侵蚀性降雨是坡面水土流失的重要因素。针对植被的不同配置方式是否能够减少降雨对坡面土壤流失的影响,对不同强度降雨条件下的植被配置方式的产沙量和产流量进行试验。试验结果表明：(1)在相同强度的降雨条件下,灌木和草本配合比为2∶1时,灌木在坡下的产流量最低。(2)在相同强度的降雨条件下,灌木和草本配合比为1∶1时,草本在坡下的产沙量最高;灌木和草本配合比为2∶1时,灌木在坡下的产沙量最低。(3)在不同强度的降雨条件下,灌木和草本配合比相同时,灌木位于坡上的产沙量最高,坡中的产沙量次之,坡下的产沙量最低。研究成果可供类似水土保持工程参考。     

基于Petri网的证书生命周期管理流程分析

CA证书管理是PKI网络安全体系实施的关键,它涉及到密钥和证书从创建到撤销的整个过程.文中使用Petri网理论中的库所/变迁系统模型对一个CA证书管理流程进行建模,并用状态可达图理论对其系统的完备性进行了分析与证明.通过该形式化的方法对该系统进行分析,其完备性证明更加直观.     

可溶阳极电解生产1~#电钴的工艺研究

介绍采用Ｐ２０４ 萃取除Ｆｅ、Ｚｎ 和Ｍｎ,ＨＡ－ＰＥ２０６协萃体系除Ｃｕ,ＨＡ－ＰＥ２０６协萃体系除Ｎｉ、Ｃｕ,并用净化后液进行可溶阳极电解得到１＃ 电解钴的工艺研究过程。     

基于Petri网的证书生命周期管理流程分析

CA证书管理是PKI网络安全体系实施的关键，它涉及到密钥和证书从创建到撤销的整个过程。文中使用Petri网理论中的库所／变迁系统模型对一个CA证书管理流程进行建模，并用状态可达图理论对其系统的完备性进行了分析与证明。通过该形式化的方法对该系统进行分析，其完备性证明更加直观。