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

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

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

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

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

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

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

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

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₂; 氢氧化钠能将氟化稀土转化为氧化稀土,这是稀土提取率提高的主要原因。     

基于分步回归策略的霍脱尔气体发射率数学模型

针对冶金炉窑燃烧释热场、温度场计算机仿真过程中气体发射率的动态计算问题,采用计算机图形处理技术从霍脱尔发射率曲线图中智能提取数据,并基于分步回归策略,建立了CO2、SO2、H2O等气体的发射率数学模型.模型检验和误差分析表明,该模型回归结果误差小,满足辐射换热工程计算精度要求.     

海洋环境下混凝土耐久性研究进展

海水中盐分通过扩散渗透入混凝土内部和水泥浆体甚至发生集料反应,导致混凝土内部结构的蜕变与劣化。进一步降低混凝土的水胶比和添加矿物掺合料是增强混凝土抗海洋侵蚀的重要途径。在海洋环境下混凝土内部浆体结构的破坏过程、腐蚀过程对浆体结构的主要胶凝相C-S-H的影响的研究都有待深化,特别是对C-S-H纳米结构的影响的研究尚未有涉足。研究海洋环境下混凝土浆体结构的劣化机理,从材料科学的高度提出其材料设计与使用寿命预测模型将大有可为。