基于元素势的多相平衡计算及在铜冶炼中的应用

针对冶金领域中多相反应体系的高效可靠计算问题,运用最小吉布斯函数原理和元素势概念,推导了基于元素势的多相平衡计算方程,分析讨论了其算法优点. 以铜闪速熔炼生产过程为研究对象,采用实际生产数据,运用该算法进行了多相反应平衡计算分析,结果表明,求解过程迅速可靠,计算结果与生产实际较为吻合,对于熔炼过程三大控制目标中的铜锍品位和渣中铁硅比,计算相对误差分别为0.067%和1.05%,完全满足实际生产控制精度要求.     

非乘积解随机Petri网的乘积形式近似求解

讨论了非乘积解随机Petri网的近似求解问题。将Marie方法引入到随机Petri网的近似分析中,利用随机Petri网中已有的结论将该方法中的分解原则推广到更一般的情形,使其应用范围更广,利用运算分析法对这些分解原则作了形式化描述,在此基础上,给出了有关结论的数学证明。最后,对这种近似方法作了误差分析,找出了产生误差的原因。实验数据表明本文所给的近似方法应用广且有效。     

一种新的安全协议验证方法

提出了一种基于Petri网的安全协议形式化描述和安全性验证的方法．该方法的特点是利用逆向状态分析和Petri网的状态可达性分析，判定协议运行过程中可能出现的不安全状态以及这些状态是否可达．通过实例证明了这种方法的有效性．     

专用水泥AGS及其稳定基层材料的性能研究

AGS专用水泥是由粒化高炉矿渣、石膏、水泥熟料及激活剂配制的一种新型细粒土结合料。该文研究AGS水泥对不同粒料的稳定作用,不同AGS掺量稳定粒料的稳定效果,延迟成型时间对AGS稳定粒料强度的影响,以及AGS稳定粒料劈裂抗拉强度和回弹模量,探讨AGS稳定粒料的线性收缩,并与水泥的相关性能进行了对比。结果表明AGS稳定土强度高,具有良好的抗裂性和较长的延迟成型时间,AGS稳定粒料是一类性能优良的路面基层材料。     

Windows平台基于IPSec的VPN系统的研究与实现

VPN技术应用日益广泛,IPSec已成为实现VPN的主流方式。Windows操作系统在国内广泛流行,掌握Win-dows平台的IPSec开发技术,对于促进国内VPN技术的发展有重要意义。该文介绍了在Windows平台下开发基于IPSec的VPN系统的关键技术。     

基于工作流状态的动态访问控制

访问控制是信息系统的一个重要安全保护机制。访问控制规定了主体对客体访问的限制，合法的用户可以访问数据项，非法的用户将被禁止，访问控制矩阵确定主体对客体的访问权利，主要讨论了工作流执行时的访问控制问题，提出了一种基于工作流状态的动态问控制机制。同时还给出了工作流的Petri网描述，在此基础上，证明了采用这种动态访问控制机制可以降低数据误用的危险性。     

半刚性路面基层收缩开裂静态力学模型研究

半刚性基层材料的收缩开裂极大地影响了路面的使用性能和服役年限。选用裂缝间距和裂缝宽度作为评价裂缝发生几率和裂缝危害性的指标。通过对半刚性基层的收缩开裂力学原理分析,建立了一种半刚性基层的收缩开裂模型,采用文献报道的弹性模量、抗拉强度、收缩系数对路面基层收缩开裂的两个评价指标进行了计算,从计算结果可以看出:采用室内试验计算的结果和实际基层的表现有很大的背离,并分析了原因,提出从设计和施工方面改善抗裂性能的措施。     

氢氧化钠焙烧钙热还原氟化稀土还原渣及其热力学分析

针对钙热还原氟化稀土还原渣,开展了直接酸浸实验、氢氧化钠焙烧-酸浸实验。结果表明,直接酸浸时稀土提取率约72%,而氢氧化钠焙烧-酸浸稀土提取率达92.3%。热力学分析和实验结果共同表明: 在298~1 300 K温度范围内,氢氧化钠与渣中DyF₃、CaCO₃和CaF₂反应,生成Dy₂O₃、NaF、CaO、Na₂CO₃和CO₂; 氢氧化钠能将氟化稀土转化为氧化稀土,这是稀土提取率提高的主要原因。     

基于BP网络逆映射的铝酸钠溶液软测量模型

针对铝酸钠溶液成分浓度软测量模型的研究现状,为进一步提高软测量精度和命中率,提出多约束条件求解思想,建立基于BP神经网络的软测量数学模型。该模型以溶液温度和各成分浓度为网络输入变量,对应电导率为输出变量,运用BP网络误差反向传播、权数调整原理实现在多样本约束条件下的网络逆映射求解。实例验证结果表明,该模型能较好地反映铝酸钠溶液电导率与成分浓度、温度间的内在规律,泛化检验散点电导率平均相对误差为1．74％;在多约束条件下,各软测量浓度与实际浓度的相对误差≤2．5％,且浓度适应范围较宽。该研究为实现铝酸钠溶液在线检测奠定了良好的数模基础。     

随机Petri网非乘积解系统的判定与界限求解

本文基于随机Petri网(SPN)提出了一种利用站平衡来判断非乘积解系统模型的方法,发现了可能导致站不平衡的三种Petri网结构,对这三种结构进行了分析,得出了产生非乘积解的系统原因,并给出了一种利用乘积解求解非乘积解系统模型性能界限的方法,这种方法可广泛应用于多种实际系统的性能界限求解.