用胺类萃取剂萃取回收钼

<正> 我国钼矿资源十分丰富,现有大中小型各类钼矿山数十座。钼精矿的产量约居世界第三位。然而,我国的钼冶炼技术却比较落后,国内十多家从钼精矿生产钼酸铵的工厂仍然采用传统的培烧、氨浸、沉淀工艺,污染严重,回收率低,产品质量差,生产成本     

孔底间隔爆破技术及其应用

本文针对朱家包饮铁矿在深孔爆破中应用孔底间隔爆破技术的实践论述了孔底间隔爆破技术的原理，应用原则，为其它矿山推广应用这项技术提供经验。     

基于遗传算法的联合火力WTA问题研究

研究联合火力优化分配问题.联合火力是多种作战力量参战条件下的多武器-多目标对抗.由于火力分配受到多种条件的限制,分配方案又决定作战效果,而武器-目标分配(Weapon Target Assignment,WTA)是多个装备同类型武器的作战单元联合抗击多个目标进行的分配方法.针对WTA问题求解规模大和精度高的特点,传统算法均不能满足速度和精度的要求,在基本遗传算法的基础上,采用精英选择和动态遗传算子的改进算法,避免了过早收敛.利用WTA的数学模型进行仿真.仿真结果验证了算法的有效性.     

减压贮藏保鲜技术对果蔬保鲜效果的研究

减压贮藏是果蔬贮藏中常用的保存方法.为评估减压贮藏保鲜技术对水果和蔬菜的保鲜效果,选取菠菜、西芹、彩椒3种蔬菜和草莓、蜜桃、青提、牛油果、樱桃5种水果,评估其减压贮藏条件(压力设置:80 kPa)和常压贮藏条件下的失重率和表面亮度值变化,选取菠菜对其叶绿素含量进行评估,并通过感官评定评价贮藏过程中水果和蔬菜的感官品质.结果显示,冷藏过程中叶类蔬菜相比茎类和果实类蔬菜更容易脱水失重,减压贮藏条件下3种蔬菜和5种水果的水分流失均较低,其中对青提水分流失的抑制效果最显著,减压贮藏7天比普通冰箱贮藏低8.1倍;且对水果和蔬菜的表面光泽、蔬菜的叶绿素均有较好的保持效果,感官评定结果也显示减压贮藏可提升贮藏过程中水果和蔬菜的感官品质.因此得出,减压贮藏保鲜技术对蔬菜和水果可起到较好的保鲜效果.     

RuAg/TiO2-C催化剂的制备及对甲醇的电催化氧化性能

采用改性溶胶凝胶法和水热合成法制备了掺C多孔纳米TiO2,并以其为载体制备了一种RuAg/TiO2-C甲醇催化剂。采用X射线衍射（XRD）、透射电镜（TEM）、X射线能谱（EDS）和X射线光电子能谱（XPS）等对催化剂进行了表征,测定了其对甲醇的电催化氧化性能。实验结果表明,RuAg的负载和C的掺杂能提高TiO2对甲醇的电催化性能,RuAg/TiO2-C对甲醇电催化的循环伏安曲线中未见甲醇氧化中间产物的氧化峰,0.544 V处有一个较大的甲醇氧化峰,其峰电流密度5.8 mA/cm2,RuAg/TiO2-C比商用PtRu/C催化剂具有更高的催化活性和抗毒性,RuAg合金的负载以及RuAg合金与掺C多孔纳米TiO2载体之间较强的相互作用是其对甲醇催化性能提高的主要因素。     

一种基于信息流脉络网的隐蔽通道搜索方法

针对隐蔽流树搜索方法存在的规模大、分析工作量繁重等问题, 提出一种改进的隐蔽通道搜索方法。该方法采用网结构描述系统中的隐蔽信息流, 提出网中隐蔽通道的判定规则; 依据判定规则在深度优先搜索网中隐蔽通信路径过程中排除合法通道; 结合路径中的操作序列构造隐蔽通道工作场景, 从而发现系统中的隐蔽通道。实例分析和对比表明, 该方法可以弥补隐蔽流树搜索方法的不足。     

多媒体在教学备课中的有效性研究

中小学新课改过程中,利用现代信息技术,搞好集体备课,使年轻老师和老教师拧成“一股绳”,建成优秀的教师团队,这样不同班级学生共享到优质的教育教学资源,学校的整体教育教学水平大幅度提升,实现教育公平和教育的均衡发展的。利用信息技术,搞好集体备课,打造好的教师团队,任重道远、我们每个人都责无旁贷。     

基于加权语义网和有效信息的个性化用户兴趣建模*

为了提高个性化用户兴趣建模的准确率,对用户建模过程进行了优化。在计算文档相似度时,综合考虑特征词的语义关系以及在文档中的分布情况,引入加权语义网,提高了文档相似度计算精度;在计算兴趣度权值时,引入有效信息的概念及量化方法,以解决用户兴趣类权值计算过于主观的问题,并提出具体权值算法,提高了权值计算的准确性。实验结果表明,改进的方法在用户兴趣聚类和兴趣类别权值计算的准确率上都较以往方法有较大提高。     

主动授权规则实施支持空间特性的RBAC*

为满足安全策略或者角色定义的变化,系统或模型应该提供一种灵活的机制实施支持空间特性的RBAC。引入了OITE（on-if-then-else）主动授权规则实施支持空间特性的RBAC,定义了支持空间特性的RBAC中各基本元素与OITE之间的映射关系。使用OITE作为实施机制,可以在不同粒度上实施带有空间特性角色约束,并且可以将支持空间特性的RBAC应用在多个领域中。最后简要讨论了授权规则如何从支持空间特性的RBAC安全策略中自动产生。     

基于Petri网的信息流安全属性的分析与验证*

信息流安全属性的定义均基于不同的语义模型,很难作出比较,以Petri网作为描述安全系统的统一模型,在Petri网上定义四种常见的安全属性,并分析它们之间的逻辑关系。在信息流安全属性验证方面,传统的方法称为展开方法,该方法适用于确定型系统,而对于非确定型系统,该方法是可靠的,但不完备。进一步对Petri网上已经定义的四种属性给出可靠完备的验证算法,并开发出相应的验证工具。最后通过实例说明了验证方法在搜索隐通道方面的应用。