对时间自动机中时钟约束的处理

在实时系统建模中,时间自动机是一个普便使用的工具,在求解状态可达性关系时对时钟约束的处理是关键,本文在分析已有理论的基础上提出了如何对含有不同时钟相互约束的系统处理.     

醇处理减缓低渗气藏水锁效应的实验研究

水锁效应是低渗透砂岩气藏开发中普遍存在的问题.为提高低渗透砂岩气藏的气体有效渗透率,尝试用醇来减缓低渗透砂岩气藏水锁效应.以室内实验为基础,时醇处理原理进行了探讨,评价并比较了几种醇溶液用于减缓低渗透砂岩气藏水锁效应的应用效果,实验结果显示:醇处理措施可以有效的减缓低渗透砂岩气藏中由水锁效应产生的伤害.     

基于均匀k均值和高维局部二值模式的人脸识别算法

针对传统局部二值模式(LBP)及其一些改进方法会将具有不同灰度特征的邻域赋予相同的特征值和特征维数倍增的问题,提出一种基于均匀k均值和高维局部二值模式的算法.该算法首先对原图进行切割得到子图;然后提取子图的高维局部二值模式特征,利用均匀k均值对高维特征进行降维处理;最后级联所有的子图特征进行分析.为了验证该算法的性能,在ORL人脸库和YALE人脸库以及FERET人脸库上进行对比实验,结果表明该算法在保证特征维数不递增的前提下,能够明显提高LBP算法的识别率.     

基于认证测试的一种安全协议一致性分析方法

认证测试^[1]技术是串空间（strand space）理论的进一步发展,不仅用于认证协议的安全性分析而且还用于指导认证协议的设计^[2]。但在分析安全协议为何不正确以及如何改进方面,与其他的形式化验证方法一样,也不能提供更深入有效的分析。本文提出了参数一致性矩阵的概念并运用参数一致性矩阵对协议的一致性进行分析,说明了协议失败的原因并给出改进的方向。分析过程的形式化有利于协议分析自动化工具的实现。     

高炉炉料结构及分析

经济合理的炉料结构是高炉稳定顺行的保证,文章对铁合金厂高炉的炉料结构进行了总结分析,指出机烧矿质量性能的改进是优化炉料结构的基础和途径,对降低生产成本,提高经济效益具有重要意义。     

高硫铁精矿配比对球团工艺参数及性能的影响

万利铁精矿为高硫高镁低硅精矿,粒度满足造球生产要求。矿物中硫以硫铁矿形式存在,镁以碳酸镁形式存在,含硫和含镁矿物散布在大的磁铁矿颗粒之间,解离度高。考察了万利矿配比对造球参数、焙烧参数等球团生产指标的影响规律。试验结果表明,提高预热和焙烧温度措施,可显著提高球团的焙烧效果。万利精矿配比为70%左右时,抗压强度可以达到2 200 N,FeO质量分数符合一级品标准。工业生产结果表明,球团矿的高温膨胀性能良好,均在12%以下;低温还原粉化和还原度指标热态冶金性能良好。     

消防应急照明及智能疏散系统的功能和应用

随着人们对自身消防安全意识的加强,消防应急照明及智能疏散指示逃生系统受到了更加广泛的关注。本文介绍了智能照明疏散系统与传统疏散照明系统的不同和优势。重点说明了智能照明疏散系统的功能与特点,以及智能照明疏散系统在建筑中的应用。     

羧酸钼体系1,2-聚丁二烯橡胶的结构与性能

羧酸钼体系是合成1,2-聚丁二烯橡胶的新催化体系。本工作以MoCl_3(C_2H_5COO)_2-CH_3COOAl(i-Bu)_2为催化剂,己烷为溶剂,烯丙基卤为调节剂,合成了不同分子量和分子量分布、不同微观结构的胶样,考察了生胶、混炼胶以及硫化胶的一些基本性能。其硫化胶的物理机械性能与天然胶、顺丁胶及丁苯胶相近,但抗湿滑性能突出,生热值特别低,有利于制造航空轮胎。     

利用交变磁场测量法的金属表面缺陷检测

当通有交变电流的激励线圈靠近被检测试件时,产生的交变磁场会在试件表面感应出电流.基于交变磁场测量法(ACFM)的原理,建立被测试件感应电流流向模型,并把电磁场场量分成三个分量进行分析,再用ANSYS基于有限元法的金属表面缺陷检测仿真.仿真结果表明,通过测量扰动磁场的分布,可检测金属表面缺陷.     

基于串空间模型的Andrew RPC协议的分析与验证

本文首先介绍了当前安全协议形式化验证的前沿方向串空间理论,并运用串空间模型对改进后的Andrew secure RPC协议进行了形式化分析与验证,然后指出了安全缺陷。